標(biāo)題: Titlebook: In Search of Elegance in the Theory and Practice of Computation; Essays dedicated to Val Tannen,Limsoon Wong,Michael Fourman Book 2013 Spr [打印本頁] 作者: Traction 時(shí)間: 2025-3-21 18:11
書目名稱In Search of Elegance in the Theory and Practice of Computation影響因子(影響力)
書目名稱In Search of Elegance in the Theory and Practice of Computation影響因子(影響力)學(xué)科排名
書目名稱In Search of Elegance in the Theory and Practice of Computation網(wǎng)絡(luò)公開度
書目名稱In Search of Elegance in the Theory and Practice of Computation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱In Search of Elegance in the Theory and Practice of Computation被引頻次
書目名稱In Search of Elegance in the Theory and Practice of Computation被引頻次學(xué)科排名
書目名稱In Search of Elegance in the Theory and Practice of Computation年度引用
書目名稱In Search of Elegance in the Theory and Practice of Computation年度引用學(xué)科排名
書目名稱In Search of Elegance in the Theory and Practice of Computation讀者反饋
書目名稱In Search of Elegance in the Theory and Practice of Computation讀者反饋學(xué)科排名
作者: 許可 時(shí)間: 2025-3-21 21:53
User Trust and Judgments in a Curated Database with Explicit Provenance,or a single database element, captures the external source for all operations, and includes a Data Confidence Language that allows users to confirm or doubt values to record their atomic judgments about the data. In this paper, we briefly summarize the MMP model and show how it can be extended to su作者: 破布 時(shí)間: 2025-3-22 01:17
An Abstract, Reusable, and Extensible Programming Language Design Architecture,s desired features. The work presented here, and the tools derived from it, may be viewed as a tool box for generating language implementations with a desired set of features. It eases the automatic practical generation of programming language pioneered by Peter Landin’s SECD Machine. What is overvi作者: armistice 時(shí)間: 2025-3-22 06:08 作者: PUT 時(shí)間: 2025-3-22 09:55 作者: 樂章 時(shí)間: 2025-3-22 13:55 作者: Proponent 時(shí)間: 2025-3-22 20:43 作者: 四目在模仿 時(shí)間: 2025-3-23 01:01
Bogdan Alexe,Wang-Chiew Tanas a negation, of these principles". The other papers, forming a three-part series, pursue this project of putting the foundations of thermodynamics on a clearer and more secure basis. This book will be of interest to scholars in history and philosophy of science, especially those interested in the 作者: Flawless 時(shí)間: 2025-3-23 04:31
Hassan A?t-Kacias a negation, of these principles". The other papers, forming a three-part series, pursue this project of putting the foundations of thermodynamics on a clearer and more secure basis. This book will be of interest to scholars in history and philosophy of science, especially those interested in the 作者: 商業(yè)上 時(shí)間: 2025-3-23 08:46
Magdalena Balazinska,Bill Howe,Paraschos Koutris,Dan Suciu,Prasang Upadhyayaas a negation, of these principles". The other papers, forming a three-part series, pursue this project of putting the foundations of thermodynamics on a clearer and more secure basis. This book will be of interest to scholars in history and philosophy of science, especially those interested in the 作者: MUMP 時(shí)間: 2025-3-23 10:42 作者: 諄諄教誨 時(shí)間: 2025-3-23 15:10 作者: 諄諄教誨 時(shí)間: 2025-3-23 21:50
Alin Deutsch,Richard Hull books and pamphlets about their travels. Informed by these writers, Smith took into consideration the world beyond Europe and strangers with non-European backgrounds...?..Against that background, the book reinterprets Smith’s moral philosophy. In .The Theory of Moral Sentiments., Smith developed hi作者: 發(fā)炎 時(shí)間: 2025-3-24 00:58
Wenfei Fan,Floris Geerts,Shuai Ma,Nan Tang,Wenyuan Yue plot, Sadat did not know the secret password needed to get past the barracks guards. His fellow conspirator, Abd el-Hakim Amer, eventually returned from capturing army headquarters, heard Sadat’s imploring voice at the gates, and let him in. This allowed Sadat to broadcast the new regime’s first c作者: CARK 時(shí)間: 2025-3-24 06:18
Michael Paul Fourmane plot, Sadat did not know the secret password needed to get past the barracks guards. His fellow conspirator, Abd el-Hakim Amer, eventually returned from capturing army headquarters, heard Sadat’s imploring voice at the gates, and let him in. This allowed Sadat to broadcast the new regime’s first c作者: Myelin 時(shí)間: 2025-3-24 08:41 作者: 反抗者 時(shí)間: 2025-3-24 13:03 作者: 沖擊力 時(shí)間: 2025-3-24 15:26
Boris Glavic,Renée J. Miller,Gustavo Alonsoe plot, Sadat did not know the secret password needed to get past the barracks guards. His fellow conspirator, Abd el-Hakim Amer, eventually returned from capturing army headquarters, heard Sadat’s imploring voice at the gates, and let him in. This allowed Sadat to broadcast the new regime’s first c作者: 我邪惡 時(shí)間: 2025-3-24 21:24
Martin Grohemples are provided. The autoclave process technology is discussed, including unwanted defects in the cured material and the description of quality assurance technologies (dielectric analysis and non-destructive testing by ultrasound). Different textile infusion technologies are characterised. Thermo作者: Cabinet 時(shí)間: 2025-3-25 02:27 作者: attenuate 時(shí)間: 2025-3-25 07:16
In Search of Elegance in the Theory and Practice of ComputationEssays dedicated to 作者: Ergots 時(shí)間: 2025-3-25 10:00 作者: GLARE 時(shí)間: 2025-3-25 14:46 作者: 多嘴 時(shí)間: 2025-3-25 19:05 作者: fiction 時(shí)間: 2025-3-25 22:01 作者: amnesia 時(shí)間: 2025-3-26 01:12 作者: 使隔離 時(shí)間: 2025-3-26 06:52 作者: BILL 時(shí)間: 2025-3-26 10:31 作者: Project 時(shí)間: 2025-3-26 14:45
High-Level Rules for Integration and Analysis of Data: New Challenges,ingly important role. These repositories include, for example, the U.S. federal government data, congress and census data, as well as financial reports archived by the U.S. Securities and Exchange Commission (SEC).作者: DRAFT 時(shí)間: 2025-3-26 20:37 作者: Thyroxine 時(shí)間: 2025-3-26 23:39
Static Analysis and Query Answering for Incomplete Data Trees with Constraints,escriptions can be transferred to the consistency of incomplete tree specifications without any increase in complexity. After that we examine query answering over incomplete data trees under constraints, and show that tractable bounds can be recovered under key constraints, but are lost under foreign keys.作者: parallelism 時(shí)間: 2025-3-27 02:41
Using SQL for Efficient Generation and Querying of Provenance Information,on-demand provenance generation and querying using SQL. Since Perm rewrites a query requesting provenance into a regular SQL query and generates easily optimizable SQL code, its performance greatly benefits from the query optimization techniques provided by the underlying DBMS.作者: 陶瓷 時(shí)間: 2025-3-27 07:43
Provenance for Linked Data,come these limitations, we advocate the need for new provenance models that capture the full expressive power of SPARQL, and can be used to support assessment of various forms of data quality for linked data manipulated declaratively by such queries.作者: GNAT 時(shí)間: 2025-3-27 11:51
,Relational Databases and Bell’s Theorem,remarkably direct correspondence between central results such as Bell’s theorem in the foundations of quantum mechanics, and questions which arise naturally and have been well-studied in relational database theory.作者: 強(qiáng)制令 時(shí)間: 2025-3-27 16:02 作者: 過份好問 時(shí)間: 2025-3-27 20:11
Provenance-Directed Chase&Backchase,ckchase phase can be sped up significantly if we instrument the standard chase to maintain provenance information. The particular provenance flavor required is known as minimal why-provenance in the literature, and it can be computed by exploiting the analogy between a chase step execution and query evaluation.作者: Heart-Rate 時(shí)間: 2025-3-28 01:34
Data Quality Problems beyond Consistency and Deduplication,ith performance guarantees, unification of data repairing and record matching, relative information completeness, and data currency. We provide an overview of recent advances in the study of these issues, and advocate the need for developing a logical framework for a uniform treatment of these issues.作者: RENAL 時(shí)間: 2025-3-28 04:07 作者: coddle 時(shí)間: 2025-3-28 08:22 作者: 一起 時(shí)間: 2025-3-28 14:18
Bounds and Algorithms for Joins via Fractional Edge Covers,evoted to efficient join processing. Short of fully computing the result of a join or a sequence of joins (we use the term . in the following), in many applications it is also important to get good bounds on the size of the result.作者: 袋鼠 時(shí)間: 2025-3-28 14:45
Book 2013 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.作者: Cholesterol 時(shí)間: 2025-3-28 20:16 作者: GIST 時(shí)間: 2025-3-29 00:13
978-3-642-41659-0Springer-Verlag Berlin Heidelberg 2013作者: Osteoarthritis 時(shí)間: 2025-3-29 06:22 作者: WITH 時(shí)間: 2025-3-29 11:00 作者: 十字架 時(shí)間: 2025-3-29 14:36
Val Tannen,Limsoon Wong,Michael FourmanDedicated to one of the founders of the field of digital curation.Contains a collection of essays dedicated to databases and programming languages.Covers a variety of topics from database programming,作者: 變態(tài) 時(shí)間: 2025-3-29 18:48 作者: Fresco 時(shí)間: 2025-3-29 20:29 作者: Negligible 時(shí)間: 2025-3-30 00:52
High-Level Rules for Integration and Analysis of Data: New Challenges,in recent years. There are now many . available sources of data that can provide valuable information in various domains. Concrete examples of public data sources include: bibliographic repositories (DBLP, Cora, Citeseer), online movie databases (IMDB), knowledge bases (Wikipedia, DBpedia, Freebase)作者: MARS 時(shí)間: 2025-3-30 06:26 作者: 現(xiàn)任者 時(shí)間: 2025-3-30 08:37
User Trust and Judgments in a Curated Database with Explicit Provenance,els of trust in sources and users change dynamically. In such settings, users must use their judgment as they collect and modify data. As an example, a battlefield information officer preparing a report to inform his or her superiors about the current state of affairs must gather and integrate data 作者: Forage飼料 時(shí)間: 2025-3-30 13:29
An Abstract, Reusable, and Extensible Programming Language Design Architecture,etermine (1)?the specific nature of the computational services such a language is designed for, (2)?for what users it is intended, and (3)?on what devices and in what environment it is to be used. It is therefore possible to propose a set of basic building blocks and operations thereon as combinatio作者: motivate 時(shí)間: 2025-3-30 19:20
A Discussion on Pricing Relational Data,d. We advocate for a framework where the seller defines a ., by essentially stipulating the price of some queries, and the buyer is allowed to purchase data expressed by any query they wish: the system will derive the price automatically from the pricing scheme. We show that, in order to understand 作者: monopoly 時(shí)間: 2025-3-30 23:06
Tractable Reasoning in Description Logics with Functionality Constraints,d an ontology, where the latter is a set of logical assertions. Ontological query answering has applications, for instance, in the Semantic Web and in semantic data integration. We propose as ontology language a new description logic, called DLR., allowing for roles of arbitrary arity and role inclu作者: 疲憊的老馬 時(shí)間: 2025-3-31 03:23 作者: BUCK 時(shí)間: 2025-3-31 05:26 作者: abolish 時(shí)間: 2025-3-31 10:11 作者: Supplement 時(shí)間: 2025-3-31 14:24
Data Quality Problems beyond Consistency and Deduplication,uplication. This paper accentuates several other challenging issues that are essential to developing data cleaning systems, namely, error correction with performance guarantees, unification of data repairing and record matching, relative information completeness, and data currency. We provide an ove作者: 清澈 時(shí)間: 2025-3-31 20:06 作者: GENUS 時(shí)間: 2025-4-1 00:26
Looking at the World Thru Colored Glasses,inburgh database group and led to the MONDRIAN annotation management system and the . archiving system, respectively. In this paper, we present an application of MONDRIAN to represent and query the history of evolving databases. We show how the annotation model and query language underlying MONDRIAN作者: 刪減 時(shí)間: 2025-4-1 05:27
Static Analysis and Query Answering for Incomplete Data Trees with Constraints, an infinite set. Incomplete data trees model XML documents with incomplete information; they may include both structural incompleteness and incompleteness of data. Here we study two basic problems for incomplete data trees under typical constraints such as keys and foreign keys. The first problem i作者: hyperuricemia 時(shí)間: 2025-4-1 08:01 作者: 劇毒 時(shí)間: 2025-4-1 11:02
Bounds and Algorithms for Joins via Fractional Edge Covers,evoted to efficient join processing. Short of fully computing the result of a join or a sequence of joins (we use the term . in the following), in many applications it is also important to get good bounds on the size of the result.作者: Lyme-disease 時(shí)間: 2025-4-1 17:37
Incremental Data Fusion Based on Provenance Information,representation. It is usually the last step of an integration process, which is executed after the schema matching and the entity identification steps. More specifically, data fusion aims at solving attribute value conflicts based on user-defined rules. Although there exist several approaches in the作者: Custodian 時(shí)間: 2025-4-1 20:10
Provenance for Linked Data,lational data and queries has shown that . can be used in order to compute trustworthiness, reputation and reliability of query results, based on the source data and query operators involved in their derivation. In particular, . can be employed to record information about source data and query opera
