Companies develop process models to explicitly describe their business operations. In the same time, business operations, business processes, must adhere to various types of compliance requirements. Regulations, e.g., Sarbanes Oxley Act of 2002, internal policies, best practices are just a few sources of compliance requirements. In some cases, non-adherence to compliance requirements makes the organization subject to legal punishment. In other cases, non-adherence to compliance leads to loss of competitive advantage and thus loss of market share. Unlike the classical domain-independent behavioral correctness of business processes, compliance requirements are domain-specific. Moreover, compliance requirements change over time. New requirements might appear due to change in laws and adoption of new policies. Compliance requirements are offered or enforced by different entities that have different objectives behind these requirements. Finally, compliance requirements might affect different aspects of business processes, e.g., control flow and data flow. As a result, it is infeasible to hard-code compliance checks in tools. Rather, a repeatable process of modeling compliance rules and checking them against business processes automatically is needed. This thesis provides a formal approach to support process design-time compliance checking. Using visual patterns, it is possible to model compliance requirements concerning control flow, data flow and conditional flow rules. Each pattern is mapped into a temporal logic formula. The thesis addresses the problem of consistency checking among various compliance requirements, as they might stem from divergent sources. Also, the thesis contributes to automatically check compliance requirements against process models using model checking. We show that extra domain knowledge, other than expressed in compliance rules, is needed to reach correct decisions. In case of violations, we are able to provide a useful feedback to the user. The feedback is in the form of parts of the process model whose execution causes the violation. In some cases, our approach is capable of providing automated remedy of the violation. / Firmen entwickeln Prozessmodelle um ihre Geschäftstätigkeit explizit zu beschreiben. Geschäftsprozesse müssen verschiedene Arten von Compliance-Anforderungen einhalten. Solche Compliance-Anforderungen entstammen einer Vielzahl von Quellen, z.B. Verordnung wie dem Sarbanes Oxley Act von 2002, interne Richtlinien und Best Practices. Die Nichteinhaltung von Compliance-Anforderungen kann zu gesetzlichen Strafen oder dem Verlust von Wettbewerbsvorteilen und somit dem Verlust von Marktanteilen führen. Im Gegensatz zum klassischen, domänen-unabhängigen Begriff der Korrektheit von Geschäftsprozessen, sind Compliance-Anforderungen domain-spezifisch und ändern sich im Laufe der Zeit. Neue Anforderungen resultieren aus neuen Gesetzen und der Einführung neuer Unternehmensrichtlinien. Aufgrund der Vielzahl der Quellen für Compliance-Anforderungen, können sie unterschiedliche Ziele verfolgen und somit widersprüchliche Aussagen treffen. Schließlich betreffen Compliance-Anforderungen verschiedene Aspekte von Geschäftsprozessen, wie Kontrollfluss- und Datenabhängigkeiten. Auf Grund dessen können Compliance-Prüfungen nicht direkt Hard-coded werden. Vielmehr ist ein Prozess der wiederholten Modellierung von Compliance-Regeln und ihrer anschließenden automatischen Prüfung gegen die Geschäftsprozesse nötig. Diese Dissertation stellt einen formalen Ansatz zur Überprüfung der Einhaltung von Compliance-Regeln während der Spezifikation von Geschäftsprozessen vor. Mit visuellen Mustern ist es möglich, Compliance-Regeln hinsichtlich Kontrollfluss- und Datenabhängigkeiten sowie bedingte Regeln zu spezifizieren. Jedes Muster wird in eine Formel der temporalen Logik abgebildet. Die Dissertation behandelt das Problem der Konsistenzprüfung zwischen verschiedenen Compliance-Anforderungen, wie sie sich aus unterschiedlichen Quellen ergeben können. Ebenfalls zeigt diese Dissertation, wie Compliance-Regeln gegen die Geschäftsprozesse automatisch mittels Model Checking geprüft werden. Es wird aufgezeigt, dass zusätzliche Domänen-Kenntnisse notwendig sind, um richtige Entscheidungen zu treffen. Der vorgestelle Ansatz ermöglicht nützliches Feedback für Modellierer im Fall eines Compliance-Verstoßes. Das Feedback wird in Form von Teilen des Prozessmodells gegeben, deren Ausführung die Verletzung verursacht. In einigen Fällen ist der vorgestellte Ansatz in der Lage, den Compliance-Verstoß automatisch zu beheben.

