In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms into such systems. However, existing models for classical conditioning are usually based on differential equations. Since the design of Agent Systems is traditionally based on qualitative conceptual languages, these diff...

Substantial experience with the use of formal specification languages in the design of distributed systems has shown that finding appropriate structures for formal specifications presents a serious, and often underestimated problem. Its solutions are of great importance for ensuring the quality of the various designs that need to be developed at different levels of abstraction along the design ...

A formalism for the specification of multiagent systems should be expressive and illustrative enough to model not only the behavior of one single agent, but also the collaboration among several agents and the influences caused by external events from the environment. For this, state machines [25] seem to provide an adequate means. Furthermore, it should be easily possible to obtain an implement...

A formalism for the specification of multiagent systems should be expressive and illustrative enough to model not only the behavior of one single agent, but also the collaboration among several agents and the influences caused by external events from the environment. For this, state machines [19] seem to provide an adequate means. Furthermore, it should be easily possible to obtain an implement...

Pluripotency genes are implicated in mouse embryonic genome activation (EGA) and pluripotent lineage specification. Moreover, their expression levels have been correlated with embryonic term development. In bovine, however, little information is available about dynamics of pluripotency genes during these processes. In this study, we charted quantitative and/or qualitative spatio-temporal expres...

The research activities of ACCA are situated in four domains, all centred around the industrial employment of advanced computer architectures: 1) ACCA is specialised in the development of system level design tools for the real-time prototyping and implementation of heterogeneous digital signal processing (DSP) systems. With these tools, it also implements DSP applications for third parties on c...

Branching flow, a phenomenon known for steady wave propagation in two-dimensional weakly correlated random potential, is also present the time-dependent Schr\"odinger equation single particle one dimension, moving fluctuating potential. We explore parameter space of this model using numerical simulations and identify its classical regions, where just sufficient specification, quantum region, su...

The purpose of this development research is to describe the process developing electronic learning animation media for SMK students, validation from material experts and feasibility students. data used descriptive qualitative which main through instruments expert respondents experts. Borg Gall models were adjusted based on 6 stages due situation conditions Covid-19 pandemic, namely needs analys...