A Brief Description of Gell-Mann's Lecture and How Intervals May Help to Describe Complexity in the Real World

Reliable Computing -     

Reconstructing 3D trajectories of independently moving objects using generic constraints

The 3D reconstruction of scenes containing independently moving objects from uncalibrated monocular sequences still poses serious challenges. Even if the background and the moving objects are rigid, each reconstruction is only known up to a certain scale, which results in a one-parameter family of possible, relative trajectories per moving object with respect to the background. In order to determine a realistic solution from this family of possible trajectories, this paper proposes to exploit the increased linear coupling between camera and object translations that tends to appear at false scales. An independence criterion is formulated in the sense of true object and camera motions being minimally correlated. The increased coupling at false scales can also lead to the destruction of special properties such as planarity, periodicity, etc. of the true object motion. This provides us with a second, ‘non-accidentalness’ criterion for the selection of the correct motion among the one-parameter family.     

Planning and Control of Straight-Ahead and Angled Planar Movements in Adults and Young Children.

In the present study we wanted to determine why straight-ahead movements performed along one's midline are directionally more accurate than movements toward eccentric targets. We also wanted to determine whether the processes underlying this difference were the same in young children as in adults. Six-to-seven-year-old children and adults practiced a video-aiming task using different starting base and target combinations without vision of their ongoing movements. The results indicated that adults and children were directionally more accurate and less variable when pointing toward targets located straight ahead of the starting base rather than eccentric or concentric targets. This was true, regardless of whether the movement was performed along one's midline or not. These results suggest that angled movements are directionally less accurate than straight-ahead movements because of difficulty in defining the orientation of the appropriate movement vector in the workspace and/or in transforming it into appropriate motor commands. A kinematic analysis revealed large coefficients of direction and of extent variability early after movement initiation. However, these coefficients of variability were largely reduced by the occurrence of peak extent velocity, revealing that noise in initial movement planning was quickly reduced by on-line control processes. Finally, the results indicated largely similar planning and control processes for young children and adults. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Opposing Roles of DCs and iNKT Cells in the Induction of Foxp3 Expression by MLN CD25+CD4+ T Cells during IFNγ-Driven Colitis

We have previously shown that a deficiency of CD1d-restricted invariant natural killer T (iNKT) cells exacerbates dextran sulfate sodium (DSS)-induced colitis in Yeti mice that exhibit IFNγ-mediated hyper-inflammation. Although iNKT cell-deficiency resulted in reduced Foxp3 expression by mesenteric lymph node (MLN) CD4⁺ T cells in DSS-treated Yeti mice, the cellular mechanisms that regulate Foxp3 expression by CD25⁺CD4⁺ T cells during intestinal inflammation remain unclear. We found that Foxp3⁻CD25⁺CD4⁺ T cells expressing Th1 and Th17 phenotypic hallmarks preferentially expanded in the MLNs of DSS-treated Yeti/CD1d knockout (KO) mice. Moreover, adoptive transfer of Yeti iNKT cells into iNKT cell-deficient Jα18 KO mice effectively suppressed the expansion of MLN Foxp3⁻CD25⁺CD4⁺ T cells during DSS-induced colitis. Interestingly, MLN dendritic cells (DCs) purified from DSS-treated Yeti/CD1d KO mice promoted the differentiation of naive CD4⁺ T cells into Foxp3⁻CD25⁺CD4⁺ T cells rather than regulatory T (Treg) cells, indicating that MLN DCs might mediate Foxp3⁺CD25⁺CD4⁺ T cell expansion in iNKT cell-sufficient Yeti mice. Furthermore, we showed that Foxp3⁻CD25⁺CD4⁺ T cells were pathogenic in DSS-treated Yeti/CD1d KO mice. Our result suggests that pro-inflammatory DCs and CD1d-restricted iNKT cells play opposing roles in Foxp3 expression by MLN CD25⁺CD4⁺ T cells during IFNγ-mediated intestinal inflammation, with potential therapeutic implications.     

In-situ diagnostic of femtosecond laser probe pulses for high resolution ultrafast imaging

Ultrafast imaging is essential in physics and chemistry to investigate the femtosecond dynamics of nonuniform samples or of phenomena with strong spatial variat...     

Modeling multi-rate DSP specification semantics for formal transformational design in HOL

The CATHEDRAL Silicon Compilers synthesize hardware for DSP algorithms specified in Silage, a high level applicative language. In order to optimize the results of the silicon compilation in terms of chip-area and/or throughput, the user often massages the specification applying transformations to the Silage code. To guarantee that the transformations preserve the behavior of the specified algorithm, the formal semantics of the specification language had to be defined. The semantics has been used to prove in HOL the correctness of the transformations and to prove properties of the specification. We are currently building a system where a menu of useful andcorrectness preserving transformations will be available to the user. In this system the user could choose appropriate transformations from the menu taking advantage of his creativity and expertise to interactively guide the silicon compiler, without the risk of introducing inconsistencies. This article describes the formalmulti-rate semantics of a substantial subset of Silage and illustrates some formally verified transformations.     

A reliability based maintenance policy; a case study

Reliability centered maintenance (RCM) incorporates sound guidance for managers who wish to attain high standards of maintenance at their operating plants. Since the amount and type of maintenance which is applied depend strongly on the machine or components age (DFR, CFR or IFR), on its replacement cost as well as on the cost and safety consequences of system failure, a careful analysis of the system components based on their reliability data should be done in order to optimize the maintenance program. This paper describes the methodology which was used at an aluminum plant in order to select critical machines and to develop an optimal maintenance policy based on reliability data of each machine, safety consequences of system failure, lead time and repair time, and components criticality.     

Influence of material handling devices on the physical load during the end assembly of cars

The effect of using a mechanical device on physical load was analysed during the end assembly of cars. Five tasks, further sub-divided into lifting and positioning, were performed by someone experienced in working with and without the mechanical tool. A practical methodology was used: the subjective walk and talk through method, the NIOSH equation (1991), a three-dimensional goniometer (Back Tracker) and surface electromyography (EMG) of the relevant muscle groups. According to the NIOSH equation, 8 out of 10 of the tasks should only be performed by trained workers and preferably with tools. The Back Tracker revealed that the mechanical tools reduced posture angles significantly (p0.05) for installing the windows, but not for left lateroflexion during pre-assembly of windows. It was clear from the EMG analysis that using tools did not always decrease muscular activity significantly. In general, the appropriateness of each tool needs to be evaluated separately taking the subjective criteria into account.

Relevance to industry

In this study, the relevance of using a mechanical device to reduce the physical load during car assembly, is evaluated. As the tools are expensive, it is important to the industry whether they are being used and how efficient they are.