প্রশ্ন ট্যাগ «software»

মনে করুন যে দুটি বা আরও বেশি সংস্থার সহকারীরা ল্যাটেক্সে একটি কাগজ লিখছেন এবং বার বার খসড়াগুলি বার বার ইমেল করার চেয়ে আরও ভাল করতে চান। তারা বুঝতে পারে যে তারা নিখরচায় একটি ড্রপবক্স অ্যাকাউন্ট খুলতে পারে, পাসওয়ার্ডটি ভাগ করতে পারে এবং ড্রপবক্সে থাকা একটিটির সাথে তাদের কম্পিউটারে কাগজের সংস্করণটি …

36 soft-question  research-practice  software  writing 

মনে করুন আমি থামার সমস্যা সম্পর্কিত টুরিংয়ের প্রমাণটি আনুষ্ঠানিকভাবে করতে চেয়েছিলাম যাতে কোনও মেশিন এটি পরীক্ষা করতে পারে। সুপরিচিত কিছু স্বয়ংক্রিয় উপপাদ্য প্রমাণকারী সিস্টেমগুলির মধ্যে রয়েছে মিজার, কক এবং এইচএল 4। আমি কক-এর সাথে ডাউনলোড এবং পরীক্ষা করেছি, তবে এটির ট্যুরিং মেশিনগুলির জন্য একটি গ্রন্থাগার নেই। আমি নিজেই একটি কোড …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

স্থির "কে" (প্রস্থ) এর জন্য গ্রাফের গাছের পচন রচনার জন্য কোনও ওপেন সোর্স প্রোগ্রামের কথা কি কেউ জানেন? আমি জানি যে গাছ-পচা খুঁজে পাওয়ার সমস্যাটি ভেরিয়েবল "কে" এর জন্য এনপি-হার্ড, তবে আমার ইনপুট উদাহরণগুলি খুব ছোট হবে (~ 10 নোড) এবং "কে" স্থির হয়েছে।

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

একসাথে ফলাফল স্থাপন করার সময়, এমএস পেইন্টে ডায়াগ্রামগুলি একসাথে রাখার পরিবর্তে বেশ কয়েকটি পেশাদার দেখাচ্ছে ডায়াগ্রামগুলি আকাঙ্ক্ষিত। ডেটা স্ট্রাকচার আঁকার মান কী?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

যে কেউ দয়া করে একটি বা একাধিক ওয়েবসাইটের দিকে ইঙ্গিত করতে পারবেন যেখানে # এসএটি সলভারের কার্যকরী বাস্তবায়ন ডাউনলোড করা সম্ভব? আমি সঠিক সমাধান গণনা প্রত্যাবর্তনকারীদের সাথে আগ্রহী, প্রায় না।

21 ds.algorithms  sat  software 

বেশিরভাগ কাগজপত্র এখন যৌথভাবে লেখা হয়, এবং সহযোগীরা প্রায়শই বিভিন্ন স্থানে থাকে। আমি আমার ডকুমেন্টস এবং কোডের জন্য সর্বদা সংস্করণ নিয়ন্ত্রণ ব্যবস্থা ব্যবহার করেছি এবং সহযোগী সফ্টওয়্যার প্রকল্পগুলির জন্য সংস্করণ নিয়ন্ত্রণের সমালোচনাও পেয়েছি, তবে মনে হয় তাত্ত্বিকভাবে অনেক গবেষকরা যৌথ কাগজপত্র লেখার জন্য তাদের ব্যবহার এড়িয়ে চলেছেন। আমার সহযোগীদের বোঝাতে …

20 soft-question  research-practice  software  writing 

আমি পৃষ্ঠা র‌্যাঙ্কটি কল্পনা করতে जंग ( http://jung.sourceforge.net/ ) ব্যবহার করছিলাম এবং এটি 100 নোডের বাইরে স্কেল করা কিছুটা ধীর এবং কঠিন বলে মনে হয়েছিল। আমি ভাবছিলাম যে লোকেরা নেটওয়ার্ক / সামাজিক নেটওয়ার্ক বিশ্লেষণ এবং ভিজ্যুয়ালাইজেশনের জন্য অন্যান্য সরঞ্জামগুলি কী ব্যবহার করে।

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

কোনও পূর্বনির্ধারিত সার্বজনীন গেট সেটের উপর দিয়ে থেকে ইউনিটরিটিগুলি ক্ষয়ের কোয়ান্টাম সার্কিটগুলিতে ক্ষয় করার কোনও সফ্টওয়্যার প্যাকেজ রয়েছে কি ?ইউ( 2)এন)ইউ(2এন)U(2^n)

15 quantum-computing  software 

আমি এলপি কাজের জন্য এসএম বাস্তবায়নে আগ্রহী, তবে আমি সম্ভাব্য বিপদগুলির কথা শুনেছি: করমেনের বইতে বলা হয়েছে যে ইনপুট ডেটা পাওয়া সম্ভব যা তাত্পর্যপূর্ণ সময়ে আচরণ করার জন্য নিষ্পাপ বাস্তবায়ন করবে। আমি শুনেছি যে নিষ্পাপ বাস্তবায়ন কিছু ধরণের ডেটা লুপ করতে পারে। এমন কোনও বই / কাগজ / উত্স আছে …

14 ds.algorithms  linear-programming  software  implementation  simplex 

আমি কিছু প্রমাণ সহকারী ব্যবহার করে গাণিতিক প্রমাণ লিখতে চাই। প্রথম অর্ডার যুক্তি (সমতা সহ) এবং প্রাকৃতিক ছাড়ের সাহায্যে সবকিছুই লেখা হবে। পটভূমি সেট থিয়োরি (জেডএফ)। উদাহরণস্বরূপ, আমি নিম্নলিখিত প্রমাণটি কীভাবে লিখতে পারি? অ্যাক্সিয়োম:∀ x ∀ y( x = y)↔ ∀ z( জেড)∈ x ↔ z∈ y) )∀x∀y(x=y↔∀z(z∈x↔z∈y))\forall x\forall y(x=y\leftrightarrow\forall …

12 lo.logic  software  proof-assistants 

আমার জানা সমস্ত # এসএটি সলভার, যেমনঃ রিলস্যাট, সি 2 ডি, কেবলমাত্র সন্তুষ্টযোগ্য উদাহরণগুলির সংখ্যারই ফিরিয়ে দেয়। কিন্তু আমি কি সেই উদাহরণগুলির প্রতিটি জানতে চাই? এমন কোনও # স্যাট সমাধানকারী আছে বা এটি করার জন্য আমার কীভাবে একটি উপলভ্য # এসএটি সলভার পরিবর্তন করতে হবে? ধন্যবাদ.

11 lo.logic  sat  software 

আমি উচ্চ মাত্রিক উত্তল পলিহেডারের গণনা / অনুমানের পরিমাণের জন্য সফ্টওয়্যার খুঁজছি। আরো নির্দিষ্টভাবে, আমি একটি প্রোগ্রাম, যা দিয়ে লাশ সব ব্যবস্থা করতে সক্ষম আগ্রহী মধ্যে ছেদচিহ্ন : বেষ্টিত পরামিতি মোটামুটিভাবে নিম্নরূপ সঙ্গে -dimensional স্থান এবং । দ্রষ্টব্য, মুখের সংখ্যা সম্পর্কে কোনও গ্যারান্টি নেই।nnndddd≤50d≤50d \le 50n≤1000n≤1000n \le 1000 জেফ এরিকসনের …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry