- Logic, Geometry and Dynamical Systems
- Nonlinear Analysis and Differencial Equations
- Operations Research and Optimization
Logic, Geometry and Dynamical Systems |
---|
Papers in international journals / books / book chapters / book editors
Authors | Title | Journal |
---|---|---|
Carriço, N.; Ferreira, B.; Barreira, R.; Antunes, A.; Grueau, C.; Mendes, A.; Covas, D.; Monteiro, L.; Santos, J.; Brito, I. S. | Data integration for infrastructure asset management in small to medium-sized water utilities | Water Science & Technology, 82(12) |
Buescu, J.; Paixão, A. C. | The measure transition problem for meromorphic polar functions | Analysis and Mathematical Physics, 10(4) |
Dinis, B.; Pinto, P. | On the convergence of algorithms with Tikhonov regularization terms | Optimization Letters, 15 |
Dinis, B.; Pinto, P. | Metastability of the proximal point algorithm with multi-parameters | Portugaliae Mathematica, 77(3/4) |
Alishah, H. N.; Duarte, P.; Peixe, T. | Asymptotic Poincare maps along the edges of polytopes | Nonlinearity, 33(1) |
Duarte, P.; Klein, S. | Large deviations for products of random two dimensional matrices | Communications in Mathematical Physics, 375(3) |
Duarte, P.; Torres, M. J. | Isospectral reduction in infinite graphs | Journal of Spectral Theory, 10(3) |
Ferreira, F. | Weak König’s lemma in herbrandized classical second-order arithmetic | Portugaliae Mathematica, 77 (3/4) |
Ferreira, F. | The FAN principle and weak König's lemma in herbrandized second-order arithmetic | Annals of Pure and Applied Logic, 171(9) |
Espírito Santo, J.; Ferreira, G. | A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism | Studia Logica, 108 |
Espírito Santo, J. Ferreira, G. | The Russell-Prawitz embedding and the atomization of universal instantiation | Logic Journal of the IGPL, 29(5) |
Florentino, C.; Zamora, N. A. | Serre polynomials of SLn-and PGLn-character varieties of free groups | Journal of Geometry and Physics, 161 |
Fiorot, L. Monteiro Fernandes, T. Sabbah, C. | Relative regular Riemann-Hilbert correspondence | Proceedings of the London Mathematical Society |
Ramos, J.; Rasga, J.; Sernadas, C. | Essential structure of proofs as a measure of complexity | Logica Universalis, 14 |
Nonlinear Analysis and Differencial Equations |
---|
Papers in international journals / books / book chapters / book editors
Operations Research and Optimization |
---|
Papers in international journals / books / book chapters / book editors
Authors | Title | Journal |
---|---|---|
Carvalho, A. S.; Captivo, M. E.; Marques, I. | Integrating the ambulance dispatching and relocation problems to maximize system’s preparedness | European Journal of Operational Research, 283(3) |
Castro, P. M.; Ave, G. D.; Engell, S.; Grossmann, I.; Harjunkoski, I. | Industrial Demand Side Management of a Steel Plant Considering Alternative Power Modes and Electrode Replacement | Industrial Engineering and Chemistry Research, 59 |
Merkert, L.; Castro, P. M. | Optimal Scheduling of a District Heat System with CHP Plant considering Pipeline Dynamics | Industrial & Engineering Chemistry Research 59(13) |
Uribe-Rodriguez, A.; Castro, P. M. Guillén-Gosálbez, G.; Chachuat, B. | Global Optimization of Large-scale MIQCQPs via Cluster Decomposition: Application to Short–Term Planning of an Integrated Refinery–Petrochemical Complex | Computers & Chemical Engineering, 140(2) |
Carvalho, M.; Klimentova, X.; Glorie, K. Viana, A.; Constantino, M. | Robust Models for the Kidney Exchange Problem | INFORMS Journal on Computing, 33(3) |
Neto, T.; Constantino, M.; Martins, I.; Pedroso, J. P. | A multi-objective Monte Carlo tree search for forest harvest scheduling | European Journal of Operational Research, 282(3) |
Bektaş, T.; Gouveia, L.; Santos, D. | Compact formulations for multi-depot routing problems: Theoretical and computational comparisons | Computers & Operations Research,124 |
Gouveia, L.; Leitner, M.; Ruthmair, M.; Sadykov, R. | Corrigendum to “Extended Formulations and Branch-and-Cut Algorithms for the Black-and-White Traveling Salesman Problem” [European Journal of Operational Research, 262(3) 2017, 908–928] | European Journal of Operational Research, 285(3) |
Gouveia, L.; Leitner, M.; Ljubić. | A polyhedral study of the diameter constrained minimum spanning tree problem | Discrete Applied Mathematics, 285 |
Santos, M.; Mouriño, H.; Moita, M. T.; Silva, A.; Amorim, A.; Oliveira , P. B. | Characterizing phytoplankton biomass seasonal cycles in two NE Atlantic coastal bays | Continental Shelf Research, 207 |
Martins, P. | Planning Production and Workforce in a Discrete-Time Financial Model Using Scenarios Modeling | SN Operations Research Forum, 1 |
Esgalhado, F.; Batista, A. G; Mouriño, H.; Russo, S.; dos Reis, C. R. P.; Serrano, F.; Vassilenko, V.; Ortigueira, M. D. | Automatic Contraction Detection Using Uterine Electromyography | Applied Sciences, 10(20) |
Esgalhado, F., Batista, A. G; Mouriño, H., Russo, S., dos Reis, C. R. P., Serrano, F. Vassilenko, V., Ortigueira, M. D. | Uterine contractions clustering based on electrohysterography | Computers in Biology and Medicin, 123 |
Corberán, A.; Landete, M.; Peiró, J. Saldanha-da-Gama, F. | The facility location problem with capacity transfers | Transportation Research Part E: Logistics and Transportation Review , 38 |
Diglio, A.; Nickel, S.; Saldanha-da-Gama, F. | Towards a stochastic programming modeling framework for districting | Annals of Operations Research, 292 |