Results 21 to 30 of about 2,502,152 (334)
Industrial-Strength Documentation for ACL2
, 2014 The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts.
Davis, Jared, Kaufmann, Matt
core +2 more sources
Acta Orthopaedica, 2017 Background and purpose — To achieve a common understanding when dealing with long bone fractures in children, the AO Pediatric Comprehensive Classification of Long Bone Fractures (AO PCCF) was introduced in 2007.
Alexander Joeris +4 more
doaj +1 more source
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
Je-LKS: Journal of E-Learning and Knowledge Society, 2019 Even though students are increasingly involved in extra learning activities which are aimed at enriching the contents and the attributes of conventional educational programmes, still little is known on the main implications of such initiatives ...
Rosalba Manna +2 more
doaj +1 more source
Bezmiâlem Science, 2020 Objective:This article aims to analyze different approaches to a literature review. The publications in the pandemic period were examined by bibliometric analysis method within the framework of systematic review and determined criteria.Methods:Between 01.
Kübra ZAYİM GEDİK +2 more
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
Zhishi guanli luntan, 2017 [Purpose/significance] The National Natural Science Foundation of China (NSFC) is one of the most important channels to support basic research in China. Competition for funding by the NSFC has been a very important indicator to measure the basic research
Xing Xia +3 more
doaj +1 more source
Program analysis for documentation [PDF]
, 1970 A program analysis for documentation (PAD) written in FORTRAN has three steps: listing the variables, describing the structure and writing the program specifications.
Lolmaugh, G. H.
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
Population Ecology, EarlyView.Population size and dynamics fundamentally shape speciation by influencing genetic drift, founder events, and adaptive potential. Small populations may speciate rapidly due to stronger drift, whereas large populations harbor more genetic diversity, which can alter divergence trajectories. We highlight theoretical models that incorporate population size
Ryo Yamaguchi +3 more
wiley +1 more source