Computational Particle Physics for Event Generators and Data Analysis

High-energy physics data analysis relies heavily on the comparison between experimental and simulated data as stressed lately by the Higgs search at LHC and the recent identification of a Higgs-like new boson. The first link in the full simulation chain is the event generation both for background and for expected signals. Nowadays event generators are based on the automatic computation of matrix element or amplitude for each process of interest. Moreover, recent analysis techniques based on the matrix element likelihood method assign probabilities for every event to belong to any of a given set of possible processes. This method originally used for the top mass measurement, although computing intensive, has shown its power at LHC to extract the new boson signal from the background. Serving both needs, the automatic calculation of matrix element is therefore more than ever of prime importance for particle physics. Initiated in the eighties, the techniques have matured for the lowest order calculations (tree-level), but become complex and CPU time consuming when higher order calculations involving loop diagrams are necessary like for QCD processes at LHC. New calculation techniques for next-to-leading order (NLO) have surfaced making possible the generation of processes with many final state particles (up to 6). If NLO calculations are in many cases under control, although not yet fully automatic, even higher precision calculations involving processes at 2-loops or more remain a big challenge. After a short introduction to particle physics and to the related theoretical framework, we will review some of the computing techniques that have been developed to make these calculations automatic. The main available packages and some of the most important applications for simulation and data analysis, in particular at LHC will also be summarized.Comment: 19 pages, 11 figures, Proceedings of CCP (Conference on Computational Physics) Oct. 2012, Osaka (Japan) in IOP Journal of Physics: Conference Serie

Legal knowledge-based systems: new directions in system design

This thesis examines and critiques the concept of 'legal knowledge-based’ systems. Work on legal knowledge-based systems is dominated by work in 'artificial intelligence and law’. It seeks to automate the application of law and to automate the solution of legal problems. Automation however, has proved elusive. In contrast to such automation, this thesis proposes the creation of legal knowledge-based systems based on the concept of augmentation of legal work. Focusing on systems that augment legal work opens new possibilities for system creation and use. To inform how systems might augment legal work, this thesis examines philosophy, psychology and legal theory for information they provide on how processes of legal reasoning operate. It is argued that, in contrast to conceptions of law adopted in artificial intelligence and law, 'sensemaking' provides a useful perspective with which to create systems. It is argued that visualisation, and particularly diagrams, are an important and under considered element of reasoning and that producing systems that support diagramming of processes of legal reasoning would provide useful support for legal work. This thesis reviews techniques for diagramming aspects of sensemaking. In particular this thesis examines standard methods for diagramming arguments and methods for diagramming reasoning. These techniques are applied in the diagramming of legal judgments. A review is conducted of systems that have been constructed to support the construction of diagrams of argument and reasoning. Drawing upon these examinations, this thesis highlights the necessity of appropriate representations for supporting reasoning. The literature examining diagramming for reasoning support provides little discussion of appropriate representations. This thesis examines theories of representation for insight they can provide into the design of appropriate representations. It is concluded that while the theories of representation that are examined do not determine what amounts to a good representation, guidelines for the design and choice of representations can be distilled. These guidelines cannot map the class of legal knowledge-based systems that augment legal sensemaking, they can however, be used to explore this class and to inform construction of systems

Debating Technology for Dialogical Argument:Sensemaking, Engagement and Analytics

Debating technologies, a newly emerging strand of research into computational technologies to support human debating, offer a powerful way of providing naturalistic, dialogue-based interaction with complex information spaces. The full potential of debating technologies for dialogical argument can, however, only be realized once key technical and engineering challenges are overcome, namely data structure, data availability, and interoperability between components. Our aim in this article is to show that the Argument Web, a vision for integrated, reusable, semantically rich resources connecting views, opinions, arguments, and debates online, offers a solution to these challenges. Through the use of a running example taken from the domain of citizen dialogue, we demonstrate for the first time that different Argument Web components focusing on sensemaking, engagement, and analytics can work in concert as a suite of debating technologies for rich, complex, dialogical argument

Smart automotive technology adherence to the law: (de)constructing road rules for autonomous system development, verification and safety

Driving is an intuitive task that requires skill, constant alertness and vigilance for unexpected events. The driving task also requires long concentration spans, focusing on the entire task for prolonged periods, and sophisticated negotiation skills with other road users including wild animals. Modern motor vehicles include an array of smart assistive and autonomous driving systems capable of subsuming some, most, or in limited cases, all of the driving task. Building these smart automotive systems requires software developers with highly technical software engineering skills, and now a lawyer’s in-depth knowledge of traffic legislation as well. This article presents an approach for deconstructing the complicated legalese of traffic law and representing its requirements and flow. Our approach (de)constructs road rules in legal terminology and specifies them in ‘structured English logic’ that is expressed as ‘Boolean logic’ for automation and ‘Lawmaps’ for visualization. We demonstrate an example using these tools leading to the construction and validation of a ‘Bayesian Network model’. We strongly believe these tools to be approachable by programmers and the general public, useful in development of Artificial Intelligence to underpin motor vehicle smart systems, and in validation to ensure these systems are considerate of the law when making decisions.fals

Reasoning in criminal intelligence analysis through an argumentation theory-based framework

This thesis provides an in-depth analysis of criminal intelligence analysts’ analytical reasoning process and offers an argumentation theory-based framework as a means to support that reasoning process in software applications. Researchers have extensively researched specific areas of criminal intelligence analysts’ sensemaking and reasoning processes over the decades. However, the research is fractured across different research studies and those research studies often have high-level descriptions of how criminal intelligence analysts formulate their rationale (argument). This thesis addresses this gap by offering low level descriptions on how the reasoning-formulation process takes place. It is presented as a single framework, with supporting templates, to inform the software implementation process. Knowledge from nine experienced criminal intelligence analysts from West Midlands Police and Belgium’s Local and Federal Police forces were elicited through a semi-structured interview for study 1 and the Critical Decision Method (CDM), as part of the Cognitive Task Analysis (CTA) approach, was used for study 2 and study 3. The data analysis for study 1 made use of the Qualitative Conventional Content Analysis approach. The data analysis for study 2 made use of a mixed method approach, consisting out of Qualitative Directed Content Analysis and the Emerging Theme Approach. The data analysis for study 3 made use of the Qualitative Directed Content Analysis approach. The results from the three studies along with the concepts from the existing literature informed the construction of the argumentation theory-based framework. The evaluation study for the framework’s components made use of Paper Prototype Testing as a participatory design method over an electronic medium. The low-fidelity prototype was constructed by turning the frameworks’ components into software widgets that resembled widgets on a software application’s toolbar. Eight experienced criminal intelligence analysts from West Midlands Police and Belgium’s Local and Federal Police forces took part in the evaluation study. Participants had to construct their rationale using the available components as part of a simulated robbery crime scenario, which used real anonymised crime data from West Midlands Police force. The evaluation study made use of a Likert scale questionnaire to capture the participant’s views on how the frameworks’ components aided participants with; understanding what was going on in the analysis, lines-of-enquiry and; the changes in their level of confidence pertaining to their rationale. A non-parametric, one sample z-test was used for reporting the statistical results. The significance is at 5% (α=0.05) against a median of 3 for the z-test, where μ =3 represents neutral. The participants reported a positive experience with the framework’s components and results show that the framework’s components aided them with formulating their rationale and understanding how confident they were during different phases of constructing their rationale

Automated calculation of one-loop processes within MadGolem

In the current LHC era, a vast number of models for BSM physics are being tested. For predictions accurate enough to match experimental errors, theoretical calculations have to go beyond LO estimates. However, calculating one-loop corrections in BSM models involves many new particles with specific model dependent properties. Therefore, they are done largely by hand, or in partially–automated ways. I present a fully automated tool for the calculation of generic massive one-loop Feynman diagrams with four external particles, implemented as a module within the fully automated MadGolem framework. With this one can compute the NLO–QCD corrections to generic BSM heavy resonance production processes, for example in the context of supersymmetric theories

Signals Crossing Borders: Cybernetic Words and Images and 1960s Avant-Garde Art

We hope to provide a forum for all those who believe passionately in the correlation of the arts and Art’s Imaginative integration with technology, science, architecture and our entire environment. We believe that such an integration can only be accomplished by most rigorous means: by the exercise of the highest academic standards, and when society gives to the artist its available materials, its support, and complete freedom in the pursuit of his (theartist’s) art.—David Medalla and Paul Kee..

Judges As Film Critics: New Approaches To Filmic Evidence

This Article exposes internal contradictions in case law concerning the use and admissibility of film as evidence. Based on a review of more than ninety state and federal cases dating from 1923 to the present, the Article explains how the source of these contradictions is the frequent miscategorization of film as demonstrative evidence, evidence that purports to illustrate other evidence, rather than to be directly probative of some fact at issue. The Article further demonstrates how these contradictions are based on two venerable jurisprudential anxieties. One is the concern about the growing trend toward replacing the traditional testimony of live witnesses in court with communications via video and film technology. Another anxiety is the public perception of the trial itself as undisciplined and capricious rather than as controlled and truth-establishing. The Article concludes by showing that these anxieties are not well-founded because, when filmic proffers are properly considered, they are admitted as substantive and testimonial evidence. As a result, they are (or should be) subject to hearsay rules and cross-examination and to other rules intended to safeguard the integrity of the trial. The analysis in Judges as Film Critics is a continuation of the author\u27s prior research and publications in the field of law and culture, and draws from evidentiary doctrine and legal scholarship as well as from contemporary film theory and history. This combination takes afresh look atfilmic evidentiary proffers and questions the very assumptions that govern the meaning they are said to project, in light of contemporary theory devoted to the interpretation offilm. Such an analysis reconsiders the legal categories that regulate the use offilmic evidence-such as demonstrative, substantive, and real evidence-and begins the development of a more nuanced and common sense doctrine governing the treatment and meaning offilm in the courtroom. In light of the long history of the use offilm in court and the growing use of visual media in the courtroom, it is time to make sense of the case law purporting to explain the admissibility offilmic evidence in terms of a discipline devoted to thefilm medium

The SM and NLO multileg working group: Summary report

This report summarizes the activities of the SM and NLO Multileg Working Group of the Workshop "Physics at TeV Colliders", Les Houches, France 8-26 June, 2009.Comment: 169 pages, Report of the SM and NLO Multileg Working Group for the Workshop "Physics at TeV Colliders", Les Houches, France 8-26 June, 200