This book highlights the prevention of possible accidents and crashes of aircrafts by analyzing the many factors that affect such events. It includes the theoretical study of known ideas and concepts, as well as a set of new methods and mathematical models. It contains factual information to investigate famous disasters and aviation accidents with aircrafts. The book proposes methods and models that can be the basis in developing guidance material for decision-making by the flight crew and experts in air traffic control. Some of the contents presented in this book are also useful in the design and operation of data transmission systems of aircraft. The book is intended for engineering and technical specialists engaged in the development, manufacturing and operations of onboard radio electronic systems of aircraft and ground-based radio engineering support for flights, as well as graduate students and senior students of radio engineering specialties. It is useful to researchers and managers whose activities are related to air traffic control.

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.

While there are many excellent books available on fundamental and applied electromagnetics, most introduce operator concepts in an ad hoc manner, and few discuss the subject within the general framework of operator theory. This is in contrast to quantum theory, where the use of operators and concepts from functional analysis is common. However, casting electromagnetic problems in terms of operator theory produces useful insights into the mathematical properties and physical characteristics of solutions. For instance, the commonly used modal expansion of fields in waveguides are immediately justified upon identifying the differential operators as being of the appropriate Sturm-Liouville type. As another example, existence, uniqueness and solvability of integral formulations can often be settled by appealing to the theory of Fredholm operators. Many other examples that illustrate the value of abstracting problems to an operator level are provided. Although the book focuses on mathematical fundamentals, it is written from the perspective of engineers and applied scientists working in electromagnetics. The book begins with a review of electromagnetic theory, including a discussion of singular integral operators commonly encountered in applications. It then turns to a self-contained introduction to operator theory, including basic functional analysis, linear operators, Green¿s functions and Green¿s operators, spectral theory, and Sturm-Liouville operators. The discussion is at an introductory mathematical level, presenting definitions and theorems, as well as proofs of the theorems when these are particularly simple or enlightening. The tools developed in this first part of the book are then applied to problems in classical electromagnetic theory: boundary-value problems and potential theory, transmission lines, waves in layered media, scattering problems in waveguides, and electromagnetic cavities.

Microarrays for simultaneous measurement of redundancy of RNA species are used in fundamental biology as well as in medical research. Statistically, a microarray may be considered as an observation of very high dimensionality equal to the number of expression levels measured on it. In "Statistical Methods for Microarray Data Analysis: Methods and Protocols, " expert researchers in the field detail many methods and techniques used to study microarrays, guiding the reader from microarray technology to statistical problems of specific multivariate data analysis. Written in the highly successful "Methods in Molecular Biology " series format, the chapters include the kind of detailed description and implementation advice that is crucial for getting optimal results in the laboratory.

Thorough and intuitive, "Statistical Methods for Microarray Data Analysis: ""Methods and Protocols "aids scientists in continuing to study microarrays and the most current statistical methods.

This book is devoted to logic synthesis and design techniques for asynchronous circuits. It uses the mathematical theory of Petri Nets and asynchronous automata to develop practical algorithms implemented in a public domain CAD tool. Asynchronous circuits have so far been designed mostly by hand, and are thus much less common than their synchronous counterparts, which have enjoyed a high level of design automation since the mid-1970s. Asynchronous circuits, on the other hand, can be very useful to tackle clock distribution, modularity, power dissipation and electro-magnetic interference in digital integrated circuits. This book provides the foundation needed for CAD-assisted design of such circuits, and can also be used as the basis for a graduate course on logic design.

The book gives an extended review of theoretical and observational aspects of neutron star physics. With masses comparable to that of the Sun and radii of about ten kilometres, neutron stars are the densest stars in the Universe. This book describes all layers of neutron stars, from the surface to the core, with the emphasis on their structure and equation of state. Theories of dense matter are reviewed, and used to construct neutron star models. Hypothetical strange quark stars and possible exotic phases in neutron star cores are also discussed. Also covered are the effects of strong magnetic fields in neutron star envelopes and a comparison on neutron star models with observations.

The authors of this volumescrutinize the Russian business sector with attention to firm organization, business integration, corporate governance, and company management. Using a unique dataset of Russian joint-stock companies obtained from a large-scale enterprise survey conducted throughout the country, the authors empirically examine key issues for understanding the Russian corporate sector: ownership and the internal control system; the impact of business integration upon corporate governance and performance of affiliate business groups; and the role of external agents including commercial banks, business associations, and the state in corporate governance and management in non-financial enterprises.

