خلال فصل الخريف الماضي ، عقد موظفو مختبر
JetBrains Research العديد من المحاضرات المفتوحة في
مركز علوم الكمبيوتر . مواضيع التقارير متنوعة ، وكذلك مجالات البحوث المختبرية. للراحة ، جمعنا روابط لجميع العروض. لديك منظر جميل!
1. كيفية تقديم تقرير عن العمل العلمي ، مارك Zaslavskyمختبر الخوارزميات روبوت المحمولفي المحاضرة ستتعرف على خوارزمية خطوة بخطوة للتحضير للعروض. سوف تتعلم كيفية تخطيط العرض التقديمي والكلام مع مراعاة تفاصيل التقارير العلمية والمستمعين العاديين. خذ توصيات عملية معك. سوف تتعلم كيفية التحضير لأسئلة الجمهور الصعبة وعدم الانهيار تحت هجومهم.
2. داكيتاون و AIDO ، كونستانتين تشايكامختبر الخوارزميات روبوت المحمولفي المحاضرة سوف تتعلم:
- كيف تساهم في تطوير سيارات مستقلة دون شراء سيارة تويوتا بريوس ،
- ما هو برنامج Duckietown وكيف يوجد به كاميرا واحدة فقط وجهاز كمبيوتر ذي لوحة واحدة يتعلمان كيفية ركوب القواعد ،
- كيف يمكنك المشاركة في الألعاب الأولمبية على المركبات ذاتية الحكم دون مغادرة منزلك ، وأين توجد البطة؟
3. مقدمة لخوارزميات للتوطين المتزامن وبناء الخرائط (SLAM) ، أنطون فيلاتوف ، أرتيوم فيلاتوفمختبر الخوارزميات روبوت المحمولمن بين المهام التي تحلها الروبوتات بالفعل ، يميز المتحدثون مهمة الحركة المستقلة على التضاريس غير المعروفة. عندما يكون الروبوت المتحرك في بيئة غير معروفة ، فإنه يحتاج إلى إنشاء خريطة وتحديد موقعه عليها ، استنادًا إلى البيانات المستقاة من أجهزة الاستشعار المثبتة على الروبوت. تسمى هذه المهمة SLAM (التعريب والتخطيط المتزامنين).
في المحاضرة ، سينظر Artyom و Anton في معظم الخوارزميات الحديثة التي تعمل على حل مشكلة SLAM ، والتحدث عن المشكلات التي لم يتم حلها في إطار هذه المهمة ، وأيضًا عرض حل هذه المشكلة في الممارسة العملية. صحيح ، في محاكاة :)
4. قم بتوصيل النقاط: باستخدام الرسوم البيانية لتفسير البيانات البيولوجية ، أليكسي سيرجوشيفمجموعة المعلوماتية الحيويةأصبح توليد كميات كبيرة من البيانات التجريبية هو المعيار في علم الأحياء الحديث ، ولكن السؤال الذي يطرح نفسه هو كيفية تفسير هذه البيانات من أجل استخلاص النتائج البيولوجية. نهج واحد لهذه المشكلة هو استخدام رسم بياني للتفاعلات البيولوجية. بالنسبة له ، يمكن للمرء صياغة ما يسمى مهمة البحث عن وحدة نمطية نشطة: العثور في رسم بياني كبير لجميع التفاعلات الممكنة بيولوجيا على رسم فرعي صغير متصل ومتصل بالتجربة البيولوجية.
سينظر المحاضر في عدة خيارات لصياغة هذه المشكلة وطرق حلها ، بما في ذلك استنادًا إلى الحد من مشكلة البرمجة الخطية الصحيحة وعلى أساس خوارزمية متروبوليس هاستينغز.
5. اشتقاق القصص الديموغرافية للسكان من البيانات الجينية ، Ekaterina Noskovaمجموعة المعلوماتية الحيويةفي المحاضرة التمهيدية ، سوف تتعلم القصص الديموغرافية ، وكيف يتم استنتاجها ، وما هي البيانات المستخدمة لهذا الغرض ، والنماذج الرياضية التي هي الأساس. يشتمل التاريخ الديموغرافي للسكان على عدد السكان ومعدل الهجرة ووقت الانفصال ، وتحتوي جينومات الأفراد على معلومات حول الماضي ، لذا فإن التواريخ الديموغرافية مستمدة من المعلومات الجينية التي تم الحصول عليها مؤخرًا للأفراد.
6. البرمجة العلائقية ، Ekaterina Verbitskayaمختبر أجهزة اللغةستركز المحاضرة على البرمجة العلائقية: نموذج تصف فيه البرامج العلاقات الرياضية ، وبالتالي يتم تنفيذها في اتجاهات مختلفة. لذلك يمكنك العثور على النتيجة من خلال الوسائط المعطاة ، وعلى العكس من ذلك ، تحصل الوسيطات على النتيجة المعطاة. ستتحدث كاثرين عن كيفية عملها ، وأين يتم تطبيقها ، وكذلك حول المشكلات المفتوحة في هذا المجال. يتم تشجيع الطلاب على فهم لغات البرمجة الوظيفية.
7. الفوقية الحسابات ، دانييل Berezunمختبر أجهزة اللغةستركز المحاضرة على الحسابات الفوقية - مجال علوم الكمبيوتر المشاركة في تصميم برامج التعريف ، أي البرامج التي تتعامل مع البرامج الأخرى كبيانات ، بما في ذلك إنشاء الأخير نتيجة لعملهم. يرتبط هذا المجال ارتباطًا وثيقًا بتحسينات البرامج ودلالات لغات البرمجة والإنشاء التلقائي للبرامج.
8. ضعف نماذج الذاكرة ، انطون بودكوبمختبر أجهزة اللغةستركز المحاضرة على نماذج الذاكرة بشكل عام. سوف يشرح المحاضر لماذا وكيف يحل طراز الذاكرة الواعدة المشكلات الحالية لنماذج الذاكرة الخاصة بلغات البرمجة ، ويتناول أدلة البراهين الخاصة بالتجميع الصحيح من النموذج الواعد في نماذج x86-TSO و Power و ARMv8.3 باستخدام نموذج ذاكرة وسيط (IMM).
9. نظرية اللغات الرسمية في الممارسة العملية ، سيميون غريغوريفمختبر أجهزة اللغةتُعد استعلامات قواعد بيانات الرسم البياني والتحليل الثابت وخوارزميات التحقق من الشفرة أمثلة على التطبيق العملي لنظرية اللغات الرسمية وخوارزميات التحليل. في هذا السياق ، تنشأ مشاكل هندسية ونظرية جديدة ، وتتطلب العديد من المشاكل القديمة حلولًا جديدة. وسيتم مناقشة هذا في محاضرة.