Results 61 to 70 of about 3,148,089 (334)
Computation and Hypercomputation
Mathematics, 2022 This paper shows some of the differences and similarities between computation and hypercomputation, the similarities relating to the complexity of propositional computation and the differences being the propositions that can be decided computationally or
Andrew Powell
doaj +1 more source
Applied Mathematics and Computation, 2009 In this survey we consider optical computers that encode data using images and compute by transforming such images. We give an overview of a number of such optical computing architectures, including descriptions of the type of hardware commonly used in optical computing, as well as some of the computational efficiencies of optical devices.
Woods, Damien, Naughton, Thomas J.
openaire +6 more sources
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
O tzw. metaforze komputerowej (About so called Computer Metaphor) [PDF]
Analiza i Egzystencja, 2009 In many sciences, including cognitive science and biology, it is assumed that certain physical systems process information and effectively realize computation.
Marcin Miłkowski
doaj
Encyclopedia of Cryptography and Security, 2020 MPC has moved from theoretical study to real-world usage. How is it doing?
Yehuda Lindell
semanticscholar +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
Mixing Computations and Proofs
Journal of Formalized Reasoning, 2016 We examine the relationship between proof and computation in mathematics, especially in formalized mathematics. We compare the various approaches to proofs with a significant computational component, including (i) verifying the algorithms, (ii ...
Michael Beeson
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
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
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