Publications

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  1990, with author ALL, in the category Articles in Collections and Proceedings (or show them all):   (Items found: 43)


1990  [top]
  • Antenucci G., Sara Nicoloso, Simeone B.: Optimal Hypergraph Partitioning in VLSI Circuit Layout, in the Proceedings of Atti delle Giornate AIRO 1990, 1990
  • Atzeni P., Tanca L.: The LOGIDATA+ Model and Language, in the Proceedings of Next Generation Information Systems Technology, Kiev, USSR, Lecture Notes in Computer Science, 504, Springer-Verlag, 294-310, 1990
  • Atzeni P., Torlone R.: Updating Datalog databases, in the Proceedings of Next Generation Information Systems Technology, Kiev, USSR, Lecture Notes in Computer Science, 504, Springer-Verlag, 347-362, 1990
  • Alessandro Bertuzzi, Gandolfi A., Starace G.: Estimation of Cell Kinetic Parameters from Sequences of DNA Distributions, in the Proceedings of 12th International Conference of IEEE-EMBS, Philadelphia, Pedersen P.C., Onaral B. eds., IEEE New York, 1654-1655, 1990
  • Bianco L.: Optimization Models and techniques to improve air traffic management, in: AGARDOgraph, AG 301, Vol.~II, 1990
  • Bianco L., Mingozzi A., Ricciardelli S., Spadoni M.: New exact and heuristic algorithms for the crew scheduling problem, Lecture Notes in Control and Information Sciences, Springer-Verlag, 1990
  • Bianco L., Mingozzi A., Ricciardelli S., Spadoni V.: The traveling salesman problem with precedence constraints, in the Proceedings of Proceedings of the International Conference on Operations Research, 1990
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for mathematical problem solving, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
  • Campisi D., Gastaldi M., La Bella A.: Technological Change and Policy in MRIO Models, in the Proceedings of Proceedings of the 14h IFIP Conference on System Modelling and Optimization, Sebastian H.J., Tammer K. eds., Lecture Notes in Control and Information Sciences, Springer-Verlag, 716-724, 1990
  • Campisi D., Gastaldi M., La Bella A., Ludovici B., Schachter G.: A Multiregional Multisectoral I-O Model for Italy, in: New Directions in Regional Analysis: Integrated and Multiregional Approaches, Anselin L., Pietfield D. eds., Belhaven Press, London, 187-210, 1990
  • Carlo Chiarla, Giovannini I., Siegel J.H., Boldrini G., Coleman W.P., Castagneto M.: Hemodynamic effects of increasing levels of PEEP in critically ill patients, in: Intensive and Critical Care Medicine - Excerpta Medica, ICS, Elsevier 885, 1990
  • Carlo Chiarla, Giovannini I., Siegel J.H., Boldrini G., Coleman W.P., Castagneto M.: Simple formulae for the determination of base excess in the blood, in: Intensive and Critical Care Medicine - Excerpta Medica, ICS, Elsevier 885, 1990
  • Carlo Chiarla, Giovannini I., Siegel J.H., Boldrini G., Coleman W.P., Castagneto M.: A new simplified formula for the calculation of P50, in: Intensive and Critical Care Medicine - Excerpta Medica, 885, ICS, Elsevier, 1990
  • Carlo Chiarla, Giovannini I., Siegel J.H., Boldrini G., Coleman W.P., Castagneto M.: A simplified formula for rapid estimation of body surface area, in: Intensive and Critical Care Medicine - Excerpta Medica, ICS, Elsevier 885, 1990
  • Chopra S., Giovanni Rinaldi: The Graphical Asymmetric Traveling Salesman Polyhedron, in: Integer Programming and Combinatorial Optimization - IPCO I, Kannan R., Pulleyblank W.R. eds., University of Waterloo Press Waterloo, Ontario, 129-145, 1990
  • Cinque L., Costabile M.F., Levialdi S., Michele Missikoff: Towards a Formal Specification Methodology for Iconic Interface Design: a Case Study, in the Proceedings of International Workshop on Visual Languages - VL'90, Chang ed., 1990
  • Colagrossi A., Limongelli C., Miola A.: Scientific Computation by Error Free Arithmetic, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 27-35, 1990
  • De Santis A., Alfredo Germani, Jetto L.: A Nonstationary Adaptive Model for Recursive Image Filtering, in the Proceedings of Proceedings of the 11th IFAC World Conference, 92-97, 1990
  • Caterina De Simone, Deza M., Laurent M.: Collapsing and Lifting for the Cut Cone, in the Proceedings of Second Japan Conference on Graph Theory and Combinatorics, Hakone, Japan, 18-22, 1990
  • Facchinei F., Lucidi S.: A Method for the Minimization of a Quadratic Convex Function Over the Simplex, in the Proceedings of DGOR-Proceedings of Operations Research, Vienna, 1990
  • Falcitelli G., Pisanelli D.M., Maurizio Rafanelli, Ricci F.L.: Expert interface for epidemiologic data management, in the Proceedings of 9th Intern. Congr. Medical Informatics, MIE '90, Springer-Verlag, 1990
  • Forcellese G., Temperini M.: Towards a logic language: an Object Oriented Implementation of the Connection Method, in the Proceedings of DISCO'90, Miola A. ed., Lecture Notes in Computer Science, 429, Springer-Verlag, 280-281, 1990
  • Carlo Gaibisso, Gargano M.: A Trade-Off Analysis for the Choice of an Efficient Representation of Spatial Objects in Large Databases, in the Proceedings of Proceedings of the 10th International Conference of the Chilean Computer Science Society, Santiago del Cile July 23-27, 1990, 1990
  • Giovannini I., Carlo Chiarla, Boldrini G., Castagneto M.: Use of the utilization coefficient (UC) in respiratory monitoring, in: Intensive and Critical Care Medicine - Excerpta Medica, ICS, Elsevier 885, 1990
  • Giovannini I., Carlo Chiarla, Boldrini G., Castagneto M.: New Fick-CO2 method for cardiac output measurement in critically ill patients, in: Intensive and Critical Care Medicine - Excerpta Medica, 885, ICS, Elsevier, 1990
  • Grippo L., Lucidi S.: On the Solution of a Class of Quadratic Programs Using a Differentiable Exact Penalty Function, in: System Modelling and Optimization, Tammer K., Sebastian H.J. eds., Lecture Notes in Control and Information Sciences, 143, Springer-Verlag Berlin, 764-773, 1990
  • Kasangian S., Labella A., Alberto Pettorossi: Observers, Experements, and Agents: A Comprehensive Approach to Parallelism, in the Proceedings of Summer School, La Roche-Posay, France, Lecture Notes in Computer Science, 469, Springer-Verlag, 375-407, 1990
  • Kasangian S., Labella A., Alberto Pettorossi: Observers, Experiments, and Agents: A Comprehensive Approach to Parallelism, in the Proceedings of Summer School, La Roche-Posay, France, Lecture Notes in Computer Science, 469, Springer-Verlag, 375-407, 1990
  • La Bella A., Morini A., Silvestrelli M.: Telematics and Business Travel, in the Proceedings of Telematics- transportation and spatial development. Proceedings of an International Symposium. VPS, 107-134, 1990
  • Limongelli C., Mele M.B., Regio M., Temperini M.: Abstract Specification of Mathematical Structures and Methods, in the Proceedings of DISCO'90, Miola A. ed., Lecture Notes in Computer Science, 429, Springer-Verlag, 61-70, 1990
  • Maceratini R., Crollari S., Maurizio Rafanelli: Expert systems in the Gastrointestinal Diseases, in the Proceedings of 9th Intern. Congr. Medical Informatics, MIE '90, Springer-Verlag, 1990
  • Michele Missikoff, Vazzana S.: An Object Oriented Approach to Knowledge Representation, in the Proceedings of IASTED Symposium, Acta Press Calgary, 84-87, 1990
  • Nanni G., Pittiruti M., Giovannini I.: Gas exchange in septic patients, in: The Role of Nutrition in Pulmonary Disease. Ross Conference, Abbott Intern. Abbott Park, USA, 42-45, 1990
  • Maurizio Proietti, Alberto Pettorossi: Synthesis of Eureka Predicates for Developing Logic Programs, in the Proceedings of Third European Symposium on Programming, ESOP '90, Jones N. ed., Lecture Notes in Computer Science, 432, 1990
  • Maurizio Proietti, Alberto Pettorossi: Construction of Efficient Logic Programs by Loop Absorption and Generalization, in the Proceedings of Second International Workshop on Metaprogramming in Logic, Meta '90, Bruynooghe M. ed., 57-81, 1990
  • Maurizio Rafanelli: Statistical and Scientific Database Management Systems, in: Encyclopedia of Computer Science and Technology, Vol.~23, Kent A., Williams J.G. eds., Dekker Inc. Pittsburgh, PA, 1990
  • Maurizio Rafanelli, Maceratini R.: Proposal of an Expert System in Surgical Domain, in the Proceedings of 9th Intern. Congr. Medical Informatics, MIE '90, Springer-Verlag, 1990
  • Maurizio Rafanelli, Ricci F.L.: A Visual Interface for Browsing and Manipulating Statistical Entities, in the Proceedings of 5th Intern. Conf. on SSDBM, Michalewicz Z. ed., Springer-Verlag Berlin, 163-182, 1990
  • Maurizio Rafanelli, Ricci F.L.: A functional model for statistical entities, in the Proceedings of First Intern. Conf. on Database and Expert Systems Applications, DEXA '90, Vienna, Tjoa A.M., Wagner R.R. eds., Springer-Verlag Wien, 513-520, 1990
  • Maurizio Rafanelli, Shoshani A.: STORM: A Statistical Object Representation Model, in the Proceedings of 5th Intern. Conf. on SSDBM, Michalewicz Z. ed., Springer-Verlag Berlin, 14-29, 1990
  • Maurizio Rafanelli, Shoshani A.: On the representation problems of statistical object, in the Proceedings of Intern. Conference on Database Theory and Application, Techno Data '90, Richter D., Grabowski H. eds., Akademie-Verlag Berlin, 122-132, 1990
  • Regio M., Temperini M.: Implementation and Manipulation of Formal Objects: an Object Oriented view, in the Proceedings of Personal and Small Computers, 1990
  • Regio M., Temperini M.: Object Oriented Methodology for the Specification and the Treatment of Mathematical Objects, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -