oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 41 )

2019 ( 234 )

2018 ( 274 )

2017 ( 292 )

Custom range...

Search Results: 1 - 10 of 223887 matches for " R. Giachino "
All listed articles are free for downloading (OA Articles)
Page 1 /223887
Display every page Item
Diagnostics needs for beam-beam studies and optimization
R. Giachino
Physics , 2014, DOI: 10.5170/CERN-2014-004.189
Abstract: During the recent years of LHC operation, we analysed the situation of beam instrumentation and the need to optimize it for beam-beam studies. The most important beam instrumentation devices will be highlighted and modifications or optimizations will be suggested. A complete wish list will be presented to make sure we will be ready after LS1 (Long Shutdown 1) to study the beam-beam effect in a more complete way.
Observations of beam-beam effects at the LHC
G. Papotti,X. Buffat,W. Herr,R. Giachino,T. Pieloni
Physics , 2014,
Abstract: This paper introduces a list of observations related to the beam-beam interaction that were collected over the first years of LHC proton physics operation (2010-12). Beam-beam related effects not only have been extensively observed and recorded, but have also shaped the operation of the LHC for high-intensity proton running in a number of ways: the construction of the filling scheme, the choice of luminosity levelling techniques, measures to mitigate instabilities, and the choice of settings for improving performance (e.g. to reduce losses), among others.
Coherent beam-beam mode in the LHC
X. Buffat,R. Calaga,R. Giachino,W. Herr,G. Papotti,T. Pieloni,S. White
Physics , 2014, DOI: 10.5170/CERN-2014-004.227
Abstract: Observations of single bunch beam-beam coherent modes during dedicated experiments in the LHC are presented. Their role in standard operation for physics is discussed and, in particular, candidates of beam-beam coherent mode driven unstable by the machine impedance are presented.
Long Range Beam-beam Effects in the LHC
W. Herr,X. Buffat,R. Calaga,R. Giachino,G. Papotti,T. Pieloni,D. Kaltchev
Physics , 2014, DOI: 10.5170/CERN-2014-004.87
Abstract: We report on the experience with long-range beam--beam effects in the LHC, in dedicated studies as well as the experience from operation. Where possible, we compare the observations with the expectations.
Notching up neural stem cell homogeneity in homeostasis and disease
Claudio Giachino,Verdon Taylor
Frontiers in Neuroscience , 2014, DOI: 10.3389/fnins.2014.00032
Abstract: Adult neural stem cells (NSCs) are perceived as a homogeneous population of cells that divide infrequently and are capable of multi-lineage differentiation. However, recent data revealed that independent stem cell lineages act in parallel to maintain neurogenesis and provide a cellular source for tissue repair. In addition, even within the same lineage, the stem and progenitor cells are strikingly heterogeneous including NSCs that are dormant or mitotically active. We will discuss these different NSC populations and activity states with relation to their role in neurogenesis and regeneration but also how these different stem cells respond to aging. NSCs depend on Notch signaling for their maintenance. While Notch-dependence is a common feature among NSC populations, we will discuss how differences in Notch signaling might contribute to adult NSC heterogeneity. Understanding the fate of multiple NSC populations with distinct functions has implications for the mechanisms of aging and regeneration.
Deadlock detection in linear recursive programs
Elena Giachino,Cosimo Laneve
Computer Science , 2013,
Abstract: Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorithm for detecting deadlocks of "linear recursive programs" of a basic model. The theory that underpins the algorithm is a generalization of the theory of permutations of names to so-called "mutations", which transform tuples by introducing duplicates and fresh names. Our algorithm realizes the back-end of deadlock analyzers for object-oriented programming languages, once the association programs/basic-model-programs has been defined as front-end.
Studies on the subgenus Agraphoderus Bates of Blennidus Motschulsky from Peru: the jelskii species–group (Coleoptera, Carabidae, Pterostichini)
Allegro, G.,Giachino, P. M.
Animal Biodiversity and Conservation , 2011,
Abstract: Four new species of Blennidus subgenus Agraphoderus are described from the Andes of Southern Peru: B. (A.) procerus n. sp., B. (A.) abramalagae n. sp., B. (A.) etontii n. sp. and B. (A.) straneoi n. sp. Together with B. (A.) jelskii (Tschitschérine, 1897), they form a very homogeneous group of probably closely related species (the jelskii group), which is distinguished from other members of the subgenus by the distinctive morphology of the aedeagus. A redescription of B. (A.) jelskii is given based on the lectotype and paralectotype designated by Straneo & Vereshagina (1991), supplementing Tschitschérine’s brief original description. The distribution pattern of the species presently included in the jelskii species–group is discussed, emphasizing distinctive traits of stenoendemic species inhabiting restricted geographical areas, and discussing their possible origin by allopatric speciation.
Maintenance of Genomic Stability in Mouse Embryonic Stem Cells: Relevance in Aging and Disease
Claudia Giachino,Luca Orlando,Valentina Turinetto
International Journal of Molecular Sciences , 2013, DOI: 10.3390/ijms14022617
Abstract: Recent studies have shown that mouse embryonic stem cells (mESCs) rely on a distinctive genome caretaking network. In this review, we will discuss how mESCs functionally respond to DNA damage and describe several modifications in mESC DNA damage response, which accommodate dynamic cycling and preservation of genetic information. Subsequently, we will discuss how the transition from mESCs to adult stem/progenitor cells can be involved in the decline of tissue integrity and function in the elderly.
A new remarkable subterranean beetle of the Rhodopes: Paralovricia n. gen. beroni n. sp. belonging to Lovriciina new subtribe (Coleoptera: Carabidae: Trechinae: Bembidiini)
Pier Mauro Giachino,Borislav Gueorguiev,Dante Vailati
ZooKeys , 2011, DOI: 10.3897/zookeys.117.1612
Abstract: Paralovricia gen. n. beroni sp. n., belonging to the new subtribe Lovriciina, is described from two caves in the Western Rhodopes (Bulgaria): Kraypatnata peshtera, near Smilyan Village (Smolyan Municipality) and Snezhanka, near Peshtera Town (Peshtera Municipality). Three currently known genera, Lovricia Pretner, 1979, Neolovricia Lakota, Jal i & Moravec, 2009 and Paralovricia gen. n. represent a monophyletic unit supported by important synapomorphies that allows to propose the establishment of the new subtribe Lovriciina, characterized by the following characters: last maxillary palpomeres very long and narrow, basal angles of pronotum without seta, elytra without discal setae, elytral umbilicate series of nine pores in which the main pores are the 2nd, 6th and 9th, apical recurrent striole absent and mesotibial apex expanded outward. Its systematic position within the subfamily Trechinae (sensu Lorenz 2005) is discussed and Lovriciina is placed near Anillina. Key to the genera of the subtribe is proposed. Distribution data and zoogeographical hypotheses are discussed.
A framework for deadlock detection in core ABS
Elena Giachino,Cosimo Laneve,Michael Lienhardt
Computer Science , 2015, DOI: 10.1007/s10270-014-0444-y
Abstract: We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations. Since this language features recursion and dynamic resource creation, deadlock detection is extremely complex and state-of-the-art solutions either give imprecise answers or do not scale. In order to augment precision and scalability we propose a modular framework that allows several techniques to be combined. The basic component of the framework is a front-end inference algorithm that extracts abstract behavioural descriptions of methods, called contracts, which retain resource dependency information. This component is integrated with a number of possible different back-ends that analyse contracts and derive deadlock information. As a proof-of-concept, we discuss two such back-ends: (i) an evaluator that computes a fixpoint semantics and (ii) an evaluator using abstract model checking.
Page 1 /223887
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.