Interdependent cache analyses for better precision and safety

One of the challenges for accurately estimating Worst Case Execu-tion Time(WCET) of executables is to accurately predict their cache behaviour. Various techniques have been developed to predict the cache contents at different program points to estimate the execution time of memory-accessing instructions. One of the most widely used techniques is Abstract Interpretation based Must Analysis, which de-termines the cache blocks guaranteed to be present in the cache, and hence provides safe estimation of cache hits and misses. However,Must Analysis is highly imprecise, and platforms using Must Analysis have been known to produce blown-up WCET estimates. In our work, we propose to use May Analysis to assist the Must Analysis cache up-date and make it more precise. We prove the safety of our approach as well as provide examples where our Improved Must Analysis provides better precision. Further, we also detect a serious flaw in the original Persistence Analysis, and use Must and May Analysis to assist the Persistence Analysis cache update, to make it safe and more precise than the known solutions to the problem.

Resource usage monitoring for KVM based virtual machines

Realization of cloud computing has been possible due to availability of virtualization technologies on commodity platforms. Measuring resource usage on the virtualized servers is difficult because of the fact that the performance counters used for resource accounting are not virtualized. Hence, many of the prevalent virtualization technologies like Xen, VMware, KVM etc., use host specific CPU usage monitoring, which is coarse grained. In this paper, we present a performance monitoring tool for KVM based virtualized machines, which measures the CPU overhead incurred by the hypervisor on behalf of the virtual machine along-with the CPU usage of virtual machine itself. This fine-grained resource usage information, provided by the above tool, can be used for diverse situations like resource provisioning to support performance associated QoS requirements, identification of bottlenecks during VM placements, resource profiling of applications in cloud environments, etc. We demonstrate a use case of this tool by measuring the performance of web-servers hosted on a KVM based virtualized server.

Patterned growth and differentiation of neural cells on polymer derived carbon substrates with micro/nano structures in vitro

The growth of neuroblastoma (N2a) and Schwann cells has been explored on polymer derived carbon substrates of varying micro and nanoscale geometries: resorcinol-formaldehyde (RE) gel derived carbon films and electrospun nanofibrous (similar to 200 nm diameter) mat and SU-8 (a negative photoresist) derived carbon micro-patterns. MTT assay and complementary lactate dehydrogenase (LDH) assay established cytocompatibility of RE derived carbon films and fibers over a period of 6 days in culture. The role of length scale of surface patterns in eliciting lineage-specific adaptive response along, across and on the interspacing between adjacent micropatterns (i.e., ``on'', ``across'' and ``off'') has been assayed. Textural features were found to affect 3',5'-cyclic AMP sodium salt-induced neurite outgrowth, over a wide range of length scales: from similar to 200 nm (carbon fibers) to similar to 60 mu m (carbon patterns). Despite their innate randomness, carbon nanofibers promoted preferential differentiation of N2a cells into neuronal lineage, similar to ordered micro-patterns. Our results, for the first time, conclusively demonstrate the potential of RE-gel and SU-8 derived carbon substrates as nerve tissue engineering platforms for guided proliferation and differentiation of neural cells in vitro. (C) 2013 Elsevier Ltd. All rights reserved.

A simple model for spatial disaggregation of evaporative fraction: Comparative study with thermal sharpened land surface temperature data over India

[1] Evaporative fraction (EF) is a measure of the amount of available energy at the earth surface that is partitioned into latent heat flux. The currently operational thermal sensors like the Moderate Resolution Imaging Spectroradiometer (MODIS) on satellite platforms provide data only at 1000 m, which constraints the spatial resolution of EF estimates. A simple model (disaggregation of evaporative fraction (DEFrac)) based on the observed relationship between EF and the normalized difference vegetation index is proposed to spatially disaggregate EF. The DEFrac model was tested with EF estimated from the triangle method using 113 clear sky data sets from the MODIS sensor aboard Terra and Aqua satellites. Validation was done using the data at four micrometeorological tower sites across varied agro-climatic zones possessing different land cover conditions in India using Bowen ratio energy balance method. The root-mean-square error (RMSE) of EF estimated at 1000 m resolution using the triangle method was 0.09 for all the four sites put together. The RMSE of DEFrac disaggregated EF was 0.09 for 250 m resolution. Two models of input disaggregation were also tried with thermal data sharpened using two thermal sharpening models DisTrad and TsHARP. The RMSE of disaggregated EF was 0.14 for both the input disaggregation models for 250 m resolution. Moreover, spatial analysis of disaggregation was performed using Landsat-7 (Enhanced Thematic Mapper) ETM+ data over four grids in India for contrasted seasons. It was observed that the DEFrac model performed better than the input disaggregation models under cropped conditions while they were marginally similar under non-cropped conditions.

