Technion – Israel Institute of Technology

About: Technion – Israel Institute of Technology is a education organization based out in Haifa, Israel. It is known for research contribution in the topics: Population & Nonlinear system. The organization has 31714 authors who have published 79377 publications receiving 2603976 citations. The organization is also known as: Technion Israel Institute of Technology & Ṭekhniyon, Makhon ṭekhnologi le-Yiśraʼel.

Topological cell clustering in the ATLAS calorimeters and its performance in LHC Run 1

Abstract: The reconstruction of the signal from hadrons and jets emerging from the proton–proton collisions at the Large Hadron Collider (LHC) and entering the ATLAS calorimeters is based on a three-dimensional topological clustering of individual calorimeter cell signals. The cluster formation follows cell signal-significance patterns generated by electromagnetic and hadronic showers. In this, the clustering algorithm implicitly performs a topological noise suppression by removing cells with insignificant signals which are not in close proximity to cells with significant signals. The resulting topological cell clusters have shape and location information, which is exploited to apply a local energy calibration and corrections depending on the nature of the cluster. Topological cell clustering is established as a well-performing calorimeter signal definition for jet and missing transverse momentum reconstruction in ATLAS.

Abstract interpretation of reactive systems

Abstract: The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication techniques. Model checking is one such technique, which has proven quite successful. However, the state-explosion problem remains a major stumbling block. Recent experience indicates that solutions are to be found in the application of techniques for property-preserving abstraction and successive approximation of models. Most such applications have so far been based solely on the property-preserving characteristics of simulation relations. A major drawback of all these results is that they do not oer a satisfactory formalization of the notion of precision of abstractions. The theory of Abstract Interpretation oers a framework for the denition and justication of property-preserving abstractions. Furthermore, it provides a method for the eective computation of abstract models directly from the text of a program, thereby avoiding the need for intermediate storage of a full-blown model. Finally, it formalizes the notion of optimality, while allowing to trade precision for speed by computing suboptimal approximations. For a long time, applications of Abstract Interpretation have mainly focused on the analysis of universal safety properties, i.e., properties that hold in all states along every possible execution path. In this article, we extend Abstract Interpretation to the analysis of both existential and universal reactive properties, as expressible in the modal -calculus .I t is shown how abstract models may be constructed by symbolic execution of programs. A notion of approximation between abstract models is dened while conditions are given under which optimal models can be constructed. Examples are given to illustrate this. We indicate conditions under which also falsehood of formulae is preserved. Finally, we compare our approach to those based on simulation relations.

Characterization of human disease phenotypes associated with mutations in TREX1, RNASEH2A, RNASEH2B, RNASEH2C, SAMHD1, ADAR, and IFIH1.

Abstract: Aicardi-Goutieres syndrome is an inflammatory disease occurring due to mutations in any of TREX1, RNASEH2A, RNASEH2B, RNASEH2C, SAMHD1, ADAR or IFIH1. We report on 374 patients from 299 families with mutations in these seven genes. Most patients conformed to one of two fairly stereotyped clinical profiles; either exhibiting an in utero disease-onset (74 patients; 22.8% of all patients where data were available), or a post-natal presentation, usually within the first year of life (223 patients; 68.6%), characterized by a sub-acute encephalopathy and a loss of previously acquired skills. Other clinically distinct phenotypes were also observed; particularly, bilateral striatal necrosis (13 patients; 3.6%) and non-syndromic spastic paraparesis (12 patients; 3.4%). We recorded 69 deaths (19.3% of patients with follow-up data). Of 285 patients for whom data were available, 210 (73.7%) were profoundly disabled, with no useful motor, speech and intellectual function. Chilblains, glaucoma, hypothyroidism, cardiomyopathy, intracerebral vasculitis, peripheral neuropathy, bowel inflammation and systemic lupus erythematosus were seen frequently enough to be confirmed as real associations with the Aicardi-Goutieres syndrome phenotype. We observed a robust relationship between mutations in all seven genes with increased type I interferon activity in cerebrospinal fluid and serum, and the increased expression of interferon-stimulated gene transcripts in peripheral blood. We recorded a positive correlation between the level of cerebrospinal fluid interferon activity assayed within one year of disease presentation and the degree of subsequent disability. Interferon-stimulated gene transcripts remained high in most patients, indicating an ongoing disease process. On the basis of substantial morbidity and mortality, our data highlight the urgent need to define coherent treatment strategies for the phenotypes associated with mutations in the Aicardi-Goutieres syndrome-related genes. Our findings also make it clear that a window of therapeutic opportunity exists relevant to the majority of affected patients and indicate that the assessment of type I interferon activity might serve as a useful biomarker in future clinical trials.

Transfer of Skill from a Computer Game Trainer to Flight

Abstract: An experimental study was conducted to test the transfer of skills from a complex computer game to the flight performance of cadets in the Israeli Air Force flight school. The context relevance of the game to flight was argued on the basis of a skill-oriented task analysis, using the framework provided by contemporary models of the human processing system. The influence of two embedded training strategies was compared, one focusing on the specific skills involved in performing the game, the other designed to improve the general ability of trainees to cope with the high processing and response demands of the flight task and teach better strategies of attention control. Efficient control and management of attention under high task load are argued to be skills that can improve with proper training and generalize to new situations. Flight performance scores of two groups of cadets who received 10 h of training in the computer game were compared with those of a matched group without game experience. Both game ...

Predicting selective drug targets in cancer through metabolic networks

Abstract: The interest in studying metabolic alterations in cancer and their potential role as novel targets for therapy has been rejuvenated in recent years. Here, we report the development of the first genome-scale network model of cancer metabolism, validated by correctly identifying genes essential for cellular proliferation in cancer cell lines. The model predicts 52 cytostatic drug targets, of which 40% are targeted by known, approved or experimental anticancer drugs, and the rest are new. It further predicts combinations of synthetic lethal drug targets, whose synergy is validated using available drug efficacy and gene expression measurements across the NCI-60 cancer cell line collection. Finally, potential selective treatments for specific cancers that depend on cancer type-specific downregulation of gene expression and somatic mutations are compiled.