91 resultater (0,35614 sekunder)

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Principles of Model Checking - Joost Pieter (rwth Aachen University) Katoen - Bog - MIT Press Ltd - Plusbog.dk

Principles of Model Checking - Joost Pieter (rwth Aachen University) Katoen - Bog - MIT Press Ltd - Plusbog.dk

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

DKK 877.00
1

Models of Innovation - Benoit Godin - Bog - MIT Press Ltd - Plusbog.dk

Models of Innovation - Benoit Godin - Bog - MIT Press Ltd - Plusbog.dk

Benoît Godin is a Professor at the Institut national de la recherche scientifique, Montreal. Models abound in science, technology, and society (STS) studies and in science, technology, and innovation (STI) studies. They are continually being invented, with one author developing many versions of the same model over time. At the same time, models are regularly criticized. Such is the case with the most influential model in STS-STI: the linear model of innovation. In this book, Benoît Godin examines the emergence and diffusion of the three most important conceptual models of innovation from the early twentieth century to the late 1980s: stage models, linear models, and holistic models. Godin first traces the history of the models of innovation constructed during this period, considering why these particular models came into being and what use was made of them. He then rethinks and debunks the historical narratives of models developed by theorists of innovation. Godin documents a greater diversity of thinkers and schools than in the conventional account, tracing a genealogy of models beginning with anthropologists, industrialists, and practitioners in the first half of the twentieth century to their later formalization in STS-STI. Godin suggests that a model is a conceptualization, which could be narrative, or a set of conceptualizations, or a paradigmatic perspective, often in pictorial form and reduced discursively to a simplified representation of reality. Why are so many things called models? Godin claims that model has a rhetorical function. First, a model is a symbol of “scientificity.” Second, a model travels easily among scholars and policy makers. Calling a conceptualization or narrative or perspective a model facilitates its propagation.

DKK 384.00
1

Linguistics for the Age of AI - Sergei Nirenburg - Bog - MIT Press Ltd - Plusbog.dk

Painting as Model - Yve Alain (institute For Advanced Study) Bois - Bog - MIT Press Ltd - Plusbog.dk

Engineering a Safer World - Nancy G. (massachusetts Institute Of Technology) Leveson - Bog - MIT Press Ltd - Plusbog.dk

Engineering a Safer World - Nancy G. (massachusetts Institute Of Technology) Leveson - Bog - MIT Press Ltd - Plusbog.dk

A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques. Engineering has experienced a technological revolution, but the basic engineering techniques applied in safety and reliability engineering, created in a simpler, analog world, have changed very little over the years. In this groundbreaking book, Nancy Leveson proposes a new approach to safety—more suited to today''s complex, sociotechnical, software-intensive world—based on modern systems thinking and systems theory. Revisiting and updating ideas pioneered by 1950s aerospace engineers in their System Safety concept, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective, less expensive, and easier to use than current techniques. Arguing that traditional models of causality are inadequate, Leveson presents a new, extended model of causation (Systems-Theoretic Accident Model and Processes, or STAMP), then shows how the new model can be used to create techniques for system safety engineering, including accident analysis, hazard analysis, system design, safety in operations, and management of safety-critical systems. She applies the new techniques to real-world events including the friendly-fire loss of a U.S. Blackhawk helicopter in the first Gulf War; the Vioxx recall; the U.S. Navy SUBSAFE program; and the bacterial contamination of a public water supply in a Canadian town. Leveson''s approach is relevant even beyond safety engineering, offering techniques for “reengineering” any large sociotechnical system to improve safety and manage risk.

DKK 387.00
1

Microeconomic Essentials - Jay Prag - Bog - MIT Press Ltd - Plusbog.dk

Microeconomic Essentials - Jay Prag - Bog - MIT Press Ltd - Plusbog.dk

