Descriptive complexity of proofs in FOL
Por Cristina Sernadas (Instituto Superior Técnico, CMAF-CIO, Universidade de Lisboa).
Por Cristina Sernadas (Instituto Superior Técnico, CMAF-CIO, Universidade de Lisboa).
Por Serena Delli (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa).
Por Alessandro Fonda (Università degli Studi di Udine).
Abstract: We consider periodic perturbations of a central force field having a rotational symmetry, and prove the existence of nearly circular periodic orbits. We thus generalize, in the planar case, some previous bifurcation results obtained by Ambrosetti and Coti Zelati. Our results apply, in particular, to the classical Kepler problem.
Por Rodica Toader (Università degli Studi di Udine).
Abstract: The mathematical formulation of problems in dynamic fracture mechanics leads naturally to the study of the wave equation on domains which vary in time. We provide a notion of solution to the wave equation on a suitable class of time-dependent domains and show existence and uniqueness for the solutions of the Cauchy problem.
The results are obtained in collaboration with G. Dal Maso (SISSA, Trieste).
Por Jorge Vitória (City, University of London).
Por Mário Edmundo (Faculdade de Ciências, CMAF-CIO, Universidade de Lisboa).
Nesta fotolegenda destacamos uma passagem da entrevista com o engenheiro químico Pedro Castro e que pode ser ouvida no canal YouTube e na área multimédia deste site.
Pedro Castro, de 44 anos, é engenheiro químico e trabalha desde 2014 como investigador no Departamento de Estatística e Investigação Operacional (DEIO) e no Centro de Matemática, Aplicações Fundamentais e Investigação Operacional.
Por Mário Edmundo (Faculdade de Ciências, CMAF-CIO, Universidade de Lisboa).
Por Mário Edmundo (Faculdade de Ciências, CMAF-CIO, Universidade de Lisboa).