Results 31 to 40 of about 307,376 (353)
Information and Computation, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eric Martin 0002, Daniel N. Osherson
openaire +2 more sources
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
A Comprehensive Study of the Key Enumeration Problem
Entropy, 2019 In this paper, we will study the key enumeration problem, which is connected to the key recovery problem posed in the cold boot attack setting. In this setting, an attacker with physical access to a computer may obtain noisy data of a cryptographic ...
Ricardo Villanueva-Polanco
doaj +1 more source
Improving Dispersion of Bacterial Endospores for Enumeration
KONA Powder and Particle Journal, 2015 Precise enumeration of spores is crucial for accurate evaluation of spore survival in the presence of inactivating agents or extreme environmental conditions. Bacterial endospores tend to agglomerate, leading to low estimates of spore numbers.
Vijay B. Krishna +4 more
doaj +1 more source
Improving and Comparing Probiotic Plate Count Methods by Analytical Procedure Lifecycle Management
Frontiers in Microbiology, 2021 Probiotics are live microorganisms that confer a health benefit to the host when administered in adequate amounts. This definition links probiotic efficacy to microbial viability. The current gold standard assay for probiotic potency is enumeration using
M. L. Jane Weitzel +8 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 Enumeration Algorithms
CoRR, 2016 In this paper, we enumerate enumeration problems and algorithms. This survey is under construction. If you know some results not in this survey or there is anything wrong, please let me know.
openaire +2 more sources
Frontiers in MicrobiologyThis study introduces an optimized integration of flow cytometry and fluorescence in situ hybridization (Flow-FISH) as an approach for the specific enumeration of gram-positive bacteria in probiotic products, overcoming the limitations of conventional ...
Laura Snaidr +5 more
doaj +1 more source
Enumerating Tree-Like Graphs and Polymer Topologies with a Given Cycle Rank
Entropy, 2020 Cycle rank is an important notion that is widely used to classify, understand, and discover new chemical compounds. We propose a method to enumerate all non-isomorphic tree-like graphs of a given cycle rank with self-loops and no multiple edges.
Naveed Ahmed Azam +2 more
doaj +1 more source