We survey deductive systems for the modal μ-calculus. The distinguishing feature between different such systems is how minimality of least fixed points is guaranteed. There are basically three ways to achieve this: (i) by induction rules, (ii) by semi-formal rules with infinitely many premises, or (iii) by a global condition on infinitely long proof branches.

We are analyzing a sample of closeby galaxy systems, each comprising a bright isolated spiral and its satellites. We find an excess (56%) of prograde satellites over retrograde, which basically holds for all angular displacements from the primary major axis. Monte Carlo simulations show that interlopers and mixing systems at different distances in the sample should not affect porcentages sensibly.

this article analyses the effects of post-zionism in israeli ,society and state. by using the discoursive analysis in social theory, the author argues that discourses such as post-zionism are the results of socio-political and economic conditions (processes), but their evolution is basically the result of the mental and value activities of their proponent, rather than the socio-political proces...

plato in theory of philosopher-king believes that all of the members of ideal city-state, whether ruler or citizens, will attain happiness if the philosopher is the ruler. but there are paradoxes in the theory and the bases of the happiness are unstable too. in other words, plato in his theory presents hierarchical dualities (intelligible/visible world, episteme/ doxa,true/ untrue or shadow, …)...

the poets of lyrical poetry usually take advantage of various ways. one method used to compose love poetry is usage of alphabetic letters. other than the combination of letters in order to create new words and meanings, arabic letters of alphabet basically have another literary role – discussed in this paper – that of outward shape of the letter which has been used to create the most beautiful ...

By an easy trick taken from caloric polynomial theory, we construct a family $${\mathscr {B}}$$ of almost regular domains for the Dirichlet problem. is basis Euclidean topology. This allows to build, with basically elementary procedure, Perron solution problem on every bounded domain.

The SyncPlayer is a prototypical software framework that integrates various Music Information Retrieval (MIR) techniques such as music synchronization, audio structure analysis and content-based retrieval into a powerful, multimodal system [1, 2]. The SyncPlayer system basically consists of three software components: a server component, a client component, and some tools for data administration...

Given in the report conceptual presentation of the main principles of fractal-complexity Ration of the media and thinking processes of the human was formulated on the bases of the cybernetic interpretation of scientific information (basically from neurophysiology and neuropsychology, containing the interpretation giving the best fit to the authors point of view) and plausible hypothesis's, fill...

on real world inputs. However, it is frequently ignored because modeling context by definition requires modeling features outside of the chosen domain. We model context by using peripheral perception, which basically means non-attentional features. This naturally and intuitively defines what it means to model context. We give the results of two experiments in the domain of wearable sensors (cam...

An open workflow net is basically a workflow net extended with a message passing interface. Open workflow nets are adequate models for services or parts of inter-organizational business processes. We investigate the problem of controllability, a natural counterpart of soundness in classical workflow nets (as studied by van der Aalst). We distinguish centralized, distributed, and local controlla...