896 resultater (0,28392 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

General Model Independent Searches for Physics Beyond the Standard Model - Thomas Hebbeker - Bog - Springer Nature Switzerland AG - Plusbog.dk

General Model Independent Searches for Physics Beyond the Standard Model - Thomas Hebbeker - Bog - Springer Nature Switzerland AG - Plusbog.dk

This primer describes the general model independent searches for new physics phenomena beyond the Standard Model of particle physics. First, the motivation for performing general model independent experimental searches for new physics is presented by giving an overview of the current theoretical understanding of particle physics in terms of the Standard Model of particle physics and its shortcomings. Then, the concept and features of general model independent search for new physics at collider based experiments is explained. This is followed by an overview of such searches performed in past high energy physics experiments and the current status of such searches, particularly in the context of the experiments at the LHC. Finally, the future prospects of such general model independent searches, with possible improvements using new tools such as machine learning techniques, is discussed.

DKK 434.00
1

MDATA: A New Knowledge Representation Model - - Bog - Springer Nature Switzerland AG - Plusbog.dk

MDATA: A New Knowledge Representation Model - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Knowledge representation is an important task in understanding how humans think and learn. Although many representation models or cognitive models have been proposed, such as expert systems or knowledge graphs, they cannot represent procedural knowledge, i.e., dynamic knowledge, in an efficient way. This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis). By modifying the representation of entities and relations in knowledge graphs, dynamic knowledge can be efficiently described with temporal and spatial characteristics. The MDATA model can be regarded as a high-level temporal and spatial knowledge graph model, which has strong capabilities for knowledge representation. This book introduces some key technologies in the MDATA model, such as entity recognition, relation extraction, entity alignment, and knowledge reasoning with spatiotemporal factors. The MDATA model can be applied in many critical applications and this book introduces some typical examples, such as network attack detection, social network analysis, and epidemic assessment. The MDATA model should be of interest to readers from many research fields, such as database, cyberspace security, and social network, as the need for the knowledge representation arises naturally in many practical scenarios.

DKK 593.00
1

A Dynamical Perspective on the ?4 Model - - Bog - Springer Nature Switzerland AG - Plusbog.dk

A Dynamical Perspective on the ?4 Model - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book presents a careful selection of the most important developments of the \phi^4 model, offering a judicious summary of this model with a view to future prospects and the challenges ahead. Over the past four decades, the \phi^4 model has been the basis for a broad array of developments in the physics and mathematics of nonlinear waves. From kinks to breathers, from continuum media to discrete lattices, from collisions of solitary waves to spectral properties, and from deterministic to stochastic models of \phi^4 (and \phi^6, \phi^8, \phi^12 variants more recently), this dynamical model has served as an excellent test bed for formulating and testing the ideas of nonlinear science and solitary waves.

DKK 986.00
1

Model Checking Software - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Model Checking Software - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

DKK 426.00
1

Linear Model Theory - Dale L. Zimmerman - Bog - Springer Nature Switzerland AG - Plusbog.dk

Linear Model Theory - Dale L. Zimmerman - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book contains 296 exercises and solutions covering a wide variety of topics in linear model theory, including generalized inverses, estimability, best linear unbiased estimation and prediction, ANOVA, confidence intervals, simultaneous confidence intervals, hypothesis testing, and variance component estimation. The models covered include the Gauss-Markov and Aitken models, mixed and random effects models, and the general mixed linear model. Given its content, the book will be useful for students and instructors alike. Readers can also consult the companion textbook Linear Model Theory - With Examples and Exercises by the same author for the theory behind the exercises.

DKK 636.00
1

Linear Model Theory - Dale L. Zimmerman - Bog - Springer Nature Switzerland AG - Plusbog.dk

Linear Model Theory - Dale L. Zimmerman - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book contains 296 exercises and solutions covering a wide variety of topics in linear model theory, including generalized inverses, estimability, best linear unbiased estimation and prediction, ANOVA, confidence intervals, simultaneous confidence intervals, hypothesis testing, and variance component estimation. The models covered include the Gauss-Markov and Aitken models, mixed and random effects models, and the general mixed linear model. Given its content, the book will be useful for students and instructors alike. Readers can also consult the companion textbook Linear Model Theory - With Examples and Exercises by the same author for the theory behind the exercises.

