This thesis combines highly accurate optical spectroscopy data on the recently discovered iron-based high-temperature superconductors with an incisive theoretical analysis. Three outstanding results are reported: (1) The superconductivity-induced modification of the far-infrared conductivity of an iron arsenide with minimal chemical disorder is quantitatively described by means of a strong-coupling theory for spin fluctuation mediated Cooper pairing. The formalism developed in this thesis also describes prior spectroscopic data on more disordered compounds. (2) The same materials exhibit a sharp superconductivity-induced anomaly for photon energies around 2.5 eV, two orders of magnitude larger than the superconducting energy gap. The author provides a qualitative interpretation of this unprecedented observation, which is based on the multiband nature of the superconducting state. (3) The thesis also develops a comprehensive description of a superconducting, yet optically transparent iron chalcogenide compound. The author shows that this highly unusual behavior can be explained as a result of the nanoscopic coexistence of insulating and superconducting phases, and he uses a combination of two complementary experimental methods - scanning near-field optical microscopy and low-energy muon spin rotation - to directly image the phase coexistence and quantitatively determine the phase composition. These data have important implications for the interpretation of data from other experimental probes.

This book provides a comprehensive introduction to spintronics-based computing for the next generation of ultra-low power/highly reliable logic. It will cover aspects from device to system-level, including magnetic memory cells, device modeling, hybrid circuit structure, design methodology, CAD tools, and technological integration methods. This book is accessible to a variety of readers and little or no background in magnetism and spin electronics are required to understand its content. The multidisciplinary team of expert authors from circuits, devices, computer architecture, CAD and system design reveal to readers the potential of spintronics nanodevices to reduce power consumption, improve reliability and enable new functionality.

This revised and updated edition of the well-received book by C. Klingshirn provides an introduction to and an overview of all aspects of semiconductor optics, from IR to visible and UV. It has been split into two volumes and rearranged to offer a clearer structure of the course content. Inserts on important experimental techniques as well as sections on topical research have been added to support research-oriented teaching and learning. Volume 1 provides an introduction to the linear optical properties of semiconductors. The mathematical treatment has been kept as elementary as possible to allow an intuitive approach to the understanding of results of semiconductor spectroscopy. Building on the phenomenological model of the Lorentz oscillator, the book describes the interaction of light with fundamental optical excitations in semiconductors (phonons, free carriers, excitons). It also offers a broad review of seminal research results augmented by concise descriptions of the relevant experimental techniques, e.g., Fourier transform IR spectroscopy, ellipsometry, modulation spectroscopy and spatially resolved methods, to name a few. Further, it picks up on hot topics in current research, like quantum structures, mono-layer semiconductors or Perovskites. The experimental aspects of semiconductor optics are complemented by an in-depth discussion of group theory in solid-state optics. Covering subjects ranging from physics to materials science and optoelectronics, this book provides a lively and comprehensive introduction to semiconductor optics. With over 120 problems, more than 480 figures, abstracts to each chapter, as well as boxed inserts and a detailed index, it is intended for use in graduate courses in physics and neighboring sciences like material science and electrical engineering. It is also a valuable reference resource for doctoral and advanced researchers.

Lasers have a wide and growing range of applications in medicine. Lasers for Medical Applications summarises the wealth of recent research on the principles, technologies and application of lasers in diagnostics, therapy and surgery.
Part one gives an overview of the use of lasers in medicine, key principles of lasers and radiation interactions with tissue. To understand the wide diversity and therefore the large possible choice of these devices for a specific diagnosis or treatment, the respective types of the laser (solid state, gas, dye, and semiconductor) are reviewed in part two. Part three describes diagnostic laser methods, for example optical coherence tomography, spectroscopy, optical biopsy, and time-resolved fluorescence polarization spectroscopy. Those methods help doctors to refine the scope of involvement of the particular body part or, for example, to specify the extent of a tumor. Part four concentrates on the therapeutic applications of laser radiation in particular branches of medicine, including ophthalmology, dermatology, cardiology, urology, gynecology, otorhinolaryngology (ORL), neurology, dentistry, orthopaedic surgery and cancer therapy, as well as laser coatings of implants. The final chapter includes the safety precautions with which the staff working with laser instruments must be familiar.
With its distinguished editor and international team of contributors, this important book summarizes international achievements in the field of laser applications in medicine in the past 50 years. It provides a valuable contribution to laser medicine by outstanding experts in medicine and engineering.
Describes the interaction of laser light with tissueReviews every type of laser used in medicine: solid state, gas, dye and semiconductorDescribes the use of lasers for diagnostics

