| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466114703316 |
|
|
Titolo |
Types for Proofs and Programs [[electronic resource] ] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / / edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 280 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3839 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Compilers (Computer programs) |
Machine theory |
Computer science—Mathematics |
Artificial intelligence |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
Formal Languages and Automata Theory |
Symbolic and Algebraic Manipulation |
Artificial Intelligence |
|
|
|
|
|
|
|
|
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 |
|
Formalized Metatheory with Terms Represented by an Indexed Family of Types -- A Content Based Mathematical Search Engine: Whelp -- A Machine-Checked Formalization of the Random Oracle Model -- Extracting a Normalization Algorithm in Isabelle/HOL -- A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis -- Formalising Bitonic Sort in Type Theory -- A Semi-reflexive Tactic for (Sub-)Equational Reasoning -- A Uniform and Certified Approach for Two Static Analyses -- Solving Two Problems in General Topology Via Types -- A Tool for Automated Theorem Proving in Agda -- Surreal Numbers in Coq -- A Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs -- |
|
|
|
|
|
|
|
|
|
|
|
|
|
Interfaces as Games, Programs as Strategies -- ?Z: Zermelo’s Set Theory as a PTS with 4 Sorts -- Exploring the Regular Tree Types -- On Constructive Existence. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910299610003321 |
|
|
Titolo |
Rechargeable Batteries : Materials, Technologies and New Trends / / edited by Zhengcheng Zhang, Sheng Shui Zhang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (710 p.) |
|
|
|
|
|
|
Collana |
|
Green Energy and Technology, , 1865-3529 |
|
|
|
|
|
|
Disciplina |
|
541.37 |
621.042 |
621.3126 |
621.3815 |
|
|
|
|
|
|
|
|
Soggetti |
|
Energy storage |
Electrochemistry |
Electronic circuits |
Energy Storage |
Electronic Circuits and Devices |
Circuits and Systems |
|
|
|
|
|
|
|
|
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 at the end of each chapters. |
|
|
|
|
|
|
Nota di contenuto |
|
Challenges of key materials for rechargeable batteries -- Olivine-based cathode materials -- Polyanion compounds as cathode materials for Li-ion batteries -- Carbonaceous anode materials -- Lithium titanate-based anode materials -- Alloy-based anode materials -- Electrolytes for lithium and lithium-ion batteries -- Additives for functional electrolytes of Li-ion batteries -- Phosphonium-based ionic liquids -- Solid-state lithium ion electrolytes -- Manufacture and surface modification of polyolefin separator -- Microstructurally composed nanoparticle assemblies as electroactive materials for lithium-ion battery electrodes -- 2D and 3D imaging of Li-ion battery materials |
|
|
|
|
|
|
|
|
|
|
|
using synchrotron radiation sources -- Hazard characterizations of Li-ion batteries: Thermal runaway evaluation by calorimetry methodology -- Li-ion battery pack and applications -- High voltage cathode materials -- Non-aqueous metal-air batteries: past, present, and future -- Oxygen redox catalyst for rechargeable lithium-air battery -- Aqueous lithium-air batteries -- Lithium-sulfur battery -- Why Grignard’s century old Nobel Prize sparks your curiosity -- Organic cathode materials for rechargeable batteries -- Recent developments and trends in redox flow batteries. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book updates the latest advancements in new chemistries, novel materials and system integration of rechargeable batteries, including lithium-ion batteries and batteries beyond lithium-ion, and addresses where the research is advancing in the near future in a brief and concise manner. The book is intended for a wide range of readers from undergraduates, postgraduates to senior scientists and engineers. In order to update the latest status of rechargeable batteries and predict near research trend, we plan to invite the world leading researchers who are presently working in the field to write each chapter of the book. The book covers not only lithium-ion batteries but also other batteries beyond lithium-ion, such as lithium-air, lithium-sulfur, sodium-ion, sodium-sulfur, magnesium-ion, and liquid flow batteries. . |
|
|
|
|
|
|
|
| |