Analyzing execution traces: critical-path analysis and distance analysis

International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a...     

A prismoid framework for languages with resources

Inspired by the Multiplicative Exponential fragment of Linear Logic, we define a framework called the prismoid of resources where each vertex is a language which refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the definition of the contraction, weakening, and substitution operations. For all the calculi in the prismoid we show simulation of β-reduction, confluence, preservation of β-strong normalisation and strong normalisation for typed terms. Full composition also holds for all the calculi of the prismoid handling explicit substitutions. The whole development of the prismoid is done by making the set of resources a parameter of the formalism, so that all the properties for each vertex are obtained as a particular case of the general abstract proofs.     

Transfer of learning in virtual environments: a new challenge?

The aim of all education is to apply what we learn in different contexts and to recognise and extend this learning to new situations. Virtual learning environments can be used to build skills. Recent research in cognitive psychology and education has shown that acquisitions are linked to the initial context. This provides a challenge for virtual reality in education or training. A brief overview of transfer issues highlights five main ideas: (1) the type of transfer enables the virtual environment (VE) to be classified according to what is learned; (2) the transfer process can create conditions within the VE to facilitate transfer of learning; (3) specific features of VR must match and comply with transfer of learning; (4) transfer can be used to assess a VE’s effectiveness; and (5) future research on transfer of learning must examine the singular context of learning. This paper discusses how new perspectives in cognitive psychology influence and promote transfer of learning through the use of VEs.     

Experimental setup for lensless imaging via soft x-ray resonant scattering

We have developed a setup for measuring holographically formed interference patterns using an integrated sample-mask design. The direct space image of the sample is obtained via a two-dimensional Fourier transform of the X-ray diffraction pattern. We present the details of our setup, commenting on the influence of geometrical parameters on the imaging capabilities. As an example, we present and discuss the results of test experiments on a patterned Co film.     

Efficient polynomial time algorithms computing industrial-strength primitive roots

E. Bach, following an idea of T. Itoh, has shown how to build a small set of numbers modulo a prime p such that at least one element of this set is a generator of Z/pZ. E. Bach suggests also that at least half of his set should be generators. We show here that a slight variant of this set can indeed be made to contain a ratio of primitive roots as close to 1 as necessary. In particular we present an asymptotically algorithm providing primitive roots of p with probability of correctness greater than 1−? and several O(logα(p)), α?5.23, algorithms computing “Industrial-strength” primitive roots.     

Scheduling rules to minimize total tardiness in a parallel machine problem with setup and calendar constraints

Quality control lead times are one of most significant causes of loss of time in the pharmaceutical and cosmetics industries. This is partly due to the organization of laboratories that feature parallel multipurpose machines for chromatographic analyses. The testing process requires long setup times and operators are needed to launch the process. The various controls are non-preemptive and are characterized by a release date, a due date and available routings. These quality processes lead to significant delays, and we therefore evaluate the total tardiness criterion. Previous heuristics were defined for the total tardiness criterion, parallel machines, and setup such as apparent tardiness cost (ATC) and ATC with setups (ATCS). We propose new rules and a simulated annealing procedure in order to minimize total tardiness.     

On Camera Calibration with Linear Programming and Loop Constraint Linearization

A technique for calibrating a network of perspective cameras based on their graph of trifocal tensors is presented. After estimating a set of reliable epipolar geometries, a parameterization of the graph of trifocal tensors is proposed in which each trifocal tensor is linearly encoded by a 4-vector. The strength of this parameterization is that the homographies relating two adjacent trifocal tensors, as well as the projection matrices depend linearly on the parameters. Two methods for estimating these parameters in a global way taking into account loops in the graph are developed. Both methods are based on sequential linear programming: the first relies on a locally linear approximation of the polynomials involved in the loop constraints whereas the second uses alternating minimization. Both methods have the advantage of being non-incremental and of uniformly distributing the error across all the cameras. Experiments carried out on several real data sets demonstrate the accuracy of the proposed approach and its efficiency in distributing errors over the whole set of cameras.     

Force Curve Measurements with the AFM: Application to the In Situ Determination of Grafted Silicon-Wafer Surface Energies

The atomic force microscope (AFM) can be used to perform surface force measurements in the quasi-static mode (cantilever is not oscillating) to investigate nanoscale surface properties. Nevertheless, there is still a lack of literature proposing a complete systematic and rigorous experimental procedure that enables one to obtain reproducible and significant quantitative data. This article focuses on the fundamental experimental difficulties arising when making force curve measurements with the AFM in air. On the basis of this AFM calibration procedure, quantitative assessment values were used to determine, in situ, SAM (or Self Assembled Monolayer)-tip thermodynamic work of adhesion at a local scale, which have been found to be in good agreement with quoted values. Finally, determination of surface energies of functionalised silicon wafers (as received, CH₃, OH functionalised silicon wafers) with the AFM (at a local scale) is also proposed and compared with the values obtained by wettability (at a macroscopic scale). In particular, the effect of the capillary forces is discussed.     

BiNem® manufacturing process for mass production

Abstract— As the need for high‐resolution ultra‐low‐power bistable displays grows, it is important to rapidly implement the mass‐production manufacturing of BiNem® LCDs. The cost‐effective approach for BiNem® manufacturing is based on using STN manufacturing process technologies since BiNem® and STN displays have a similar internal structure. The key differences between BiNem® and STN displays from a manufacturing point of view will be discussed. We show that industrial STN manufacturing equipment can be used to produce BiNem® LCDs at competitive costs. Reflective e‐book display modules with VGA resolution are produced in the pilot‐production series.