Books published by Springer

1 Zustandsregelungen.- 2 Modale Regelungen konzentrierter Systeme.- 3 Regelungen mit Zustandsbeobachtern.- 4 Abtastregelungen.- 5 Mehrgrößenregelungen.- 6 Regelungen örtlich verteilter Systeme.- 7 Ordnungsreduzierung.- 8 Optimierung technischer Prozesse.- 9 Optimale Regler fester Struktur.- 10 Optimale Steuerungen und Regelungen bei freier Struktur.- 11 Regelungen unter stationär zufälligen Bewegungen.- 12 Regelungen mit stochastisch optimaler Vorhersage. Kaiman-Filter.- 13 Nichtlineare Regelungen allgemeiner Art. Fuzzy Regelung.- 14 Nichtlineare Regelungen in der Zustandsebene.- 15 Grenzzyklennäherung durch Beschreibungsfunktion.- 16 Frequenzkennlinien für unstetige Regelungen.- 17 Stabilität nichtlinearer Regelungen.- 18 Adaptive und neuronale Regelungen.- 19 Robuste Regelungen.- 20 Optimale Regelungen für zeitvariante Prozesse.- 21 Dezentrale Regelungen.- A Verzeichnis häufig verwendeter Formelzeichen.- A.1 Allgemeine Hinweise.- A.2 Verknüpfungssymbole.- A.3 Hochgestellte Symbole u. dgl.- A.4 Indizes.- A.5 Operationszeichen.- A.6 Symbole spezieller Art.- B Literaturverzeichnis.- C Sachverzeichnis.

This book presents a collection of high-quality research papers accepted to multi-conference consisting of the 13th International Conference on Image Processing and Communications (IP&C 2023), the 13th International Conference on Computer Recognition Systems (CORES 2023) held jointly in Wroclaw, Poland (virtually), in June 2023.The accepted papers address current computer science and computer systems-related technological challenges and solutions, as well as many practical applications and results.The first part of the book deals with advances in pattern recognition and classifiers, the second part is devoted to image processing and computer vision, while the third part addresses practical applications of computer recognition systems.We believe this book will be interesting for researchers and practitioners in many fields of computer science and IT applications.

This is an introductory textbook for courses in Synchronous Digital Design that enables students to develop useful intuitions for all of the key concepts of digital design. The author focuses this tutorial on the design flow, which is introduced as an iterative cycle of Analysis, Improvement, Modeling, and Synthesis. All the basic elements of digital design are covered, starting with the CMOS transistor to provide an abstraction upon which everything else is built. The other main foundational concepts introduced are clocked synchronous register-transfer level design, datapath, finite state machines and communication between clock domains.

This book synthesizes perspectives on how ¿place¿ is deeply intertwined with our spirituality and well-being. Split into three sections, this book brings together contributions from global scholars across a range of disciplines to unravel how the personal, social, and cultural spheres of place shape our spiritual experiences and overall well-being. It is an essential read for those interested in enriching their knowledge of the linkages between place, spirituality, and well-being, while also providing a foundation for future research on place and its intersections with both spirituality and well-being.

This book highlights the applications and theory of artificial intelligence in the domain of cybersecurity. The book proposes new approaches and ideas to present applications of innovative approaches in real-time environments. In the past few decades, there has been an exponential rise in the application of artificial intelligence technologies (such as deep learning, machine learning, blockchain) for solving complex and intricate problems arising in the domain of cybersecurity. The versatility of these techniques has made them a favorite among scientists and researchers working in diverse areas. This book serves as a reference for young scholars, researchers, and industry professionals working in the field of Artificial Intelligence and Cybersecurity.

1: Future Communication Networks Using Software Agents.- 2: Agents of Change in Future Communication Systems.- 3: A Multi-Agent System Architecture for Scalable Management of High Performance Networks: Applying Arms Length Autonomy.- 4: Distributed Intelligent Agents: A Solution for the Management of Complex Telecommunications Services.- 5: Organization and Coordination for On-Line Routing in Communications Networks.- 6: Multi-Agent Interactions for a Network Management System (Tele-Macs Approach).- 7: Resource Adaptation for a Scalable Agent Society in the MoTiV-PTA Domain.- 8: Economic Agents for Automated Trading.- 9: Agent-Oriented Middleware for Integrating Customer Network Services.- 10: Cooperative Distributed Problem Solving for Communication Network Management.- 11: Mobile Software Agents for Control in Telecommunications Networks.- 12: Cooperating Mobile Agents for Dynamic Network Routing.- 13: Minimal Agents for Communications Network Routing: The Social Insect Paradigm.- 14: Grasshopper - An Agent Platform for Mobile Agent-Based Services in Fixed and Mobile Telecommunications Environments.- 15: Mobile Agents for Managing Networks: The MAGENTA Perspective.

