Timing verification of dynamically reconfigurable logic for Xilinx Virtex FPGA series

This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standard hardware design and verification tools to the design of dynamically reconfigurable logic (DRL). The technique involves the conversion of a dynamic design into multiple static designs, suitable for input to standard synthesis and APR tools. For timing and functional verification after APR, the sections of the design can then be recombined into a single dynamic system. The technique has been automated by extending an existing DRL design tool named DCSTech, which is part of the Dynamic Circuit Switching (DCS) CAD framework. The principles behind the tools are generic and should be readily extensible to other architectures and CAD toolsets. Implementation of the dynamic system involves the production of partial configuration bitstreams to load sections of circuitry. The process of creating such bitstreams, the final stage of our design flow, is summarized

Gene doctoring: a method for recombineering in laboratory and pathogenic Escherichia coli strains

Background: Homologous recombination mediated by the lambda-Red genes is a common method for making chromosomal modifications in Escherichia coli. Several protocols have been developed that differ in the mechanisms by which DNA, carrying regions homologous to the chromosome, are delivered into the cell. A common technique is to electroporate linear DNA fragments into cells. Alternatively, DNA fragments are generated in vivo by digestion of a donor plasmid with a nuclease that does not cleave the host genome. In both cases the lambda-Red gene products recombine homologous regions carried on the linear DNA fragments with the chromosome. We have successfully used both techniques to generate chromosomal mutations in E. coli K-12 strains. However, we have had limited success with these lambda-Red based recombination techniques in pathogenic E. coli strains, which has led us to develop an enhanced protocol for recombineering in such strains. \ud \ud Results: Our goal was to develop a high-throughput recombineering system, primarily for the coupling of genes to epitope tags, which could also be used for deletion of genes in both pathogenic and K-12 E. coli strains. To that end we have designed a series of donor plasmids for use with the lambda-Red recombination system, which when cleaved in vivo by the I-SceI meganuclease generate a discrete linear DNA fragment, allowing for C-terminal tagging of chromosomal genes with a 6xHis, 3xFLAG, 4xProteinA or GFP tag or for the deletion of chromosomal regions. We have enhanced existing protocols and technologies by inclusion of a cassette conferring kanamycin resistance and, crucially, by including the sacB gene on the donor plasmid, so that all but true recombinants are counter-selected on kanamycin and sucrose containing media, thus eliminating the need for extensive screening. This method has the added advantage of limiting the exposure of cells to the potential damaging effects of the lambda-Red system, which can lead to unwanted secondary alterations to the chromosome. \ud \ud Conclusion: We have developed a counter-selective recombineering technique for epitope tagging or for deleting genes in E. coli. We have demonstrated the versatility of the technique by modifying the chromosome of the enterohaemorrhagic O157:H7 (EHEC), uropathogenic CFT073 (UPEC), enteroaggregative O42 (EAEC) and enterotoxigenic H10407 (ETEC) E. coli strains as well as in K-12 laboratory strains

Review of Top Quark Physics