This book provides a broad yet detailed introduction to neural networks and machine learning in a statistical framework. A single, comprehensive resource for study and further research, it explores the major popular neural network models and statistical learning approaches with examples and exercises and allows readers to gain a practical working understanding of the content. This updated new edition presents recently published results and includes six new chapters that correspond to the recent advances in computational learning theory, sparse coding, deep learning, big data and cloud computing. Each chapter features state-of-the-art descriptions and significant research findings. The topics covered include: * multilayer perceptron; * the Hopfield network; * associative memory models;* clustering models and algorithms; * t he radial basis function network; * recurrent neural networks; * nonnegative matrix factorization; * independent component analysis; *probabilistic and Bayesian networks; and * fuzzy sets and logic. Focusing on the prominent accomplishments and their practical aspects, this book provides academic and technical staff, as well as graduate students and researchers with a solid foundation and comprehensive reference on the fields of neural networks, pattern recognition, signal processing, and machine learning.

Mismatch or best match? This book demonstrates that best matching of individual entities to each other is essential to ensure smooth conduct and successful competitiveness in any distributed system, natural and artificial. Interactions must be optimized through best matching in planning and scheduling, enterprise network design, transportation and construction planning, recruitment, problem solving, selective assembly, team formation, sensor network design, and more. Fundamentals of best matching in distributed and collaborative systems are explained by providing: Methodical analysis of various multidimensional best matching processes Comprehensive taxonomy, comparing different best matching problems and processes Systematic identification of systems' hierarchy, nature of interactions, and distribution of decision-making and control functions Practical formulation of solutions based on a library of best matching algorithms and protocols, ready for direct applications and apps development. Designed for both academics and practitioners, oriented to systems engineers and applied operations researchers, diverse types of best matching processes are explained in production, manufacturing, business and service, based on a new reference model developed at Purdue University PRISM Center: "The PRISM Taxonomy of Best Matching". The book concludes with major challenges and guidelines for future basic and applied research in the area of best matching.

This book provides a cohesive overview of the current technological advances in computational radiology, and their applications in orthopaedic interventions. Contributed by the leading researchers in the field, this volume covers not only basic computational radiology techniques such as statistical shape modeling, CT/MRI segmentation, augmented reality and micro-CT image processing, but also the applications of these techniques to various orthopaedic interventional tasks. Details about following important state-of-the-art development are featured: 3D preoperative planning and patient-specific instrumentation for surgical treatment of long-bone deformities, computer assisted diagnosis and planning of periacetabular osteotomy and femoroacetabular impingement, 2D-3D reconstruction-based planning of total hip arthroplasty, image fusion for computer-assisted bone tumor surgery, intra-operative three-dimensional imaging in fracture treatment, augmented reality based orthopaedic interventions and education, medical robotics for musculoskeletal surgery, inertial sensor-based cost-effective surgical navigation, and computer assisted hip resurfacing using patient-specific instrument guides. Edited and authored by leading researchers in the field, this work is an essential reference for biomedical engineers, computer scientists and orthopaedic surgeons to develop or use computational radiology approaches for orthopaedic surgery and interventions.

This book provides techniques to tackle the design challenges raised by the increasing diversity and complexity of emerging, heterogeneous architectures for embedded systems. It describes an approach based on techniques from software engineering called aspect-oriented programming, which allow designers to control today's sophisticated design tool chains, while maintaining a single application source code. Readers are introduced to the basic concepts of an aspect-oriented, domain specific language that enables control of a wide range of compilation and synthesis tools in the partitioning and mapping of an application to a heterogeneous (and possibly multi-core) target architecture. Several examples are presented that illustrate the benefits of the approach developed for applications from avionics and digital signal processing. Using the aspect-oriented programming techniques presented in this book, developers can reuse extensive sections of their designs, while preserving the original application source-code, thus promoting developer productivity as well as architecture and performance portability. Describes an aspect-oriented approach for the compilation and synthesis of applications targeting heterogeneous embedded computing architectures. Includes examples using an integrated tool chain for compilation and synthesis. Provides validation and evaluation for targeted reconfigurable heterogeneous architectures. Enables design portability, given changing target devices* Allows developers to maintain a single application source code when targeting multiple architectures.

