Kirjojen hintavertailu. Mukana 11 244 527 kirjaa ja 12 kauppaa.

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Dirk Draheim

Generalized Jeffrey Conditionalization

Generalized Jeffrey Conditionalization

Dirk Draheim

Springer International Publishing AG
2017
nidottu
This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability via so-called probability testbeds. It analyzes the resulting partial conditionalization, called frequentist partial (F.P.) conditionalization, from different angles, i.e., with respect to partitions, segmentation, independence, and chaining. It turns out that F.P. conditionalization meets and generalizes Jeffrey conditionalization, i.e., from partitions to arbitrary collections of events, opening it for reassessment and a range of potential applications. A counterpart of Jeffrey’s rule for the case of independence holds in our frequentist semantics. This result is compared to Jeffrey’s commutative chaining of independent updates.The postulate of Jeffrey's probability kinematics, which is rooted in the subjectivism of Frank P. Ramsey, is found to be a consequence in our frequentist semantics. This way the book creates a link between the Kolmogorov system of probability and one of the important Bayesian frameworks. Furthermore, it shows a preservation result for conditional probabilities under the full update range and compares F.P. semantics with an operational semantics of classical conditional probability in terms of so-called conditional events. Lastly, it looks at the subjectivist notion of desirabilities and proposes a more fine-grained analysis of desirabilities a posteriori.This book appeals to researchers who are involved in any kind of knowledge processing systems. F.P. conditionalization is a straightforward, fundamental concept that fits human intuition, and is systematically linked to one of the important Bayesian frameworks. As such, the book is interesting for anybody investigating the semantics of reasoning systems.
Pathways in Software Engineering

Pathways in Software Engineering

Dirk Draheim

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2022
sidottu
Software is pervasive in today's technical systems in industry and everyday life. Modern enterprises strategically invest into software and often have their own software development departments. Software engineering is the exciting discipline that addresses the challenges of today’s software projects: cost and time pressure and software quality. This book aims at uncovering the implicit assumptions of today’s leading software engineering paradigms. It presents knowledge shared by seasoned experts in the field which is usually gained by experience in software engineering projects or communication between software engineers only. This way, the book wants to empower the ambitious software developer to become the project’s systems thinker and systems strategist by telling the story of successful software engineering projects.
Semantics of the Probabilistic Typed Lambda Calculus

Semantics of the Probabilistic Typed Lambda Calculus

Dirk Draheim

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2017
sidottu
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice.The book starts with a recapitulation of the basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and domain theory, and also explores the topic of inductive definitions. It then defines the syntax and establishes the Markov chain semantics of the probabilistic lambda calculus and, furthermore, both a graph and a tree semantics. Based on that, it investigates the termination behavior of probabilistic programs. It introduces the notions of termination degree, bounded termination and path stoppability and investigates their mutual relationships. Lastly, it defines a denotational semantics of the probabilistic lambda calculus, based on continuous functions over probability distributionsas domains.The work mostly appeals to researchers in theoretical computer science focusing on probabilistic programming, randomized algorithms, or programming language theory.
Semantics of the Probabilistic Typed Lambda Calculus

Semantics of the Probabilistic Typed Lambda Calculus

Dirk Draheim

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2018
nidottu
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice.The book starts with a recapitulation of the basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and domain theory, and also explores the topic of inductive definitions. It then defines the syntax and establishes the Markov chain semantics of the probabilistic lambda calculus and, furthermore, both a graph and a tree semantics. Based on that, it investigates the termination behavior of probabilistic programs. It introduces the notions of termination degree, bounded termination and path stoppability and investigates their mutual relationships. Lastly, it defines a denotational semantics of the probabilistic lambda calculus, based on continuous functions over probability distributionsas domains.The work mostly appeals to researchers in theoretical computer science focusing on probabilistic programming, randomized algorithms, or programming language theory.
Form-Oriented Analysis

Form-Oriented Analysis

Dirk Draheim; Gerald Weber

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2004
sidottu
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application domain. They introduce new modeling artifacts, such as page diagrams and form storyboards, and separate dialogue patterns to allow for reuse. In their implementation they have developed new constructs such as typed server pages, and tools for forward and reverse engineering of presentation layers. The methodology is explained using an online bookshop as a running example in which the user can experience the modeling concepts in action. The combination of theoretical achievements and hands-on practical advice and tools makes this book a reference work for both researchers in the areas of software architectures and submit-response style user interfaces, and professionals designing and developing such applications. More information and additional material is also available online.
Business Process Technology

Business Process Technology

Dirk Draheim; Colin Atkinson

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2010
sidottu
Currently, we see a variety of tools and techniques for specifying and implementing business processes. The problem is that there are still gaps and tensions between the different disciplines needed to improve business process execution and improvement in enterprises. Business process modeling, workflow execution and application programming are examples of disciplines that are hosted by different communities and that emerged separately from each other. In particular, concepts have not yet been fully elaborated at the system analysis level. Therefore, practitioners are faced again and again with similar questions in concrete business process projects: Which decomposition mechanism to use? How to find the correct granularity for business process activities? Which implementing technology is the optimal one in a given situation? This work offers an approach to the systematization of the field. The methodology used is explicitly not a comparative analysis of existing tools and techniques – although a review of existing tools is an essential basis for the considerations in the book. Rather, the book tries to provide a landscape of rationales and concepts in business processes with a discussion of alternatives.
Form-Oriented Analysis

