Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development

Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket. As a consequence, in the last years software is having an epochal turn toward concurrency, distribution, interaction which is pushed by the evolution of hardware architectures and the growing of network availability. This calls for introducing further abstraction layers on top of those provided by classical mainstream programming paradigms, to tackle more effectively the new complexities that developers have to face in everyday programming. A convergence it is recognizable in the mainstream toward the adoption of the actor paradigm as a mean to unite object-oriented programming and concurrency. Nevertheless, we argue that the actor paradigm can only be considered a good starting point to provide a more comprehensive response to such a fundamental and radical change in software development. Accordingly, the main objective of this thesis is to propose Agent-Oriented Programming (AOP) as a high-level general purpose programming paradigm, natural evolution of actors and objects, introducing a further level of human-inspired concepts for programming software systems, meant to simplify the design and programming of concurrent, distributed, reactive/interactive programs. To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering of integrated programming technologies for developing agent-based systems in their classical application domains: artificial intelligence and distributed artificial intelligence. Then, we shift the perspective moving from the development of intelligent software systems, toward general purpose software development. Using the expertise maturated during the phase of background construction, we introduce a general-purpose programming language named simpAL, which founds its roots on general principles and practices of software development, and at the same time provides an agent-oriented level of abstraction for the engineering of general purpose software systems.

Code synchronization and interference management techniques for satellite navigation and communications

This thesis collects the outcomes of a Ph.D. course in Telecommunications engineering and it is focused on enabling techniques for Spread Spectrum (SS) navigation and communication satellite systems. It provides innovations for both interference management and code synchronization techniques. These two aspects are critical for modern navigation and communication systems and constitute the common denominator of the work. The thesis is organized in two parts: the former deals with interference management. We have proposed a novel technique for the enhancement of the sensitivity level of an advanced interference detection and localization system operating in the Global Navigation Satellite System (GNSS) bands, which allows the identification of interfering signals received with power even lower than the GNSS signals. Moreover, we have introduced an effective cancellation technique for signals transmitted by jammers, exploiting their repetitive characteristics, which strongly reduces the interference level at the receiver. The second part, deals with code synchronization. More in detail, we have designed the code synchronization circuit for a Telemetry, Tracking and Control system operating during the Launch and Early Orbit Phase; the proposed solution allows to cope with the very large frequency uncertainty and dynamics characterizing this scenario, and performs the estimation of the code epoch, of the carrier frequency and of the carrier frequency variation rate. Furthermore, considering a generic pair of circuits performing code acquisition, we have proposed a comprehensive framework for the design and the analysis of the optimal cooperation procedure, which minimizes the time required to accomplish synchronization. The study results particularly interesting since it enables the reduction of the code acquisition time without increasing the computational complexity. Finally, considering a network of collaborating navigation receivers, we have proposed an innovative cooperative code acquisition scheme, which allows exploit the shared code epoch information between neighbor nodes, according to the Peer-to-Peer paradigm.

Integrating wireless sensor networks and internet of things: A coap-based approach

L'obiettivo su cui è stata basata questa Tesi di Laurea è stato quello di integrare la tecnologia delle Wireless Sensor Networks (WSN) al contesto dell'Internet delle cose (IoT). Per poter raggiungere questo obiettivo, il primo passo è stato quello di approfondire il concetto dell'Internet delle cose, in modo tale da comprendere se effettivamente fosse stato possibile applicarlo anche alle WSNs. Quindi è stata analizzata l'architettura delle WSNs e successivamente è stata fatta una ricerca per capire quali fossero stati i vari tipi di sistemi operativi e protocolli di comunicazione supportati da queste reti. Infine sono state studiate alcune IoT software platforms. Il secondo passo è stato quindi di implementare uno stack software che abilitasse la comunicazione tra WSNs e una IoT platform. Come protocollo applicativo da utilizzare per la comunicazione con le WSNs è stato usato CoAP. Lo sviluppo di questo stack ha consentito di estendere la piattaforma SensibleThings e il linguaggio di programmazione utilizzato è stato Java. Come terzo passo è stata effettuata una ricerca per comprendere a quale scenario di applicazione reale, lo stack software progettato potesse essere applicato. Successivamente, al fine di testare il corretto funzionamento dello stack CoAP, è stata sviluppata una proof of concept application che simulasse un sistema per la rilevazione di incendi. Questo scenario era caratterizzato da due WSNs che inviavano la temperatura rilevata da sensori termici ad un terzo nodo che fungeva da control center, il cui compito era quello di capire se i valori ricevuti erano al di sopra di una certa soglia e quindi attivare un allarme. Infine, l'ultimo passo di questo lavoro di tesi è stato quello di valutare le performance del sistema sviluppato. I parametri usati per effettuare queste valutazioni sono stati: tempi di durata delle richieste CoAP, overhead introdotto dallo stack CoAP alla piattaforma Sensible Things e la scalabilità di un particolare componente dello stack. I risultati di questi test hanno mostrato che la soluzione sviluppata in questa tesi ha introdotto un overheadmolto limitato alla piattaforma preesistente e inoltre che non tutte le richieste hanno la stessa durata, in quanto essa dipende dal tipo della richiesta inviata verso una WSN. Tuttavia, le performance del sistema potrebbero essere ulteriormente migliorate, ad esempio sviluppando un algoritmo che consenta la gestione concorrente di richieste CoAP multiple inviate da uno stesso nodo. Inoltre, poichè in questo lavoro di tesi non è stato considerato il problema della sicurezza, una possibile estensione al lavoro svolto potrebbe essere quello di implementare delle politiche per una comunicazione sicura tra Sensible Things e le WSNs.

