| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991000895449707536 |
|
|
Autore |
Smullyan, Raymond M. |
|
|
Titolo |
First-order logic / Raymond M. Smullyan |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; New York : Springer-Verlag, 1968 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 43 |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 43 = A series of modern surveys in mathematics, 0071-1136 ; 43 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910824523003321 |
|
|
Autore |
Burke Anthony J. |
|
|
Titolo |
Catalytic arylation methods : from the academic lab to industrial processes / / Anthony J. Burke and Carolina Silva Marques |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Weinheim, Germany : , : Wiley-VCH Verlag GmbH & KGaA, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-527-67274-5 |
3-527-67270-2 |
3-527-67285-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1058 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
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 |
|
Cover; Related Titles; Title Page; Copyright; Dedication; Preface; List of Abbreviations; Chapter 1: Cross-Coupling Arylations: Precedents and Rapid HistoricalReview of the Field; 1.1 Metal-Catalyzed Cross-Couplings: From Its Origins to the Nobel Prize and Beyond; 1.2 Arylation: What Is So Special?; 1.3 Recent New Developments; 1.4 Selected Experiments from the Literature; References; Chapter 2: Amine, Phenol, Alcohol, and Thiol Arylation; 2.1 Introduction; 2.2 Pd-Catalyzed Processes; 2.3 Cu-Catalyzed and Promoted Arylations: (CAr-N Bond Formation); 2.4 Fe-Catalyzed Arylations |
2.5 Ni-Catalyzed Reactions2.6 Co-Catalyzed Arylations; 2.7 Mn-Catalyzed Arylations; 2.8 Cd-Catalyzed Arylations; 2.9 Bi(III) and Indium Oxide-Catalyzed Thiol Arylations; 2.10 Conclusions and Final Comment; 2.11 Selected Experiments from the Literature; References; Chapter 3: Decarboxylative Coupling Techniques; 3.1 Introduction; 3.2 Pd-Catalyzed Versions; 3.3 Other Metal-Catalyzed Versions; 3.4 Conclusions; 3.5 Selected Experiments; References; Chapter 4: C-H Bond Activation for Arylations; 4.1 Introduction; 4.2 C(sp2)-H Activations; 4.3 Conclusions |
4.4 Selected Experiments from the LiteratureReferences; Chapter 5: Conjugate Additions; 5.1 Conjugate Additions: A Powerful Tool for Appending Organic Residues to Cyclic and Acyclic Substrates; 5.2 |
|
|
|
|
|
|
|
|
|
|
|
Applications of Rh Catalysts; 5.3 Applications of Pd Catalysts; 5.4 Applications of Ru and Other Catalysts; 5.5 Conclusions; 5.6 Selected Experiments; References; Chapter 6: Imine Arylations - Synthesis of Arylamines; 6.1 Arylation of C=N Bonds: Simple Access to Chiral Amine Units; 6.2 Application of Rh Catalysts; 6.3 Application of Pd Catalysts; 6.4 Application of Ru and Other Catalysts |
6.5 The Petasis-Akritopoulou Reaction6.6 Conclusions; 6.7 Selected Experiments; References; Chapter 7: Carbonyl Group Arylation; 7.1 Introduction; 7.2 Application of Rh Catalysts; 7.3 Application of Pd Catalysts; 7.4 Application of Ru and Other Catalysts; 7.5 Conclusions; 7.6 Selected Experiments; References; Chapter 8: α-Arylation Processes; 8.1 Introduction; 8.2 Arylation of Enolates and Equivalents; 8.3 Other Metal-Catalyzed α-Arylations; 8.4 Conclusions; 8.5 Selected Experiments; References; Chapter 9: Catalytic Cycloaddition Aromatization Processes; 9.1 Introduction |
9.2 Cycloaddition Events9.3 Radical-Based Cycloaromatization Processes; 9.4 Conclusions; 9.5 Selected Experiments from the Literature; References; Index; End User License Agreement |
|
|
|
|
|
|
Sommario/riassunto |
|
A current view of the challenging field of catalytic arylation reactions. Clearly structured, the chapters in this one-stop resource are arranged according to the reaction type, and focus on novel, efficient and sustainable processes, rather than the well-known and established cross-coupling methods.The entire contents are written by two authors with academic and industrial expertise to ensure consistent coverage of the latest developments in the field, as well as industrial applications, such as C-H activation, iron and gold-catalyzed coupling reactions, cycloadditions or novel methodologies |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910299879803321 |
|
|
Autore |
Lyczkowski Robert W |
|
|
Titolo |
The History of Multiphase Science and Computational Fluid Dynamics : A Personal Memoir / / by Robert W. Lyczkowski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 334 p. 19 illus., 4 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Mechanical Engineering Series, , 0941-5122 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Fluid mechanics |
Phase transformations (Statistical physics) |
Technology—History |
Fluids |
Engineering Fluid Dynamics |
Phase Transitions and Multiphase Systems |
History of Technology |
Fluid- and Aerodynamics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction -- 2. Cleveland State University, Cleveland 1959 – 1964 -- 3.Illinois Institute of Technology (IIT), Chicago 1964 – 1970 -- 4. The Seeds are sown by Larry Ybarrondo in a stet far away, Idaho Falls, Idaho -- 5. Project Development begins -- 6. Characteristics analysis of the one-dimensional, two-fluid partial differential equations (PDEs) developed by Chuck Solbrig and Dan Hughes -- 7. The SLOOP code development -- 8 The Characteristics Paper Caper -- 9. RETRAN is Initiated at Energy Incorporated for EPRI hiring the core SLOOP code -- 10. RELAP5 is initiated by Victor Ransom and Dick Wagner funded by Ybarrondo -- 11. USDOE Starts Code Development at S Cubed and Jaycor to Address the Energy Crisis Caused by the Oil Embargos -- 12. Reactor Safety research Group breaks from T-3 Division -- 13. IIT code begins Using Los Alamos’ K-FIX Code -- 14. METC starts MFIX Code development using FLUFIX Code -- 15. FLUENT Code Debuts at Creare, |
|
|
|
|
|
|
|
|
|
|
|
Inc. and CFX -- 16. COMMIX Code Development at Argonne National Laboratory -- 17. International Conferences and Workshops addressing Multiphase needs and Problems begin -- 18. DOE OIT Center for Multiphase Dynamics Effort begins becomes the MDFRC -- 19. Gidaspow publishes First Book “Multiphase Flow and Fluidization Continuum and Kinetic Theory Descriptions” -- 20. NETL initiates Workshops on Multiphase Flow Research later called Multiphase Flow Science -- 21. The NETL Multiphase Flow Research “Roadmap” Document and its Critique -- 22. Gidaspow publishes Second Book “Computational Techniques: The Multiphase CFD Approach and Green Energy Technologies” -- 23. Conclusion - What Does the Future Hold?. . |
|
|
|
|
|
|
Sommario/riassunto |
|
This book tells the story of how the science of computational multiphase flow began in an effort to better analyze hypothetical light water power reactor accidents, including the “loss of coolant” accident. Written in the style of a memoir by an author with 40 years’ engineering research experience in computer modeling of fluidized beds and slurries, multiphase computational fluid dynamics, and multiphase flow, most recently at Argonne National Laboratory, the book traces how this new science developed during this time into RELAP5 and other computer programs to encompass realistic descriptions of phenomena ranging from fluidized beds for energy and chemicals production, slurry transport, pyroclastic flow from volcanoes, hemodynamics of blood-borne cells, and flow of granular particulates. Such descriptions are not possible using the classical single-phase Navier-Stokes equations. Whereas many books on computational techniques and computational fluid dynamics have appeared, they do not trace the historical development of the science in any detail, and none touch on the beginnings of multiphase science. A robust, process-rich account of technologic evolution, the book is ideal for students and practitioners of mechanical, chemical, nuclear engineering, and the history of science and technology. Imparts a personal narrative tracing the critical events in the initiation, development, and propagation of multiphase science and computational fluid dynamics in its historical context; Reveals the amazing chain of incidents and coincidences but for which multiphase science and computational fluid dynamics would never have evolved; Presents in narrative form many facets of multiphase science (MPS), including sand grains, bubbles, and water droplets and how MPS differs from single-phase science; Describes the development of what came to be called the seriated loop (SLOOP) code, intend ed to replace the RELAP4 code, used to perform safety studies for and to license nuclear reactors and the politics of science that led to its demise. . |
|
|
|
|
|
|
|
| |