- Table View
- List View
Model-Driven Development of Akoma Ntoso Application Profiles: A Conceptual Framework for Model-Based Generation of XML Subschemas
by Olof Leps Amelie Flatt Arne LangnerThis book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes. The described model-driven development approach ensures consistent and error-proof application of AKN concepts and types, even when using different software tools. It allows for easy maintenance, is self-documenting, and facilitates stakeholder validation with nontechnical legal experts. The resulting application profile remains fully compliant to and compatible with AKN. For the sake of illustration, the approach is paradigmatically applied to the German federal legislative process, as a corresponding approach was used in the creation of the German AKN application profile, LegalDocML.de. We discuss how the methodology yields a model, schema definition and specification that correspond to the artefacts created by LegalDocML.de, using examples from Germany. The book is of interest to both legal and technical project teams on the cusp of introducing AKN in a legislative domain and intended as a practical guideline for teams preparing to create a custom application profile for their own domain. Furthermore, it can serve as both a resource and an inspiration for similar and yet to be developed methodologies in the public sector, the health sector or in defense, where international standardization and interoperability efforts are to be applied to a local level.
Model-Free Stabilization by Extremum Seeking
by Alexander Scheinker Miroslav KrstićWith this brief, the authors present algorithms for model-free stabilization of unstable dynamic systems. An extremum-seeking algorithm assigns the role of a cost function to the dynamic system's control Lyapunov function (clf) aiming at its minimization. The minimization of the clf drives the clf to zero and achieves asymptotic stabilization. This approach does not rely on, or require knowledge of, the system model. Instead, it employs periodic perturbation signals, along with the clf. The same effect is achieved as by using clf-based feedback laws that profit from modeling knowledge, but in a time-average sense. Rather than use integrals of the systems vector field, we employ Lie-bracket-based (i. e. , derivative-based) averaging. The brief contains numerous examples and applications, including examples with unknown control directions and experiments with charged particle accelerators. It is intended for theoretical control engineers and mathematicians, and practitioners working in various industrial areas and in robotics.
Model-Reference Adaptive Control: A Primer (Advanced Textbooks in Control and Signal Processing)
by Nhan T. NguyenThis textbook provides readers with a good working knowledge of adaptive control theory through applications. It is intended for students beginning masters or doctoral courses, and control practitioners wishing to get up to speed in the subject expeditiously. Readers are taught a wide variety of adaptive control techniques starting with simple methods and extending step-by-step to more complex ones. Stability proofs are provided for all adaptive control techniques without obfuscating reader understanding with excessive mathematics. The book begins with standard model-reference adaptive control (MRAC) for first-order, second-order, and multi-input, multi-output systems. Treatment of least-squares parameter estimation and its extension to MRAC follow, helping readers to gain a different perspective on MRAC. Function approximation with orthogonal polynomials and neural networks, and MRAC using neural networks are also covered. Robustness issues connected with MRAC are discussed, helping the student to appreciate potential pitfalls of the technique. This appreciation is encouraged by drawing parallels between various aspects of robustness and linear time-invariant systems wherever relevant. Following on from the robustness problems is material covering robust adaptive control including standard methods and detailed exposition of recent advances, in particular, the author’s work on optimal control modification. Interesting properties of the new method are illustrated in the design of adaptive systems to meet stability margins. This method has been successfully flight-tested on research aircraft, one of various flight-control applications detailed towards the end of the book along with a hybrid adaptive flight control architecture that combines direct MRAC with least-squares indirect adaptive control. In addition to the applications, understanding is encouraged by the use of end-of-chapter exercises and associated MATLAB® files. Readers will need no more than the standard mathematics for basic control theory such as differential equations and matrix algebra; the book covers the foundations of MRAC and the necessary mathematical preliminaries.
Model-driven Simulation and Training Environments for Cybersecurity: Second International Workshop, MSTEC 2020, Guildford, UK, September 14–18, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12512)
by Sotiris Ioannidis George HatzivasilisThis book constitutes the refereed post-conference proceedings of the Second International Workshop on Model-Driven Simulation and Training Environments for Cybersecurity, MSTEC 2020, held in Guildford, UK, in September 2020 in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2020. The conference was held virtually due to the COVID-19 pandemic. The MSTEC Workshop received 20 submissions from which 10 full papers were selected for presentation. The papers are grouped in thematically on: cyber security training modelling; serious games; emulation & simulation studies; attacks; security policies.
Modeling Approaches to Natural Convection in Porous Media
by Yan Su Jane H. DavidsonThis book provides an overview of the field of flow and heat transfer in porous medium and focuses on presentation of a generalized approach to predict drag and convective heat transfer within porous medium of arbitrary microscopic geometry, including reticulated foams and packed beds. Practical numerical methods to solve natural convection problems in porous media will be presented with illustrative applications for filtrations, thermal storage and solar receivers.
Modeling Atmospheric and Oceanic Flows: Insights from Laboratory Experiments and Numerical Simulations
by Paul D. Williams Thomas Von LarcherModeling Atmospheric and Oceanic Flows: Insights from Laboratory Experiments and Numerical Simulations provides a broad overview of recent progress in using laboratory experiments and numerical simulations to model atmospheric and oceanic fluid motions. This volume not only surveys novel research topics in laboratory experimentation, but also highlights recent developments in the corresponding computational simulations. As computing power grows exponentially and better numerical codes are developed, the interplay between numerical simulations and laboratory experiments is gaining paramount importance within the scientific community. The lessons learnt from the laboratory-model comparisons in this volume will act as a source of inspiration for the next generation of experiments and simulations. Modeling Atmospheric and Oceanic Flows will be a valuable resource for graduate students, researchers, and professionals in the fields of geophysics, atmospheric sciences, oceanography, climate science, hydrology, and experimental geosciences.
Modeling Biological Phosphorus Removal in Activated Sludge Systems
by Damir BrdanovicThis text looks at different effects on the process of biological phosphorus removal. Topics include: biological phosphorus removal processes; process and molecular ecological studies; and the effect of potassium limitation on biological phosphorus removal.
Modeling Biomaterials (Nečas Center Series)
by Endre Süli Josef MálekThe investigation of the role of mechanical and mechano-chemical interactions in cellular processes and tissue development is a rapidly growing research field in the life sciences and in biomedical engineering. Quantitative understanding of this important area in the study of biological systems requires the development of adequate mathematical models for the simulation of the evolution of these systems in space and time. Since expertise in various fields is necessary, this calls for a multidisciplinary approach.This edited volume connects basic physical, biological, and physiological concepts to methods for the mathematical modeling of various materials by pursuing a multiscale approach, from subcellular to organ and system level. Written by active researchers, each chapter provides a detailed introduction to a given field, illustrates various approaches to creating models, and explores recent advances and future research perspectives. Topics covered include molecular dynamics simulations of lipid membranes, phenomenological continuum mechanics of tissue growth, and translational cardiovascular modeling. Modeling Biomaterials will be a valuable resource for both non-specialists and experienced researchers from various domains of science, such as applied mathematics, biophysics, computational physiology, and medicine.
Modeling Biomolecular Site Dynamics: Methods And Protocols (Methods In Molecular Biology #1945)
by William S. HlavacekThis volume covers a variety of topics related to the practice of rule-based modeling, a type of mathematical modeling useful for studying biomolecular site dynamics. There is an emphasis on software tools and detailed descriptions of techniques. The chapters in this book discuss topics such as software tools and frameworks for compartmental modeling (Pycellerator, RuleBuilder, Prgy, rxncon, MSMB, and ML-Rules); tools for spatial modeling (Simmune, Smoldyn, MCell-R, SRSim, and CellOrganizer); rule-based models to analyze proteomic data; model annotation; Markov chain aggregation; BioJazz; and methods to identify model parameters (Data2Dynamics, RKappa, and BioNetFit). Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary resources, step-by-step, readily reproducible protocols, and tips on troubleshooting and avoiding known pitfalls. <p><p> Cutting-edge and thorough, Modeling Biomolecular Site Dynamics: Methods and Protocols is a valuable resource for both the novice and expert rule-based modeler. It will also appeal to systems biologists and help them enhance their studies with easy-to-read and write rule-based models.
Modeling Calcium Signaling: A Fractional Perspective (SpringerBriefs in Biochemistry and Molecular Biology)
by Sunil Dutt Purohit Ritu Agarwal KritikaThis book features chapters written by renowned scientists from various parts of the world, providing an up-to-date survey of submanifold theory, spanning diverse topics and applications. The book covers a wide range of topics such as Chen–Ricci inequalities in differential geometry, optimal inequalities for Casorati curvatures in quaternion geometry, conformal η-Ricci–Yamabe solitons, submersion on statistical metallic structure, solitons in f(R, T)-gravity, metric-affine geometry, generalized Wintgen inequalities, tangent bundles, and Lagrangian submanifolds. Moreover, the book showcases the latest findings on Pythagorean submanifolds and submanifolds of four-dimensional f-manifolds. The chapters in this book delve into numerous problems and conjectures on submanifolds, providing valuable insights for scientists, educators, and graduate students looking to stay updated with the latest developments in the field. With its comprehensive coverage and detailed explanations, this book is an essential resource for anyone interested in submanifold theory.
Modeling Cellular Systems
by Frederik Graw Franziska Matthäus Jürgen PahleThis contributed volume comprises research articles and reviews on topics connected to the mathematical modeling of cellular systems. These contributions cover signaling pathways, stochastic effects, cell motility and mechanics, pattern formation processes, as well as multi-scale approaches. All authors attended the workshop on "Modeling Cellular Systems" which took place in Heidelberg in October 2014. The target audience primarily comprises researchers and experts in the field, but the book may also be beneficial for graduate students.
Modeling Correlated Outcomes Using Extensions of Generalized Estimating Equations and Linear Mixed Modeling
by George J. KnaflThis book formulates methods for modeling continuous and categorical correlated outcomes that extend the commonly used methods: generalized estimating equations (GEE) and linear mixed modeling. Partially modified GEE adds estimating equations for variance/dispersion parameters to the standard GEE estimating equations for the mean parameters. Fully modified GEE provides alternate estimating equations for mean parameters as well as estimating equations for variance/dispersion parameters. The new estimating equations in these two cases are generated by maximizing a "likelihood" function related to the multivariate normal density function. Partially modified GEE and fully modified GEE use the standard GEE approach to estimate correlation parameters based on the residuals. Extended linear mixed modeling (ELMM) uses the likelihood function to estimate not only mean and variance/dispersion parameters, but also correlation parameters. Formulations are provided for gradient vectors and Hessian matrices, for a multi-step algorithm for solving estimating equations, and model-based and robust empirical tests for assessing theory-based models.Standard GEE, partially modified GEE, fully modified GEE, and ELMM are demonstrated and compared using a variety of regression analyses of different types of correlated outcomes. Example analyses of correlated outcomes include linear regression for continuous outcomes, Poisson regression for count/rate outcomes, logistic regression for dichotomous outcomes, exponential regression for positive-valued continuous outcome, multinomial regression for general polytomous outcomes, ordinal regression for ordinal polytomous outcomes, and discrete regression for discrete numeric outcomes. These analyses also address nonlinearity in predictors based on adaptive search through alternative fractional polynomial models controlled by likelihood cross-validation (LCV) scores. Larger LCV scores indicate better models but not necessarily distinctly better models. LCV ratio tests are used to identify distinctly better models.A SAS macro has been developed for analyzing correlated outcomes using standard GEE, partially modified GEE, fully modified GEE, and ELMM within alternative regression contexts. This macro and code for conducting the analyses addressed in the book are available online via the book’s Springer website. Detailed descriptions of how to use this macro and interpret its output are provided in the book.
Modeling Demographic Processes in Marked Populations
by David L. Thomson Michael J. Conroy Evan G. CoochThis book brings together biologists and statisticians in an interdisciplinary synthesis to develop new methods to overcome the most significant challenges and constraints faced by quantitative biologists seeking to model demographic rates. The book is centered on the ten key areas in the field where important problems in demographic analysis are being solved with new statistical methods. Each area presents one overview written by an acknowledged expert in this field, and four original research contributions. The 10 key areas are: - Abundance estimation; direct, proxies and point counts; Population dynamics; - Combining sources of information; - Dispersal movement and migration; - State uncertainty: assignment error and unobservable states; - Robust design: sampling, applications and advances; - Bayesian applications: advances, random effects and hierarchical models; - Evolutionary ecology; - Wildlife and conservation management; - Software developments for the modelling of demographic rates in marked populations.
Modeling Dose-Response Microarray Data in Early Drug Development Experiments Using R
by Dhammika Amaratunga Ziv Shkedy Dan Lin Daniel Yekutieli Luc BijnensThis book focuses on the analysis of dose-response microarray data in pharmaceutical settings, the goal being to cover this important topic for early drug development experiments and to provide user-friendly R packages that can be used to analyze this data. It is intended for biostatisticians and bioinformaticians in the pharmaceutical industry, biologists, and biostatistics/bioinformatics graduate students. Part I of the book is an introduction, in which we discuss the dose-response setting and the problem of estimating normal means under order restrictions. In particular, we discuss the pooled-adjacent-violator (PAV) algorithm and isotonic regression, as well as inference under order restrictions and non-linear parametric models, which are used in the second part of the book. Part II is the core of the book, in which we focus on the analysis of dose-response microarray data. Methodological topics discussed include: * Multiplicity adjustment * Test statistics and procedures for the analysis of dose-response microarray data * Resampling-based inference and use of the SAM method for small-variance genes in the data * Identification and classification of dose-response curve shapes * Clustering of order-restricted (but not necessarily monotone) dose-response profiles * Gene set analysis to facilitate the interpretation of microarray results * Hierarchical Bayesian models and Bayesian variable selection * Non-linear models for dose-response microarray data * Multiple contrast tests * Multiple confidence intervals for selected parameters adjusted for the false coverage-statement rate All methodological issues in the book are illustrated using real-world examples of dose-response microarray datasets from early drug development experiments.
Modeling Dynamic Biological Systems
by Bruce Hannon Matthias RuthMany biologists and ecologists have developed models that find widespread use in theoretical investigations and in applications to organism behavior, disease control, population and metapopulation theory, ecosystem dynamics, and environmental management. This book captures and extends the process of model development by concentrating on the dynamic aspects of these processes and by providing the tools such that virtually anyone with basic knowledge in the Life Sciences can develop meaningful dynamic models. Examples of the systems modeled in the book range from models of cell development, the beating heart, the growth and spread of insects, spatial competition and extinction, to the spread and control of epidemics, including the conditions for the development of chaos. Key features: - easy-to-learn and easy-to-use software - examples from many subdisciplines of biology, covering models of cells, organisms, populations, and metapopulations - no prior computer or programming experience required Key benefits: - learn how to develop modeling skills and system thinking on your own rather than use models developed by others - be able to easily run models under alternative assumptions and investigate the implications of these assumptions for the dynamics of the biological system being modeled - develop skills to assess the dynamics of biological systems
Modeling Dynamic Economic Systems
by Bruce Hannon Matthias RuthThis book explores the dynamic processes in economic systems, concentrating on the extraction and use of the natural resources required to meet economic needs. Sections cover methods for dynamic modeling in economics, microeconomic models of firms, modeling optimal use of both nonrenewable and renewable resources, and chaos in economic models. This book does not require a substantial background in mathematics or computer science.
Modeling Earth's Systems
by Core Knowledge FoundationModeling Earth’s Systems introduces Grade 5 students to real-world examples and fundamental concepts that will be explored in greater depth in later grades. <P><P> Students will apply their background knowledge to develop models of the different “spheres” of the Earth and use their models to discuss how different systems interact. Examples for students include: the influence of the ocean on ecosystems, landform shape, and our climate; the influence of the atmosphere on landforms and living things; and the influence of mountains on weather patterns such as winds and clouds in the atmosphere. <P><P> As part of this unit, students are tasked to create a graphical representation of the amounts of fresh water versus saltwater on the Earth and indicate where these sources of water are typically found.
Modeling Explosions and Blast Waves
by K. RamamurthiThe book provides a concise description of the physical processes and mathematical models for explosions and formation of blast waves from explosions. The contents focus on quantitatively determining the energy released in the different types of explosions and the destructive blast waves that are generated. The contribution of flames, detonations and other physical processes to the explosion phenomenon is dealt with in detail. Gaseous and condensed phase explosions are discussed and the yield of explosions with their TNT equivalence is determined. Time scales involved in the explosion process and the scaling procedure are ascertained. Explosions over the ground, in water, and the interaction of explosions with objects are examined. In order to keep the text easily readable, the detailed derivation of the mathematical equations is given in the seven appendices at the end of the book. Case studies of various explosions are investigated and simple problems and their solutions are provided for the different topics to assist the reader in internalizing the explosion process. The book is a useful reference for professionals and academics in aeronautics, mechanical, civil and chemical engineering and for personnel working in explosive manufacture and high-energy materials, armaments, space, defense, and industrial and fire safety.
Modeling Failure and Fracture of Soft Solids and Fluids
by Konstantin VolokhThis book applies approaches of nonlinear continuum mechanics used to model fracture and failures in soft materials. Two physical observations underlie mathematical theories described in this book. First, the energy of molecular bonds is bounded and, consequently, the macroscopic strain energy must be bounded. Second, the broken bonds are diffused and, consequently, highly localized material sink takes place. The first observation allows describing material failure as the damage initiation. The second observation allows modeling cracks as damage localization and propagation. This book builds on the experiences of “Soft Matter Mechanics” by Konstantin Volokh.
Modeling Fluctuations in Scattered Waves
by E. Jakeman K. D. RidleyFluctuations in scattered waves limit the performance of imaging and remote sensing systems that operate on all wavelengths of the electromagnetic spectrum. To better understand these fluctuations, Modeling Fluctuations in Scattered Waves provides a practical guide to the phenomenology, mathematics, and simulation of non-Gaussian noise models and d
Modeling Forest Trees and Stands
by Harold E. Burkhart Margarida ToméDrawing upon a wealth of past research and results, this book provides a comprehensive summary of state-of-the-art methods for empirical modeling of forest trees and stands. It opens by describing methods for quantifying individual trees, progresses to a thorough coverage of whole-stand, size-class and individual-tree approaches for modeling forest stand dynamics, growth and yield, moves on to methods for incorporating response to silvicultural treatments and wood quality characteristics in forest growth and yield models, and concludes with a discussion on evaluating and implementing growth and yield models. Ideal for use in graduate-level forestry courses, this book also provides ready access to a plethora of reference material for researchers working in growth and yield modeling.
Modeling Fragile X Syndrome
by Robert B. DenmanIntroduction.-Probing Astrocyte Function in Fragile X Syndrome.- Neural Stem Cells.- Fragile X Mental Retardation Protein (FMRP) and the Spinal Sensory System.- The Role of the Postsynaptic Density in the Pathology of the Fragile X Syndrome.- Behavior in a Drosophila model of Fragile X.- Molecular and Genetic Analysis of the Drosophila Model of Fragile X Syndrome.- Fragile X Mental Retardation Protein and Stem Cells.- Manipulating the Fragile X Mental Retardation Proteins in the Frog.- Exploring the Zebra finch Taeniopygia gutta as a Novel Animal Model for the Speech-language Deficit of Fragile X Syndrome.- Neuroendocrine Alterations in the Fragile X Mouse.- Taking STEPs forward to understanding Fragile X Syndrome.- Fmr-1 as an Offspring Genetic and a Maternal Environmental Factor in Neurodevelopmental Disease.- Mouse Models of the Fragile X Premutation and the Fragile X Associated Tremor/Ataxia Syndrome.- Clinical Aspects of the Fragile X Syndrome.- Fragile X Syndrome: A Psychiatric Perspective.- Fragile X Syndrome and Targeted Treatment Trials.- The Fragile X-associate Tremor Ataxia Syndrome.- Vignettes: Models in Absentia.
Modeling High Temperature Materials Behavior for Structural Analysis
by Holm Altenbach Konstantin NaumenkoThis monograph presentsapproaches to characterize inelastic behavior of materials and structures athigh temperature. Starting from experimental observations, it discusses basicfeatures of inelastic phenomena including creep, plasticity, relaxation, lowcycle and thermal fatigue. The authors formulate constitutive equations to describe the inelastic responsefor the given states of stress and microstructure. They introduce evolutionequations to capture hardening, recovery, softening, ageing and damage processes. Principles of continuum mechanics and thermodynamics are presented to provide aframework for the modeling materials behavior with the aim of structuralanalysis of high-temperature engineering components.
Modeling Human and Organizational Behavior: Application To Military Simulations
by Panel on Modeling Human Behavior Command Decision Making: Representations for Military SimulationsSimulations are widely used in the military for training personnel, analyzing proposed equipment, and rehearsing missions, and these simulations need realistic models of human behavior. This book draws together a wide variety of theoretical and applied research in human behavior modeling that can be considered for use in those simulations. It covers behavior at the individual, unit, and command level. At the individual soldier level, the topics covered include attention, learning, memory, decisionmaking, perception, situation awareness, and planning. At the unit level, the focus is on command and control. The book provides short-, medium-, and long-term goals for research and development of more realistic models of human behavior.
Modeling Hydrologic Change: Statistical Methods
by Richard H. McCuenModeling hydrologic changes and predicting their impact on watersheds is a dominant concern for hydrologists and other water resource professionals, civil and environmental engineers, and urban and regional planners. As such changes continue, it becomes more essential to have the most up-to-date tools with which to perform the proper analyses and m