Publication
Climatic Affinities or Type As A Structure Of Relations Based On Typological Transfer In The Work Of Lacaton & Vassal And Other Similar Precedents
Related publications (34)
Altitude: architecture et environnement de haute montagne
At the centre of the research is the preservation of the countryside which is highlighted and studied through an architectural approach which focuses on cabins in the high mountains. The projects must reflect upon territorial, global and sustainable aspect ...
EPFL2016What Have We Unlearned Since the Early Days of the Process Movement?
The vision brought forth by Michael Hammer in the late 1980s was to save struggling American companies by getting them to focus on the creation of value for clients by reorganizing their operations and structure around the use of IT systems. This was the B ...
Springer2016Query Rewriting in RDF Stream Processing
Querying and reasoning over RDF streams are two increasingly relevant areas in the broader scope of processing structured data on the Web. While RDF Stream Processing (RSP) has focused so far on extending SPARQL for continuous query and event processing, s ...
Springer2016An Evaluation of Diversification Techniques
Karl Aberer, Quoc Viet Hung Nguyen, Thành Tâm Nguyên
Diversification is a method of improving user satisfaction by increasing the variety of information shown to user. Due to the lack of a precise definition of information variety, many diversification techniques have been proposed. These techniques, however ...
Springer2015Sound Compilation of Reals
Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...
ACM2014Decision Procedures for Program Synthesis and Verification
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
EPFL2011POP-C++ and Alpine3D: Petition for a New HPC Approach
Michael Lehning, Mathias Thierry Pierre Bavay, Pierre Kuonen
In the developed world, an ever better and finer understanding of the processes leading to natural hazards is expected. This is in part achieved using the invaluable tool of numerical modeling, which offers the possibility of applying scenarios to a given ...
Information Science Reference2010Contaminazioni linguistiche
In contemporary debates about sustainable development, vernacular architecture plays an important role. Presenting itself as a dictionary of man’s constructive logic, it declares with no uncertainty its own usefulness, its connection to the soil, to the cl ...
EPFL2009High-Level Design and Analysis of Business Processes. The Advantages of Declarative Specifications
Gil Regev, Alain Wegmann, Irina Rychkova
Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...
2008High-level design and analysis of business processes the advantages of declarative specifications
Gil Regev, Alain Wegmann, Irina Rychkova
Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...
2008