This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
1997, with author ALL, in the category IASI Research Reports
(or show them all): (Items found: 17)
1997 [top]
- Germani A., Gabriella Mavelli: Optimal quadratic solution for the nongaussian finite-horizon regulator problem, IASI-CNR, R. 464, 11/1997
- Paola Bertolazzi, Carlo Gaibisso, Becchetti L., Gambosi G.: On the design of efficient ATM routing schemes, IASI-CNR, R. 463, 10/1997
- Bertuzzi A., Gandolfi A.: Estimation of parameters of cell kinetics, IASI-CNR, R. 462, 09/1997
- Malucelli F., Sara Nicoloso, Bonfiglio P.: The dominating set problem on shiftable interval graphs, IASI-CNR, R. 461, 09/1997
- Cioni G., Colagrossi A., Temperini M.: A laboratory for teaching abstract algebra, IASI-CNR, R. 460, 07/1997
- Cioni G., Colagrossi A., Temperini M.: An approach to class reasoning in symbolic computation, IASI-CNR, R. 459, 06/1997
- Becchetti L., Carlo Gaibisso, Gambosi G.: Optimal layouts of virtual paths on a mesh, IASI-CNR, R. 458, 6/1997
- Alberto Pettorossi, Maurizio Proietti: Synthesis and transformation of logic programs using unfold/fold proofs, IASI-CNR, R. 457, 06/1997
- Carlo Gaibisso, Guido Proietti: Efficient insertion of approximately sorted sequences of items into a dictionary, IASI-CNR, R. 456, 6/1997
- Becchetti L., Carlo Gaibisso: Lower bounds for the virtual path layout problem in ATM networks, IASI-CNR, R. 455, 6/1997
- De Vitis A.: The cactus representation of all minimum cuts in a weighted graph, IASI-CNR, R. 454, 05/1997
- Gould N.I.M., Lucidi S., Roma M., Toint Ph.L.: Solving the trust region subproblem using the Lanczos method, IASI-CNR, R. 453, 5/1997
- Anna Galluccio, Loebl M.: A theory of Pfaffian operations : 1. Perfect matchings and permanents, IASI-CNR, R. 452, 04/1997
- Panci M., Rafanelli M.: A system for the evaluation of urban pollution using a geographic information system, IASI-CNR, R. 451, 03/1997
- Giovanni Felici, Truemper K.: Learning logic, IASI-CNR, R. 450, 02/1997
- Bianco L., Confessore G., Reverberi P.: A combinatorial optimization approach to locate traffic counting points in a transport network, IASI-CNR, R. 449, 01/1997
- Confessore G., Dell'Olmo P., Giordani S.: An approximation algorithm for proper dynamic storage allocation, IASI-CNR, R. 448, 01/1997
|