Seminários de Lógica Matemática

Sala 6.2.33, FCUL, Lisboa

Pigeons do not jump highUsing o-minimality to compute lower bounds on sample complexity of neural networks (part 2)

 

 

Pigeons do not jump high 15h00

Por Ludovic Patey (Institut Camille Jordain, Lyon).

Abstract: The infinite pigeonhole principle asserts that every set of integers admits an infinite subset in it or its complement. This seemingly trivial principle surprisingly admits highly non-trivial computability-theoretic features, when considering non-computable instances. In particular, one may wonder whether there is an instance of the pigeonhole principle whose solutions are all high. The answer to this question will be given during this talk, although the careful reader might find a subtle clue in the title. This is a joint work with Benoit Monin.


Using o-minimality to compute lower bounds on sample complexity of neural networks (part 2) 16h30

Por Alex Usvyatsov (Universidade de Lisboa, CMAF-CIO).

Abstract: I will discuss the concept of sample complexity in statistical learning theory. Then I will show how definability of many hypothesis classes (for example, essentially all artificial neural networks used in practice) in o-minimal structures, helps to compute tighter lower bounds on sample complexity for these hypothesis classes.

CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Computador portátil a projetar imagem de sequência biológica

O curso visa a aquisição de conhecimentos sobre as ferramentas bioinformáticas disponíveis para efetuar análises de sequências de DNA e proteínas, bem como a autonomia e espírito crítico na utilização dessas ferramentas. Procura igualmente desenvolver competências na utilização de software de bioinformática disponível gratuitamente na Internet e na interpretação do significado biológico dos resultados - candidaturas até 12 dezembro.

Bola de cristal colocada no solo

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.

Páginas