Questa tesi è dedicata alla qualità dell'alimento ittico in tre delle sue possibili accezioni. Dopo aver spiegato il complicato rapporto del consumatore con gli alimenti ittici e come l'Unione Europea abbia cercato di fare chiarezza al riguardo, gli argomenti di discussione saranno: Autenticazione d'origine La polpa di 160 esemplari di spigola (Dicentrachus labrax), suddivisi tra selvatici, allevati intensivamente e allevati estensivamente, provenienti dall'Italia e dall'estero per un totale di 18 fonti indagate, è stati analizzata individualmente per caratterizzarne la componente lipidica, isotopica e minerale e verificare le potenzialità di queste informazioni ai fini della autenticazione di origine in senso lato. Stima della Freshness Quality Numerosi lotti di seppia (Sepia officinalis), nasello (Merluccius merluccius) e triglia di fango (Mullus barbatus) sono stati sottoposti a due possibili modalità di stoccaggio sotto ghiaccio fondente, per indagare come, nell’arco della loro vita commerciale, ne evolvessero importanti connotati chimici (cataboliti dell’ATP e loro rapporti), fisici (proprietà dielettriche dei tessuti) e sensoriali (Quality Index Methods specie-specifici. Studio del profilo nutrizionale La componente lipidica di numerosi lotti di mazzancolla (Penaeus kerathurus), canocchia (Squilla mantis) e seppia (Sepia officinalis) è stata caratterizzata allo stato crudo e dopo cottura secondo tecniche “dedicate” per stabilire il contributo di queste matrici come fonte di acidi grassi polinsaturi della serie omega 3 e per pervenire alla determinazione dei loro coefficienti di ritenzione vera. / This dissertation revolves around finfish and shellfish quality according to three quite different approaches, preceded by an in-depth study of the complicated relationship between Seafood and the Consumer. Origin authentication The flesh from 160 specimens of seabass (Dicentrarchus labrax), either caught in the wild or reared at different density and coming from 18 possible sources, was individually analyzed as to lipid content and composition, macro- and micro-elemental concentrations, as well as nitrogen and carbon stable isotopic abundances. The aim was to verify if and to what extent each homogeneous set of variables was able to discriminate among seabass origin, latu sensu. Freshness quality evaluation Three complete storage experiments were conducted using several batches of European common cuttlefish (Sepia officinalis), European hake (Merluccius merluccius) and red mullet (Mullus barbatus). Specimens were stored under melting ice according to two different theses until the end of their shelf life, during which chemical determinations (i.e. ATP and related compounds, as well as pertinent ratios), physical measurements (i.e. dielectric properties) and sensory assessments (species-specific Quality Index Methods) were made, in order to ascertain which trait evolved much in the way the sensory traits did, as the leading parameters Nutritional profiling Several batches of caramote prawns (Penaeus kerathurus), mantis shrimps (Squilla mantis) and European common cuttlefish (Sepia officinalis) were analyzed as to their lipid content and composition both at the raw state and upon cooking following a specific method (steam cooking, pan frying in a non-stick pan and pressure cooking, in the very same order), the aim of this research being twofold: to determine the fatty acid content and composition of these low-fat species and to gain knowledge of the true retention coefficients of these nutrients.

In the last few years, a new generation of Business Intelligence (BI) tools called BI 2.0 has emerged to meet the new and ambitious requirements of business users. BI 2.0 not only introduces brand new topics, but in some cases it re-examines past challenges according to new perspectives depending on the market changes and needs. In this context, the term pervasive BI has gained increasing interest as an innovative and forward-looking perspective. This thesis investigates three different aspects of pervasive BI: personalization, timeliness, and integration. Personalization refers to the capacity of BI tools to customize the query result according to the user who takes advantage of it, facilitating the fruition of BI information by different type of users (e.g., front-line employees, suppliers, customers, or business partners). In this direction, the thesis proposes a model for On-Line Analytical Process (OLAP) query personalization to reduce the query result to the most relevant information for the specific user. Timeliness refers to the timely provision of business information for decision-making. In this direction, this thesis defines a new Data Warehuose (DW) methodology, Four-Wheel-Drive (4WD), that combines traditional development approaches with agile methods; the aim is to accelerate the project development and reduce the software costs, so as to decrease the number of DW project failures and favour the BI tool penetration even in small and medium companies. Integration refers to the ability of BI tools to allow users to access information anywhere it can be found, by using the device they prefer. To this end, this thesis proposes Business Intelligence Network (BIN), a peer-to-peer data warehousing architecture, where a user can formulate an OLAP query on its own system and retrieve relevant information from both its local system and the DWs of the net, preserving its autonomy and independency.

