Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

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.

Politiche attive del lavoro e ammortizzatori sociali in deroga: misure difensive o di promozione delle capacità?

Il tema generale del dottorato di ricerca è l'analisi delle politiche di attivazione in Italia durante la crisi economica. La combinazione di politiche attive e passive del lavoro viene interpretata ricorrendo al quadro teorico proposto da Amartya Sen e basato sul concetto di capability. Abbiamo considerato le misure nazionali e regionali nel quadro delle linee guida europee e analizzato le tendenze verso l'empowerment dei beneficiari di politiche del lavoro attraverso il concetto di capability proposto da Sen. La ricerca empirica ha utilizzato diversi strumenti per la raccolta dei dati: focus group, un questionario inviato ad un campione di 1.200 lavoratori, e interviste.

Ambienti innovativi per l'apprendimento: Modelli interpretativi e contributi di esperienze. Uno studio sull'organizzazione di Scuola-Città Pestalozzi a Firenze

La tesi affronta il tema dell'innovazione della scuola, oggetto di costante attenzione da parte delle organizzazioni internazionali e dei sistemi educativi nazionali, per le sue implicazioni economiche, sociali e politiche, e intende portare un contributo allo studio sistematico e analitico dei progetti e delle esperienze di innovazione complessiva dell'ambiente di apprendimento. Il concetto di ambiente di apprendimento viene approfondito nelle diverse prospettive di riferimento, con specifica attenzione al framework del progetto "Innovative Learning Environments" [ILE], dell’Organisation For Economic And Cultural Development [OECD] che, con una prospettiva dichiaratamente olistica, individua nel dispositivo dell’ambiente di apprendimento la chiave per l’innovazione dell’istruzione nella direzione delle competenze per il ventunesimo Secolo. I criteri presenti nel quadro di riferimento del progetto sono stati utilizzati per un’analisi dell’esperienza proposta come caso di studio, Scuola-Città Pestalozzi a Firenze, presa in esame perché nell’anno scolastico 2011/2012 ha messo in pratica appunto un “disegno” di trasformazione dell’ambiente di apprendimento e in particolare dei caratteri del tempo/scuola. La ricerca, condotta con una metodologia qualitativa, è stata orientata a far emergere le interpretazioni dei protagonisti dell’innovazione indagata: dall’analisi del progetto e di tutta la documentazione fornita dalla scuola è scaturita la traccia per un focus-group esplorativo attraverso il quale sono stati selezionati i temi per le interviste semistrutturate rivolte ai docenti (scuola primaria e scuola secondaria di primo grado). Per quanto concerne l’interpretazione dei risultati, le trascrizioni delle interviste sono state analizzate con un approccio fenomenografico, attraverso l’individuazione di unità testuali logicamente connesse a categorie concettuali pertinenti. L’analisi dei materiali empirici ha permesso di enucleare categorie interpretative rispetto alla natura e agli scopi delle esperienze di insegnamento/apprendimento, al processo organizzativo, alla sostenibilità. Tra le implicazioni della ricerca si ritengono particolarmente rilevanti quelle relative alla funzione docente.

Emigration als Herausforderung für Prozesse der Einbindung und Ablösung in Kindheit und Jugend: Eine Studie zu Identitätskonstruktionen von aus dem nationalsozialistischen Deutschland emigrierten Kindern und Jugendlichen

