Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto
AuthID: I-000-1C6
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3584
143 Team MembersFilters -> Year: 2024
3461
TITLE: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 359-370
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 359-370
3462
TITLE: Columnwise block LU factorization using BLAS kernels on VAX 6520/2VP Full Text
AUTHORS: Vasconcelos, PB ; filomena dias d' almeida ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 423-429
AUTHORS: Vasconcelos, PB ; filomena dias d' almeida ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 423-429
3463
TITLE: Constraint Categorial Grammars
AUTHORS: Luís Damas ; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 347-358
AUTHORS: Luís Damas ; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 347-358
3464
TITLE: Constraint Categorial Grammars PDF
AUTHORS: Luís Damas; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: CoRR, VOLUME: abs/cmp-lg/9507001
AUTHORS: Luís Damas; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: CoRR, VOLUME: abs/cmp-lg/9507001
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv3465
TITLE: DISCRETE-TIME PIECEWISE-LINEAR FILTERING WITH SMALL OBSERVATION NOISE Full Text
AUTHORS: DEOLIVEIRA, PM ; ROUBAUD, MC;
PUBLISHED: 1995, SOURCE: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOLUME: 40, ISSUE: 12, PAGES: 2149-2152
AUTHORS: DEOLIVEIRA, PM ; ROUBAUD, MC;
PUBLISHED: 1995, SOURCE: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOLUME: 40, ISSUE: 12, PAGES: 2149-2152
3466
TITLE: EDDY VISCOSITY OF 3-DIMENSIONAL FLOW
AUTHORS: WIRTH, A; GAMA, S ; FRISCH, U;
PUBLISHED: 1995, SOURCE: JOURNAL OF FLUID MECHANICS, VOLUME: 288, ISSUE: -1, PAGES: 249-264
AUTHORS: WIRTH, A; GAMA, S ; FRISCH, U;
PUBLISHED: 1995, SOURCE: JOURNAL OF FLUID MECHANICS, VOLUME: 288, ISSUE: -1, PAGES: 249-264
3467
TITLE: Eddy viscosity of three-dimensional flow
AUTHORS: Wirth, A; Gama, S ; Frisch, U;
PUBLISHED: 1995, SOURCE: Fluid Mechanics and Its Applications - Advances in Turbulence V, PAGES: 565-568
AUTHORS: Wirth, A; Gama, S ; Frisch, U;
PUBLISHED: 1995, SOURCE: Fluid Mechanics and Its Applications - Advances in Turbulence V, PAGES: 565-568
3468
TITLE: Editorial Full Text
AUTHORS: filomena dias d' almeida ; Ferreira, FN; Topping, BHV;
PUBLISHED: 1995, SOURCE: Computing Systems in Engineering, VOLUME: 6, ISSUE: 4-5
AUTHORS: filomena dias d' almeida ; Ferreira, FN; Topping, BHV;
PUBLISHED: 1995, SOURCE: Computing Systems in Engineering, VOLUME: 6, ISSUE: 4-5
INDEXED IN: 
Scopus
Scopus3469
TITLE: Editorial Full Text
AUTHORS: filomena dias d' almeida ; Fernando Nunes Ferreira; Barry H.V Topping;
PUBLISHED: 1995, SOURCE: Computing Systems in Engineering, VOLUME: 6, ISSUE: 4-5
AUTHORS: filomena dias d' almeida ; Fernando Nunes Ferreira; Barry H.V Topping;
PUBLISHED: 1995, SOURCE: Computing Systems in Engineering, VOLUME: 6, ISSUE: 4-5
INDEXED IN: 
CrossRef
CrossRef3470
TITLE: EFFECTS OF PRENATAL COCAINE EXPOSURE ON POSTNATAL-GROWTH PATTERNS OF MALE WISTAR RATS Full Text
AUTHORS: SILVA, MC ; SILVAARAUJO, A; ABREU, S ; XAVIER, MR; MONTEIRO, LS; TAVARES, MA ;
PUBLISHED: 1995, SOURCE: NEUROTOXICOLOGY AND TERATOLOGY, VOLUME: 17, ISSUE: 4, PAGES: 471-477
AUTHORS: SILVA, MC ; SILVAARAUJO, A; ABREU, S ; XAVIER, MR; MONTEIRO, LS; TAVARES, MA ;
PUBLISHED: 1995, SOURCE: NEUROTOXICOLOGY AND TERATOLOGY, VOLUME: 17, ISSUE: 4, PAGES: 471-477
3471
TITLE: Finite Semigroups and Universal Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series in Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series in Algebra
INDEXED IN: CrossRef 
Openlibrary
CrossRef Openlibrary3472
TITLE: Finite Semigroups And Universal Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series In Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series In Algebra
INDEXED IN: CrossRef Openlibrary
CrossRef Openlibrary3473
TITLE: From elliott-macmahon to an algorithm for general linear constraints on naturals
AUTHORS: Domenjoud, E; Tomàs, AP ;
PUBLISHED: 1995, SOURCE: 1st International Conference on Principles and Practice of Constraint Programming, CP 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 976, PAGES: 18-35
AUTHORS: Domenjoud, E; Tomàs, AP ;
PUBLISHED: 1995, SOURCE: 1st International Conference on Principles and Practice of Constraint Programming, CP 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 976, PAGES: 18-35
3474
TITLE: GENERALIZED COORDINATES ON THE PHASE-SPACE OF YANG-MILLS THEORY
AUTHORS: LOLL, R; MOURAO, JM ; TAVARES, JN ;
PUBLISHED: 1995, SOURCE: CLASSICAL AND QUANTUM GRAVITY, VOLUME: 12, ISSUE: 5, PAGES: 1191-1198
AUTHORS: LOLL, R; MOURAO, JM ; TAVARES, JN ;
PUBLISHED: 1995, SOURCE: CLASSICAL AND QUANTUM GRAVITY, VOLUME: 12, ISSUE: 5, PAGES: 1191-1198
3475
TITLE: MODE INTERACTIONS WITH SYMMETRY
AUTHORS: CASTRO, SBSD ;
PUBLISHED: 1995, SOURCE: DYNAMICS AND STABILITY OF SYSTEMS, VOLUME: 10, ISSUE: 1, PAGES: 13-31
AUTHORS: CASTRO, SBSD ;
PUBLISHED: 1995, SOURCE: DYNAMICS AND STABILITY OF SYSTEMS, VOLUME: 10, ISSUE: 1, PAGES: 13-31
3476
TITLE: Negative Isotropic Eddy Viscosity: A Common Phenomenon in two Dimensions
AUTHORS: Gama, S ; Vergassola, M; Frisch, U;
PUBLISHED: 1995, SOURCE: Navier—Stokes Equations and Related Nonlinear Problems, PAGES: 351-355
AUTHORS: Gama, S ; Vergassola, M; Frisch, U;
PUBLISHED: 1995, SOURCE: Navier—Stokes Equations and Related Nonlinear Problems, PAGES: 351-355
3477
TITLE: On complete intersection affine semigroups
AUTHORS: Rosales, JC; GarciaSanchez, PA ;
PUBLISHED: 1995, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 23, ISSUE: 14, PAGES: 5395-5412
AUTHORS: Rosales, JC; GarciaSanchez, PA ;
PUBLISHED: 1995, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 23, ISSUE: 14, PAGES: 5395-5412
3478
TITLE: ON THE STEINITZ EXCHANGE LEMMA Full Text
AUTHORS: DEOLIVEIRA, AG ;
PUBLISHED: 1995, SOURCE: DISCRETE MATHEMATICS, VOLUME: 137, ISSUE: 1-3, PAGES: 367-370
AUTHORS: DEOLIVEIRA, AG ;
PUBLISHED: 1995, SOURCE: DISCRETE MATHEMATICS, VOLUME: 137, ISSUE: 1-3, PAGES: 367-370
3479
TITLE: Performance of a QR algorithm implementation on a multicluster of transputers Full Text
AUTHORS: Ferreira, FJ ; Vasconcelos, PB ; filomena dias d' almeida ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 363-367
AUTHORS: Ferreira, FJ ; Vasconcelos, PB ; filomena dias d' almeida ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 363-367
3480
TITLE: The spectral analysis of heart rate variability. A comparative study between nonparametric and parametric spectral analysis in short series [Análise espectral da variabilidade da frequência cardíaca. Estudo comparativo entre a análise espectral não paramétrica e paramétrica em séries curtas.]
AUTHORS: Costa, O ; Lago, P; Rocha, AP ; Freitas, J ; Puig, J; Carvalho, MJ; de Freitas, AF;
PUBLISHED: 1995, SOURCE: Revista portuguesa de cardiologia : orgao oficial da Sociedade Portuguesa de Cardiologia = Portuguese journal of cardiology : an official journal of the Portuguese Society of Cardiology, VOLUME: 14, ISSUE: 9, PAGES: 621-626
AUTHORS: Costa, O ; Lago, P; Rocha, AP ; Freitas, J ; Puig, J; Carvalho, MJ; de Freitas, AF;
PUBLISHED: 1995, SOURCE: Revista portuguesa de cardiologia : orgao oficial da Sociedade Portuguesa de Cardiologia = Portuguese journal of cardiology : an official journal of the Portuguese Society of Cardiology, VOLUME: 14, ISSUE: 9, PAGES: 621-626
INDEXED IN: Scopus
Scopus