First, we briefly introduce the technologies of PDR (Pedestrian Dead Reckoning) that can be used to track the location and orientation of a pedestrian. Secondly, we show some enhancement of the PDR to improve its performance on accuracy. Finally, we describe the applications of the PDR.

We are concerning with a nonlinear Hammerstein quadratic integral equation. We prove the existence of at least one positive solution x ∈ L1 under Carathèodory condition. Secondly we will make a link between Peano condition and Carathèodory condition to prove the existence of at least one positive continuous solution. Finally the existence of the maximal and minimal solutions will be proved.

Interval Temporal Logics over infinite intervals are studied. First, the ordinary possible worlds models are extended to infinite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, infinite intervals are included in a logic over abstract intervals. A corresponding axiomatic system is given and proven to be complete also.

In this paper, we firstly propose a novel data min ing problem in a WWW environment. Secondly, we outline the algorithm f o r solving the problem. Our initial implementation of the algorithm suggests the algorithm is very e f i c i en t and scalable in practical. Therefore it can be applied t o a very large database.

We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a rational projective surface. If a target space is equipped with a real structure, i.e, antiholomorphic involution, then the results have real enumerative applications. Firstly, we can define a real version of Gromov-Witten invariants. Secondly, we can prove the invariance of Welschinger...

The objective of this paper is to present some of the key challenges faced when defining and building virtual workspaces for oil & gas Exploration & Production (E&P) activities. First, we present the main E&P processes that can benefit from the VR technology. Secondly, we classify and describe the different challenges.

The evaluation of control performance by means of performance indices from large amounts of measurement data is investigated. The focus is twofold: Firstly to assess information that can be deduced from many data sets and secondly to investigate the usefulness of simple performance measures. Established methods and some useful new ideas are evaluated on many industrial data sets and the results...

An integrated analysis of multiple instruments measuring concentrations of aerosol particles in the CLOUD (Cosmics Leaving OUtdoor Droplets) chamber at CERN obtains size and time dependent growth rates. A matrix inversion is performed twice: first to get size distributions from measured concentrations using instrument transfer functions; secondly to get growth rates from size distributions usin...

Software engineering is forecast to be among the fastest growing employment field in the next decades. The purpose of this investigation is two-fold: Firstly, empirical studies on the personality types of software professionals are reviewed. Secondly, this work provides an upto-date personality profile of software engineers according to the Myers–Briggs Type Indicator. r 2002 Elsevier Science L...

A study was made pertaining to the variations in sensitivity to inhibitors that may be encountered in industrial deterioration problems. The results indicate that at least three types of variations are involved: first, the variation in sensitivity of different strains, secondly, the variation in sensitivity of an individual strain, and finally, the variation produced by the particular environme...