scholarly journals Systematic Testing for Detecting Concurrency Errors in Erlang Programs

2013 ◽  
Author(s):  
Maria Christakis ◽  
Alkis Gotovos ◽  
Konstantinos Sagonas
Keyword(s):  
Systematic Testing ◽  
Concurrency Errors

Systematic testing of ECU software

2005 ◽  
Author(s):  
M. Conrad ◽  
I. Fey
Keyword(s):  
Systematic Testing

scholarly journals Association between confirmed congenital Zika infection at birth and outcomes up to 3 years of life

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Najeh Hcini ◽  
Yaovi Kugbe ◽  
Zo Hasina Linah Rafalimanana ◽  
Véronique Lambert ◽  
Meredith Mathieu ◽  
...  
Keyword(s):  
Neurological Impairment ◽  
In Utero ◽  
In Utero Exposure ◽  
Zikv Infection ◽  
Neurodevelopmental Delay ◽  
Systematic Testing ◽  
Brain Anomalies ◽  
Increased Risk ◽  
Structural Brain

AbstractLittle is known about the long-term neurological development of children diagnosed with congenital Zika infection at birth. Here, we report the imaging and clinical outcomes up to three years of life of a cohort of 129 children exposed to Zika virus in utero. Eighteen of them (14%) had a laboratory confirmed congenital Zika infection at birth. Infected neonates have a higher risk of adverse neonatal and early infantile outcomes (death, structural brain anomalies or neurologic symptoms) than those who tested negative: 8/18 (44%) vs 4/111 (4%), aRR 10.1 [3.5–29.0]. Neurological impairment, neurosensory alterations or delays in motor acquisition are more common in infants with a congenital Zika infection at birth: 6/15 (40%) vs 5/96 (5%), aRR 6.7 [2.2–20.0]. Finally, infected children also have an increased risk of subspecialty referral for suspected neurodevelopmental delay by three years of life: 7/11 (64%) vs 7/51 (14%), aRR 4.4 [1.9–10.1]. Infected infants without structural brain anomalies also appear to have an increased risk, although to a lesser extent, of neurological abnormalities. It seems paramount to offer systematic testing for congenital ZIKV infection in cases of in utero exposure and adapt counseling based on these results.

What Can Experimental Studies of Bias Tell Us About Real-World Group Disparities?

2021 ◽  
pp. 1-82
Author(s):  
Joseph Cesario
Keyword(s):  
Real World ◽  
Experimental Studies ◽  
White Men ◽  
Human Mind ◽  
Behavioral Differences ◽  
Social Categories ◽  
Systematic Testing ◽  
Black And White ◽  
Research Tradition ◽  
The Social

Abstract This article questions the widespread use of experimental social psychology to understand real-world group disparities. Standard experimental practice is to design studies in which participants make judgments of targets who vary only on the social categories to which they belong. This is typically done under simplified decision landscapes and with untrained decision makers. For example, to understand racial disparities in police shootings, researchers show pictures of armed and unarmed Black and White men to undergraduates and have them press "shoot" and "don't shoot" buttons. Having demonstrated categorical bias under these conditions, researchers then use such findings to claim that real-world disparities are also due to decision-maker bias. I describe three flaws inherent in this approach, flaws which undermine any direct contribution of experimental studies to explaining group disparities. First, the decision landscapes used in experimental studies lack crucial components present in actual decisions (Missing Information Flaw). Second, categorical effects in experimental studies are not interpreted in light of other effects on outcomes, including behavioral differences across groups (Missing Forces Flaw). Third, there is no systematic testing of whether the contingencies required to produce experimental effects are present in real-world decisions (Missing Contingencies Flaw). I apply this analysis to three research topics to illustrate the scope of the problem. I discuss how this research tradition has skewed our understanding of the human mind within and beyond the discipline and how results from experimental studies of bias are generally misunderstood. I conclude by arguing that the current research tradition should be abandoned.

scholarly journals Isolating and understanding concurrency errors using reconstructed execution fragments

2012 ◽  
Vol 47 (6) ◽  
pp. 378 ◽  
Author(s):  
Brandon Lucia ◽  
Benjamin P. Wood ◽  
Luis Ceze
Keyword(s):  
Concurrency Errors

scholarly journals Multiple-Locus Sequence Typing Analysis of Bacillus cereus and Bacillus thuringiensis Reveals Separate Clustering and a Distinct Population Structure of Psychrotrophic Strains

2006 ◽  
Vol 72 (2) ◽  
pp. 1569-1578 ◽  
Author(s):  
Alexei Sorokin ◽  
Benjamin Candelon ◽  
Kévin Guilloux ◽  
Nathalie Galleron ◽  
Natalia Wackerow-Kouzova ◽  
...  
Keyword(s):  
Bacillus Thuringiensis ◽  
Bacillus Cereus ◽  
Individual Gene ◽  
Mild Winter ◽  
Systematic Testing ◽  
Bacillus Weihenstephanensis ◽  
Paris Area ◽  
Population Structures ◽  
Multiple Strains ◽  
Almost All

