soft-question पर टैग किए गए जवाब

मैं अपने पहले कंप्यूटर विज्ञान सम्मेलन में भाग लूंगा और सम्मेलनों को बेहतर बनाने के लिए सलाह पढ़ने के बाद मैंने देखा कि कई सुझाव उनके पहले सम्मेलन में भाग लेने वाले छात्रों के बारे में थे। अपने पहले सम्मेलन में भाग लेने वाले एक स्नातक छात्र के लिए आपके …

25 soft-question  big-list  conferences 

मैं पढ़ रहा था इस । इसे कहते हैं ... आप अपने आप को शुद्ध गणित जैसे फंडिंग के लिए भूखे नहीं पाएंगे। (आप अभी भी हमेशा अपने आप को धन के लिए भूखे पाएंगे।) ... शुद्ध गणितज्ञों को धन की आवश्यकता क्यों होती है? सैद्धांतिक शोध करने वाले व्यक्ति …

25 soft-question  career 

मैंने हाल ही में विस्तारकों को पढ़ाया, और रामानुजन के रेखांकन की धारणा पेश की। माइकल फोर्ब्स ने पूछा कि उन्हें इस तरह क्यों बुलाया जाता है, और मुझे मानना ​​पड़ा कि मैं नहीं जानता। किसी को?

25 graph-theory  soft-question  ho.history-overview  expanders 

मुझे लगता है कि मैंने बहुत से महत्वाकांक्षी CoRR पेपर पढ़े । समस्या यह है कि उन कागजातों की समीक्षा नहीं की जाती है, लेकिन अक्सर दिलचस्प लगता है और बुनियादी संभाव्यता जांच पास करते हैं। या हो सकता है कि वे न करें, और मुझे सिर्फ अपनी संभाव्यता जांच …

24 soft-question  graph-isomorphism  paper-review  ppad 

मैं उन्नत डेटा संरचनाओं पर एक पुस्तक की तलाश कर रहा हूं जो कि कॉर्मेन, लीसेरसन, रिवेस्ट और स्टीन के "इंट्रोडक्शन टू अल्गोरिथम" जैसी मानक पाठ्यपुस्तकों में शामिल है, उससे आगे जाती है। ऐसी पुस्तक जिसका उपयोग MIT में एरिक डेमनी और एन्ड्रे शुल्ज़ के एडवांस्ड डेटा स्ट्रक्चर्स कोर्स जैसे …

24 soft-question  ds.data-structures  survey  books 

इस सवाल के जवाब में , स्टीफन जिमेनेज़ ने मुझे रैखिक तर्क में साक्ष्यों के लिए एक बहुपद-काल सामान्यीकरण एल्गोरिथ्म की ओर इशारा किया। गिरार्ड के पेपर में प्रमाण प्रूफ नेट का उपयोग करता है, जो कि रैखिक तर्क का एक पहलू है जिसके बारे में मुझे वास्तव में बहुत …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

सैद्धांतिक कंप्यूटर विज्ञान में वास्तविक विश्लेषण, संपत्ति परीक्षण, संचार जटिलता, पीएसी सीखने और अनुसंधान के कई अन्य क्षेत्रों को कवर करने के कई अनुप्रयोग हैं। हालाँकि, मैं TCS के किसी भी परिणाम के बारे में नहीं सोच सकता जो जटिल विश्लेषण (क्वांटम कंप्यूटिंग के बाहर, जहां जटिल संख्या मॉडल में …

24 soft-question  big-picture 

पूरी तरह से अकादमिक जाने और डॉक्टरेट / पोस्ट-डॉक्टर होने के अलावा, या सॉफ्टवेयर विकास में अधिक या कम 'मानक' नौकरी के लिए जा रहे हैं, पूर्ण या अर्ध सैद्धांतिक सीएस क्षेत्र में कुछ अन्य कैरियर विकल्प क्या हैं?

24 soft-question  advice-request  career 

आइए अब से कुछ 30 वर्षों के भविष्य को देखें। आइए हम आशावादी हों और मान लें कि मशीन लर्निंग से जुड़े क्षेत्र उतनी ही तेजी से विकसित हो रहे हैं जितना हमने पिछले 10 वर्षों में देखा है। यह बहुत अच्छा होगा, लेकिन फिर ऐसे भविष्य में पारंपरिक एल्गोरिदम …

23 ds.algorithms  soft-question  machine-learning 

जो मैं समझता हूं (जो बहुत कम है, इसलिए कृपया मुझे सही करें जहां मैं गलत हूं!), प्रोग्रामिंग भाषाओं का सिद्धांत अक्सर "अंतर्ज्ञानवादी" प्रमाणों से संबंधित होता है। मेरी अपनी व्याख्या में, दृष्टिकोण की आवश्यकता है कि हम तर्क और उत्तेजना पर गणना के परिणामों को गंभीरता से लें। एक …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

मुझे हाल ही में पत्रिका और कार्यवाही (यानी, सोडा) संस्करण के बीच एक महत्वपूर्ण अंतर नहीं होने के आधार पर पत्रिकाओं (यानी, टीएएलजी) से खारिज कर दिया गया है। मुझे जर्नल में जमा करने का मुख्य कारण इसकी पूरी समीक्षा प्रक्रिया है। इसके अलावा, सोडा की 20 पृष्ठ की सीमा …

23 soft-question  research-practice  conferences  journals 

जैसा कि वर्तमान में खड़ा है, यह प्रश्न हमारे प्रश्नोत्तर प्रारूप के लिए एक अच्छा फिट नहीं है। हम तथ्यों, संदर्भों या विशेषज्ञता के आधार पर उत्तर दिए जाने की अपेक्षा करते हैं, लेकिन इस सवाल पर बहस, बहस, मतदान या विस्तारित चर्चा की संभावना होगी। यदि आपको लगता है …

23 soft-question  big-list  paper-review 

मैं सोच रहा था कि इस क्षेत्र (सैद्धांतिक कंप्यूटर विज्ञान) में कौन से उपकरण प्रस्तुतियों का उपयोग करते हैं। चूंकि कंप्यूटर विज्ञान का एक बड़ा सौदा सिर्फ कागजात नहीं लिख रहा है, बल्कि प्रस्तुतियां भी दे रहा हूं, मुझे लगा कि यह एक महत्वपूर्ण नरम प्रश्न होगा। यह पिछले प्रश्न …

23 soft-question  research-practice  writing 

थॉमस जे। शेफर द्वारा "द कम्प्लेन्ट ऑफ ऑफ ससिफियाबिलिटी प्रोब्लेम्स" पत्र में लेखक ने उल्लेख किया है कि This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

यह इस बारे में है कि हम हाथ पर एक एल्गोरिथ्म को कितनी प्रभावी रूप से व्यक्त कर सकते हैं। मुझे अपने स्नातक शिक्षण के लिए इसकी आवश्यकता है। मैं समझता हूं कि छद्म कोड लिखने के मानक तरीके जैसी कोई चीज नहीं है। विभिन्न लेखक अलग-अलग सम्मेलनों का पालन …

22 ds.algorithms  soft-question  advice-request  writing