Results 51 to 60 of about 10,600,895 (351)
, 2021 In this issue: First graduating cohort in Computer Engineering • SHU Drone project with Prof.
School of Computer Science & Engineering,
core +1 more source
Manifesto of computational social science [PDF]
The European Physical Journal Special Topics, 2012 Publicado
Conte, R. +14 more
openaire +10 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
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
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
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
Compact manifolds with computable boundaries [PDF]
Logical Methods in Computer Science, Volume 9, Issue 4 (December
11, 2013) lmcs:891, 2013 We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable.
arxiv +1 more source
Twisted Sequences of Extensions [PDF]
, 2020 Gabber and Joseph introduced a ladder diagram between two natural sequences of extensions. Their diagram is used to produce a `twisted\u27 sequence that is applied to old and new results on extension groups in category ...
Carlin, Kevin J.
core +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
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints [PDF]
Logical Methods in Computer ScienceIn game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we explore the concept of equilibrium design, where incentives are designed to obtain a desirable ...
Julian Gutierrez +3 more
doaj +1 more source