ABSTRACT We used multilocus sequence typing (MLST) to characterize phylogenetic relationships for a collection of Bacillus cereus group strains isolated from forest soil in the Paris area during a mild winter. This collection contains multiple strains isolated from the same soil sample and strains isolated from samples from different sites. We characterized 115 strains of this collection and 19 other strains based on the sequences of the clpC, dinB, gdpD, panC, purF, and yhfL loci. The number of alleles ranged from 36 to 53, and a total of 93 allelic profiles or sequence types were distinguished. We identified three major strain clusters—C, T, and W—based on the comparison of individual gene sequences or concatenated sequences. Some less representative clusters and subclusters were also distinguished. Analysis of the MLST data using the concept of clonal complexes led to the identification of two, five, and three such groups in clusters C, T, and W, respectively. Some of the forest isolates were closely related to independently isolated psychrotrophic strains. Systematic testing of the strains of this collection showed that almost all the strains that were able to grow at a low temperature (6°C) belonged to cluster W. Most of these strains, including three independently isolated strains, belong to two clonal complexes and are therefore very closely related genetically. These clonal complexes represent strains corresponding to the previously identified species Bacillus weihenstephanensis. Most of the other strains of our collection, including some from the W cluster, are not psychrotrophic. B. weihenstephanensis (cluster W) strains appear to comprise an effectively sexual population, whereas Bacillus thuringiensis (cluster T) and B. cereus (cluster C) have clonal population structures.

A Test of Downsian Voter Rationality: 1964 Presidential Voting

1978 ◽  
Vol 72 (1) ◽  
pp. 178-197 ◽  
Author(s):  
Norman Frohlich ◽  
Joe A. Oppenheimer ◽  
Jeffrey Smith ◽  
Oran R. Young
Keyword(s):  
Computer Simulation ◽  
Factor Model ◽  
Simulation Technique ◽  
Engel Curve ◽  
Systematic Testing ◽  
Percentage Improvement ◽  
Making A Difference ◽  
Unexplained Variance ◽  
Computer Simulation Technique ◽  
Random Guess

Systematic testing of Downsian voter rationality is accomplished using a computer simulation technique on the 1964 SRC voting survey. The simulation tests both the hypotheses predicting whether an individual will vote and for whom an individual will vote. To evaluate the results of the tests we develop a statistic analogous to Pearson's r. This statistic measures the percentage improvement over a random guess technique. Utilizing this statistic, Downs explains 68.5 percent of the unexplained variance in the voters' choices of party. Three alternative interpretations of the turnout decision are then considered, each premised on a different notion of how the costs of voting are distributed among the voters. Here we use an Engel Curve technique to develop the turnout decision and explain 92 percent of the variance. The importance of the various elements of the Downsian theory are evaluated and, in contrast to some recent conjectures, the probability of making a difference on the outcome of the election is shown to have an effect on the turnout decision. Finally, to determine the viability of the results, the SRC “6 factor” model is developed in an analogous fashion and used to predict both turnout and direction of vote.

Herausforderungen und Nutzen des systematischen Testens numerischer Berechnungswerkzeuge/Challenges and Benefits by the Systematic Testing of Numerical Based Simulation Models

Konstruktion ◽  
2015 ◽  
Vol 67 (06) ◽  
pp. 86-90
Author(s):  
J. Langenbach ◽  
N. Nagler ◽  
N. Müller ◽  
A. Lohrengel
Keyword(s):  
Simulation Models ◽  
Systematic Testing

Inhalt: In Berechnungssoftware integrierte numerische Berechnungsmodelle stellen erhöhte Anforderungen an die Validierung des zugrunde liegenden Modells. Zum einen ist die Unkenntnis des späteren Anwenders zu berücksichtigen, zum anderen ist sicherzustellen, dass das Modell innerhalb der Grenzen verlässliche Ergebnisse liefert. Der Artikel zeigt die Herausforderungen und den Nutzen des systematischen Testens numerischer Modelle für dessen Entwickler auf und verdeutlicht den um Tests erweiterten Entwicklungsprozess.

Proactive Quality Control: Observing System Simulation Experiments with the Lorenz ’96 Model

2019 ◽  
Vol 147 (1) ◽  
pp. 53-67 ◽  
Author(s):  
Tse-Chun Chen ◽  
Eugenia Kalnay
Keyword(s):  
Quality Control ◽  
Weather Prediction ◽  
Computational Cost ◽  
Network Size ◽  
Simulation Experiments ◽  
Systematic Testing ◽  
Kalman Gain ◽  
Lorenz 96 ◽  
First Time ◽  
Shed Light

Proactive quality control (PQC) is a fully flow-dependent QC for observations based on the ensemble forecast sensitivity to observations technique (EFSO). It aims at reducing the forecast skill dropout events suffered in operational numerical weather prediction by rejecting observations identified as detrimental by EFSO. Past studies show that individual dropout cases from the Global Forecast System (GFS) were significantly improved by noncycling PQC. In this paper, we perform for the first time cycling PQC experiments in a controlled environment with the Lorenz model to provide a systematic testing of the new method and possibly shed light on the optimal configuration of operational implementation. We compare several configurations and PQC update methods. It is found that PQC improvement is insensitive to the suboptimal configurations in DA, including ensemble size, observing network size, model error, and the length of DA window, but the improvements increase with the flaws in observations. More importantly, we show that PQC improves the analysis and forecast even in the absence of flawed observations. The study reveals that reusing the exact same Kalman gain matrix for PQC update not only provides the best result but requires the lowest computational cost among all the tested methods.

Sign in / Sign up

Export Citation Format

Share Document