Fibre-Reinforced-Plastics are composite materials composed by thin fibres with high mechanical properties, made to work together with a cohesive plastic matrix. The huge advantages of fibre reinforced plastics over traditional materials are their high specific mechanical properties i.e. high stiffness and strength to weight ratios. This kind of composite materials is the most disruptive innovation in the structural materials field seen in recent years and the areas of potential application are still many. However, there are few aspects which limit their growth: on the one hand the information available about their properties and long term behaviour is still scarce, especially if compared with traditional materials for which there has been developed an extended database through years of use and research. On the other hand, the technologies of production are still not as developed as the ones available to form plastics, metals and other traditional materials. A third aspect is that the new properties presented by these materials e.g. their anisotropy, difficult the design of components. This thesis will provide several case-studies with advancements regarding the three limitations mentioned. In particular, the long term mechanical properties have been studied through an experimental analysis of the impact of seawater on GFRP. Regarding production methods, the pre-impregnated cured in autoclave process was considered: a rapid tooling method to produce moulds will be presented, and a study about the production of thick components. Also, two liquid composite moulding methods will be presented, with a case-study regarding a large component with sandwich structure that was produced with the Vacuum-Assisted-Resin-Infusion method, and a case-study regarding a thick con-rod beam that was produced with the Resin-Transfer-Moulding process. The final case-study will analyse the loads acting during the use of a particular sportive component, made with FRP layers and a sandwich structure, practical design rules will be provided.

Salmonella and Campylobacter are common causes of human gastroenteritis. Their epidemiology is complex and a multi-tiered approach to control is needed, taking into account the different reservoirs, pathways and risk factors. In this thesis, trends in human gastroenteritis and food-borne outbreak notifications in Italy were explored. Moreover, the improved sensitivity of two recently-implemented regional surveillance systems in Lombardy and Piedmont was evidenced, providing a basis for improving notification at the national level. Trends in human Salmonella serovars were explored: serovars Enteritidis and Infantis decreased, Typhimurium remained stable and 4,[5],12:i:-, Derby and Napoli increased, suggesting that sources of infection have changed over time. Attribution analysis identified pigs as the main source of human salmonellosis in Italy, accounting for 43–60% of infections, followed by Gallus gallus (18–34%). Attributions to pigs and Gallus gallus showed increasing and decreasing trends, respectively. Potential bias and sampling issues related to the use of non-local/non-recent multilocus sequence typing (MLST) data in Campylobacter jejuni/coli source attribution using the Asymmetric Island (AI) model were investigated. As MLST data become increasingly dissimilar with increasing geographical/temporal distance, attributions to sources not sampled close to human cases can be underestimated. A combined case-control and source attribution analysis was developed to investigate risk factors for human Campylobacter jejuni/coli infection of chicken, ruminant, environmental, pet and exotic origin in The Netherlands. Most infections (~87%) were attributed to chicken and cattle. Individuals infected from different reservoirs had different associated risk factors: chicken consumption increased the risk for chicken-attributed infections; animal contact, barbecuing, tripe consumption, and never/seldom chicken consumption increased that for ruminant-attributed infections; game consumption and attending swimming pools increased that for environment-attributed infections; and dog ownership increased that for environment- and pet-attributed infections. Person-to-person contacts around holiday periods were risk factors for infections with exotic strains, putatively introduced by returning travellers.

This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.

