Results 41 to 50 of about 10,839,512 (369)
The skewness of computer science [PDF]
Information Processing & Management, 2011 I applied the goodness-of-fit methodology proposed in: A. Clauset, C. R. Shalizi, M. E. J. Newman. Power-law distributions in empirical data. SIAM Review 51, 661-703 (2009)
openaire +2 more sources
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
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
Computer Science Pedagogical Content Knowledge
ACM Transactions on Computing Education, 2019 Computer science education efforts are expanding across the globe to equip students with the necessary computing skills for today’s digital world. However, preparing students to become literate in computing activities requires the training of tens of ...
Aman Yadav, Marc Berges
semanticscholar +1 more source
The science in computer science
Communications of the ACM, 2013 Computer science is in a period of renaissance as it rediscovers its science roots.
openaire +3 more sources
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
From computational science to Internetics: Integration of science with computer science [PDF]
Mathematics and Computers in Simulation, 2000 Abstract We describe how our world dominated by science and scientists has been changed and will be revolutionized by technologies moving with internet time. Computers have always been well-used tools but in the beginning only the science counted and little credit or significance was attached to any computing activities associated with scientific ...
openaire +2 more sources
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
Computer science in Dutch secondary education: independent or integrated? [PDF]
, 1992 Nowadays, in Dutch secondary education, computer science is integrated within school subjects. About ten years ago computer science was considered an independent subject, but in the mid-1980s this idea changed.
Doornekamp, B. Gerard +1 more
core +2 more sources