59 Hits in 10.7 sec

Functional pearl: a SQL to C compiler in 500 lines of code

Tiark Rompf, Nada Amin
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code -a convincing case study that highlevel  ...  is equivalent to a compiler.  ...  More generally, we argue for a radical rethinking of the role of high-level languages in performance critical code [16] .  ... 
doi:10.1145/2784731.2784760 dblp:conf/icfp/RompfA15 fatcat:tbfka7wnurfm5b7mrmjbwqudj4

Functional pearl: a SQL to C compiler in 500 lines of code

Tiark Rompf, Nada Amin
2015 SIGPLAN notices  
We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code -a convincing case study that highlevel  ...  is equivalent to a compiler.  ...  More generally, we argue for a radical rethinking of the role of high-level languages in performance critical code [16] .  ... 
doi:10.1145/2858949.2784760 fatcat:3rm5b5byvnb7tcr62c2hzglxta

Foundations of Fine-Grained Explainability [chapter]

Sylvain Hallé, Hugo Tremblay
2021 Lecture Notes in Computer Science  
AbstractExplainability is the process of linking part of the inputs given to a calculation to its output, in such a way that the selected inputs somehow "cause" the result.  ...  A fully functional implementation of these concepts is finally presented and experimentally evaluated.  ...  In the example of Fig. 2 , the set Π = {π 1 • π A , π C } is a refinement of Π = {π A , π 5 • π B , π C } (the injection here being the two associations π 1 • π A → π A and π C → π C ).  ... 
doi:10.1007/978-3-030-81688-9_24 fatcat:ushd5aulgvcfzmyeg3amnepfne

Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview [article]

J Gerard Wolff
2003 arXiv   pre-print
In this context, multiple alignment has a meaning which is similar to but distinct from its meaning in bio-informatics, while unification means a simple merging of matching patterns, a meaning which is  ...  related to but simpler than the meaning of that term in logic.  ...  A Bayesian network explanation of "explaining away" In the words of Judea Pearl [Pearl 88, p. 7] , the phenomenon of 'explaining away' may be characterised as: "If A implies B, C implies B, and B is true  ... 
arXiv:cs/0307010v2 fatcat:t3qek6waabglpgbrkxabzj7oie

Learning hierarchical probabilistic logic programs

Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2021 Machine Learning  
Due to its expressiveness and simplicity, it has been considered as a powerful tool for learning and reasoning in relational domains characterized by uncertainty.  ...  We have recently proposed a restriction of the general PLP language called hierarchical PLP (HPLP) in which clauses and predicates are hierarchically organized.  ...  The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material.  ... 
doi:10.1007/s10994-021-06016-4 fatcat:juny7tojhfaqjpuyrfhk6lluky

Unifying Computing and Cognition: The SP Theory and its Applications [article]

J Gerard Wolff
2004 arXiv   pre-print
of natural language, pattern recognition and best-match information retrieval, several kinds of probabilistic reasoning, planning and problem solving, unsupervised learning, and a range of concepts in  ...  This "SP theory", which has been under development since 1987, provides a unified view of such things as the workings of a universal Turing machine, the nature of 'knowledge', the interpretation and production  ...  A 1 1 S 0 C 1 A 1 0 S 1 C 0 A 0 1 S 1 C 0 A 0 0 S 0 C 0 Figure 10 .4: Four patterns representing a table to define the function for the addition of two one-bit numbers in binary arithmetic, with provision  ... 
arXiv:cs/0401009v1 fatcat:nivyq52ytbft3nudcmyuj2scgy

Architecture Of Large-Scale Systems

Arne Koschel, Irina Astrova, Elena Deutschkämer, Jacob Ester, Johannes Feldmann
2013 Zenodo  
In this paper various techniques in relation to large-scale systems are presented. At first, explanation of large-scale systems and differences from traditional systems are given.  ...  Finally, examples of large-scale systems are presented.  ...  Since a compiled code usually runs faster as runtime interpreted code like PHP, Facebook often codes critical functions in C++ code and uses them as a RPC service.  ... 
doi:10.5281/zenodo.1089019 fatcat:bvlz4bgpdzanhaxud7la4jxzeu


S. Vezzulli, L. Leonardelli, U. Malossini, M. Stefanini, R. Velasco, C. Moser
2014 Acta Horticulturae  
Acknowledgments Research carried out with the financial contribution of the University of Bologna, Italy (STARCHitecture Project).  ...  P7.04 -Nutritional quality of einkorn wheat (Triticum monococcum L.) kernels Brandolini Andrea 1 , Hidalgo Alyssa 2 , Plizzari Luca 1 , Erba Daniela 2  ...  Out of seven SNPs identified in C. annuum sequences, only one is located in the coding region and is specific to cultivar California Wonder.  ... 
doi:10.17660/actahortic.2014.1046.48 fatcat:ockmijg55ne7bb46gbthiuewhe

Architecting Query Compilers for Diverse Workloads

Ruby Y Tahboub
To leverage modern hardware platforms to their fullest, more and more database systems embrace compilation of query plans to native code.  ...  On that basis, compiling spatial and graph queries to native code is a desirable avenue to mitigate existing limitations and improve performance.  ...  Similarly, Legobase [7] , the "SQL to C in 500 lines" compiler [28] , Flare [29] , a native compiler back-end for SparkSQL, LB2-Spatial [30] and the LB2 [31] single-pass query compiler generates  ... 
doi:10.25394/pgs.8044784 fatcat:tiqf4jmo7ffcrcf7m6s2y5f4hq

Data Provenance

Peter Buneman, Wang-Chiew Tan
2019 SIGMOD record  
it uses asynchronous incremental checkpointing instead of a WAL to implement group commit in a scalable bottleneck-free manner.  ...  In this paper, we formalize the situation as a database repair problem, proving sufficient conditions for fair classifiers in terms of admissible variables as opposed to a complete causal model.  ...  This work was supported in part by a Hellman Fellowship and by the NIDDK of the NIH under award number R01DK114945.  ... 
doi:10.1145/3316416.3316418 fatcat:u4lmbha4fjgajlc46r66ryh7vi

Assessing Health Outcomes Among Veterans of Project SHAD (Shipboard Hazard and Defense)

2018 Military medicine  
SHAD veteran Jack Alderson was tireless in providing background to the study staff and serving as a liaison to other veterans.  ...  Protecting the security of the data used in the study was, of course, of high importance to the committee and to the Department of Veterans Affairs (VA).  ...  function studies N00 Acute nephritic syndrome N17 Acute Renal failure N27 Small kidney of unknown cause NOTE: An x in a code indicates that all versions of the code category preceding the x are included  ... 
doi:10.1093/milmed/usx197 pmid:29618129 fatcat:uqlhpfils5ef7okx26n5onzx3m

D5.2: Market and Technology Watch Report Year 2

Ioannis Liabotis
2017 Zenodo  
This deliverable is the second one of PRACE-4IP Work Package 5 Task 1, it corresponds to a periodic annual update on technology and market trends.  ...  This Task 5.1, "Procurement independent vendor relations and market watch", corresponds to the first objective of Work Package 5.  ...  ARM Compiler for HPC is a bundle that contains both a C/C++ compiler and the ARM Performance Libraries. The compiler is based on LLVM and targets ARMv8-A.  ... 
doi:10.5281/zenodo.6801691 fatcat:jfhjlhwi5fbanmb7xml7rfrhpu

This Week's Letters

1996 Science  
University of Washington Applications are invited for participation in genetic, cellular, and molecular research supported by a National Institute on Aging Training Grant.  ...  Apply to: Peter S. Rabinovitch, M.D.,  ...  BS/BA in Science or Engineering required in addition to at least 5 years' experience with SQL and C/C++ and UNIX.  ... 
doi:10.1126/science.273.5283.1781 fatcat:iafwrkey35fvtk6gp3ym5zjtca

Markov Logic: An Interface Layer for Artificial Intelligence

Pedro Domingos, Daniel Lowd
2009 Synthesis Lectures on Artificial Intelligence and Machine Learning  
Markov logic is a powerful new language that accomplishes this by attaching weights to first-order formulas and treating them as templates for features of Markov random fields.  ...  Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational  ...  lines of code.  ... 
doi:10.2200/s00206ed1v01y200907aim007 fatcat:em6ggc2ha5f4lgaie53jkdjtbu

A data management strategy for transportable natural language interfaces

Julia A. Johnson, Richard S. Rosenberg
1995 International Journal of Intelligent Systems  
A function required to get the DB operational is to construct or design the DB schema. 3 The metadatabase of a DB system is part of the DB that records knowledge about the DB itself.  ...  The term domain is also used in the area of relational DB systems to mean "a set of values".  ...  When y is bound to a member of Course, < y:NUM:> is the number of the course. << y.NUM i>:GREATER:500 > is true if < y.NUM:> is greater than 500.  ... 
doi:10.1002/int.4550100902 fatcat:7oncdskesbg7doiury4kpnpwsu
« Previous Showing results 1 — 15 out of 59 results