The new generation of multicore processors opens new perspectives for the design of embedded systems. Multiprocessing, however, poses new challenges to the scheduling of real-time applications, in which the ever-increasing computational demands are constantly flanked by the need of meeting critical time constraints. Many research works have contributed to this field introducing new advanced scheduling algorithms. However, despite many of these works have solidly demonstrated their effectiveness, the actual support for multiprocessor real-time scheduling offered by current operating systems is still very limited. This dissertation deals with implementative aspects of real-time schedulers in modern embedded multiprocessor systems. The first contribution is represented by an open-source scheduling framework, which is capable of realizing complex multiprocessor scheduling policies, such as G-EDF, on conventional operating systems exploiting only their native scheduler from user-space. A set of experimental evaluations compare the proposed solution to other research projects that pursue the same goals by means of kernel modifications, highlighting comparable scheduling performances. The principles that underpin the operation of the framework, originally designed for symmetric multiprocessors, have been further extended first to asymmetric ones, which are subjected to major restrictions such as the lack of support for task migrations, and later to re-programmable hardware architectures (FPGAs). In the latter case, this work introduces a scheduling accelerator, which offloads most of the scheduling operations to the hardware and exhibits extremely low scheduling jitter. The realization of a portable scheduling framework presented many interesting software challenges. One of these has been represented by timekeeping. In this regard, a further contribution is represented by a novel data structure, called addressable binary heap (ABH). Such ABH, which is conceptually a pointer-based implementation of a binary heap, shows very interesting average and worst-case performances when addressing the problem of tick-less timekeeping of high-resolution timers.

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.

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology. / Negli ultimi 60 anni, i computer e i programmi hanno favorito incredibili avanzamenti in ogni campo. Oggigiorno, purtroppo, questi sistemi sono così complicati che è difficile – se non impossibile – capire se soddisfano qualche requisito o mostrano un comportamento o una proprietà desiderati. Questa tesi introduce un approccio a posteriori Just-In-Time (JIT) per effettuare il controllo di conformità ed identificare appena possibile ogni deviazione dal comportamento desiderato, ed eventualmente applicare qualche correzione. Il framework dichiarativo che implementa il nostro approccio – interamente sviluppato su una promettente piattaforma open source di Production Rule System (PRS) chiamata Drools – si compone di tre elementi: 1. un modulo per il monitoraggio basato su una nuova implementazione efficiente di Event Calculus (EC), 2. un modulo generale per il ragionamento ibrido (il primo del suo genere) che supporta ragionamento temporale, semantico, fuzzy e a regole, 3. un formalismo logico basato sul concetto di aspettativa che introduce le Event-Condition-Expectation rules (ECE-rules) per valutare la conformità globale di un sistema. Il framework è anche accompagnato da un modulo opzionale che fornisce Probabilistic Inductive Logic Programming (PILP). Spostando il controllo di conformità da dopo l’esecuzione ad appena in tempo, questo approccio combina i vantaggi di molti metodi a posteriori e a priori proposti in letteratura. Si noti che, se le azioni correttive sono fornite esplicitamente, la natura reattiva di questo metodo consente di conciliare le deviazioni dal comportamento desiderato non appena questo viene rilevato. In conclusione, la metodologia proposta introduce alcuni avanzamenti per risolvere il problema del controllo di conformità, contribuendo a colmare il divario tra l’uomo e la tecnologia, sempre più complessa.

Pervasive Sensing is a recent research trend that aims at providing widespread computing and sensing capabilities to enable the creation of smart environments that can sense, process, and act by considering input coming from both people and devices. The capabilities necessary for Pervasive Sensing are nowadays available on a plethora of devices, from embedded devices to PCs and smartphones. The wide availability of new devices and the large amount of data they can access enable a wide range of novel services in different areas, spanning from simple data collection systems to socially-aware collaborative filtering. However, the strong heterogeneity and unreliability of devices and sensors poses significant challenges. So far, existing works on Pervasive Sensing have focused only on limited portions of the whole stack of available devices and data that they can use, to propose and develop mainly vertical solutions. The push from academia and industry for this kind of services shows that time is mature for a more general support framework for Pervasive Sensing solutions able to enhance frail architectures, promote a well balanced usage of resources on different devices, and enable the widest possible access to sensed data, while ensuring a minimal energy consumption on battery-operated devices. This thesis focuses on pervasive sensing systems to extract design guidelines as foundation of a comprehensive reference model for multi-tier Pervasive Sensing applications. The validity of the proposed model is tested in five different scenarios that present peculiar and different requirements, and different hardware and sensors. The ease of mapping from the proposed logical model to the real implementations and the positive performance result campaigns prove the quality of the proposed approach and offer a reliable reference model, together with a direction for the design and deployment of future Pervasive Sensing applications.