A concise and nontechnical introduction to microeconomics, emphasizing concepts over mathematics, with real-world examples and applications. This concise and nontechnical introduction to microeconomics emphasizes concepts over mathematics. Keeping in mind that sometimes the most accurate model is not very useful in the real world, Microeconomic Essentials balances economics as mathematics with economics as a social process. Microeconomics is part of daily life; gas prices, wage increases, the rising cost of health care, international trade: all are microeconomic topics. Therefore, like its predecessor, Macroeconomic Essentials , this textbook accompanies its explanations with examples and real-world applications. The book covers the basic market model of supply and demand, showing how this “powerhouse” model can explain most price changes in the market. It discusses government intervention in the market; consumer theory and utility maximization, considering both concepts and real-world issues; the theory of the firm, “de-mathematizing” marginal revenue, marginal cost, and other topics; monopolies; perfect competition; and imperfect competition and oligopolies, as illustrated by OPEC, Coke, and Pepsi. It discusses game theory, reviewing the familiar models and concepts—while cautioning that game theory is best thought of as “a state of mind”; input markets; welfare and public economics, applying the tools presented in previous chapters; and international trade. Each chapter ends with examples and exercises. Appendixes supply answers to sample exam questions and solutions to even-numbered exercises.

DKK 613.00
1

Autographic Design - Dietmar Offenhuber - Bog - MIT Press Ltd - Plusbog.dk

Autographic Design - Dietmar Offenhuber - Bog - MIT Press Ltd - Plusbog.dk

An ambitious vision for design based on the premise that data is material, not abstract. Data analysis and visualization are crucial tools in today''s society, and digital representations have steadily become the default. Yet, more and more often, we find that citizen scientists, environmental activists, and forensic amateurs are using analog methods to present evidence of pollution, climate change, and the spread of disinformation. In this illuminating book, Dietmar Offenhuber presents a model for these practices, a model to make data generation accountable: autographic design.Autographic refers to the notion that every event inscribes itself in countless ways. Think of a sundial, for example, a perfectly autographic device that displays information on itself. Inspired by such post-digital practices of visualization and evidence construction, Offenhuber describes an approach to visualization based on the premise that data is a material entity rather than an abstract representation. Emerson wrote, “Every act of the man inscribes itself in the memories of his fellows, and in his own manners and face.” In Autographic Design , Offenhuber introduces a model for design that emphasizes traces, imprints, and self-inscriptions, turning them into sensory displays.In an age where misinformation is harder and harder to identify, Autographic Design makes an urgent and persuasive case for a different approach that calls attention to the production of data and its connection to the material world.

DKK 376.00
1

Introduction to Modeling Cognitive Processes - Tom Verguts - Bog - MIT Press Ltd - Plusbog.dk

Introduction to Modeling Cognitive Processes - Tom Verguts - Bog - MIT Press Ltd - Plusbog.dk

An introduction to computational modeling for cognitive neuroscientists, covering both foundational work and recent developments. Cognitive neuroscientists need sophisticated conceptual tools to make sense of their field’s proliferation of novel theories, methods, and data. Computational modeling is such a tool, enabling researchers to turn theories into precise formulations. This book offers a mathematically gentle and theoretically unified introduction to modeling cognitive processes. Theoretical exercises of varying degrees of difficulty throughout help readers develop their modeling skills. After a general introduction to cognitive modeling and optimization, the book covers models of decision making; supervised learning algorithms, including Hebbian learning, delta rule, and backpropagation; the statistical model analysis methods of model parameter estimation and model evaluation; the three recent cognitive modeling approaches of reinforcement learning, unsupervised learning, and Bayesian models; and models of social interaction. All mathematical concepts are introduced gradually, with no background in advanced topics required. Hints and solutions for exercises and a glossary follow the main text. All code in the book is Python, with the Spyder editor in the Anaconda environment. A GitHub repository with Python files enables readers to access the computer code used and start programming themselves. The book is suitable as an introduction to modeling cognitive processes for students across a range of disciplines and as a reference for researchers interested in a broad overview.

DKK 475.00
1

Regression Modeling for Linguistic Data - Morgan Sonderegger - Bog - MIT Press Ltd - Plusbog.dk

Regression Modeling for Linguistic Data - Morgan Sonderegger - Bog - MIT Press Ltd - Plusbog.dk

