Results 51 to 60 of about 10,898,978 (363)
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
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
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
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
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
The unpredictably eruptive dynamics of spruce budworm populations in eastern Canada
Population Ecology, EarlyView.We examine historical population data for spruce budworm from several locations through the period 1930–1997, and use density‐dependent recruitment curves to test whether the pattern of population growth over time is more consistent with Royama's (1984; Ecological Monographs 54:429–462) linear R(t) model of harmonic oscillation at Green River New ...
Barry J. Cooke, Jacques Régnière
wiley +1 more source
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
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source