Publications
Publicações

Publications

Sequent calculi for the normal terms of the ¿¿- and ¿¿S-calculi.

Sequent calculi for the normal terms of the λΠ- and λΠΣ-calculi.

Electron. Notes Theor. Comput. Sci., | 1998

Um estudo de problemas de redes lineares e não lineares.

Universidade do Porto Faculdade de Ciências | 1998

Prior information preshapes the population representation of movement direction in motor cortex

NeuroReport | 1998

A. Bastian

A. Riehle

G. Schöner

Monoids of orientation-preserving transformations of a finite chain and their presentations

The Monoid of orientation-preserving mappings and their presentations

Internacional Congresse on Semigroups and Applications | 1998

The Monoid of orientation-preserving mappings on a chain

Colchester, Reino Unido: Universidade de Essex | 1998

The Monoid of orientation-preserving mappings on a chain

Invariant differential operators and the Karlhede classification of Petrov type N spacetimes

Analytical and Numerical Approaches to Relativity: Sources of Gravitational Radiation; Publicacions de la Universitat de les Illes Baleares | 1998

Invariant differential operators and the Karlhede classification of type-N non-vacuum solutions

Classical and Quantum Gravity | 1998
DOI

The number of invariant polynomials of amatrix with prescribed complementary principal submatrices

Linear Algebra Appl | 1997

Some free boundary problems in theorical glaciology

The Mathematics of Models for Climatology and Environment | 1997

José Rodrigues

DOI

Numerical simulations of a Boltzmann model for reacting gases

Applied Mathematics and Computation | 1997

R. Monaco

M. Pandolfi Bianchi

The dynamic neural field theory of motor programming: ARM and eye movements

Advances in Psychology | 1997

G. Schöner

K. Kopecz

DOI

António A. R. Monteiro - Um Matemático Português no Brasil

Actas do II Encontro Luso-Brasileiro de História da Matemática | 1997

On the glacier kinematics with the shallow-ice approximation

Variational Limit of Compressible to Incompressible Fluid

Energy Methods in Continuum Mechanics | 1996
DOI

A discrete velocity model for a gas mixture: initial-boundary value problem

Rendiconti del Circolo Matematico di Palermo. Serie II | 1996

A kinetic approach to steady detonations wave problems

Rendiconti del Circolo Matematico di Palermo. Serie II | 1996

A kinetic model for a reactive gas flow: Steady detonation and speeds of sound

Physics of Fluids | 1996

M. Pandolfi Bianchi

Steady detonation waves in classical and discrete kinetic theory

Communications on Applied Nonlinear Analysis | 1996

An axiomatic approach to Lusternik-Schnirelmann category type homotopy invariants, Rapp. Semin. Math. Louvain Nouv. Ser. 245-260, 224-253

Loop-free construction of counter-models for intuitionistic propositional logic

Proceedings of the 2nd Gauss Symposium. Conference A: Mathematics and Theoretical Physics (Munich, 1993) | 1996

Population coding in cat visual cortex reveals nonlinear interactions as predicted by a neural field model

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1996

D. Jancke

A.C. Akhavan

M. Giese

A. Steinhage

G. Schöner

H.R. Dinse

DOI

On the cube problem of las vergnas

Geometriae Dedicata | 1996

J. Bokowski

A.G.D. Oliviera

U. Thiemann

DOI

Basic concepts on the assessment of arterial baroreceptor sensitivity with non invasive methods. Estimate of the spontaneous gain of the arterial baroreceptor,Conceitos básicos da avaliação da sens

Revista portuguesa de cardiologia : orgão oficial da Sociedade Portuguesa de Cardiologia = Portuguese journal of cardiology : an official journal of the Portuguese Society of Cardiology | 1996

O. Costa

P. Lago

J. Freitas

J. Puig

A.F. Freitas

Conceitos básicos na avaliação da sensibilidade dos barorreceptores arteriais por métodos não invasivos. Cálculo do ganho espontâneo do barorreceptor arterial

Rev Port Cardiol. | 1996

Pedro Lago

Ovídio Costa

António Falcão Freitas

João Freitas

Jorge Puig

A spacetime calculus based on a single null direction

Classical and Quantum Gravity | 1996

J.A.G. Vickers

DOI

Invariant differential operators and the Karlhede classification of type N vacuum solutions

Classical and Quantum Gravity | 1996

J.A.G. Vickers

DOI

Extensions by local groups

Russ. Math. 39, No.1, 28-33 (1995); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1995, No.1, 392 (1995) | 1995

On the estimation of the baroreflex gain by spectral methods

Seventh European Meeting on Hypertension | 1995

Pedro Lago

Ovídio Costa

António Falcão Freitas

The discrete Boltzmann equation for gases with autocatalytic reversible reactions

Communications on Applied Nonlinear Analysis | 1994

Cut formulae and logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1994

Algumas sucessões Markovianas com relevo para a Teoria de Extremos

Técnicas espectrais na estimação do ganho do reflexo baroreceptor

Bioeng’94 | 1994

Pedro Lago

Ovídio Costa

António Falcão Freitas

On regular implicit operations

Port. Math. 50 | 1993

Diffusion with gradient constraint and evolutive Dirichlet condition

On a class of nonlinear high order variational inequality systems

Differential and Integral Equations | 1993

J. Liang

On the variational inequality approach to compressible flows via hodograph method

Implicit operations on DS

Rhodes, John (ed.), Monoids and semigroups with applications. Proceedings of the Berkeley workshop on monoids, 1989, Singapore etc.: World Scientific Publishing | 1991

A diffusion problem with gradient constraint and evolutive Dirichlet condition

Strong solutions to elliptic and parabolic problems with quasilinear monotone discontinuities

Nonlinear Analysis | 1991
DOI

Infinite relativistic Toda lattice: Scattering problem and canonical structure

Inverse Problems | 1991
DOI

O Contradomínio Numérico Decomponível

Coimbra: Faculdade de Ciências e Tecnologia da Universidade de Coimbra | 1991

O Contradomínio Numérico Decomponível

The Join of the Pseudovariety J with Permutative Pseudovarieties

Lattices, Semigroups, and Universal Algebra | 1990
DOI

Asymptotic convergences in fluid dynamics using variational inequalities—the compressible case

On the stationary distribution of some extremal Markovian sequences

Journal of Applied Probability, 27 (2), 291-302 | 1990

Teresa Alpuim

DOI