The first comprehensive textbook on regression modeling for linguistic data offers an incisive conceptual overview along with worked examples that teach practical skills for realistic data analysis. In the first comprehensive textbook on regression modeling for linguistic data in a frequentist framework, Morgan Sonderegger provides graduate students and researchers with an incisive conceptual overview along with worked examples that teach practical skills for realistic data analysis . The book features extensive treatment of mixed-effects regression models, the most widely used statistical method for analyzing linguistic data. Sonderegger begins with preliminaries to regression modeling: assumptions, inferential statistics, hypothesis testing, power, and other errors. He then covers regression models for non-clustered data: linear regression, model selection and validation, logistic regression, and applied topics such as contrast coding and nonlinear effects. The last three chapters discuss regression models for clustered data: linear and logistic mixed-effects models as well as model predictions, convergence, and model selection. The book’s focused scope and practical emphasis will equip readers to implement these methods and understand how they are used in current work. - The only advanced discussion of modeling for linguists - Uses R throughout, in practical examples using real datasets - Extensive treatment of mixed-effects regression models - Contains detailed, clear guidance on reporting models - Equal emphasis on observational data and data from controlled experiments - Suitable for graduate students and researchers with computational interests across linguistics and cognitive science

DKK 559.00
1

How Knowledge Grows - Chris Haufe - Bog - MIT Press Ltd - Plusbog.dk

How Knowledge Grows - Chris Haufe - Bog - MIT Press Ltd - Plusbog.dk

An argument that the development of scientific practice and growth of scientific knowledge are governed by Darwin’s evolutionary model of descent with modification. Although scientific investigation is influenced by our cognitive and moral failings as well as all of the factors impinging on human life, the historical development of scientific knowledge has trended toward an increasingly accurate picture of an increasing number of phenomena. Taking a fresh look at Thomas Kuhn’s 1962 work, The Structure of Scientific Revolutions , in How Knowledge Grows Chris Haufe uses evolutionary theory to explain both why scientific practice develops the way it does and how scientific knowledge expands. This evolutionary model, claims Haufe, helps to explain what is epistemically special about scientific knowledge: its tendency to grow in both depth and breadth.Kuhn showed how intellectual communities achieve consensus in part by discriminating against ideas that differ from their own and isolating themselves intellectually from other fields of inquiry and broader social concerns. These same characteristics, says Haufe, determine a biological population’s degree of susceptibility to modification by natural selection. He argues that scientific knowledge grows, even across generations of variable groups of scientists, precisely because its development is governed by Darwinian evolution. Indeed, he supports the claim that this susceptibility to modification through natural selection helps to explain the epistemic power of certain branches of modern science. In updating and expanding the evolutionary approach to scientific knowledge, Haufe provides a model for thinking about science that acknowledges the historical contingency of scientific thought while showing why we nevertheless should trust the results of scientific research when it is the product of certain kinds of scientific communities.

DKK 475.00
1

Elements of Game Design - Robert Zubek - Bog - MIT Press Ltd - Plusbog.dk

Algorithms for Decision Making - Tim A. Wheeler - Bog - MIT Press Ltd - Plusbog.dk

Algorithms for Decision Making - Tim A. Wheeler - Bog - MIT Press Ltd - Plusbog.dk

A broad introduction to algorithms for decision making under uncertainty, introducing the underlying mathematical problem formulations and the algorithms for solving them. Automated decision-making systems or decision-support systems—used in applications that range from aircraft collision avoidance to breast cancer screening—must be designed to account for various sources of uncertainty while carefully balancing multiple objectives. This textbook provides a broad introduction to algorithms for decision making under uncertainty, covering the underlying mathematical problem formulations and the algorithms for solving them. The book first addresses the problem of reasoning about uncertainty and objectives in simple decisions at a single point in time, and then turns to sequential decision problems in stochastic environments where the outcomes of our actions are uncertain. It goes on to address model uncertainty, when we do not start with a known model and must learn how to act through interaction with the environment; state uncertainty, in which we do not know the current state of the environment due to imperfect perceptual information; and decision contexts involving multiple agents. The book focuses primarily on planning and reinforcement learning, although some of the techniques presented draw on elements of supervised learning and optimization. Algorithms are implemented in the Julia programming language. Figures, examples, and exercises convey the intuition behind the various approaches presented.

DKK 915.00
1

Introduction to Computation and Programming Using Python, third edition - John V. Guttag - Bog - MIT Press Ltd - Plusbog.dk