Fluctuation properties in random walks on networks and simple integrate and fire models

In questa tesi si è studiato l’insorgere di eventi critici in un semplice modello neurale del tipo Integrate and Fire, basato su processi dinamici stocastici markoviani definiti su una rete. Il segnale neurale elettrico è stato modellato da un flusso di particelle. Si è concentrata l’attenzione sulla fase transiente del sistema, cercando di identificare fenomeni simili alla sincronizzazione neurale, la quale può essere considerata un evento critico. Sono state studiate reti particolarmente semplici, trovando che il modello proposto ha la capacità di produrre effetti "a cascata" nell’attività neurale, dovuti a Self Organized Criticality (auto organizzazione del sistema in stati instabili); questi effetti non vengono invece osservati in Random Walks sulle stesse reti. Si è visto che un piccolo stimolo random è capace di generare nell’attività della rete delle fluttuazioni notevoli, in particolar modo se il sistema si trova in una fase al limite dell’equilibrio. I picchi di attività così rilevati sono stati interpretati come valanghe di segnale neurale, fenomeno riconducibile alla sincronizzazione.

Reticulate eruptions. Part 1: Vascular networks and physiology

Reticulate pattern is one of the most important dermatological signs of a pathological process involving the superficial vascular networks. Vascular malformations, such as cutis marmorata congenita telangiectasia and benign forms of livedo reticularis, and sinister conditions, such as meningococcal meningitis or Sneddon's syndrome, can all present with a reticulate pattern. The clinical presentation and morphology is determined by the nature and extent of the underlying pathology and the involvement of a particular vascular network. This review has been divided into four instalments. In the present paper, we discuss the anatomy and physiology of the complex network of vascular structures that support the function of the skin and subcutis.

Comparative Study of Informal Health Care Networks and Elderly Health Status in Argentina and Cuba

The objective of this study is to evaluate the impact of informal care support networks on the health status, life satisfaction, happiness and anxiety of elderly individuals in Argentina and Cuba. Recent economic changes, demographic changes, the structure of families and changes in women?s labor participation have affected the availability of informal care. Additionally, the growing number of elderly as a percentage of total population has significant implications for both formal and informal care in Argentina and Cuba. Methods: The SABE - Survey on Health, Well-Being, and Aging in Latin America and the Caribbean, 2000 was used as the data source. The survey has a sample of 10,656 individuals aged 60 years and older residing in private households occupied by permanent dwellers in 7 cities in the Latin American and Caribbean region. My study will focus on the Buenos Aires and Havana samples in which there were 1043 individuals and 1905 individuals respectively. General sampling design was used to establish comparability between countries. Individuals requiring assistance are surveyed on their source of help and the relative impact of informal versus paid help is measured for this group. Other measures of social support (number of living children, companionship and number of individuals living in the same dwelling) are used to measure networks for the full sample. Multivariate probit regression analyses were run separately for Cuba and for Argentina to evaluate the marginal impacts of the types of social support on health status, life satisfaction, happiness and anxiety. Results: For Argentina, almost all of the family help variables positively impact good health. Getting help from most other members of the family negatively impacts satisfaction with life. Happiness is affected differently by each of the family help variables but community support increases the likelihood of being happy. Although none of the family or community help variables show statistical significance, most negatively affect anxiety levels. In Cuba, all of the social support variables have a positive marginal impact on the health status of the elderly. In this case, some of the family and community help variables have a negative marginal impact on life satisfaction; however, it appears that having those closest to the elderly, children, spouse, or other family, positively impacts life satisfaction. Most of the support variables negatively impact happiness. Receiving help from a child, spouse or parent is associated with a marginal increase in anxiety, whereas receiving help from a grandchild, another family member or a friend actually reduces anxiety. Discussion: The study highlights the necessity for enhancing the coordination of various care networks in order to provide adequate care and reduce the burdens of old age on the individual, family and society and the need for consistent support for the caregivers. More qualitative work should be done to identify how support is given and what comprises the support. The constant change and advancement of the world, and the growth of the Latin American and Caribbean region, suggests that more updates studies need to be done.

