Search Results

ENGLISH

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

by Guy Mccusker

97,34€ + 10% CARD

free shipping

 This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
ENGLISH

Inheritance Relationships For Disciplined Software Construction

by Tracy A. Gardner

97,34€ + 10% CARD

free shipping

 Introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a conceptual basis, representing a fundamental use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting precise modelling of systems.
ENGLISH

Extensional Constructs In Intensional Type Theory

by Martin Hofmann

~~158,34€~~ 126,67€ 20% OFF + 5% CARD

 Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
ENGLISH

Models Of Sharing Graphs - A Categorical Semantics Of Let And Letrec

by Masahito Hasegawa

~~59,61€~~ 47,69€ 20% OFF + 5% CARD

 Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.
ENGLISH

Architecture-Independent Loop Parallelisation

by Radu C. Calinescu

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 This title looks at architecture-independent programming and automatic parallelization. Building on advances in both areas, the title proposes a unified approach to parallelization of scientific computing code. It is intended for researchers and post graduate students.
ENGLISH

Randomized Algorithms: Approximation, Generation, And Counting

by Russ Bubley

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 This study discusses two problems of fine pedigree - counting and generation - both of which are of fundamental importance to discrete mathematics and probability.
ENGLISH

Stochastic Algorithms For Visual Tracking - Probabilistic Modelling And Stochastic Algorithms For Visual Localisation And Tracking

by John Maccormick

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 An accessible yet rigorous exposition of particle filtering and the condensation algorithm.
ENGLISH

Asynchronous System-On-Chip Interconnect

by John Bainbridge

~~59,61€~~ 47,69€ 20% OFF + 5% CARD

 In this book, John Bainbridge investigates the design of an asynchronous on-chip interconnect, looking at all the stages of the design from the choice of wiring layout, through asynchronous signalling protocols to the higher level problems involved in supporting split transactions.
ENGLISH

Automated Theory Formation In Pure Mathematics

by Simon Colton

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.
ENGLISH

Inheritance Relationships For Disciplined Software Construction

by Tracy A. Gardner

~~59,61€~~ 47,69€ 20% OFF + 5% CARD

 Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it. This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise modelling of systems and capturing the semantic intent of each use of inheritance within a system.
ENGLISH

Image Mosaicing And Super-Resolution

by David Capel

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 The thesis presented in this text investigates the problem of how information in multiple, overlapping images of the same scene may be combined to produced images of superior quality, and how research in this area has potential uses in forensic image restoration, visual special effects, and other areas.
ENGLISH

Dynamic Flexible Constraint Satisfaction And Its Application To Ai Planning

by Ian Miguel

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 1 Solving Classical CSPs . 2 Applicat ions of Classical CSP . 3 Limitations of Classical CSP . 2 Dynamic CSP . 4 Dynamic Flexible CSP . 1 Constraints and Constraint Graphs . 2 Tree Search Solution Techniques for Classical CSP . 1 Backtrack . 2 Backjumping .
ENGLISH

Combination Of Geometry Theorem Proving And Nonstandard Analysis With Application To Newton'S Principia

