2021

B. Dinis, É. Miquey

Realizability with Stateful Computations for Nonstandard Analysis

Leibniz International Proceedings in Informatics Schloss Dagstuhl (CSL 2021)

vol.183 pp. 19:1–19:23

B. Dinis, P. Oliva

A parametrised functional interpretation for Heyting arithmetic

Annals of Pure and Applied Logic

172:4 (2021)

B. Dinis, M. Edmundo, M. Mamino 

Fundamental group in an arbitrary o-minimal structure with definable Skolem functions

Annals of Pure and Applied Logic

172:8 (2021) 102975 

B. Dinis, B. Jacinto

A nonstandard view on vagueness

Proceedings of the 13th Panhellenic Logic Symposium

Gowrisankar, A., Golmankhaneh, A. K., Serpa, C. 

Fractal Calculus on Fractal Interpolation Functions

Fractal Fract. 

(5) 157 (2021) 1-15 

Buescu, J., Serpa, C. 

Compatibility Conditions for Systems of Iterative Functional Equations with Non-trivial Contact Sets

Results in Mathematics

76 (2) (2021) 1-19 

Mitic, V., Serpa, C., Ilic, I., Mohr, M., Fecht, H.-J. 

Fractal nature of advanced Ni-based superalloys solidied on board the international space station

Remote Sensing

13 (9) (2021) 1-22

Serpa, C. 

A note on fractal interpolation vs fractal regression

Academia Letters 

808, 1-5, 2021 

Serpa, C., Forouharfar, A. 

Fractalization of Chaos and Complexity: Proposition of a New Method in the Study of Complex Systems

Springer Proceedings in Complexity

87-105 (2021) 

Ferreira, F.

On false Heine/Borel compactness principles in proof mining

Lecture Notes in Computer Science 

12813, (2021) pp. 199-203 

Ferreira, F.

The abstract type of the real numbers

Archive for Mathematical Logic

60, 1005–1017 (2021) 

Espírito Santo, J., Ferreira, G. 

The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL

29(5):823-858, (2021) 

A. T. Baraviera, P. Duarte, M. J. Torres 

Stationary Measures on Infinite Graphs

Communications in Contemporary Mathematics

2021

Hyperbolic Polygonal Billiards Close to 1-Dimensional Piecewise Expanding Maps

Relative subanalytic sheaves II

Florentino, C., A. Nozad, A. Zamora

Florentino, C.,  J. Silva

Buescu, J., Paixão, A. C. 

Ferreira, F.

Princípios de Teoria dos Conjuntos (Cadernos de Lógica e Computação)

Margheri, A., Rebelo C.,  Zanolin, F.

Fixed points for planar maps with multiple twists, with application to nonlinear equations with indefinite weight

Philosophical Transaction of the Royal Society A, Volume 379 Issue 2191

3769-3805

Barroso, A.C, E. Zappale 

An optimal design problem with non-standard growth and no concentration effects

Asympt. Anal.

31–53, 2021

Antontsev, S.,  H.B. de Oliveira, Khompysh, Khonatbek 

The classical Kelvin-Voigt problem for incompressible fluids with unknown non-constant density: existence, uniqueness and regularity

Journal Nonlinearity, 34(2021), 3083-3111

34, 3083-3111, 211–237, 2021

Antontsev, S., Jorge Ferreira, Erhan Pişkin, Sebastião Martins Siqueira Cordeiro 

Existence and non-existence of solutions for Timoshenko –type equations with variable exponents

Nonlinear Analysis: Real World Applications

vol. 61, 103341 23 pp., 2021

Electron. J. Differential Equations

Nonlinear Analysis: Real World Applications

Antontsev, S., H.B.de Oliveira, Kh. Khompysh 

Antontsev, S., Khompysh, Khonatbek

Antontsev, S., A.A. Papin, M.A. Tokareva, E.I. Leonova, E.A. Gridushko 

Bonheure, Denis, Casteras, Jean-Baptiste Román, Carlos 

J. Differential Equations

