Nonparametric distributed sequential detection via universal source coding

We consider nonparametric or universal sequential hypothesis testing when the distribution under the null hypothesis is fully known but the alternate hypothesis corresponds to some other unknown distribution. These algorithms are primarily motivated from spectrum sensing in Cognitive Radios and intruder detection in wireless sensor networks. We use easily implementable universal lossless source codes to propose simple algorithms for such a setup. The algorithms are first proposed for discrete alphabet. Their performance and asymptotic properties are studied theoretically. Later these are extended to continuous alphabets. Their performance with two well known universal source codes, Lempel-Ziv code and KT-estimator with Arithmetic Encoder are compared. These algorithms are also compared with the tests using various other nonparametric estimators. Finally a decentralized version utilizing spatial diversity is also proposed and analysed.

Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.

Synthesizing Racy Tests

Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static techniques. On the other hand, the effectiveness of dynamic race detectors is critically dependent on multithreaded test suites whose execution can be used to identify and trigger races. Usually, such multithreaded tests need to invoke a specific combination of methods with objects involved in the invocations being shared appropriately to expose a race. Without a priori knowledge of the race, construction of such tests can be challenging. In this paper, we present a lightweight and scalable technique for synthesizing precisely these kinds of tests. Given a multithreaded library and a sequential test suite, we describe a fully automated analysis that examines sequential execution traces, and produces as its output a concurrent client program that drives shared objects via library method calls to states conducive for triggering a race. Experimental results on a variety of well-tested Java libraries yield 101 synthesized multithreaded tests in less than four minutes. Analyzing the execution of these tests using an off-the-shelf race detector reveals 187 harmful races, including several previously unreported ones.

Fracture Mechanisms And Size Effects Of Brittle Metallic Foams: In Situ Compression Tests Inside Sem

In situ compressive tests on specially designed small samples made from brittle metallic foams were accomplished in a loading device equipped in the scanning electron microscopy (SEM). Each of the small samples comprises only several cells in the effective test zone (ETZ), with one major cell in the middle. In such a system one can not only obtain sequential collapse-process images of a single cell and its cell walls with high resolution, but also correlate the detailed failure behaviour of the cell walls with the stress-strain response, therefore reveal the mechanisms of energy absorption in the mesoscopic scale. Meanwhile, the stress-strain behaviour is quite different from that of bulk foams in dimensions of enough large, indicating a strong size effect. According to the in situ observations, four failure modes in the cell-wall level were summarized, and these modes account for the mesoscopic mechanisms of energy absorption. Paralleled compression tests on bulk samples were also carried out, and it is found that both fracturing of a single cell and developing of fracture bands are defect-directed or weakness-directed processes. The mechanical properties of the brittle aluminum foams obtained from the present tests agree well with the size effect model for ductile cellular solids proposed by Onck et al. (C) 2008 Elsevier Ltd. All rights reserved.

Field observation of sequestration of uranium in iron-rich sediments under sequential reduction-oxidation conditions at the DOE Oak Ridge IFRC

At the U.S. DOE Oak Ridge Integrated Field Research Challenge (ORIFRC) site, the iron content of shallow subsurface materials (i.e. weathered saprolite) is relatively high (up to 5-6% as w/w), and therefore, the forms of the iron species present plays a critical role in the long-term sequestration of uranium. A long term pilot-scale study of the bioreduction and reoxidation of uranium conducted at the ORIFRC area 3 site, adjacent to the former S-3 disposal ponds (source zone), has provided us with the opportunity to study the impact of iron species on the sequestration of U(VI). The aqueous U(VI) concentrations at the site were decreased to below the EPA MCL through the intermittent injection of ethanol as the electron donor. Previous field tests indicated that both oxygen and nitrate could oxidize the bioreduced U(IV) and cause a short-term rebound of aqueous phase uranium concentration after the oxidative agents were delivered directly to the bioreduced zone.

A field test has been conducted to examine the long-term effect of exposure of bioreduced sediments to nitrate in contaminated groundwater for more than 1,380 days at the Area 3 site. Contaminated groundwater was allowed to invade the previously bioreduced zone via the natural groundwater gradient after an extended period in which reducing conditions were maintained and the bioreduced zone was protected from the influx of upgradient contaminated groundwater. The geochemical response to the invasion of contaminated groundwater was dependent on whether the monitoring location is in the middle or the fringe of the previously bioreduced zone. In general, the nitrate concentrations in the previously bioreduced area, increased gradually from near zero to ~50-300 mM within 200 days and then stabilized. The pH declined from bioreduced levels of 6.2-6.7 to below 5.0. Uranium concentrations rebounded in all monitoring wells but at different rates. At most locations U concentrations rebounded, declined and then rebounded again. Methane gas disappeared while a significant level (20,000 to 44,000 ppmv) N2O was found in the groundwater of monitoring wells after three years of reoxidization.