Focusing on connection technologies used for both single-mode and multimode fibers, this book explains multifiber connections such as mass-fusion splice and multifiber connectors. Information on fluoride glass fibers, doped fibers (EDFA), and components is included.

This thesis sheds important new light on the puzzling properties of Strontium Ruthenate. Using a sophisticated weak-coupling approach, exact within certain limits, it shows that proper treatment of spin-orbit and multi-band effects is crucial to the physics. Based on the results of these calculations, it resolves a crucial, long-standing puzzle in the field: It demonstrates why the experimentally observed time-reversal breaking is not incompatible with the observed lack of measurable edge currents. Lastly, the thesis makes predictions for the properties of the material under uniaxial strain, which are in good agreement with recent experiments -resolving the mystery of the so-called 3K phase, and suggesting the intriguing possibility that under strain the superconductor may become conventional.

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. New sections cover advanced techniques, and a new chapter, The Road To Formal Signoff, emphasizes techniques used when replacing simulation work with Formal Verification. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

This book presents the latest achievements in the theory and practice of SEMS Group interaction by scientists from the Russian Academy of Sciences. It also discusses the development of methods for the design and simulation of SEMS Group interaction based on the principles of safety, flexibility and adaptability in behavior and intelligence and parallelism in information processing, computation and control. Recently, the task has been to ensure the functioning of robots within the framework of collective collaboration, so that they function efficiently, reliably and safely in real time. The topics covered include, but are not limited to, the following: - the planning behavior of the SEMS group;- methods and principles of designing of automatic control systems;- mathematical and computer modeling group interaction;- safety, flexibility and adaptability of the SEMS Group;- information-measuring soft- and hardware. This book is intended for students, scientists and engineers specializing in the field of smart electromechanical systems and robotics.

Metamaterials, artificial electromagnetic media achieved by structuring on the subwave-length-scale were initially suggested for the negative index and superlensing. They became a paradigm for engineering electromagnetic space and controlling propagation of waves. The research agenda is now shifting on achieving tuneable, switchable, nonlinear and sensing functionalities. The time has come to talk about the emerging research field of metadevices employing active and tunable metamaterials with unique functionalities achieved by structuring of functional matter on the subwave-length scale. This book presents the first systematic and comprehensive summary of the reviews written by the pioneers and top-class experts in the field of metamaterials. It addresses many grand challenges of the cutting edge research for creating smaller and more efficient photonic structures and devices.

This volume is the first of the new series Advances in Dynamics and Delays. It offers the latest advances in the research of analyzing and controlling dynamical systems with delays, which arise in many real-world problems. The contributions in this series are a collection across various disciplines, encompassing engineering, physics, biology, and economics, and some are extensions of those presented at the IFAC (International Federation of Automatic Control) conferences since 2011. The series is categorized in five parts covering the main themes of the contributions: * Stability Analysis and Control Design * Networks and Graphs * Time Delay and Sampled-Data Systems * Computational and Software Tools * Applications This volume will become a good reference point for researchers and PhD students in the field of delay systems, and for those willing to learn more about the field, and it will also be a resource for control engineers, who will find innovative control methodologies for relevant applications, from both theory and numerical analysis perspectives.

This edited monograph includes state-of-the-art contributions on continuous time dynamical networks with delays. The book is divided into four parts. The first part presents tools and methods for the analysis of time-delay systems with a particular attention on control problems of large scale or infinite-dimensional systems with delays. The second part of the book is dedicated to the use of time-delay models for the analysis and design of Networked Control Systems. The third part of the book focuses on the analysis and design of systems with asynchronous sampling intervals which occur in Networked Control Systems. The last part of the book exposes several contributions dealing with the design of cooperative control and observation laws for networked control systems. The target audience primarily comprises researchers and experts in the field of control theory, but the book may also be beneficial for graduate students.