Humans pose an unprecedented threat to life in all its great diversity of forms. The human-induced extinction rate has been compared to "mass extinctions" of the past. But this language masks the fact that the crisis is due to voluntary, and thus, avoidable choices and actions. "Speaking of Forms of Life" shows that at the root of this crisis is the tragic inadequacy of the language predominantly used to represent and address what we are doing, including the language of "sustainable development," "rights" for animals and the rest of nature, their "intrinsic value," and conservation of species as "populations." This talk alienates us from the other living things, from what they actually are, have and do, and it perpetuates the harm and loss. Campagna and Guevara compellingly argue, on rigorous but accessible grounds, that there is an alternative language to guide conservation, in confronting the radically urgent, ethical issues it faces. This is a language with which we are all familiar, mastered by naturalists, from Aristotle to Audubon. It articulates the primary value in life and the standard that must guide how human beings should live, as one form of life, among countless others. This book is a homecoming for those who practice conservation to, above all else, secure a creature's ability to satisfy the necessities of its form of life. "This is an essential book for anyone who cares about conservation and is concerned about the frightening pace of extinctions. The great theme of the book is the importance of the language in which we think and talk about living beings. Daniel Guevara and Claudio Campagna make available for conservationists the ground-breaking work of Philippa Foot and Michael Thompson on natural goodness and on our thought about living beings. They show how it can be brought to bear on the threats that confront conservation and on disputes that may seem irresolvable. I recommend Speaking of Forms of Life as strongly as I can."Cora Diamond, William R. Kenan, Jr. Professor Emerita of Philosophy, Professor of Law, and University Professor, University of Virginia "Our current conservation language is shot through with economic platitudes that don't explain anyone's real motives for conserving biodiversity. Campagna and Guevara's new book lays out a convincing alternative, grounding conservation goals in the objective goodness of life's many ways of flourishing. Speaking of Forms of Life is inspiring, informative, well-grounded in the relevant philosophy and conservation literatures but never pedantic. Both activists and thinkers will find much of value in Speaking of Forms of Life."Philip Cafaro, Professor of Philosophy, Colorado State University "Speaking of Forms of Life" helps us confront the fact that language often obscures, rather than facilitates, our understanding of living things. Our language reflects past misperceptions, current ignorance, and our shockingly limited intellectual ability to comprehend where we are in space and time, and who we are with on this strange planet with its soap-bubble coating of life. The language in use has abetted, and accelerated the catastrophic course we daily continue to choose. "Speaking of Forms of Life" shows us why and how this must change. It's a crucial revelation that we must heed, because our species alone can consider changing course--and our species alone must do so.Carl Safina, MacArthur Fellow Carl Safina Research Chair for Nature and Humanity, Stony Brook University "Our biosphere is a miracle. Communicating the sense of awe and wonder that it instills in many of us is essential to shift from wanton destructionof our natural world for short term economic profit to health and prosperity for all creatures - including us humans. Speaking of Forms of Life is the first book that unveils how the way we speak to each other affects the way we value and care for our planet. An essential read for everyone who cares about the future of nature and humanity."Enric Sala, National Geographic Explorer in Residence and Hubbard Medalist

This volume highlights the latest advances, innovations, and applications in the field of metal forming, as presented by leading international researchers and engineers at the 14th International Conference on Technology of Plasticity (ICTP), held in Mandelieu-La Napoule, France on September 24-29, 2023. It covers a diverse range of topics such as manufacturing processes & equipment, materials behavior and characterization, microstructure design by forming, surfaces & interfaces, control & optimization, green / sustainable metal forming technologies, digitalization & AI in metal forming, multi-material processing, agile / flexible metal forming processes, forming of non-metallic materials, micro-forming and luxury applications. The contributions, which were selected by means of a rigorous international peer-review process, present a wealth of exciting ideas that will open novel research directions and foster multidisciplinary collaboration among different specialists.

This textbook and reference provides a comprehensive treatment of additive manufacturing (AM) for metals, including design and digital work flows, process science and reliability, metallic systems, quality assurance, and applications. The book is rooted in the fundamental science necessary to develop and understand AM technologies, as well as the application of engineering principles covering several disciplines to successfully exploit this important technology. As additive manufacturing of metals is the fastest growing subset of this transformative technology, with the potential to make the widest impact to industrial production, Metals Additive Manufacturing: Design, Processes, Materials, Quality Assurance, and Applications is ideal for students in a range of engineering disciplines and practitioners working in aerospace, automotive, medical device manufacturing industries.

This book offers the latest research results on analog side channels and their usage in cybersecurity. It demystifies analog side channels and demonstrates new use cases for them. The first part of this book discusses how analog side channels are generated, the physics behind it, the modeling and measurements of analog side channels, and their analogies to wireless communication systems. The second part of this book introduces new applications that benefit from leveraging side channels. In addition to breaking cryptography algorithms, it demonstrates how analog side channels can be used for malware detection, program profiling, hardware profiling, hardware/software attestation, hardware identification, and hardware Trojan detection.Side channel is one of the methods for obtaining information about program execution. Traditionally, they are used in computer science to extract information about a key in cryptographic algorithms. What makes them different from other ways of extracting information about program execution is that side channels rely on how a system implements program execution, rather than what the program's algorithm specifies. Analog side channels are particularly powerful because they are not easy to suppress or detect that someone is collecting information from the system. Although they are very powerful tools, they are poorly understood.This book targets advanced level students in computer science and electrical engineering as a textbook. Researchers and professionals working with analog side channels, how to model them, measure them, improve signal to noise ratio, and invent new signal processing techniques can also use this book. Computer scientists and engineers who want to learn new applications of side channels to improve system security, new techniques for breaking cryptography keys, new techniques for attestation, and new techniques for hardware Trojan detection will also want to purchase this book.

1. Projekte und Projektmanagement 2. Multiprojektmanagement und Entscheidungsfindung 3. Konzept- und Kostenmanagement 4. Ablauf- und Terminplanung 5. Systemgestaltung und Reifegradbewertung 6. Kooperations- und Lieferantenmanagement 7. Realisierungsbeispiele und Erfahrungen