Pagrindinė kliūtis taikyti valstybei civilinę atsakomybę ilgą laiką buvo valstybės imuniteto (arba suvereno imuniteto, arba įstatymų leidėjo imuniteto) doktrina, kuri neleidžia taikyti valstybei deliktinės atsakomybės už viešojoje srityje atliktus veiksmus. Šis principas kildinamas iš anglų karalių teisės. Šiandien imuniteto egzistavimą bandoma teisinti valstybės turto apsaugos svarba, siekiu užtikrinti valdžių padalijimo principo veikimą, institucijos, turinčios kompetenciją nagrinėti bylas prieš valstybę (ar įstatymų leidėją), nebuvimu, adekvačių teisių gynimo būdų egzistavimu, išrinktų valdžios atstovų pozicijos stiprinimu bei tradicija. Viduramžiška imuniteto doktrina yra nesuderinama demokratinių valstybių principais, tad turi būti visiškai pašalinta. Lietuvos Teismų praktika šios doktrinos egzistavimo Lietuvoje nepripažįsta. Įstatymų leidėju paprastai laikomas subjektas, kuriam suteikta galia pareikšti galutinę ir neginčijamą valią dėl įstatymo priėmimo. Lietuvoje įstatymų leidėju laikomas Parlamentas bei Tauta. Įstatymų leidėjo kompetenciją ir diskreciją riboja Konstitucijoje nustatyti bei prisiimti tarptautiniai įsipareigojimai. Tarptautinių sutarčių pagrindu, pavyzdžiui, EŽTK, Lietuva yra įsipareigojusi užtikrinti pagrindines teises asmenims, esantiems jos jurisdikcijoje. Įstatymas, pažeidžiantis tokią tarptautinę sutartį, laikytinas neteisėtu, tačiau nacionalinė teisė jokiai institucijai nėra suteikusi kompetencijos tikrinti įstatymų atitikimą tarptautinėms... [toliau žr. visą tekstą] / A main let to apply tort liability to the state is the principle of sovereign immunity (or state immunity; or legislator immunity), derived from Medieval English law, which says that government is immune from tort liability. Today remains of sovereign immunity doctrine usually is justified by: the importance of protecting government treasuries; separation of powers; the absence of authority for suits against the government; the existence of adequate alternative remedies; strengthening the position of elected politicians; and tradition. The doctrine of immunity is inconsistent with the main principles, recognized by democratic countries, so has no place in democracy and should be repealed entirely. The legislator is a subject, who has a right to make a final and unchallenged decision in the law making process. In Lithuania there are two legislators: the Parliament (Seimas) and the Nation. Competence and discretionary powers of legislature are limited by the Constitution and obligations of the state under the international and European Community law. By international contracts, such as European Convention of Human rights, Lithuania is obliged to confer the main rights to individuals in its jurisdiction. The national law that violates such provisions must be held unlawful, but there are no national institutions that have a competence to state that violation. Individuals may get remedy only if the European Court of Human Rights states the violation; in the same judgment the Court... [to full text]

