UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Year is 1997

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | B | C | D | G | K | L | M | P | S | V
Number of items: 39.

A

Alles, B. and D'Elia, M. and Giacomo, A. Di (1997) Topological susceptibility through the deconfining phase transition. Nuclear Physics B - Proceedings Supplements, 53 (1-3). pp. 541-543. ISSN 1873-3832

Alles, B. and D'Elia, M. and Giacomo, A. Di (1997) Topology at zero and finite T in SU(2) Yang-Mills theory. Physics letters. B , 412 (1-2). pp. 119-124. ISSN 1873-2445

Allés, B. and D'Elia, M. and Giacomo, A. Di (1997) Topological susceptibility at zero and finite $T$ in SU(3) Yang-Mills theory. Nuclear Physics B - Proceedings Supplements, 494 (1-2). pp. 281-292. ISSN 1873-3832

Ambriola, Vincenzo and Cignoni, Giovanni A. (1997) Il monitoraggio dei contratti di grande rilievo. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

B

Bini, D. A. and Gemignani, Luca (1997) Fast fraction-free triangularization of Bezoutians with applications to sub-resultant chain computation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Boyd, G. and Alles, B. and D'Elia, M. and Giacomo, A. Di (1997) Topology in QCD. arXiv .

Boyd, G. and Allés, B. and D'Elia, M. and Giacomo, A. Di and Vicari, E. (1997) Decorrelating the topology in full QCD. Nuclear Physics B - Proceedings Supplements, 53 (1-3). pp. 544-546. ISSN 1873-3832

Boyd, G. and Allés, B. and D'Elia, M. and Giacomo, A. Di and Vicari, E. (1997) Decorrelating the topology in full QCD. Nuclear Physics B - Proceedings Supplements, 53 (1-3). pp. 544-546. ISSN 1873-3832

Brogi, Antonio and Contiero, Simone and Turini, Franco (1997) Programming by Combining General Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

C

Campostrini, Massimo and Pelissetto, Andrea and Rossi, Paolo and Vicari, Ettore (1997) Critical limit and anisotropy in the two-point correlation function of three-dimensional O(N) models. EPL (Europhysics letters), 38 . p. 577. ISSN 0295-5075

Campostrini, Massimo and Rossi, Paolo and Pelissetto, Andrea and Vicari, Ettore (1997) Critical behavior of the correlation function of three-dimensional O(N) models in the symmetric phase. Nuclear Physics B - Proceedings Supplements, 53 (1-3). pp. 690-692. ISSN 1873-3832

Ciuffoletti, Augusto and Alari, Gianluigi (1997) Implementing a probabilistic clock synchronization algorithm. Real-Time Systems, 13 (1). pp. 25-46. ISSN 0922-6443

Corradini, Andrea and Drewes, Frank (1997) (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

D

D'Elia, M. and Farchioni, F. and Papa, A. (1997) Renormalization group flow and fixed point of the lattice topological charge in the 2-d O(3) sigma-model. Physical review. D, Particles, fields, gravitation, and cosmology, 55 . p. 2274. ISSN 1550-7998

D'Elia, Massimo and Giacomo, Adriano Di and Meggiolaro, Enrico (1997) Field strength correlators in full QCD. Physics letters. B , B408 . p. 315. ISSN 1873-2445

G

Gemignani, Luca (1997) GCD of polynomials and Bezout matrices. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1997) A hybrid approach to some stability problems for bivariate polynomials. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo and Raffaetà, Alessandra (1997) Active-U-Datalog: integrating active rules in a deductive database. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto (1997) Abductive analysis of modular logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Functional Compositions of Abstract Interpretations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Lifting complete orders to achieve co-additivity of closure operators. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Making abstract interpretations complete. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

K

Konishi, K. (1997) Confinement, Supersymmetry Breaking and Theta Parameter Dependence in the Seiberg-Witten Model. Physics letters. B , 392 (1-2). pp. 101-105. ISSN 1873-2445

L

Luccio, Fabrizio and Mahafzah, M. and Omari, M. and Pagli, Linda (1997) Masked Interval Routing: a New Routing Scheme. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luchinsky, D. G. and Maier, R. S. and Mannella, R. and McClintock, P. V. E. and Stein, D. L. (1997) Experiments on Critical Phenomena in a Noisy Exit Problem. Physical review letters, 79 . p. 3109. ISSN 0031-9007

Lùperi, Patrizia (1997) "Lampi d'estate in biblioteca" : quando la radio ospita la biblioteca, una finestra da riaprire. A.I.B. notizie, newsletter dell'associazione italiana biblioteche, 2/1997 (2). pp. 4-5. ISSN 1120-2521

M

Manca, Vincenzo (1997) Logical Formalizations of Syntactical Properties (Extended Abstract). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manca, Vincenzo and Martino, D. M. (1997) From string rewriting to logical metabolic systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Manconi, Carlo and Cantalupo, Barbara (1997) Using MPI for P3L Implementation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Mannella, Riccardo (1997) Numerical integration of stochastic differential equations. arXiv .

P

Paiano, Pietro and Pallottino, Stefano (1997) Motivazioni comportamentali e insiemi attrattivi nei modelli stocastici per il trasporto collettivo. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (1997) Shortest Path Algorithms in Transportation models: classical and innovative aspects. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) On logic programs that do not fail. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1997) Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia (1997) A survey on DNA computing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

S

Semini, Laura and Montangero, Carlo (1997) A Refinement Calculus for Tuple Spaces. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

V

van Breugel, Franck (1997) Failures, Finiteness, and Full Abstraction. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) A Labelled Transition System for pi_epsilon-Calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

van Breugel, Franck (1997) Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Mon Mar 30 00:00:29 2015 CEST.