1 Aufgaben, Wirkungsweise und Bedeutung von Lagerungen.- 1.1 Funktionsweise.- 1.2 Geschichtlicher Rückblick.- 1.3 Lagerarten.- 2 Tribologische Grundlagen und Kenngrößen der Schmierstoffe.- 2.1 Reibung und Verschleiß.- 2.1.1 Reibungsarten.- 2.1.2 Reibungszustände.- 2.1.3 Stribeck-Kurve.- 2.2 Schmierstoffe.- 2.2.1 Aufgaben und Einteilung der Schmierstoffe.- 2.2.1.1 Aufgaben.- 2.2.1.2 Einteilung.- 2.2.2 Kenngrößen von Schmierstoffen.- 2.2.2.1 Viskosität und Dichte.- 2.2.2.2 Thermische Kenngrößen von Schmierstoffen.- 2.2.3 Viskositätsklassifikation der Schmieröle.- 2.2.3.1 ISO-Normöle.- 2.2.3.2 SAE-Klassifikation.- 2.2.3.3 Weitere Motorenöl-Klassifikationen.- 2.2.4 Additive für Motorenöle.- 2.2.5 Prüfung von Motorenölen, Gebrauchtöl-Eigenschaften.- 2.2.5.1 Motorenölprüfung.- 2.2.5.2 Veränderung von Motorenölen im Gebrauch.- 3 Schmiersysteme von Verbrennungsmotoren.- 3.1 Funktion und Bestandteile von Schmiersystemen.- 3.2 Schmierstoffpumpen.- 3.3 Schmierstoffilter und Filtersysteme.- 3.3.1 Anforderungen.- 3.3.2 Filterbauarten.- 3.4 Schmierölkühlung.- 3.5 Steuerungs- und Sicherheitsbauteile.- 3.6 Schmiersysteme unterschiedlicher Motorentypen.- 3.6.1 PKW-Motoren.- 3.6.2 LKW- und kleinere Industrie-Motoren.- 3.6.3 Mittelschnell laufende Motoren.- 3.6.4 Motorradmotoren und schnell laufende Zweitaktmotoren.- 4 Die Lagerung von Verbrennungsmotoren und ihre Belastung.- 4.1 Dynamisch beanspruchte Gleitlager.- 4.2 Lager des Kurbeltriebes.- 4.2.1 Kolbenbolzenlager.- 4.2.2 Pleuellager.- 4.2.3 Grundlager.- 4.2.4 Weitere Lagerstellen.- 4.3 Kräftezerlegung.- 4.3.1 Kolbenbolzenlager.- 4.3.2 Pleuellager.- 4.3.3 Grundlager.- 4.4 Berechnungsmethoden bei Mehrzylindermotoren.- 5 Hydrodynamische Berechnung von Verbrennungsmotoren-Gleitlagern.- 5.1 Theoretische Grundlagen.- 5.1.1 Druckaufbau durch Tangentialbewegung (Keildruck).- 5.1.2 Druckaufbau durch Radialbewegung (Verdrängungsdruck).- 5.2 Berechnung der Wellenverlagerungsbahn.- 5.2.1 Ausgangspunkt und Berechnungsverfahren.- 5.2.2 Verfahren der überlagerten Tragkräfte.- 5.3 Berechnung der Reibungsleistung.- 5.4 Berechnung der Öldurchsatzmenge.- 5.5 Wärmebilanz.- 5.6 Maximaler Schmierfilmdruck.- 5.7 Umwandlung der raumfesten in körperfeste Koordinaten.- 5.7.1 Grundlager.- 5.7.2 Pleuellager.- 5.7.3 Kolbenbolzenlager.- 5.8 Winkelgeschwindigkeiten der Lager eines Kurbeltriebes.- 5.9 EDV-Paket zur Auslegung dynamisch beanspruchter Radialgleitlager.- 5.10 Elastohydrodynamische Lagerberechnung - EHD.- 5.10.1 Vorteile und Aussagefähigkeit der elastohydrodynamischen Berechnung.- 5.10.2 Theoretische Grundlagen der EHD-Berechnungsmethode.- 5.10.3 Vergleich der Berechnungs- und Meßergebnisse.- 6 Auslegung von Verbrennungsmotorenlagerungen.- 6.1 Auslegungskenngrößen und ihre Optimierung.- 6.1.1 Betriebszustand (Lagerbelastung).- 6.1.2 Lagerabmessungen.- 6.1.3 Schmierstoff und Schmierung.- 6.2 Optimierung der Einflußgrößen - Optimalauslegung.- 6.2.1 Bedeutung und Möglichkeiten.- 6.2.2 Beurteilungsgrößen für eine Optimalauslegung, übliche Grenzwerte.- 6.2.3 Einfluß des relativen Lagerspieles.- 6.2.4 Einfluß von Ölzuführungstemperatur und -druck.- 6.2.5 Art und Lage der Schmierstoffzuführung.- 6.2.6 Steifigkeit von Kurbelwelle, Lager und lagerumgebenden Bauteilen.- 6.2.7 Einfluß der Kurbelwellengestaltung (Massenausgleich).- 6.3 Schlußfolgerungen für die Lagerauslegung aus der Anwendung von EDV-Programmpaketen.- 7 Konstruktive Gestaltung von Lagern.- 7.1 Lagerbauarten und konstruktive Details.- 7.1.1 Lagerbuchsen.- 7.1.2 Dünnwandige Lagerschalen mit und ohne Anlaufring.- 7.1.3 Schmierstoffzuführungselemente.- 7.1.4 Axiallager.- 7.2 Lagerschalenpreßsitz.- 7.3 Grobgestaltung - Rückwirkung der Lagerumgebung auf die Lagerparameter.- 7.4 Feingestaltung von Lagern.- 7.4.1 Kleines Pleuelauge.- 7.4.2 Kolbenbolzenaugen.- 7.4.3 Großes Pleuelauge.- 7.4.4 Grundlager und Anordnung der Ölbohrungen in den Kurbelwellen.- 7.4.5 Nockenwellenlager.- 7.4.6 Ausgleichswellenlager