Ziel der vorliegenden Arbeit war die Untersuchung der Bedeutung des lebensgeschichtlichen Ereignisses (erzwungener) Emigration aus Deutschland zur Zeit des Nationalsozialismus für die Identitätsentwicklung von Kindern und Jugendlichen. Anhand der objektiv hermeneutischen Analyse und Interpretation lebensgeschichtlicher Interviews, objektiver Daten sowie z.T. weiterer (auto-)biographischer Materialien dreier Personen, die als Kinder in die USA emigrierten, wurde vor allem der Frage nachgegangen, welche Zusammenhänge herstellbar sind zwischen entwicklungsmäßig gewissermaßen ‚vorprogrammierten‘ Krisen der Bindung und Ablösung im Sozialisationsprozess und dem Ereignis Emigration als fallübergreifend vorliegender Besonderheit im Sinne eines potentiell traumatischen Krisenereignisses. Das zentrale Interesse bestand in der Rekonstruktion unterschiedlicher biographisch wirksamer Habitus der Krisenbewältigung. In heuristischer Absicht wurde dabei einerseits angeknüpft an das soziologisch strukturtheoretische Modell Ulrich Oevermanns von Sozialisation als Prozess der Krisenbewältigung, andererseits an Robert Kegans entwicklungspsychologisches Konzept der Entwicklung des Selbst in einbindenden Kulturen. Im Zuge der Fallrekonstruktionen ließen sich erstens von Fall zu Fall unterschiedliche Perspektiven auf die Erfahrung der Emigration herausarbeiten sowie zweitens jeweils spezifische Haltungen im Umgang mit (wie bewusst auch immer als solche wahrgenommenen) Entscheidungskrisen der Lebensgestaltung, also eine je eigene Form des Umgangs mit der für die menschliche Lebenspraxis konstitutiven widersprüchlichen Einheit von Entscheidungszwang und Begründungsverpflichtung. Die Ergebnisse verweisen zum einen auf den großen Einfluss familialer Sozialisation auf die Entwicklung, zeigen zum anderen aber auch die Bedeutsamkeit kultureller Einbindungsmöglichkeiten über die Lebensspanne auf. Sie bieten damit eine empirische Fundierung der Synthese des Oevermannschen und des Keganschen Modells.

Organisationale Selbststeuerung in deutschen Universitäten : Bedingungen, Prozesse und Wirkungen

Die Regulierung und Steuerung von Hochschulen unterliegt spätestens seit der Liberalisierung des Hochschulrahmengesetzes im Jahr 1998 einer erheblichen Reformdynamik. Hochschulautonomie, New Public Management, Profilbildung, Exzellenz und Wettbewerb sind zentrale Stichworte im Rahmen der durchgeführten politischen Reformen und Programme.rnDer politisch intendierte Ausbau einer organisationalen Selbststeuerung von Universitäten stellt die Hochschulen vor beachtliche Herausforderungen und kann als Paradigmenwechsel im Bereich der Hochschul-Governance betrachtet werden. In der Fachdiskussion wird der entsprechende Wandel auch als Stärkung der „managerial governance“ (bspw. de Boer et al. 2007) oder als Wandel von Universitäten hin zu „more complete organizations“ (Brunsson/ Sahlin-Andersson 2000) bzw. „organisational actors“ (Krücken/Meier 2006) beschrieben. rnGleichzeitig liegt bislang eher fragmentarisches Wissen darüber vor, wie der veränderte Re-gulierungskontext von den Steuerungsakteuren in deutschen Hochschulen aufgegriffen wird, d.h. ob auf Organisationsebene tatsächlich ein Ausbau der organisationalen Selbststeuerung stattfindet, welche Steuerungsinitiativen und -instrumente sich bewähren und warum dies der Fall ist. Die vorliegende Arbeit geht diesen Fragen im Rahmen einer vergleichenden Fallstudie an sechs Universitäten nach. rnIm Zentrum der empirischen Erhebung stehen 60 qualitative sozialwissenschaftliche Interviews mit Leitungsakteuren auf Hochschul- und Fachbereichsebene. Diese Daten werden ergänzt durch umfangreiche Dokumentenanalysen, insbesondere von Jahresberichten, Grundordnungen, Strategie- und Planungsdokumenten sowie durch Daten der amtlichen Hochschul-statistik. Das Untersuchungsdesign erlaubt überdies eine Gegenüberstellung von großen und kleinen Universitäten sowie von Hochschulen mit einer technisch-naturwissenschaftlichen Ausrichtung gegenüber solchen mit einem kultur- und sozialwissenschaftlichen Schwerpunkt. Die Untersuchung zeigt, dass an fünf der sechs untersuchten Hochschulen ein zum Teil deutlicher Ausbau der organisationalen Selbststeuerung festzustellen ist, wenngleich der spezifische organisationale Charakter von Universitäten, d.h. eine weitgehend lose Kopplung mit autonomen Professionals, im Wesentlichen erhalten bleibt. Die Zusammenschau der Veränderungen ergibt ein idealtypisches Modell des Wandels von Strategie, Struktur und Kultur der Hochschulen. Auf Basis der empirischen Ergebnisse werden weiterhin zentrale externe und interne Einflussfaktoren auf den spezifischen organisationalen Wandel analysiert. Schließlich werden Kosten und Nutzen sowie Risiken und Chancen der Governance-Reformen im Hoch-schulbereich gegenübergestellt.

