In Search of Elegance in the Theory and Practice of Computation [[electronic resource] ] : Essays dedicated to Peter Buneman / / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman

• Record Nr.: UNISA996465410003316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
• ISBN: 3-642-41660-8
• Edizione: [1st ed. 2013.]
• Descrizione fisica: 1 online resource (XII, 569 p. 121 illus.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8000
• Disciplina: 005.74
• Soggetti: Database management; Compilers (Computer programs); Computer science; Database Management; Compilers and Interpreters; Computer Science Logic and Foundations of Programming
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Models for Data-Centric Workflows -- Relational Databases and Bell’s Theorem -- High-Level Rules for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User Trust and Judgments in a Curated Database with Explicit Provenance -- An Abstract, Reusable, and Extensible Programming Language Design Architecture -- A Discussion on Pricing Relational Data -- Tractable Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining Computation -- To Show or Not to Show in Workflow Provenance -- Provenance-Directed Chase and Backchase -- Data Quality Problems beyond Consistency and Deduplication -- Hitting Buneman Circles -- Looking at the World Thru Colored Glasses -- Static Analysis and Query Answering for Incomplete Data Trees with Constraints -- Using SQL for Efficient Generation and Querying of Provenance Information -- Bounds and Algorithms for Joins via Fractional Edge Covers -- Incremental Data ; Fusion Based on Provenance Information -- Provenance for Linked Data -- First-Order Provenance Games -- Querying an Integrated Complex-Object Dataflow Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism: Its Development and Applications -- A Calculus of Chemical Systems -- Schemaless Semistructured Data Revisited - Reinventing Peter Buneman’s Deterministic Semistructured Data Model -- Provenance Propagation in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic for Preference Based on Reasons -- The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset -- Provenance in a Modifiable Data Set.
• Sommario/riassunto: This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests.

Celebrated Travels & Travellers - Pt 1 : “Reality provides us with facts so romantic that imagination itself could add nothing to them.”

• Record Nr.: UNINA9910165129403321
• Autore: Verne Jules
• Pubbl/distr/stampa: London : , : Copyright Group, , 2015; ©2015
• ISBN: 9781785432132; 1785432133
• Descrizione fisica: 1 online resource (246 pages)
• Collana: Celebrated Travels & Travellers ; ; v.1
• Soggetti: Voyages and travels; Explorers
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Sommario/riassunto: Jules Gabriel Verne was born on February 8th, 1828 on le Feydeau, a small artificial island on the Loire River in Nantes. His father wanted his son to take over the family law practice. Jules started along this course and despite graduating with a licence en droit in January 1851 was soon diverted by the lure of literature and by his own ambitious talents in this direction. He wrote for the theatre and for magazines and soon with the publication of his first novel; Five Weeks in a Balloon on January 31st, 1863 he had begun his career as an admired and popular author. For many, many years the works flowed, usually no less than and often more than two volumes per year. His meticulous research and imaginative setting and narratives soon established him as a top selling author and he became both famous and wealthy. By publishing firstly as a serialised book and then as a complete book sales swelled as did his reputation. His earnings increased further due to the runaway success from the stage adaptations of Le tour du monde en quatre-vingts jours (1874) and Michel Strogoff (1876), Strangely he was overlooked for honours. He was not even nominated for membership of the Acad mie Fran aise. After the death of both his mother and Hetzel, Jules began to publish darker works but still at a prodigious rate. In 1888, Jules entered politics and was elected town councillor of Amiens, and then served for fifteen years. Jules was now entering the last period of his life. His works continued to flow albeit at a slower pace. His reconciled with his son, Michel who now became an active contributor to his father's works and, when the senior Verne died, would continue to contribute and publish his father's works, ensuring that the work was kept in the public eye and the legacy preserved. On March 24th, 1905, while ill with diabetes, Jules Verne died at his home at 44 Boulevard Longueville, Amiens. As a legacy Jules Verne is forever remembered as 'The Father of Science Fiction'. With his rigorous research Jules was not only able to make his works realistic but also to project forward and predict many new things that would eventually come to pass - either in real life or as the basis for others to use in their own science fiction. Extraordinary indeed.