A Novel and Scalable LED Communication System

We describe our novel LED communication infrastructure and demonstrate its scalability across platforms. Our system achieves 50 kilo bits per second on very simple SoCs and scales to megabits bits per second rates on dual processor based mobile phone platforms.

Co-Exploration of NLA Kernels and Specification of Compute Elements in Distributed Memory CGRAs

Coarse Grained Reconfigurable Architectures (CGRA) are emerging as embedded application processing units in computing platforms for Exascale computing. Such CGRAs are distributed memory multi- core compute elements on a chip that communicate over a Network-on-chip (NoC). Numerical Linear Algebra (NLA) kernels are key to several high performance computing applications. In this paper we propose a systematic methodology to obtain the specification of Compute Elements (CE) for such CGRAs. We analyze block Matrix Multiplication and block LU Decomposition algorithms in the context of a CGRA, and obtain theoretical bounds on communication requirements, and memory sizes for a CE. Support for high performance custom computations common to NLA kernels are met through custom function units (CFUs) in the CEs. We present results to justify the merits of such CFUs.

Hydrogelation of bile acid-peptide conjugates and in situ synthesis of silver and gold nanoparticles in the hydrogel matrix

Fabricating supramolecular hydrogels with embedded metal nanostructures is important for the design of novel hybrid nanocomposite materials for diverse applications such as biosensing and chemosensing platforms, catalytic and antibacterial functional materials etc. Supramolecular self-assembly of bile acid-dipeptide conjugates has led to the formation of new supramolecular hydrogels. Gelation of these molecules depends strongly on the hydrophobic character of the bile acids. The possibility of in situ fabrication of Ag and Au NPs in these supramolecular hydrogels by incorporating Ag+ and Au3+ salts was investigated via photoreduction. Chemical reductions of Ag+ and Au3+ salts in the hydrogels were performed without adding any external stabilizing agents. In this report we have shown that the color, size and shape of silver nanoparticles formed by photoreduction depend on the amino acid residue of the side chain.

The Holy Grail of Polymer Therapeutics for Cancer Therapy: An Overview on the Pharmacokinetics and Bio Distribution

In recent years, multifaceted clinical benefits of polymeric therapeutics have been reported. Over the past decades, cancer has been one of the leading causes of mortality in the world. Many clinically approved chemotherapeutics encounter potential challenges against deadly cancer. Moreover, safety and efficacy of anticancer agents have been limited by undesirable pharmacokinetics and biodistribution. To address these limitations, various polymer drug conjugates are being studied and developed to improve the antitumor efficacy. Among other therapeutics, polymer therapeutics are well established platforms that circumvent anticancer therapeutics from enzymatic metabolism via direct conjugation to therapeutic molecules. Interestingly, polymer therapeutics meets an unmet need of small molecules. Further clinical study showed that polymer-drug conjugation can achieve desired pharmacokinetics and biodistribution properties of several anticancer drugs. The present retrospective review mainly enlightens the most recent preclinical and clinical studies include safety, stability, pharmacokinetic behavior and distribution of polymer therapeutics.

Plasmonic Lipid Bilayer Membranes for Enhanced Detection Sensitivity of Biolabeling Fluorophores

Plasmonics based sensing, using the surface plasmon resonance of metal nanoparticles, has been effectively demonstrated in various applications. Extending this methodology to cell and artificial lipid bilayer membranes is extremely beneficial in enhancing the sensitivity of the detection of binding and cellular transport of molecules across such membranes. Here, the creation of an artificial plasmonic biomembrane template is demonstrated and used to show the enhanced detection sensitivity of certain widely used biomarker molecules. The efficacy of these templates is explained in terms of the ability of the hydrophobic polymer grafted gold nanoparticles used to organize, penetrate, and fluidize the membranes. The enhancement of photoluminescence of the dye molecules used occurs over a reasonably large spectral range as compared to the plasmon resonance of gold nanoparticles. The results could, possibly, be extended to cellular membranes with relevant modifications, as well as to the detection of any other biological molecule appropriately labeled with fluorescent dye molecules, and demonstrate the versatility of these plasmonic bioinspired platforms as potential biochemical sensors.

