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