Results 31 to 40 of about 391,750 (316)
The Essential Role of Empirical Validation in Legislative Redistricting Simulation
As granular data about elections and voters become available, redistricting simulation methods are playing an increasingly important role when legislatures adopt redistricting plans and courts determine their legality.
Benjamin Fifield+3 more
doaj +1 more source
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
Combinatorial families of multilabelled increasing trees and hook-length formulas [PDF]
In this work we introduce and study various generalizations of the notion of increasingly labelled trees, where the label of a child node is always larger than the label of its parent node, to multilabelled tree families, where the nodes in the tree can ...
Kuba, Markus, Panholzer, Alois
core +1 more source
AbstractWe present an answer to a question raised by J. Riordan on the relationship between two families of maps of finite sets.
Marcel Paul Schützenberger+1 more
openaire +2 more sources
This 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
A Comprehensive Study of the Key Enumeration Problem
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
Lattice Enumeration with Discrete Pruning: Improvements, Cost Estimation and Optimal Parameters
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
Image Analysis Semi-Automatic System for Colony-Forming-Unit Counting
Background: Accurate quantitative analysis of microorganisms is recognized as an essential tool for gauging safety and quality in microbiology settings in a wide range of fields.
Pedro Miguel Rodrigues+2 more
doaj +1 more source
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