Zum Demokratieverständnis von Jugendlichen in Deutschland : eine empirische Untersuchung mit Implikationen für die politische Bildung

Die Arbeit untersucht anhand empirischer Daten aus dem Jahr 2012 (ESS 6) das normative Demokratieverständnis von Jugendlichen im Alter zwischen 15 und 26 Jahren. Im Unterschied zu vorangegangenen Studien wird das normative Demokratieverständnis der Jugendlichen zum einen detaillierter untersucht, zum anderen dem der Erwachsenen gegenüber gestellt und drittens werden dessen Determinanten umfassender betrachtet. rnDen theoretischen Rahmen der Untersuchung bilden das klassische Konzept der politischen Kultur und die politische Sozialisationstheorie. rnEs zeigt sich, dass Jugendliche über ein verhältnismäßig gut ausgeprägtes normatives Demokratieverständnis verfügen, dieses jedoch niedriger ausgeprägt ist als das der Erwachsenen, wobei letzterer Befund für ältere Jugendliche nur noch punktuell gilt. Zudem weisen die Ergebnisse darauf hin, dass bei den Jugendlichen weitestgehend die gleichen Aspekte des normativen Demokratieverständnisses im gruppeninternen Vergleich über- bzw. unterdurchschnittlich ausgeprägt sind wie bei den Erwachsenen. Unterschiede zwischen Jugendlichen und Erwachsenen zeigen sich insbesondere für die elektorale Dimension der Demokratie und weniger für die liberale Dimension. Als wichtige Determinanten des Demokratieverständnisses von Jugendlichen werden sowohl der individuelle Bildungsgrad und das individuelle politische Interesse als auch der Bildungshintergrund der Eltern identifiziert.rnAus den Ergebnissen werden am Ende der Arbeit Implikationen mit Bezügen zu Inhalten, Adressaten und Akteuren politischer Bildungsarbeit diskustiert. rn

Recycling the city: a sustainable planning framework to reduce, reuse and recycle urban residual spaces

Cities are key locations where Sustainability needs to be addressed at all levels, as land is a finite resource. However, not all urban spaces are exploited at best, and land developers often evaluate unused, misused, or poorly-designed urban portions as impracticable constraints. Further, public authorities lose the challenge to enable and turn these urban spaces into valuable opportunities where Sustainable Urban Development may flourish. Arguing that these spatial elements are at the centre of SUD, the paper elaborates a prototype in the form of a conceptual strategic planning framework, committed to an effective recycling of the city spaces using a flexible and multidisciplinary approach. Firstly, the research focuses upon a broad review of Sustainability literature, highlighting established principles and guidelines, building a sound theoretical base for the new concept. Hence, it investigates origins, identifies and congruently suggests a definition, characterisation and classification for urban “R-Spaces”. Secondly, formal, informal and temporary fitting functions are analysed and inserted into a portfolio meant to enhance adaptability and enlarge the choices for the on-site interventions. Thirdly, the study outlines ideal quality requirements for a sustainable planning process. Then, findings are condensed in the proposal, which is articulated in the individuation of tools, actors, plans, processes and strategies. Afterwards, the prototype is tested upon case studies: Solar Community (Casalecchio di Reno, Bologna) and Hyllie Sustainable City Project, the latter developed via an international workshop (ACSI-Camp, Malmö, Sweden). Besides, the qualitative results suggest, inter alia, the need to right-size spatial interventions, separate structural and operative actors, involve synergies’ multipliers and intermediaries (e.g. entrepreneurial HUBs, innovation agencies, cluster organisations…), maintain stakeholders’ diversity and create a circular process open for new participants. Finally, the paper speculates upon a transfer of the Swedish case study to Italy, and then indicates desirable future researches to favour the prototype implementation.