The U(IV) in sediments was mainly reoxidized to U(VI) species. Based on XANES analysis, the predominate uranium in all samples after re-oxidation was similar to a uranyl nitrate form. But the U content in the sediment remained as high as that determined after bioreduction activates were completed, indicating that much of the U is still sequestrated in situ. SEM observations of surged fine sediments revealed that clusters of colloidal-sized (200-500nm) U-containing precipitates appeared to have formed in situ, regardless from sample of FW106 in non-bioactivity control area or of pre-bioreduced FW101-2 and FW102-3. Additionally, SEM-EDS and microprobe analysis, showed that the U-containing precipitates (~1% U) in FW106 are notably higher in Fe, compared to the precipitates (~1-2.5% U) from FW101-2 and FW102-3. However, XRF analysis indicated that the U content was remained as high as 2180 and 1810 mg/kg with U/Fe ratio at 0.077 and 0.055 vs 0.037 g/g, respectively in pre-bioreduced FW101-2 and FW102-3, suggesting more U sequestrated by Fe in pre-bioreduced sediments.

Sequential expression of putative stem cell markers in gastric carcinogenesis

Gastric carcinogenesis has been well documented in the step-wise histopathological model, known as Correa pathway. Several biomarkers including CD44, Musashi-1 and CD133 have been reported as putative stem cell (PSC) markers.

Hydrogeophysical data integration at larger scales: Application of Bayesian sequential simulation for the characterization of heterogeneous alluvial aquifers

Knowledge of the spatial distribution of hydraulic conductivity (K) within an aquifer is critical for reliable predictions of solute transport and the development of effective groundwater management and/or remediation strategies. While core analyses and hydraulic logging can provide highly detailed information, such information is inherently localized around boreholes that tend to be sparsely distributed throughout the aquifer volume. Conversely, larger-scale hydraulic experiments like pumping and tracer tests provide relatively low-resolution estimates of K in the investigated subsurface region. As a result, traditional hydrogeological measurement techniques contain a gap in terms of spatial resolution and coverage, and they are often alone inadequate for characterizing heterogeneous aquifers. Geophysical methods have the potential to bridge this gap. The recent increased interest in the application of geophysical methods to hydrogeological problems is clearly evidenced by the formation and rapid growth of the domain of hydrogeophysics over the past decade (e.g., Rubin and Hubbard, 2005).

Sequential genome-wide association studies for monitoring adverse events in the clinical evaluation of new drugs

Pharmacovigilance, the monitoring of adverse events (AEs), is an integral part in the clinical evaluation of a new drug. Until recently, attempts to relate the incidence of AEs to putative causes have been restricted to the evaluation of simple demographic and environmental factors. The advent of large-scale genotyping, however, provides an opportunity to look for associations between AEs and genetic markers, such as single nucleotides polymorphisms (SNPs). It is envisaged that a very large number of SNPs, possibly over 500 000, will be used in pharmacovigilance in an attempt to identify any genetic difference between patients who have experienced an AE and those who have not. We propose a sequential genome-wide association test for analysing AEs as they arise, allowing evidence-based decision-making at the earliest opportunity. This gives us the capability of quickly establishing whether there is a group of patients at high-risk of an AE based upon their DNA. Our method provides a valid test which takes account of linkage disequilibrium and allows for the sequential nature of the procedure. The method is more powerful than using a correction, such as idák, that assumes that the tests are independent. Copyright © 2006 John Wiley & Sons, Ltd.

Comprehension of reflexives and pronouns in sequential bilingual children: do they pattern similarly to L1 children, L2 adults, or children with specific language impairment?

This paper investigates how sequential bilingual (L2) Turkish-English children comprehend English reflexives and pronouns and tests whether they pattern similarly to monolingual (L1) children, L2 adults, or children with Specific Language Impairment (SLI). Thirty nine 6- to 9-year-old L2 children with an age of onset of 30-48 months and exposure to English of 30-72 months and 33 L1 age-matched control children completed the Advanced Syntactic Test of Pronominal Reference-Revised (van der Lely, 1997). The L2 children’s performance was compared to L2 adults from Demirci (2001) and children with SLI from van der Lely & Stollwerck (1997). The L2 children’s performance in the comprehension of reflexives was almost identical to their age-matched controls, and differed from L2 adults and children with SLI. In the comprehension of pronouns, L2 children showed an asymmetry between referential and quantificational NPs, a pattern attested in younger L1 children and children with SLI. Our study provides evidence that the development of comprehension of reflexives and pronouns in these children resembles monolingual L1 acquisition and not adult L2 acquisition or acquisition of children with SLI.

Advances in sequential data assimilation and numerical weather forecasting: an Ensemble Transform Kalman-Bucy Filter, a study on clustering in deterministic Ensemble Square Root Filters, and a test of a new time stepping scheme in an atmospheric model

