Results 31 to 40 of about 10,600,895 (351)
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.
Horsman, Dominic +2 more
openaire +4 more sources
Serious computer games in computer science education
EAI Endorsed Transactions on Serious Games, 2015 The role and importance of serious computer games in contemporary educational practice is presented in this paper as well as the theoretical fundamentals that justify their use in different forms of education.
Jože Rugelj
doaj +1 more source
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science [PDF]
EPTCS 233, 2016, 2016 MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. MEMICS submissions
arxiv +1 more source
, 2018 Every new technology brings new opportunity for crime, and information and communication technology (ICT) is no exception. This short article offers students of crime insights in the two main connections between ICT and criminology. On the one hand we show how ICT can be used as a tool, target, or location of crime.
Hartel, P.H. (author) +1 more
openaire +6 more sources
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
, 2022 In this issue: New Engineering professor, Okechukwu ‘Okey’ Ugweje Business Minor S-STEM Grant, National Science Foundation Embedded Systems course Engineering Explorations course SHU Innovate club Formula SAE Go-Kart Road Kill Recent faculty ...
School of Computer Science & Engineering,
core +1 more source
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
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 Polynomial Translation of pi-calculus FCPs to Safe Petri Nets [PDF]
Logical Methods in Computer Science, Volume 9, Issue 3 (September
17, 2013) lmcs:932, 2013 We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.
arxiv +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