Self-attention networks have shown remarkable progress in computer vision tasks such as image classification. The main benefit of the self-attention mechanism is ability to capture long-range feature interactions attention-maps. However, computation attention-maps requires a learnable key, query, and positional encoding, whose usage often not intuitive computationally expensive. To mitigate thi...

Microplastic debris ending up at the sea surface has become a known major environmental issue. However, how microplastic particles move and when they sink in ocean remains largely unknown. Here, we model subject to biofouling (algal growth on substrate) estimate sinking timescales time reach depth where stop sinking. We combine NEMO-MEDUSA 2.0 output, that represents hydrodynamic biological pro...

Recently an approach to model human reasoning as studied in cognitive science by logic programming, has been introduced by Stenning and van Lambalgen and exemplified with the suppression task. We investigate this approach from the view of a framework where different logic programming semantics correspond to different translations of logic programs into formulas of classical two-valued logic ext...

A shorter version of this report appears in the proceedings of PLILP/ALP '98, and is c Springer-Verlag. Abstract Animation is a temporally continuous phenomenon, but is typically programmed in terms of a discrete sequence of changes. The use of dis-creteness serves to accommodate the machine that is presenting an animation , rather than the person modeling an animation with the help of a comput...

Requirements capture has been acknowledged as a critical phase of software development, precisely because it is the phase which deals not only with technical knowledge, but also with organizational, managerial, economic and social issues. The emerging consensus is that a requirement specification should include not only software specifications but also business models and other kinds of informa...