UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Year is 1996

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Number of items: 48.

Alles, B. and Boyd, G. and D'Elia, M. and Giacomo, A. Di (1996) New results on topological susceptibility in SU(3) gauge theory. arXiv .

Allés, B. and Boyd, G. and D'Elia, M. and Giacomo, A. Di and Vicari, E. (1996) Hybrid Monte Carlo and topological modes of full QCD. Physics letters. B (389). pp. 107-111. ISSN 1873-2445

Allés, B. and Boyd, G. and D'Elia, M. and Giacomo, A. Di and Vicari, E. (1996) Hybrid Monte Carlo and topological modes of full QCD. Physics letters. B , 389 (1). pp. 107-111. ISSN 1873-2445

Ambriola, Vincenzo and Cignoni, Giovanni A. (1996) Il monitoraggio del processo software: una soluzione dal punto di vista del committente. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambriola, Vincenzo and Telmon, Claudio (1996) Sistema di protezione per il Dipartimento di Informatica. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bagnara, Roberto (1996) A Reactive Implementation of \textit{Pos} Using ROBDDs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bagnara, Roberto (1996) A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Boraso, M. and Montangero, Carlo and Sedehi, H. (1996) Software Cost Estimation: an experimental study of model performances. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Contiero, Simone (1996) A Program Specialiser for Meta-level Compositions of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brower, R. C. and Campostrini, M. and Orginos, K. and Rossi, P. and Tan, C-I and Vicari, E. (1996) Critical Behavior of Simplicial Chiral Models. Physical review. D, Particles, fields, gravitation, and cosmology, 53 . p. 3230. ISSN 1550-7998

Cambini, Riccardo and Gallo, Giorgio and Scutellà, Maria Grazia (1996) Flows on hypergraphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Campostrini, Massimo and Cucchieri, Attilio and Mendes, Tereza and Pelissetto, Andrea and Rossi, Paolo and Sokal, Alan D. and Vicari, Ettore (1996) Application of the $O(N)$-Hyperspherical Harmonics to the Study of the Continuum Limits of One-Dimensional $σ$-Models and to the Generation of High-Temperature Expansions in Higher Dimensions. Nuclear Physics B - Proceedings Supplements, 47 (1-3). pp. 759-732. ISSN 1873-3832

Campostrini, Massimo and Pelissetto, Andrea and Rossi, Paolo and Vicari, Ettore (1996) Strong-coupling expansion of lattice O(N) sigma models. Nuclear Physics B - Proceedings Supplements, 47 (1-3). pp. 755-758. ISSN 1873-3832

Campostrini, Massimo and Pelissetto, Andrea and Rossi, Paolo and Vicari, Ettore (1996) A strong-coupling analysis of two-dimensional O(N) sigma models with $N\geq 3$ on square, triangular and honeycomb lattices. Physical review. D, Particles, fields, gravitation, and cosmology, 54 . p. 1782. ISSN 1550-7998

Campostrini, Massimo and Pelissetto, Andrea and Rossi, Paolo and Vicari, Ettore (1996) A strong-coupling analysis of two-dimensional O(N) sigma models with N<=2 on square, triangular and honeycomb lattices. Physical review. B, Condensed matter and materials physics, 54 . pp. 7301-7317. ISSN 1550-235X

Cappanera, Paola and Frangioni, Antonio (1996) Symmetric and Asymmetric Parallelization of a Cost-Decomposition Algorithm for Multi-Commodity Flow Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carboni, Marilisa and Giannotti, Fosca and Manco, Giuseppe and Pedreschi, Dino (1996) A Logic Abstract Machine for Active Object-Oriented Databases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carraresi, Paolo and Farinaccio, Fernanda and Malucelli, Federico (1996) Testing Optimality for Quadratic 0-1 Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, H. and Heckel, Reiko and Loewe, M. (1996) Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo (1996) Venticinque anni di informatica. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo and Priami, Corrado (1996) Compact Transition Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Falaschi, M. and Gabbrielli, M. and Marriott, K. and Palamidessi, C. (1996) Confluence in Concurrent Constraint Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gallo, Giorgio (1996) A Bundle type Dual-ascent Approach to Linear Multi-Commodity Min Cost Flow Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gadducci, Fabio and Montanari, Ugo (1996) The Tile Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scutellà, Maria Grazia (1996) Hyperflow Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) A Fast Iterative Method for Determining the Stability of a Polynomial. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) A Fast Algorithm for Hankel Matrices Represented in Orthogonal Polynomial Bases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) Fast QR Factorization of Vandermonde-like matrices involving orthogonal polynomials. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) MANIPULATING POLYNOMIALS IN GENERALIZED FORM. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) POLYNOMIAL ROOT COMPUTATION BY MEANS OF THE LR ALGORITHM. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) RATIONAL INTERPOLATION AT CHEBYSHEV POINTS. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Guerrini, S. and Masini, A. (1996) Parsing MELL Proof Nets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Guida, Riccardo and Konishi, Kenichi and Suzuki, Hiroshi (1996) Improved Convergence Proof of the Delta Expansion and Order Dependent Mappings. Annals of physics, 249 (1). pp. 109-145. ISSN 1096-035X

Lanzetta, Michele and Tantussi, Giovanni (1996) Monitoring Critical Points in Robot Operations with an Artificial Vision System. AMST'96, Proceedings of the 4th International Conference on "Advanced Manufacturing Systems and Technology", 372 . pp. 593-600. ISSN 0254-1971

Luccio, Fabrizio and Pagli, Linda (1996) An Insight on PRAM Computational Bounds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (1996) The Nice Properties of a New Boolean Function. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montangero, Carlo and Semini, Laura (1996) Applying Refinement Calculi to Software Process Modelling. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Schettino, Alberta (1996) Assegnazione dei passeggeri a una rete pubblica interurbana mediante l'enumerazione dei cammini attivi. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (1996) Dual Algorithms for the Shortest Path Tree Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pasetto, Davide and Vanneschi, Marco (1996) Design and evaluation of parallel applications using a structured parallel language. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pasetto, Davide and Vanneschi, Marco (1996) Machine independent Analytical models for cost evaluation of template--based programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

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

Pedreschi, Dino and Ruggieri, Salvatore (1996) Verification of Meta-interpreters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedrotti, Alberto (1996) Combinatorial algorithms in the presence of random errors - II. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Petrini, Fabrizio and Vanneschi, Marco (1996) Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pierro, Massimo Di and Konishi, Kenichi (1996) Mass, Confinement and CP Invariance in the Seiberg-Witten Model". Physics letters. B , 388 (1). pp. 90-96. ISSN 1873-2445

Priami, Corrado (1996) DEMOS at CONCUR96. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1996) A Rewriting Implementation of pi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Mon Mar 2 00:00:21 2015 CET.