Results 41 to 50 of about 495,855 (310)
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
Comparison of four agar media for the enumeration of the Mycobacterium abscessus complex
International Journal of Mycobacteriology, 2020 Background: Traditional culture of nontuberculous mycobacteria (NTMs) has involved egg-based formulations (Lowenstein–Jensen medium) or defined media (Middlebrook formulations), which have disadvantages of composition complexity, availability, and cost ...
John Edmund Moore +1 more
doaj +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
Enumeration of octagonal tilings [PDF]
, 2015 Random tilings are interesting as idealizations of atomistic models of quasicrystals and for their connection to problems in combinatorics and algorithms.
Hutchinson, Maxwell, Widom, Michael
core +1 more source
Lattice Enumeration with Discrete Pruning: Improvements, Cost Estimation and Optimal Parameters
Mathematics, 2023 Lattice enumeration is a linear-space algorithm for solving the shortest lattice vector problem (SVP). Extreme pruning is a practical technique for accelerating lattice enumeration, which has a mature theoretical analysis and practical implementation ...
Luan Luan +3 more
doaj +1 more source
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 of the Monomials of a Polynomial and Related Complexity Classes [PDF]
, 2010 We study the problem of generating monomials of a polynomial in the context of enumeration complexity. In this setting, the complexity measure is the delay between two solutions and the total time.
Denis Diderot +2 more
core +1 more source
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
Methods for detection and enumeration of coliforms in drinking water: a review
Water Supply, 2023 Ensuring the microbiological safety of drinking water is of paramount importance to protect public health. Coliform bacteria, including Escherichia coli, serve as key indicators of water contamination and the potential presence of harmful pathogens ...
Ashish Tambi, Urmila Brighu, A. B. Gupta
doaj +1 more source