First-in-Class Inhibitors of Sulfur Metabolism with Bactericidal Activity against Non-Replicating M-tuberculosis

Development of effective therapies to eradicate persistent, slowly replicating M. tuberculosis (Mtb) represents a significant challenge to controlling the global TB epidemic. To develop such therapies, it is imperative to translate information from metabolome and proteome adaptations of persistent Mtb into the drug discovery screening platforms. To this end, reductive sulfur metabolism is genetically and pharmacologically implicated in survival, pathogenesis, and redox homeostasis of persistent Mtb. Therefore, inhibitors of this pathway are expected to serve as powerful tools in its preclinical and clinical validation as a therapeutic target for eradicating persisters. Here, we establish a first functional HTS platform for identification of APS reductase (APSR) inhibitors, a critical enzyme in the assimilation of sulfate for the biosynthesis of cysteine and other essential sulfur-containing molecules. Our HTS campaign involving 38?350 compounds led to the discovery of three distinct structural classes of APSR inhibitors. A class of bioactive compounds with known pharmacology displayed potent bactericidal activity in wild-type Mtb as well as MDR and XDR clinical isolates. Top compounds showed markedly diminished potency in a conditional Delta APSR mutant, which could be restored by complementation with Mtb APSR. Furthermore, ITC studies on representative compounds provided evidence for direct engagement of the APSR target. Finally, potent APSR inhibitors significantly decreased the cellular levels of key reduced sulfur-containing metabolites and also induced an oxidative shift in mycothiol redox potential of live Mtb, thus providing functional validation of our screening data. In summary, we have identified first-in-class inhibitors of APSR that can serve as molecular probes in unraveling the links between Mtb persistence, antibiotic tolerance, and sulfate assimilation, in addition to their potential therapeutic value.

CheepSync: A Time Synchronization Service for Resource Constrained Bluetooth LE Advertisers

Clock synchronization is highly desirable in distributed systems, including many applications in the Internet of Things and Humans. It improves the efficiency, modularity, and scalability of the system, and optimizes use of event triggers. For IoTH, BLE - a subset of the recent Bluetooth v4.0 stack - provides a low-power and loosely coupled mechanism for sensor data collection with ubiquitous units (e.g., smartphones and tablets) carried by humans. This fundamental design paradigm of BLE is enabled by a range of broadcast advertising modes. While its operational benefits are numerous, the lack of a common time reference in the broadcast mode of BLE has been a fundamental limitation. This article presents and describes CheepSync, a time synchronization service for BLE advertisers, especially tailored for applications requiring high time precision on resource constrained BLE platforms. Designed on top of the existing Bluetooth v4.0 standard, the CheepSync framework utilizes low-level time-stamping and comprehensive error compensation mechanisms for overcoming uncertainties in message transmission, clock drift, and other system-specific constraints. CheepSync was implemented on custom designed nRF24Cheep beacon platforms (as broadcasters) and commercial off-the-shelf Android ported smartphones (as passive listeners). We demonstrate the efficacy of CheepSync by numerous empirical evaluations in a variety of experimental setups, and show that its average (single-hop) time synchronization accuracy is in the 10 mu s range.

Framework for morphometric classification of cells in imaging flow cytometry

