Authors:Agostino Dovier, Enrico Pontelli,
Publisher: Springer
Keywords: programming, logic, computer, notes, science, software, lecture, engineering, association, perspective, achievements, italian, year, gulp
Number of Pages: 329
Published: 2010-09-10
List price: $83.00
ISBN-10: 3642143083
ISBN-13: 9783642143083

This book celebrates the 25th anniversary of GULP—the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The book closes with a chapter reviewing in detail the main applications of logic programming devel

Author: Agostino Prastaro
Publisher: World Scientific Publishing Company
Keywords: mechanics, pdes, geometry
Number of Pages: 750
Published: 1996-08
List price: $88.00
ISBN-10: 9810225202
ISBN-13: 9789810225209

This volume presents the theory of partial differential equations (PDEs) from a modern geometric point of view so that PDEs can be characterized by using either technique of differential geometry or algebraic geometry. This allows us to recognize the richness of the structure of PDEs. It presents, for the first time, a geometric theory of non-commutative (quantum) PDEs and gives a general application of this theory to quantum field theory and quantum supergravity.

Author: Agostino Cortesi
Publisher: Springer
Keywords: revised, january, italy, papers, lecture, science, computer, notes, venice, vmcai, abstract, checking, model, interpretation, third, workshop, international, verification
Number of Pages: 331
Published: 2002-05-28
List price: $64.95
ISBN-10: 3540436316
ISBN-13: 9783540436317

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002. The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.

Authors:Agostino von Hassell, Ed Breslin,
Publisher: Thomas Nelson
Keywords: generals, destiny, pursuit, patton
Number of Pages: 224
Published: 2010-08-17
List price: $19.99
ISBN-10: 1595550569
ISBN-13: 9781595550569

General George Patton was known for carrying pistols with ivory handles and for his intemperate manner, but it’s his outspoken advocacy for tanks that carved his place in history, not only as a military pioneer, but as one of the most colorful and controversial American generals of the twentieth century. Patton was impulsive, impatient, and would often disregard higher command when he felt his methods or tactics would achieve the desired result. He is remembered for his fierce determination and ability to lead soldiers. Unlike most generals, he wasn’t content to stay behind enemy

Authors:Ana Agostino, Glenn Ashton,
Publisher: Jacana Media
Keywords: knowledge, life, privatisation, world, patented
Number of Pages: 240
Published: 2007-04-01
List price: $18.00
ISBN-10: 1770092293
ISBN-13: 9781770092297

A fascinating collection of essays, this study analyzes the issue of property rights, the growing private possession of life and ideas, and the erosion of human rights as a result. From a wide range of experts and specialists, the breadth of topics discussed include genetically engineered crops, patented computer programs, harvesting of human cells, and the exploitation of biodiversity including the use of molecules and atoms for private profit. From court cases on individuals seeking the property rights to their own spleen cells to corporations securing the rights to breast cancer genes, this

Authors:Nigel H. M. Wilson, Agostino Nuzzolo,
Publisher: Springer
Keywords: computer, research, science, interfaces, series, operations, applications, modeling, based, transportation, networks, theory, schedule
Number of Pages: 316
Published: 2008-11-21
List price: $119.00
ISBN-10: 0387848118
ISBN-13: 9780387848112

Authors:Nigel H. M. Wilson, Agostino Nuzzolo,
Publisher: Springer
Keywords: computer, research, science, interfaces, series, operations, applications, dynamic, based, transit, modeling, theory, schedule
Number of Pages: 296
Published: 2003-12-31
List price: $179.00
ISBN-10: 1402076878
ISBN-13: 9781402076879

Schedule-Based Dynamic Transit Modeling: Theory and Applications outlines the new schedule-based dynamic approach to mass transit modeling. In the last ten years the schedule-based dynamic approach has been developed and applied especially for operational planning. It allows time evolution of on-board loads and travel times for each run of each line to be obtained, and uses behavioral hypotheses strictly related to transit systems and user characteristics. It allows us to open new frontiers in transit modelling to support network design, timetable setting, investigation of congestion