For improving aquafeed sustainability, insect meal is currently considered the most promising alternative to fishmeal. However, in this regard, more data are still necessary avoid possible negative impacts on fish growth performance, metabolism, and welfare. The present study investigated effects of increasing inclusion Hermetia illucens (0%, 17%, 33% 50% feed, equating 0%, 34%, 66% 100% fishme...

This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomou...

In this paper we focus on the development of a toolbox for the veri cation of programs in the context of SCOOP an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Ei el and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrating a...

The proliferation of shared mutable state in object-oriented programming complicates software development as two seemingly unrelated operations may interact via an alias and produce unexpected results. In concurrent programming this manifests itself as data-races. Concurrent objectoriented programming further suffers from the fact that code that warrants synchronisation cannot easily be disting...

The proliferation of shared mutable state in object-oriented programming complicates software development as two seemingly unrelated operations may interact via an alias and produce unexpected results. In concurrent programming this manifests itself as data-races. Concurrent objectoriented programming further suffers from the fact that code that warrants synchronisation cannot easily be disting...

Alias analysis is one of the most used techniques that aim to optimize languages with pointers. It is no surprise that this topic has received much attention in many fields including compilation and program verification. However, despite all this attention, a deep study of its state-of-the art shows that it is not handled satisfactorily, by far. In this paper we demonstrate that, although many ...

In this technical report we analyze different filters used for the voxelization of analytically described objects. We show that, when the voxel model is used for visualization, the filter design is related to the subsequent rendering phase, namely the gradient estimation technique. Further, we introduce a new concept for alias-free voxelization of geometric objects based on a Voxelization model...

Extracting aliases of an entity is important for various tasks such as identification of relations among entities, web search and entity disambiguation. To extract relations among entities properly, one must first identify those entities. We propose a novel approach to find aliases of a given name using automatically extracted lexical patterns. We exploit a set of known names and their aliases ...

Extracting aliases of an entity is important for various tasks such as identification of relations among entities, web search and entity disambiguation. To extract relations among entities properly, one must first identify those entities. We propose a novel approach to find aliases of a given name using automatically extracted lexical patterns. We exploit a set of known names and their aliases ...