The current growth of urbanization rate indicates that this trend is not going to stop, and therefore, it stresses the necessity of actions for mitigating the local and global pollution. Moreover, most of the actual stock is characterized by low energy performances since it pre-dates the energy regulation. The paper aims at addressing this issue by proposing the integration of Building Simulation (BS) approach, Multi-Criteria Analysis (MCA) methods and Geographic Information System (GIS) tool for developing a new Multi-Criteria Spatial Decision Support System (MC-SDSS) in urban context. The BS of relevant building archetypes allows to identify different resolutions of energy data: hour-by-hour data can be useful for demand-side management o...
In this paper, we consider the direct kinematic problem of a parallel robot (called the Stewart plat...
AbstractOne of the most important aspect of selecting the proper natural pozzolanic material as admi...
We present issues that arose in the design of the CtCoq user-interface for proof development. Covere...
Advancements in the analysis techniques have led to a rapid accumulation of biological data in datab...
La ciudad es un espacio complejo, donde la interacción social construye formas y contenidos, originá...
Colloque avec actes et comité de lecture. internationale.International audienceWe describe Cariboo, ...
We consider a general notion of system, composed of a set of variables and a set of legal (possibly ...
Message Sequence Charts are a popular formalism for the design of distributed systems executions bas...
Bien qu'expérimentées depuis plus de trente ans, les démarches participatives dans les pays en Voie ...
The kinetics of oxidn. of 2-propanol, 2-butanol, 2-pentanol, 2-hexanol, and 2-heptanol by Na N-...
Projet COQExplicit substitutions calculi are formal systems that implement $\beta$-reduction by mean...
Projet MEVALLet $E$ be a denumerable state space, $Y_t$ be an homogeneous Markov process on $E$ with...
AbstractMultifunctional nanocomposite material is a key material component for the future. It is ind...
Iteration space tiling is a common strategy used by parallelizing compilers to reduce communication ...
Après la seconde guerre mondiale, et pendant de longues années, les politiques monétaire et budgétai...
In this paper, we consider the direct kinematic problem of a parallel robot (called the Stewart plat...
AbstractOne of the most important aspect of selecting the proper natural pozzolanic material as admi...
We present issues that arose in the design of the CtCoq user-interface for proof development. Covere...
Advancements in the analysis techniques have led to a rapid accumulation of biological data in datab...
La ciudad es un espacio complejo, donde la interacción social construye formas y contenidos, originá...
Colloque avec actes et comité de lecture. internationale.International audienceWe describe Cariboo, ...
We consider a general notion of system, composed of a set of variables and a set of legal (possibly ...
Message Sequence Charts are a popular formalism for the design of distributed systems executions bas...
Bien qu'expérimentées depuis plus de trente ans, les démarches participatives dans les pays en Voie ...
The kinetics of oxidn. of 2-propanol, 2-butanol, 2-pentanol, 2-hexanol, and 2-heptanol by Na N-...
Projet COQExplicit substitutions calculi are formal systems that implement $\beta$-reduction by mean...
Projet MEVALLet $E$ be a denumerable state space, $Y_t$ be an homogeneous Markov process on $E$ with...
AbstractMultifunctional nanocomposite material is a key material component for the future. It is ind...
Iteration space tiling is a common strategy used by parallelizing compilers to reduce communication ...
Après la seconde guerre mondiale, et pendant de longues années, les politiques monétaire et budgétai...
In this paper, we consider the direct kinematic problem of a parallel robot (called the Stewart plat...
AbstractOne of the most important aspect of selecting the proper natural pozzolanic material as admi...
We present issues that arose in the design of the CtCoq user-interface for proof development. Covere...