DKK 816.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

DKK 634.00
1

Model and Data Engineering - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Model and Data Engineering - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019.The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.

DKK 426.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

DKK 717.00
1

Model-Driven Engineering and Software Development - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Model-Driven Engineering and Software Development - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019. The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.

DKK 434.00
1

Therapy and the Neural Network Model - Lori Drucker Wasserman - Bog - Springer Nature Switzerland AG - Plusbog.dk

Therapy and the Neural Network Model - Lori Drucker Wasserman - Bog - Springer Nature Switzerland AG - Plusbog.dk

This innovative work explores integrating emerging research into how the brain processes information in applied therapeutic interventions. Typically, clinicians select therapeutic interventions based on their own training, personal experience or preference. This book aims to provide a new model, based upon the neural networks, to both understand the development of mental health issues and their persistence, and how and why to apply therapeutic interventions to impact the systems which are maintaining them. This work begins with a short and accessible overview of the neural network model, and the general aims of therapy. It elucidates components of the neural network model of learning such as reward recognition, automaticity, and memory reconsolidation, and how they apply to both general learning and new learning through the process in therapy. Next, the authors explore how the neural network model can be integrated across existing systems of therapy, including Cognitive Behavior therapy (CBT), Dialectical Behavior Therapy (DBT), third wave therapies and analytic therapies. Therapy and the Neural Network Model is an exciting resource for researchers and practitioners interested in understanding more about the applications of a neural network model for therapy and the how and why of building new mentally healthy cognitions, behaviors and emotions. Therapy and the Neural Network Model is also an essential theoretical foundation for both researchers and practitioners who wish to base their therapeutic practice on neuroscience and integrate their work with related fields such as behavioral medicine, health psychology, social work and public health.

DKK 434.00
1

Therapy and the Neural Network Model - Lori Drucker Wasserman - Bog - Springer Nature Switzerland AG - Plusbog.dk

Therapy and the Neural Network Model - Lori Drucker Wasserman - Bog - Springer Nature Switzerland AG - Plusbog.dk

This innovative work explores integrating emerging research into how the brain processes information in applied therapeutic interventions. Typically, clinicians select therapeutic interventions based on their own training, personal experience or preference. This book aims to provide a new model, based upon the neural networks, to both understand the development of mental health issues and their persistence, and how and why to apply therapeutic interventions to impact the systems which are maintaining them. This work begins with a short and accessible overview of the neural network model, and the general aims of therapy. It elucidates components of the neural network model of learning such as reward recognition, automaticity, and memory reconsolidation, and how they apply to both general learning and new learning through the process in therapy. Next, the authors explore how the neural network model can be integrated across existing systems of therapy, including Cognitive Behavior therapy (CBT), Dialectical Behavior Therapy (DBT), third wave therapies and analytic therapies. Therapy and the Neural Network Model is an exciting resource for researchers and practitioners interested in understanding more about the applications of a neural network model for therapy and the how and why of building new mentally healthy cognitions, behaviors and emotions. Therapy and the Neural Network Model is also an essential theoretical foundation for both researchers and practitioners who wish to base their therapeutic practice on neuroscience and integrate their work with related fields such as behavioral medicine, health psychology, social work and public health.

DKK 434.00
1

Model and Data Engineering - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Model and Data Engineering - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems. Due to the Corona pandemic the conference was held virtually.

DKK 434.00
1

Model-Driven Engineering and Software Development - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Model-Driven Engineering and Software Development - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on​ methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.

DKK 434.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

DKK 434.00
1

The Biopsychosocial Model of Health and Disease - Derek Bolton - Bog - Springer Nature Switzerland AG - Plusbog.dk

The Biopsychosocial Model of Health and Disease - Derek Bolton - Bog - Springer Nature Switzerland AG - Plusbog.dk

