112 resultater (5,75003 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Tests and Proofs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tests and Proofs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the proceedings of the 15 th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.

DKK 426.00
1

Tests and Proofs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tests and Proofs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

DKK 426.00
1

Tests and Proofs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tests and Proofs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

DKK 426.00
1

Prison Dog Programs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Prison Dog Programs - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This edited volume brings together a diverse group of contributors to create a review of research and an agenda for the future of dog care and training in correctional facilities. Bolstered by research that documents the potential benefits of HAI, many correctional facilities have implemented prison dog programs that involve inmates in the care and training of canines, not only as family dogs but also as service dogs for people with psychological and/or physical disabilities. Providing an evidence-based treatment of the topic, this book also draws upon the vast practical experience of individuals who have successfully begun, maintained, improved, and evaluated various types of dog programs with inmates; it includes first-person perspectives from all of the stakeholders in a prison dog program-the corrections staff, the recipients of the dogs, the inmate/trainers, and the community volunteers and sponsors Human-animal interaction (HAI) is a burgeoning field of research that spans different disciplines: corrections, psychology, education, social work, animal welfare, and veterinary medicine, to name a few. Written for an array of professionals interested in prison dog programs, the book will hold special interest for researchers in criminal justice and corrections, forensic psychology, and to those with a commitment to promoting the ideals of rehabilitation, desistance thinking, restorative justice, and re-entry tools for inmates.

DKK 986.00
1

Multi-run Memory Tests for Pattern Sensitive Faults - Ireneusz Mrozek - Bog - Springer Nature Switzerland AG - Plusbog.dk

Multi-run Memory Tests for Pattern Sensitive Faults - Ireneusz Mrozek - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book describes efficient techniques for production testing as well as for periodic maintenance testing (specifically in terms of multi-cell faults) in modern semiconductor memory. The author discusses background selection and address reordering algorithms in multi-run transparent march testing processes. Formal methods for multi-run test generation and many solutions to increase their efficiency are described in detail. All methods presented ideas are verified by both analytical investigations and numerical simulations. - Provides the first book related exclusively to the problem of multi-cell fault detection by multi-run tests in memory testing process; - Presents practical algorithms for design and implementation of efficient multi-run tests; - Demonstrates methods verified by analytical and experimental investigations.

DKK 434.00
1

Mastering Modern Psychological Testing - Cecil R. Reynolds - Bog - Springer Nature Switzerland AG - Plusbog.dk

Mastering Modern Psychological Testing - Cecil R. Reynolds - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book provides a comprehensive introduction to psychological assessment and covers areas not typically addressed in existing test and measurements texts, such as neuropsychological assessment and the use of tests in forensics settings. The book introduces the vocabulary of the profession and the most basic mathematics of testing early as being fundamental to understanding the field. Numerous examples are drawn from tests that the authors have written or otherwise helped to develop, reflecting the authors'' deep understanding of these tests and their familiarity with problems encountered in test development, use, and interpretation. Following the introduction of the basic areas of psychometrics, the book moves to areas of testing that represent various approaches to measuring different psychological constructs (memory, language, executive function, etc.), with emphasis on the complex issue of cultural bias in testing. Examples of existing tests are given throughout the book; however, this book is not designed to prepare students to go out and administer, score, and interpret specific psychological tests. Rather, the purpose of this book is to provide the foundational core of knowledge about tests, measurement, and assessment constructs, issues, and quantitative tools. - Explains what constitutes a psychological test, how tests are developed, how they are best used, and how to evaluate their strengths and weaknesses; - Describes areas of testing that represent different approaches to measuring different psychological constructs; - Explains applications of psychological testing to issues in the courts; - Addresses how test authors and publishers design and research tests to address the difficult and demanding issues of cultural differences in test performance and interpretation of test results.

DKK 884.00
1

Philosophy in Stan Brakhage's Dog Star Man - Alberto Baracco - Bog - Springer Nature Switzerland AG - Plusbog.dk

Philosophy in Stan Brakhage's Dog Star Man - Alberto Baracco - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book shows how a masterpiece of experimental cinema can be interpreted through hermeneutics of the film world. As an application of Ricœurian methodology to a non-narrative film, the book calls into question the fundamental concept of the film world. Firmly rooted within the context of experimental cinema, Stan Brakhage''s Dog Star Man was not created on the basis of a narrative structure and representation of characters, places and events, but on very different presuppositions. The techniques with which Brakhage worked on celluloid and used frames as canvases, as well as his choice to make the film without dialogue and sound, exhort the interpreter to directly question the philosophical language of moving images.

DKK 434.00
1

Pediatric Diagnostic Labs for Primary Care: An Evidence-based Approach - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Pediatric Diagnostic Labs for Primary Care: An Evidence-based Approach - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This textbook helps nurses, physician assistants, medical students and residents to order appropriate tests and understand how to interpret them to improve their diagnostic reasoning. Children are not like adults, and interpreting of the results of their diagnostic laboratory tests requires knowledge of the biochemical and metabolic differences. Using a combination of information, questions and case studies, the book allows readers to gain an understanding of the key concepts of sensitivity, specificity, and positive and negative predictive values, as well as the indications for diagnostic lab tests. This textbook presents the state of art in testing across body systems and guidance on how to order and interpret diagnostic laboratory tests in pediatric patients. Each chapter includes learning objectives, tables and figures, as well as questions and references for further learning. This textbook provides an update for clinicians and is a valuable learning tool for students and new clinicians. .

DKK 476.00
1

Modern Bayesian Statistics in Clinical Research - Ton J. Cleophas - Bog - Springer Nature Switzerland AG - Plusbog.dk

Modern Bayesian Statistics in Clinical Research - Ton J. Cleophas - Bog - Springer Nature Switzerland AG - Plusbog.dk

The current textbook has been written as a help to medical / health professionals and students for the study of modern Bayesian statistics, where posterior and prior odds have been replaced with posterior and prior likelihood distributions. Why may likelihood distributions better than normal distributions estimate uncertainties of statistical test results? Nobody knows for sure, and the use of likelihood distributions instead of normal distributions for the purpose has only just begun, but already everybody is trying and using them. SPSS statistical software version 25 (2017) has started to provide a combined module entitled Bayesian Statistics including almost all of the modern Bayesian tests (Bayesian t-tests, analysis of variance (anova), linear regression, crosstabs etc.). Modern Bayesian statistics is based on biological likelihoods, and may better fit clinical data than traditional tests based normal distributions do. This is the first edition to systematically imply modern Bayesian statistics in traditional clinical data analysis. This edition also demonstrates that Markov Chain Monte Carlo procedures laid out as Bayesian tests provide more robust correlation coefficients than traditional tests do. It also shows that traditional path statistics are both textually and conceptionally like Bayes theorems, and that structural equations models computed from them are the basis of multistep regressions, as used with causal Bayesian networks.

DKK 519.00
1

A Primer of Permutation Statistical Methods - Kenneth J. Berry - Bog - Springer Nature Switzerland AG - Plusbog.dk

A Primer of Permutation Statistical Methods - Kenneth J. Berry - Bog - Springer Nature Switzerland AG - Plusbog.dk

The primary purpose of this textbook is to introduce the reader to a wide variety of elementary permutation statistical methods. Permutation methods are optimal for small data sets and non-random samples, and are free of distributional assumptions. The book follows the conventional structure of most introductory books on statistical methods, and features chapters on central tendency and variability, one-sample tests, two-sample tests, matched-pairs tests, one-way fully-randomized analysis of variance, one-way randomized-blocks analysis of variance, simple regression and correlation, and the analysis of contingency tables. In addition, it introduces and describes a comparatively new permutation-based, chance-corrected measure of effect size. Because permutation tests and measures are distribution-free, do not assume normality, and do not rely on squared deviations among sample values, they are currently being applied in a wide variety of disciplines. This book presents permutation alternatives to existing classical statistics, and is intended as a textbook for undergraduate statistics courses or graduate courses in the natural, social, and physical sciences, while assuming only an elementary grasp of statistics.

DKK 646.00
1

Philosophy of Advanced Medical Imaging - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Philosophy of Advanced Medical Imaging - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This is the first book to explore the epistemology and ethics of advanced imaging tests, in order to improve the critical understanding of the nature of knowledge they provide and the practical consequences of their utilization in healthcare. Advanced medical imaging tests, such as PET and MRI, have gained center stage in medical research and in patients'' care. They also increasingly raise questions that pertain to philosophy: What is required to be an expert in reading images? How are standards for interpretation to be fixed? Is there a problem of overutilization of such tests? How should uncertainty be communicated to patients? How to cope with incidental findings? This book is of interest and importance to scholars of philosophy of medicine at all levels, from undergraduates to researchers, to medical researchers and practitioners (radiologists and nuclear physicians) interested in a critical appraisal of the methodology of their discipline and in the ethical principles and consequences of their work.

DKK 519.00
1

Practical Statistics for Pharmaceutical Analysis - James E. De Muth - Bog - Springer Nature Switzerland AG - Plusbog.dk

Practical Statistics for Pharmaceutical Analysis - James E. De Muth - Bog - Springer Nature Switzerland AG - Plusbog.dk

This is an introductory statistics book designed to provide scientists with practical information needed to apply the most common statistical tests to laboratory research data. The book is designed to be practical and applicable, so only minimal information is devoted to theory or equations. Emphasis is placed on the underlying principles for effective data analysis and survey the statistical tests. It is of special value for scientists who have access to Minitab software. Examples are provides for all the statistical tests and explanation of the interpretation of these results presented with Minitab (similar to results for any common software package). The book is specifically designed to contribute to the AAPS series on advances in the pharmaceutical sciences. It benefits professional scientists or graduate students who have not had a formal statistics class, who had bad experiences in such classes, or who just fear/don''t understand statistics . Chapter 1 focuses on terminology and essential elements of statistical testing. Statistics is often complicated by synonyms and this chapter established the terms used in the book and how rudiments interact to create statistical tests. Chapter 2 discussed descriptive statistics that are used to organize and summarize sample results. Chapter 3 discussed basic assumptions of probability, characteristics of a normal distribution, alternative approaches for non-normal distributions and introduces the topic of making inferences about a larger population based on a small sample from that population. Chapter 4 discussed hypothesis testing where computer output is interpreted and decisions are made regarding statistical significance. This chapter also deasl with the determination of appropriate sample sizes. The next three chapters focus on tests that make decisions about a population base on a small subset of information. Chapter 5 looks at statistical tests that evaluate where a significant difference exists. In Chapter 6 the tests try to determine the extent and importance of relationships. In contrast to fifth chapter, Chapter 7 presents tests that evaluate the equivalence, not the difference between levels being tested. The last chapter deals with potential outlier or aberrant values and how to statistically determine if they should be removed from the sample data. Each statistical test presented includes an example problem with the resultant software output and how to interpret the results. Minimal time is spent on the mathematical calculations or theory. For those interested in the associated equations, supplemental figures are presented for each test with respective formulas. In addition, Appendix D presents the equations and proof for every output result for the various examples. Examples and results from the appropriate statistical results are displayed using Minitab 18 Ò . In addition to the results, the required steps to analyze data using Minitab are presented with the examples for those having access to this software. Numerous other software packages are available, including based data analysis with Excel.

DKK 689.00
1

Finite Form Representations for Meijer G and Fox H Functions - Carlos A. Coelho - Bog - Springer Nature Switzerland AG - Plusbog.dk

Finite Form Representations for Meijer G and Fox H Functions - Carlos A. Coelho - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book depicts a wide range of situations in which there exist finite form representations for the Meijer G and the Fox H functions. Accordingly, it will be of interest to researchers and graduate students who, when implementing likelihood ratio tests in multivariate analysis, would like to know if there exists an explicit manageable finite form for the distribution of the test statistics. In these cases, both the exact quantiles and the exact p-values of the likelihood ratio tests can be computed quickly and efficiently. The test statistics in question range from common ones, such as those used to test e.g. the equality of means or the independence of blocks of variables in real or complex normally distributed random vectors; to far more elaborate tests on the structure of covariance matrices and equality of mean vectors. The book also provides computational modules in Mathematica ® , MAXIMA and R, which allow readers to easily implement, plot and compute the distributions of any of these statistics, or any other statistics that fit into the general paradigm described here.

DKK 816.00
1

Materials and Manufacturing Processes - J. Paulo Davim - Bog - Springer Nature Switzerland AG - Plusbog.dk

Materials and Manufacturing Processes - J. Paulo Davim - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book introduces the materials and traditional processes involved in the manufacturing industry. It discusses the properties and application of different engineering materials as well as the performance of failure tests. The book lists both destructible and non-destructible processes in detail. The design associated with each manufacturing processes, such Casting, Forming, Welding and Machining, are also covered.

DKK 816.00
1

Advances in Open Systems and Fundamental Tests of Quantum Mechanics - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Advances in Open Systems and Fundamental Tests of Quantum Mechanics - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Quantum mechanics has shown unprecedented success as a physical theory, but it has forced a new view on the description of physical reality. In recent years, important progress has been achieved both in the theory of open quantum systems and in the experimental realization and control of such systems. A great deal of the new results is concerned with the characterization and quantification of quantum memory effects. From this perspective, the 684. WE-Heraeus-Seminar has brought together scientists from different communities, both theoretical and experimental, sharing expertise on open quantum systems, as well as the commitment to the understanding of quantum mechanics. This book consists of many contributions addressing the diversified physics community interested in foundations of quantum mechanics and its applications and it reports about recent results in open quantum systems and their connection with the most advanced experiments testing quantum mechanics.

DKK 816.00
1