DSpace Collection:
http://hdl.handle.net/10174/139
2024-03-29T05:39:55Z#SWI2023 DHM: The Heat Transition--Mathematical Models and Optimization
http://hdl.handle.net/10174/35086
Title: #SWI2023 DHM: The Heat Transition--Mathematical Models and Optimization
Authors: Ahsan, Muhammad; van der Bijl, Leander; Bodas, Shreehari; Buccoliero, Fabio; Chen, Yanfei; Correia, Joaquim M.C.; Hashemi, Leila; van der Hijden, Joris; Leonardi, Francesca; Lord, Gabriel; Martinez, Juan E. Machado; Tang, Zhirui; Winschermann, Leoni; Yu, Jialing
Abstract: DHM wants to derive a mathematical model for the current and potential future heating configurations of (a part of) a municipality which is able to describe the relevant decision variables (heat production, energy consumption, investment costs, … ); verify the model with data from the municipality of Rotterdam; formulate suitable optimization problems based on the derived models.
The models could serve as a tool to strategically allocate financial resources in heat transition processes and to make financial investment plans for the Rotterdam municipality, specifically in relation to the sustainable development goals for 2030 and further.2023-02-03T00:00:00ZFunctional interpretations and applications
http://hdl.handle.net/10174/33647
Title: Functional interpretations and applications
Authors: Dinis, Bruno
Abstract: Functional interpretations are maps of formulas from the language of one theory
into the language of another theory, in such a way that provability is preserved.
These interpretations typically replace logical relations by functional relations.
Functional interpretations have many uses, such as relative consistency results, conservation results, and
extraction of computational content from proofs as is the case in the so-called proof mining program.
I will present several recent functional interpretations and some results that come from these interpretations.
I will also give examples of application of functional interpretations, in the spirit of the proof mining program.2022-01-01T00:00:00ZTetra-alphabetic hypercubes and atmosphere sampling
http://hdl.handle.net/10174/33040
Title: Tetra-alphabetic hypercubes and atmosphere sampling
Authors: Monteiro, Paulo; Mexia, João Tiago; Oliveira, Manuela; Carvalho, Francisco; Andrade, Cristina
Abstract: Tetra-alphabetic hypercubes use four distinct alphabets with orthogonality between them. These
hypercubes enable balanced four-dimensional sampling. In the case of atmospheric studies, we will
consider the four dimensions as latitude, longitude, hight and time.
An application will be presented, showing the advantages of our approach to sampling obtained from
atmospheric data and it's consequences for the study under huge amounts of data, computational
procedure and quickness in obtaining results.2022-06-30T23:00:00ZMulti-alphabetic hypercubes
http://hdl.handle.net/10174/33022
Title: Multi-alphabetic hypercubes
Authors: Francisco, Carla; Mexia, João T.; Oliveira, Manuela; Carvalho, Francisco
Abstract: These hypercubes generalize the well-known Graeco-Latin squares. In one dimension m hypercube
we have pm 'points' with m coordinates taking the values 0; 1; : : : ; p 1. In each point we locate
letters from m distinct alphabets. When we vary one of the coordinates, we get all the letters
of each of the alphabets. We show, how to use vector spaces over Galois Fields to obtain such
hypercubes. Moreover, these hypercubes will constitute families of pairwise orthogonal ones. This
opens interesting possibilities in randomized systematic sampling for continuous media.2022-06-30T23:00:00Z