Una panoramica sulle agenzie di traduzione: caratteristiche, tipologie e flussi di lavoro

Over the last decades the need for translation and interpreting services has increased thanks to globalization and to the progress made in the technology field. However, the organizations which provide these services, the so-called translation agencies or translation companies, are still underrated and, in some cases, virtually unknown to those people who do not belong to the translation market. The present work aims to answer all the most common questions about these companies by describing in as much detail as possible all their aspects, mechanisms, workflows and characteristics. Chapter one introduces translation agencies outlining, in the first place, some of their main definitions and classifications. Particular attention is also devoted to the translation market, to the main trade associations in the field, to the quality standards adopted and to the important role played by social media for the success of translation agencies. Chapter two starts with a theoretical introduction to the concept of “organization” and an examination of the main types of teams commonly adopted in companies, i.e. virtual and traditional. This introduction is then followed by an analysis of the typical workflows taking place in translation agencies, the main professionals involved (such as Project Managers, translators and reviewers) and their essential competences. Finally, chapter three presents a comparison between a traditional translation agency, i.e., Going Green Translations, characterized by a physical office and internal collaborators, and a more innovative translation agency, Qabiria, which on the contrary relies on a completely decentralized team. The interviews have allowed me to highlight similarities and differences as well as advantages and disadvantages of these agencies and their teams. The chapter concludes with a personal commentary on what has emerged from the comparison, and on the future of translation companies.

A QoS Controller Framework Compliant with the ETSI Network Function Virtualization Specification

The 5th generation of mobile networking introduces the concept of “Network slicing”, the network will be “sliced” horizontally, each slice will be compliant with different requirements in terms of network parameters such as bandwidth, latency. This technology is built on logical instead of physical resources, relies on virtual network as main concept to retrieve a logical resource. The Network Function Virtualisation provides the concept of logical resources for a virtual network function, enabling the concept virtual network; it relies on the Software Defined Networking as main technology to realize the virtual network as resource, it also define the concept of virtual network infrastructure with all components needed to enable the network slicing requirements. SDN itself uses cloud computing technology to realize the virtual network infrastructure, NFV uses also the virtual computing resources to enable the deployment of virtual network function instead of having custom hardware and software for each network function. The key of network slicing is the differentiation of slice in terms of Quality of Services parameters, which relies on the possibility to enable QoS management in cloud computing environment. The QoS in cloud computing denotes level of performances, reliability and availability offered. QoS is fundamental for cloud users, who expect providers to deliver the advertised quality characteristics, and for cloud providers, who need to find the right tradeoff between QoS levels that has possible to offer and operational costs. While QoS properties has received constant attention before the advent of cloud computing, performance heterogeneity and resource isolation mechanisms of cloud platforms have significantly complicated QoS analysis and deploying, prediction, and assurance. This is prompting several researchers to investigate automated QoS management methods that can leverage the high programmability of hardware and software resources in the cloud.

E-Health towards ecumenical framework for personalized medicine via Decision Support System

