From the 1 of 2.3k papers with an AI index.
29.3k citations
- University of PisaIT1.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT1.4k papers
- Centre National de la Recherche ScientifiqueFR1.3k papers
- University of BolognaIT1.3k papers
- The Ohio State UniversityUS1.3k papers
- Waseda UniversityJP1.2k papers
- Sapienza University of RomeIT1.2k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.2k papers
- University of ChicagoUS1.2k papers
- University of GlasgowGB1.2k papers
- University of MichiganUS1.2k papers
- Institute for High Energy PhysicsES1.2k papers
12 papers · 1 filter
Temporalized logics and automata for time granularity
M. Franceschet, A. Montanari
Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the…
Ackermann Encoding, Bisimulations, and OBDDs
Carla Piazza, Alberto Policriti
We propose an alternative way to represent graphs via OBDDs based on the observation that a partition of the graph nodes allows sharing among the employed OBDDs. In the second part…
A measurement of the branching fractions of the b-quark into charged and neutral b-hadrons
The DELPHI Collaboration, J. Abdallah
The production fractions of charged and neutral b-hadrons in b-quark events from Z0 decays have been measured with the DELPHI detector at LEP. An algorithm has been developed, base…
A lower bound for the height of a rational function at -unit points
Pietro Corvaja, Umberto Zannier
Let be a finitely generated subgroup of the multiplicative group $\G_m^2(\bar{Q})$. Let $p(X,Y),q(X,Y)\in\bat{Q}$ be two coprime polynomials not both vanishing at ; let…
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
Agostino Dovier, Carla Piazza, Gianfranco Rossi
Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from…
Measurement of Inclusive f_1(1285) and f_1(1420) Production in Z Decays with the DELPHI Detector
The DELPHI Collaboration, J. Abdallah
DELPHI results are presented on the inclusive production of two (K Kbar pi)^0 states in the mass region 1.2-1.6 GeV/c^2 in hadronic Z decays at LEP I. The measured masses (widths)…