The (non-initialized, non-deterministic) asynchronous systems (in the input-output sense) are multi-valued functions from m-dimensional signals to sets of n-dimensional signals, the concept being inspired by the modeling of the asynchronous circuits. Our purpose is to state the problem of the their stability.

A weak asynchronous system is a trace monoid with a partial action on a set. A polygonal morphism between weak asynchronous systems commutes with the actions and preserves the independence of events. We prove that the category of weak asynchronous systems and polygonal mor-phisms has all limits and colimits.

We propose a multi-agent epistemic logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents, and in the order which they were sent. Additional to modalities contains dynamic for making receiving them. What an agent believes is function her initial uncertainty she has received. Beliefs need not be truthful, because already made may y...

We explore asynchronous programming with algebraic effects. complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, decoupling the execution of operation calls into signalling that an operation’s implementation needs be executed, and interrupting a running computation result, which can react installing interrupt handlers. ...

Abstract Vibro-acoustic signatures are widely used for diagnostics of rotating machinery. Vibration based automatic diagnostics systems need to achieve a good separation between signals generated by different sources. The separation task may be challenging, since the effects of the different vibration sources often overlap. In particular, there is a need to separate between natural frequencies ...

Recent work in Optimality Theory (Prince and Smolensky 1993, McCarthy and Prince 1993, to appear) has suggested that phonological regularities can be explained without reference to phonological rules, strictly in terms of constraints on representational wellformedness. A unique aspect of Optimality Theory (OT) is that candidates are evaluated in parallel: there is no serial derivation. Given th...