2,535 research outputs found
Interprocedural Data Flow Analysis in Soot using Value Contexts
An interprocedural analysis is precise if it is flow sensitive and fully
context-sensitive even in the presence of recursion. Many methods of
interprocedural analysis sacrifice precision for scalability while some are
precise but limited to only a certain class of problems.
Soot currently supports interprocedural analysis of Java programs using graph
reachability. However, this approach is restricted to IFDS/IDE problems, and is
not suitable for general data flow frameworks such as heap reference analysis
and points-to analysis which have non-distributive flow functions.
We describe a general-purpose interprocedural analysis framework for Soot
using data flow values for context-sensitivity. This framework is not
restricted to problems with distributive flow functions, although the lattice
must be finite. It combines the key ideas of the tabulation method of the
functional approach and the technique of value-based termination of call string
construction.
The efficiency and precision of interprocedural analyses is heavily affected
by the precision of the underlying call graph. This is especially important for
object-oriented languages like Java where virtual method invocations cause an
explosion of spurious call edges if the call graph is constructed naively. We
have instantiated our framework with a flow and context-sensitive points-to
analysis in Soot, which enables the construction of call graphs that are far
more precise than those constructed by Soot's SPARK engine.Comment: SOAP 2013 Final Versio
Anomalous flows in a sunspot penumbra
High-resolution spectropolarimetric observations of active region NOAA 11271
were obtained with the spectro-polarimeter on board Hinode to analyze the
properties of an anomalous flow in the photosphere in a sunspot penumbra. We
detect a blue-shifted feature that appeared on the limb-side penumbra of a
sunspot and that was present intermittently during the next two hours. It
exhibited a maximum blue-shift of 1.6 km/s, an area of 5.2 arcsec^2, and an
uninterrupted lifetime of 1 hr. The blue-shifted feature, when present, lies
parallel to red-shifts. Both blue and red shifts flank a highly
inclined/horizontal magnetic structure that is radially oriented in the
penumbra. The low-cadence SP maps reveal changes in size, radial position in
the penumbra and line-of-sight velocity of the blue-shifted feature, from one
scan to the other. There was an increase of nearly 500 G in the field strength
and a marginal reduction in the field inclination of about 10 deg with the
onset of the blue-shifts. In the chromosphere, intense, arc-shaped brightenings
were observed close to the location of the blue-shifts, that extend from the
edge of the umbral core to the penumbra-quiet Sun boundary. The strongest and
largest brightenings were observed about 30 min after the strongest blue-shifts
were detected at the photosphere. The close spatial proximity of the two
phenomenon strongly suggests a causal relationship. The blue-shifted feature
represents plasma motion that could be related to a magnetic structure that
rises in the solar atmosphere and subsequently reconnects with the ambient
chromospheric magnetic field of the sunspot or an inverse Evershed flow, which
would be unique in the photosphere. This transient phenomena is presumably
related to the dynamic stability of the sunspot because the corresponding
umbral core separated two days later at the location of the blue-shifts and
fragmented subsequently.Comment: Accepted for publication in A&A: 8 pages, 8 figure
Dependence of Self-Assembled Peptide Hydrogel Network Structure on Local Fibril Nanostructure
Physically cross-linked, fibrillar hydrogel networks are formed by the self-assembly of β-hairpin peptide molecules with varying degrees of strand asymmetry. The peptide registry in the self-assembled state can be used as a design element to generate fibrils with twisting, nontwisting, or laminated morphology. The mass density of the networks varies significantly, and can be directly related to the local fibrillar morphology as evidenced by small angle neutron scattering (SANS) and in situ substantiation using cryogenic transmission electron microscopy (cryo-TEM) under identical concentrations and conditions. Similarly, the density of the network is dependent on changes in the peptide concentration. Bulk rheological properties of the hydrogels can be correlated to the fibrillar nanostructure, with the stiffer, laminated fibrils forming networks with a higher G′ as compared to the flexible, singular fibrillar networks
Functional asymmetry in sensory discrimination in visually blind and its association to braille reading
Background: In health, human somatosensory modality is symmetrically distributed. But highly specialised functions like skilled movements, visual sensation while reading show lateralisation. In visually blind population somatosensory modality is used for specialised function like braille reading. Thus present study was undertaken to assess somatosensory modality in visual blind & to find out its association to braille reading.Methods: 60 visually blind participants were assessed. Detailed history about motor dominance, preferred braille finger was asked. 2 point discrimination (2PD) test was done in all 10 fingers using weber compass. 30 normal visioned controls were assessed for comparison. Unpaired t-test was used for analysis.Results: Most participants (n=44) chose finger from right hand as preferred finger for braille reading; this was unrelated to motor handedness. In visually blind population average values of 2PD in right hand was significantly (p<0.001) less than right. In normal visioned subjects there was no significant difference in sensory discrimination between right and left hand.Conclusions: Due to presence of language areas in left hemisphere (90-92% of people), all our language related modalities are inclined toward left hemisphere. Here we proved that blind people prefer right hand over left hand while reading written braille language and thus have better sensory discrimination for same. Previous studies have shown that blindness itself acts as stimulus to activate latent pathways (cross-modal plasticity) between somatosensory cortex, visual cortex and language areas. Overall we tried to prove brain is hardwired to do all language related activities preferably with right hand.
A quantitative model of the initiation of DNA replication in Saccharomyces cerevisiae predicts the effects of system perturbations.
BackgroundEukaryotic cell proliferation involves DNA replication, a tightly regulated process mediated by a multitude of protein factors. In budding yeast, the initiation of replication is facilitated by the heterohexameric origin recognition complex (ORC). ORC binds to specific origins of replication and then serves as a scaffold for the recruitment of other factors such as Cdt1, Cdc6, the Mcm2-7 complex, Cdc45 and the Dbf4-Cdc7 kinase complex. While many of the mechanisms controlling these associations are well documented, mathematical models are needed to explore the network's dynamic behaviour. We have developed an ordinary differential equation-based model of the protein-protein interaction network describing replication initiation.ResultsThe model was validated against quantified levels of protein factors over a range of cell cycle timepoints. Using chromatin extracts from synchronized Saccharomyces cerevisiae cell cultures, we were able to monitor the in vivo fluctuations of several of the aforementioned proteins, with additional data obtained from the literature. The model behaviour conforms to perturbation trials previously reported in the literature, and accurately predicts the results of our own knockdown experiments. Furthermore, we successfully incorporated our replication initiation model into an established model of the entire yeast cell cycle, thus providing a comprehensive description of these processes.ConclusionsThis study establishes a robust model of the processes driving DNA replication initiation. The model was validated against observed cell concentrations of the driving factors, and characterizes the interactions between factors implicated in eukaryotic DNA replication. Finally, this model can serve as a guide in efforts to generate a comprehensive model of the mammalian cell cycle in order to explore cancer-related phenotypes
Applying total interpretive structural modeling to study factors affecting construction labour productivity
Construction sector has always been dependent on manpower. Most of the activities carried out on any construction site are labour intensive. Since productivity of any project depends directly on productivity of labour, it is a prime responsibility of the employer to enhance labour productivity. Measures to improve the same depend on analysis of positive and negative factors affecting productivity. Major attention should be given to factors that decrease the productivity of labour. Factor analysis thus is an integral part of any study aiming to improve productivity. Interpretive structural modeling is a methodology for identifying and summarizing relationships among factors which define an issue or problem. It provides a means to arrange the factors in an order as per their complexity. This study attempts to use the latest version of interpretive structural modeling i.e. total interpretive structural modeling to analyze factors negatively affecting construction labour productivity. It establishes interpretive relationship among these factors facilitating improvement in the overall productivity of construction site
Free and simple GIS as appropriate for health mapping in a low resource setting: a case study in eastern Indonesia
Background: Despite the demonstrated utility of GIS for health applications, there are perceived problems in low resource settings: GIS software can be expensive and complex; input data are often of low quality. This study aimed to test the appropriateness of new, inexpensive and simple GIS tools in poorly resourced areas of a developing country. GIS applications were trialled in pilot studies based on mapping of health resources and health indicators at the clinic and district level in the predominantly rural province of Nusa Tenggara Timur in eastern Indonesia. The pilot applications were (i) rapid field collection of health infrastructure data using a GPSenabled PDA, (ii) mapping health indicator data using open source GIS software, and (iii) service availability mapping using a free modelling tool. Results: Through contextualised training, district and clinic staff acquired skills in spatial analysis and visualisation and, six months after the pilot studies, they were using these skills for advocacy in the planning process, to inform the allocation of some health resources, and to evaluate some public health initiatives.Conclusions: We demonstrated that GIS can be a useful and inexpensive tool for the decentralisation of health data analysis to low resource settings through the use of free and simple software, locally relevant training materials and by providing data collection tools to ensure data reliability
- …