A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.

Acute stress regulates vasotocinergic and isotocinergic systems in the gilthead sea bream (Sparus aurata L.).

The hypothalamus-pituitary-interrenal axis is involved in stress response regulation. In addition, arginine vasotocin (AVT) and isotocin (IT) are also considered as important players in this stress regulation. The present study assessed, using the teleost gilthead sea bream (Sparus aurata) as a biological model, hypothalamic mRNA expression changes of AVT and IT and their receptors at hepatic level after an acute stress situation. Specimens were submitted to air for 3 min and place back in their respective tanks after that, being sampled at different times (15 min, 30 min, 1, 2, 4 and 8 hours post-stress) in order to study the time course response. Plasma cortisol values increased after few minutes post-exposure, decreasing during the experimental time while a metabolic reorganization occurred in both plasmatic and hepatic levels. At hypothalamic level, acute stress affects mRNA expression of AVT and IT precursors, as well as hepatic expression of their receptors, suggesting the involvement of both vasotocinergic and isotocinergic systems in the acute stress response. Our results demonstrate the activation and involvement of both endocrine pathways in the regulation of metabolic and stress systems of Sparus aurata, which is stated, at least, through changes in mRNA expression levels of these genes analysed.

Lie algebras and triple systems

This thesis is dedicated to the Tits-Kantor-Koecher (TKK) construction which establishes a bijective correspondence between unital Jordan algebras and shortly graded Lie algebras with Z-grading induced by an sl_2-triple. It is based on the observation that if g is a Lie algebra with a short Z-grading and f lies in g_1, then the formula ab=[[a,f],b] defines a structure of a Jordan algebra on g_{-1}. The TKK construction has been extended to Jordan triple systems and, more recently, to the so-called Kantor triple systems. These generalizations are studied in the thesis.

Data dissemination over complex networks through gossip

This thesis offers a practical and theoretical evaluations about gossip-epidemic algorithms, comparing those most common in the literature with new proposed algorithms and analyzing their behavior. Tests have been executed using one hundred graphs that has been randomly generated by Large Unstructured NEtwork Simulator (LUNES), a simulation software provided by Parallel and Distributed Simulation Research Group (PADS), of the Department of Computer Science, Università di Bologna and simulated using Advanced RTI System (ARTÌS), based on the High Level Architecture standard. Literatures algorithms have been analyzed and taken as base for new algorithms.