الصفحة 5
الصفحة 5
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational methods for nanoscale applications : Particles, plasmons and waves
Computational Methods for Nanoscale Applications: Particles, Plasmons and Waves presents new perspectives on modern nanoscale problems where fundamental science meets technology and computer modeling. This book describes well-known computational techniques such as finite-difference schemes, finite element analysis and Ewald summation, as well as a new finite-difference calculus of Flexible Local Approximation MEthods (FLAME) that qualitatively improves the numerical accuracy in a variety of problems. Application areas in the book include long-range particle interactions in homogeneous and heterogeneous media, electrostatics of colloidal systems, wave propagation in photonic crystals, photonic band structure, plasmon field enhancement, and metamaterials with backward waves and negative refraction.
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
Colorectal Cancer : Evidence-based Chemotherapy Strategies
The clinician is challenged to keep up with the rapidly changing landscape and the rapidly emerging data that shape the options for treatment today and tom- row. In this text, leaders in the management of colorectal cancer review the current literature that has led us to where we are today. Critical evaluations of the data are offered, and evidence-based recommendations are made.
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies : Process-Aware SRAM Design and Test
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies covers a broad range of topics related to SRAM design and test. From SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing.
Mathematical Methods in Electro-Magneto-Elasticity
The mechanics of Coupled Fields is a discipline at the edge of modern research connecting Continuum Mechanics with Solid State Physics. It integrates the Mechanics of Continuous Media, Heat Conductivity and the theory of Electromagnetism that are usually studied seperately. For an accurate description of the influence of static and dynamic loadings, high temperatures and strong electromagneticfields in elastic media and constructive installations, a new aproach is required; an approach that has the potential to establish a synergism between the above-mentioned fields. Throughout the book a vast number of problems are considered: two-dimensional problems of electro-magneto-elasticity as well as static and dynamical problems for piecewise homogenous compound piezoelectric plates weakened by cracks and openings. The boundary conditions, the constuctive equations and the mathematical methods for their solution are thoroughly presented, so that the reader can get a clear quantative and qualitative understnding of the phenomena taking place.
Logic Synthesis for Compositional Microprogram Control Units
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices. A special class of control units named as compositional microprogram control units (CMCU) is proposed as the best way for interpretation of linear control algorithms.
Load balancing using SDN
Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance improvement and network optimization. SDN is a new mechanism for managing and designing networks rather than the current traditional network system which does not afford more services and higher data rates; therefore, we analyze the effect of applying load balancing techniques and its importance in different SDN environments. In this paper, we propose a dynamic server load balancing technique in SDN architecture. Hence, we implement a server Connection-based load balancing technique and evaluate its performance with a static Round-robin and Random-based in both mininet emulation environment and OpenFlow-enabled switch using Ryu OpenFlow controller.
Linear Systems
Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook. The book examines the fundamental properties that govern the behavior of systems by developing their mathematical descriptions. Linear time-invariant, time-varying, continuous-time, and discrete-time systems are covered. Rigorous development of classic and contemporary topics in linear systems, as well as extensive coverage of stability and polynomial matrix/fractional representation, provide the necessary foundation for further study of systems and control.
Le complicazioni neurologiche in oncologia = Neurological complications in oncology
This volume, both necessary and new in the panorama of Italian medical literature, acknowledges this and presents an updated and complete review of the pathologies of the central and peripheral nervous system associated with tumors and their treatment. The purpose of the volume is to present an integrated approach between specialists that must see the neurologist and the oncologist in dialogue, and able to develop a new super-specialized clinical capacity in neuro-oncology. Many experts have contributed to its preparation by sharing knowledge on topics ranging from metastatic complications, to those of surgical cancer therapy, radio- and chemo-therapy, paraneoplastic syndromes, pain therapy, delirium and the affective alterations associated with the disease. The book is aimed in particular at neurologists, oncologists, palliative care practitioners and surgeons, but it is certainly useful for general practitioners and all operators who are daily involved in the demanding work of taking care of cancer patients.
IUTAM symposium on relations of shell plate beam and 3D models ; Proceedings of the IUTAM Symposium on the relations of shell, plate, beam, and 3D models, Dedicated to the Centenary of Ilia Vekua’s Birth, held in Tbilisi, Georgia, April 23-27, 2007
Contains papers on the main topics reflecting the scientific programme of the symposium: hierarchical, refined mathematical and technical models of shells, plates, and beams; relation of 2D and 1D models to 3D linear, non-linear and physical models; junction problems. In particular, peculiarities of cusped shells, plates, and beams are emphasized and special attention is paid to junction, multibody and fluid-elastic shell (plate, beam) interaction problems and their applications.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Clinical Maxillary Sinus Elevation Surgery
Dr. Kao and a team of experts begin by discussing anatomy, radiographic image applications and limitations, and then provide step-by-step clinical procedures for the lateral window technique, including piezosurgery, and the trans-alveolar methods, including balloon and controlled hydostatic sinus elevation. Also included are chapters on post-operative care and complication management.
Cholestatic Liver Disease
Cholestatic Liver Disease provides essential information for individuals involved in the care of patients affected by cholestatic liver disease. This groundbreaking text also supplies scientific updates from leading experts which relate to the clinical evaluation and management of cholestatic liver disorders, useful for both novice and practitioners alike.
Chiral Soliton Models for Baryons
This concise research monograph introduces and reviews the concept of chiral soliton models for baryons. In these models, baryons emerge as (topological) defects of the chiral field. The many applications shed light on a number of bayron properties, ranging from static properties via nucleon resonances and deep inelastic scattering to even heavy ion collisions. As far as possible, the theoretical investigations are confronted with experiment. Conceived to bridge the gap between advanced graduate textbooks and the research literature, this volume also features a number of appendices to help nonspecialist readers to follow in more detail some of the calculations in the main text.
Chaos, Nonlinearity, Complexity : The Dynamical Paradigm of Nature
This carefully edited book presents a focused debate on the mathematics and physics of chaos, nonlinearity and complexity in nature. It explores the role of non-extensive statistical mechanics in non-equilibrium thermodynamics, and presents an overview of the strong nonlinearity of chaos and complexity in natural systems that draws on the relevant mathematics from topology, measure-theory, inverse and ill-posed problems, set-valued analysis, and nonlinear functional analysis. It presents a self-contained scientific theory of complexity and complex systems as the steady state of non-equilibrium systems, denoting a homeostatic dynamic equilibrium between stabilizing order and destabilizing disorder.
Cellular Genetic Algorithms
CELLULAR GENETIC ALGORITHMS defines a new class of optimization algorithms based on the concepts of structured populations and Genetic Algorithms (GAs). The authors explain and demonstrate the validity of these cellular genetic algorithms throughout the book. This class of genetic algorithms is shown to produce impressive results on a whole range of domains, including complex problems that are epistatic, multi-modal, deceptive, discrete, continuous, multi-objective, and random in nature. The focus of this book is twofold. On the one hand, the authors present new algorithmic models and extensions to the basic class of Cellular GAs in order to tackle complex problems more efficiently. On the other hand, practical real world tasks are successfully faced by applying Cellular GA methodologies to produce workable solutions of real-world applications.
Cell Motility in Cancer Invasion and Metastasis
Cancer Morbidity and mortality result from invasive and metastatic spread. Currently, no therapies are aimed at the underlying mechanisms that enable this progression due to only nascent recognition of the distinct biology which occurs only during tumor dissemination. Recent advances have highlighted the central role of cell motility during the dynamic and transient process of tumor invasion and metastasis. This book includes state-of-the-art updates by international leaders in these studies. Chapters first present the novel model systems that enable new investigations and insights. Chapters then describe in depth the key processes and molecules that may be therapeutically targeted. Finally, the role of cell motility and its signals is explored in a number of key tumor types. This compilation should be useful to researchers in basic and translational oncology as well as those developing novel agents to prevent tumor invasion and metastasis.
