|
A Roadmap to Decidability
Speaker: Cristina Sernadas
Instituto de Telecomunicações, Departamento de Matemática Instituto Superior Técnico |
|
On the homotopy type of a simplicial complex
Speaker: Pedro Silva
CMUP/Faculdade de Ciências da Universidade do Porto |
|
Parallel Algorithms for NFA State Minimization Problem
Speaker: Andrey Tsyganov
Ulyanovsk State Pedagogical University, Ulyanovsk, Russia |
|
Parameter Identification in Stochastic Dynamic Systems based on API Approach (with applications in Biology)
Speaker: Julia Tsyganova
Ulyanovsk State University, Ulyanovsk, Russia |
|
Modelling of road accidents, in Lisbon, with casualities using spatial point processes
Speaker: Isabel Natário
Faculdade de Ciências e Tecnologia/UNL and CEAUL |
|
Locales for Topological Data Analysis
Speaker: João Pita Costa
Institute Jožef Stefan, Ljubljana |
|
Convexity Adjustments for ATS models
Speaker: Raquel Gaspar
CEMAPRE and ISEG |
|
Semigroup algebra of a restriction semigroup with an inverse skeleton
Speaker: Catarina Santa-Clara
CEMAT |
|
Synchronizing Automata and Approaches to the Cerny Conjecture
Speaker: Emanuele Rodaro
CMUP / FCUP, Portugal |
|
Strategies to reduce the probability of a misleading signal
Speaker: Manuel Cabral Morais
CEMAT & Department of Mathematics, IST |
|
Strategies to reduce the probability of a misleading signal
Speaker: Manuel Cabral Morais
CEMAT |
|
Price Modelling in Carbon Emission and Electricity Markets
Speaker: Daniel Schwarz
IST and CMU |
|
Graphs, pseudosemilattices and idempotent generated locally inverse semigroups
Speaker: Luís António Teixeira de Oliveira
CMUP, Faculdade de Ciências da Universidade do Porto |
|
Congruence classes of varieties of algebras
Speaker: Pierre Gillibert
CAUL |
|
A Homology-based Algorithm for the Analysis of Structures
Speaker: Kazuaki Nakane
Division of Health Sciences, Osaka University, Japan |
|
A new construction of canonical extensions of lattices
Speaker: Miroslav Haviar
M Bel University, Banská Bystrica, Slovakia |
|
Summer Workshops @ CAUL, 2013
Speaker: Maria João Gouveia
CEMAT |
|
Modeling the Coagulation Dynamics in Human Blood
Speaker: Jevgenija Pavlova
CEMAT, Instituto Superior Técnico, Lisbon |
|
Incorporating parameter uncertainty into the setup of EWMA control charts monitoring normal variance
Speaker: Sven Knoth
Institute of Mathematics and Statistics, Helmut Schmidt University, Hamburg, Germany |
|
Reaching the best possible rate of convergence to equilibrium of Boltzmann-equation solutions
Speaker: Emanuele Dolera
Università di Modena e Reggio Emilia, Italy |
|