The area of detection and estimation in a distributed wireless sensor network (WSN) has several applications, including military surveillance, sustainability, health monitoring, and Internet of Things (IoT). Compared with a wired centralized sensor network, a distributed WSN has many advantages including scalability and robustness to sensor node failures. In this book, we address the problem of estimating the structure of distributed WSNs. First, we provide a literature review in: (a) graph theory; (b) network area estimation; and (c) existing consensus algorithms, including average consensus and max consensus. Second, a distributed algorithm for counting the total number of nodes in a wireless sensor network with noisy communication channels is introduced. Then, a distributed network degree distribution estimation (DNDD) algorithm is described. The DNDD algorithm is based on average consensus and in-network empirical mass function estimation. Finally, a fully distributed algorithm forestimating the center and the coverage region of a wireless sensor network is described. The algorithms introduced are appropriate for most connected distributed networks. The performance of the algorithms is analyzed theoretically, and simulations are performed and presented to validate the theoretical results. In this book, we also describe how the introduced algorithms can be used to learn global data information and the global data region.

1 Grundlagen der Dynamik regelungstechnischer Systeme.- 1.1 Allgemeine Zielsetzung der Regelungstechnik.- 1.2 Regelkreis.- 1.3 Voraussetzungen für Blockorientierung und Regelkreisbildung.- 1.4 Aufgaben der Regelungstechnik.- 1.5 Übertragungsfunktion und Regelungssystemtheorie.- 1.6 Anfangsbedingungen und Nullstellen der Übertragungsfunktion.- 1.7 Ausgangssignal Xa(s) bei x a(k)(0?)=0.- 1.8 Nichtverschwindende Vorgeschichte xa(k)(0?)?0.- 1.9 Analyse im Spektralbereich. Verknüpfung mehrerer Elemente.- 1.10 Regelstrecke und Störgrößen.- 1.11 Einschleifiger Standardregelkreis.- 1.12 Sensitivität.- 1.13 Differentielle Sensitivität für den Standardregelkreis.- 1.14 Linearisierung.- 1.15 Regelkreis im Signalflußdiagramm.- 1.16 Spezielle Elemente regelungstechnischer Systeme.- 1.16.1 Rationale Übertragungselemente.- 1.16.2 Totzeit-Elemente.- 1.16.3 Allpaß-Elemente.- 1.16.4 Laufzeitelemente.- 2 Regelkreisanalyse im Zeitbereich.- 2.1 Regelkreis-Reaktion auf einfache Signale.- 2.2 Mehrfache Polstellen von Xa(s).- 2.3 Näherung für kleine Zeitwerte.- 2.4 Näherung für große Zeitwerte.- 2.5 Faltungsintegral und Näherung durch Faltungssumme.- 2.6 Regelungen mit Totzeitelementen.- 3 Formulierung kontinuierlicher Regelungssysteme im Zustandsraum.- 3.1 Grundlagen.- 3.2 Transitionsmatrix (Fundamentalmatrix).- 3.3 Potenzreihenentwicklung der Transitionsmatrix.- 3.4 Zustandsregler. Führungs- und Störungsverhalten.- 3.5 Vorfilterbemessung.- 4 Analyseverfahren im Frequenzbereich.- 4.1 Frequenzgang.- 4.2 Ortskurven des Frequenzgangs.- 4.3 Ortskurven von typischen stabilen Regelkreis-Element en.- 4.4 Ortskurven instabiler Regelkreiselemente.- 4.5 Frequenzgangsortskurve des Regelkreises.- 4.6 Ermittlung von Zeitbereichssignalen aus dem Frequenzbereich.- 4.7 Ermittlung des Frequenzganges aus der gemessenen Systemantwort.- 4.8 Bode-Diagramm.- 4.9 Phasenminimum-Beziehungen.- 4.10 Knickstellen der Regelschleife und des Regelkreises.- 4.11 H?-Norm einer Übertragungsfunktion.- 5 Regelstrecken im Regelkreis.- 5.1 Antriebe. Allgemeines.- 5.2 Stromrichtergespeiste Gleichstromantriebe.- 5.3 Stromleitverfahren.- 5.4 Begrenzungsregelung.- 5.5 Kupplungselastizität.- 5.6 Umrichtergespeiste Asynchronmaschine.- 5.7 Thermische Regelstrecken.- 5.7.1 Durchlauferhitzer, Wärmetauscher.- 5.7.2 Kessel und Turbine.- 5.8 Hydraulische Regelstrecken.- 5.9 Pneumatische Regelstrecke.- 5.10 Mechanische Positionsregelstrecken.- 5.10.1 Einfache Fahrzeuglenkung.- 5.10.2 Balancierung.- 5.10.3 Passagierflugzeug.- 5.10.4 Raketenantrieb.- 5.11 Verfahrenstechnische Regelstrecken.- 5.12 Elektronische und nachrichtentechnische Regelstrecken.- 5.12.1 Verstärkungsausgleich.- 5.12.2 Scharfabstimmung.- 5.12.3 Zeilensynchronisierung.- 5.12.4 Rauschunterdrückung.- 5.13 Phase-Locked Loops (PLL).- 5.13.1 Phase-Locked Loop in analoger Ersatzrechnung.- 5.13.2 Regelungen an einem CD-Player.- 5.14 Schaltzeichen (Sinnbilder) für technische Regelstrecken.- 5.15 Volkswirtschaftliche Regelungen.- 5.16 Physiologische und psychische Regelkreise.- 5.17 Soziologische Regelungen.- 6 Stellglieder und Verstärker.- 6.1 Stromrichterstellglieder.- 6.2 Umrichter für Drehfeldmaschinen.- 6.3 Stellmotoren für mechanische Positionierung.- 6.4 Stellglieder für Flüssigkeits-, Gasströme u. körnige Stoffe.- 6.5 Schaltzeichen für Stellglieder und Verstärker.- 7 Regelungstechnischer Einsatz von Sensoren und Meßumformern.- 7.1 Anforderungen.- 7.2 Meßrauschen.- 7.3 Leistung eines Rauschsignales.- 8 Identifikationsverfahren.- 8.1 Auswertung der Sprungantwort von PDT1-Elementen.- 8.2 Auswertung der Sprungantwort von PT2-Elementen.- 8.3 Wendetangentenmethode bei PT2-Elementen.- 8.4 Auswertung der Sprungantwort von IT1-Elementen.- 8.5 Momentenmethode an der Gewichtsfunktion.- 8.6 Identifikation mit Hilfsregler.- 8.7 Identifikation mit fiktivem Serienelement.- 8.8 Regressionsanalyse. Quadratische Ausgleichsrechnung.- 9 Regler. Ausführung und Dimensionierung.- 9.1 Operationsverstärker.- 9.2 Elektr

