wyszukanych pozycji: 8
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ISBN: 9783642551970 / Angielski / Twarda / 2017 / 218 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for the typed lambda calculus with recursion and probabilistic choices. It exploits statistical distributions as domains and defines appropriate denotational semantics for the introduced lambda calculus. It proofs important correspondence theorems between the established operational and denotational semantics. In the second part, we review the power of inductive logics as the foundation for expert reasoning systems.
In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for...
|
|
cena:
466,91 zł |
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
ISBN: 9783540205937 / Angielski / Twarda / 2004 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic... |
|
cena:
389,09 zł |
Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selct
ISBN: 9783540759119 / Angielski / Miękka / 2007 / 358 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms. This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture,... |
|
cena:
194,52 zł |
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ISBN: 9783662568729 / Angielski / Miękka / 2018 / 218 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
466,91 zł |
Trends in Enterprise Application Architecture: Vldb Workshop, Teaa 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers
ISBN: 9783540327349 / Angielski / Miękka / 2006 / 162 str. Termin realizacji zamówienia: ok. 20 dni roboczych. TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the conference VLDB 2005 (31st International Conference on Very Large Databases) in August 2005 in Trondheim, Norway. Enterprise applicationsare mission criticalfor organizations.Currently there are several initiatives that see enterprise application integration as their natural playground, like Model Driven Architecture and Service Oriented Architecture. Now is the time to investigate how these approaches can provide added value. At TEAA 2005 the contributions identi?ed a problem or issue in enterprise...
TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the conference VLDB 2005 (31st International Conference on Very ...
|
|
cena:
194,52 zł |
Generalized Jeffrey Conditionalization: A Frequentist Semantics of Partial Conditionalization
ISBN: 9783319698670 / Angielski / Miękka / 2017 / 106 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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.
This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of cla...
|
|
cena:
194,52 zł |
Business Process Technology: A Unified View on Business Processes, Workflows and Enterprise Applications
ISBN: 9783642448348 / Angielski / Miękka / 2014 / 306 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
Currently, we see a variety of tools and techniques for specifying and implementing business processes. The problem is that there are still gaps and t...
|
|
cena:
194,52 zł |
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
ISBN: 9783642058226 / Angielski / Miękka / 2010 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic... |
|
cena:
389,09 zł |