We consider discretizations of the stationary Stokes equation in three spatial dimensions by non-conforming Crouzeix-Raviart elements. The original definition seminal paper M. Crouzeix and P.-A. Raviart 1973 [Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge 7 (1973), pp. 33–75] is implicit also contains substantial freedom for a concrete choice. In this paper, we introduce ...

A maximum efficiency of 17 % for ultra-thin n-type AZO layer and 17.5 TiO2 based silicon heterojunction solar cell is reported by optimizing its properties which much higher than practically obtained signifying a lot improvements can be performed to improve TiO2/Si AZO/Si cell. used as emitter crystalline wafer p-type (p-cSi) modelling heterojunctions respectively using AFORS HET automat simula...

Using social science methods to induce a state of frustration in users we collected physiologi cal video and behavioral data and developed a strategy for coupling these data with real world events The e ectiveness of the proposed strat egy was tested in a study with thirty six sub jects where the system was shown to reliably synchronize and gather data for a ect analysis Hidden Markov Models we...

Work ow processes are long duration activities and therefore it is not possible to apply the well accepted correctness techniques of transactions directly to work ow systems In this paper we rst mention the correctness problems of work ow systems and then exploit the available seman tics in work ow speci cation in the form of data and serial control ow dependencies to de ne isolation units We s...

Cellular automata can be viewed as simple models of spatially extended decentralized systems made up of a number of individual components (e.g. biological cells). The communication between constituent cells is limited to local interaction. Each individual cell is in a specific state which changes over time depending on the states of its local neighbors. In particular, cellular automat on models...

A B S T R A C T Nowadays. the automat izalton of railway maintenance work i s a rirm requirenent. In ordpr to respond in part to t h i s requirement. a practical ohstacle detecting syslcm based on an ori~inal laser-sectioning method has been developed. I t *as conrlrmed that the calibration for the ohstacle detcction was porlorm~d to an accuracy of mnrr than 5 mm. Noreover. a ttieoretical e s t...

We show here how we have been able, thanks to the use of a r t i f i c a l intell igence techniques, to f ind a neat solution to the problem of the automat ion of r e l i a b i l i t y studies. We have introduced rule-based representation at two levels : the modelling of the studied system, which is very general and versat i le , and nevertheless quantif iable because of the rule-base represent...

This paper studies robustness of Kelly’s source and link control laws in (J. Oper. Res. Soc. 49 (1998) 237) with respect to disturbances and time-delays. This problem is of practical importance because of unmodelled $ows, and propagation and queueing delays, which are ubiquitous in networks. We ;rst show Lp-stability, for p∈ [1;∞], with respect to additive disturbances. We pursue L∞-stability w...

A solut ion to the ramif icat ion problem caused by under ly ing domain constraints in S T R I P S like approaches is presented. We introduce the not ion of causal relationships which are used in a post-processing step after having applied an act ion description. Moreover, we show how the in format ion needed for these post-computat ions can be automat ical ly ex­ tracted f rom the domain const...

This paper presents methods for detection and reconstruction of ‘missing’ data in image sequences which can be modelled using 3-dimensional autoregressive (3DAR) models. The interpolation of missing data i s i m portant in m a n y areas of image processing, including the restoration of degraded motion pictures, reconstruction of drop-outs in digital video and automat ic ‘re-touching ’ of old ph...