We present 2D and 3D hydrodynamical simulations of the colliding wind interaction zone in WR+O binaries. It is shown that 3D effects can basically explain certain observed, orbit dependent flux variations. Possible connections between the interior structure of the interaction zone and dust formation are outlined and its stability is re-investigated.

We present an Isabelle/HOL formalization of an earlier result by Suzuki, Middeldorp, and Ida; namely that a certain class of conditional rewrite systems is level-confluent. Our formalization is basically along the lines of the original proof, from which we deviate mostly in the level of detail as well as concerning some basic definitions.

A variety of approaches for generating moving adaptive methods are summarized and compared. They basically fall into two groups: the velocity and the location based methods. The features, including the advantage and weakness, of each group are addressed. Brief numerical results are presented for several commonly used approaches to highlight their features and performance.  2003 IMACS. Publishe...

Researches on lexical knowledge basically focus on the acquisition of the deep lexical knowledge. The lexical-conceptual organization of Chinese EFL learners’ mental lexicon has been a most researched issue. This paper is to review the existing literature in this field and propose the controversies on the language effects on the lexical linking patterns of the learners, which are hopefully clue...

This paper presents a cross-country comparison of Internet payment systems. It compares countries within the European Union, and the EU with the United States. The key concept of our approach is that of "payment culture", which consists basically of the payment behaviour of payers and payees and the regulatory framework (political and

This work presents some new results on the morphological scale-space theory and their use in image segmenta-tion. Basically, we introduce an idempotent smoothing operation based on the recently proposed multiscale-morphological-dilation-erosion method, and analyse some of its features concerned mainly with monotonic-ity and the way the image extrema merge in a multi-scale simpliication process.

Abstract: Various combinatorial problems are effectively modelled in terms of (0,1) matrices. Origins are coming from n-cube geometry, hypergraph theory, inverse tomography problems, or directly from different models of application problems. Basically these problems are NP-complete. The paper considers a set of such problems and introduces approximation algorithms for their solutions applying L...

A variety of approaches for generating moving adaptive methods are summarized and compared. They basically fall in two groups: the velocity based methods and the location based ones. The features, including the advantage and weakness, of each group are addressed. Brief numerical results are presented for several commonly used approaches to highlight their features and performance.

Content Based Image Retrieval (CBIR) plays very important role in the research field of digital Image processing. DIP deals with manipulation of digital images through a digital computer. Basically CBIR is responsible for extracting low level features of image like color, texture, shape and similarity measures for the comparison of different images. And after that retrieve the similar images us...

Perception results are presented that address the role of Lombard speech in auditory and audiovisual speech perception. Basically, visual enhancement neutralizes the advantage of Lombard speech observed for auditory perception. It remains an open question whether or not Lombard speech is preferable for perception studies of speech in noise.