research

Publications

Publications

2008

Covering coalgebras and dual non-singularity

Applied Categorical Structures | 2008 | article

V Rodrigues

2008

Decidability and tameness in the theory of finite semigroups

Bulletin of the Iranian Mathematical Society | 2008 | article
2008

Description and analysis of a bottom-up DFA minimization algorithm

Information Processing Letters | 2008 | article

M Zeitoun

2008

Diamond-alpha Jensen's inequality on time scales

Journal of Inequalities and Applications | 2008 | article

DFM Torres

MRS Ammi

2008

Differential effects of oral beta blockade on cardiovascular and sympathetic regulation during normoxia and hypoxia

Acta Cardiologica | 2008 | misc

M Gujic

P Van de Borne

S Gouveia

SP Beloka

2008

Dominated splitting and zero volume for incompressible three flows

Nonlinearity | 2008 | article

V Araujo

2008

Dynamics of generic multidimensional linear differential systems

Advanced Nonlinear Studies | 2008 | article
2008

Edgeworth expansion for an estimator of the adjustment coefficient

Insurance Mathematics & Economics | 2008 | article
2008

Effects of beta blockade on hemodynamics and muscle sympathetic activity

Journal of Hypertension | 2008 | misc

M Gujic

P van de Borne

S Beloka

S Gouveia

2008

Empirical evaluation of ranking trees on some metalearning problems

AAAI Workshop - Technical Report | 2008 | inproceedings

C Rebelo

C Soares

2008

Exact generation of acyclic deterministic finite automata

Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008 | 2008 | inproceedings
2008

Exact generation of minimal acyclic deterministic finite automata

International Journal of Foundations of Computer Science | 2008 | article
2008

Extreme values for Benedicks-Carleson quadratic maps

Ergodic Theory and Dynamical Systems | 2008 | article
2008

Formal Modelling of Emotions in BDI Agents

Computational Logic in Multi-agent Systems | 2008 | inproceedings

D Pereira

E Oliveira

2008

Frequency domain and entropy analysis of fetal heart rate: Appealing tools for fetal surveillance and pharmacodynamic assessment of drugs

Cardiovascular and Hematological Disorders - Drug Targets | 2008 | article

D Ayres de Campos

H Goncalves

J Bemardes

2008

Generic dynamics of 4-dimensional C-2 Hamiltonian systems

Communications in Mathematical Physics | 2008 | article

JL Dias

2008

Hardy-type theorem for orthogonal functions with respect to their zeros. the Jacobi weight case

Journal of Mathematical Analysis and Applications | 2008 | article

F Marcellan

LD Abreu

2008

Hedonic and descriptive skinfeel analysis of two oleogels: Comparison with other topical formulations

Journal of Sensory Studies | 2008 | article

IF Almeida

MF Bahia

2008

Hierarchical clustering of time-series data streams

Ieee Transactions on Knowledge and Data Engineering | 2008 | article

J Gama

PP Rodrigues

2008

Higher-Order Calculus of Variations on Time Scales

Mathematical Control Theory and Finance | 2008 | inproceedings

DFM Torres

2008

Homotopy groups of moduli spaces of representations

Topology | 2008 | article

O Garcia Prada

SB Bradlow

2008

Hopf bifurcation in coupled cell networks with interior symmetries

Siam Journal on Applied Dynamical Systems | 2008 | article

F Antoneli

RC Paiva

2008

Ideal extensions of locally inverse semigroups

Studia Scientiarum Mathematicarum Hungarica | 2008 | article

FJ Pastijn

2008

Invariants, equivariants and characters in symmetric bifurcation theory

Proceedings of the Royal Society of Edinburgh Section A-mathematics | 2008 | article

F Antoneli

PC Matthews

2008

KAT and PHL in Coq

Computer Science and Information Systems | 2008 | article

D Pereira