Author: Aart Middeldorp
Publisher: Springer Science & Business Media
ISBN: 3540421173
Category : Computers
Languages : en
Pages : 373
Book Description
Transmission electron microscopy (TEM) is now recognized as a crucial tool in materials science. This book, authored by a team of expert Chinese and international authors, covers many aspects of modern electron microscopy, from the architecture of novel electron microscopes, advanced theories and techniques in TEM and sample preparation, to a variety of hands-on examples of TEM applications. Volume II illustrates the important role that TEM is playing in the development and characterization of advanced materials, including nanostructures, interfacial structures, defects, and macromolecular complexes.
Rewriting Techniques and Applications
Author: Aart Middeldorp
Publisher: Springer Science & Business Media
ISBN: 3540421173
Category : Computers
Languages : en
Pages : 373
Book Description
Transmission electron microscopy (TEM) is now recognized as a crucial tool in materials science. This book, authored by a team of expert Chinese and international authors, covers many aspects of modern electron microscopy, from the architecture of novel electron microscopes, advanced theories and techniques in TEM and sample preparation, to a variety of hands-on examples of TEM applications. Volume II illustrates the important role that TEM is playing in the development and characterization of advanced materials, including nanostructures, interfacial structures, defects, and macromolecular complexes.
Publisher: Springer Science & Business Media
ISBN: 3540421173
Category : Computers
Languages : en
Pages : 373
Book Description
Transmission electron microscopy (TEM) is now recognized as a crucial tool in materials science. This book, authored by a team of expert Chinese and international authors, covers many aspects of modern electron microscopy, from the architecture of novel electron microscopes, advanced theories and techniques in TEM and sample preparation, to a variety of hands-on examples of TEM applications. Volume II illustrates the important role that TEM is playing in the development and characterization of advanced materials, including nanostructures, interfacial structures, defects, and macromolecular complexes.
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Author: Manfred Broy
Publisher: Springer Science & Business Media
ISBN: 9783540605898
Category : Computers
Languages : en
Pages : 468
Book Description
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Publisher: Springer Science & Business Media
ISBN: 9783540605898
Category : Computers
Languages : en
Pages : 468
Book Description
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
The Elevator Constructor
Author:
Publisher:
ISBN:
Category : Elevators
Languages : en
Pages : 572
Book Description
Publisher:
ISBN:
Category : Elevators
Languages : en
Pages : 572
Book Description
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Author:
Publisher: Lulu.com
ISBN: 0978849302
Category : Automatic theorem proving
Languages : en
Pages : 150
Book Description
Publisher: Lulu.com
ISBN: 0978849302
Category : Automatic theorem proving
Languages : en
Pages : 150
Book Description
Computer Science Logic
Author: Egon Börger
Publisher: Springer Science & Business Media
ISBN: 9783540557890
Category : Computers
Languages : en
Pages : 444
Book Description
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.
Publisher: Springer Science & Business Media
ISBN: 9783540557890
Category : Computers
Languages : en
Pages : 444
Book Description
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.
Foundational and Practical Aspects of Resource Analysis
Author: Marko van Eekelen
Publisher: Springer
ISBN: 3642153313
Category : Computers
Languages : en
Pages : 172
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.
Publisher: Springer
ISBN: 3642153313
Category : Computers
Languages : en
Pages : 172
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.
Normalization and Partial Evaluation of Functional Logic Programs
Author: Björn Peemöller
Publisher: BoD – Books on Demand
ISBN: 3744821927
Category : Computers
Languages : en
Pages : 301
Book Description
The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.
Publisher: BoD – Books on Demand
ISBN: 3744821927
Category : Computers
Languages : en
Pages : 301
Book Description
The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.
Frontiers of Combining Systems
Author: Boris Konev
Publisher: Springer Nature
ISBN: 3030862054
Category : Computers
Languages : en
Pages : 314
Book Description
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Publisher: Springer Nature
ISBN: 3030862054
Category : Computers
Languages : en
Pages : 314
Book Description
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Mathematical Knowledge Management
Author: Andrea Asperti
Publisher: Springer Science & Business Media
ISBN: 3540364692
Category : Computers
Languages : en
Pages : 233
Book Description
This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
Publisher: Springer Science & Business Media
ISBN: 3540364692
Category : Computers
Languages : en
Pages : 233
Book Description
This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
Rewriting and Typed Lambda Calculi
Author: Gilles Dowek
Publisher: Springer
ISBN: 3319089188
Category : Mathematics
Languages : en
Pages : 506
Book Description
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.
Publisher: Springer
ISBN: 3319089188
Category : Mathematics
Languages : en
Pages : 506
Book Description
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.