The entire tracking system of the ATLAS experiment will be replaced during the LHC Phase II shutdown (foreseen to take place around 2025) by an all-silicon detector called the ITk (Inner Tracker). The pixel detector will comprise the five innermost layers, and will be instrumented with new sensor and readout electronics technologies to improve the tracking performance and cope with the HL-LHC e...

Predicated execution as required in Modulo Scheduling technique for parallelizing innermost loops with conditional statements is examined. We obtain an improved semantics for predicate operations together with an optimal and efficient algorithm for their use.

Freezing is a powerful technique for orienting equations. Here we give a new presentation of it which is suitable for an eecient automatic use. Further, it is shown how slight modiications of it can be applied to context-sensitive and innermost term rewriting. The experimental results on an extensive test series of non-trivial examples performed using a prototype implementation strongly underli...

A reachability problem is a problem used to decide whether s is reachable to t by R or not for a given two terms s, t and a term rewriting system R. Since it is known that this problem is undecidable, effort has been devoted to finding subclasses of term rewriting systems in which the reachability is decidable. However few works on decidability exist for innermost reduction strategy or context-...

The frequencies of the highest-frequency kilohertz QPOs recently discovered in some sixteen neutron stars in low-mass X-ray binary systems are most likely orbital frequencies. If so, these QPOs provide tight upper bounds on the masses and radii of these neutron stars and interesting new constraints on the equation of state of neutron star matter. If the frequency of a kilohertz QPO can be estab...

The purpose of this study was to improve the speed of the Simultaneous Algebraic Reconstruction Technique (SART) for truncated cone-beam (CB) projections using a distance-driven forward projector. First, we optimized the innermost loop of the projector for a cone-beam scanner with a circular source trajectory and a flat-panel imager. We showed that the innermost loop of the distance-driven proj...

We report a parallelized capillary microfluidic device for enhanced production rate of monodisperse polymersomes. This device consists of four independent capillary microfluidic devices, operated in parallel; each device produces monodisperse water-in-oil-in-water (W/O/W) doubleemulsion drops through a single-step emulsification. During generation of the double-emulsion drops, the innermost wat...