Macroeconomic Analysis - Dirk (director Niepelt - Bog - MIT Press Ltd - Plusbog.dk

Macroeconomic Analysis - Dirk (director Niepelt - Bog - MIT Press Ltd - Plusbog.dk

A concise but rigorous and thorough introduction to modern macroeconomic theory. This book offers an introduction to modern macroeconomic theory. It is concise but rigorous and broad, covering all major areas in mainstream macroeconomics today and showing how macroeconomic models build on and relate to each other. The self-contained text begins with models of individual decision makers, proceeds to models of general equilibrium without and with friction, and, finally, presents positive and normative theories of economic policy. After a review of the microeconomic foundations of macroeconomics, the book analyzes the household optimization problem, the representative household model, and the overlapping generations model. It examines risk and the implications for household choices and macroeconomic outcomes; equilibrium asset returns, prices, and bubbles; labor supply, growth, and business cycles; and open economy issues. It introduces frictions and analyzes their consequences in the labor market, financial markets, and for investment; studies money as a unit of account, store of value, and medium of exchange; and analyzes price setting in general equilibrium. Turning to government and economic policy, the book covers taxation, debt, social security, and monetary policy; optimal fiscal and monetary policies; and sequential policy choice, with applications in capital income taxation, sovereign debt and default, politically motivated redistribution, and monetary policy biases. Macroeconomic Analysis can be used by first-year graduate students in economics and students in master''s programs, and as a supplemental text for advanced courses.

DKK 581.00
1

Makers of the Microchip - Christophe Lecuyer - Bog - MIT Press Ltd - Plusbog.dk

Makers of the Microchip - Christophe Lecuyer - Bog - MIT Press Ltd - Plusbog.dk

The first years of the company that developed the microchip and created the model for a successful Silicon Valley start-up. In the first three and a half years of its existence, Fairchild Semiconductor developed, produced, and marketed the device that would become the fundamental building block of the digital world: the microchip. Founded in 1957 by eight former employees of the Schockley Semiconductor Laboratory, Fairchild created the model for a successful Silicon Valley start-up: intense activity with a common goal, close collaboration, and a quick path to the market (Fairchild''s first device hit the market just ten months after the company''s founding). Fairchild Semiconductor was one of the first companies financed by venture capital, and its success inspired the establishment of venture capital firms in the San Francisco Bay area. These firms would finance the explosive growth of Silicon Valley over the next several decades. This history of the early years of Fairchild Semiconductor examines the technological, business, and social dynamics behind its innovative products. The centerpiece of the book is a collection of documents, reproduced in facsimile, including the company''s first prospectus; ideas, sketches, and plans for the company''s products; and a notebook kept by cofounder Jay Last that records problems, schedules, and tasks discussed at weekly meetings. A historical overview, interpretive essays, and an introduction to semiconductor technology in the period accompany these primary documents.

DKK 376.00
1

Bayesian Statistics for Experimental Scientists - Richard A Chechile - Bog - MIT Press Ltd - Plusbog.dk

Bayesian Statistics for Experimental Scientists - Richard A Chechile - Bog - MIT Press Ltd - Plusbog.dk

An introduction to the Bayesian approach to statistical inference that demonstrates its superiority to orthodox frequentist statistical analysis. This book offers an introduction to the Bayesian approach to statistical inference, with a focus on nonparametric and distribution-free methods. It covers not only well-developed methods for doing Bayesian statistics but also novel tools that enable Bayesian statistical analyses for cases that previously did not have a full Bayesian solution. The book''s premise is that there are fundamental problems with orthodox frequentist statistical analyses that distort the scientific process. Side-by-side comparisons of Bayesian and frequentist methods illustrate the mismatch between the needs of experimental scientists in making inferences from data and the properties of the standard tools of classical statistics. The book first covers elementary probability theory, the binomial model, the multinomial model, and methods for comparing different experimental conditions or groups. It then turns its focus to distribution-free statistics that are based on having ranked data, examining data from experimental studies and rank-based correlative methods. Each chapter includes exercises that help readers achieve a more complete understanding of the material. The book devotes considerable attention not only to the linkage of statistics to practices in experimental science but also to the theoretical foundations of statistics. Frequentist statistical practices often violate their own theoretical premises. The beauty of Bayesian statistics, readers will learn, is that it is an internally coherent system of scientific inference that can be proved from probability theory.

DKK 613.00
1

Discovering Complexity - William (professor Of Philosophy Bechtel - Bog - MIT Press Ltd - Plusbog.dk

Discovering Complexity - William (professor Of Philosophy Bechtel - Bog - MIT Press Ltd - Plusbog.dk

An analysis of two heuristic strategies for the development of mechanistic models, illustrated with historical examples from the life sciences. In Discovering Complexity , William Bechtel and Robert Richardson examine two heuristics that guided the development of mechanistic models in the life sciences: decomposition and localization. Drawing on historical cases from disciplines including cell biology, cognitive neuroscience, and genetics, they identify a number of "choice points" that life scientists confront in developing mechanistic explanations and show how different choices result in divergent explanatory models. Describing decomposition as the attempt to differentiate functional and structural components of a system and localization as the assignment of responsibility for specific functions to specific structures, Bechtel and Richardson examine the usefulness of these heuristics as well as their fallibility—the sometimes false assumption underlying them that nature is significantly decomposable and hierarchically organized. When Discovering Complexity was originally published in 1993, few philosophers of science perceived the centrality of seeking mechanisms to explain phenomena in biology, relying instead on the model of nomological explanation advanced by the logical positivists (a model Bechtel and Richardson found to be utterly inapplicable to the examples from the life sciences in their study). Since then, mechanism and mechanistic explanation have become widely discussed. In a substantive new introduction to this MIT Press edition of their book, Bechtel and Richardson examine both philosophical and scientific developments in research on mechanistic models since 1993.

DKK 175.00
1

Knowledge Graphs - Craig Knoblock - Bog - MIT Press Ltd - Plusbog.dk

Craft Weed - Ryan (associate Professor Stoa - Bog - MIT Press Ltd - Plusbog.dk

Craft Weed - Ryan (associate Professor Stoa - Bog - MIT Press Ltd - Plusbog.dk

How the future of post-legalization marijuana farming can be sustainable, local, and artisanal. What will the marijuana industry look like as legalization spreads? Will corporations sweep in and create Big Marijuana, flooding the market with mass-produced weed? Or will marijuana agriculture stay true to its roots in family farming, and reflect a sustainable, local, and artisanal ethic? In Craft Weed , Ryan Stoa argues that the future of the marijuana industry should be powered by small farms—that its model should be more craft beer than Anheuser-Busch.To make his case for craft weed, Stoa interviews veteran and novice marijuana growers, politicians, activists, and investors. He provides a history of marijuana farming and its post-hippie resurgence in the United States. He reports on the amazing adaptability of the cannabis plant and its genetic gifts, the legalization movement, regulatory efforts, the tradeoffs of indoor versus outdoor farms, and the environmental impacts of marijuana agriculture. To protect and promote small farmers and their communities, Stoa proposes a Marijuana Appellation system, modeled after the wine industry, which would provide a certified designation of origin to local crops. A sustainable, local, and artisanal farming model is not an inevitable future for the marijuana industry, but Craft Weed makes clear that marijuana legalization has the potential to revitalize rural communities and the American family farm.As the era of marijuana prohibition comes to an end, now is the time to think about what kind of marijuana industry and marijuana agriculture we want. Craft Weed will help us plan for a future that is almost here.

DKK 249.00
1

Craft Weed, with a new preface by the author - Ryan Stoa - Bog - MIT Press Ltd - Plusbog.dk

Craft Weed, with a new preface by the author - Ryan Stoa - Bog - MIT Press Ltd - Plusbog.dk

How the future of post-legalization marijuana farming can be sustainable, local, and artisanal. What will the marijuana industry look like as legalization spreads? Will corporations sweep in and create Big Marijuana, flooding the market with mass-produced weed? Or will marijuana agriculture stay true to its roots in family farming, and reflect a sustainable, local, and artisanal ethic? In Craft Weed, Ryan Stoa argues that the future of the marijuana industry should be powered by small farms—that its model should be more craft beer than Anheuser-Busch. To make his case for craft weed, Stoa interviews veteran and novice marijuana growers, politicians, activists, and investors. He provides a history of marijuana farming and its post-hippie resurgence in the United States. He reports on the amazing adaptability of the cannabis plant and its genetic gifts, the legalization movement, regulatory efforts, the tradeoffs of indoor versus outdoor farms, and the environmental impacts of marijuana agriculture. To protect and promote small farmers and their communities, Stoa proposes a Marijuana Appellation system, modeled after the wine industry, which would provide a certified designation of origin to local crops. A sustainable, local, and artisanal farming model is not an inevitable future for the marijuana industry, but Craft Weed makes clear that marijuana legalization has the potential to revitalize rural communities and the American family farm. As the era of marijuana prohibition comes to an end, now is the time to think about what kind of marijuana industry and marijuana agriculture we want. Craft Weed will help us plan for a future that is almost here.

DKK 209.00
1