Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debugging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events...

In this study, coagulation performance by using biological flocculants (BFs; produced from strain Bacillus sp. F6) for turbidity removal was investigated. The results demonstrated that BFs were able to eliminate turbidity from kaolin clay solution over a wide dosage range ( DR = 6–20 mg L ). The removal efficiency with BFs reached 86 % on average, lower than 95 % with Al2(SO4)3 ( Al = 6.5 mg L ...

Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debugging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events...

Breadth First Search (BFS) is widely used for measuring large unknown graphs, such as Online Social Networks. It has been empirically observed that an incomplete BFS is biased toward high degree nodes. In contrast to more studied sampling techniques, such as random walks, the precise bias of BFS has not been characterized to date. In this paper, we quantify the degree bias of BFS sampling. In p...

In this paper we study External A*, a variant of the conventional (internal) A* algorithm that makes use of external memory, e.g., a hard disk. The approach applies to implicit, undirected, unweighted state space problem graphs with consistent estimates. It combines all three aspects of best-first search, frontier search and delayed duplicate detection and can still operate on very small intern...

Blast furnace slag (BFS)/sugar cane bagasse ash (SCBA) blends were assessed for the production of alkali-activated pastes and mortars. SCBA was collected from a lagoon in which wastes from a sugar cane industry were poured. After previous dry and grinding processes, SCBA was chemically characterized: it had a large percentage of organic matter (ca. 25%). Solutions of sodium hydroxide and sodium...

Rational decision making (for flood warning, navigation, or reservoir systems) requires that the total uncertainty about a hydrologic predictand (such as river stage, discharge, or runoff volume) be quantified in terms of a probability distribution, conditional on all available information and knowledge. Hydrologic knowledge is typically embodied in a deterministic catchment model. Fundamentals...

Adding heat to glass ionomers during setting might improve mechanical properties. The aim was to compare the biaxial flexural strength (BFS) between and within four glass ionomers, by time of exposure to a high-intensity LED light-curing unit. Materials and methods. Samples of Fuji 9 Gold Label, Ketac Molar Easymix, ChemFil Rock, and the EQUIA system were divided into three treatment groups (n ...

Objective: To determine the relationships between urological features of multiple sclerosis (MS) and various disease parameters. Material and Methods: Forty-three patients with MS were evaluated. Urinary complaints, disease duration, urologic symptom duration, time elapsed till urologic symptom, expanded disability status score (EDSS), and bladder functional score (BFS) for each patient were co...

Bayes factors (BFs) are becoming increasingly important tools in genetic association studies, partly because they provide a natural framework for including prior information. The Wakefield BF (WBF) approximation is easy to calculate and assumes a normal prior on the log odds ratio (logOR) with a mean of zero. However, the prior variance (W) must be specified. Because of the potentially high sen...