1.6k citations
- A. Stocchi3 profiles46 · h 63
- B. Stugu5 profiles46 · h 82
- E. Ben-Haim15 profiles46 · h 101
- G. Eigen5 profiles46 · h 92
- G. Grosdidier3 profiles46 · h 56
- L. Vitale4 profiles46 · h 47
- M. Margoni14 profiles46 · h 123
- P. Roudeau3 profiles46 · h 54
- R. Contri4 profiles46 · h 57
- D. N. Brown14 profiles39
- V. Poireau5 profiles39 · h 65
- M. Battaglia3 profiles38 · h 95
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT135 papers
- Centre National de la Recherche ScientifiqueFR73 papers
- University of PaduaIT54 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR50 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT50 papers
- University of TriesteIT50 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT48 papers
- Rutherford Appleton LaboratoryGB48 papers
- CEA Paris-SaclayFR47 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR47 papers
- Iowa State UniversityUS46 papers
- University of BergenNO46 papers
28 papers · 1 filter
On Buchsbaum bundles on quadric hypersurfaces
Edoardo Ballico, Francesco Malaspina, Paolo Valabrega +1
Let be an indecomposable rank two vector bundle on the projective space $\PP^n, n \ge 3$, over an algebraically closed field of characteristic zero. It is well known that i…
Observation of the Cosmic Ray Moon shadowing effect with ARGO-YBJ
YBJ Collaboration
Cosmic rays are hampered by the Moon and a deficit in its direction is expected (the so-called \emph{Moon shadow}). The Moon shadow is an important tool to determine the performanc…
Partonic Transverse Motion in Unpolarized Semi-Inclusive Deep Inelastic Scattering
M. Boglione, S. Melis, A. Prokudin
We analyse the role of partonic transverse motion in unpolarized Semi-Inclusive Deep Inelastic Scattering (SIDIS) processes. Imposing appropriate kinematical conditions, we find so…
Typing a Core Binary Field Arithmetic in a Light Logic
Emanuele Cesena, Marco Pedicini, Luca Roversi
We design a library for binary field arithmetic and we supply a core API which is completely developed in DLAL, extended with a fix point formula. Since DLAL is a restriction of li…
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board
L. Console, C. Picardi, D. Theseider Duprè
The automatic generation of decision trees based on off-line reasoning on models of a domain is a reasonable compromise between the advantages of using a model-based approach in te…
Type Inference for Bimorphic Recursion
Makoto Tatsuta, Ferruccio Damiani
This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic…