Results 31 to 40 of about 7,704,581 (310)
Robustness against Read Committed for Transaction Templates with Functional Constraints [PDF]
Logical Methods in Computer Science, 2023 The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput.
Brecht Vandevoort +3 more
doaj +1 more source
The natural science of computing [PDF]
Communications of the ACM, 2017 As unconventional computing comes of age, we believe a revolution is needed in our view of computer science.
Dominic Horsman +2 more
openaire +5 more sources
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
Director of IMCS - National Prize Laureate of Moldova [PDF]
Computer Science Journal of Moldova, 2012 Director of the Institute of Mathematics and Computer Science, Vice Editor-in-Chief of CSJM, and our colleague, D.Hab. Svetlana Cojocaru, in 2011 became the National Prize Laureate of Moldova.
Editorial board of the "Computer Science Journal of Moldova"
doaj
Pure Nash Equilibria in Concurrent Deterministic Games [PDF]
Logical Methods in Computer Science, 2015 We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect game, which transforms a multi-player concurrent game into a two-player turn-
Patricia Bouyer +3 more
doaj +1 more source
Telematics and Informatics Reports, 2023 Computer gameplay and social media are the two most common forms of entertainment in the digital age. Many scholars share the assumption that leisure-time digital consumption is associated with computer science (CS) affinity, but there is a dearth of ...
Zohal Shah +3 more
doaj +1 more source
In memoriam of Yurii Rogozhin [PDF]
Computer Science Journal of Moldova, 2019 November 13, 2019 would be the 70th birthday of Prof. Yurii Rogozhin. Dr. hab.~Yurii Rogozhin (November 13, 1949 $\dagger$ March 10, 2014) was a worldwide known computer scientist with diverse interests, ranged from finding small universal Turing ...
The staff of the Vladimir Andrunachievici Institute of Mathematics and Computer Science
doaj
Querying the Guarded Fragment [PDF]
Logical Methods in Computer Science, 2014 Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether "F and not Q" is unsatisfiable. This problem is relevant to the areas of database theory and description logic.
Vince Bárány +2 more
doaj +1 more source
Approximability in the GPAC [PDF]
Logical Methods in Computer Science, 2019 Most of the physical processes arising in nature are modeled by either ordinary or partial differential equations. From the point of view of analog computability, the existence of an effective way to obtain solutions of these systems is essential.
Diogo Poças, Jeffery Zucker
doaj +1 more source