Biomathematical Problems in Optimization of Cancer Radiotherapy provides insight into the role of cell population heterogeneity in the optimal control of fractionated irradiation of tumors. The book emphasizes the mathematical modeling aspect of the problem and presents the state of the art in the stochastic description of irradiated cell survival. Some of the results are of general theoretical interest and can be applied to other areas of optimal control methodology. Detailed explanations of all mathematical statements are provided throughout the text. The book is excellent for biomathematicians, radiotherapists, oncologists, health physicists, and other researchers and students interested in the topic.

For a host of reasons, nonlinear optical spectroscopy is a valuable tool for biochemical applications where minimally invasive diagnostics is desired. Biochemical Applications of Nonlinear Optical Spectroscopy presents the latest technological advances and offers a perspective on future directions in this important field. Written by an international panel of experts, this volume begins with a comparison of nonlinear optical spectroscopy and x-ray crystallography. The text examines the use of multiphoton fluorescence to study chemical phenomena in the skin, the use of nonlinear optics to enhance traditional optical spectroscopy, and the multimodal approach, which incorporates several spectroscopic techniques in one instrument. Later chapters explore Raman microscopy, third-harmonic generation microscopy, and non-linear Raman microspectroscopy. The text explores the promise of beam shaping and the use of broadband laser pulse generated through continuum generation and an optical pulse shaper. Lastly, the book discusses the effects of spatial beam shaping on the generated nonlinear Raman signals in a tightly focused geometry and provides insight into the extension of nonlinear optical spectroscopy to the nanoscale through the use of plasmonic tip-enhanced arrangement. With novel experimental approaches to this technology expanding day-by-day, the book's balanced coverage from a wide range of international contributors not only elucidates important achievements, but also outlines future directions in this dynamic and promising field.

Biomathematical Problems in Optimization of Cancer Radiotherapy provides insight into the role of cell population heterogeneity in the optimal control of fractionated irradiation of tumors. The book emphasizes the mathematical modeling aspect of the problem and presents the state of the art in the stochastic description of irradiated cell survival. Some of the results are of general theoretical interest and can be applied to other areas of optimal control methodology. Detailed explanations of all mathematical statements are provided throughout the text. The book is excellent for biomathematicians, radiotherapists, oncologists, health physicists, and other researchers and students interested in the topic.

A valuable addition to the Lecture Notes in Pure and Applied Mathematics series, this reference results from a conference held in St. Petersburg, Russia, in honor of Dr. Z. Borevich. This volume is mainly devoted to the contributions related to the European Science Foundation workshop, organized under the framework of noncommuntative geometry and integrated in the Borevich meeting. The topics presented, including algebraic groups and representations, algebraic number theory, rings, and modules, are a timely distillation of recent work in the field. Featuring a wide range of international experts as contributors, this book is an ideal reference for mathematicians in algebra and algebraic geometry.

Scientific principles of design and fabrication of packaging materials for food purposes are described in this book, as well as methods for structural modification and other techniques. The main practical properties and applications of polymer materials are described. Great attention is paid to the analysis of all processes taking place during formations and destruction of polymer packaging materials. Methods such as electron microscopy, infrared microscopy and optical polarization were used to describe the behaviour of polymer materials and their composition.

This book highlights the prevention of possible accidents and crashes of aircrafts by analyzing the many factors that affect such events. It includes the theoretical study of known ideas and concepts, as well as a set of new methods and mathematical models. It contains factual information to investigate famous disasters and aviation accidents with aircrafts. The book proposes methods and models that can be the basis in developing guidance material for decision-making by the flight crew and experts in air traffic control. Some of the contents presented in this book are also useful in the design and operation of data transmission systems of aircraft. The book is intended for engineering and technical specialists engaged in the development, manufacturing and operations of onboard radio electronic systems of aircraft and ground-based radio engineering support for flights, as well as graduate students and senior students of radio engineering specialties. It is useful to researchers and managers whose activities are related to air traffic control.

This volume contains selected tutorial and young scientist school papers of the 5th RAAI Summer School on Artificial Intelligence, held in July 2019 at Institute of Physics and Technology (MIPT) campus in Dolgoprudny, a suburb of Moscow, Russia. The 11 chapters in this volume present papers focusing on various important aspects of Multiagent systems; Behavior planning; Natural language processing; Modeling of reasoning; and Machine learning and data analysis.

Microarrays for simultaneous measurement of redundancy of RNA species are used in fundamental biology as well as in medical research. Statistically,a microarray may be considered as an observation of very high dimensionality equal to the number of expression levels measured on it. In Statistical Methods for Microarray Data Analysis: Methods and Protocols, expert researchers in the field detail many methods and techniques used to study microarrays, guiding the reader from microarray technology to statistical problems of specific multivariate data analysis. Written in the highly successful Methods in Molecular Biology (TM) series format, the chapters include the kind of detailed description and implementation advice that is crucial for getting optimal results in the laboratory. Thorough and intuitive, Statistical Methods for Microarray Data Analysis: Methods and Protocols aids scientists in continuing to study microarrays and the most current statistical methods.

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 9th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013) and the 13th International Conference on Application of Concurrency to System Design (ACSD 2013). It also contains one paper submitted directly to ToPNoC. The 8 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.

