Kuliah Terbuka di JetBrains Research Labs

Selama semester musim gugur yang lalu, staf lab JetBrains Research mengadakan beberapa kuliah terbuka di Pusat Ilmu Komputer . Subjek laporan beragam, seperti bidang penelitian laboratorium. Untuk kenyamanan, kami mengumpulkan tautan ke semua pertunjukan. Selamat menikmati!

1. Cara membuat laporan tentang karya ilmiah, Mark Zaslavsky
Laboratorium Algoritma Robot Seluler

Pada kuliah Anda akan berkenalan dengan algoritma langkah-demi-langkah untuk mempersiapkan penampilan. Anda akan belajar bagaimana merencanakan presentasi dan pidato dengan mempertimbangkan secara spesifik laporan ilmiah dan pendengar tipikal. Bawalah rekomendasi praktis dengan Anda. Anda akan belajar bagaimana mempersiapkan pertanyaan rumit dari audiens dan tidak tersentak karena serangan mereka.



2. Duckietown dan AIDO, Konstantin Chaika
Laboratorium Algoritma Robot Seluler

Dalam kuliah Anda akan belajar:

• bagaimana berkontribusi pada pengembangan kendaraan otonom tanpa membeli Toyota Prius,
• apa Duckietown dan bagaimana di dalamnya hanya memiliki satu kamera dan satu komputer papan belajar naik sesuai aturan,
• bagaimana mengambil bagian dalam Olimpiade dengan kendaraan otonom tanpa meninggalkan rumah Anda, dan di mana bebek?

3. Pengantar algoritma untuk lokalisasi simultan dan pembangunan peta (SLAM), Anton Filatov, Artyom Filatov
Laboratorium Algoritma Robot Seluler

Di antara tugas-tugas yang sudah diselesaikan robot, pembicara membedakan tugas gerakan otonom di atas medan yang tidak dikenal. Ketika robot bergerak berada di lingkungan yang tidak diketahui, ia perlu membangun peta dan menentukan posisinya di atasnya, bergantung pada data sensor yang dipasang pada robot. Tugas ini disebut SLAM (Simultanous Localization and Mapping).

Pada kuliah tersebut, Artyom dan Anton akan mempertimbangkan sebagian besar algoritma modern yang memecahkan masalah SLAM, berbicara tentang masalah yang diselesaikan dan tidak terselesaikan dalam kerangka masalah ini, dan juga menunjukkan solusi dari masalah seperti itu dalam praktiknya. Benar, di simulator :)



4. Hubungkan titik-titik: menggunakan grafik untuk menafsirkan data biologis, Alexey Sergushichev
Kelompok bioinformatika

Generasi data eksperimen dalam jumlah besar telah menjadi norma dalam biologi modern, tetapi muncul pertanyaan tentang bagaimana menafsirkan data ini untuk menarik kesimpulan biologis. Salah satu pendekatan untuk masalah ini adalah penggunaan grafik interaksi biologis. Baginya, seseorang dapat merumuskan apa yang disebut tugas mencari modul aktif: temukan dalam grafik besar semua interaksi yang mungkin secara biologis sebuah subgraf kecil yang terhubung yang khusus untuk percobaan biologi.

Dosen akan mempertimbangkan beberapa opsi untuk merumuskan masalah ini dan pendekatan untuk solusinya, termasuk berdasarkan pada pengurangan masalah pemrograman linier integer dan berdasarkan algoritma Metropolis-Hastings.



5. Turunnya cerita demografis populasi dari data genom, Ekaterina Noskova
Kelompok bioinformatika

Dalam kuliah pengantar, Anda akan belajar apa cerita demografis, bagaimana mereka disimpulkan, data apa yang digunakan untuk ini, dan model matematika mana yang menjadi dasar. Sejarah demografi populasi meliputi jumlah populasi, laju migrasi dan waktu pemisahan, dan genom individu mengandung informasi tentang masa lalu, sehingga sejarah demografis berasal dari informasi genetik yang baru-baru ini diperoleh dari individu individu.



6. Pemrograman relasional, Ekaterina Verbitskaya
Laboratorium Instrumentasi Bahasa

Kuliah akan fokus pada pemrograman relasional: paradigma di mana program menggambarkan hubungan matematika dan, oleh karena itu, dieksekusi dalam arah yang berbeda. Jadi, Anda dapat menemukan hasil dengan argumen yang diberikan, dan sebaliknya, dengan argumen mendapatkan hasil yang diberikan. Catherine akan berbicara tentang cara kerjanya, di mana itu diterapkan, serta tentang masalah terbuka di lapangan. Siswa didorong untuk memiliki pemahaman bahasa pemrograman fungsional.



7. Meta-perhitungan, Daniil Berezun
Laboratorium Instrumentasi Bahasa

Kuliah akan berfokus pada meta-komputasi - bidang ilmu komputer yang terlibat dalam desain program-meta, yaitu program yang memanipulasi program lain sebagai data, termasuk menghasilkan yang terakhir sebagai hasil dari pekerjaan mereka. Area ini terkait erat dengan optimasi perangkat lunak dan semantik bahasa pemrograman dan pembuatan program secara otomatis.



8. Model memori yang lemah, Anton Podkopaev
Laboratorium Instrumentasi Bahasa

Kuliah akan fokus pada model memori secara umum. Dosen akan menjelaskan mengapa dan bagaimana model memori yang menjanjikan memecahkan masalah yang ada dari model memori dari bahasa pemrograman, dan menyentuh bukti kebenaran kompilasi dari model yang menjanjikan dalam model x86-TSO, Power, dan ARMv8.3 menggunakan model memori antara (IMM).



9. Teori bahasa formal dalam praktik, Semyon Grigoriev
Laboratorium Instrumentasi Bahasa

Pertanyaan untuk basis data grafik, analisis statis dan algoritma verifikasi kode adalah contoh penerapan praktis teori bahasa formal dan algoritma penguraian. Dalam konteks ini, masalah teknik dan teori baru muncul, dan banyak masalah lama membutuhkan solusi baru. Ini akan dibahas dalam kuliah.