Pattern-based segmentation of digital documents: model and implementation

This thesis proposes a new document model, according to which any document can be segmented in some independent components and transformed in a pattern-based projection, that only uses a very small set of objects and composition rules. The point is that such a normalized document expresses the same fundamental information of the original one, in a simple, clear and unambiguous way. The central part of my work consists of discussing that model, investigating how a digital document can be segmented, and how a segmented version can be used to implement advanced tools of conversion. I present seven patterns which are versatile enough to capture the most relevant documents’ structures, and whose minimality and rigour make that implementation possible. The abstract model is then instantiated into an actual markup language, called IML. IML is a general and extensible language, which basically adopts an XHTML syntax, able to capture a posteriori the only content of a digital document. It is compared with other languages and proposals, in order to clarify its role and objectives. Finally, I present some systems built upon these ideas. These applications are evaluated in terms of users’ advantages, workflow improvements and impact over the overall quality of the output. In particular, they cover heterogeneous content management processes: from web editing to collaboration (IsaWiki and WikiFactory), from e-learning (IsaLearning) to professional printing (IsaPress).

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

La trasformazione dei processi legislativi nella società dell'informazione: dall'e-Legislation all'e-Parliament

The transformation of legislative processes in the Information society: from eLegislation to eParliament This research analyzes, by means of an interdisciplinary and comparative approach, the transformation of legislative processes produced by the introduction of new ICT technologies. The use of ICT in support of parliamentary activities is concerned with efficiency of parliamentary process and aims at more transparent procedures, improved access to documents, social participation and cooperation among institutions. With ICT Parliaments are now able to improve their efficiency and optimize their business; they can advance the dialogue with their citizen both, through the real access and the effective availability of information and, through new way of participation in the democratic process. Finally, sharing information, know-out, best practices and other records, Parliaments will be able to develop new information and knowledge and to strengthen the role and power of Institutions. Only through a global vision of the full process, re-thinking and develop rules and uniform standard and so implementing the new opportunities carrying out by ICT, it will be possible to put in practice concrete eParliament results. The Research goals are at least three: 1. To Analysed the legislative process and the ICT opportunities to understand the impact of the latter on the former. In particular to check up the problems that ICT can raise in relation of the constitutional principles ensuring the process itself. 2. To realized an abstract model representing the legislative process regardless of the form of government, chambers composition, legal system, etc. 3. To suggest standard, structural, linguistic and ontological, able to implement the new opportunities of sharing, cooperation and reuse among the many and various stakeholders of the democratic/legislative view.

I diritti particolari dei soci nelle S.r.l.

Il tema oggetto della presente tesi di dottorato trae spunto dall'analisi dell'art. 2468 c.c. nel quale può dirsi contenuto il nucleo fondamentale della disciplina della partecipazione sociale. In primo luogo vi è un'analisi comparata dell'istituto in esame con quelli previsti negli altri paesi europei. Dopo una breve analisi di diritto comparato ci si è concentrati sulla legislazione italiana ed, in particolare, l'elaborato cerca di dare una risposta ai seguenti interrogativi: a) quali sono i “particolari diritti” ex art. 2468 c.c.? b) si può parlare di “categorie speciali di partecipazioni”? Con riferimento al primo interrogativo va considerato che il modello legale prevede che i diritti particolari attribuibili ai soci riguardano l’amministrazione della società o la distribuzione degli utili. Tale disciplina sussiste quando l’atto costitutivo attribuisce i particolari diritti senza disporre nulla sulla loro trasferibilità, modificabilità ed inerenza alla partecipazione sociale piuttosto che alla persona del socio. Ci si è chiesti quali siano i confini delle due categorie espressamente previste dall’art. 2468, 3 c.c. e se tale previsione sia tassativa piuttosto che esemplificativa, aprendosi quindi la strada alla libera determinabilità dei diritti sociali, alla stregua di quanto sancisce l’art. 2348, 2 c.c., in merito alle azioni “speciali”. Si giunge così alla conclusione che la previsione sia esemplificativa e che anche nelle s.r.l. le parti sono libere di attribuire ai soci diritti sociali diversi da quelli derivanti dal modello legale, nei limiti derivanti da specifiche norme imperative. Nel secondo capitolo sono stati approfonditi i principi dettati dall’art. 2468 c.c., la natura di tali "particolari diritti" ed i loro profili di qualificazione nonché le loro esplicazioni contenutistiche Nel terzo capitolo si è analizzato cosa accade ai "particolari diritti" in caso di vicende modificative. Nel quarto capitolo poi è stato affrontata la controversa questione relativa alla possibilità di creare delle “categorie di quote”.