COMPARATIVE STUDY OF INFORMAL HEALTH CARE NETWORKS AND ELDERLY HEALTH STATUS IN ARGENTINA AND CUBA

This study will explore familial and friend support networks and living arrangements among elderly individuals in Latin America and the impact that this type of support has on the health of the elderly individuals in the countries of interest. Using data from the Survey on Health and Well-Being of Elders (SABE) from 1999-2000, I will explore which type of support has a larger impact on overall health. I will also measure differences in unmet needs for certain health services. This topic is particularly interesting because it will help to uncover what policies are best for aiding in the healthcare of the elderly in aging population. Lastly, the investigation of this topic will allow me to draw conclusions about the most effective means of social and public policy for the elderly community and provide me with information about the role of both informal provisions of support from family and friends, and formal provisions of support from the government. My primary focus will be on Argentina, using Buenos Aires as the sample city, and Cuba, using Havana as the sample city. These two countries have increasingly aging populations, poorer resources and vast inequalities, but, extremely different political, economic and cultural situations. Comparing the two countries will further allow me to determine correlations between health and the existence of support networks, as well as provide me with information to make more general claims that may be of use in the United States. Argentina is particularly interesting to me because of my abroad experience and homestay experience with an older Argentine woman who lived alone but depended upon her family for many healthcare needs, doctors’ visits and general well-being. In Argentina, I experienced a different form of living than I am used to in the United States, where many older individuals or couples live in nursing homes or assisted living facilities rather than alone or with family. The changing economic climate of the two countries coupled with labor patterns of women returning to work at rapid rates indicates that policies cannot just rely on either the formal or informal sector but require a combination of the two sectors working together.This paper will first give background on the difference in the economies and the health care systems in Argentina and Cuba and will show why it interesting to study and compare these two countries. I will then discuss the health status of the elderly in each population as well as discuss the informal care networks and the role of family in each country. This section will then be followed by a description of the data and methods used. I will end by drawing conclusions about the study and the outcomes, and then I will attempt to make suggestions about effective health care policies for the elderly.

An investigation of computer literacy and attitudes amongst Greek post-graduate dental students

An accurate assessment of the computer skills of students is a pre-requisite for the success of any e-learning interventions. The aim of the present study was to assess objectively the computer literacy and attitudes in a group of Greek post-graduate students, using a task-oriented questionnaire developed and validated in the University of Malmö, Sweden. 50 post-graduate students in the Athens University School of Dentistry in April 2005 took part in the study. A total competence score of 0-49 was calculated. Socio-demographic characteristics were recorded. Attitudes towards computer use were assessed. Descriptive statistics and linear regression modeling were employed for data analysis. Total competence score was normally distributed (Shapiro-Wilk test: W = 0.99, V = 0.40, P = 0.97) and ranged from 5 to 42.5, with a mean of 22.6 (+/-8.4). Multivariate analysis revealed 'gender', 'e-mail ownership' and 'enrollment in non-clinical programs' as significant predictors of computer literacy. Conclusively, computer literacy of Greek post-graduate dental students was increased amongst males, students in non-clinical programs and those with more positive attitudes towards the implementation of computer assisted learning.

Applied Graph Theory in Computer Vision and Pattern Recognition

This book will serve as a foundation for a variety of useful applications of graph theory to computer vision, pattern recognition, and related areas. It covers a representative set of novel graph-theoretic methods for complex computer vision and pattern recognition tasks. The first part of the book presents the application of graph theory to low-level processing of digital images such as a new method for partitioning a given image into a hierarchy of homogeneous areas using graph pyramids, or a study of the relationship between graph theory and digital topology. Part II presents graph-theoretic learning algorithms for high-level computer vision and pattern recognition applications, including a survey of graph based methodologies for pattern recognition and computer vision, a presentation of a series of computationally efficient algorithms for testing graph isomorphism and related graph matching tasks in pattern recognition and a new graph distance measure to be used for solving graph matching problems. Finally, Part III provides detailed descriptions of several applications of graph-based methods to real-world pattern recognition tasks. It includes a critical review of the main graph-based and structural methods for fingerprint classification, a new method to visualize time series of graphs, and potential applications in computer network monitoring and abnormal event detection.