Activity Report of the COST Technical Committee on Materials 1997-2000
Migration -Europe's Integration and the Labour Force Brain-drain - National Report Lithuania
Refrigeration Science and Technology - Proceedings
COST Recueil des Accords Vol5 1987-88
Report to the Senior Officials by the COST Ad-hoc Working Group on Environment - Appendices
Low-Exergy In The Built Environment - Insights From The COSTeXergy ACTION 2007-2012
- Pages: 93
- Author(s): Masanori Shukuya, Hedzer van der Kooi, Herena Torio, Adriana Angelotti, Dietrich Schmidt, Adam Rybka, Yannick Vande Casteele, Lieselot Christiaen, Elisa Boelman, Poppong Sakulpipatsin, Sabine Jansen, Adriana Angelotti, Paola Caputo, Christopher Koroneos , Ioannis Kalemakis, Marco Molinari, Gudni Jóhannesson, Lukas Kranzl, Andreas Mueller, Pekka Tuominen, Bram Entrop, Alberto Lazzarotto, Jo Stefens, Zygmunt Wiercinski , Aldona Skotnicka-Siepsiak, Pier Giorgio Cesaratto, Michele De Carli, Giuseppe Emmi, Toshia Iwamatsu, Hideo Asada , Angela Simone, Mateja Dovjak, Jakub Kolarik, Lisje Schellen, Bjarne Olesen, Aleš Krainer, Jørn Toftum, Wouter van Marken Lichtenbelt, Marcel Loomans, Martin de Wit
- Publisher(s): Klimapedia
- Download PDF
This book brings together papers written by young and senior researchers who contributed to the COSTeXergy Action through participation in and organization of training schools and short term scientific missions.
Authors and their contributions span a wide range of disciplines, from building and mechanical engineering to chemistry, thermal comfort and energy economics. This diversity is reflected in a rich variety of approaches and styles in a compilation of 27 papers on exergy in the built environment.
The individual papers are clustered into five chapters, introduced by chapter editors, dealing with: (1) exergy related definitions for the built environment; (2) methodologies and tools for exergy analysis of buildings; (3) exergy as a sustainability indicator; (4) innovative
technologies, case studies; (5) methodologies and evaluation of human body exergy
consumption.
The Good, the Bad and the Unexpected
- Author(s): B. Sapio
- Publisher(s): University of Udine
- Download PDF
The user and the future of information and communication technologies
Landmarks Profiling Europe's Historic Landscapes
- Pages: 199
- Author(s): C. Bartels, M. Ruiz del Arbol, H. van Londen, A. Orejas
- Publisher(s): Selbstverlag des Deutschen Bergbau-Museums Bochum
- http://www.bergbaumuseum-shop.de/
- ISBN/ISSN: 978-3-937203-33-1
This book is one of the main outcomes of the COST Action A27 and has been programmed at the very beginning of the project. It presents examples from the broad variety of European cultural landscapes, concentrating on regions with features surviving from pre-industrial agrarian and mining activities. This action focuses on European landscape as a fundamental element of cultural and historical heritage shared by all Europeans.
Behavioural Types: from Theory to Tools
- Author(s): Simon Gay, António Ravara
- Publisher(s): River Publishers
- trustworthy manufacturing and utilization of secure devices
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software.
Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.