Skip to main content
Elsevier

Books in Physical sciences and engineering

  • VLSI Electronics

    Microstructure Science
    • 1st Edition
    • Volume 4
    • Norman G. Einspruch
    • English
    VLSI Electronics: Microstructure Science, Volume 4 reviews trends for the future of very large scale integration (VLSI) electronics and the scientific base that supports its development. This book discusses the silicon-on-insulator for VLSI and VHSIC, X-ray lithography, and transient response of electron transport in GaAs using the Monte Carlo method. The technology and manufacturing of high-density magnetic-bubble memories, metallic superlattices, challenge of education for VLSI, and impact of VLSI on medical signal processing are also elaborated. This text likewise covers the impact of VLSI technology on the design of intelligent measurement instruments and systems. This volume is valuable to scientists and engineers who wish to become familiar with VLSI electronics, device designers concerned with the fundamental character of and limitations to device performance, systems architects who will be charged with tying VLSI circuits together, and engineers conducting work on the utilization of VLSI circuits in specific areas of application.

  • Surface and Interface Effects in VLSI

    • 1st Edition
    • Volume 10
    • Norman G. Einspruch + 1 more
    • English
    VLSI Electronics Microstructure Science, Volume 10: Surface and Interface Effects in VLSI provides the advances made in the science of semiconductor surface and interface as they relate to electronics. This volume aims to provide a better understanding and control of surface and interface related properties. The book begins with an introductory chapter on the intimate link between interfaces and devices. The book is then divided into two parts. The first part covers the chemical and geometric structures of prototypical VLSI interfaces. Subjects detailed include, the technologically most important interface, Si-SiO2 and the interplay between interface chemistry and the causes for metal-semiconductor contact behavior, primarily in the III-Vs. The following section deals primarily with the electronic properties of interfaces. Under this section, compound semiconductors, semiconductor-semico... interface, constraints that the microscopic interface places on architectures involving metal-semiconductor (MESFET), "Ohmic" contacts, and the behavior of very small, high-speed devices are discussed extensively. The final chapter shows that the Si - SiO2 interface can play a major role in determining carrier transport when MOSFETS are scaled down to ULSI dimensions. Engineers, designers, and scientists will find the book very useful.

  • Advances in Space Science and Technology

    • 1st Edition
    • Volume 10
    • Frederick I. Ordway
    • English
    Advances in Space Science and Technology, Volume 10 provides information pertinent to the developments in space science and technology. This book discusses the logistic and shelter construction, environment, and transportation aspects of Antarctic and lunar exploration. Organized into five chapters, this volume begins with an overview of the comparison of the lunar exploration program with the exploration of Antarctica. This text then explores the surface geology of the planet Mars wherein the study emphasizes that water erosion transport does not exist, that an oxidizing atmosphere is absent, and that wind erosion must be minimal. Other chapters consider the problems associated with navigation aboard spaceships traveling between the stars. This book discusses as well the inadequacy of space communication systems as a means of providing an instantaneous and uninterrupted service. The final chapter deals with predictions about the utility of space flight. This book is a valuable resource for readers who are interested in space science and technology.

  • Lithography for VLSI

    VLSI Electronics Microstructure Science
    • 1st Edition
    • Volume 16
    • Norman G. Einspruch + 1 more
    • English
    VLSI Electronics Microstructure Science, Volume 16: Lithography for VLSI treats special topics from each branch of lithography, and also contains general discussion of some lithographic methods. This volume contains 8 chapters that discuss the various aspects of lithography. Chapters 1 and 2 are devoted to optical lithography. Chapter 3 covers electron lithography in general, and Chapter 4 discusses electron resist exposure modeling. Chapter 5 presents the fundamentals of ion-beam lithography. Mask/wafer alignment for x-ray proximity printing and for optical lithography is tackled in Chapter 6. Chapters 7 and 8 on metrology deal with the characterization of lithography by measurements of various types. Engineers, scientists, and technical managers in the semiconductor industry, and engineering and applied physics faculty and graduate students will find the text very useful.

  • Advances in Control Systems

    Theory and Applications
    • 1st Edition
    • Volume 1
    • C. T. Leondes
    • English
    Advances in Control Systems: Theory and Applications, Volume 1 provides information pertinent to the significant progress in the field of automatic control. This book presents several fundamental approaches to algorithms for the determination of optimum control inputs to a system. Organized into six chapters, this volume begins with an overview of the optimal method of controlling a given system with respect to the given criterion of performance. This text then summarizes some of the basic results of the maximum principle and illustrates how they may be exploited in control system studies. Other chapters consider the fundamental approach underlying almost all the existing works on the control of distributed parameter systems. This book discusses as well some important concepts in the theory of optimal control. The final chapter deals with the problem of controlling processes under the condition of uncertain changes in the process to be controlled. This book is a valuable resource for practicing engineers, applied mathematicians, and scientists.

  • Advances in Space Science and Technology

    • 1st Edition
    • Volume 11
    • Frederick I. Ordway
    • English
    Advances in Space Science and Technology, Volume 11 provides information pertinent to the developments in space science and technology. This book presents the advances in both solar and cosmic X-ray astronomy, all made possible by instruments carried in high altitude balloons, in rockets, and in orbiting satellites. Organized into eight chapters, this volume begins with an overview of solar X-ray phenomena. This text then examines the aspect of manned space flight, with focus on nutrition for astronaut flight crews. Other chapters consider how oxygen may be secured as a result of electrolyzing lunar rocks. This book discusses as well the significance of the Skylab experiments in the context of their disciplines and the part they play in the continuing evolution of space operations. The final chapter deals with the educational satellite, which is one of the most challenging of all practical applications of space technology. This book is a valuable resource for readers who are interested in space science and technology.

  • Advances in Cell Culture

    • 1st Edition
    • Volume 1
    • Karl Maramorosch
    • English
    Advances in Cell Culture, Volume 1 is a compendium of critical reviews in the field of cell culture. The chapters in the book are prepared by recognized authorities in their specialized fields. The text deals with all the aspects of cell culture, which includes the growth of individual cells or cell populations, the growth of small fragments of explanted tissue, the growth of organs, and the growth of obligate parasites in cell culture systems. This volume contains research papers that discuss vertebrate, invertebrate, and plant cell culture, as well as the cultivation of obligate parasites. The book also focuses on specific topics in cell culture such as the past and future developments in the field of genetic manipulation; evaluation of antiviral compounds in cell cultures with acute or persistent virus infections; propagation of malaria parasites in vitro; regulation of plant organogenesis; and insect cells for insect virus production. Cell biologists and researchers who use in vitro techniques will find the book highly informative and insightful.

  • VLSI and Computer Architecture

    • 1st Edition
    • Volume 20
    • Ravi Shankar + 1 more
    • Norman G. Einspruch
    • English
    VLSI Electronics Microstructure Science, Volume 20: VLSI and Computer Architecture reviews the approaches in design principles and techniques and the architecture for computer systems implemented in VLSI. This volume is divided into two parts. The first section is concerned with system design. Chapters under this section focus on the discussion of such topics as the evolution of VLSI; system performance and processor design considerations; and VLSI system design and processing tools. Part II of the book focuses on the architectural possibilities that have become cost effective with the development of VLSI circuits. Topics on architectural requirements and various architectures such as the Reduced Instruction Set, Extended Von Neumann, Language-Oriented, and Microprogrammable architectures are elaborated in detail. Also included are chapters that discuss the evaluation of architecture, multiprocessing configurations, and the future of VLSI. Computer designers, those evaluating computer systems, researchers, and students of computer architecture will find the book very useful.

  • Advances in Control Systems

    Theory and Applications
    • 1st Edition
    • Volume 5
    • C. T. Leondes
    • English
    Advances in Control Systems: Theory and Applications, Volume 5 provides information pertinent to the significant progress in the field of control and systems theory and applications. This book presents the problem of the optimal control of a system. Organized into six chapters, this volume begins with an overview of the fundamental conditions in the calculus of variations that are basic to the optimal control problem. This text then examines one of the basic problems in control and systems theory in general. Other chapters consider a number of rather basic results in optimal nonlinear filtering and describe the characteristic function of the state of vector of a nonlinear system. This book discusses as well a significant application area of control and systems theory, which is the optimal control of nuclear reactors. The final chapter deals with optimal control with bounds on the state variables. This book is a valuable resource for practicing engineers.

  • Advances in Software Science and Technology

    • 1st Edition
    • Yoshio Ohno + 2 more
    • English
    Advances in Software Science and Technology, Volume 2 provides information pertinent to the advancement of the science and technology of computer software. This book discusses the various applications for computer systems. Organized into four parts encompassing 12 chapters, this volume begins with an overview of categorical frameworks that are widely used to represent data types in computer science. This text then provides an algorithm for generating vertices of a smoothed polygonal line from the vertices of a digital curve or polygonal curve whose position contains a certain amount of error. Other chapters consider a system that automatically synthesizes a program from a specification written in natural language. The final chapter deals with the rules for submission of English papers that will be published, which includes papers that are reports of academic research by members of the Society. This book is a valuable resource for scientists and research workers.

  • Advances in Control Systems

    Theory and Applications
    • 1st Edition
    • Volume 6
    • C. T. Leondes
    • English
    Advances in Control Systems: Theory and Applications, Volume 6 provides information pertinent to the significant progress in the field of control and systems theory and applications. This book presents the higher level of automata, which represent the embodiment of the application of artificial intelligence techniques to control system design and may be described as self-organizing systems. Organized into four chapters, this volume begins with an overview of the existing technology in learning control system. This text then demonstrates how to apply artificial intelligence techniques to the designs of off-line and on-line learning control systems. Other chapters consider the decomposition methods and the associated multilevel optimization techniques applicable to control system optimization problems. This book discusses as well the complex optimal system control problems applied to the trajectory optimization problem. The final chapter deals with systems described by partial differential equations. This book is a valuable resource for control system engineers.

  • Concurrent Engineering Techniques and Applications

    Advances in Theory and Applications
    • 1st Edition
    • Volume 62
    • C. T. Leondes
    • English
    Concurrent Engineering Techniques and Applications reviews advances in concurrent engineering techniques and applications. An in-depth treatment of the quantitative and economic aspects of concurrent engineering is presented, with emphasis on techniques for measuring the performances of concurrent engineering and for comparing its economic effectiveness with that of traditional engineering. Open systems software standards in concurrent engineering are also discussed. Comprised of 12 chapters, this volume begins with an introduction to techniques for measuring the performances of concurrent engineering and for comparing its economic effectiveness with that of traditional engineering. The next chapter deals with open systems software standards and how to use open systems products effectively in concurrent engineering. The discussion then turns to concurrent product design and manufacturing; the essential issues involved in design-decision support in concurrent/simultane... engineering; design for manufacturing and assembly and concurrent engineering in electro-optical systems; and the use of visualization in concurrent engineering. The use of multimedia presentation techniques and technology in the concurrent engineering process is also considered, along with techniques in technical documentation. This monograph will be useful to students, academicians, practicing professionals, and research workers.

  • Plasma Processing for VLSI

    • 1st Edition
    • Volume 8
    • Norman G. Einspruch + 1 more
    • English
    VLSI Electronics: Microstructure Science, Volume 8: Plasma Processing for VLSI (Very Large Scale Integration) discusses the utilization of plasmas for general semiconductor processing. It also includes expositions on advanced deposition of materials for metallization, lithographic methods that use plasmas as exposure sources and for multiple resist patterning, and device structures made possible by anisotropic etching. This volume is divided into four sections. It begins with the history of plasma processing, a discussion of some of the early developments and trends for VLSI. The second section, Deposition, discusses deposition techniques for VLSI such as sputtering metals for metallization and contacts, plasma-enhanced chemical vapor deposition of metals and suicides, and plasma enhanced chemical vapor deposition of dielectrics. The part on Lithography presents the high-resolution trilayer resist system, pulsed x-ray sources for submicrometer x-ray lithography, and high-intensity deep-UV sources. The last part, Etching, provides methods in etching, like ion-beam etching using reactive gases, low-pressure reactive ion etching, and the uses of inert-gas ion milling. The theory and mechanisms of plasma etching are described and a number of new device structures made possible by anisotropic etching are enumerated as well. Scientists, engineers, researchers, device designers, and systems architects will find the book useful.

  • Beam Processing Technologies

    • 1st Edition
    • Volume 21
    • Norman G. Einspruch + 2 more
    • English
    Beam Processing Technologies is a collection of papers that deals with the miniaturization of devices that will be faster, consume less power, and cost less per operation or fabrication. One paper discusses metal oxide semiconductor (MOS) integrated circuit technology including the operation of devices whose lateral and vertical dimensions are scaled down. If the devices' silicon doping profiles are increased by the same scale factor, they can operate on lower voltages and currents, with the same performance. Another paper describes laser beam processing and wafer-scale integration as techniques to increase the number of devices on a silicon chip. Electron beam technologies can be used in many fabrication processes such as in microlithography, selective oxidation, doping, metrology. Ion beam applications depend on the presence of the ion introduced into the device (e.g. implantation doping), on pseudoelastic collisions (e.g. physical sputtering or crystal damage), and on inelastic scattering (e.g. polymer resist exposure). Silicon molecular beam epitaxy (SiMBE) can also grow high-quality layers at low temperature, particularly concerning germanium, especially as reagrds the growth system design and utilization of n- and p-type doping. Chemical beam epitaxy (CBE) is another epitaxial growth technique that can surpass MBE and metal organic chemical vapor deposition (MO-CVD). The collection is suitable chemical engineers, industrial physicists, and researchers whose work involve micro-fabrication and development of integrated circuits.

  • Advances in Cell Culture

    • 1st Edition
    • Volume 3
    • Karl Maramorosch
    • English
    Advances in Cell Culture, Volume 3 is a compilation of articles in the field of cell culture. The chapters in the book are prepared by recognized authorities in their specialized fields. The text deals with all the aspects of cell culture, which includes the growth of individual cells or cell populations, the growth of small fragments of explanted tissue, the growth of organs, and the growth of obligate parasites in cell culture systems. This volume provides reviews of important aspects of in vitro cultivation and presents the increasing understanding of the wide ramifications of in vitro techniques. The book also focuses on specific topics in cell culture such as protoplasts and plant viruses; applications of flow cytometry to tissue culture systems; plant tissue culture systems for screening of plant growth regulators; growth factors and hemopoietic cell differentiation; and mosquito cell culture. A chapter is also devoted to a biographical sketch of Philip R. White, remembered for his pioneering plant tissue culture work and his contributions to animal cell culture and to in vitro research as a whole. Cell biologists and researchers who use in vitro techniques will find the book highly informative and insightful.

  • Advances in Cell Culture

    • 1st Edition
    • Volume 5
    • Karl Maramorosch
    • English
    Advances in Cell Culture, Volume 5 is a compilation of research papers in the field of cell culture. The contributions reflect the thinking and accomplishments of those who are in the forefront of the broad field of cell culture. This volume contains chapters that describe hybrids of pancreatic islet and insulinoma cells; cultured chondrocytes and their applications in pharmacology; human blood cells for studying measles virus replication; and genetic studies of influenza virus in cultured cells. The rapid cultivation of various species of trees from isolated plant cells and the diverse applications of tree tissue culture are the focus of one chapter. The uses of invertebrate cell lines of mosquitoes, Drosophila, and lepidopteran species as tools for research in physiology, development, and genetics as well as for biochemical and hormonal studies are discussed in three chapters. Another contribution covers the in vitro cultivation of avian coccidia. The volume ends with a historical account of the development of cell banking and of quality control. Also included is a biographical sketch of Harry Eagle, whose pioneering work on defined media has had an enormous impact on cell culture. Cell biologists and researchers who use in vitro techniques will find the book highly informative and insightful.

  • Advances in Control Systems

    Theory and Applications
    • 1st Edition
    • Volume 7
    • C. T. Leondes
    • English
    Advances in Control Systems: Theory and Applications, Volume 7 provides information pertinent to the significant progress in the field of control and systems theory and applications. This book covers the important general area of computational problems in random and deterministic dynamic systems. Organized into six chapters, this volume begins with an overview of the controllability of a stochastic system. This text then presents a survey and status of methods for nonlinear minimal variance filtering. Other chapters consider some possible pitfalls and develop practical approximate nonlinear filters. This book discusses as well the area of computational problems and techniques for optimal nonlinear control problems. Computer simulation results are also included in order to show a number of the key results. The final chapter deals with the development of algorithms for the determination of the optimal control of distributed parameter systems, which pervades many areas of engineering endeavor. This book is a valuable resource for mathematicians and engineers.

  • Control and Dynamic Systems

    Advances in Theory and Applications
    • 1st Edition
    • Volume 12
    • C. T. Leondes
    • English
    Control and Dynamic Systems: Advances in Theory and Applications reviews progress in the field of control and dynamic systems theory and applications, with emphasis on filtering and stochastic control in dynamic systems. Topics include linear and nonlinear filtering techniques; concepts and methods in stochastic control; and discrete-time optical stochastic observers. The theory of disturbance-accommod... controllers is also presented. Comprised of nine chapters, this volume begins with an overview of filtering and stochastic control in dynamic systems, followed by a discussion on linear and nonlinear filtering techniques. The reader is then introduced to concepts and methods in stochastic control, as well as the innovations process and its applications to sensitivity analysis and system identification. Subsequent chapters focus on the status of observer theory and its major results as applied to discrete-time linear systems; the properties of the class of discrete-time Riccati equations that arise in the filtering problem; and the theory of disturbance-accommod... controllers. The identification of noise characteristics in a Kalman filter and estimation of adaptive minimum variance in discrete-time linear systems round out the book. This monograph will be useful to practicing technologists and research workers interested in filtering and stochastic control in dynamic systems.

  • Advances in Control Systems

    Theory and Applications
    • 1st Edition
    • Volume 2
    • C. T. Leondes
    • English
    Advances in Control Systems: Theory and Applications, Volume 2 provides information pertinent to the significant progress in the field of automatic control. This book presents different methods for generating Liapunov functions, which is important in the analysis of nonlinear systems. Organized into five chapters, this volume begins with an overview of the reduction of the important method of Liapunov to a practical working tool for the analysis of complex nonlinear systems. This text then discusses applications of the rather powerful method of dynamic programming to a complex class of problems. Other chapters consider the mathematical theory of optimal control, which is often confronted with the task of solving a system of first-order ordinary differential equations. This book discusses as well the input–output relationship of multivariable linear systems or plants. The final chapter deals with a powerful technique for design by analysis of nonlinear systems. This book is a valuable resource for mathematicians and engineers.

  • Control and Dynamic Systems

    Advances in Theory and Applications
    • 1st Edition
    • Volume 11
    • C. T. Leondes
    • English
    Control and Dynamic Systems: Advances in Theory and Applications reviews progress in the field of control and dynamic systems theory and applications. Topics include multistage models and fitting them to input/output data; computer-aided control systems design techniques; multilevel optimization of multiple arc trajectories; and nonlinear smoothing techniques. Solutions of dynamic games are also considered, and a survey of Soviet contributions to control theory is presented. Comprised of six chapters, this volume begins with a discussion on a number of important issues with respect to the modeling of a dynamic system, the beginning point for the resolution of the system synthesis problem. Issues with respect to the utilization of the Kalman filter as a concise model for the identification of a large class of dynamic systems are explored, along with computational and convergence issues. The application of computer-aided design techniques to control engineering problems is the subject of the next chapter. The book also evaluates multilevel systems optimization techniques and their application to a rather complex systems problem before concluding with an overview of the evolutionary growth of Soviet contributions to control theory. This monograph will be useful to mathematicians and engineers.

  • Advances in Control Systems

    Theory and Applications
    • 1st Edition
    • Volume 8
    • C. T. Leondes
    • English
    Advances in Control Systems: Theory and Applications, Volume 8 provides information pertinent to significant progress in the field of control and systems theory and applications. This book focuses on applications to large-scale systems. Organized into seven chapters, this volume begins with an overview of an effective algorithm for dynamic system organization with state variable constraints. This text then explores a number of effective techniques for the analysis and syntheses of final value control systems. Other chapters consider some significant problems associated with the practical application of Kalman Filter techniques. This book discusses as well the most significant and fundamental work on the international scene in the development of effective algorithms for dynamic system optimization. The final chapter deals with the application of modern control methods of complex industrial process control problems. This book is a valuable resource for mathematicians, control system engineers, physical scientists, economists, econometricians, and research workers.

  • Control and Dynamic Systems

    Advances in Theory and Applications
    • 1st Edition
    • Volume 9
    • C. T. Leondes
    • English
    Control and Dynamic Systems: Advances in Theory and Applications, Volume 9 brings together diverse information on important progress in the field of control and systems theory and applications. This volume is comprised of contributions from leading researchers in the field. Topics covered include optimal observer techniques for linear discrete time systems; application of sensitivity constrained optimal control to national economic policy formulation; and modified quasilinearization method for mathematical programming problems and optimal control problems. Dynamic decision theory and techniques and closed loop formulations of optimal control problems for minimum sensitivity are also elaborated. Engineers and scientists in applied physics will find the book interesting.

  • Control and Dynamic Systems

    Advances in Theory and Applications
    • 1st Edition
    • Volume 10
    • C. T. Leondes
    • English
    Control and Dynamic Systems: Advances in Theory and Applications, Volume 10 brings together diverse information on important progress in the field of control and systems theory and applications. This volume is comprised of contributions from leading researchers in the field. Topics discussed include the evaluation of suboptimal strategies using quasilinearization; aircraft symmetric flight optimization; aircraft maneuver optimization by reduced-order approximation; and differential dynamic programming. Estimation of uncertain systems; application of modern control and optimization techniques to transportation systems; and integrated system identification and optimization are also elucidated. Aerospace engineers and scientists and researchers in applied sciences will find the book interesting.

  • Ludwig's Applied Process Design for Chemical and Petrochemical Plants

    • 4th Edition
    • A. Kayode Coker
    • English
    The fourth edition of Ludwig’s Applied Process Design for Chemical and Petrochemical Plants, Volume Three is a core reference for chemical, plant, and process engineers and provides an unrivalled reference on methods, process fundamentals, and supporting design data.New to this edition are expanded chapters on heat transfer plus additional chapters focused on the design of shell and tube heat exchangers, double pipe heat exchangers and air coolers. Heat tracer requirements for pipelines and heat loss from insulated pipelines are covered in this new edition, along with batch heating and cooling of process fluids, process integration, and industrial reactors. The book also looks at the troubleshooting of process equipment and corrosion and metallurgy.

  • Analog Circuit Design Volume Three

    Design Note Collection
    • 1st Edition
    • Bob Dobkin + 1 more
    • English
    Design Note Collection, the third book in the Analog Circuit Design series, is a comprehensive volume of applied circuit design solutions, providing elegant and practical design techniques. Design Notes in this volume are focused circuit explanations, easily applied in your own designs. This book includes an extensive power management section, covering switching regulator design, linear regulator design, microprocessor power design, battery management, powering LED lighting, automotive and industrial power design. Other sections span a range of analog design topics, including data conversion, data acquisition, communications interface design, operational amplifier design techniques, filter design, and wireless, RF, communications and network design.Whatever your application -industrial, medical, security, embedded systems, instrumentation, automotive, communications infrastructure, satellite and radar, computers or networking; this book will provide practical design techniques, developed by experts for tackling the challenges of power management, data conversion, signal conditioning and wireless/RF analog circuit design.

  • Applied Graph Theory

    Graphs and Electrical Networks
    • 2nd Edition
    • Volume 13
    • Wai-Kai Chen
    • H. A. Lauwerier + 1 more
    • English
    Applied Graph Theory: Graphs and Electrical Networks, Second Revised Edition provides a concise discussion of the fundamentals of graph and its application to the electrical network theory. The book emphasizes the mathematical precision of the concepts and principles involved. The text first covers the basic theory of graph, and then proceeds to tackling in the next three chapters the various applications of graph to electrical network theory. These chapters also discuss the foundations of electrical network theory; directed-graph solutions of linear algebraic equations; and topological analysis of linear systems. Next, the book covers trees and their generation. Chapter 6 deals with the realizability of directed graphs with prescribed degrees, while Chapter 7 talks about state equations of networks. The book will be of great use to researchers of network topology, linear systems, and circuitries.

  • Computational Logic

    • 1st Edition
    • Volume 9
    • Dov M. Gabbay + 2 more
    • English
    Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated. Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: “Calculemus”. The Dartmouth Conference in 1956 – generally considered as the birthplace of artificial intelligence – raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.

  • Introduction to Spectral Theory in Hilbert Space

    North-Holland Series in Applied Mathematics and Mechanics
    • 1st Edition
    • Volume 6
    • Gilbert Helmberg
    • H. A. Lauwerier + 1 more
    • English
    North-Holland Series in Applied Mathematics and Mechanics, Volume 6: Introduction to Spectral Theory in Hilbert Space focuses on the mechanics, principles, and approaches involved in spectral theory in Hilbert space. The publication first elaborates on the concept and specific geometry of Hilbert space and bounded linear operators. Discussions focus on projection and adjoint operators, bilinear forms, bounded linear mappings, isomorphisms, orthogonal subspaces, base, subspaces, finite dimensional Euclidean space, and normed linear spaces. The text then takes a look at the general theory of linear operators and spectral analysis of compact linear operators, including spectral decomposition of a compact selfadjoint operator, weakly convergent sequences, spectrum of a compact linear operator, and eigenvalues of a linear operator. The manuscript ponders on the spectral analysis of bounded linear operators and unbounded selfadjoint operators. Topics include spectral decomposition of an unbounded selfadjoint operator and bounded normal operator, functions of a unitary operator, step functions of a bounded selfadjoint operator, polynomials in a bounded operator, and order relation for bounded selfadjoint operators. The publication is a valuable source of data for mathematicians and researchers interested in spectral theory in Hilbert space.

  • Eco-efficient Masonry Bricks and Blocks

    Design, Properties and Durability
    • 1st Edition
    • Fernando Pacheco-Torgal + 4 more
    • English
    Masonry walls constitute the interface between the building’s interior and the outdoor environment. Masonry walls are traditionally composed of fired-clay bricks (solid or perforated) or blocks (concrete or earth-based), but in the past (and even in the present) they were often associated as needing an extra special thermal and acoustical insulation layer. However, over more recent years investigations on thermal and acoustical features has led to the development of new improved bricks and blocks that no longer need these insulation layers. Traditional masonry units (fired-clay bricks, concrete or earth-based blocks) that don’t offer improved performance in terms of thermal and acoustical insulation are a symbol of a low-technology past, that are far removed from the demands of sustainable construction.This book provides an up-to-date state-of-the-art review on the eco-efficiency of masonry units, particular emphasis is placed on the design, properties, performance, durability and LCA of these materials. Since masonry units are also an excellent way to reuse bulk industrial waste the book will be important in the context of the Revised Waste Framework Directive 2008/98/EC which states that the minimum reuse and recycling targets for construction and demolition waste (CDW) should be at least 70% by 2020. On the 9th of March 2011 the European Union approved the Regulation (EU) 305/2011, known as the Construction Products Regulation (CPR) and it will be enforced after the 1st of July 2013. The future commercialization of construction materials in Europe makes their environmental assessment mandatory meaning that more information related to the environmental performance of building materials is much needed.

  • Eco-friendly Innovations in Electricity Transmission and Distribution Networks

    • 1st Edition
    • Jean-Luc Bessede
    • English
    Electricity transmission and distribution (T&D) networks carry electricity from generation sites to demand sites. With the increasing penetration of decentralised and renewable energy systems, in particular variable power sources such as wind turbines, and the rise in demand-side technologies, the importance of innovative products has never been greater. Eco-design approaches and standards in this field are aimed at improving the performance as well as the overall sustainability of T&D network equipment. This multidisciplinary reference provides coverage of developments and lessons-learned in the fields of eco-design of innovation from product-specific issues to system approaches, including case studies featuring problem-solving methodologies applicable to electricity transmission and distribution networks.

  • Predictive Analytics and Data Mining

    Concepts and Practice with RapidMiner
    • 1st Edition
    • Vijay Kotu + 1 more
    • English
    Put Predictive Analytics into ActionLearn the basics of Predictive Analysis and Data Mining through an easy to understand conceptual framework and immediately practice the concepts learned using the open source RapidMiner tool. Whether you are brand new to Data Mining or working on your tenth project, this book will show you how to analyze data, uncover hidden patterns and relationships to aid important decisions and predictions. Data Mining has become an essential tool for any enterprise that collects, stores and processes data as part of its operations. This book is ideal for business users, data analysts, business analysts, business intelligence and data warehousing professionals and for anyone who wants to learn Data Mining.You’ll be able to:1. Gain the necessary knowledge of different data mining techniques, so that you can select the right technique for a given data problem and create a general purpose analytics process.2. Get up and running fast with more than two dozen commonly used powerful algorithms for predictive analytics using practical use cases.3. Implement a simple step-by-step process for predicting an outcome or discovering hidden relationships from the data using RapidMiner, an open source GUI based data mining tool Predictive analytics and Data Mining techniques covered: Exploratory Data Analysis, Visualization, Decision trees, Rule induction, k-Nearest Neighbors, Naïve Bayesian, Artificial Neural Networks, Support Vector machines, Ensemble models, Bagging, Boosting, Random Forests, Linear regression, Logistic regression, Association analysis using Apriori and FP Growth, K-Means clustering, Density based clustering, Self Organizing Maps, Text Mining, Time series forecasting, Anomaly detection and Feature selection. Implementation files can be downloaded from the book companion site at www.LearnPredictiveA...

  • Biocatalysis in Non-Conventional Media

    Proceedings of an International Symposium, Noordwijkerhout, 26-29 April 1992
    • 1st Edition
    • Volume 8
    • M.H. Vermuë + 3 more
    • English
    The international symposium "Fundamentals of Biocatalysis in Non-Conventional Media" was organized under auspices of the working party Applied Biocatalysis of the European Federation of Biotechnology. Among the topics discussed at the symposium were physical-chemical aspects such as pH, water-activity, viscosity, dielectric constants, polarity etc. in relation to biocatalysis in non-conventional media. New measuring techniques were introduced.For people working in the field of biocatalysis in non-conventional media this book will give an excellent overview of the gain in understanding over the last five years of the fundamental aspects of biocatalysis in non-conventional media.

  • Foundations of Genetic Algorithms 1995 (FOGA 3)

    • 1st Edition
    • Volume 3
    • FOGA
    • English
    Foundations of Genetic Algorithms, 3 focuses on the principles, methodologies, and approaches involved in the integration of genetic algorithm into mainstream mathematics, as well as genetic operators, genetic programming, and evolutionary algorithms. The selection first offers information on an experimental design perspective on genetic algorithms; schema theorem and price's theorem; and fitness variance of formae and performance prediction. Discussions focus on representation-indep... recombination, representation-indep... mutation and hill-climbing, recombination and the re-emergence of schemata, and Walsh transforms and deception. The publication then examines the troubling aspects of a building block hypothesis for genetic programming and order statistics for convergence velocity analysis of simplified evolutionary algorithms. The manuscript ponders on stability of vertex fixed points and applications; predictive models using fitness distributions of genetic operators; and modeling simple genetic algorithms for permutation problems. Topics include exact models for permutations, fitness distributions of genetic operators, predictive model based on linear fitness distributions, and stability in the simplex. The book also takes a look at the role of development in genetic algorithms and productive recombination and propagating and preserving schemata. The selection is a dependable source of data for mathematicians and researchers interested in genetic algorithms.

  • The 2011 Fukushima Nuclear Power Plant Accident

    How and Why It Happened
    • 1st Edition
    • Yotaro Hatamura + 4 more
    • English
    In March 2011 the Fukushima nuclear power plant (NPP) in Japan was hit by an earthquake and subsequent tsunami which resulted in the release of significant amounts of radioactive material. The incident led to the suspension of nuclear programmes by a number of countries. This book provides a definitive account of the accident.

  • Energy Storage Devices for Electronic Systems

    Rechargeable Batteries and Supercapacitors
    • 1st Edition
    • Nihal Kularatna
    • English
    Energy storage devices are a crucial area of research and development across many engineering disciplines and industries. While batteries provide the significant advantage of high energy density, their limited life cycles, disposal challenges and charge and discharge management constraints undercut their effectiveness in certain applications. Compared to electrochemical cells, supercapacitors are charge-storage devices with much longer life cycles, yet they have traditionally been hobbled by limited DC voltage capabilities and energy density. However, recent advances are improving these issues. This book provides the opportunity to expand your knowledge of innovative supercapacitor applications, comparing them to other commonly used energy storage devices. It will strengthen your understanding of energy storage from a practical, applications-based point-of-view, without requiring detailed examination of underlying electrochemical equations. No matter what your field, you will find inspiration and guidance in the cutting-edge advances in energy storage devices in this book.

  • Industrial Process Automation Systems

    Design and Implementation
    • 1st Edition
    • B.R. Mehta + 1 more
    • English
    Industrial Process Automation Systems: Design and Implementation is a clear guide to the practicalities of modern industrial automation systems. Bridging the gap between theory and technician-level coverage, it offers a pragmatic approach to the subject based on industrial experience, taking in the latest technologies and professional practices.Its comprehensive coverage of concepts and applications provides engineers with the knowledge they need before referring to vendor documentation, while clear guidelines for implementing process control options and worked examples of deployments translate theory into practice with ease.This book is an ideal introduction to the subject for junior level professionals as well as being an essential reference for more experienced practitioners.

  • Human Physiology in Extreme Environments

    • 1st Edition
    • Hanns-Christian Gunga
    • English
    Human Physiology in Extreme Environments is the one publication that offers how human biology and physiology is affected by extreme environments while highlighting technological innovations that allow us to adapt and regulate environments. Covering a broad range of extreme environments, including high altitude, underwater, tropical climates, and desert and arctic climates as well as space travel, this book will include case studies for practical application. Graduate students, medical students and researchers will find Human Physiology in Extreme Environments an interesting, informative and useful resource for human physiology, environmental physiology and medical studies.

  • Data Architecture: A Primer for the Data Scientist

    Big Data, Data Warehouse and Data Vault
    • 1st Edition
    • W.H. Inmon + 1 more
    • English
    Today, the world is trying to create and educate data scientists because of the phenomenon of Big Data. And everyone is looking deeply into this technology. But no one is looking at the larger architectural picture of how Big Data needs to fit within the existing systems (data warehousing systems). Taking a look at the larger picture into which Big Data fits gives the data scientist the necessary context for how pieces of the puzzle should fit together. Most references on Big Data look at only one tiny part of a much larger whole. Until data gathered can be put into an existing framework or architecture it can’t be used to its full potential. Data Architecture a Primer for the Data Scientist addresses the larger architectural picture of how Big Data fits with the existing information infrastructure, an essential topic for the data scientist. Drawing upon years of practical experience and using numerous examples and an easy to understand framework. W.H. Inmon, and Daniel Linstedt define the importance of data architecture and how it can be used effectively to harness big data within existing systems. You’ll be able to: Turn textual information into a form that can be analyzed by standard tools. Make the connection between analytics and Big Data Understand how Big Data fits within an existing systems environment Conduct analytics on repetitive and non-repetitive data

  • Advances in Heat Transfer

    • 1st Edition
    • Volume 46
    • Ephraim M. Sparrow + 3 more
    • English
    Advances in Heat Transfer fills the information gap between regularly scheduled journals and university-level textbooks by providing in-depth review articles over a broader scope than in journals or texts. The articles, which serve as a broad review for experts in the field, will also be of great interest to non-specialists who need to keep up-to-date with the results of the latest research. This serial is essential reading for all mechanical, chemical and industrial engineers working in the field of heat transfer, graduate schools or industry.

  • Face Detection and Recognition on Mobile Devices

    • 1st Edition
    • Haowei Liu
    • English
    This hands-on guide gives an overview of computer vision and enables engineers to understand the implications and challenges behind mobile platform design choices. Using face-related algorithms as examples, the author surveys and illustrates how design choices and algorithms can be geared towards developing power-saving and efficient applications on resource constrained mobile platforms.

  • Mathematical and Physical Fundamentals of Climate Change

    • 1st Edition
    • Zhihua Zhang + 1 more
    • English
    Mathematical and Physical Fundamentals of Climate Change is the first book to provide an overview of the math and physics necessary for scientists to understand and apply atmospheric and oceanic models to climate research. The book begins with basic mathematics then leads on to specific applications in atmospheric and ocean dynamics, such as fluid dynamics, atmospheric dynamics, oceanic dynamics, and glaciers and sea level rise. Mathematical and Physical Fundamentals of Climate Change provides a solid foundation in math and physics with which to understand global warming, natural climate variations, and climate models. This book informs the future users of climate models and the decision-makers of tomorrow by providing the depth they need. Developed from a course that the authors teach at Beijing Normal University, the material has been extensively class-tested and contains online resources, such as presentation files, lecture notes, solutions to problems and MATLab codes.

  • Nuclear Power Plant Safety and Mechanical Integrity

    Design and Operability of Mechanical Systems, Equipment and Supporting Structures
    • 1st Edition
    • George Antaki + 1 more
    • English
    One of the most critical requirements for safe and reliable nuclear power plant operations is the availability of competent maintenance personnel. However, just as the nuclear power industry is experiencing a renaissance, it is also experiencing an exodus of seasoned maintenance professionals due to retirement. The perfect guide for engineers just entering the field or experienced maintenance supervisors who need to keep abreast of the latest industry best practices, Nuclear Power Plant Maintenance: Mechanical Systems, Equipment and Safety covers the most common issues faced in day-to-day operations and provides practical, technically proven solutions. The book also explains how to navigate the various maintenance codes, standards and regulations for the nuclear power industry.

  • Advances in Geophysics

    • 1st Edition
    • Volume 55
    • English
    The critically acclaimed serialized review journal for over 50 years, Advances in Geophysics is a highly respected publication in the field of geophysics. Since 1952, each volume has been eagerly awaited, frequently consulted, and praised by researchers and reviewers alike. Now in its 55th volume, it contains much material still relevant today--truly an essential publication for researchers in all fields of geophysics.

  • Computational Statistics with R

    • 1st Edition
    • Volume 32
    • English
    R is open source statistical computing software. Since the R core group was formed in 1997, R has been extended by a very large number of packages with extensive documentation along with examples freely available on the internet. It offers a large number of statistical and numerical methods and graphical tools and visualization of extraordinarily high quality. R was recently ranked in 14th place by the Transparent Language Popularity Index and 6th as a scripting language, after PHP, Python, and Perl. The book is designed so that it can be used right away by novices while appealing to experienced users as well. Each article begins with a data example that can be downloaded directly from the R website. Data analysis questions are articulated following the presentation of the data. The necessary R commands are spelled out and executed and the output is presented and discussed. Other examples of data sets with a different flavor and different set of commands but following the theme of the article are presented as well. Each chapter predents a hands-on-experience. R has superb graphical outlays and the book brings out the essentials in this arena. The end user can benefit immensely by applying the graphics to enhance research findings. The core statistical methodologies such as regression, survival analysis, and discrete data are all covered.

  • Handbook on the Physics and Chemistry of Rare Earths

    • 1st Edition
    • Volume 46
    • English
    The Handbook on the Physics and Chemistry of Rare Earths is a continuous series of books covering all aspects of rare earth science - chemistry, life sciences, materials science, and physics. The main emphasis of the Handbook is on rare earth elements [Sc, Y and the lanthanides (La through Lu)] but whenever relevant, information is also included on the closely related actinide elements. The individual chapters are comprehensive, broad, up-to-date critical reviews written by highly experienced invited experts. The series, which was started in 1978 by Professor Karl A. Gschneidner Jr., combines and integrates both the fundamentals and applications of these elements and now publishes two volumes a year.

  • RDF Database Systems

    Triples Storage and SPARQL Query Processing
    • 1st Edition
    • Olivier Curé + 1 more
    • English
    RDF Database Systems is a cutting-edge guide that distills everything you need to know to effectively use or design an RDF database. This book starts with the basics of linked open data and covers the most recent research, practice, and technologies to help you leverage semantic technology. With an approach that combines technical detail with theoretical background, this book shows how to design and develop semantic web applications, data models, indexing and query processing solutions.

  • Enterprise Business Intelligence and Data Warehousing

    Program Management Essentials
    • 1st Edition
    • Alan Simon
    • English
    Corporations and governmental agencies of all sizes are embracing a new generation of enterprise-scale business intelligence (BI) and data warehousing (DW), and very often appoint a single senior-level individual to serve as the Enterprise BI/DW Program Manager. This book is the essential guide to the incremental and iterative build-out of a successful enterprise-scale BI/DW program comprised of multiple underlying projects, and what the Enterprise Program Manager must successfully accomplish to orchestrate the many moving parts in the quest for true enterprise-scale business intelligence and data warehousing. Author Alan Simon has served as an enterprise business intelligence and data warehousing program management advisor to many of his clients, and spent an entire year with a single client as the adjunct consulting director for a $10 million enterprise data warehousing (EDW) initiative. He brings a wealth of knowledge about best practices, risk management, organizational culture alignment, and other Critical Success Factors (CSFs) to the discipline of enterprise-scale business intelligence and data warehousing.

  • Combustion

    • 5th Edition
    • Irvin Glassman + 2 more
    • English
    Throughout its previous four editions, Combustion has made a very complex subject both enjoyable and understandable to its student readers and a pleasure for instructors to teach. With its clearly articulated physical and chemical processes of flame combustion and smooth, logical transitions to engineering applications, this new edition continues that tradition. Greatly expanded end-of-chapter problem sets and new areas of combustion engineering applications make it even easier for students to grasp the significance of combustion to a wide range of engineering practice, from transportation to energy generation to environmental impacts. Combustion engineering is the study of rapid energy and mass transfer usually through the common physical phenomena of flame oxidation. It covers the physics and chemistry of this process and the engineering applications—includi... power generation in internal combustion automobile engines and gas turbine engines. Renewed concerns about energy efficiency and fuel costs, along with continued concerns over toxic and particulate emissions, make this a crucial area of engineering.

  • Class 1 Devices

    Case Studies in Medical Devices Design
    • 1st Edition
    • Peter J. Ogrodnik
    • English
    The Case Studies in Medical Devices Design series consists of practical, applied case studies relating to medical device design in industry. These titles complement Ogrodnik’s Medical Device Design and will assist engineers with applying the theory in practice. The case studies presented directly relate to Class I, Class IIa, Class IIb and Class III medical devices. Designers and companies who wish to extend their knowledge in a specific discipline related to their respective class of operation will find any or all of these titles a great addition to their library. Class 1 Devices is a companion text to Medical Devices Design: Innovation from Concept to Market. The intention of this book, and its sister books in the series, is to support the concepts presented in Medical Devices Design through case studies. In the context of this book the case studies consider Class I (EU) and 510(k) exempt (FDA) . This book covers classifications, the conceptual and embodiment phase, plus design from idea to PDS.

  • Advances in Catalysis

    • 1st Edition
    • Volume 57
    • English
    Advances in Catalysis fills the gap between the journal papers and the textbooks across the diverse areas of catalysis research. For more than 60 years Advances in Catalysis has been dedicated to recording progress in the field of catalysis and providing the scientific community with comprehensive and authoritative reviews. This series is invaluable to chemical engineers and chemists working in the field of catalysis in academia or industry.

Related subjects