This Letter presents the τ interferometer, a portable and inexpensive device for obtaining spatial interferograms of microscopic biological samples without the strict stability and the highly coherent illumination that are usually required for interferometric microscopy setups. The device is built using off-the-shelf optical elements and can easily operate with low-coherence illumination, while...

PURPOSE To develop a strategy of achieving targeted collection of endothelial cells (ECs) by endovascular methods and analyzing the gene expression profiles of collected single ECs. METHODS AND RESULTS 134 ECs and 37 leukocytes were collected from four patients' intra-iliac artery endovascular guide wires by fluorescence activated cell sorting (FACS) and analyzed by single-cell quantitative R...

quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. however, an important question arises with respect to the accuracy of input parameters. in practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...

Quantitative analysis of software systems is being recognized as an important issue in the software development process. Performance analysis can help to address quantitative system analysis from the early stages of the software development life cycle, e.g, to compare design alternatives or to identify system bottlenecks. Early identification of performance problems is desirable as the cost of ...

Human plasma protein binding (PPB) is an important pharmacokinetic property in drug design. Hologram quantitative structure-activity relationships (HQSAR) were conducted on a series of structurally diverse molecules with known PPB. The best statistical model (q = 0.72, r = 0.91) was used to predict the PPB of 62 test set compounds, and the predicted values were in good agreement with the experi...

Many notions of models in computer science provide quantitative information, or uncertainties, which necessitate a quantitative model checking paradigm. We present such a framework for reactive and generative systems based on a non-standard interpretation of the modal mu-calculus, where x: / x: are interpreted as least/greatest fixed points over the infinite lattice of maps from states to the u...

Quantitative analysis of probabilistic systems has been studied mainly from the global model checking point of view. In the global model-checking, the goal of verification is to decide the probability of satisfaction of a given property for all reachable states in the state space of the system under investigation. On the other hand, in local model checking approach the probability of satisfacti...

Identifying the genetic basis of complex traits remains an important and challenging problem with the potential to impact a broad range of biological endeavors. A number of statistical methods are available for mapping quantitative trait loci (QTL), but their application to high throughput phenotypes has been limited as most require user input and interaction. Recently, methods have been develo...

In the present study, a quantitative structure activity relationship (QSAR) has been carried out on a series of 2-methyl and 2-aminobenzimidazole derivatives to identify the lipophilicity requirements for their inhibitory activity against bacteria Sarcina lutea. The tested compounds displayed in vitro antibacterial activity and minimum inhibitory concentration (MIC) was determined for all compo...

In this paper, we present a method that uses a combination of experimental and modeled data to assess properties of x-ray beam measured using a small-animal spectral scanner. The spatial properties of the beam profile are characterized by beam profile shape, the angular offset along the rotational axis, and the photon count difference between experimental and modeled data at the central beam ax...