Results 31 to 40 of about 495,855 (310)
Skeletal program enumeration for rigorous compiler testing [PDF]
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2016 A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a collection of identifiers V (variable names). This paper introduces the skeletal program enumeration (SPE) problem: Given a syntactic skeleton P and a set of ...
Qirun Zhang, Chengnian Sun, Z. Su
semanticscholar +1 more source
Assessing Viability and Stress Tolerance of Probiotics—A Review
Frontiers in Microbiology, 2022 The interest in probiotics has increased rapidly the latest years together with the global market for probiotic products. Consequently, establishing reliable microbiological methods for assuring the presence of a certain number of viable microorganisms ...
Ulrika Wendel
doaj +1 more source
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
New enumeration formulas for alternating sign matrices and square ice partition functions [PDF]
, 2012 The refined enumeration of alternating sign matrices (ASMs) of given order having prescribed behavior near one or more of their boundary edges has been the subject of extensive study, starting with the Refined Alternating Sign Matrix Conjecture of Mills ...
Ayyer, Arvind, Romik, Dan
core +1 more source
Croatian Journal of Food Science and Technology, 2021 Probiotics are live bacteria that can be found in fermented local foods and confer health benefits on the host when administered in adequate amounts. However, there is little awareness of local fermented, lactose-free foods as good and cheap sources of ...
Dupe Temilade Otolowo +4 more
doaj +1 more source
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
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
Water Alternatives, 2021 Numeric abstractions relied upon by modern water management are reductive by design, but their political effects need not be reductionist, as an example from Bengaluru attests.
Lindsay Vogt
doaj
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