Results 61 to 70 of about 10,839,512 (369)
A Simple Algorithm for Consistent Query Answering under Primary Keys [PDF]
Logical Methods in Computer ScienceWe consider the dichotomy conjecture for consistent query answering under primary key constraints. It states that, for every fixed Boolean conjunctive query q, testing whether q is certain (i.e.
Diego Figueira +3 more
doaj +1 more source
Computational Science: An Intermingling of Science, Mathematics, and Computer Science [PDF]
, 2006 The development of a full undergraduate program in computational science, with both a broad-swath academic plan and four specialization plans, one each in biochemistry, chemistry, earth sciences, and physics, is described. The reasons behind the establishment of the program are presented, and the evolution of the program over the past five years is ...
openaire +1 more source
Geographic variation in walking activity in the red flour beetle Tribolium castaneum
Population Ecology, EarlyView.This study examined whether there is geographic variation in field populations, focusing on the moving activity in the red flour beetle Tribolium castaneum. Results showed significant differences in moving activity among field populations but no correlation with latitude or meteorological factors.
Kentarou Matsumura
wiley +1 more source
Computer science in K-12 school curricula of the 2lst century: Why, what and when?
Education and Information Technologies : Official Journal of the IFIP technical committee on Education, 2016 In this paper we have examined the position and roles of Computer Science in curricula in the light of recent calls for curriculum change and we have proposed principles and issues to consider in curriculum design as well as identifying priority areas ...
Mary E. Webb +6 more
semanticscholar +1 more source
occumb: An R package for site occupancy modeling of eDNA metabarcoding data
Population Ecology, EarlyView.This study introduces a new R package, occumb, for the convenient application of site occupancy modeling using environmental DNA (eDNA) metabarcoding data. We outline a data analysis workflow, including data setup, model fitting, model assessment, and comparison of potential study settings based on model predictions, all of which can be performed using
Keiichi Fukaya, Yuta Hasebe
wiley +1 more source
The 10th Annual Computer Science Workshop, Submissions, Abstract Template [PDF]
, 2020 This is the abstract template for the 10th Annual Computer Science Graduate Research Workshop (2020). To learn more about this workshop, please visit: https://digitalcommons.unomaha.edu/csworkshop/2020/
Computer Science Department,
core +1 more source
Dynamic Choreographies: Theory And Implementation [PDF]
Logical Methods in Computer Science, 2017 Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder.
Mila Dalla Preda +4 more
doaj +1 more source
Dendritic cells steering antigen and leukocyte traffic in lymph nodes
FEBS Letters, EarlyView.Dendritic cells are key players in the activation of T cells and their commitment to effector function. In this In a Nutshell Review, we will discuss how dendritic cells guide the trafficking of antigen and leukocytes in the lymph node, thus influencing T‐cell activation processes. Dendritic cells (DCs) play a central role in initiating and shaping the
Enrico Dotta +3 more
wiley +1 more source
Remote and scalable interactive high-fidelity graphics using asynchronous computation [PDF]
, 2014 Current computing devices span a large and varied range of computational power. Interactive high-fidelity graphics is still unachievable on many of the devices widely available to the public, such as desktops and laptops without high-end dedicated ...
Bugeja, Keith +1 more
core
Feasible Interpolation for QBF Resolution Calculi [PDF]
Logical Methods in Computer Science, 2017 In sharp contrast to classical proof complexity we are currently short of lower bound techniques for QBF proof systems. In this paper we establish the feasible interpolation technique for all resolution-based QBF systems, whether modelling CDCL or ...
Olaf Beyersdorff +3 more
doaj +1 more source