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 Journals, Collections and Proceedings (or show them all):   (Items found: 80)


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
  • Atzeni P., Torlone R.: Efficient Updates to Independent Schemes in the Weak Instance Model, Sigmod Record 19 (2), 84-93, 1990
  • Paola Bertolazzi, Guerra C., Salza S.: An optimal parallel algorithm for the visibility problem from a point, Journal of Parallel and Distributed Computing 9, 11-14, 1990
  • Alessandro Bertuzzi, D'Agnano I., Gandolfi A., Starace G., Ubezio P.: Quantitative Study of Fluorescent Probes in Cellular Systems by Flow Cytometry, Cell Biophysics 17, 257-267, 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.: Multilevel Approach to the ATC problem: On-line strategic control of flights, International Journal of Systems Science 21, 1515-1527, 1990
  • Bianco L., La Bella A.: Social preference and political issues in transportation planning: an analytical approach, Systems Analysis Modelling Simulation 7 (2), 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
  • Campisi D., La Bella A.: Turnpike Stability and Transportation Policies, Regional Science Review 17, 94-116, 1990
  • Carlo Chiarla, Giovannini I., Siegel J.H., Boldrini G., Coleman W.P., Castagneto M.: Relationship of plasma cholesterol level to doses of branch-chain amino acid in sepsis, Critical Care Medicine 18 (1), 32-36, 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
  • Coleman W.P., Siegel J.H., Giovannini I., De Gaetano A., Goodarzi S., Tacchino R.M., Gabriele Sganga: Probability and the patient state space, International Journal of Clinical Monitoring and Computing 7, 201-215, 1990
  • Conforti M., Rao M.R., Sassano A.: The Equipartition Polytope II: Valid Inequalities and Facets, Mathematical Programming 49 (1), 71-90, 1990
  • Conforti M., Rao M.R., Sassano A.: The Equipartition Polytope I: Formulations, Dimension and Basic Facets, Mathematical Programming 49 (1), 49-70, 1990
  • De Santis A., Alfredo Germani, Jetto L.: Image Modelling by Smooth Two-dimensional Gaussian Processes in the Recursive Restoration Problem, Physica Medica 6, 25-34, 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: Lifting Facets of the Cut Polytope, Operations Research Letters 9, 341-344, 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
  • Caterina De Simone, Lucertini M., Simeone B., Pallottino S.: Fair Dissections of Spiders, Worms, and Caterpillars, Networks 20, 323-344, 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, Gambosi G., Talamo M.: A Partially Persistent Data Structure for the Set-Union Problem, Rairo-Theoretical Informatics and Applications 24, 189-202, 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
  • Gambosi G., Nešetřil J., Talamo M.: On Locally Presented Posets, Theoretical Computer Science, 1990
  • Gambosi G., Postiglione A., Talamo M.: On the Average Performance of Some On-Line Bin Packing Algorithms, EATCS Bulletin (41), 1990
  • Alfredo Germani: Bidimensional filtering, Physica Medica 6, 2-4, 1990
  • Giangiuliani G., Gui D., Bonatti P.L., Tozzi P., Caracciolo F.: Apache II in surgical lung carcinoma patients, Chest 98, 627-630, 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
  • Greenland S., Salvan A.: Bias in the one-step method for pooling study results, Statistics in Medicine 9, 247-252, 1990
  • Grippo L., Lampariello F., Lucidi S.: A Quasi-Discrete Newton Algorithm with a Nonmonotone Stabilization Technique, Journal of Optimization Theory and Applications 64, 495-510, 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
  • Inglese G., Pirillo G.: A remark on a result by A. Thue, Pure Mathematics and Applications. Series A 1 (1), 21-28, 1990
  • Justin J., Pirillo G.: A finiteness condition for semigroups generated by a finite set of elements of finite order, Pure Mathematics and Applications. Series A 1 (1), 45-48, 1990
  • Justin J., Pirillo G.: Some remarks on the permutation property for semigroups, European Journal of Combinatorics 11 (2), 151-154, 1990
  • Justin J., Pirillo G.: Infinite words and permutation properties, Semigroup Forum 40 (1), 13-22, 1990
  • Justin J., Pirillo G., Varricchio S.: Some conditions on the product of two elements of a semigroup, Atti Della Accademia Nazionale dei Lincei Rendiconti-Classe di Scienze Fisiche-Matematiche & Naturali 1 (2), 85-87, 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
  • Lenzerini M., Nobili P.: On the satisfiability of dependency constraints in entity-relationship schemata, Information Systems 15 (4), 453-461, 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
  • Lucidi S.: Recursive Quadratic Programming Algorithm that Uses an Exact Augmented Lagrangian Function, Journal of Optimization Theory and Applications 67, 227-245, 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
  • Meo Evoli L., Maurizio Rafanelli, Ricci F.L.: The relational model and the statistical tables, Statistical Software Newsletter 16 (3), 78-84, 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
  • Padberg M., Giovanni Rinaldi: Addendum to Optimization of a 532-city symmetric traveling salesman problem by branch-and-cut, Operations Research Letters 9, 1990
  • Padberg M., Giovanni Rinaldi: An efficient algorithm for the minimum capacity cut problem, Mathematical Programming 47 (1), 19-36, 1990
  • Padberg M., Giovanni Rinaldi: Facet identification for the symmetric traveling salesman polytope, Mathematical Programming 47 (2), 219-257, 1990
  • Pirillo G.: On a combinatorial property of Fibonacci infinite word, Pure Mathematics and Applications. Series A 1 (2), 143-147, 1990
  • Pozzetto U., Citterio F., Caizzi M.P., Serino F., Castagneto M.: Humoral Immune Reaction to Pig Antigens in Human, Transplantation Proceedings 22 (4), 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, Ricci F.L.: A Visual Interface for Statistical Entities, Bulletin of the Technical Committee on Data Engineering (IEEE-CS) 13 (3), 35-43, 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
  • Maurizio Rafanelli, Shoshani A.: STORM: A Statistical Object Representation Model, Bulletin of the Technical Committee on Data Engineering (IEEE-CS) 13 (3), 12-18, 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
  • Schachter G., La Bella A., Danielis R., Campisi D.: Planning Regional Development for an Efficent Use of Energy Resources in Italy, Systems Analysis Modelling Simulation 7 (8), 611-624, 1990
  • Serino F., Citterio F., Oradei A., Agnes S., Nanni G., Pozzetto U., Littarru G., Castagneto M.: Coenzyme Q, Alpha Tocopherol and Delayed Function in Human Kidney Transplantation, Transplantation Proceedings 22 (4), 1990
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -