Por Rui Pacheco (CMA-UBI, Universidade da Beira Interior).
Por Vladimir I. Man'ko (Lebedev Institute, Russian Academy of Sciences).
Por José Oliveira (Universidade do Minho).
Por Daniel Graça (Universidade do Algarve).
Nesta fotolegenda destacamos uma passagem da entrevista com Francisco Saldanha da Gama, professor do Departamento de Estatística e Investigação Operacional e investigador do Centro de Matemática, Aplicações Fundamentais e Investigação Operacional de Ciências ULisboa, e que pode ser ouvida no canal YouTube e na área multimédia do site da Faculdade.
Quem é Franscisco Saldanha da Gama? "É alguém que procura ser feliz", diz o editor-chefe da Computers & Operations Research.
Por Juha Videman (CAMGSD, Instituto Superior Técnico).
Abstract: Stabilization of mixed finite element methods for saddle point problems is a well-established technique that allows one to use finite element spaces that do not satisfy the Babuska-Brezzi condition. They were introduced and analysed in 80’s by Hughes, Franca, Brezzi, Pitkäranta and others. The analysis has, however, suffered from the fact that full regularity of the exact solution needs to be assumed.
Por Pedro Filipe (Instituto Superior Técnico, Universidade de Lisboa).
Abstract: The compactness theorem is one of the key ingredients used in Lindstrom's Theorem that characterizes first-order logic and follows directly from Godel's completeness theorem, given the finite nature of proofs. In time, alternative proofs were found that don't require the usage of a formal proof system. In this seminar we will show one of these alternative proofs using ultrafilters and ultraproducts.
Exposição patente ao público até 31 de março de 2019 (dias úteis, 08h00 às 19h30).
Esta mostra surge como um breve olhar sobre algumas das aplicações da matemática na biologia, exemplos de como eliminando fronteiras se consegue ir mais longe.
Conceção e Textos: Ana Maria Eiró; António Monteiro; Carlos Albuquerque; Cristina Luís; José Francisco Rodrigues; Luís Mateus; Pedro Moura; Suzana Nápoles; Tiago Marques
Design gráfico: João Sotomayor
Por Benito Pires (Universidade de São Paulo).
