Results 61 to 70 of about 10,898,978 (363)

Research in computer science [PDF]

Several short summaries of the work performed during this reporting period are presented. Topics discussed in this document include: (1) resilient seeded errors via simple techniques; (2) knowledge representation for engineering design; (3) analysis of ...
Ortega, J. M.
core   +7 more sources

Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction [PDF]

Logical Methods in Computer Science, 2014
We consider the quantified constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quantification, whether or not the sentence is true on ...
Hubie Chen
doaj   +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

Development of Computer Science Disciplines - A Social Network Analysis Approach

, 2011
In contrast to many other scientific disciplines, computer science considers conference publications. Conferences have the advantage of providing fast publication of papers and of bringing researchers together to present and discuss the paper with peers.
Jarke, Matthias, Klamma, Ralf, Pham, Manh Cuong   +2 more
core   +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

Cultural stereotypes as gatekeepers: increasing girls’ interest in computer science and engineering by diversifying stereotypes

Frontiers in Psychology, 2015
Despite having made significant inroads into many traditionally male-dominated fields (e.g., biology, chemistry), women continue to be underrepresented in computer science and engineering.
S. Cheryan, Allison Master, A. Meltzoff
semanticscholar   +1 more source

Between Droughts and Floods: The Seasonal Response of Freshwater Snails in Artificial Reservoirs in the Brazilian Semiarid Region

Population Ecology, EarlyView.
We investigate the seasonal dynamics of two freshwater snails, Biomphalaria straminea and Melanoides tuberculata, in artificial reservoirs of the Brazilian semiarid region. Despite regulated hydrology, B. straminea exhibited strong seasonal fluctuations associated with dry periods, while M. tuberculata maintained stable populations throughout the year,
Lucas Henrique Sousa da Silva, João Hemerson de Sousa, Adriana Josefa da Rocha, Manuella Feitosa Leal, Lucas Ariel de Sousa Aguiar, Tamaris Gimenez Pinheiro, Edson Lourenço da Silva   +6 more
wiley   +1 more source

A Simple Algorithm for Consistent Query Answering under Primary Keys [PDF]

Logical Methods in Computer Science
We 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, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo   +3 more
doaj   +1 more source

Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders

Population Ecology, EarlyView.
We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa, Andrea Costa, Sebastiano Salvidio   +2 more
wiley   +1 more source

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction [PDF]

Logical Methods in Computer Science, 2012
The universal-algebraic approach has proved a powerful tool in the study of the complexity of CSPs. This approach has previously been applied to the study of CSPs with finite or (infinite) omega-categorical templates, and relies on two facts.
Barnaby Martin, Manuel Bodirsky, Martin Hils   +2 more
doaj   +1 more source