| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480098703321 |
|
|
Autore |
Ol'shanskii A. Yu |
|
|
Titolo |
The conjugacy problem and Higman embeddings / / A. Yu. Ol'shanskii, M. V. Sapir |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , 2004 |
|
©2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (150 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 0065-9266 ; ; Volume 170, Number 804 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Frattini subgroups |
Conjugacy classes |
Embeddings (Mathematics) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Volume 170, Number 804 (first of 4 numbers)." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""References""""Subject index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910459515903321 |
|
|
Titolo |
Harnessing renewable energy in electric power systems : theory, practice, policy / / edited by Boaz Moselle, Jorge Padilla, and Richard Schmalensee |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C. : , : RFF Press, , 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-136-52214-X |
1-282-78999-6 |
9786612789991 |
1-936331-86-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (354 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
MoselleBoaz |
PadillaJorge <1983-> |
SchmalenseeRichard |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electric power production |
Electric power production - Environmental aspects |
Electric power production - Economic aspects |
Renewable energy sources |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Harnessing Renewable Energy in Electric Power Systems; Copyright Page; Contents; About the Contributors; List of Figures and Tables; Acknowledgments; Acronyms and Abbreviations; Foreword: Günther Oettinger; Chapter 1. Toward a Low-Carbon Future in Electricity?: Boaz Moselle, Jorge Padilla, and Richard Schmalensee; Part I: Technology; Chapter 2. Renewable Energy Technologies for Electricity Generation: Godfrey Boyle; Part II: Renewables, Climate Change, and Energy Policy; Chapter 3.Renewables Forecasts in a Low-CarbonWorld: A Brief Overview: ErinT. Mansur |
Chapter 4.Renewable Generation and Security of Supply: Boaz MoselleChapter 5.Market Failure and the Structure of Externalities: Kenneth Gillingham and James Sweeney; Chapter 6.Renewable Energy, |
|
|
|
|
|
|
|
|
|
|
|
Energy Efficiency, and EmissionsTrading: José Goldemberg; Part III: Renewable Generation and Electric Power Markets; Chapter 7.Electricity Wholesale Market Design in a Low-Carbon Future: WilliamW. Hogan; Chapter 8. Energy Regulation in a Low-Carbon World: Richard Green; Chapter 9.Building Blocks: Investment in Renewable and Nonrenewable Technologies: James Bushnell |
Chapter 10.Developing a Supergrid: Christian von HirschhausenPart IV: National Experiences; Chapter 11.Renewable Electricity Generation in the United States: Richard Schmalensee; Chapter 12.The European Union's Policy on the Development of Renewable Energy: Christopher Jones; Chapter 13.UK Renewable Energy Policy since Privatization: Michael G. Pollitt; Chapter 14.Experience with Renewable Energy Policy in Germany: HannesWeigt and Florian Leuthold; Chapter 15.Renewable Electricity Support: The Spanish Experience: Luis Agosti and Jorge Padilla |
Conclusions: Whither Renewable Generation?: Boaz Moselle, Jorge Padilla, and Richard SchmaleneseeIndex |
|
|
|
|
|
|
Sommario/riassunto |
|
Reflecting its reliance on fossil fuels, the electric power industry produces the majority of the world's greenhouse gas emissions. The need for a revolution in the industry becomes further apparent given that 'decarbonization' means an increasing electrification of other sectors of the economy?in particular, through a switch from gasoline to electric vehicles. Of the options for producing electric power without significant greenhouse gas emissions, renewable energy is most attractive to policymakers, as it promises increased national self-reliance on energy supplies and the creation of new in |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144341103321 |
|
|
Titolo |
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / / edited by Farn Wang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 510 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3299 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer-aided engineering |
Computer logic |
Computers |
Computer networks |
Computers, Special purpose |
Software engineering |
Computer-Aided Engineering (CAD, CAE) and Design |
Logics and Meanings of Programs |
Information Systems and Communication Service |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
Software Engineering |
|
|
|
|
|
|
|
|
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 |
|
Keynote Speech -- Games for Formal Design and Verification of Reactive Systems -- Evolution of Model Checking into the EDA Industry -- Abstraction Refinement -- Invited Speech -- Tools for Automated Verification of Web Services -- Theorem Proving Languages for Verification -- An Automated Rigorous Review Method for Verifying and Validating Formal Specifications -- Papers -- Toward Unbounded Model Checking for Region Automata -- Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity -- Synthesising Attacks on Cryptographic Protocols -- Büchi |
|
|
|
|
|
|
|
|
|
|
|
Complementation Made Tighter -- SAT-Based Verification of Safe Petri Nets -- Disjunctive Invariants for Numerical Systems -- Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas -- Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts -- Exploiting Symmetries for Testing Equivalence in the Spi Calculus -- Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors -- Abstraction-Based Model Checking Using Heuristical Refinement -- A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata -- Design and Evaluation of a Symbolic and Abstraction-Based Model Checker -- Component-Wise Instruction-Cache Behavior Prediction -- Validating the Translation of an Industrial Optimizing Compiler -- Composition of Accelerations to Verify Infinite Heterogeneous Systems -- Hybrid System Verification Is Not a Sinecure -- Providing Automated Verification in HOL Using MDGs -- Specification, Abduction, and Proof -- Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets -- Typeness for ?-Regular Automata -- Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits -- Mutation Coverage Estimation for Model Checking -- Modular Model Checking of Software Specifications with Simultaneous Environment Generation -- Rabin Tree and Its Application to Group Key Distribution -- Using Overlay Networks to Improve VoIP Reliability -- Integrity-Enhanced Verification Scheme for Software-Intensive Organizations -- RCGES: Retargetable Code Generation for Embedded Systems -- Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets -- First-Order LTL Model Checking Using MDGs -- Localizing Errors in Counterexample with Iteratively Witness Searching -- Verification of WCDMA Protocols and Implementation -- Efficient Representation of Algebraic Expressions -- Development of RTOS for PLC Using Formal Methods -- Reducing Parametric Automata: A Multimedia Protocol Service Case Study -- Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems -- Solving Box-Pushing Games via Model Checking with Optimizations -- CLP Based Static Property Checking -- A Temporal Assertion Extension to Verilog. |
|
|
|
|
|
|
Sommario/riassunto |
|
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31– November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to start cultivating related research activities in the region. TheemphasisoftheATVAworkshopseriesisonvariousmechanicalandinformative techniques, which can give engineers valuable feedback to fast converge their designs according to the speci?cations. The scope of interest contains the following research - eas: model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated veri?cation, parametric analysis, optimization, formal perf- mance analysis, real-time systems, embedded systems, in?nite-state systems, Petri nets, UML, synthesis, tools, and practice in industry. |
|
|
|
|
|
|
|
| |