| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910544849003321 |
|
|
Autore |
Palomo Elisabet |
|
|
Titolo |
Potential of Low-Medium Enthalpy Geothermal Energy : Hybridization and Application in Industry / / by Elisabet Palomo, Antonio Colmenar-Santos, Enrique Rosales-Asensio |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (171 pages) |
|
|
|
|
|
|
Collana |
|
Green Energy and Technology, , 1865-3537 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Renewable energy sources |
Industrial engineering |
Production engineering |
Environmental engineering |
Biotechnology |
Bioremediation |
Geophysics |
Renewable Energy |
Industrial and Production Engineering |
Environmental Engineering/Biotechnology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Measures to Remove Geothermal Energy Barriers in the European Union -- Thermal desalination potential with parabolic trough collectors and geothermal energy in the Spanish southeast -- Economic and environmental benefits of geothermal energy in industrial processes -- Conclusions. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book highlights the importance of geothermal energy by studying its potential either alone or in combination with solar energy, focusing on its industrial application. Its starting point is to identify in a thorough and precise manner the barriers that hinder the implementation of geothermal energy in Spain and the European Union |
|
|
|
|
|
|
|
|
|
|
|
|
and the measures to be taken to achieve its diffusion and regular use. Next, the book looks at how geothermal energy could contribute to this sector and to the desalination industry in particular, analysing a specific case in the south of Spain and extrapolating its results to a set of existing desalination plants in the Spanish Mediterranean with really interesting results in terms of economic amortisation and CO2 emissions avoided to the atmosphere. Beyond the desalination industry, this work demonstrates that almost 85% of the industrial processes of all industry in Spain can be carried out with very low, low and medium temperature geothermal resources and even applies its results to a set of existing solar plants, comparing in economic terms the results already obtained with those that would have been obtained if geothermal energy had been applied. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143623903321 |
|
|
Titolo |
CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings / / edited by Catuscia Palamidessi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 613 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1877 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer architecture |
Programming languages (Electronic computers) |
Computer logic |
Computers |
Computer programming |
Computer networks |
Computer System Implementation |
Programming Languages, Compilers, Interpreters |
Logics and Meanings of Programs |
Computation by Abstract Devices |
Programming Techniques |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Combining Theorem Proving and Model Checking through Symbolic Analysis -- Verification Is Experimentation! -- Compositional Performance Analysis Using Probabilistic I/O Automata -- Formal Models for Communication-Based Design -- Invited Tutorials -- Programming Access Control: The Klaim Experience -- Exploiting Hierarchical Structure for Efficient Formal Verification -- From Process Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open Systems in Reactive Environments: Control and Synthesis -- Model Checking with Finite Complete Prefixes Is PSPACE-Complete -- Verifying Quantitative Properties of Continuous Probabilistic Timed Automata -- The Impressive Power of Stopwatches -- Optimizing Büchi Automata -- Generalized Model Checking: Reasoning about Partial State Spaces -- Reachability Analysis for Some Models of Infinite-State Transition Systems -- Process Spaces -- Failure Semantics for the Exchange of Information in Multi-Agent Systems -- Proof-Outlines for Threads in Java -- Deriving Bisimulation Congruences for Reactive Systems -- Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic -- Process Languages for Rooted Eager Bisimulation -- Action Contraction -- A Theory of Testing for Markovian Processes -- Reasoning about Probabilistic Lossy Channel Systems -- Weak Bisimulation for Probabilistic Systems -- Nondeterminism and Probabilistic Choice: Obeying the Laws -- Secrecy and Group Creation -- On the Reachability Problem in Cryptographic Protocols -- Secure Information Flow for Concurrent Processes -- LP Deadlock Checking Using Partial Order Dependencies -- Pomsets for Local Trace Languages -- Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs -- The Control of Synchronous Systems -- Typing Non-uniform Concurrent Objects -- An Implicitly-Typed Deadlock-Free Process Calculus -- Typed Mobile Objects -- Synthesizing Distributed Finite-State Systems from MSCs -- Emptiness Is Decidable for Asynchronous Cellular Machines -- Revisiting Safety and Liveness in the Context of Failures -- Well-Abstracted Transition Systems -- A Unifying Approach to Data-Independence -- Chi Calculus with Mismatch. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR |
|
|
|
|
|
|
|
|
|
|
conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664. |
|
|
|
|
|
| |