This paper follows our earlier publication [1], where we introduced the idea of tuned data mining which draws on parallel resources to improve model accuracy rather than the usual focus on speed-up. In this paper we present a more in-depth analysis of the concept of Widened Data Mining, which aims at reducing the impact of greedy heuristics by exploring more than just one suitable solution at e...

We show two strategies which may be easily applied to standard abstract interpretation-based static analyzers. They consist in 1) restricting the scope of widening, and 2) intertwining the computation of ascending and descending chains. Using these optimizations it is possible to improve the precision of the analysis, without any change to the abstract domains.

The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequences of polyhedra can arise in the analysis of loops. Widening and narrowing have been proposed to infer a single polyhedron that summarises such a sequence of polyhedra. Motivated by precision losses encountered in veri...

A group of epithelial cells in the thymus guard against autoimmunity by presenting self-antigens to developing T cells—those T cells that take the bait are then killed. On page 1267, Rossi et al. identify the signaling pathway that creates this epithelial barrier and the cells that activate this pathway. Self-reactive T cells are eliminated when they latch on to selfantigens presented by a smal...

Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit target. To run narrow codes on a wide target machine, we present a widening transformation. Almost every narrow operation can be widened by signor zero-extending the operands and using a target-machine instruction at its natural wid...

<abstract> <p>We investigated a physical system for unsteady blood flow and solute transport in section of constricted porous artery. The aim this study was to determine effects hematocrit, stenosis, pulse oscillation, diffusion, convection chemical reaction on the transport. significance uncovering combined roles played by stenosis height, oscillation period, reactive rate, speed, ...

We present a parameterized widening operator that determines the control-flow sensitivity of an analysis, i.e., its flow-sensitivity, context-sensitivity, and path-sensitivity. By instantiating the operator’s parameter in different ways, the analysis can be tuned to arbitrary sensitivities without changing the abstract semantics of the analysis itself. Similarly, the analysis can be implemented...

Convex polyhedra constitute the most used abstract domain among those capturing numerical relational information. Since the domain of convex polyhedra admits infinite ascending chains, it has to be used in conjunction with appropriate mechanisms for enforcing and accelerating convergence of the fixpoint computation. Widening operators provide a simple and general characterization for such mecha...

BACKGROUND AND PURPOSE The middle cerebral artery (MCA) bifurcation is a preferred site for aneurysm formation. Wider bifurcation angles have been correlated with increased risk of aneurysm formation. We hypothesized a link between the presence of MCA aneurysms and the angle morphology of the bifurcation. METHODS Three-dimensional rotational angiography volumes of 146 MCA bifurcations (62 ane...