This dissertation deals with aspects of sequential data assimilation (in particular ensemble Kalman filtering) and numerical weather forecasting. In the first part, the recently formulated Ensemble Kalman-Bucy (EnKBF) filter is revisited. It is shown that the previously used numerical integration scheme fails when the magnitude of the background error covariance grows beyond that of the observational error covariance in the forecast window. Therefore, we present a suitable integration scheme that handles the stiffening of the differential equations involved and doesn’t represent further computational expense. Moreover, a transform-based alternative to the EnKBF is developed: under this scheme, the operations are performed in the ensemble space instead of in the state space. Advantages of this formulation are explained. For the first time, the EnKBF is implemented in an atmospheric model. The second part of this work deals with ensemble clustering, a phenomenon that arises when performing data assimilation using of deterministic ensemble square root filters in highly nonlinear forecast models. Namely, an M-member ensemble detaches into an outlier and a cluster of M-1 members. Previous works may suggest that this issue represents a failure of EnSRFs; this work dispels that notion. It is shown that ensemble clustering can be reverted also due to nonlinear processes, in particular the alternation between nonlinear expansion and compression of the ensemble for different regions of the attractor. Some EnSRFs that use random rotations have been developed to overcome this issue; these formulations are analyzed and their advantages and disadvantages with respect to common EnSRFs are discussed. The third and last part contains the implementation of the Robert-Asselin-Williams (RAW) filter in an atmospheric model. The RAW filter is an improvement to the widely popular Robert-Asselin filter that successfully suppresses spurious computational waves while avoiding any distortion in the mean value of the function. Using statistical significance tests both at the local and field level, it is shown that the climatology of the SPEEDY model is not modified by the changed time stepping scheme; hence, no retuning of the parameterizations is required. It is found the accuracy of the medium-term forecasts is increased by using the RAW filter.

Spot-test identification and rapid quantitative sequential analysis of dipyrone

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Sequential sampling of soybean and beans seeds for Sclerotinia sclerotiorum detection (Lib.) DeBary

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Different degrees of malnutrition and immunological alterations according to the aetiology of cirrhosis: a prospective and sequential study

Abstract Objectives In this work we investigated how immunological dysfunction and malnutrition interact in alcoholic and viral aetiologies of cirrhosis. Methods To investigate the matter, 77 cirrhotic patients divided in three aetiologies [Alcohol, HCV and Alcohol + HCV) and 32 controls were prospectivelly and sequentially studied. Parameters of humoral immunity (Components 3 and 4 of seric complement and immunoglobulins A M, G and E) and of cellular immunity (total leukocytes and lymphocytes in peripheral blood, T lymphocytes subpopulations, CD4+ and CD8+, CD4+/CD8+ ratio and intradermic tests of delayed hypersensitivity), as well as nutrititional parameters: anthropometric measures, serum albumin and transferrin were evaluated. Results Multiple statistical comparisons showed that IgM was higher in HCV group; IgG was significantly elevated in both HCV and Alcohol + HCV, whereas for the Alcohol group, IgE was found at higher titles. The analysis of T- lymphocytes subpopulations showed no aetiologic differences, but intradermic tests of delayed hypersensitivity did show greater frequency of anergy in the Alcohol group. For anthropometric parameters, the Alcohol +HCV group displayed the lowest triceps skinfold whereas creatinine – height index evaluation was more preserved in the HCV group. Body mass index, arm muscle area and arm fat area showed that differently from alcohol group, the HCV group was similar to control. Conclusion Significant differences were found among the main aetiologies of cirrhosis concerning immunological alterations and nutritional status: better nutrition and worse immunology for HCV and vice-versa for alcohol.

Population genomic tests of models of adaptive radiation in Lake Victoria Region cichlid fish

Adaptive radiation is usually thought to be associated with speciation, but the evolution of intraspecific polymorphisms without speciation is also possible. The radiation of cichlid fish in Lake Victoria (LV) is perhaps the most impressive example of a recent rapid adaptive radiation, with 600+ very young species. Key questions about its origin remain poorly characterized, such as the importance of speciation versus polymorphism, whether species persist on evolutionary time scales, and if speciation happens more commonly in small isolated or in large connected populations. We used 320 individuals from 105 putative species from Lakes Victoria, Edward, Kivu, Albert, Nabugabo and Saka, in a radiation-wide amplified fragment length polymorphism (AFLP) genome scan to address some of these questions. We demonstrate pervasive signatures of speciation supporting the classical model of adaptive radiation associated with speciation. A positive relationship between the age of lakes and the average genomic differentiation of their species, and a significant fraction of molecular variance explained by above-species level taxonomy suggest the persistence of species on evolutionary time scales, with radiation through sequential speciation rather than a single starburst. Finally the large gene diversity retained from colonization to individual species in every radiation suggests large effective population sizes and makes speciation in small geographical isolates unlikely.