This open access book is a systematic update of the philosophical and scientific foundations of the biopsychosocial model of health, disease and healthcare. First proposed by George Engel 40 years ago, the Biopsychosocial Model is much cited in healthcare settings worldwide, but has been increasingly criticised for being vague, lacking in content, and in need of reworking in the light of recent developments. The book confronts the rapid changes to psychological science, neuroscience, healthcare, and philosophy that have occurred since the model was first proposed and addresses key issues such as the model''s scientific basis, clinical utility, and philosophical coherence. The authors conceptualise biology and the psychosocial as in the same ontological space, interlinked by systems of communication-based regulatory control which constitute a new kind of causation. These are distinguished from physical and chemical laws, most clearly because they can break down, thus providing the basis for difference between health and disease. This work offers an urgent update to the model''s scientific and philosophical foundations, providing a new and coherent account of causal interactions between the biological, the psychological and social.

DKK 222.00
1

An Elastic Model for Volcanology - Andrea Aspri - Bog - Springer Nature Switzerland AG - Plusbog.dk

An Elastic Model for Volcanology - Andrea Aspri - Bog - Springer Nature Switzerland AG - Plusbog.dk

This monograph presents a rigorous mathematical framework for a linear elastic model arising from volcanology that explains deformation effects generated by inflating or deflating magma chambers in the Earth''s interior. From a mathematical perspective, these modeling assumptions manifest as a boundary value problem that has long been known by researchers in volcanology, but has not, until now, been given a thorough mathematical treatment. This mathematical study gives an explicit formula for the solution of the boundary value problem which generalizes the few well-known, explicit solutions found in geophysics literature. Using two distinct analytical approaches-one involving weighted Sobolev spaces, and the other using single and double layer potentials-the well-posedness of the elastic model is proven. An Elastic Model for Volcanology will be of particular interest to mathematicians researching inverse problems, as well as geophysicists studying volcanology.

DKK 434.00
1

Composing Model-Based Analysis Tools - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Composing Model-Based Analysis Tools - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools", which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed. The book is structured in two parts, and organized around five fundamental core aspects of the subject: (1) the composition of languages, models and analyses; (2) the integration and orchestration of analysis tools; (3) the continual analysis of models; (4) the exploitation of results; and (5) the way to handle uncertainty in model-based developments. After a chapter on foundations and common terminology and a chapter on challenges in the field, one chapter is devoted to each of the above five core aspects in the first part of the book. These core chapters are accompanied by additional case studies in the second part of the book, in which specific tools and experiences are presented in more detail to illustrate the concepts and ideas previously introduced. The book mainly targets researchers in the fields of software engineering and formal methods as well as software engineers from industry with basic familiarity with quality properties, model-driven engineering and analysis tools. From reading the book, researchers will receive an overview of the state-of-the-art and current challenges, research directions, and recent concepts, while practitioners will be interested to learn about concrete tools and practical applications in the context of case studies.

DKK 799.00
1

Model-Driven Engineering and Software Development - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Model-Driven Engineering and Software Development - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.

DKK 434.00
1

Linear Model Theory - Dale L. Zimmerman - Bog - Springer Nature Switzerland AG - Plusbog.dk

Linear Model Theory - Dale L. Zimmerman - Bog - Springer Nature Switzerland AG - Plusbog.dk

This textbook presents a unified and rigorous approach to best linear unbiased estimation and prediction of parameters and random quantities in linear models, as well as other theory upon which much of the statistical methodology associated with linear models is based. The single most unique feature of the book is that each major concept or result is illustrated with one or more concrete examples or special cases. Commonly used methodologies based on the theory are presented in methodological interludes scattered throughout the book, along with a wealth of exercises that will benefit students and instructors alike. Generalized inverses are used throughout, so that the model matrix and various other matrices are not required to have full rank. Considerably more emphasis is given to estimability, partitioned analyses of variance, constrained least squares, effects of model misspecification, and most especially prediction than in many other textbooks on linear models. This book is intended for master and PhD students with a basic grasp of statistical theory, matrix algebra and applied regression analysis, and for instructors of linear models courses. Solutions to the book''s exercises are available in the companion volume Linear Model Theory - Exercises and Solutions by the same author.

DKK 816.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.

DKK 717.00
1