This book is focused on the Internet of Things (IoT) services and smart environments that can be of assistance to the elderly and individuals living with dementia or some sensory impairment. The book outlines the requirements of the systems that aim to furnish some digital sensory or cognitive assistance to the individuals and their caregivers. Internet of Things and Smart Environments: Assistive Technologies for Disability, Dementia, and Aging covers the important evolutions of the IoT, the sensors, actuators, wireless communication and pervasive computing systems, and other enabling technologies that power up this megatrend infrastructure. The use of the IoT-based systems in improving the conventional assistive technologies and provisions of ambient assisted living are also covered. The book takes an impartial, and yet holistic, view to providing research insights and inspirations for more development works in the areas related to assistive IoT. It will show the potentials of using normally available interactive devices, like smartphones or smart TVs, which can be supplemented with low-cost gadgets or apps to provide assistive capabilities. It aims to accentuate the need for taking a comprehensive and combinatory view of the comprising topics and approaches that are based on the visions and ideas from all stakeholders. The book will examine these points and considerations to conclude with recommendations for future development works and research directions. This book can be of value to a diverse array of audience. The researchers and developers in healthcare and medicine, aged care and disability services, as well as those working in the IoT-related fields, may find many parts of this book useful and stimulating. It can be of great value to postgraduate and research students working in these areas. It can also be adapted for use in upper-level classroom courses relevant to communication and smart technologies, IoT applications, and assistive technologies. Many parts of the book can be of interest to the elderly and individuals living with a disability, as well as their families and caregivers. From an industry perspective, it can be of interest to software, hardware, and particularly app developers working on the IoT applications, smart homes and environments, and assistive technologies for the elderly and people living with disability or dementia.

Theory of Electroelasticity analyzes the stress, strain, electric field and electric displacement in electroelastic structures such as sensors, actuators and other smart materials and structures. This book also describes new theories such as the physical variational principle and the inertial entropy theory. It differs from the traditional method by using the physical variational principle to derive the governing equations of the piezoelectric material, whereas the Maxwell stress is obtained automatically. By using the inertial entropy theory, the temperature wave equation is obtained very easily. The book is intended for scientists, researchers and engineers in the areas of mechanics, physics, smart material and control engineering as well as mechanical, aeronautical and civil engineering, etc. Zhen-Bang Kuang is a professor at Shanghai Jiao Tong University.

This unique book provides a bridge between digital control theory and vehicle guidance and control practice. It presents practical techniques of digital redesign and direct discrete-time design suitable for a real-time implementation of controllers and guidance laws at multiple rates and with and computational techniques. The theory of digital control is given as theorems, lemmas, and propositions. The design of the digital guidance and control systems is illustrated by means of step-by-step procedures, algorithms, and case studies. The systems proposed are applied to realistic models of unmanned systems and missiles, and digital implementation.

This book introduces readers to the navigation, guidance and control technologies involved in single-spacecraft, double-spacecraft, and multiple-spacecraft tasks in elliptical orbits. It comprehensively covers the key technologies of guidance, navigation and control (GNC) system design for spacecraft in elliptical orbits, including the orbit design, formation configuration design and maintenance, autonomous navigation technology and relative navigation technology, as well as autonomous rendezvous technology. The methods that this book introduces are very close to actual practical engineering applications and presented in an accessible style. The book can serve as reference teaching material for senior undergraduates and postgraduates with space navigation related majors, while also providing essential information and guidance for research personnel and engineering technical personnel engaged in the development of GNC systems for spacecraft.

