No semestre passado, a equipe do laboratório de
Pesquisa JetBrains realizou várias palestras abertas no
Centro de Ciência da Computação . Os assuntos dos relatórios são diversos, assim como as áreas de pesquisa em laboratório. Por conveniência, coletamos links para todas as apresentações. Tenha uma bela vista!
1. Como fazer um relatório sobre o trabalho científico, Mark ZaslavskyLaboratório de Algoritmos de Robôs MóveisNa palestra, você se familiarizará com um algoritmo passo a passo para se preparar para as apresentações. Você aprenderá como planejar a apresentação e o discurso, levando em consideração as especificidades dos relatórios científicos e dos ouvintes típicos. Leve recomendações práticas com você. Você aprenderá a se preparar para as perguntas complicadas da platéia e a não se encolher diante do ataque.
2. Duckietown e AIDO, Konstantin ChaikaLaboratório de Algoritmos de Robôs MóveisNa palestra, você aprenderá:
- como contribuir para o desenvolvimento de veículos autônomos sem comprar um Toyota Prius,
- o que é Duckietown e como somente uma câmera e um computador de placa única aprendem a seguir as regras,
- como participar das Olimpíadas em veículos autônomos sem sair de casa e onde fica o pato?
3. Introdução aos algoritmos para localização simultânea e construção de mapas (SLAM), Anton Filatov, Artyom FilatovLaboratório de Algoritmos de Robôs MóveisEntre as tarefas que os robôs já estão resolvendo, os alto-falantes distinguem a tarefa do movimento autônomo em um terreno desconhecido. Quando um robô em movimento está em um ambiente desconhecido, ele precisa construir um mapa e determinar sua posição nele, com base nos dados dos sensores instalados no robô. Essa tarefa é chamada SLAM (localização e mapeamento simultâneos).
Na palestra, Artyom e Anton considerarão a maioria dos algoritmos modernos que resolvem o problema SLAM, conversam sobre problemas resolvidos e não resolvidos dentro da estrutura desse problema e também mostram a solução de um problema na prática. É verdade, no simulador :)
4. Conecte os pontos: usando gráficos para interpretar dados biológicos, Alexey SergushichevGrupo de bioinformáticaA geração de grandes quantidades de dados experimentais se tornou a norma na biologia moderna, mas surgiu a questão de como interpretar esses dados para tirar conclusões biológicas. Uma abordagem para esse problema é o uso de um gráfico de interações biológicas. Para ele, pode-se formular a chamada tarefa de procurar um módulo ativo: encontre em um grande gráfico de todas as interações biologicamente possíveis um pequeno subgrafo conectado, específico de um experimento biológico.
O palestrante considerará várias opções para formular esse problema e abordagens para sua solução, inclusive com base na redução ao problema de programação linear inteira e com base no algoritmo Metropolis-Hastings.
5. Derivação de histórias demográficas de populações a partir de dados genômicos, Ekaterina NoskovaGrupo de bioinformáticaNa palestra introdutória, você aprenderá o que são histórias demográficas, como são deduzidas, quais dados são usados para isso e quais modelos matemáticos são a base. A história demográfica das populações inclui o número de populações, a taxa de migração e o tempo de separação, e os genomas dos indivíduos contêm informações sobre o passado, de modo que as histórias demográficas derivam das informações genéticas recentemente obtidas de indivíduos.
6. Programação relacional, Ekaterina VerbitskayaLaboratório de Instrumentação LinguísticaA palestra se concentrará na programação relacional: um paradigma em que os programas descrevem relacionamentos matemáticos e, portanto, são executados em diferentes direções. Assim, você pode encontrar o resultado pelos argumentos fornecidos e, inversamente, pelos argumentos obtém o resultado fornecido. Catherine falará sobre como funciona, onde é aplicada, bem como sobre problemas em aberto no campo. Os alunos são incentivados a entender as linguagens de programação funcionais.
7. Meta-cálculos, Daniil BerezunLaboratório de Instrumentação LinguísticaA palestra se concentrará em meta-computações - o campo da ciência da computação envolvido no design de meta-programas, ou seja, programas que manipulam outros programas como dados, incluindo a geração desses últimos como resultado de seu trabalho. Essa área está intimamente relacionada às otimizações de software e semântica das linguagens de programação e à geração automática de programas.
8. Modelos de memória fraca, Anton PodkopaevLaboratório de Instrumentação LinguísticaA palestra se concentrará nos modelos de memória em geral. O palestrante explicará por que e como o modelo de memória promissor resolve os problemas existentes dos modelos de memória das linguagens de programação e aborda as provas de compilação correta do modelo promissor nos modelos x86-TSO, Power e ARMv8.3 usando o modelo de memória intermediária (IMM).
9. A teoria das linguagens formais na prática, Semyon GrigorievLaboratório de Instrumentação LinguísticaConsultas para bancos de dados de gráficos, análise estática e algoritmos de verificação de código são exemplos de aplicação prática da teoria de linguagens formais e algoritmos de análise. Nesse contexto, surgem novos problemas de engenharia e teóricos, e muitos antigos exigem novas soluções. Isso será discutido em uma palestra.