The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system and its behavior. We briefly discuss the related work on visual programming an DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.Comment: 11 pages, 7 figures, index; extended abstract presented at VizSec'10 at http://www.vizsec2010.org/posters ; short paper accepted at PST'1

A facility to Search for Hidden Particles (SHiP) at the CERN SPS

A new general purpose fixed target facility is proposed at the CERN SPS accelerator which is aimed at exploring the domain of hidden particles and make measurements with tau neutrinos. Hidden particles are predicted by a large number of models beyond the Standard Model. The high intensity of the SPS 400~GeV beam allows probing a wide variety of models containing light long-lived exotic particles with masses below ${\cal O}$(10)~GeV/c$^2$, including very weakly interacting low-energy SUSY states. The experimental programme of the proposed facility is capable of being extended in the future, e.g. to include direct searches for Dark Matter and Lepton Flavour Violation.Comment: Technical Proposa

Jets from Massive Unstable Particles: Top-Mass Determination

We construct jet observables for energetic top quarks that can be used to determine a short distance top quark mass from reconstruction in e+ e- collisions with accuracy better than Lambda_{QCD}. Using a sequence of effective field theories we connect the production energy, mass, and top width scales, Q>> m>> Gamma, for the top jet cross section, and derive a QCD factorization theorem for the top invariant mass spectrum. Our analysis accounts for: alpha_s corrections from the production and mass scales, corrections due to constraints in defining invariant masses, non-perturbative corrections from the cross-talk between the jets, and alpha_s corrections to the Breit-Wigner line-shape. This paper mainly focuses on deriving the factorization theorem for hemisphere invariant mass distributions and other event shapes in e+e- collisions applicable at a future Linear Collider. We show that the invariant mass distribution is not a simple Breit-Wigner involving the top width. Even at leading order it is shifted and broadened by non-perturbative soft QCD effects. We predict that the invariant mass peak position increases linearly with Q/m due to these non-perturbative effects. They are encoded in terms of a universal soft function that also describes soft effects for massless dijet events. In a future paper we compute alpha_s corrections to the jet invariant mass spectrum, including a summation of large logarithms between the scales Q, m and Gamma.Comment: 54 pages, 10 figures, typos corrected, figures update

Tau spin correlations and the anomalous magnetic moment

We show that the precise determination of the Tau magnetic properties is possible in the next generation accelerators, specially at B/Flavour factories. We define spin correlation observables suitable to extract the real part of the magnetic form factor that, for the first time, will allow to test the standard model-QED predictions. In particular, the predicted QED-dependence with both the momentum transfer and the lepton mass can be precisely measured. Until now, the most stringent bounds on the $\tau$ magnetic moment $a_\tau$ come from LEP data with strong assumptions on the physics involved on the observed process. In this paper, we find three different combinations of spin correlations of the outgoing Taus that disentangle the magnetic moment form factor of the Tau lepton in the electromagnetic vertex. These combinations of asymmetries also get rid off the contributions coming from Z-mediating amplitudes to the defined correlations. Using unpolarized electron beams and an integrated luminosity of $15 \times 10^{18} b^{-1}$, the sensitivity to the $\tau$ magnetic moment form factor is of the order $10^{-6}$. This sensitivity is two orders of magnitude better than the present existing high- or low-energy bounds on the magnetic moment and would allow its actual measurement with the precision of a few per cent.Comment: 14 pages, 1 figur