Un moment dipolaire électrique permanent (EDM) est une propriété fondamentale des systèmes simples comme par exemple l'électron, les atomes/molécules ou le neutron dont l'existence est prédite par le Modèle Standard de la physique des particules (MS) mais qui n'a pas pour l'heure jamais été observée. Cette observable violant la symétrie CP offre la possibilité de relier la physique des particules à l'énigme cosmologique fondamentale de l'asymétrie baryonique de l'Univers observée de nos jours. Produire une telle asymétrie requiert de nouvelles sources/de nouveaux mécanismes de violation de CP, hors MS, qui peuvent être sondés de façon privilégiée par les recherches d'EDM. La sensibilité des expériences EDM actuelles se trouve des ordres de grandeurs au-dessus des prédictions du secteur faible du MS. L'absence de signal, après 60 ans de quête, détermine la limite supérieure la plus forte sur la violation de CP dans le secteur fort du MS et contraint l'espace des phases des modèles de nouvelle physique. A contrario, la mesure d'un EDM non nul dans les années à venir pourra s'interpréter comme le signal d'une physique au-delà du MS évoluant à l'échelle multi-TeV. Dans cette perspective envoûtante, de nombreux nouveaux projets de mesures des EDM ont vu le jour ces dernières années et d'importants efforts sont poursuivis auprès du neutron notamment. Ce manuscrit présente la recherche de l'EDM du neutron menée auprès de l'expérience la plus sensible à ce jour basée à l'Institut Paul Scherrer en Suisse. / A permanent electric dipole moment (EDM) is a fundamental property of simple systems such as the electron, atoms/molecules or the neutron whose amplitude is expected to be non-zero within the Standard Model of particles physics (SM) but which has never been observed so far. This observable violating the CP symmetry offers the opportunity to link particle physics to the fundamental cosmological enigma of the observed baryon asymmetry of the Universe. Such an asymmetry requires new CP violation sources/mechanism beyond the SM, which can be best probed by EDM searches. The current EDM experiments sensitivity is order of magnitude above the weak SM sector predictions. Measuring a null EDM, after a 60 years quest, set the strongest upper limit on the CP violation in the strong SM sector and constrains the new physics models phase space. On the contrary, measuring a non-zero EDM in the coming years can be understood as a signal from physics beyond the SM evolving at a multi-TeV scale. In this haunting perspective, many new EDM projects raised in the last years and important efforts are pursued near the neutron in particular. This manuscript present the neutron EDM search near the most sensitive experiment running at the Paul Scherrer Institute in Switzerland.