From facial recognition to self-driving cars, the applications of computer vision are vast and ever-expanding. Geometry plays a fundamental role in this discipline, providing the necessary mathematical framework to understand the underlying principles of how we perceive and interpret visual information in the world around us. This text explores the theories and computational techniques used to determine the geometric properties of solid objects through images. It covers the basic concepts and provides the necessary mathematical background for more advanced studies. The book is divided into clear and concise chapters covering a wide range of topics including image formation, camera models, feature detection and 3D reconstruction. Each chapter includes detailed explanations of the theory as well as practical examples to help the reader understand and apply the concepts presented. The book has been written with the intention of being used as a primary resource for students on university courses in computer vision, particularly final year undergraduate or postgraduate computer science or engineering courses. It is also useful for self-study and for those who, outside the academic field, find themselves applying computer vision to solve practical problems. The aim of the book is to strike a balance between the complexity of the theory and its practical applicability in terms of implementation. Rather than providing a comprehensive overview of the current state of the art, it offers a selection of specific methods with enough detail to enable the reader to implement them.

History and early investigation on mode of action of peroxi- dizing herbicides; Structural evolution and synthesis of di- phenyl ethers, cyclic imides and related compounds; Recent advances in peroxidizing herbicides (patent overview); Structure/activity relationship and molecular design of her- bicides with cyclic imide and related structures; Structure /activity relationship of diphenyl ethers and other oxygen- bridged protoporphyrinogen oxidase inhibitors; General phy- siological characteristics and mode of action of peroxidi- zing herbicides; Metabolic modification of isoimide-type per oxidizing compounds; The metabolic pathway of tetrapyrrole biosynthesis; Characteristics of protoporphyrinogen oxidase; Assay systems for peroxidizing herbicides; Herbicidal effi- cacy of protoporphyrinogen oxidase inhibitors; Antagonizing peroxidizing herbicides; Strategy for peroxidizing herbicide resistant crops; Metabolism and degradation of porphyrin biosynthesis inhibitor herbicides; Toxicology of peroxidi- zing herbicides to mammals and non-target organisms