Imaging flow cytometry is an emerging technology that combines the statistical power of flow cytometry with spatial and quantitative morphology of digital microscopy. It allows high-throughput imaging of cells with good spatial resolution, while they are in flow. This paper proposes a general framework for the processing/classification of cells imaged using imaging flow cytometer. Each cell is localized by finding an accurate cell contour. Then, features reflecting cell size, circularity and complexity are extracted for the classification using SVM. Unlike the conventional iterative, semi-automatic segmentation algorithms such as active contour, we propose a noniterative, fully automatic graph-based cell localization. In order to evaluate the performance of the proposed framework, we have successfully classified unstained label-free leukaemia cell-lines MOLT, K562 and HL60 from video streams captured using custom fabricated cost-effective microfluidics-based imaging flow cytometer. The proposed system is a significant development in the direction of building a cost-effective cell analysis platform that would facilitate affordable mass screening camps looking cellular morphology for disease diagnosis. Lay description In this article, we propose a novel framework for processing the raw data generated using microfluidics based imaging flow cytometers. Microfluidics microscopy or microfluidics based imaging flow cytometry (mIFC) is a recent microscopy paradigm, that combines the statistical power of flow cytometry with spatial and quantitative morphology of digital microscopy, which allows us imaging cells while they are in flow. In comparison to the conventional slide-based imaging systems, mIFC is a nascent technology enabling high throughput imaging of cells and is yet to take the form of a clinical diagnostic tool. The proposed framework process the raw data generated by the mIFC systems. The framework incorporates several steps: beginning from pre-processing of the raw video frames to enhance the contents of the cell, localising the cell by a novel, fully automatic, non-iterative graph based algorithm, extraction of different quantitative morphological parameters and subsequent classification of cells. In order to evaluate the performance of the proposed framework, we have successfully classified unstained label-free leukaemia cell-lines MOLT, K562 and HL60 from video streams captured using cost-effective microfluidics based imaging flow cytometer. The cell lines of HL60, K562 and MOLT were obtained from ATCC (American Type Culture Collection) and are separately cultured in the lab. Thus, each culture contains cells from its own category alone and thereby provides the ground truth. Each cell is localised by finding a closed cell contour by defining a directed, weighted graph from the Canny edge images of the cell such that the closed contour lies along the shortest weighted path surrounding the centroid of the cell from a starting point on a good curve segment to an immediate endpoint. Once the cell is localised, morphological features reflecting size, shape and complexity of the cells are extracted and used to develop a support vector machine based classification system. We could classify the cell-lines with good accuracy and the results were quite consistent across different cross validation experiments. We hope that imaging flow cytometers equipped with the proposed framework for image processing would enable cost-effective, automated and reliable disease screening in over-loaded facilities, which cannot afford to hire skilled personnel in large numbers. Such platforms would potentially facilitate screening camps in low income group countries; thereby transforming the current health care paradigms by enabling rapid, automated diagnosis for diseases like cancer.

Cost effective campaigning in social networks

Campaigners are increasingly using online social networking platforms for promoting products, ideas and information. A popular method of promoting a product or even an idea is incentivizing individuals to evangelize the idea vigorously by providing them with referral rewards in the form of discounts, cash backs, or social recognition. Due to budget constraints on scarce resources such as money and manpower, it may not be possible to provide incentives for the entire population, and hence incentives need to be allocated judiciously to appropriate individuals for ensuring the highest possible outreach size. We aim to do the same by formulating and solving an optimization problem using percolation theory. In particular, we compute the set of individuals that are provided incentives for minimizing the expected cost while ensuring a given outreach size. We also solve the problem of computing the set of individuals to be incentivized for maximizing the outreach size for given cost budget. The optimization problem turns out to be non trivial; it involves quantities that need to be computed by numerically solving a fixed point equation. Our primary contribution is, that for a fairly general cost structure, we show that the optimization problems can be solved by solving a simple linear program. We believe that our approach of using percolation theory to formulate an optimization problem is the first of its kind. (C) 2016 Elsevier B.V. All rights reserved.

光纤布拉格光栅传感系统在海洋平台监测中的应用研究

首先阐述了光纤布拉格光栅(FBG)传感系统的传感原理和基本组成。然后介绍了我们研制的FBG温度和应变传感器的特性以及关于它们应用于平台监测中的可靠性问题的研究结果，包括疲劳损伤、防水密封和机械防护。最后讨论了FBG传感系统在海洋工程中的其它潜在用途。Sensing mechanism of Fiber Bragg gratings (FBGs) and its sensing system are presented. Then, the performance of the FBG strain and temperature sensors we designed is described. Some results related to the reliability of the FBG sensor in the application to monitoring offshore platforms is also given, which involves fatigue damage, waterproof packing and mechanical protection. Finally, other potential applications of FBGs in offshore engineering are discussed.

Experimental investigation on low-temperature fatigue crack propagation in offshore structural steel A131 under random sea ice loading

An apparatus of low-temperature controlling for fatigue experiments and its crack measuring system were developed and used for offshore structural steel A131 under conditions of both low temperature and random sea ice. The experimental procedures and data processing were described, and a universal random data processing software for FCP under spectrum loading was written. Many specific features of random ice-induced FCP which differed with constant amplitude FCP behaviours were proposed and temperature effect on ice-induced FCP was pointed out with an easily neglected aspect in designing for platforms in sea ice emphasized. In the end, differences of FCP behaviours between sea ice and ocean wave were presented.