Por Cristina Sernadas (Instituto Superior Técnico, CMAFcIO).
Abstract: Some reduction techniques are presented for proving decidability of mathematical theories and of logic problems, along with relevant illustrations.
Por Alexandre T. Baraviera (IME-Universidade Federal do Rio Grande do Sul).
In this talk we revisit a model introduced by Marchetti and Perez in order to understand in a rigorous way a renormalization group approach for the Coulumb gas on the lattice; the model corresponds to a map (depending on a parameter \beta) on the probabilities defined on the integers. Our goal is to provide another approach for the existence of non trivial fixed points of this map when the parameter \beta is smaller than a certain critical value.
Sessão de homenagem a Alfredo Pereira Gomes (1919-2006), no centenário do seu nascimento.
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.