Un point crucial pour l'avenir de la Physique de Particules est représenté par la mesure de la masse et des paramètres qui gouvernent l'oscillation du neutrino, qui représentent la preuve de Physique au-delà du Model Standard. Depuis 2011, la valeur élevée de l'angle de mélange θ13 a ouvert la voie à l'étude sur la violation de symétrie CP dans le secteur de neutrinos. La nouvelle d'expérience DUNE (Deep Underground Neutrino Experiment) a un potentiel sans précédent pour effectuer une mesure très précise des paramètres d'oscillation de neutrinos. Les grands détecteurs souterrains nécessaires pour ces mesures sont également un milieu idéal pour la recherche sur la désintégration du proton et sur la détection de neutrinos provenant des supernovæ.Les détecteurs utilisés pour ces expériences sont des Chambres à Projection Temporelle (TPC) dont la cible, très massive, est constituée d'Argon liquide. Ce type de détecteur fournit une très bonne résolution de l'image reconstruite, une excellente résolution en énergie et la possibilité d'identifier les particules. Les interactions de neutrino produisent des particules secondaires qui ionisent l'Argon liquide. Les électrons produits par ionisation dérivent sur de longues distances, sous l'effet d'un champ électrique uniforme, jusqu'à rejoindre l‘anode, équipé pour la détection de la charge. Un signal électrique est alors produit et est utilisé pour la reconstruction 3D de l'interaction primaire. La TPC en double phase liquide-gaz permet l'amplification du signal d'ionisation par des avalanches qui se produisent dans la phase gazeuse, au-dessus du niveau de l'Argon liquide. Cette technique améliore les performances de TPC en augmentant son rapport signal-bruit.Le sujet de cette thèse est la reconstruction et l'analyse de la charge de ionisation dans une TPC à Argon liquide : la mesure de la charge déposée par ionisation fournit des informations sur l'énergie cinétique des particules chargées secondaires produites lors de l'interaction de neutrino. De cette manière, il est possible de reconstruire l'énergie du neutrino entrant, de reconnaître et d'exclure les gerbes électromagnétiques produites par la désintégration du π0, puis d'effectuer l'indentification des particules à partir de la mesure des pertes d'énergie par ionisation.La mesure de l'ionisation implique une connaissance approfondie de la réponse du détecteur et de l'algorithme de reconstruction. Afin d'atteindre cette connaissance nous avons effectué une analyse détaillée des pertes d'énergie simulée en étudiant les divergences entre les connaissances théoriques et la simulation. Ensuite, la simulation de la réponse du détecteur a été étudiée, en examinant les effets qui se produisent au cours de la dérive des charges et les effets liés à la réponse de l'instrumentation électronique. Ces effets systématiques qui affectent l'exactitude de l'algorithme de reconstruction sont alors caractérisés par rapport à la génération de Monte-Carlo.Par la suite, nous montrons comment il est possible d'effectuer la rejection du π0 en étudiant les pertes d'énergie. En mesurant les pertes par ionisation au début d'une gerbe électromagnétique, il est possible de comprendre si elle a été produite par un électron ou par un photon. Cela permet d'exclure le bruit dans la détection des produits d'interaction du neutrino électronique fondamental pour la recherche de la violation de CP.Par l'échantillonnage de la trajectoire d'une particule chargée et en mesurant ses pertes d'énergie, il est possible d'identifier sa nature. Une TPC à Argon liquide est également un milieu idéal pour la recherche de la désintégration du proton, en particulier en regardant certaines chaînes de désintégration exclusives, comme p  K + ν. Dans cette thèse, nous montrons ainsi comment il est possible d'identifier des particules à partir de la mesure des pertes d'énergie, et plus abordons plus précisément l'identification des kaons chargés / This is an important period for High Energy Physics: many recent results, including the Higgs discovery and its characterization, confirm the Standard Model. A crucial point for the future of Particle Physics is the study of neutrino masses and mixing representing the first established evidence of physics beyond the SM. Since 2011, the large value of the ?13 mixing angle opened the way to the investigation of CP violation in the neutrino sector. A next generation long baseline neutrino experiment (DUNE) has unprecedented potential to precisely measure the neutrino oscillation parameters, determine the neutrino mass hierarchy and has a very good chance to discover evidence for CP violation in the leptonic sector. The large underground neutrino detectors needed for this task will also address the search for proton decay and the observation of supernovae neutrinos. Giant Liquid Argon Time Projection Chambers (LAr TPCs) will be employed as neutrino targets and detectors. They provide bubble-chamber quality imaging coupled to excellent energy resolution and particles identification capabilities. Neutrino interactions produce secondary particles, which ionize the liquid argon. The ionization electrons drift for long distances along a uniform electric field until they reach finely segmented and instrumented anodes, producing electrical signals that are used for 3D imaging and analysis of the primary interactions. The dual-phase readout technique foresees the amplification of the ionization signal in avalanches occurring in the gas phase above the liquid argon level. This technique further enhances the performance of the LAr TPC by increasing its signal to noise ratio. The subject of thesis is the ionization charge reconstruction and analysis in the dual-phase LAr TPC: the ionization charges measurement provides information about the kinetic energy of secondary charged particles produced in neutrino interactions. In this way, it is possible to reconstruct the incoming neutrino energy, identify and reject electromagnetic shower generated by photons from pi0 decay and perform particles identification from the measurement of the specific ionization losses.The measurement of the ionization implies a detailed knowledge of the detector response and of the reconstruction algorithm. In order to achieve this knowledge a detailed analysis of the simulated energy losses has been performed by studying the differences between the theoretical knowledge and the simulation

No description available.

