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.

Las actas con acuerdo en la Ley General Tributaria y en el Derecho Comparado

È la nostra intenzione, per mezzo di questa ricerca, effettuare uno studio metodico del procedure tributaria con gli actas con acuerdo, che costituisce una riflessione fedele delle tecniche convenzionali usate allo scopo di dare più sicurezza giurídica al contribuente ed evitare la formazione delle controversie inutili quando stabilisce la possibilità di raggiungere un accordo con la Amministrazione Finanziaria, per la indeterminatezza e la difficoltà che esistono nel sistema fiscale che ordina, per quanto l’interpretazione e l’applicazione della norma si riferisce. Per la realizzaione di questa ricerca ha usato i materiali possiedono del ambito giuridico, questo è, dottrina, giurisprudenza e il Diritto positive, tanto nazionale (spagnolo) quanto straniero, perché l’analisi interrotta di queste fonti, mette di rilievo adi atti relativi a lei actas con acuerdo, di cui la risposta non ha essere pacifica né l’uno né l’altro unanime, poichè abbiamo occasione da analizzare in questo lavoro che prova a contribuire nel minim misurato allo studio su questo tipo specifico di actas e, allo stesso tempo, per effettuare le considerazioni de lege ferenda sul relativo regime legale. Giustificato l’interesse dell’oggetto di studio e dei mezzi tematichi usare, risulta opportuno esporre dopo, il soddisfare di base che è stato seguito per l’elaborazione del lavoro, che consiste di quattro capitoli, a quale va fare il riferimento. Abbiamo considerato indovinato per cominciare, dedicare il capitolo I, titolato “Natura legale degli actas con acuerdo” all’analisi della domanda circa l’inserzione negli accordi nelle procedure fiscali, prendente como l’ipotesi di partenza la scrittura dall’articolo 88 dalla Legge dal Regime Giuridico delle Amministrazioni Pubbliche e la Procedura Amministrativa Comune, dall’applicazione ausiliaria alle procedure fiscale e da quale la possibilità è introdotta di fare gli accordi, i patti o i contratti fra l’Ammistrazione e gli amministrate che possono avere la considerazione dei rimorchi delle procedure amministrative o, a tali introduce dentro con il carattere precedente al relativo completamento, incomparabile con esso unilateralità caratteristico delle prestazioni amministrative. Anche se, dato che relativo adattato messo in funzione all’interno nell sistema fiscale, l’approvazione di una norma specifica, sarebbe consigliabile, che regola l’accordo corrispondente o l’accordo, perché solamente finora, le valutazioni specifiche sono state regolate soltanto como quale sono oggetto di analisi. Quando abbiamo fato l’esame delle caratteristiche che sono conformi la compilazione convenzizonale della procedura ed all’interno di questo primo capitolo, là sono imbarcati in il dibattito doctrinal discutibile su uno alle funzioni decisive degli actas con acuerdo, poichè è quello della sua natura legale, con l’obiettivo per incorniciarlo nella categoria di tecnica di patticio o di atto amministrativo, poiché del telaio in uno o l’altro, saranno fatti derivi il regime legale e le relative conseguenze; e così, dopo l’esame specifico di ogni delle teorie formulate, rendere specificamente la natura legale che abbiamo considerato più misura a la realtà di questa figura. D’altra parte, il secondo dei capitoli accende “La prospettiva dogmatica e costituzionale degli actas con acuerdo”, in cui ci siamo avvicinati alla compatibilità di questa figura con i principii principali del Finanziario che la costituzione spagnola allo scopo di ottenere un Sistema Finanziario del justo; e reso specifico nel principio di capacità contributiva, nel principio di uguaglianza, nel principio di legalità, nel principio di tutela giurisdizionale effetiva, nel principio di certezza e nel indisponibilità del credito tributario. L’analisi nel Diritto comparato è di base nello studio su tutta l’istituzione legale, non solo per affrontante le possibili carenze del nostro sistema fiscale, ma anche per capire la stessa realtà legale, per quel motivo, noi ha dedicato il terzo dei capitoli, “Risoluzione convenzionale delle polemiche del Finanziario nel quadro del Diritto comparato”, fare una descrizione separata del regime legale di ogni delle figure attuali dei differenti sisteme studiati; ma concentrandosi il nostro studio nella modalitá del accertamento con adesione di sistema italiano, perché gli actas con acuerdo sono basati, in grande misura, in questo modello, ragione per la quale il relativo esame concederà rilevare i problemi ed i successi principali, tanto teorico quanto pratico, che la relativa applizcazione ha causato in Italia e trasferirla all’ordenamento spagnolo. Il capitolo IV, “Regime legale degli actas con acuerdo”, costituisce il nucleo della nostra ricerca quando si avvicina l’esame della relativa portata dell’applicazione, obiettivo come tanto soggettivo, di questa categoria specifica delle Ufficio dell’Entrate, i preventivi che il legislatore depositato giù in moda da potere invitare l’attuario di controllo al contribuente per regolarizzare la sua situazione finanziaria prima dell’esistenza dei concetti legali indetermine, concretion della norma legale o della realizzazione delle misure, delle valutazioni o delle valutazioni per la determinazione dell’obbligo finanziario; così como la procedura che deve essere seguita, i requisiti richiesti per i relativo abbonamento, si sono riferiti all’autorizzazione dall’organo competente per liquidare i debiti, la costituzione della garanzia dovuta per assicurare i tutela dell credito tributario egli effetti legali derivato dalla relativa formalizzazione. Per concludere la nostra ricerca, poichè è tradizionale in questi casi, un’ultima sezione è dedicata per riunire le conclusioni principali che derivano dallo studio si sono presentate nelle pagine precedere, provante a fornire una visione globale delle domande imbarcate nel lavoro, così como dei problemi provocati e, nel relativo caso, delle soluzioni possibili.

