Results 31 to 40 of about 11,298,820 (376)
Threats of a replication crisis in empirical computer science
Communications of the ACM, 2020 Research replication only works if there is confidence built into the results.
A. Cockburn +3 more
semanticscholar +1 more source
Expressive Path Queries on Graph with Data [PDF]
Logical Methods in Computer Science, 2015 Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express ...
Pablo Barcelo +2 more
doaj +1 more source
Flexible Correct-by-Construction Programming [PDF]
Logical Methods in Computer Science, 2023 Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to
Tobias Runge +4 more
doaj +1 more source
Computational Archival Science [PDF]
Moderna arhivistika, 2018 The digitisation of archival materials and ingest of digitally born materials in digital archives has led to the possibilities of application of the big data analytical principles in the digital archives. The author explains the 5V characteristics of big data. He proceeds to define the concept of Computational Archival Science (CAS).
openaire +2 more sources
Computational biomolecular science [PDF]
Proceedings of the National Academy of Sciences, 1998 In this century, the study of the molecules of life has transformed the practice of biology as a whole. Molecular thinking now influences the research agenda for scientists studying both the behavior of individual cells and organisms, and the relationships between organisms as in natural history.
openaire +2 more sources
Gheorghe Paun (A tribute in honour of his 60th birthday) [PDF]
Computer Science Journal of Moldova, 2010 Gheorghe Păun had a powerful influence on the development of theoretical computer science, especially the area of natural computing. He is the inventor of the new rapidly developing area of biocomputing - computing using membrane systems, or P systems ...
Editorial board of Computer Science Journal of Moldova
doaj
A Framework for Automated Database Tuning Using Dynamic SGA Parameters and Basic Operating System Utilities [PDF]
Database Systems Journal, 2012 In present scenario the manual work (Done by Human) cost more to an organization than the automatic work ( Done by Machine)and the ratio is increasing day by day as per the tremendous increment in Machine (Hardware + Software) Intelligence. We are moving
Hitesh KUMAR SHARMA +2 more
doaj
Svetlana Cojocaru (in honour of her 60th anniversary) [PDF]
Computer Science Journal of Moldova, 2012 Our colleague, Vice Editor-in-Chief of the Computer Science Journal of Moldova and director of the Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, dr.hab. Svetlana Cojocaru accomplishes in July a beautiful age.
Editorial board of the "Computer Science Journal of Moldova"
doaj
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics [PDF]
Logical Methods in Computer Science, 2019 We study rewritability of monadic disjunctive Datalog programs, (the complements of) MMSNP sentences, and ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and on conjunctive queries.
Cristina Feier +2 more
doaj +1 more source
A first-order logic characterization of safety and co-safety languages [PDF]
Logical Methods in Computer Science, 2023 Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent to ...
Alessandro Cimatti +4 more
doaj +1 more source