This thesis addresses the intriguing topic of the quantum tunnelling of many-body systems such as Bose-Einstein condensates. Despite the enormous amount of work on the tunneling of a single particle through a barrier, we know very little about how a system made of several or of many particles tunnels through a barrier to open space. The present work uses numerically exact solutions of the time-dependent many-boson Schroedinger equation to explore the rich physics of the tunneling to open space process in ultracold bosonic particles that are initially prepared as a Bose-Einstein condensate and subsequently allowed to tunnel through a barrier to open space. The many-body process is built up from concurrently occurring single particle processes that are characterized by different momenta. These momenta correspond to the chemical potentials of systems with decreasing particle number. The many-boson process exhibits exciting collective phenomena: the escaping particles fragment and lose their coherence with the source and among each other, whilst correlations build up within the system. The detailed understanding of the many-body process is used to devise and test a scheme to control the final state, momentum distributions and even the correlation dynamics of the tunneling process.

This book introduces the fascinating world of plasmonics and physics at the nanoscale, with a focus on simulations and the theoretical aspects of optics and nanotechnology. A research field with numerous applications, plasmonics bridges the gap between the micrometer length scale of light and the secrets of the nanoworld. This is achieved by binding light to charge density oscillations of metallic nanostructures, so-called surface plasmons, which allow electromagnetic radiation to be focussed down to spots as small as a few nanometers. The book is a snapshot of recent and ongoing research and at the same time outlines our present understanding of the optical properties of metallic nanoparticles, ranging from the tunability of plasmonic resonances to the ultrafast dynamics of light-matter interaction. Beginning with a gentle introduction that highlights the basics of plasmonic interactions and plasmon imaging, the author then presents a suitable theoretical framework for the description of metallic nanostructures. This model based on this framework is first solved analytically for simple systems, and subsequently through numerical simulations for more general cases where, for example, surface roughness, nonlinear and nonlocal effects or metamaterials are investigated.

Motion Coordination for VTOL Unmanned Aerial Vehicles develops new control design techniques for the distributed coordination of a team of autonomous unmanned aerial vehicles. In particular, it provides new control design approaches for the attitude synchronization of a formation of rigid body systems. In addition, by integrating new control design techniques with some concepts from nonlinear control theory and multi-agent systems, it presents a new theoretical framework for the formation control of a class of under-actuated aerial vehicles capable of vertical take-off and landing. Several practical problems related to the systems' inputs, states measurements, and restrictions on the interconnection topology between the aerial vehicles in the team are addressed. Worked examples with sufficient details and simulation results are provided to illustrate the applicability and effectiveness of the theoretical results discussed in the book. The material presented is primarily intended for researchers and industrial engineers from robotics, control engineering and aerospace communities. It also serves as a complementary reading for graduate students involved in research related to flying robotics, aerospace, control of under-actuated systems, and nonlinear control theory

Mechatronics, as the integrating framework of mechanical engineering, electrical engineering, computer technology, control engineering and automation forms a crucial part in the design, manufacture and maintenance of a wide range of engineering products and processes. The mechatronics itself changes rapidly in last decade, from original mixture of subfields into original approach in engineering as a technical discipline. The book you are holding is aimed to help the reader to orient in this evolving field of science and technology.

"Mechatronics 2013: Recent Technological and Scientific Advances" is the fourth volume following the previous editions in 2007, 2009 and 2011, providing the comprehensive and accessible coverage of advances in mechatronics presented on the 10th International Conference Mechatronics 2013, hosted this year at the Brno University of Technology, Czech Republic.

The contributions, that passed the thorough review process, give an insight into current trends in research and development among Mechatronics 2013 contributing countries, with paper topics covering design and modeling of mechatronic systems, control and automation, signal processing, robotics and others, keeping in mind the innovation benefits of mechatronics design approach, leading to the development, production and daily use of machines and devices possessing a certain degree of computer based intelligence.

This book introduces the fundamentals of DCS, and shows how to include wireless technology in their design while guaranteeing the desired operation characteristics. The text also presents insights and results gained from extensive practical experience in implementing and testing systems within a specific industrial setting. Features: examines the operations that the DCS implements, covering human-machine interfaces, diagnostics and maintenance interfaces, and controllers; discusses industrial control system and wireless network protocols; reviews scheduling in wireless sensor networks; describes a latency model for heterogeneous DCS with wired and wireless parts, that predicts monitoring, command, and closed loop latencies; explains how to plan operation timings systematically; introduces measures and metrics for performance monitoring and debugging, and describes how to add these to a system; presents experimental results to validate the planning approach, based on an application test-bed.