Social inclusion of vulnerable groups through participatory and emancipatory approaches. Implementing active citizenship and socially innovative actions in the framework of civil & human rights model of disability

The research hypothesis of the thesis is that “an open participation in the co-creation of the services and environments, makes life easier for vulnerable groups”; assuming that the participatory and emancipatory approaches are processes of possible actions and changes aimed at facilitating people’s lives. The adoption of these approaches is put forward as the common denominator of social innovative practices that supporting inclusive processes allow a shift from a medical model to a civil and human rights approach to disability. The theoretical basis of this assumption finds support in many principles of Inclusive Education and the main focus of the hypothesis of research is on participation and emancipation as approaches aimed at facing emerging and existing problems related to inclusion. The framework of reference for the research is represented by the perspectives adopted by several international documents concerning policies and interventions to promote and support the leadership and participation of vulnerable groups. In the first part an in-depth analysis of the main academic publications on the central themes of the thesis has been carried out. After investigating the framework of reference, the analysis focuses on the main tools of participatory and emancipatory approaches, which are able to connect with the concepts of active citizenship and social innovation. In the second part two case studies concerning participatory and emancipatory approaches in the areas of concern are presented and analyzed as example of the improvement of inclusion, through the involvement and participation of persons with disability. The research has been developed using a holistic and interdisciplinary approach, aimed at providing a knowledge-base that fosters a shift from a situation of passivity and care towards a new scenario based on the person’s commitment in the elaboration of his/her own project of life.

Rainfall spatial predictions: a two-part model and its assessment

Spatial prediction of hourly rainfall via radar calibration is addressed. The change of support problem (COSP), arising when the spatial supports of different data sources do not coincide, is faced in a non-Gaussian setting; in fact, hourly rainfall in Emilia-Romagna region, in Italy, is characterized by abundance of zero values and right-skeweness of the distribution of positive amounts. Rain gauge direct measurements on sparsely distributed locations and hourly cumulated radar grids are provided by the ARPA-SIMC Emilia-Romagna. We propose a three-stage Bayesian hierarchical model for radar calibration, exploiting rain gauges as reference measure. Rain probability and amounts are modeled via linear relationships with radar in the log scale; spatial correlated Gaussian effects capture the residual information. We employ a probit link for rainfall probability and Gamma distribution for rainfall positive amounts; the two steps are joined via a two-part semicontinuous model. Three model specifications differently addressing COSP are presented; in particular, a stochastic weighting of all radar pixels, driven by a latent Gaussian process defined on the grid, is employed. Estimation is performed via MCMC procedures implemented in C, linked to R software. Communication and evaluation of probabilistic, point and interval predictions is investigated. A non-randomized PIT histogram is proposed for correctly assessing calibration and coverage of two-part semicontinuous models. Predictions obtained with the different model specifications are evaluated via graphical tools (Reliability Plot, Sharpness Histogram, PIT Histogram, Brier Score Plot and Quantile Decomposition Plot), proper scoring rules (Brier Score, Continuous Rank Probability Score) and consistent scoring functions (Root Mean Square Error and Mean Absolute Error addressing the predictive mean and median, respectively). Calibration is reached and the inclusion of neighbouring information slightly improves predictions. All specifications outperform a benchmark model with incorrelated effects, confirming the relevance of spatial correlation for modeling rainfall probability and accumulation.