Results 31 to 40 of about 245,617 (365)
Journal of Experimental Psychology: Human Perception and Performance, 2013 Many joint decisions in everyday life (e.g., Which bar is less crowded?) depend on approximate enumeration, but very little is known about the psychological characteristics of counting together. Here we systematically investigated collective approximate enumeration.
Bahador Bahrami +4 more
openaire +2 more sources
A Circuit-Based Approach to Efficient Enumeration [PDF]
International Colloquium on Automata, Languages and Programming, 2017 We study the problem of enumerating the satisfying valuations of a circuit while bounding the delay, i.e., the time needed to compute each successive valuation.
Antoine Amarilli +3 more
semanticscholar +1 more source
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
International Conference on Computer Aided Verification, 2019 We present cvc4sy, a syntax-guided synthesis (SyGuS) solver based on three bounded term enumeration strategies. The first encodes term enumeration as an extension of the quantifier-free theory of algebraic datatypes.
Andrew Reynolds +4 more
semanticscholar +1 more source
Enumerations including laconic enumerators
Theoretical Computer Science, 2017 Abstract We show that it is possible, for every machine universal for Kolmogorov complexity, to enumerate the lexicographically least description of a length n string in O ( n ) attempts. In contrast to this positive result for strings, we find that, in any Kolmogorov numbering, no enumerator of nontrivial size can generate a list containing
Jason Teutsch, Sanjay Jain
openaire +2 more sources
Proceedings of the National Academy of Sciences, 2023 Soil is an immense habitat for diverse organisms across the tree of life, but just how many organisms live in soil is surprisingly unknown. Previous efforts to enumerate soil biodiversity consider only certain types of organisms (e.g., animals) or report values for diverse groups without partitioning species that live in soil versus other habitats ...
Anthony, Mark A +2 more
openaire +5 more sources
Frontiers in Microbiology, 2020 Improvements offered by viability droplet digital PCR (v-ddPCR) include increased precision, specificity and decreased time to results making for an attractive alternative method to traditional plate count enumeration of probiotic products.
Anthony Kiefer +4 more
doaj +1 more source
Quantum weight enumerators and tensor networks [PDF]
arXiv, 2022 We examine the use of weight enumerators for analyzing tensor network constructions, and specifically the quantum lego framework recently introduced. We extend the notion of quantum weight enumerators to so-called tensor enumerators, and prove that the trace operation on tensor networks is compatible with a trace operation on tensor enumerators.
arxiv
Enumeration of 166 Billion Organic Small Molecules in the Chemical Universe Database GDB-17
Journal of Chemical Information and Modeling, 2012 Drug molecules consist of a few tens of atoms connected by covalent bonds. How many such molecules are possible in total and what is their structure? This question is of pressing interest in medicinal chemistry to help solve the problems of drug potency,
Lars Ruddigkeit +3 more
semanticscholar +1 more source
ENUMERATION AS A MEANS OF FINANCIAL MARKETS DATA REPRESENTATION
Novìtnâ Osvìta, 2016 Cognitive linguistics has developed into one of the most attractive and influential frameworks within linguistics at large. And it draws the linguists’ attention to the study of aspects of language within cognitive paradigm as reflections of conceptual ...
Maryna Antonova
doaj +1 more source