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