Les travaux de recherche présentés dans cette thèse étudient la vitesse des neutrinos mesurée par l’expérience OPERA sur le faisceau CNGS au CERN. Divers modèles théoriques de gravité quantique et d’extra-dimensions prévoient des effets importants sur la violation de la conservation de Lorentz qui serait observable par la mesure de la vitesse des neutrinos. L’expérience MINOS a publié en 2007 une mesure de la vitesse des neutrinos muoniques sur une distance de 730 km avec un écart par rapport à celui de la lumière de 126 ns avec une erreur statistique de 32 ns et une erreur systématique de 64 ns. L’expérience OPERA détecte également des neutrinos muoniques ayant parcourut 730 km avec une sensibilité significativement meilleure que MINOS grâce à une statistique plus élevée due à l’énergie plus élevée du faisceau et à le système de synchronisation entre OPERA et le faisceau CNGS beaucoup plus sophistiquée et modifié dans le but de réduire l’erreur systématique. Ce système est composé par des horloges au césium et de récepteurs GPS spéciaux fonctionnant en common view mode. Le tout permet un time transfer entre les deux sites précis à l’ordre de 1 ns. Un système d’échantillonnage à 1 GHz (fast waveform digitizer) capable de reconstruire la distribution temporelle des protons envoyés sur la cible du CNGS a été intégré au système existant de mesure du faisceau CNGS. Le résultat consiste en la mesure de la vitesse des neutrinos produits artificiellement avec la précision la plus élevée jamais atteinte: le temps de vol des neutrinos a été déterminé avec une incertitude statistique d’environ 10 ns et une incertitude systématique plus petite de 20 ns. / The thesis concerns the measurement of the neutrino velocity with the OPERA experiment in the CNGS beam. There are different theoretical models that allow for Lorentz violating effects which can be investigated with measurements on terrestrial neutrino beams. The MINOS experiment published in 2007 a measure on the muon neutrinos over a distance of 730 km finding a deviation with respect to the expected time of flight of 126 ns with a statistical error of 32 ns and a systematic error of 64 ns. The OPERA experiment observes as well muon neutrinos 730 km away from the source, with a sensitivity significantly better than MINOS thanks to the higher number of interactions in the detector due to the higher energy beam and the much more sophisticated timing system explicitly upgraded in view of the neutrino velocity measurement. This system is composed by atomic cesium clocks and GPS receivers operating in “common view mode”. Thanks to this system a time-transfer between the two sites with a precision at the level of 1 ns is possible. Moreover, a Fast Waveform Digitizer was installed along the proton beam line at CERN in order to measure the internal time structure of the proton pulses that are sent to the CNGS target. The result on the neutrino velocity is the most precise measurement so far with terrestrial neutrino beams: the neutrino time of flight was determined with a statistical uncertainty of about 10 ns and a systematic uncertainty smaller than 20 ns.

Ce document de thèse décrit la recherche des désintégrations en trois corps des mésons beaux neutres qui contiennent un KS ou un pi 0 dans l'état final. Ces événements sont reconstruits au moyen du spectromètre LHCb installé auprès du collisionneur proton-proton LHC, sis au Cern à Genève. La phénoménologie des ces modes est riche et couvre la possibilité de mesurer tous les angles du triangle d'Unitarité de la matrice Cabibbo-Kobayashi-Maskawa (CKM) qui décrit les amplitudes de transition par courant chargé faible entre quarks. Une illustration portant sur la mesure de l'angle gamma est développée dans ce document plus en détail. L'accélérateur LHC et les éléments utiles du spectromètre LHCb sont rapportés en mettant l'accent sur le travail conduit au cours de cette thèse sur l'étalonnage et l'alignement du détecteur de pieds de gerbe du calorimètre électromagnétique. Nous avons construit une méthode de calibration du détecteur au moyen de particules qui le traversent au minimum d'ionisation. Les résultats et les performances de ces calibrations sont discutées. Une méthode de discrimination des pi 0 et des photons de haute énergie est présentée, bénéficiant des mesures des caractéristiques des cascades électromagnétiques dans le PreShower et le calorimètre. Ces informations sont combinées dans une analyse multivariable. La stratégie de contrôle des performances du discriminateur directement à partir des données est discutée et cet outil est appliqué à la recherche des états finals B to hh pi 0. Une recherche similaire des modes de désintégration B{d,s} to KShh, où h peut être un pion ou un kaon chargé a été conduite. Ce mode de désintégration permet de mesurer la phase faible du mélange des mésons Bd ou Bs et la comparaison de ces déterminations avec celles extraites des modes charmonia peut permettre de mettre en évidence une phase faible au-delà du Modèle Standard dans l'amplitude de désintégration. La première étape de cette analyse consiste à établir les signaux des modes non encore observés B{s} to KShh. Ce travail exploratoire présente la première observation du mode B{s} to KSK pi. / This thesis describes an exploratory work on three-body charmless neutral $B$ mesons decays containing either a $K_S$ or a $\pi^0$. The events are reconstructed with the LHCb spectrometer installed at Cern (Geneva, CH) recording the proton-proton collisions delivered by the Large Hadron Collider (LHC). The phenomenology of such modes is rich and covers the possibility to measure all angles of the unitarity triangle linked to the Cabibbo-Kobayashi-Maskawa (CKM) matrix. The single example of the $\gamma$ measurement is explored in this document. The LHC accelerator and the most relevant sub-detector elements of the LHCb spectrometer are described in details. In particular, emphasis is given to the calorimetry system for which the calibration and alignment of the PreShower (PRS) of the electromagnetic calorimeter has been performed. We used particles at minimum ionisation deposit for such a task. The calibration results until year 2011 are reported as well as the method of the PS alignment with respect to the tracking system of the spectrometer. A method to discriminate high energy $\pi^0$ and photon is introduced, based on electromagnetic cascade information combined into a multivariate analysis. The strategy to evaluate the performance is given and the tool is applied to the exploratory search of $B \to hh\pi^0$ final states. Additionally, we conducted a similar search for the modes $B_{d,s} \to K_Shh$, where $h$ can be either a charged kaon or a pion. The physics reach of such modes lies in the possibility of measuring the $\beta$ and $\beta_s$ CKM angles to be compared to their charmonia extraction. Differences in between these two determinations can be the sign of New Physics. The first step of this search is to establish the unobserved modes $B_{s} \to K_Shh$. We report in a fifth of the data 2011 statistics the first observation of the decay channel $B_{s} \to K_SK\pi$.

