9.8k citations
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT1.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT1.1k papers
- Centre National de la Recherche ScientifiqueFR1.1k papers
- University of BolognaIT1.1k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT1.1k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT1k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR999 papers
- Sapienza University of RomeIT961 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR955 papers
- Rutherford Appleton LaboratoryGB941 papers
- University of PisaIT939 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT923 papers
17 papers · 1 filter
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communicat…
Geometry of rays-positive manifolds
Mauro C. Beltrametti, Andreas Leopold Knutsen, Antonio Lanteri +1
Let M be a smooth complex projective variety and let L be a line bundle on it. Rays-positive manifolds, namely pairs (M,L) such that L is numerically effective and L\cdotR > 0 for…
Cohen-Macaulayness of generically complete intersection monomial ideals
Le Dinh Nam, Matteo Varbaro
In this paper we discuss the problem of characterizing the Cohen-Macaulay property of certain families of monomial ideals with fixed radical. More precisely, we consider genericall…
On the finite dimensionality of a K3 surface
Claudio Pedrini
For a smooth projective surface X the finite dimensionality of the Chow motive h(X), as conjectured by S.I Kimura, has several geometric consequences. For a complex surface of gene…
Measurements of branching fractions and CP asymmetries and studies of angular distributions for B to phi phi K decays
The BABAR Collaboration, J. P. Lees
We present branching fraction and CP asymmetry measurements as well as angular studies of B to phi phi K decays using 464 x 10^6 BBbar events collected by the BaBar experiment. The…
Sequential measurements of conjugate observables
Claudio Carmeli, Teiko Heinosaari, Alessandro Toigo
We present a unified treatment of sequential measurements of two conjugate observables. Our approach is to derive a mathematical structure theorem for all the relevant covariant in…