Results 31 to 40 of about 5,144,087 (289)
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
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
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
Theory of higher order interpretations and application to Basic Feasible Functions [PDF]
Logical Methods in Computer Science, 2020 Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional language.
Emmanuel Hainry, Romain Péchoux
doaj +1 more source
SOA services in higher education [PDF]
, 2008 Service Oriented Architecture (SOA) is a recent architectural framework for distributed software system development in which software components are packaged as Services.
Joy, Mike +1 more
core
Relative depth estimation from single monocular images with deep convolutional network [PDF]
Field of study: Computer science.Dr. Grant Scott, Thesis Supervisor."December 2017."Depth estimation from single monocular images is a theoretical challenge in computer vision as well as a computational challenge in practice.
Yang, Alex (M.S. in computer science)
core +1 more source