| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465650003316 |
|
|
Titolo |
CAAP '92 [[electronic resource] ] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / / edited by Jean-Claude Raoult |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1992.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 491 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 581 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Software engineering |
Computers |
Algorithms |
Computer logic |
Programming Techniques |
Software Engineering/Programming and Operating Systems |
Theory of Computation |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
A constructive valuation interpretation for classical logic and its use in witness extraction -- Varieties of increasing trees -- Origin functions in ?-calculus and term rewriting systems -- An algebraic approach to the interpretation of recursive types -- Decidability of reachability and disjoint union of term rewriting systems -- A complete type inference algorithm for simple intersection types -- Monadic second-order definable graph transductions -- CTL* and ECTL* as fragments of the modal ?-calculus -- Power domains supporting recursion and failure -- Parallel contraction of fibonacci trees and prefix computations on a family of interconnection topologies -- Must preorder in non-deterministic untyped ?-calculus -- A programming language for |
|
|
|
|
|
|
|
|
|
|
|
deriving hypergraphs -- Graph grammars as context-dependent rewriting systems: A partial ordering semantics -- Empty stack Pushdown ?-tree automata -- Modulo counting quantifiers over finite trees -- Finite tree automata with cost functions -- Partial type assignment in left linear applicative term rewriting systems -- A linear algorithm for solving fixed-point equations on transition systems -- Beyond conditional equations. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910743220203321 |
|
|
Titolo |
High-Energy Chemistry and Processing in Liquids / / edited by Yoshie Ishikawa, Takahiro Nakamura, Morihisa Saeki, Tadatake Sato, Teruki Sugiyama, Hiroyuki Wada, Tomoyuki Yatsuhashi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
ISBN |
|
981-16-7797-2 |
981-16-7798-0 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (353 pages) |
|
|
|
|
|
|
Collana |
|
Chemistry and Materials Science Series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Chemistry |
Nanoparticles |
Reaction mechanisms (Chemistry) |
Nanochemistry |
Laser plasmas |
Chemical reactions |
Microwaves |
Nanoparticle Synthesis |
Reaction Mechanisms |
Laser-produced Plasma |
Microwave Chemistry |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Part I: High-energy chemistry and processing of metals -- 1. Laser-induced bubble generation on excitation of gold nanoparticles -- 2. Metal and alloy nanoparticles formed by laser-induced nucleation method -- 3. Laser-induced reduction and particle formation of precious metal ions in a solution: Application to metal recovery -- 4. Synthesis of metal nano-particles induced by plasma-assisted electrolysis -- 5. Controllable surface modification of colloidal nanoparticles using laser ablation in liquids and its utilization -- Part II: High-energy processing of nonmetals -- 6. Fabrication and control of semiconductor random lasers using laser processing techniques -- 7. |
|
|
|
|
|
|
|
|
|
|
|
Formation mechanism of spherical submicrometer particles by pulsed laser melting in liquid -- 8. Mass production of spherical submicrometer particles by flow-style pulsed laser melting in liquid -- 9. Material processing for colloidal silicon quantum dot formation -- 10. Processing of transparent materials using laser-induced high-energy state in liquid -- 11. Functional nanomaterial and nanostructure synthesized by femtosecond laser pulses -- 12. Preparation of functional nanoparticles by laser process in liquid and their optical applications -- Part III: High-energy chemistry of nonmetals -- 13. Nanoscale transient laser heating and the related chemical process of organic solid -- 14. Fundamentals and applications of novel high-energy reaction fields by microwave chemistry -- 15. Study on the preparation and photocatalytic activity of the laser modified photocatalysis -- 16. Control of crystallization by intense focused laser beam -- 17. Electrocatalysts developed from ion-implanted carbon materials -- 18. Carbon nanoparticle production in plasma filaments generated by intense femtosecond laser pulses. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book focuses on chemical reactions and processing under extreme conditions—how materials react with highly concentrated active species and/or in a very confined high-temperature and high-pressure volume. Those ultimate reaction environments created by a focused laser beam, discharges, ion bombardments, or microwaves provide characteristic nano- and submicron-sized products and functional nanostructures. The book explores the chemistry and processing of metals and non-metals as well as molecules that are strongly dependent on the energy deposition processes and character of the materials. Descriptions of a wide range of topics are given from the perspective of a variety of research methodologies, material preparations, and applications. The reader is led to consider and review how a high-energy source interacts with materials, and what the key factors are that determine the quality and quantity of nanoproducts and nano-processing. |
|
|
|
|
|
|
|
| |