We present an overview of Top Quark Physics - from what has been learned so far at the Tevatron, to the searches that lie ahead at present and future colliders. We summarize the richness of the measurements and discuss their possible impact on our understanding of the Standard Model by pointing out their key elements and limitations. When possible, we discuss how the top quark may provide a connection to new or unexpected physics.Comment: 84 pp. With permission from the Annual Review of Nuclear & Particle Science. Final version of this material is scheduled to appear in the Annual Review of Nuclear & Particle Science Vol. 53, to be published in December 2003 by Annual Reviews (http://www.annualreviews.org

Linear Estimation of Location and Scale Parameters Using Partial Maxima

Consider an i.i.d. sample X^*_1,X^*_2,...,X^*_n from a location-scale family, and assume that the only available observations consist of the partial maxima (or minima)sequence, X^*_{1:1},X^*_{2:2},...,X^*_{n:n}, where X^*_{j:j}=max{X^*_1,...,X^*_j}. This kind of truncation appears in several circumstances, including best performances in athletics events. In the case of partial maxima, the form of the BLUEs (best linear unbiased estimators) is quite similar to the form of the well-known Lloyd's (1952, Least-squares estimation of location and scale parameters using order statistics, Biometrika, vol. 39, pp. 88-95) BLUEs, based on (the sufficient sample of) order statistics, but, in contrast to the classical case, their consistency is no longer obvious. The present paper is mainly concerned with the scale parameter, showing that the variance of the partial maxima BLUE is at most of order O(1/log n), for a wide class of distributions.Comment: This article is devoted to the memory of my six-years-old, little daughter, Dionyssia, who leaved us on August 25, 2010, at Cephalonia isl. (26 pages, to appear in Metrika

Moving from evidence-based medicine to evidence-based health.

While evidence-based medicine (EBM) has advanced medical practice, the health care system has been inconsistent in translating EBM into improvements in health. Disparities in health and health care play out through patients' limited ability to incorporate the advances of EBM into their daily lives. Assisting patients to self-manage their chronic conditions and paying attention to unhealthy community factors could be added to EBM to create a broader paradigm of evidence-based health. A perspective of evidence-based health may encourage physicians to consider their role in upstream efforts to combat socially patterned chronic disease

Multicomponent signal unmixing from nanoheterostructures: overcoming the traditional challenges of nanoscale X-ray analysis via machine learning.

The chemical composition of core-shell nanoparticle clusters have been determined through principal component analysis (PCA) and independent component analysis (ICA) of an energy-dispersive X-ray (EDX) spectrum image (SI) acquired in a scanning transmission electron microscope (STEM). The method blindly decomposes the SI into three components, which are found to accurately represent the isolated and unmixed X-ray signals originating from the supporting carbon film, the shell, and the bimetallic core. The composition of the latter is verified by and is in excellent agreement with the separate quantification of bare bimetallic seed nanoparticles.D.R. acknowledges support from the Royal Society’s Newton International Fellowship scheme. B.R.K. thanks the U.K. EPSRC for financial support (EP/J500380/1). F.d.l.P. and C.D. acknowledge funding from the ERC under grant no. 259619 PHOTO EM. P.A.M and P.B. acknowledges financial support from the European Research Council under the European Union’s Seventh Framework Programme (FP7/ 2007-2013)/ERC grant agreement 291522-3DIMAGE. P.A.M. also acknowledges financial support from the European Union’s Seventh Framework Programme of the European Commission: ESTEEM2, contract number 312483.This is the final published version. It first appeared at http://pubs.acs.org/doi/abs/10.1021/acs.nanolett.5b00449

Crude incidence in two-phase designs in the presence of competing risks.

BackgroundIn many studies, some information might not be available for the whole cohort, some covariates, or even the outcome, might be ascertained in selected subsamples. These studies are part of a broad category termed two-phase studies. Common examples include the nested case-control and the case-cohort designs. For two-phase studies, appropriate weighted survival estimates have been derived; however, no estimator of cumulative incidence accounting for competing events has been proposed. This is relevant in the presence of multiple types of events, where estimation of event type specific quantities are needed for evaluating outcome.MethodsWe develop a non parametric estimator of the cumulative incidence function of events accounting for possible competing events. It handles a general sampling design by weights derived from the sampling probabilities. The variance is derived from the influence function of the subdistribution hazard.ResultsThe proposed method shows good performance in simulations. It is applied to estimate the crude incidence of relapse in childhood acute lymphoblastic leukemia in groups defined by a genotype not available for everyone in a cohort of nearly 2000 patients, where death due to toxicity acted as a competing event. In a second example the aim was to estimate engagement in care of a cohort of HIV patients in resource limited setting, where for some patients the outcome itself was missing due to lost to follow-up. A sampling based approach was used to identify outcome in a subsample of lost patients and to obtain a valid estimate of connection to care.ConclusionsA valid estimator for cumulative incidence of events accounting for competing risks under a general sampling design from an infinite target population is derived

Literature-based discovery of diabetes- and ROS-related targets

Abstract Background Reactive oxygen species (ROS) are known mediators of cellular damage in multiple diseases including diabetic complications. Despite its importance, no comprehensive database is currently available for the genes associated with ROS. Methods We present ROS- and diabetes-related targets (genes/proteins) collected from the biomedical literature through a text mining technology. A web-based literature mining tool, SciMiner, was applied to 1,154 biomedical papers indexed with diabetes and ROS by PubMed to identify relevant targets. Over-represented targets in the ROS-diabetes literature were obtained through comparisons against randomly selected literature. The expression levels of nine genes, selected from the top ranked ROS-diabetes set, were measured in the dorsal root ganglia (DRG) of diabetic and non-diabetic DBA/2J mice in order to evaluate the biological relevance of literature-derived targets in the pathogenesis of diabetic neuropathy. Results SciMiner identified 1,026 ROS- and diabetes-related targets from the 1,154 biomedical papers (http://jdrf.neurology.med.umich.edu/ROSDiabetes/). Fifty-three targets were significantly over-represented in the ROS-diabetes literature compared to randomly selected literature. These over-represented targets included well-known members of the oxidative stress response including catalase, the NADPH oxidase family, and the superoxide dismutase family of proteins. Eight of the nine selected genes exhibited significant differential expression between diabetic and non-diabetic mice. For six genes, the direction of expression change in diabetes paralleled enhanced oxidative stress in the DRG. Conclusions Literature mining compiled ROS-diabetes related targets from the biomedical literature and led us to evaluate the biological relevance of selected targets in the pathogenesis of diabetic neuropathy.http://deepblue.lib.umich.edu/bitstream/2027.42/78315/1/1755-8794-3-49.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/2/1755-8794-3-49-S7.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/3/1755-8794-3-49-S10.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/4/1755-8794-3-49-S8.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/5/1755-8794-3-49-S3.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/6/1755-8794-3-49-S1.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/7/1755-8794-3-49-S4.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/8/1755-8794-3-49-S2.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/9/1755-8794-3-49-S12.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/10/1755-8794-3-49-S11.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/11/1755-8794-3-49-S9.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/12/1755-8794-3-49-S5.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/13/1755-8794-3-49-S6.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/14/1755-8794-3-49.pdfPeer Reviewe

Finite difference calculations of permeability in large domains in a wide porosity range.

Determining effective hydraulic, thermal, mechanical and electrical properties of porous materials by means of classical physical experiments is often time-consuming and expensive. Thus, accurate numerical calculations of material properties are of increasing interest in geophysical, manufacturing, bio-mechanical and environmental applications, among other fields. Characteristic material properties (e.g. intrinsic permeability, thermal conductivity and elastic moduli) depend on morphological details on the porescale such as shape and size of pores and pore throats or cracks. To obtain reliable predictions of these properties it is necessary to perform numerical analyses of sufficiently large unit cells. Such representative volume elements require optimized numerical simulation techniques. Current state-of-the-art simulation tools to calculate effective permeabilities of porous materials are based on various methods, e.g. lattice Boltzmann, finite volumes or explicit jump Stokes methods. All approaches still have limitations in the maximum size of the simulation domain. In response to these deficits of the well-established methods we propose an efficient and reliable numerical method which allows to calculate intrinsic permeabilities directly from voxel-based data obtained from 3D imaging techniques like X-ray microtomography. We present a modelling framework based on a parallel finite differences solver, allowing the calculation of large domains with relative low computing requirements (i.e. desktop computers). The presented method is validated in a diverse selection of materials, obtaining accurate results for a large range of porosities, wider than the ranges previously reported. Ongoing work includes the estimation of other effective properties of porous media

Resistance to autosomal dominant Alzheimer's disease in an APOE3 Christchurch homozygote: a case report.

We identified a PSEN1 (presenilin 1) mutation carrier from the world's largest autosomal dominant Alzheimer's disease kindred, who did not develop mild cognitive impairment until her seventies, three decades after the expected age of clinical onset. The individual had two copies of the APOE3 Christchurch (R136S) mutation, unusually high brain amyloid levels and limited tau and neurodegenerative measurements. Our findings have implications for the role of APOE in the pathogenesis, treatment and prevention of Alzheimer's disease