This study is premised on the assumption that foregrounding is the dominant feature of poetry. Such an assumption informs this study to the extent that it examines the role of foregrounding in isiXhosa modem poetry. Foregrounding, as an unusual or deviant usage of language, manifests itself as: metaphorical language, foregrounded sound, syntactic foregrounding and the variation of rhythmico-metrical structure. These are called foregrounding techniques. However, this study deals only with the first three foregrounding techniques. Qangule's poetry furnishes this study with examples that are used to illustrate that foregrounding plays a significant role in isiXhosa modem poetry. The foregrounding techniques depict, illustrate, dramatize and suggest the meaning of a poem. They also have the ability to do that in a collaborative manner. Such a claim is evidenced by the comprehensive analysis and interpretation of the poem Ukubonga (To praise). / African Languages / M.A. (African Languages)

This thesis documents studies of CP violation in B^± to [K_S⁰h⁺h⁻]_DK^±, (h = π/K) decays using data taken by the LHCb experiment during 2011, and the first measurement of γ to be made at the Large Hadron Collider (LHC), γ = (45+43-38) degrees. Also included is a study of D⁰ to K_S⁰K^∓π^± decays using CLEO III and CLEO-c data, resulting in the first amplitude models to be published for these decays and a measurement of the ratio of their branching fractions.

LHCb est l'une des quatre grandes expériences installées sur l'anneau du LHC. Le détecteur a pour but la mesure précise de la violation de CP et de canaux rares de désintégration dans le secteur des mésons B. Le calorimètre de l'expérience est un ensemble de quatre sous-systèmes : le détecteur de pied de gerbe, le ''preshower'' et les calorimètres électromagnétique (ECAL) et hadronique (HCAL). Il est essentiel pour la reconstruction des événements, pour le déclenchement de l'expérience et pour l'identification des électrons et des photons. Après une revue du détecteur LHCb, l'électronique des calorimètres est décrite dans la première partie de ce mémoire. Dans un premier temps l'électronique de lecture des voies des photomultiplicateurs des ECAL et HCAL est présentée en mettant l'accent sur ses performances, puis la carte de contrôle de l'ensemble du système calorimétrique de l'expérience est détaillée. Les chapitres trois et quatre concernent les programmes de test de cette électronique, les choix technologiques permettant de la rendre suffisamment tolérante aux radiations et les mesures quantifiant cette tolérance. La seconde partie de ce mémoire porte d'abord sur l'identification des photons avec les calorimètres de LHCb. La méthode est présentée avec ses performances. Enfin, l'étalonnage absolu en énergie des PRS et ECAL, basée sur les données enregistrées avec le détecteur en 2010, est décrite dans le dernier chapitre de cette même seconde partie.