Publications
Publicações

Publications

Local Hölder continuity for some doubly nonlinear parabolic equations in measure spaces

Nonlinear Analysis, Theory, Methods and Applications | 2013

R. Laleoglu

DOI

Analytical solutions for Newtonian and inelastic non-Newtonian flows with wall slip

Effect of Polymer Melt Wall Slip on the Flow Balance of Profile Extrusion Dies

AIP Conference Proceedings | 2013
DOI

Implementation of slip boundary conditions in the finite volume method: new techniques

International Journal for Numerical Methods in Fluids | 2013

J. M. Nobrega

F. T. Pinho

DOI

Characteristic functions and averages

Afrika Matematika | 2013
DOI

Variational and quasivariational inequalities with first order constraints

Journal of Mathematical Analysis and Applications | 2013
DOI

A fuzzy logic approach to indoor location using fingerprinting

Lecture Notes in Electrical Engineering | 2013

C. Serodio

L. Coutinho

H. Pinto

P. Mestre

DOI

A java expression evaluator for nonlinear programming

Lecture Notes in Engineering and Computer Science | 2013

A. Correia

C. Serodio

C. Teixeira

P. Mestre

Calibration procedures for indoor location using fingerprinting

Lecture Notes in Electrical Engineering | 2013

P. Mestre

L. Reigoto

L. Coutinho

A. Correia

C. Serodio

DOI

Low-cost ultrasonic probe to assess wood defects and parameters

Lecture Notes in Engineering and Computer Science | 2013

P. Mestre

A. Calcada

N. Carvalho

C. Serodio

P. Couto

P. Melo-Pinto

Vehicle detection for outdoor car parks using IEEE802.15.4

Lecture Notes in Engineering and Computer Science | 2013

P. Mestre

R. Guedes

P. Couto

J. Fernandes

C. Serodio

Conformally flat sources for the Linet-Tian spacetime

General Relativity and Gravitation | 2013

M.F.A. Da Silva

N.O. Santos

DOI

Math exercise generation and smart assessment

Iberian Conference on Information Systems and Technologies, CISTI | 2013

J.J. Almeida

I. Araujo

N. Carvalho

G.J. Machado

R.M.S. Pereira

G. Smirnov

PASSAROLA: High-order exercise generation system

Iberian Conference on Information Systems and Technologies, CISTI | 2013

J.J. Almeida

I. Araujo

N. Carvalho

G.J. Machado

R.M.S. Pereira

G. Smirnov

A note on totally regular variables and appell sequences in hypercomplex function theory

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

C. Cruz

H.R. Malonek

DOI

About Pascal's tetrahedron with hypercomplex entries

AIP Conference Proceedings | 2013

C. Cruz

H.R. Malonek

DOI

Topological complexity and the homotopy cofibre of the diagonal map

Mathematische Zeitschrift | 2013

J.M. García Calcines

DOI

A coinductive approach to proof search

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013

R. Matthes

DOI

Monadic translation of classical sequent calculus

Mathematical Structures in Computer Science | 2013

R. Matthes

K. Nakazawa

DOI

Analysis of nonlinear dynamics of neural networks

Abstract and Applied Analysis | 2013

S. Arik

J. Park

T. Huang

DOI

Global exponential stability of nonautonomous neural network models with continuous distributed delays

Applied Mathematics and Computation | 2013

S. Esteves

E. Gökmen

DOI

Towards a canonical classical natural deduction system

Annals of Pure and Applied Logic | 2013
DOI

A modified fractional Zener model to describe the behaviour of a carbon fibre reinforced polymer

AIP Conference Proceedings | 2013
DOI

An evolutionary algorithm based pattern search approach for constrained optimization

2013 IEEE Congress on Evolutionary Computation, CEC 2013 | 2013

R. Datta

K. Deb

A. Gaspar-Cunha

DOI