Int. Math. Res. Not. IMRN

Computers and Mathematics with Applications 

Nonlinearity

Chinese Ann. Math.,Series B

Chinese Ann. Math.,Series B

A frictional dynamic thermal contact problem with normal compliance and damage

A generalized complex Ginzburg-Landau equation: Global existence and stability results

Dynamics of Shadow System of a Singular Gierer–Meinhardt System on an Evolving Domain

Processing of high-resolution temporal climate data for daily simulations of a complex agro-ecosystem

Comparison of Reconstruction Methods for Water Supply Systems Flow Rate Time Series

Modular quantum computing and quantum-like devices

Tools to Characterize the Correlated Nature of Collective Dynamics

Alternative Quantum Formulations and Systems at the Classical-Quantum Border

O planeta humano: sustentabilidade e governabilidade

Travelling waves for the Brio system

The movement of a particle according to the Gurevich-Zibin dark matter model

Distributional profiles for travelling waves in the Camassa-Holm equation

Permanence for Nonautonomous Differential Systems with Delays in the Linear and Nonlinear Terms

Permanence and exponential stability for generalised nonautonomous Nicholson systems

Brittle fracture on plates governed by topological derivatives

Remarks on periodic resonant problems with nonlinear dissipation

Azevedo, A., Rodrigues, J.F., Santos, L. 

Rodrigues, J. F., Santos, L.

Carlen, E.A., Ulusoy, S. 

Carlen, E.A., Holzmann, M., Jauslin, I., Lieb, E.H.

Journal of Geometric Analysis

Linear Algebra and Its Applications

Bernardino, R.; Paias, A.

Heuristic approaches for the family traveling salesman problem

International Transactions in Operational Research, 28

262-295

Gouveia, L., McGarraghy, S., Brugha, C.M. 

Fortz, B., Gouveia, L., Büsing, C., Leitner, M. 

Fortz, B., Gouveia, L., Moura, P. 

A comparison of node-based and arc-based hop-indexed formulations for the Steiner tree problem with hop constraints

Comparison of mixed-integer relaxations with linear and logarithmic partitioning schemes for quadratically constrained problems

Pedro M. Castro 

An Effective Decomposition Algorithm for Scheduling Branched Multiproduct Pipelines

A piecewise relaxation for quadratically constrained problems based on a mixed-radix numeral system

Efficient Formulation for Transportation Scheduling of Single Refinery Multiproduct Pipelines

A Holistic MILP Model for Scheduling and Inventory Management of a Multiproduct Oil Distribution System

Arc Routing for Parking Enforcement Officers: Exact and heuristic solutions

On optimizing a multi-mode last mile parcel delivery system with vans, truck and drone

A risk-averse two-stage stochastic programming model for a joint multi-item capacitated line balancing and lot-sizing

(Data-Driven) New approaches for re-balancing an assembly line with disruptions

Solutions for districting problems with chance-constrained balancing requirements

Humanitarian Facility Location under Uncertainty: Critical Review and Future Prospects

Body morphology of biomechanical students from the Polytechnic of Leiria

A network flow-based algorithm for bus driver rerostering

A bi-objective mathematical model for integrated planning of sugarcane harvesting and transport operations

Optimizing the routes of a research vessel with an hybrid metaheuristic

An optimization approach to design forest road networks and plan timber transportation

Energetic Valorization of Cereal and Exhausted Coffee Wastes Through Anaerobic Co-digestion

Translating the agricultural N surplus hazard into groundwater pollution risk: Implications for effectiveness of mitigation measures in nitrate vulnerable zones

Determinants of sovereign debt ratings in clusters of European countries – effects of the crisis

Launcher nodes for detecting efficient influencers in social networks

Herpesviruses Serology Distinguishes Different Subgroups of Patients From the United Kingdom Myalgic Encephalomyelitis/Chronic Fatigue Syndrome Biobank

Food talk: 40-Hz fin whale calls are associated with prey biomass

Robust Models for the Kidney Exchange Problem