Challenges to Achieving Accurate Three-Dimensional Process Simulation.- Modeling Nano-Structure Devices.- About Boltzmann Equations for Transport Modeling in Semiconductors.- Applied TCAD in Mega-Bits Memory Design.- Process Flow Representation within the VISTA Framework.- A Powerful TCAD System Including Advanced RSM Techniques for Various Engineering Optimization Problems.- Modeling of VLSI MOSFET Characteristics Using Neural Networks.- Coupling a Statistical Process-Device Simulator with a Circuit Layout Extractor for a Realistic Circuit Simulation of VLSI Circuits.- Simulation of Self-Heating Effects in a Power p-i-n Diode.- Impact of Cell Geometries and Electrothermal Effects on IGBT Latch-Up in 2D-Simulation.- On the Influence of Thermal Diffusion and Heat Flux on Bipolar Device and Circuit Performance.- 2-D Electrothermal Simulation and Failure Analysis of GTO Turn-off with Complete Chopper Circuit Parasitics.- 3D Thermal/Electrical Simulation of Breakdown in a BJT Using a Circuit Simulator and a Layout-to-Circuit Extraction Tool.- Nonlocal Oxide Injection Models.- Electron Transport in Silicon Dioxide at Intermediate and High Electric Fields.- Efficient and Accurate Simulation of EEPROM Write Time and its Degradation Using MINIMOS.- Influence of Oxide-Damage on Degradation-Effects in Bipolar-Transistors.- The Application of Sparse Supernodal Factorization Algorithms for Structurally Symmetric Linear Systems in Semiconductor Device Simulation.- Newton-GMRES Method for Coupled Nonlinear Systems Arising in Semiconductor Device Simulation.- Practical Use of a Hierarchical Linear Solver Concept for 3D MOS Device Simulation.- Further Improvements in Nonsymmetric Hybrid Iterative Methods.- Rigorous Microscopic Drift-Diffusion Theory and its Applications to Nanostructures.- Atomistic Evaluation of Diffusion Theories for the Diffusion of Dopants in Vacancy Gradients.- Self Diffusion in Silicon Using the Ackland Potential.- Three-Dimensional Numerical Simulation for Low Dopant Diffusion in Silicon.- 3-D Diffusion Models for Chemically-Amplified Resists Using Massively Parallel Processors.- Improvement of Initial Solution Projection in Solving General Semiconductor Equations Including Engery Transport.- A Numerical Implementation of the Energy Balance Equations Based on Physical Considerations.- Construction of Stable Discretization Schemes for the Hydrodynamic Device Model.- Three-Dimensional Implementation of a Unified Transport Model.- Mixed-Mode Multi-Dimensional Device and Circuit Simulation.- Modeling High Concentration Boron Diffusion with Dynamic Clustering: Influence of the Initial Conditions.- Simulation of High-Dose Ion Implantation-Induced Transient Diffusion and of Electrical Activation of Boron in Crystalline Silicon.- Physical Modeling of the Enhanced Diffusion of Boron Due to Ion Implantation in Thin Base npn Bipolar Transistors.- Simulation of Denuded Zone Formation in CZ Silicon.- A Closed Hydrodynamic Model for Hot-Carrier Transport in Submicron Semiconductor Devices.- Critical Assessment of Different Hydrodynamical Models for Avalanche Multiplication Calculation in Silicon Bipolar Transistors.- Dual Energy Transport Model with Coupled Lattice and Carrier Temperatures.- Inclusion of Electron-Electron Scattering in the Spherical Harmonics Expansion Treatment of the Boltzmann Transport Equation.- Quantitative 2D Stress Dependent Oxidation with Viscoelastic Model.- Oxidation Simulation and Growth Kinetics of Thin SiO2 in Pure N2O.- Accurate Simulation of Mechanical Stresses in Silicon During Thermal Oxidation.- Mechanical Stress Simulation During Gate Formation of MOS Devices Considering Crystallization-Induced Stress of p-Doped Silicon Thin Films.- Monte Carlo Simulation of Carrier-Carrier Interaction for Silicon Devices.- Monte Carlo MOSFET Simulator Including Inversion Layer Quantization.- Three-Dimensional Monte Carlo Simulation of Submicronic Devices.- Monte Carlo Analysis of Voltage Fluctuations in Two-Te...

This book explores the profound and ancient relationship between music and astronomy. Throughout history, Music has occupied a significant place among the disciplines of the Quadrivium, which also include Geometry, Arithmetic, and Astronomy. The captivating bond between these two realms has not only inspired eminent scientists like Kepler, Newton, and Einstein, but has also captured the imagination of NASA and astronauts in modern times. The author delves into various aspects of the intersection between music and astronomy, encompassing everything from ancient cosmological beliefs to groundbreaking discoveries such as the cosmic background radiation and gravitational waves. This enthralling theme has not only stimulated renowned artists like David Bowie and Elton John, but has also served as a muse for movies like Close Encounters of the Third Kind. Within the book, readers will find an extensive photo gallery and a specially curated soundtrack that enhances the reading experience. It caters to a broad audience, appealing to those with a general interest in both music and astronomy, as well as to specialized individuals in either field of study.