Form-Oriented Analysis

Dirk Draheim; Gerald Weber

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2010
nidottu
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application domain. They introduce new modeling artifacts, such as page diagrams and form storyboards, and separate dialogue patterns to allow for reuse. In their implementation they have developed new constructs such as typed server pages, and tools for forward and reverse engineering of presentation layers. The methodology is explained using an online bookshop as a running example in which the user can experience the modeling concepts in action. The combination of theoretical achievements and hands-on practical advice and tools makes this book a reference work for both researchers in the areas of software architectures and submit-response style user interfaces, and professionals designing and developing such applications. More information and additional material is also available online.
Business Process Technology

Business Process Technology

Dirk Draheim; Colin Atkinson

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2014
nidottu
Currently, we see a variety of tools and techniques for specifying and implementing business processes. The problem is that there are still gaps and tensions between the different disciplines needed to improve business process execution and improvement in enterprises. Business process modeling, workflow execution and application programming are examples of disciplines that are hosted by different communities and that emerged separately from each other. In particular, concepts have not yet been fully elaborated at the system analysis level. Therefore, practitioners are faced again and again with similar questions in concrete business process projects: Which decomposition mechanism to use? How to find the correct granularity for business process activities? Which implementing technology is the optimal one in a given situation? This work offers an approach to the systematization of the field. The methodology used is explicitly not a comparative analysis of existing tools and techniques – although a review of existing tools is an essential basis for the considerations in the book. Rather, the book tries to provide a landscape of rationales and concepts in business processes with a discussion of alternatives.
Dirk Bones and the Mystery of the Haunted House
An exciting, gently spooky, and fun early reader detective adventure You'll join School Library Journal is welcoming this Level One I Can Read "to the primer shelves both at Halloween time and throughout the year."Dirk Bones and the Mystery of the Haunted House is a Level One I Can Read book, which means it's perfect for children learning to sound out words and sentences. Whether shared at home or in a classroom, the short sentences, familiar words, and simple concepts of Level One books support success for children eager to start reading on their own.
Dirk Gently Omnibus

Dirk Gently Omnibus

Douglas Adams

Arrow Books Ltd
2001
sidottu
Two quirky detective stories from Britain's best sci-fi writer and author of The Hitch Hiker's Guide to the Galaxy: Douglas Adams. Dirk Gently is a detective - well, a sort of detective.
Dirk Gently's Holistic Detective Agency

Dirk Gently's Holistic Detective Agency

James Goss

Samuel French Ltd
2016
nidottu
After The Hitchhiker's Guide to the Galaxy, Douglas Adams went on to create Dirk Gently, a detective with a belief in the fundamental interconnectedness of all things, a unique relationship with the laws of probability, and a love of cats and pizza. In Dirk Gently's Holistic Detective Agency, Dirk finds himself on the trail of a gruesome murderer who is somehow involved with the works of Coleridge, quantum physics, and the enigmatic study of the Cambridge Professor of Chronology. Ultimately, the stakes of the case are far greater than a single murder, but go to the fate of life on Earth. Confused? Don't be - everything is connected.
Dirk Bikkembergs

Dirk Bikkembergs

Dirk Bikkembergs

Rizzoli International Publications
2014
sidottu
This volume marks the twenty-fifth anniversary of the groundbreaking fashion designer who bridged the exclusivity and sex appeal of fashion and the universality and masculinity of sports. One of the much-written-about Antwerp Six group of influential cutting-edge Belgian fashion designers, Dirk Bikkembergs audaciously chose to focus his designs on the intersection between fashion and sport, particularly pieces designed for or inspired by soccer. Seeing sports as a universal language, Bikkembergs designed haute couture for athletes who are themselves already aesthetic icons of masculinity. The first designer to hold a fashion show in a sports stadium, Bikkembergs uses his local soccer team as a laboratory for styling with the latest fabric technology, creating designs that are sexy yet comfortably flexible, from exclusive jackets to high-performance underwear and sporty street shoes. In this handsome book, all of his one-of-a-kind designs are showcased in photographs taken in various locations around the world.
The Writings Of Dirk Philips

The Writings Of Dirk Philips

Dirk Philips

Plough Publishing House
2019
pokkari
The complete works of a Franciscan friar turned Anabaptist theologian and a founder of the Mennonite church. This book contains all the known writings of early Anabaptist leader Dirk Philips (1504–1568), translated into English from Philips’s original 1564 Dutch volume. Annotations and introductions make it useful to both general readers and scholars. Philips’s treatises make important contributions to the literature of early Anabaptism; he writes about the incarnation, baptism, the Lord’s Supper, mission, the tabernacle, the new birth, church discipline, and marriage. This is the sixth volume in the Classics of the Radical Reformation, a series of Anabaptist and Free Church documents translated and annotated under the direction of the Institute of Mennonite Studies.
Dirk Turby

Dirk Turby

Everett Wiggins

Lulu.com
2021
pokkari
Dirk Turby, an Americana Shakespearean drama of family and death and inheritance and deception, is about a small-time mid-Michigan drug dealer trying to save the family farm.