JetBrains रिसर्च लैब्स में व्याख्यान खोलें

पिछले गिरावट सेमेस्टर में, JetBrains रिसर्च लैब स्टाफ ने कंप्यूटर साइंस सेंटर में कई खुले व्याख्यान दिए। रिपोर्ट के विषय विविध हैं, जैसे प्रयोगशाला अनुसंधान के क्षेत्र हैं। सुविधा के लिए, हमने सभी प्रदर्शनों के लिंक एकत्र किए। अच्छा दृश्य है!

1. वैज्ञानिक काम पर एक रिपोर्ट बनाने के लिए, मार्क ज़स्लावस्की
मोबाइल रोबोट एल्गोरिदम की प्रयोगशाला

व्याख्यान में आप प्रदर्शन की तैयारी के लिए चरण-दर-चरण एल्गोरिथ्म से परिचित होंगे। आप सीखेंगे कि वैज्ञानिक रिपोर्टों और विशिष्ट श्रोताओं की बारीकियों को ध्यान में रखते हुए प्रस्तुति और भाषण की योजना कैसे बनाई जाए। अपने साथ व्यावहारिक सिफारिशें लेकर जाएं। आप सीखेंगे कि दर्शकों के मुश्किल सवालों की तैयारी कैसे करें और उनके हमले के नीचे नहीं झांकें।



2. डकियटाउन और एआईडीओ, कॉन्स्टेंटिन चिका
मोबाइल रोबोट एल्गोरिदम की प्रयोगशाला

व्याख्यान में आप सीखेंगे:

• टोयोटा प्रियस को खरीदे बिना स्वायत्त वाहनों के विकास में योगदान कैसे करें,
• डकियटाउन क्या है और इसमें कैसे केवल एक कैमरा और एक एकल-बोर्ड कंप्यूटर नियमों द्वारा सवारी करना सीखता है,
• अपने घर को छोड़ने के बिना स्वायत्त वाहनों पर ओलंपिक में भाग कैसे लें, और बतख कहां है?

3. एक साथ स्थानीयकरण और मानचित्र निर्माण (एसएलएएम), एंटोन फिलाटोव, आर्टीम फिलाटोव के लिए एल्गोरिदम का परिचय
मोबाइल रोबोट एल्गोरिदम की प्रयोगशाला

उन कार्यों के बीच जो रोबोट पहले से ही हल कर रहे हैं, स्पीकर एक अज्ञात भूभाग पर स्वायत्त आंदोलन के कार्य को अलग करते हैं। जब एक चलता हुआ रोबोट किसी अज्ञात वातावरण में होता है, तो उसे एक मानचित्र बनाने और उस पर अपनी स्थिति निर्धारित करने की आवश्यकता होती है, जो कि रोबोट पर स्थापित सेंसर के डेटा के आधार पर होता है। इस कार्य को SLAM (एक साथ स्थानीयकरण और मानचित्रण) कहा जाता है।

व्याख्यान में, आर्टेम और एंटोन अधिकांश आधुनिक एल्गोरिदम पर विचार करेंगे जो एसएलएएम समस्या को हल करते हैं, इस समस्या के ढांचे के भीतर हल और अनसुलझे मुद्दों के बारे में बात करते हैं, और व्यवहार में ऐसी समस्या का समाधान भी दिखाते हैं। सच है, सिम्युलेटर में :)



4. डॉट्स को कनेक्ट करें: जैविक डेटा, अलेक्सी सर्गुशिशेव की व्याख्या करने के लिए ग्राफ़ का उपयोग करना
जैव सूचना विज्ञान समूह

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

व्याख्याता पूर्णांक रैखिक प्रोग्रामिंग की समस्या को कम करने और मेट्रोपोलिस-हेस्टिंग्स एल्गोरिथ्म के आधार पर इस समस्या और इसके समाधान के लिए दृष्टिकोण के लिए कई विकल्पों पर विचार करेगा।



5. जीनोमिक डेटा से आबादी की जनसांख्यिकीय कहानियों की व्युत्पत्ति, एकातेरिना नोस्कोवा
जैव सूचना विज्ञान समूह

परिचयात्मक व्याख्यान में, आप जानेंगे कि जनसांख्यिकी कहानियां क्या हैं, वे कैसे काटे जाते हैं, इसके लिए कौन से डेटा का उपयोग किया जाता है और कौन से गणितीय मॉडल आधार हैं। आबादी के जनसांख्यिकीय इतिहास में आबादी की संख्या, प्रवासन की दर और अलगाव का समय शामिल है, और व्यक्तियों के जीनोम में अतीत के बारे में जानकारी होती है, इसलिए जनसांख्यिकीय इतिहास व्यक्तिगत व्यक्तियों की हाल ही में प्राप्त आनुवंशिक जानकारी से उत्पन्न होते हैं।



6. संबंधपरक प्रोग्रामिंग, एकाटेरिना वेरबिटकाया
भाषा उपकरण प्रयोगशाला

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



7. मेटा-गणना, डेनियल बेरेजुन
भाषा उपकरण प्रयोगशाला

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



8. कमजोर मेमोरी मॉडल, एंटोन पोडकोपाएव
भाषा उपकरण प्रयोगशाला

व्याख्यान सामान्य रूप से मेमोरी मॉडल पर ध्यान केंद्रित करेगा। व्याख्याता बताएगा कि होनहार मेमोरी मॉडल क्यों और कैसे प्रोग्रामिंग भाषाओं के मेमोरी मॉडल की मौजूदा समस्याओं को हल करता है, और एक मध्यवर्ती मेमोरी मॉडल (IMM) का उपयोग करके x86-TSO, Power, और ARMv8.3 मॉडल में होनहार मॉडल से सही संकलन के साक्ष्य को छूता है।



9. व्यवहार में औपचारिक भाषाओं का सिद्धांत, शिमोन ग्रिगोरिव
भाषा उपकरण प्रयोगशाला

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