The purpose of the present manuscript is to present the advances performed in medicine using a Personalized Decision Support System (PDSS). The models used in Decision Support Systems (DSS) are examined in combination with Genome Information and Biomarkers to produce personalized result for each individual. The concept of personalize medicine is described in depth and application of PDSS for Cardiovascular Diseases (CVD) and Type-1 Diabetes Mellitus (T1DM) are analyzed. Parameters extracted from genes, biomarkers, nutrition habits, lifestyle and biological measurements feed DSSs, incorporating Artificial Intelligence Modules (AIM), to provide personalized advice, medication and treatment.

Consensus Document of the International Union of Angiology (IUA)-2013. Current concept on the management of arterio-venous management

Arterio-venous malformations (AVMs) are congenital vascular malformations (CVMs) that result from birth defects involving the vessels of both arterial and venous origins, resulting in direct communications between the different size vessels or a meshwork of primitive reticular networks of dysplastic minute vessels which have failed to mature to become 'capillary' vessels termed "nidus". These lesions are defined by shunting of high velocity, low resistance flow from the arterial vasculature into the venous system in a variety of fistulous conditions. A systematic classification system developed by various groups of experts (Hamburg classification, ISSVA classification, Schobinger classification, angiographic classification of AVMs,) has resulted in a better understanding of the biology and natural history of these lesions and improved management of CVMs and AVMs. The Hamburg classification, based on the embryological differentiation between extratruncular and truncular type of lesions, allows the determination of the potential of progression and recurrence of these lesions. The majority of all AVMs are extra-truncular lesions with persistent proliferative potential, whereas truncular AVM lesions are exceedingly rare. Regardless of the type, AV shunting may ultimately result in significant anatomical, pathophysiological and hemodynamic consequences. Therefore, despite their relative rarity (10-20% of all CVMs), AVMs remain the most challenging and potentially limb or life-threatening form of vascular anomalies. The initial diagnosis and assessment may be facilitated by non- to minimally invasive investigations such as duplex ultrasound, magnetic resonance imaging (MRI), MR angiography (MRA), computerized tomography (CT) and CT angiography (CTA). Arteriography remains the diagnostic gold standard, and is required for planning subsequent treatment. A multidisciplinary team approach should be utilized to integrate surgical and non-surgical interventions for optimum care. Currently available treatments are associated with significant risk of complications and morbidity. However, an early aggressive approach to elimiate the nidus (if present) may be undertaken if the benefits exceed the risks. Trans-arterial coil embolization or ligation of feeding arteries where the nidus is left intact, are incorrect approaches and may result in proliferation of the lesion. Furthermore, such procedures would prevent future endovascular access to the lesions via the arterial route. Surgically inaccessible, infiltrating, extra-truncular AVMs can be treated with endovascular therapy as an independent modality. Among various embolo-sclerotherapy agents, ethanol sclerotherapy produces the best long term outcomes with minimum recurrence. However, this procedure requires extensive training and sufficient experience to minimize complications and associated morbidity. For the surgically accessible lesions, surgical resection may be the treatment of choice with a chance of optimal control. Preoperative sclerotherapy or embolization may supplement the subsequent surgical excision by reducing the morbidity (e.g. operative bleeding) and defining the lesion borders. Such a combined approach may provide an excellent potential for a curative result. Conclusion. AVMs are high flow congenital vascular malformations that may occur in any part of the body. The clinical presentation depends on the extent and size of the lesion and can range from an asymptomatic birthmark to congestive heart failure. Detailed investigations including duplex ultrasound, MRI/MRA and CT/CTA are required to develop an appropriate treatment plan. Appropriate management is best achieved via a multi-disciplinary approach and interventions should be undertaken by appropriately trained physicians.

Resocialisation of Disabled Veterans in Former Yugoslavia