Micro fabrication for process intensification.- Microstructures for smart reactors: Precision performance in industrial production.- Microfluidics and microtechnology for microreactor systems.- Micromachined straight-through silicon microchannel array for mono-dispersed microspheres.- Development of a cooled microreactor for platinum catalyzed ammonia oxidation.- Microchemical systems for direct fluorination of aromatics.- Design, fabrication and experimental study of new compact mini heat-exchangers.- Development of a self-heating catalytic microreactor.- Preparation of microchannel palladium membranes by electrolysis.- Heating concepts for ceramic microreactors.- Design and fabrication of zeolite-containing microstructures.- New process for manufacturing ceramic microfluidic devices for microreactor and bioanalytical applications.- Macroscale production of microsystems.- Prediction of the potential of microreactors for heterogeneously catalysed gas phase reactions.- Microchannel reactors for kinetic measurement: Influence of diffusion and dispersion on experimental accuracy.- A vertically-averaged formulation of wall catalytic reactions in microchannel flows: single isothermal & non-isothermal reactions.- Intensification in microstructured unit operations: Performance comparison between mega and microscale.- A new microstructure device for fast temperature cycling for chemical reactions.- Photochemical reactions and online product detection in microfabricated reactors.- Chaotic mixing in electrokinetically and pressure driven micro flows.- Filamentous catalytic beds for the design of a membrane microreactor: Propane dehydrogenation as a case study.- Characterization of a gas/liquid microreactor, the micro bubble column: Determination of specific interfacial area.- Visualization of flow patterns and chemical synthesis in transparent Micromixers.- Forced periodic temperature oscillations in microchannel reactors.- Comparison of Ag/AI- and Ag/?-AI2O3 catalytic surfaces for the partial oxidation of ethene in microchannel reactors.- Monodispersed droplet formation caused by interfacial tension from microfabricated channel array.- Investigation of microfluidics and heat transferability inside a microreactor array made of glass.- Sub-watt power using an integrated fuel processor and fuel cell.- Catalytic microreactor systems for hydrogen generation.- Palladium based micro-membrane for water gas shift reaction and hydrogen gas separation.- Demonstration of energy efficient steam reforming in microchannels for automotive fuel processing.- A microstructure reactor system for the controlled oxidation of hydrogen for possible application in space.- Catalyst coating in microreactors for methanol steam reforming: Kinetics.- A microreactor for in-situ hydrogen production by catalytic methanol Reforming.- Applications for micro chemical and thermal systems.- Mixing simulation of a zigzag microchannel: A step towards the methoxylation of methyl-2-furoate.- Fuel processor development for a soldier-portable fuel cell system.- MiRTH-e: Micro reactor technology for hydrogen and electricity.- Microreactors as tools in chemical research.- MicroChannel reactor for the partial oxidation of isoprene.- Selective oxidation of 1 -butene to maleic anhydride - comparison of the performance between microchannel reactors and a fixed bed reactor.- Application of a micromixer for the high throughput screening of fluid-liquid Molecular catalysis.- A novel cross-flow microreactor for kinetic studies of catalytic processes.- A new microreactor for the solution-phase synthesis of potential drugs.- Investigation, analysis and optimization of exothermic nitrations in Microreactor processes.- Development of a microreactor for solid phase synthesis.- Catalysts and reaction conditions screening by microreactor devices for exhaust gas purification.- Liquid phase hydrogenation of p-nitrotoluene in microchannel reactors.- Monitoring of chemical processes in microreact...

1.1 Was ist Typographie?.- 1.2 Typographie als Handwerk.- 1.3 Die Schrift.- Schrift.- 2.1 Das Schriftzeichen.- 2.2 Zeichenmaße.- 2.3 Serifen.- 2.4 Das einzelne Zeichen (die Letter).- 2.5 Schrifteneinteilung.- 2.6 Schriftnamen innerhalb einer Schnittfamilie.- 2.7 Spezialzeichen und Spezialschnitte.- 2.8 Laufweiten, Zeichenabstände.- 2.8.1 Unterschneiden.- 2.8.2 Ligaturen.- 2.9 Schriftauszeichnung.- 2.10 Wortabstände.- 2.11 Zeilenabstand und Durchschuß.- 2.12 Satzausrichtung.- 2.13 Initialen.- 2.14 Formsatz.- Maßangaben in der Typographie.- 3.1 Typographische Maßeinheiten.- 3.1.1 Kegel- und Versalhöhen.- 3.1.2 Maßangaben im DTP.- 3.1.3 Weitere typographische Maße.- Der Satzspiegel.- 4.1 Proportionen der Seite.- 4.2 Festlegen des Satzspiegels.- 4.2.1 Stege beim Satzspiegel.- 4.2.2 Gestaltungsraster.- 4.3 Stilelemente im Satzspiegel.- 4.3.1 Schriftgrößen.- 4.3.2 Absatzuntergliederung.- 4.3.3 Grauwert einer Seite.- 4.3.4 Fußnoten und Marginalien.- 4.4 Feinkorrekturen.- 4.4.1 Absatzumbruch.- 4.4.2 Worttrennungen.- 4.4.3 Ästhetikprogramme.- Die Schrift zum Text.- 5.1 Aussage einer Schrift.- 5.2 Werkschriften.- 5.3 Überschriften / Headlines.- 5.4 Welche Schrift zu welchem Zweck?.- 5.5 Mischen von Schriften.- 5.6 Ausnahmen.- Schreibregeln.- 6.1 Zahlensatz.- 6.2 Absatz-Numerierung.- 6.3 Abkürzungen.- 6.4 Unterschiedliche Anführungszeichen.- 6.5 Zwischenräume.- 6.6 Verschiedene Textstriche.- Tabellensatz.- 7.1 Reihensatz oder Tabelle.- 7.2 Tabellenkomponenten.- 7.3 Tabellenkonzeption.- 7.4 Tabellengliederung.- 7.5 Besondere Situationen.- 7.6 Diagramm statt Tabelle.- 7.7 Tabelle statt Liste.- Abbildungen.- 8.1 Anordnung von Abbildungen.- 8.2 Linienstärken.- 8.3 Geeigneter Detaillierungsgrad.- 8.4 Schrift in Abbildungen.- 8.5 Randbeschnitt.- 8.6 Halbtonbilder und Raster.- 8.6.1 Rasterzerlegung.- 8.6.2 Bildqualität in Farbtiefe.- 8.6.3 Technische Raster.- 8.6.4 Tonwertzuwachs.- 8.7 Komprimieren - aber richtig.- 8.8 Farbe in Dokumenten.- 8.8.1 Der Einsatz von Farben.- 8.8.2 Stimmung und Wirkung von Farben.- 8.8.3 Farben im Farbkreis.- 8.8.4 Farbharmonie.- 8.8.5 Farben in Diagrammen und Graphiken.- 8.8.6 Farben an das Ausgabemedium adaptieren.- Von Zahlen zu Diagrammen.- 9.1 Verschiedene Diagrammarten.- 9.1.1 Kreisdiagramme.- 9.1.2 Balkendiagramme.- 9.1.3 Stabdiagramme.- 9.1.4 Figurendiagramme.- 9.1.5 Liniendiagramme.- 9.1.6 Netzdiagramme.- 9.2 Dreidimensionale Diagramme.- 9.3 Skalen.- 9.4 Weitere Regeln bei Diagrammen.- Präsentationen.- 10.1 Vorüberlegungen zu Präsentationen.- 10.2 Von der Information zur Präsentation.- 10.3 Präsentationsmedien.- 10.4 Gliederung der Folien.- 10.5 Schrift in Folien.- 10.6 Makro- und Mikrotypographic in Präsentationen.- 10.6.1 Typo-Orthographie - Schreibregeln.- 10.6.2 Eine sorgfältige Vorlage ist die halbe Arbeit.- 10.7 Graphiken in Folien.- 10.7.1 Bilder als symbolischer Hintergrund.- 10.7.2 Funktionsgraphiken.- 10.7.3 Weitere Prinzipien bei Graphiken.- 10.8 Überblendeffekte und Animationen.- 10.9 Weitere Tips für Präsentationen.- Der Standardbrief.- 11.1 DIN-Brief.- 11.2 Umschläge und Falzarten.- Von der Seite zum Buch.- 12.1 Arbeitsablauf einer Publikation.- 12.2 Die Teile eines Buchs.- 12.3 Titelei.- 12.3.1 Der Schmutztitel.- 12.3.2 Der Haupttitel.- 12.3.3 Impressum.- 12.3.4 Inhaltsverzeichnis.- 12.3.5 Vor- oder Geleitwort.- 12.4 Anhang.- 12.4.1 Bibliographie.- 12.4.2 Glossar.- 12.4.3 Register.- 12.5 Einband.- Satz und Korrektur.- 13.1 Satzanweisungen.- 13.2 Korrekturen, Korrekturzeichen.- Das Belichten.- 14.1 Die Belichtung.- 14.2 PostScript, PDF oder Dokument?.- 14.2.1 PostScript-Dateien.- 14.2.2 Adobe Acrobat - PDF.- 14.2.3 Dokumenten-Dateien.- 14.3 Schriften beim Belichten.- 14.4 Graphiken und Bilder.- 14.5 Angaben zum Belichten.- 14.6 Raster beim Belichten.- 14.7 Belichten von Farben.- 14.8 Belichtungsformular.- 14.9 Proof - Probedruck.- Drucken und Binden.- 15.1 Verschiedene Druckverfahren.- 15.2 Druck-Vorbereitungen.- 15.2.1 Belichten des Films.- 15.2.2 Ausschießen.-

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques.The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider¿s appraisal of the French school¿s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents ¿some remarks on dependent type theory¿. Part C begins with Patrick Cousot¿s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers ¿ten choices in language design¿ for object-oriented programming, distinguishing between ¿right¿ and ¿wrong¿ resolutions of these issues and explaining the rationale behind Eiffel¿s decisions.This book will be of special interest to anyone with an interest in modern views of programming ¿ on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification¿ ¿ and in the insights of a brilliant group of innovators in the field.

