* This work was partially supported by the German Ministry for Research and Technology (BMBF) , project MOKASSIN under grant number 01 IS 601 D. Abstract Dynamic evolution of workflow models due to process (re)engineering activities and dynamic changing situations of the real process is one of the most important challenges in workflow management. In this paper, we present an approach for the ma...

We deene a speciication formalism (formally, an institution) which provides a notion of dynamic type (the type which is associated to a term by a particular evaluation) and late binding (the fact that the function version to be invoked in a function application depends on the dynamic type of one or more arguments). Hence, it constitutes a natural formal framework for modeling object-oriented an...

The dynamic properties of large, sparsely connected neural networks are investigated. The input connections of each neuron are chosen at random with an average connections per neuron C that does not increase with the size of the network. The neurons are binary elements that evolve according to a stochastic single-spin-flip dynamics. Similar networks have been introduced and studied by Derrida, ...

Singal R*, Garg LN**, Singal RP***, Gupta S****, Shahi SR *****, Singal S******, Singh B******* * Department of Surgery, Maharishi Markandeshwer Institute of Medical Sciences and Research, Mullana, Distt-Ambala, Haryana **Department of Otolaryngology (ENT), Maharishi Markandeshwer Institute of Medical Sciences and Research, Mullana, Distt-Ambala, Haryana *** Department of Orthopedics, C/o Dr. K...

The structure and phase evolution of nanocrystalline Ce(1-x)Ln(x)O(2-x/2-delta) (Ln = Yb, Lu, x = 0 - 1) oxides upon heating in H(2) was studied for the first time. Up to 950 degrees C the samples were single-phase, with structure changing smoothly with x from fluorite type (F) to bixbyite type (C). For the Lu-doped samples heated at 1100 degrees C in the air and H(2), phase separation into coe...

Left-handed female subjects, categorized as using an inverted (LI) (n=7) or non-inverted (LN) (n=7) writing posture, were compared on performance of a motor task. Task parameters were manipulated to create four conditions varying in demand for sequential processing. Based on previously observed group differences in the direction and extent of hemispheric lateralization, non-inverted writers wer...

Mainly used compilers are based on separate compilation, whereas optimizations of object-oriented programs mostly need a complete knowledge of the whole program. This is especially the case for type analysis and late binding implementations. Both approaches have pros and cons. Therefore, this paper proposes an integration of global optimizations in a separate compilation framework. The code gen...

Recent Semantic Space Models (SSMs) are now integrating perceptual information with linguistic statistics into a unified mental space, offering a solution to the criticism that SSMs are disembodied. However, these new models introduce the problem of illusory feature migrations. When the word dog is perceived, its perceptual features should migrate to hyena, so the system can infer the perceptua...