Resultados de Pesquisa

INGLÊS

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

de Guy Mccusker

97,34€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Inheritance Relationships For Disciplined Software Construction

de Tracy A. Gardner

97,34€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Extensional Constructs In Intensional Type Theory

de Martin Hofmann

158,34€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

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

de Masahito Hasegawa

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Architecture-Independent Loop Parallelisation

de Radu C. Calinescu

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Randomized Algorithms: Approximation, Generation, And Counting

de Russ Bubley

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

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

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

de John Maccormick

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 An accessible yet rigorous exposition of particle filtering and the condensation algorithm.
INGLÊS

Asynchronous System-On-Chip Interconnect

de John Bainbridge

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Automated Theory Formation In Pure Mathematics

de Simon Colton

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Inheritance Relationships For Disciplined Software Construction

de Tracy A. Gardner

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Image Mosaicing And Super-Resolution

de David Capel

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Dynamic Flexible Constraint Satisfaction And Its Application To Ai Planning

de Ian Miguel

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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 .
INGLÊS

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

de Jacques Fleuriot

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Accurate Visual Metrology From Single And Multiple Uncalibrated Images

de Antonio Criminisi

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

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

de Adrian Thompson

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

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

de Ian Frank

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Theorem Proving With The Real Numbers

de John Harrison

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Large Scale Collaborative Virtual Environments

de Chris Greenhalgh

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

de Guy Mccusker

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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).
INGLÊS

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

de Eamonn O'Neill

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Strength Or Accuracy: Credit Assignment In Learning Classifier Systems

de Tim Kovacs

171,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

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

Cold Justice

de Katherine Howell

20,27€ + 10% EM CARTÃO

portes grátis

 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
INGLÊS

The Exile

de Patrick Rambaud

20,27€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

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

de Eamonn O'Neill

121,66€ + 10% EM CARTÃO

portes grátis

 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.
A carregar resultados...

Ver mais resultados