La presenza di Escherichia coli produttori di verocitotossine (VTEC o STEC) rappresenta una tra le più importanti cause di malattia alimentare attualmente presenti in Europa. La sua presenza negli allevamenti di animali destinati alla produzione di alimenti rappresenta un importante rischio per la salute del consumatore. In conseguenza di comuni contaminazioni che si realizzano nel corso della macellazione, della mungitura i VTEC possono essere presenti nelle carni e nel latte e rappresentano un grave rischio se la preparazione per il consumo o i processi di lavorazione non comportano trattamenti in grado d’inattivarli (es. carni crude o poco cotte, latte non pastorizzato, formaggi freschi a latte crudo). La contaminazione dei campi coltivati conseguente alla dispersione di letame o attraverso acque contaminate può veicolare questi stipiti che sono normalmente albergati nell’intestino di ruminanti (domestici e selvatici) e anche prodotti vegetali consumati crudi, succhi e perfino sementi sono stati implicati in gravi episodi di malattia con gravi manifestazioni enteriche e complicazioni in grado di causare quadri patologici gravi e anche la morte. Stipiti di VTEC patogeni ingeriti con gli alimenti possono causare sintomi gastroenterici, con diarrea acquosa o emorragica (nel 50% dei casi), crampi addominali, febbre lieve e in una percentuale più bassa nausea e vomito. In alcuni casi (circa 5-10%) l’infezione gastroenterica si complica con manifestazioni tossiemiche caratterizzate da Sindrome Emolitico Uremica (SEU o HUS) con anemia emolitica, insufficienza renale grave e coinvolgimento neurologico o con una porpora trombotica trombocitopenica. Il tasso di mortalità dei pazienti che presentano l’infezione da E. coli è inferiore all’1%. I dati forniti dall’ECDC sulle infezioni alimentari nel periodo 2006-2010 hanno evidenziato un trend in leggero aumento del numero di infezioni a partire dal 2007. L’obiettivo degli studi condotti è quello di valutare la prevalenza ed il comportamento dei VTEC per una analisi del rischio più approfondita. / The presence of verotoxigenic Escherichia coli (VTEC or STEC) is one of the most important causes of disease food currently present in Europe. Its presence in the breeding of animals for food production is a major risk to the health of the consumer. As a result of common influences that occur during slaughter and milking VTEC can be found in meat and milk and pose a serious risk if the preparation for consumption or processing do not involve treatments in the degree of inactivation (eg. raw meat or undercooked, unpasteurized milk, soft cheeses made from raw milk). The contamination of fields resulting from the dispersion of manure or through contaminated water can carry these strains that are normally present in intestine of ruminants (domestic and wild) and also vegetables eaten raw, juices and even seeds have been implicated in serious cases of enteric disease with severe manifestations and complications can cause serious pathological and even death. VTEC strains ingested with food can cause gastrointestinal symptoms as watery or hemorrhagic diarrhea, abdominal cramps, mild fever and a lower percentage nausea and vomiting. In some cases (about 5-10%) infection is complicated by gastrointestinal manifestations characterized by Hemolytic Uremic Syndrome (HUS or HUS) with hemolytic anemia, severe renal and neurological involvement or with thrombotic thrombocytopenic purpura. The mortality rate of patients with infection with E. coli is less than 1%. The data provided by the ECDC on food-borne infections in the period 2006-2010 showed a trend of slight increase in the number of infections from 2007. The aim of these studies was to evaluate the prevalence and behavior of VTEC for a more in-depth risk analysis.