Durante el semestre de otoño pasado, el personal del laboratorio de
JetBrains Research realizó varias conferencias abiertas en el
Computer Science Center . Los temas de los informes son diversos, al igual que las áreas de investigación de laboratorio. Para mayor comodidad, recopilamos enlaces a todas las actuaciones. Que tengas una linda vista!
1. Cómo hacer un informe sobre el trabajo científico, Mark ZaslavskyLaboratorio de algoritmos de robots móvilesEn la conferencia, se familiarizará con un algoritmo paso a paso para prepararse para las presentaciones. Aprenderá a planificar la presentación y el discurso teniendo en cuenta los detalles de los informes científicos y los oyentes típicos. Lleva recomendaciones prácticas contigo. Aprenderá cómo prepararse para las preguntas difíciles de la audiencia y no ceder ante su ataque.
2. Duckietown y AIDO, Konstantin ChaikaLaboratorio de algoritmos de robots móvilesEn la conferencia aprenderás:
- cómo contribuir al desarrollo de vehículos autónomos sin comprar un Toyota Prius,
- qué es Duckietown y cómo, al tener solo una cámara y una computadora de una sola placa, aprende a seguir las reglas,
- ¿Cómo participar en los Juegos Olímpicos en vehículos autónomos sin salir de su casa, y de dónde viene el pato?
3. Introducción a algoritmos para localización simultánea y construcción de mapas (SLAM), Anton Filatov, Artyom FilatovLaboratorio de algoritmos de robots móvilesEntre las tareas que los robots ya están resolviendo, los hablantes distinguen la tarea del movimiento autónomo sobre un terreno desconocido. Cuando un robot en movimiento se encuentra en un entorno desconocido, necesita construir un mapa y determinar su posición en él, basándose en los datos de los sensores instalados en el robot. Esta tarea se llama SLAM (localización y mapeo simultáneos).
En la conferencia, Artyom y Anton considerarán la mayoría de los algoritmos modernos que resuelven el problema SLAM, hablarán sobre problemas resueltos y no resueltos dentro del marco de este problema, y también mostrarán la solución de dicho problema en la práctica. Es cierto, en el simulador :)
4. Conecte los puntos: usando gráficos para interpretar datos biológicos, Alexey SergushichevGrupo de bioinformáticaLa generación de grandes cantidades de datos experimentales se ha convertido en la norma en la biología moderna, pero surgió la pregunta de cómo interpretar estos datos para sacar conclusiones biológicas. Un enfoque para este problema es el uso de un gráfico de interacciones biológicas. Para él, uno puede formular la llamada tarea de buscar un módulo activo: encontrar en un gran gráfico de todas las interacciones biológicamente posibles una pequeña subgrafía conectada que sea específica de un experimento biológico.
El profesor considerará varias opciones para formular este problema y los enfoques para su solución, incluso en función de la reducción al problema de la programación lineal de enteros y sobre la base del algoritmo Metropolis-Hastings.
5. Derivación de historias demográficas de poblaciones a partir de datos genómicos, Ekaterina NoskovaGrupo de bioinformáticaEn la conferencia introductoria, aprenderá qué son las historias demográficas, cómo se deducen, qué datos se utilizan para esto y qué modelos matemáticos son la base. La historia demográfica de las poblaciones incluye el número de poblaciones, la tasa de migración y el tiempo de separación, y los genomas de los individuos contienen información sobre el pasado, por lo que las historias demográficas se derivan de la información genética obtenida recientemente de los individuos.
6. Programación relacional, Ekaterina VerbitskayaLaboratorio de instrumentación de idiomasLa conferencia se centrará en la programación relacional: un paradigma en el que los programas describen relaciones matemáticas y, por lo tanto, se ejecutan en diferentes direcciones. Entonces puede encontrar el resultado por los argumentos dados y, por el contrario, por los argumentos obtener el resultado dado. Catherine hablará sobre cómo funciona, dónde se aplica, así como sobre los problemas abiertos en el campo. Se alienta a los estudiantes a comprender los lenguajes de programación funcionales.
7. Metacálculos, Daniil BerezunLaboratorio de instrumentación de idiomasLa conferencia se centrará en los meta-cálculos: el campo de la informática involucrado en el diseño de metaprogramas, es decir. programas que manipulan otros programas como datos, incluida la generación de estos últimos como resultado de su trabajo. Esta área está estrechamente relacionada con las optimizaciones de software y la semántica de los lenguajes de programación y con la generación automática de programas.
8. Modelos de memoria débil, Anton PodkopaevLaboratorio de instrumentación de idiomasLa conferencia se centrará en modelos de memoria en general. El profesor explicará por qué y cómo el modelo de memoria prometedor resuelve los problemas existentes de los modelos de memoria de los lenguajes de programación, y toca las pruebas de la corrección de la compilación del modelo prometedor en los modelos x86-TSO, Power y ARMv8.3 utilizando el modelo de memoria intermedia (IMM).
9. La teoría de los lenguajes formales en la práctica, Semyon GrigorievLaboratorio de instrumentación de idiomasLas consultas para bases de datos de gráficos, análisis estáticos y algoritmos de verificación de código son ejemplos de aplicación práctica de la teoría de lenguajes formales y algoritmos de análisis. En este contexto, surgen nuevos problemas de ingeniería y teóricos, y muchos de los antiguos requieren nuevas soluciones. Esto se discutirá en una conferencia.