by Jacques Fleuriot

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 Sir Isaac Newton''s philosophi Naturalis Principia Mathematica''(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague. In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton''s original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.
ENGLISH

Accurate Visual Metrology From Single And Multiple Uncalibrated Images

by Antonio Criminisi

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, and builds up a hierarchy of novel, flexible techniques to make measurements and reconstruct three-dimensional scenes from uncalibrated images, paying particular attention to the accuracy of the reconstruction.This book includes examples of interesting viable applications (eg. Forensic Science, History of Art, Virtual Reality, Architectural and indoor measurements), presented in a simple way, accompanied by pictures, diagrams and plenty of worked examples to help the reader understand and implement the algorithms.
ENGLISH

Hardware Evolution - Automatic Design Of Electronic Circuits In Reconfigurable Hardware By Artificial Evolution

by Adrian Thompson

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 Evolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans for a large part of our history, in the breeding of plants and livestock. Artificial evolution, where we evolve an artifact through artificial selection, has been around since electronic computers became common: about 30 years. Right from the beginning, people have suggested using artificial evolution to design electronics automatically.l Only recently, though, have suitable re configurable silicon chips become available that make it easy for artificial evolution to work with a real, physical, electronic medium: before them, ex periments had to be done entirely in software simulations. Early research concentrated on the potential applications opened-up by the raw speed ad vantage of dedicated digital hardware over software simulation on a general purpose computer. This book is an attempt to show that there is more to it than that. In fact, a radically new viewpoint is possible, with fascinating consequences. This book was written as a doctoral thesis, submitted in September 1996. As such, it was a rather daring exercise in ruthless brevity. Believing that the contribution I had to make was essentially a simple one, I resisted being drawn into peripheral discussions. In the places where I deliberately drop a subject, this implies neither that it''s not interesting, nor that it''s not relevant: just that it''s not a crucial part of the tale I want to tell here.
ENGLISH

Search And Planning Under Incomplete Information - A Study Using Bridge Card Play

by Ian Frank

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and improving some of the formatting and readability. Since the original work was completed (early 1996), research has progressed. Most notably, the public profile of AI and game-playing has reached new heights with the feats of the chess computer DEEPER BLUE (which surely uses AI, no matter what IBM would have us believe). Although less heralded, the ability of computers to play Bridge (the main example domain in this book) has also increased. In July of 1997 a world championship for computer Bridge programs was hosted by the American Contract Bridge League in Albuquerque, New Mex ico. This contest was won by a program called Bridge Baron, produced by Great Game Products. Bridge Baron incorporates knowledge-based planning techniques developed by Stephen Smith and Dana Nau [1, 2]. Progress has also been made on the contrasting, more brute-force, approach of sampling the possible card distributions. In particular, Matt Ginsberg has developed a fast double-dummy solver based on partition search [3]. Ginsberg''s program fared poorly in the 1997 Bridge championships, but Ginsberg himself reports very promising results [4] on a hard set of complete Bridge deals taken from the Bridge tutoring program Bridge Master.
ENGLISH

Theorem Proving With The Real Numbers

by John Harrison

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 This book discusses the use of the real numbers in theorem proving. We de- scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.
ENGLISH

Large Scale Collaborative Virtual Environments

by Chris Greenhalgh

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 Collaborative virtual environments are multi-user virtual realities which actively support communication and co-operation. This book addresses the theory, design, realisation and evaluation of such systems, with a particular emphasis on support for large numbers of distributed users.
ENGLISH

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

by Guy Mccusker

~~59,61€~~ 47,69€ 20% OFF + 5% CARD

 In particular, fully abstract models have been found for various kinds of languages with local variables (8,13-16), and a fully complete games model of the polymorphic language System F has been constructed by Hughes (59).
ENGLISH

User-Developer Cooperation In Software Development - Building Common Ground And Usable Systems

by Eamonn O'Neill

~~118,59€~~ 94,87€ 20% OFF + 5% CARD

 Task analysis approaches to software development encourage a focus on supporting users and their tasks while participatory design approaches encourage users' direct, active contributions to software development work.
ENGLISH

Strength Or Accuracy: Credit Assignment In Learning Classifier Systems

by Tim Kovacs

~~171,59€~~ 137,27€ 20% OFF + 5% CARD

 A detailed examination of learning classifier systems (LCS), a form of machine learning system, which incorporates both Evolutionary Algorithms and Reinforcement Learning Algorithms.
ENGLISH

Cold Justice

by Katherine Howell

20,27€ + 10% CARD

free shipping

 Cold Justice races like a speeding ambulance, delivering so many surprises and thrills that you'll scarcely have time to breathe. This was one of my favorite books of the year. Katherine Howell has written a real winner!' Tess Gerritsen
ENGLISH

The Exile

by Patrick Rambaud

20,27€ + 10% CARD

free shipping

 After his disastrous Russian campaign of 1812, Napoleon returns to France to find a country under attack from the rest of Europe -- and from within.
ENGLISH

User-Developer Cooperation In Software Development - Building Common Ground And Usable Systems

by Eamonn O'Neill

121,66€ + 10% CARD

free shipping

 Task analysis approaches to software development encourage a focus on supporting users and their tasks while participatory design approaches encourage users' direct, active contributions to software development work.
Loading results...

View more results