Human-AI co-creativity involves both humans and AI collaborating on a shared creative
product as partners. In a creative collaboration, interaction dynamics, such as turn-taking …

La presente investigación se centró en el objetivo de desarrollar una solución informática
para aumentar la eficiencia en la selección de los servidores web Apache 2 y Nginx durante …

Human-AI co-creativity involves a human and an AI collaborating as partners on creative
tasks such as generating music or art. This research domain is particularly timely as AI …

We study the expressive power of variants of KLAIM, an experimental language with
programming primitives for network-aware programming that combines the process algebra …

In this paper, we study sixteen communication primitives, arising from the combination of
four useful programming features: synchronism (synchronous vs asynchronous primitives) …

Purpose–The purpose of this paper is to provide a holistic view on e-learning-related
concepts as a basis for an e-learning strategy. Furthermore, it aims to shed light on the level …

One of the early results concerning the asynchronous π-calculus which significantly
contributed to its popularity is the capability of encoding the output prefix of the (choiceless) …

In [C. Palamidessi, V. Saraswat, F. Valencia and B. Victor. On the Expressiveness of
Linearity vs Persistence in the Asynchronous Pi Calculus. LICS 2006: 59–68, 2006] the …

Process calculi may be compared in their expressive power by means of encodings
between them. A widely accepted definition of what constitutes a valid encoding for (dis) …

The Lord's Resistance Army (LRA) in Northern Uganda emerged in 1987 in response to the
seizure of power by the southern-based National Resistance Army (NRA), renamed the …