| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465499803316 |
|
|
Titolo |
Foundations of Software Science and Computational Structures [[electronic resource] ] : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / / edited by Andrew D. Gordon |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 440 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2620 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Theory of Computation |
Software Engineering/Programming and Operating Systems |
Logics and Meanings of Programs |
Software Engineering |
Programming Languages, Compilers, Interpreters |
Computation by Abstract Devices |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Paper -- A Game Semantics for Generic Polymorphism -- Contributed Papers -- Categories of Containers -- Verification of Probabilistic Systems with Faulty Communication -- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes -- Ambiguous Classes in the Games ?-Calculus Hierarchy -- Parameterized Verification by Probabilistic Abstraction -- Genericity and the ?-Calculus -- Model Checking Lossy Channels Systems Is Probably Decidable -- Verification of Cryptographic Protocols: Tagging Enforces Termination -- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions -- When Ambients Cannot Be Opened |
|
|
|
|
|
|
|
|
|
|
|
|
|
-- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time -- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity -- Manipulating Trees with Hidden Labels -- The Converse of a Stochastic Relation -- Type Assignment for Intersections and Unions in Call-by-Value Languages -- Cones and Foci for Protocol Verification Revisited -- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems -- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard -- A Game Semantics of Linearly Used Continuations -- Counting and Equality Constraints for Multitree Automata -- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete -- A Monadic Multi-stage Metalanguage -- Multi-level Meta-reasoning with Higher-Order Abstract Syntax -- Abstraction in Reasoning about Higraph-Based Systems -- Deriving Bisimulation Congruences: 2-Categories Vs Precategories -- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the ?Calculus. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910961096503321 |
|
|
Autore |
Banerjee Sudeshna Ghosh <1973-> |
|
|
Titolo |
Power and people : : the benefits of renewable energy in Nepal / / Sudeshna Ghosh Banerjee, Avjeet Singh, Hussain Samad |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C. : , : World Bank, , 2011 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
xix, 112 pages : illustrations ; ; 25 cm |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
SinghAvjeet |
SamadHussain A. <1963-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Rural electrification - Nepal |
Renewable energy sources - Nepal |
Rural development - Nepal |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Acronyms and Abbreviations; Acknowledgments; Executive Summary; Figures; Tables; 1. A Long Road to Expanding Rural Access; |
|
|
|
|
|
|
|
|
|
|
|
2. Objectives and Methodology of a Monitoring Framework Design for Renewable Energy; 3. Coverage and Attributes of Micro-Hydro for Households and Enterprises; 4. Benefits of Electrification to Rural Households; Boxes; 5. Implementation of the Management Information System (MIS); 6. Action Plan and Way Forward for AEPC; References; Annexes |
|
|
|
|
|
|
Sommario/riassunto |
|
This report is an output of the technical assistance activity carried out over 2008-2010 to Alternative Energy Promotion Center (AEPC), which is the nodal renewable energy agency of Nepal. This study has been designed to establish a monitoring system for AEPC to continually measure the results of the renewable energy programs against the targets and to organize an evaluation system that measures the impact of micro-hydro installations on rural livelihoods. Given AEPC's highly visible role, the need to develop a system that provides information on a wide range of technical, operational, and fin |
|
|
|
|
|
|
|
| |