This book is the result of a long friendship, of a broad international co operation, and of a bold dream. It is the summary of work carried out by the authors, and several other wonderful people, during more than 15 years, across 3 continents, in the course of countless meetings, workshops and discus sions. It shows that neither language nor distance can be an obstacle to close scientific cooperation, when there is unity of goals and true collaboration. When we started, we had very different approaches to handling the mys terious, almost magical world of asynchronous circuits. Some were more theo retical, some were closer to physical reality, some were driven mostly by design needs. In the end, we all shared the same belief that true Electronic Design Automation research must be solidly grounded in formal models, practically minded to avoid excessive complexity, and tested "in the field" in the form of experimental tools. The results are this book, and the CAD tool petrify. The latter can be downloaded and tried by anybody bold (or desperate) enough to tread into the clockless (but not lawless) domain of small-scale asynchronicity. The URL is http: //www.lsi. upc. esr j ordic/petrify. We believe that asynchronous circuits are a wonderful object, that aban dons some of the almost militaristic law and order that governs synchronous circuits, to improve in terms of simplicity, energy efficiency and performance."

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

This monograph deals with diverse applications of holographic interferome try in experimental solid mechanics. Holographic interferometry has experienced a development of twenty years. It has enjoyed success and suffered some disappointments mainly due to early overestimation of its potential. At present, development of holo graphic interferometry is progressing primarily as a technique for quantita tive measurements. This is what motivated us to write this book - to ana lyze the quantitative methods of holographic interferometry. The fringe patterns obtained in holographic interferometry are graphi cally descriptive. In the general case, however, because they contain infor mation on the total vectors of displacement for points on the surface of a stressed body, the interpretation of these interferograms is much more complicated than in typical conventional interferometry. In addition, the high sensitivity of the method imposes new requirements on the loading of the objects under study. New approaches to designing loading fixtures are needed in many cases to ensure the desired loading conditions. The wealth of information obtained in holographic interferometry necessitates the use of modern computational mathematics. Therefore, practical implementation of the various methods of holographic interferometry must overcome sub stantial difficulties requiring adequate knowledge in diverse areas of science such as coherent optics, laser technology, mechanics, and applied mathe matics. Experimental methods play a significant role in solid mechanics."

This book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems, including reconfigurable hardware such as FPGAs. The technical program focus on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization.

This text discusses electromagnetics from the view of operator theory, in a manner more commonly seen in textbooks of quantum mechanics. It includes a self-contained introduction to operator theory, presenting definitions and theorems, plus proofs of the theorems when these are simple or enlightening.

Focusing on polarization matrix optics in many forms, this book includes coverage of a wide range of methods which have been applied to LCD modeling, ranging from the simple Jones matrix method to elaborate and high accuracy algorithms suitable for off-axis optics. Researchers and scientists are constantly striving for improved performance, faster response times, wide viewing angles, improved colour in liquid crystal display development, and with this comes the need to model LCD devices effectively. The authors have significant experience in dealing with the problems related to the practical application of liquid crystals, in particular their optical performance. Key features: * Explores analytical solutions and approximations to important cases in the matrix treatment of different LC layer configurations, and the application of these results to improve the computational method * Provides the analysis of accuracies of the different approaches discussed in the book * Explains the development of the Eigenwave Jones matrix method which offers a path to improved accuracy compared to Jones matrix and extended Jones matrix formalisms, while achieving significant improvement in computational speed and versatility compared to full 4x4 matrix methods * Includes a companion website hosting the authors' program library LMOPTICS (FORTRAN 90), a collection of routines for calculating the optical characteristics of stratified media, the use of which allows for the easy implementation of the methods described in this book. The website also contains a set of sample programs (source codes) using LMOPTICS, which exemplify the application of these methods in different situations

The book gives an extended review of theoretical and observational aspects of neutron star physics. With masses comparable to that of the Sun and radii of about ten kilometres, neutron stars are the densest stars in the Universe. This book describes all layers of neutron stars, from the surface to the core, with the emphasis on their structure and equation of state. Theories of dense matter are reviewed, and used to construct neutron star models. Hypothetical strange quark stars and possible exotic phases in neutron star cores are also discussed. Also covered are the effects of strong magnetic fields in neutron star envelopes.

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.