General effective medium model for the complex permittivity extraction with an open-ended coaxial probe in presence of a multilayer material under test

The work presented in this thesis is focused on the open-ended coaxial-probe frequency-domain reflectometry technique for complex permittivity measurement at microwave frequencies of dispersive dielectric multilayer materials. An effective dielectric model is introduced and validated to extend the applicability of this technique to multilayer materials in on-line system context. In addition, the thesis presents: 1) a numerical study regarding the imperfectness of the contact at the probe-material interface, 2) a review of the available models and techniques, 3) a new classification of the extraction schemes with guidelines on how they can be used to improve the overall performance of the probe according to the problem requirements.

Cáncer y tratamiento oncológico: Representaciones sociales de la población general, el paciente oncológico y miembros del equipo de salud

Se realizaron tres estudios cualitativos que tuvieron como propósito conocer las representaciones que ha construido la población general, los pacientes oncológicos y los profesionales de la salud, sobre el cáncer, la quimioterapia y el trasplante de médula ósea y realizar un análisis sobre las semejanzas y diferencias entre ellos. Se realizó en la ciudad de Bogotá (Colombia) con 55 personas: 20 pacientes con cáncer en proceso de trasplante de médula ósea, 20 personas no diagnosticadas con cáncer y 15 personas que trabajan en la atención de pacientes con cáncer. Se realizó una entrevista en profundidad con todos los participantes y asociaciones libres, clásicas y por sustitución sobre las palabras “cáncer”, “quimioterapia” y “trasplante de médula”. Los datos conseguidos se analizaron a la luz de la Teoría de las Representaciones Sociales (TRS). El análisis de la información siguió la técnica de análisis cualitativo de contenido para encontrar significados simbólicos y construir, denominar y definir categorías. Para los tres grupos el cáncer es una enfermedad terrible, que puede llevar a la muerte. El personal de salud y la población general creen que la enfermedad genera terror, angustia y miedo. Los pacientes tienen conciencia de la gravedad y del temor consecuente por una enfermedad que lo cambia todo, produce sufrimiento, dolor, obliga a depender de alguien y puede conducir a la muerte. El personal de salud considera que los pacientes lo pueden vivir como un castigo y la población general que puede ser la consecuencia de estilos de vida poco saludables. Para todos, la quimioterapia es un tratamiento para la enfermedad, que por un lado presenta efectos colaterales difíciles y visibles y que producen sentimientos negativos de temor y de angustia y al mismo tiempo constituye una opción y posibilidad de curación. El Trasplante de Médula Ósea representa para todos una oportunidad.

Multidimensional item response theory models with general and specific latent traits for ordinal data

The aim of the thesis is to propose a Bayesian estimation through Markov chain Monte Carlo of multidimensional item response theory models for graded responses with complex structures and correlated traits. In particular, this work focuses on the multiunidimensional and the additive underlying latent structures, considering that the first one is widely used and represents a classical approach in multidimensional item response analysis, while the second one is able to reflect the complexity of real interactions between items and respondents. A simulation study is conducted to evaluate the parameter recovery for the proposed models under different conditions (sample size, test and subtest length, number of response categories, and correlation structure). The results show that the parameter recovery is particularly sensitive to the sample size, due to the model complexity and the high number of parameters to be estimated. For a sufficiently large sample size the parameters of the multiunidimensional and additive graded response models are well reproduced. The results are also affected by the trade-off between the number of items constituting the test and the number of item categories. An application of the proposed models on response data collected to investigate Romagna and San Marino residents' perceptions and attitudes towards the tourism industry is also presented.