Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. ...
This monograph presents new model-based design methods for trajectory planning, feedback stabilization, state estimation, and tracking control of distributed-parameter systems governed by partial differential equations (PDEs). Flatness and backstepping techniques and their generalization to PDEs with higher-dimensional spatial domain lie at...
Linear mixed-effects models (LMMs) are an important class of statistical models that can be used to analyze correlated data. Such data are encountered in a variety of fields including biostatistics, public health, psychometrics, educational measurement, and sociology. This book aims to support a wide range of uses for the models by applied...
Sets forth the state of the science and technology in plasma protein production
With contributions from an international team of eighty leading experts and pioneers in the field, Production of Plasma Proteins for Therapeutic Use presents a comprehensive overview of the current state of knowledge about the...
This book presents an innovative methodology for the automatic generation of analog integrated circuits (ICs) layout, based on template descriptions and on evolutionary computational techniques. A design automation tool, LAYGEN II was implemented to validate the proposed approach giving special emphasis to reusability of expert design...
This best-selling engineering statistics text provides a practical approach that is more oriented to engineering and the chemical and physical sciences than many similar texts. It is packed with unique problem sets that reflect realistic situations engineers will encounter in their working lives. This text shows how statistics, the...
Machine learning is a novel discipline concerned with the analysis of large and multiple variables data. It involves computationally intensive methods, like factor analysis, cluster analysis, and discriminant analysis. It is currently mainly the domain of computer scientists, and is already commonly used in social sciences, marketing...
This third book of a 3-volume set on Fracture Mechanics adds a pragmatic and supportive character to the previous volumes by focusing on case studies using corrected exercises that teachers, students or engineers will find extremely useful. Due to the wide themes approached in this series, it can also be used to organize work in this field in...
Diagnostic Ultrasound Imaging provides a unified description of the physical principles of ultrasound imaging, signal processing, systems and measurements. This comprehensive reference is a core resource for both graduate students and engineers in medical ultrasound research and design. With continuing rapid...
Covering fractional order theory, simulation and experiments, this book explains how fractional order modelling and fractional order controller design compares favourably with traditional velocity and position control systems. The authors systematically compare the two approaches using applied fractional calculus. Stability theory in...
Computer-aided design (CAD) uses computer systems to assist in the creation, modification, and analysis of a design. DraftSight is a 2D computer-aided design (CAD) software application. DraftSight includes all the main tools to draft with precision, and it works with DWG files, the most popular CAD file type. It runs on a wide variety of...
Ionic Liquids UnCOILed presents decisively important reviews on new processes and recent developments in ionic liquid technology with an emphasis on commercial applications in which ionic liquids are replacing, or may replace, processes currently using conventional solvents. Ranging from applied to theoretical, synthetic to...
