Del i serien Lecture Notes in Computer Science

In Search of Elegance in the Theory and Practice of Computation

Essays dedicated to Peter Buneman

Häftad, Engelska, 2013

AvVal Tannen,Limsoon Wong,Leonid Libkin,Wenfei Fan,Wang-Chiew Tan,Michael Fourman

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2013-10-08
Mått155 x 235 x 32 mm
Vikt873 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor569
Upplaga2013
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642416590

Tillhör följande kategorier

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.

Mer från samma författare

Semantic Web and Databases

Christoph Bussler, Val Tannen, Irini Fundulaki

Häftad, 2005

749 kr

Data Integration in the Life Sciences

Sarah Cohen-Boulakia, Val Tannen

Häftad, 2007

749 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Introduction to Computation

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Häftad, 2022

569 kr

Semantic Web and Databases

Christoph Bussler, Val Tannen, Irini Fundulaki

Häftad, 2005

749 kr

Data Integration in the Life Sciences

Sarah Cohen-Boulakia, Val Tannen

Häftad, 2007

749 kr

Web Technologies and Applications

Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf

Häftad, 2011

749 kr

Big Data

Hong Mei, Weiguo Zhang, Wenfei Fan, Zili Zhang, Yihua Huang, Jiajun Bu, Yang Gao, Li Wang

Häftad, 2021

709 kr

Advances in Web-Age Information Management

Wenfei Fan, Zhaohui Wu, Jun Yang

Häftad, 2005

1 489 kr

Nyhet

Intelligence Science VI

Zhongzhi Shi, Wenfei Fan, Gang Li

Inbunden, 2026

1 119 kr

Computational Prediction of Protein Complexes from Protein Interaction Networks

Sriganesh Srihari, Chern Han Yong, Limsoon Wong, M Tamer Ozsu

Häftad, 2017

1 219 kr

Foundations of Data Quality Management

Wenfei Fan, Floris Geerts

Häftad, 2012

499 kr

Del 1

PROCEEDINGS OF THE 3RD ASIA-PACIFIC BIOINFORMATICS CONFERENCE

CHEN YI-PING PHEOBE, Yi-Ping Phoebe Chen, Limsoon Wong

Inbunden, 2005

3 239 kr

Del i serien Lecture Notes in Computer Science

In Search of Elegance in the Theory and Practice of Computation

Essays dedicated to Peter Buneman

Häftad, Engelska, 2013

AvVal Tannen,Limsoon Wong,Leonid Libkin,Wenfei Fan,Wang-Chiew Tan,Michael Fourman

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2013-10-08
Mått155 x 235 x 32 mm
Vikt873 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor569
Upplaga2013
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642416590

Tillhör följande kategorier

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.