The team examined 147 amputated war veterans in the former Yugoslavia between February and December 1998. The official end of the war, substitution of lost body parts and adjustment to the new state of physical disability added extra tasks to these people's efforts to rejoin "normal life". The resocialisation process of amputated persons, i.e. the process of their return into the social environment with the related readjustment and establishment, was observed through its objective and subjective indicators. In addition to obtaining information about socio-demographic characteristics and current working status, the group focused on the psychological dimension, i.e. the individual reality of the disabled persons. In this sense they began with research into the personal, social and professional identity (how they see themselves under these altered circumstances and how they determine their place in the world). To do so they used the model of basic personality supports and observed the resocialisation according to the psychological support systems. They therefore focused on the following topics: body, social identity and belonging, personal identity, working status and engagement, individual responsibility and expectations from the social environment, and orientation towards the future. These were considered with respect to certain significant socio-demographic characteristics of the interviewees. The data were gathered through standardised interviews. Bearing in mind the unpopularity of this subject among experts in the country and the lack of material in specialist literature, the group chose to use descriptive research logic in order to "record" the situation in this field and to establish a framework for future studies which may be methodologically and statistically more complex and thematically more focused.

The Institutional Framework around Successful Art Forms in Communist Czechoslovakia

Mr. Michl posed the question of how the institutional framework that the former communist regime set up around art production contributed to the success of Czech applied arts. In his theoretical review of the question he discussed the reasons for the lack of success of socialist industrial design as opposed to what he terms pre-industrial arts (such as art glass), and also for the current lack of interest into art institutions of the past regime. His findings in the second, historical section of his work were based largely on interviews with artists and other insiders, as an initial attempt to use questionnaires was unsuccessful. His original assumption that the institutional framework was imposed on artists against their will in fact proved mistaken, as it turned out to have been proposed by the artists themselves. The basic blueprint for communist art institutions was the Memorandum document published on behalf of Czechoslovak visual artists in March 1947, i.e. before the communist coup of February 1948. Thus, while the communist state provided a beneficial institutional framework for artists' work, it was the artists themselves who designed this framework. Mr. Michl concludes that the text of the memorandum appealed to the general left-wing and anti-market sentiments of the immediate post-war period and by this and by later working through the administrative channels of the new state, the artists succeeded in gaining all of their demands over the next 15 years. The one exception was artistic freedom, although this they came to enjoy, if only by default and for a short time, during the ideological thaw of the 1960s. Mr. Michl also examined the art-related legislative framework in detail and looked at the main features of key art institutions in the field, such as the Czech Fund for Visual Arts and the 1960s art export enterprise Art Centrum, which opened the doors into foreign markets for artists.

Coronary artery disease, nitric oxide and oxidative stress: the "Yin-Yang" effect--a Chinese concept for a worldwide pandemic

Prevention of coronary artery disease (CAD) and reduction of its mortality and morbidity remains a major public health challenge throughout the "Western world". Recent evidence supports the concept that the impairment of endothelial function, a hallmark of insulin resistance states, is an upstream event in the pathophysiology of insulin resistance and its main corollaries: atherosclerosis and myocardial infarction. Atherosclerosis is currently thought to be the consequence of a subtle imbalance between pro- and anti-oxidants that produces favourable conditions for lesion progression towards acute thrombotic complications and clinical events. Over the last decade, a remarkable burst of evidence has accumulated, offering the new perspective that bioavailable nitric oxide (NO) plays a pivotal role throughout the CAD-spectrum, from its genesis to the outcome after acute events. Vascular NO is a critical modulator of coronary blood flow by inhibiting smooth muscle contraction and platelet aggregation. It also acts in angiogenesis and cytoprotection. Defective endothelial nitric oxide synthase (eNOS) driven NO synthesis causes development of major cardiovascular risk factors (insulin resistance, arterial hypertension and dyslipidaemia) in mice, and characterises CAD-prone insulin-resistant humans. On the other hand, stimulation of inducible nitric oxide synthase (iNOS) and NO overproduction causes metabolic insulin resistance and characterises atherosclerosis, heart failure and cardiogenic shock in humans, suggesting a "Yin-Yang" effect of NO in the cardiovascular homeostasis. Here, we will present a concise overview of the evidence for this novel concept, providing the conceptual framework for developing a potential therapeutic strategy to prevent and treat CAD.