-
Learn2Trust: A video and streamlit-based educational programme for AI-based medical image analysis targeted towards medical students
Authors:
Hanna Siebert,
Marian Himstedt,
Mattias Heinrich
Abstract:
In order to be able to use artificial intelligence (AI) in medicine without scepticism and to recognise and assess its growing potential, a basic understanding of this topic is necessary among current and future medical staff. Under the premise of "trust through understanding", we developed an innovative online course as a learning opportunity within the framework of the German KI Campus (AI campu…
▽ More
In order to be able to use artificial intelligence (AI) in medicine without scepticism and to recognise and assess its growing potential, a basic understanding of this topic is necessary among current and future medical staff. Under the premise of "trust through understanding", we developed an innovative online course as a learning opportunity within the framework of the German KI Campus (AI campus) project, which is a self-guided course that teaches the basics of AI for the analysis of medical image data. The main goal is to provide a learning environment for a sufficient understanding of AI in medical image analysis so that further interest in this topic is stimulated and inhibitions towards its use can be overcome by means of positive application experience. The focus was on medical applications and the fundamentals of machine learning. The online course was divided into consecutive lessons, which include theory in the form of explanatory videos, practical exercises in the form of Streamlit and practical exercises and/or quizzes to check learning progress. A survey among the participating medical students in the first run of the course was used to analyse our research hypotheses quantitatively.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
Node and edge control strategy identification via trap spaces in Boolean networks
Authors:
Laura Cifuentes-Fontanals,
Elisa Tonello,
Heike Siebert
Abstract:
The study of control mechanisms of biological systems allows for interesting applications in bioengineering and medicine, for instance in cell reprogramming or drug target identification. A control strategy often consists of a set of interventions that, by fixing the values of some components, ensure that the long term dynamics of the controlled system is in a desired state. A common approach to c…
▽ More
The study of control mechanisms of biological systems allows for interesting applications in bioengineering and medicine, for instance in cell reprogramming or drug target identification. A control strategy often consists of a set of interventions that, by fixing the values of some components, ensure that the long term dynamics of the controlled system is in a desired state. A common approach to control in the Boolean framework consists in checking how the fixed values propagate through the network, to establish whether the effect of percolating the interventions is sufficient to induce the target state. Although methods based uniquely on value percolation allow for efficient computation, they can miss many control strategies. Exhaustive methods for control strategy identification, on the other hand, often entail high computational costs. In order to increase the number of control strategies identified while still benefiting from an efficient implementation, we introduce a method based on value percolation that uses trap spaces, subspaces of the state space that are closed with respect to the dynamics, and that can usually be easily computed in biological networks. The approach allows for node interventions, which fix the value of certain components, and edge interventions, which fix the effect that one component has on another. The method is implemented using Answer Set Programming, extending an existing efficient implementation of value percolation to allow for the use of trap spaces and edge control. The applicability of the approach is studied for different control targets in a biological case study, identifying in all cases new control strategies that would escape usual percolation-based methods.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Control in Boolean networks with model checking
Authors:
Laura Cifuentes-Fontanals,
Elisa Tonello,
Heike Siebert
Abstract:
Understanding control mechanisms in biological systems plays a crucial role in important applications, for instance in cell reprogramming. Boolean modeling allows the identification of possible efficient strategies, helping to reduce the usually high and time-consuming experimental efforts. Available approaches to control strategy identification usually focus either on attractor or phenotype contr…
▽ More
Understanding control mechanisms in biological systems plays a crucial role in important applications, for instance in cell reprogramming. Boolean modeling allows the identification of possible efficient strategies, helping to reduce the usually high and time-consuming experimental efforts. Available approaches to control strategy identification usually focus either on attractor or phenotype control, and are unable to deal with more complex control problems, for instance phenotype avoidance. They also fail to capture, in many situations, all possible minimal strategies, finding instead only sub-optimal solutions. In order to fill these gaps, we present a novel approach to control strategy identification in Boolean networks based on model checking. The method is guaranteed to identify all minimal control strategies, and provides maximal flexibility in the definition of the control target. We investigate the applicability of the approach by considering a range of control problems for different biological systems, comparing the results, where possible, to those obtained by alternative control methods.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
The Brain Tumor Sequence Registration (BraTS-Reg) Challenge: Establishing Correspondence Between Pre-Operative and Follow-up MRI Scans of Diffuse Glioma Patients
Authors:
Bhakti Baheti,
Satrajit Chakrabarty,
Hamed Akbari,
Michel Bilello,
Benedikt Wiestler,
Julian Schwarting,
Evan Calabrese,
Jeffrey Rudie,
Syed Abidi,
Mina Mousa,
Javier Villanueva-Meyer,
Brandon K. K. Fields,
Florian Kofler,
Russell Takeshi Shinohara,
Juan Eugenio Iglesias,
Tony C. W. Mok,
Albert C. S. Chung,
Marek Wodzinski,
Artur Jurgas,
Niccolo Marini,
Manfredo Atzori,
Henning Muller,
Christoph Grobroehmer,
Hanna Siebert,
Lasse Hansen
, et al. (48 additional authors not shown)
Abstract:
Registration of longitudinal brain MRI scans containing pathologies is challenging due to dramatic changes in tissue appearance. Although there has been progress in developing general-purpose medical image registration techniques, they have not yet attained the requisite precision and reliability for this task, highlighting its inherent complexity. Here we describe the Brain Tumor Sequence Registr…
▽ More
Registration of longitudinal brain MRI scans containing pathologies is challenging due to dramatic changes in tissue appearance. Although there has been progress in developing general-purpose medical image registration techniques, they have not yet attained the requisite precision and reliability for this task, highlighting its inherent complexity. Here we describe the Brain Tumor Sequence Registration (BraTS-Reg) challenge, as the first public benchmark environment for deformable registration algorithms focusing on estimating correspondences between pre-operative and follow-up scans of the same patient diagnosed with a diffuse brain glioma. The BraTS-Reg data comprise de-identified multi-institutional multi-parametric MRI (mpMRI) scans, curated for size and resolution according to a canonical anatomical template, and divided into training, validation, and testing sets. Clinical experts annotated ground truth (GT) landmark points of anatomical locations distinct across the temporal domain. Quantitative evaluation and ranking were based on the Median Euclidean Error (MEE), Robustness, and the determinant of the Jacobian of the displacement field. The top-ranked methodologies yielded similar performance across all evaluation metrics and shared several methodological commonalities, including pre-alignment, deep neural networks, inverse consistency analysis, and test-time instance optimization per-case basis as a post-processing step. The top-ranked method attained the MEE at or below that of the inter-rater variability for approximately 60% of the evaluated landmarks, underscoring the scope for further accuracy and robustness improvements, especially relative to human experts. The aim of BraTS-Reg is to continue to serve as an active resource for research, with the data and online evaluation tools accessible at https://bratsreg.github.io/.
△ Less
Submitted 17 April, 2024; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning
Authors:
Alessa Hering,
Lasse Hansen,
Tony C. W. Mok,
Albert C. S. Chung,
Hanna Siebert,
Stephanie Häger,
Annkristin Lange,
Sven Kuckertz,
Stefan Heldmann,
Wei Shao,
Sulaiman Vesal,
Mirabela Rusu,
Geoffrey Sonn,
Théo Estienne,
Maria Vakalopoulou,
Luyi Han,
Yunzhi Huang,
Pew-Thian Yap,
Mikael Brudfors,
Yaël Balbastre,
Samuel Joutard,
Marc Modat,
Gal Lifshitz,
Dan Raviv,
Jinxin Lv
, et al. (28 additional authors not shown)
Abstract:
Image registration is a fundamental medical image analysis task, and a wide variety of approaches have been proposed. However, only a few studies have comprehensively compared medical image registration approaches on a wide range of clinically relevant tasks. This limits the development of registration methods, the adoption of research advances into practice, and a fair benchmark across competing…
▽ More
Image registration is a fundamental medical image analysis task, and a wide variety of approaches have been proposed. However, only a few studies have comprehensively compared medical image registration approaches on a wide range of clinically relevant tasks. This limits the development of registration methods, the adoption of research advances into practice, and a fair benchmark across competing approaches. The Learn2Reg challenge addresses these limitations by providing a multi-task medical image registration data set for comprehensive characterisation of deformable registration algorithms. A continuous evaluation will be possible at https://learn2reg.grand-challenge.org. Learn2Reg covers a wide range of anatomies (brain, abdomen, and thorax), modalities (ultrasound, CT, MR), availability of annotations, as well as intra- and inter-patient registration evaluation. We established an easily accessible framework for training and validation of 3D registration methods, which enabled the compilation of results of over 65 individual method submissions from more than 20 unique teams. We used a complementary set of metrics, including robustness, accuracy, plausibility, and runtime, enabling unique insight into the current state-of-the-art of medical image registration. This paper describes datasets, tasks, evaluation methods and results of the challenge, as well as results of further analysis of transferability to new datasets, the importance of label supervision, and resulting bias. While no single approach worked best across all tasks, many methodological aspects could be identified that push the performance of medical image registration to new state-of-the-art performance. Furthermore, we demystified the common belief that conventional registration methods have to be much slower than deep-learning-based methods.
△ Less
Submitted 7 October, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Fast 3D registration with accurate optimisation and little learning for Learn2Reg 2021
Authors:
Hanna Siebert,
Lasse Hansen,
Mattias P. Heinrich
Abstract:
Current approaches for deformable medical image registration often struggle to fulfill all of the following criteria: versatile applicability, small computation or training times, and the being able to estimate large deformations. Furthermore, end-to-end networks for supervised training of registration often become overly complex and difficult to train. For the Learn2Reg2021 challenge, we aim to a…
▽ More
Current approaches for deformable medical image registration often struggle to fulfill all of the following criteria: versatile applicability, small computation or training times, and the being able to estimate large deformations. Furthermore, end-to-end networks for supervised training of registration often become overly complex and difficult to train. For the Learn2Reg2021 challenge, we aim to address these issues by decoupling feature learning and geometric alignment. First, we introduce a new very fast and accurate optimisation method. By using discretised displacements and a coupled convex optimisation procedure, we are able to robustly cope with large deformations. With the help of an Adam-based instance optimisation, we achieve very accurate registration performances and by using regularisation, we obtain smooth and plausible deformation fields. Second, to be versatile for different registration tasks, we extract hand-crafted features that are modality and contrast invariant and complement them with semantic features from a task-specific segmentation U-Net. With our results we were able to achieve the overall Learn2Reg2021 challenge's second place, winning Task 1 and being second and third in the other two tasks.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Classifier construction in Boolean networks using algebraic methods
Authors:
Robert Schwieger,
Matías R. Bender,
Heike Siebert,
Christian Haase
Abstract:
We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs are one of the most interesting features for application. Large models can possess many steady states. In the typical scenario motivating this paper we start fro…
▽ More
We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs are one of the most interesting features for application. Large models can possess many steady states. In the typical scenario motivating this paper we start from a Boolean model with a given classification of the state space into phenotypes defined by high-level readout components. In order to link molecular biomarkers with experimental design, we search for alternative components suitable for the given classification task. This is useful for modelers of regulatory networks for suggesting experiments and measurements based on their models. It can also help to explain causal relations between components and phenotypes. To tackle this problem we need to use the structure of the BN and the constraints. This calls for an algebraic approach. Indeed we demonstrate that this problem can be reformulated into the language of algebraic geometry. While already interesting in itself, this allows us to use Groebner bases to construct an algorithm for finding such classifiers. We demonstrate the usefulness of this algorithm as a proof of concept on a model with 25 components.
△ Less
Submitted 19 August, 2021;
originally announced August 2021.
-
Control Strategy Identification via Trap Spaces in Boolean Networks
Authors:
Laura Cifuentes Fontanals,
Elisa Tonello,
Heike Siebert
Abstract:
The control of biological systems presents interesting applications such as cell reprogramming or drug target identification. A common type of control strategy consists in a set of interventions that, by fixing the values of some variables, force the system to evolve to a desired state. This work presents a new approach for finding control strategies in biological systems modeled by Boolean networ…
▽ More
The control of biological systems presents interesting applications such as cell reprogramming or drug target identification. A common type of control strategy consists in a set of interventions that, by fixing the values of some variables, force the system to evolve to a desired state. This work presents a new approach for finding control strategies in biological systems modeled by Boolean networks. In this context, we explore the properties of trap spaces, subspaces of the state space which the dynamics cannot leave. Trap spaces for biological networks can often be efficiently computed, and provide useful approximations of attraction basins. Our approach provides control strategies for a target phenotype that are based on interventions that allow the control to be eventually released. Moreover, our method can incorporate information about the attractors to find new control strategies that would escape usual percolation-based methods. We show the applicability of our approach to two cell fate decision models.
△ Less
Submitted 19 May, 2020;
originally announced May 2020.
-
Boolean analysis of lateral inhibition
Authors:
Elisa Tonello,
Heike Siebert
Abstract:
We study Boolean networks which are simple spatial models of the highly conserved Delta-Notch system. The models assume the inhibition of Delta in each cell by Notch in the same cell, and the activation of Notch in presence of Delta in surrounding cells. We consider fully asynchronous dynamics over undirected graphs representing the neighbour relation between cells. In this framework, one can show…
▽ More
We study Boolean networks which are simple spatial models of the highly conserved Delta-Notch system. The models assume the inhibition of Delta in each cell by Notch in the same cell, and the activation of Notch in presence of Delta in surrounding cells. We consider fully asynchronous dynamics over undirected graphs representing the neighbour relation between cells. In this framework, one can show that all attractors are fixed points for the system, independently of the neighbour relation, for instance by using known properties of simplified versions of the models, where only one species per cell is defined. The fixed points correspond to the so-called fine-grained "patterns" that emerge in discrete and continuous modelling of lateral inhibition. We study the reachability of fixed points, giving a characterisation of the trap spaces and the basins of attraction for both the full and the simplified models. In addition, we use a characterisation of the trap spaces to investigate the robustness of patterns to perturbations. The results of this qualitative analysis can complement and guide simulation-based approaches, and serve as a basis for the investigation of more complex mechanisms.
△ Less
Submitted 30 July, 2020; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Representing Model Ensembles as Boolean Functions
Authors:
Robert Schwieger,
Heike Siebert
Abstract:
Families of ODE models characterized by a common sign structure of their Jacobi matrix are investigated within the formalism of qualitative differential equations. In the context of regulatory networks the sign structure of the Jacobi matrix carries the information about which components of the network inhibit or activate each other. Information about constraints on the behavior of models in this…
▽ More
Families of ODE models characterized by a common sign structure of their Jacobi matrix are investigated within the formalism of qualitative differential equations. In the context of regulatory networks the sign structure of the Jacobi matrix carries the information about which components of the network inhibit or activate each other. Information about constraints on the behavior of models in this family is stored in a so called qualitative state transition graph. We showed previously that a similar approach can be used to analyze a model pool of Boolean functions characterized by a common interaction graph. Here we show that the opposite approach is fruitful as well. We show that the qualitative state transition graph can be reduced to a "skeleton" represented by a Boolean function conserving the reachability properties. This reduction has the advantage that approaches such as model checking and network inference methods can be applied to the "skeleton" within the framework of Boolean networks. Furthermore, our work constitutes an alternative to approach to link Boolean networks and differential equations.
△ Less
Submitted 2 August, 2018;
originally announced August 2018.
-
Basins of Attraction, Commitment Sets and Phenotypes of Boolean Networks
Authors:
Hannes Klarner,
Frederike Heinitz,
Sarah Nee,
Heike Siebert
Abstract:
The attractors of Boolean networks and their basins have been shown to be highly relevant for model validation and predictive modelling, e.g., in systems biology. Yet there are currently very few tools available that are able to compute and visualise not only attractors but also their basins. In the realm of asynchronous, non-deterministic modeling not only is the repertoire of software even more…
▽ More
The attractors of Boolean networks and their basins have been shown to be highly relevant for model validation and predictive modelling, e.g., in systems biology. Yet there are currently very few tools available that are able to compute and visualise not only attractors but also their basins. In the realm of asynchronous, non-deterministic modeling not only is the repertoire of software even more limited, but also the formal notions for basins of attraction are often lacking. In this setting, the difficulty both for theory and computation arises from the fact that states may be ele- ments of several distinct basins. In this paper we address this topic by partitioning the state space into sets that are committed to the same attractors. These commitment sets can easily be generalised to sets that are equivalent w.r.t. the long-term behaviours of pre-selected nodes which leads us to the notions of markers and phenotypes which we illustrate in a case study on bladder tumorigenesis. For every concept we propose equivalent CTL model checking queries and an extension of the state of the art model checking software NuSMV is made available that is capa- ble of computing the respective sets. All notions are fully integrated as three new modules in our Python package PyBoolNet, including functions for visualising the basins, commitment sets and phenotypes as quotient graphs and pie charts.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Computing Maximal and Minimal Trap Spaces of Boolean Networks
Authors:
Hannes Klarner,
Alexander Bockmayr,
Heike Siebert
Abstract:
Asymptotic behaviors are often of particular interest when analyzing Boolean networks that represent biological systems such as signal trans- duction or gene regulatory networks. Methods based on a generalization of the steady state notion, the so-called trap spaces, can be exploited to investigate attractor properties as well as for model reduction techniques. In this paper, we propose a novel op…
▽ More
Asymptotic behaviors are often of particular interest when analyzing Boolean networks that represent biological systems such as signal trans- duction or gene regulatory networks. Methods based on a generalization of the steady state notion, the so-called trap spaces, can be exploited to investigate attractor properties as well as for model reduction techniques. In this paper, we propose a novel optimization-based method for com- puting all minimal and maximal trap spaces and motivate their use. In particular, we add a new result yielding a lower bound for the number of cyclic attractors and illustrate the methods with a study of a MAPK pathway model. To test the efficiency and scalability of the method, we compare the performance of the ILP solver gurobi with the ASP solver potassco in a benchmark of random networks.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Minimization and Equivalence in Multi-valued Logical Models of Regulatory Networks
Authors:
Adam Streck,
Therese Lorenz,
Heike Siebert
Abstract:
Multi-valued logical models can be used to describe biological networks on a high level of abstraction based on the network structure and logical parameters capturing regulatory effects. Interestingly, the dynamics of two distinct models need not necessarily be different, which might hint at either only non-functional characteristics distinguishing the models or at different possible implementatio…
▽ More
Multi-valued logical models can be used to describe biological networks on a high level of abstraction based on the network structure and logical parameters capturing regulatory effects. Interestingly, the dynamics of two distinct models need not necessarily be different, which might hint at either only non-functional characteristics distinguishing the models or at different possible implementations for the same behaviour. Here, we study the conditions allowing for such effects by analysing classes of dynamically equivalent models and both structurally maximal and minimal representatives of such classes. Finally, we present an efficient algorithm that constructs a minimal representative of the respective class of a given multi-valued model.
△ Less
Submitted 27 January, 2016; v1 submitted 23 September, 2015;
originally announced September 2015.
-
First Measurement of Chiral Dynamics in π^- γ-> π^- π^- π^+
Authors:
M. G. Alekseev,
V. Yu. Alexakhin,
Yu. Alexandrov,
G. D. Alexeev,
A. Amoroso,
A. Austregesilo,
B. Badelek,
F. Balestra,
J. Barth,
G. Baum,
Y. Bedfer,
J. Bernhard,
R. Bertini,
M. Bettinelli,
K. Bicker,
R. Birsa,
J. Bisplinghoff,
P. Bordalo,
F. Bradamante,
A. Bravar,
A. Bressan,
E. Burtin,
D. Chaberny,
M. Chiosso,
S. U. Chung
, et al. (181 additional authors not shown)
Abstract:
The COMPASS collaboration at CERN has investigated the π^- γ-> π^- π^- π^+ reaction at center-of-momentum energy below five pion masses, sqrt(s) < 5 m(π), embedded in the Primakoff reaction of 190 GeV pions impinging on a lead target. Exchange of quasi-real photons is selected by isolating the sharp Coulomb peak observed at smallest momentum transfers, t' < 0.001 (GeV/c)^2. Using partial-wave anal…
▽ More
The COMPASS collaboration at CERN has investigated the π^- γ-> π^- π^- π^+ reaction at center-of-momentum energy below five pion masses, sqrt(s) < 5 m(π), embedded in the Primakoff reaction of 190 GeV pions impinging on a lead target. Exchange of quasi-real photons is selected by isolating the sharp Coulomb peak observed at smallest momentum transfers, t' < 0.001 (GeV/c)^2. Using partial-wave analysis techniques, the scattering intensity of Coulomb production described in terms of chiral dynamics and its dependence on the 3π-invariant mass m(3π) = sqrt(s) were extracted. The absolute cross section was determined in seven bins of $\sqrt{s}$ with an overall precision of 20%. At leading order, the result is found to be in good agreement with the prediction of chiral perturbation theory over the whole energy range investigated.
△ Less
Submitted 18 January, 2012; v1 submitted 25 November, 2011;
originally announced November 2011.
-
Dynamical and Structural Modularity of Discrete Regulatory Networks
Authors:
Heike Siebert
Abstract:
A biological regulatory network can be modeled as a discrete function that contains all available information on network component interactions. From this function we can derive a graph representation of the network structure as well as of the dynamics of the system. In this paper we introduce a method to identify modules of the network that allow us to construct the behavior of the given functi…
▽ More
A biological regulatory network can be modeled as a discrete function that contains all available information on network component interactions. From this function we can derive a graph representation of the network structure as well as of the dynamics of the system. In this paper we introduce a method to identify modules of the network that allow us to construct the behavior of the given function from the dynamics of the modules. Here, it proves useful to distinguish between dynamical and structural modules, and to define network modules combining aspects of both. As a key concept we establish the notion of symbolic steady state, which basically represents a set of states where the behavior of the given function is in some sense predictable, and which gives rise to suitable network modules. We apply the method to a regulatory network involved in T helper cell differentiation.
△ Less
Submitted 8 October, 2009;
originally announced October 2009.
-
Collins and Sivers asymmetries for pions and kaons in muon-deuteron DIS
Authors:
The COMPASS Collaboration,
M. Alekseev,
V. Yu. Alexakhin,
Yu. Alexandrov,
G. D. Alexeev,
A. Amoroso,
A. Arbuzov,
B. Badełek,
F. Balestra,
J. Ball,
J. Barth,
G. Baum,
Y. Bedfer,
C. Bernet,
R. Bertini,
M. Bettinelli,
R. Birsa,
J. Bisplinghoff,
P. Bordalo,
F. Bradamante,
A. Bravar,
A. Bressan,
G. Brona,
E. Burtin,
M. P. Bussa
, et al. (217 additional authors not shown)
Abstract:
The measurements of the Collins and Sivers asymmetries of identified hadrons produced in deep-inelastic scattering of 160 GeV/c muons on a transversely polarised 6LiD target at COMPASS are presented. The results for charged pions and charged and neutral kaons correspond to all data available, which were collected from 2002 to 2004. For all final state particles both the Collins and Sivers asymme…
▽ More
The measurements of the Collins and Sivers asymmetries of identified hadrons produced in deep-inelastic scattering of 160 GeV/c muons on a transversely polarised 6LiD target at COMPASS are presented. The results for charged pions and charged and neutral kaons correspond to all data available, which were collected from 2002 to 2004. For all final state particles both the Collins and Sivers asymmetries turn out to be small, compatible with zero within the statistical errors, in line with the previously published results for not identified charged hadrons, and with the expected cancellation between the u- and d-quark contributions.
△ Less
Submitted 28 January, 2009; v1 submitted 15 February, 2008;
originally announced February 2008.
-
Debug Support, Calibration and Emulation for Multiple Processor and Powertrain Control SoCs
Authors:
A. Mayer,
H. Siebert,
K. D. Mcdonald-Maier
Abstract:
The introduction of complex SoCs with multiple processor cores presents new development challenges, such that development support is now a decisive factor when choosing a System-on-Chip (SoC). The presented developments support strategy addresses the challenges using both architecture and technology approaches. The Multi-Core Debug Support (MCDS) architecture provides flexible triggering using c…
▽ More
The introduction of complex SoCs with multiple processor cores presents new development challenges, such that development support is now a decisive factor when choosing a System-on-Chip (SoC). The presented developments support strategy addresses the challenges using both architecture and technology approaches. The Multi-Core Debug Support (MCDS) architecture provides flexible triggering using cross triggers and a multiple core break and suspend switch. Temporal trace ordering is guaranteed down to cycle level by on-chip time stamping. The Package Sized-ICE (PSI) approach is a novel method of including trace buffers, overlay memories, processing resources and communication interfaces without changing device behavior. PSI requires no external emulation box, as the debug host interfaces directly with the SoC using a standard interface.
△ Less
Submitted 25 October, 2007;
originally announced October 2007.
-
Observation of a resonance in the K$_s$p decay channel at a mass of 1765 MeV/c$^2$
Authors:
WA89 Collaboration,
M. I. Adamovich,
Yu. A. Alexandrov,
D. Barberis,
M. Beck,
C. Bérat,
W. Beusch,
M. Boss,
S. Brons,
W. Brückner,
M. Buénerd,
C. Busch,
C. Büscher,
F. Charignon,
J. Chauvin,
E. A. Chudakov,
U. Dersch,
F. Dropmann,
J. Engelfried,
F. Faller,
A. Fournier,
S. G. Gerassimov,
M. Godbersen,
P. Grafström,
Th. Haller
, et al. (38 additional authors not shown)
Abstract:
We report on the observation of a K$_s$p resonance signal at a mass of 1765$\pm$5 MeV/c$^2$, with intrinsic width $Γ= 108\pm 22$ MeV/c$^2$, produced inclusively in $Σ^-$-nucleus interactions at 340 GeV/c in the hyperon beam experiment WA89 at CERN. The signal was observed in the kinematic region $x_F>0.7$, in this region its production cross section rises approximately linearly with $(1-x_F)$, r…
▽ More
We report on the observation of a K$_s$p resonance signal at a mass of 1765$\pm$5 MeV/c$^2$, with intrinsic width $Γ= 108\pm 22$ MeV/c$^2$, produced inclusively in $Σ^-$-nucleus interactions at 340 GeV/c in the hyperon beam experiment WA89 at CERN. The signal was observed in the kinematic region $x_F>0.7$, in this region its production cross section rises approximately linearly with $(1-x_F)$, reaching $BR(X\to K_S p)\cdot dσ/dx_F = (5.2\pm 2.3) μb $ per nucleon at $x_F=0.8$. The hard \xf spectrum suggests the presence of a strong leading particle effect in the production and hence the identification as a $Σ^{*+}$ state. No corresponding peaks were observed in the $K^- p$ and $Λπ^{\pm}$ mass spectra.
△ Less
Submitted 27 February, 2007;
originally announced February 2007.
-
The high-intensity hyperon beam at CERN
Authors:
Yu. A. Alexandrov,
M. Clement,
F. Dropmann,
A. Fournier,
P. Grafstrom,
E. Hubbard,
S. Paul,
H. W. Siebert,
A. Trombini,
M. Zavertiaev
Abstract:
A high-intensity hyperon beam was constructed at CERN to deliver Sigma- to experiment WA89 at the Omega facility and operated from 1989 to 1994. The setup allowed rapid changeover between hyperon and conventional hadron beam configurations. The beam provided a Sigma-flux of 1.4 x 10^5 per burst at mean momenta between 330 and 345 Gev/c, produced by about 3 x 10^10 protons of 450 GeV/c . At the e…
▽ More
A high-intensity hyperon beam was constructed at CERN to deliver Sigma- to experiment WA89 at the Omega facility and operated from 1989 to 1994. The setup allowed rapid changeover between hyperon and conventional hadron beam configurations. The beam provided a Sigma-flux of 1.4 x 10^5 per burst at mean momenta between 330 and 345 Gev/c, produced by about 3 x 10^10 protons of 450 GeV/c . At the experiment target the beam had a Sigma-/pi- ratio close to 0.4 and a size of 1.6 x 3.7 cm^2. The beam particle trajectories and their momenta were measured with a scintillating fibre hodoscope in the beam channel and a silicon microstrip detector at the exit of the channel. A fast transition radiation detector was used to identify the pion component of the beam.
△ Less
Submitted 7 January, 1998;
originally announced January 1998.