This Open access book provides a survey of the economic, health, and somatic progress of Baltic countries during the period 1918-2018, framed by the outline of the historical-sociological theory of modern social restorations, as originally conceived by the Austrian-American comparative historian Robert A. Kann. The author reworks Kann's theory to analyse post-communist transformations in the Baltic region. The book argues that the purpose of modern social restorations is to make restoration societies safe against a recurrence of revolution. There were two waves of modern social restorations: post-Napoleonic and post-communist. Most post-Napoleonic restorations were brief, because they failed to economically and socially outperform the pre-revolutionary and post-revolutionary systems. It considers Baltic restorations as laboratory cases of second-wave modern social restorations, because they encompass a triple restoration of the nation-state, capitalism, and democracy. The book assesses the performance success of Baltic restorations by comparing economic and social progress of Baltic countries during the periods of original independence (1918-1940), foreign-imposed state socialism (1940-1990), and restored independence (since 1990). It then elaborates the criteria to assess the ultimate performance success of these restorations by 2040, when restored Baltic states may endure longer than their ancestors in 1918-1940 and the complete foreign occupations era (1940-1990). The author, an expert in historical sociology, uses extensive historical-statistical data in cross-time comparisons to develop his analysis and create future projections. This book is of wide interest to sociologists, social demographers, political scientists, and economists studying the Baltic region. This is an open access book.

This book gathers research and best-practices concerning the achievement of sustainable development goals in both community generation and business growth. It highlights the organizational aspects relating to the realization of green innovation. It covers models for optimizing the use of both natural and human resources. It reports on assessment methods and advanced models to analyze community and business performance in the context of sustainable development. Further, it proposes solutions to reduce the effects of environmental pollution, increase energy efficiency, and managing resources and waste, to foster sustainable development. Gathering the proceedings of the 2nd International Conference on Sustainable, Circular Management and Environmental Engineering (ISCMEE 2022), held on October 19-20, 2022, as a hybrid event from ¿zmir, Turkey, this book offers a timely snapshot on circular business management knowledge and methods for both researchers and professionals in the field of engineering management, business and economics, and energy and environment.