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.
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.
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.
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.
Rewriting Techniques and Applications
Author: Robert Nieuwenhuis
Publisher: Springer
ISBN: 3540448810
Category : Computers
Languages : en
Pages : 527
Book Description
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
Publisher: Springer
ISBN: 3540448810
Category : Computers
Languages : en
Pages : 527
Book Description
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
Practical ES6
Author: Aurelio De Rosa
Publisher: SitePoint Pty Ltd
ISBN: 1492067164
Category : Computers
Languages : en
Pages : 133
Book Description
There's no doubt that the JavaScript ecosystem changes fast. Not only are new tools and frameworks introduced and developed at a rapid rate, the language itself has undergone big changes with the introduction of ES2015 (aka ES6). Understandably, many articles have been written complaining about how difficult it is to learn modern JavaScript development these days. We're aiming to minimize that confusion with this set of books on modern JavaScript. This book provides an introduction to many of the powerful new JavaScript language features that were introduced in ECMAScript 2015, as well as features introduced in ECMAScript 2016 and 2017. It also takes a look at the features planned for ECMAScript 2018 in this rapidly evolving language. It contains: New Keywords: let and const by Aurelio de Rosa Using Map, Set, WeakMap, WeakSet by Kyle Pennell New Array.* and Array.prototype.* Methods by Aurelio de Rosa New String Methods by Aurelio de Rosa New Number Methods by Aurelio de Rosa ES6 Arrow Functions: Fat and Concise Syntax in JavaScript by Kyle Pennell Symbols and Their Uses by Nilson Jacques How to Use Proxies by Craig Buckler Destructuring Assignment by Craig Buckler ES6 Generators and Iterators: a Developer' Guide by Byron Houwens Object-oriented JavaScript: A Deep Dive into ES6 Classes by Jeff Mott Understanding ES6 Modules by Craig Buckler An Overview of JavaScript Promises by Sandeep Panda JavaScript Decorators: What They Are and When to Use Them by Graham Cox Enhanced Object Literals by Craig Buckler Introduction to the Fetch API by Ludovico Fischer ES6 (ES2015) and Beyond: Understanding JavaScript Versioning by James Wright What's New in ES2017: Async Functions, Improved Objects, and More by Craig Buckler What's New in ES2018 by Craig Buckler This book is for all front-end developers who wish to improve their JavaScript skills. You'll need to be familiar with HTML and CSS and have a reasonable level of understanding of JavaScript in order to follow the discussion.
Publisher: SitePoint Pty Ltd
ISBN: 1492067164
Category : Computers
Languages : en
Pages : 133
Book Description
There's no doubt that the JavaScript ecosystem changes fast. Not only are new tools and frameworks introduced and developed at a rapid rate, the language itself has undergone big changes with the introduction of ES2015 (aka ES6). Understandably, many articles have been written complaining about how difficult it is to learn modern JavaScript development these days. We're aiming to minimize that confusion with this set of books on modern JavaScript. This book provides an introduction to many of the powerful new JavaScript language features that were introduced in ECMAScript 2015, as well as features introduced in ECMAScript 2016 and 2017. It also takes a look at the features planned for ECMAScript 2018 in this rapidly evolving language. It contains: New Keywords: let and const by Aurelio de Rosa Using Map, Set, WeakMap, WeakSet by Kyle Pennell New Array.* and Array.prototype.* Methods by Aurelio de Rosa New String Methods by Aurelio de Rosa New Number Methods by Aurelio de Rosa ES6 Arrow Functions: Fat and Concise Syntax in JavaScript by Kyle Pennell Symbols and Their Uses by Nilson Jacques How to Use Proxies by Craig Buckler Destructuring Assignment by Craig Buckler ES6 Generators and Iterators: a Developer' Guide by Byron Houwens Object-oriented JavaScript: A Deep Dive into ES6 Classes by Jeff Mott Understanding ES6 Modules by Craig Buckler An Overview of JavaScript Promises by Sandeep Panda JavaScript Decorators: What They Are and When to Use Them by Graham Cox Enhanced Object Literals by Craig Buckler Introduction to the Fetch API by Ludovico Fischer ES6 (ES2015) and Beyond: Understanding JavaScript Versioning by James Wright What's New in ES2017: Async Functions, Improved Objects, and More by Craig Buckler What's New in ES2018 by Craig Buckler This book is for all front-end developers who wish to improve their JavaScript skills. You'll need to be familiar with HTML and CSS and have a reasonable level of understanding of JavaScript in order to follow the discussion.
A Tight, Practical Integration of Relations and Functions
Author: Harold Boley
Publisher: Springer Science & Business Media
ISBN: 9783540666448
Category : Computers
Languages : en
Pages : 188
Book Description
As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs. This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles.
Publisher: Springer Science & Business Media
ISBN: 9783540666448
Category : Computers
Languages : en
Pages : 188
Book Description
As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs. This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles.