Related papers: TASI 2011: CalcHEP and PYTHIA Tutorials
This document describes the strategies for the development of the Pythia7 program. Both the internal and external structure of the program is discussed. Some comments on relationship to other software is given as well as some comments on…
I give a pedagogical introduction to the concepts and the tools that are necessary to study particle physics models in higher dimensions. I then give a more detailed presentation of warped compactifications and discuss their possible…
This text is a slightly edited version of lecture notes for a course I gave at ETH, during the Summer term 2001, to undergraduate Mathematics and Physics students. It covers a few selected topics from perturbation theory at an introductory…
The Scikit-HEP project is a community-driven and community-oriented effort with the aim of providing Particle Physics at large with a Python scientific toolset containing core and common tools. The project builds on five pillars that…
These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various…
The First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, was held on June 11, 2012 at the University of St Andrews in Scotland. The goal of TFPIE is to gather researchers, professors, teachers, and all…
Small-group tutoring in Computer Science (CS) is effective, but presents the challenge of providing a dedicated tutor for each group and encouraging collaboration among group members at scale. We present Pensieve Discuss, a software…
The aim of this short lecture series is to expose the students to the beautiful theory of lattices by, on one hand, demonstrating various basic ideas that appear in this theory and, on the other hand, formulating some of the celebrated…
This paper gives an overview of the Henshin solution to the Hello World case study of the Transformation Tool Contest 2011, intended to show basic language concepts and constructs.
The following is an extended version of a talk given at the Kinosaki Symposium on Algebraic Geometry in October 2011. The aim is to give an overview of product-quotient surfaces, the results that have been proven so far in collaboration…
A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.
Notes for the upcoming Workshop on Symplectic Field Theory IX, Polyfolds for SFT. These notes are essentially the first few chapters of a forthcoming book entitled "Polyfold Constructions: Tools, Techniques, and Functors"
These are notes from the 2003 C.I.M.E. summer school "symplectic 4-manifolds and algebraic surfaces". They cover the same material as the author's (by now ancient) Ph.D. thesis.
The ability to categorize problems is a measure of expertise in a domain. In order to help students learn effectively, instructors and teaching assistants (TAs) should have pedagogical content knowledge. They must be aware of the prior…
This is an informal set of lecture notes on moduli spaces of curves based on a set of lectures given at the ICTP last summer. It begins at an elementary level and discusses the genus 1 case in detail. The notes then give an informal…
This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers'…
We describe tap tips, a technique for providing touch-screen target location hints. Tap tips are lightweight in that they are non-modal, appear only when needed, require a minimal number of user gestures, and do not add to the standard…
This is a write-up of a short tutorial talk on high-intensity QED, video-presented at the 2021 annual Christmas meeting of the Central Laser Facility at Rutherford-Appleton Lab, UK. The first half consists of a largely historical…
The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a…
Talk presented at the Trieste Workshop on the Search for New Elementary Particles: Status and Prospects.