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 ALL (or show them all):   (Items found: 112)


1990  [top]
  • Alekseeva E.I., Kirzhner V.M.: On the influence of connecting structures upon stability of a finite set of dynamic systems., IASI-CNR, R. 314, 12/1990
  • Antenucci G., Sara Nicoloso, Simeone B.: Optimal hypergraph partitioning in VLSI circuit layout., IASI-CNR, R. 291, 6/1990
  • Antenucci G., Sara Nicoloso, Simeone B.: Optimal Hypergraph Partitioning in VLSI Circuit Layout, in the Proceedings of Atti delle Giornate AIRO 1990, 1990
  • Arbib C., Lucertini M., Sara Nicoloso: Polynomial and NP-complete problems in programmed logic arrays folding., IASI-CNR, R. 284, 1/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
  • Atzeni P., Torlone R.: Updating intentional predicates in datalog., IASI-CNR, R. 295, 07/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
  • Bertuzzi A., 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
  • Bertuzzi A., Finotti E., Mingrone G., Greco A.V.: Sebacic acid binding to human plasma albumin., IASI-CNR, R. 302, 09/1990
  • Bertuzzi A., 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., Bielli M., Mingozzi A., Ricciardelli S., Spadoni M.: A heuristic procedure for the crew rostering problem., IASI-CNR, R. 285, 01/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 M.: Traveling salesman problem with precedence constraints., IASI-CNR, R. 310, 11/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
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for the propositional theory., IASI-CNR, R. 289, 04/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
  • Campisi D., La Bella A., Gastaldi M.: Managing regional growth in a dualistic economy., IASI-CNR, R. 305, 10/1990
  • Campisi D., La Bella A., Gastaldi M.: Technological change and transportation supply in developed countries., IASI-CNR, R. 308, 10/1990
  • Campisi D., La Bella A., Nastasi A.: Balanced growth and stability of the Leontief dynamic model: an analysis of the italian economy., IASI-CNR, R. 303, 10/1990
  • Campisi D., La Bella A., Nastasi A.: Structural analysis and dynamics of multiregional multisectorial models., IASI-CNR, R. 307, 10/1990
  • Carlo Chiarla, Ivo Giovannini, 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, Ivo Giovannini, 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, Ivo Giovannini, 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, Ivo Giovannini, 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, Ivo Giovannini, 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., Ivo Giovannini, De Gaetano A., Goodarzi S., Tacchino R.M., Sganga G.: 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
  • d'Amore F., Franciosa P.G.: Separating sets of hyperrectangles., IASI-CNR, R. 299, 09/1990
  • d'Amore F., Franciosa P.G.: A dynamic framework for efficiently managing sets of polylines., IASI-CNR, R. 309, 11/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
  • De Santis A., Alfredo Germani, Raimondi M.: Optimal recursive second order polynomial estimation for linear discrete time non-Gaussian systems., IASI-CNR, R. 298, 09/1990
  • De Santis A., Alfredo Germani, Scoglio C.: Kalman filter approach to solution of rational expectations models., IASI-CNR, R. 296, 07/1990
  • De Simone C.: Lifting Facets of the Cut Polytope, Operations Research Letters 9, 341-344, 1990
  • De Simone C., 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
  • De Simone C., Anna Galluccio: New classes of Berge perfect graphs., IASI-CNR, R. 306, 10/1990
  • De Simone C., Lucertini M., Simeone B., Pallottino S.: Fair Dissections of Spiders, Worms, and Caterpillars, Networks 20, 323-344, 1990
  • Deza M., Grishukhin V.P., Laurent M.: Hypermetrics and L-polytopes., IASI-CNR, R. 286, 01/1990
  • Di Pillo G., Grippo L., Lucidi S.: A smooth method for the finite minimax problem., IASI-CNR, R. 293, 6/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
  • Facchinei F., Lucidi S.: A method for the minimization of a quadratic convex function over the simplex., IASI-CNR, R. 300, 9/1990
  • Facchinei F., Lucidi S.: A class of methods for optimization problems with simple bounds: Part 1: Definition and Analysis of two Exact Penalty Functions., IASI-CNR, R. 313, 12/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, Franciosa P.G., Talamo M.: An on-line convex hull algorithm on reals., IASI-CNR, R. 301, 9/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., Nardelli E., Talamo M.: A pointer-free data structure for merging heaps and min-max heaps., IASI-CNR, R. 287, 2/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
  • Gandolfi A., Strom R.: Cell-mediated antigen presentation to Th-cells: a mathematical model., IASI-CNR, R. 315, 12/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
  • Ivo Giovannini, 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
  • Ivo Giovannini, 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., Lampariello F., Lucidi S.: A class of nonmonotone stabilization methods in unconstrained optimization., IASI-CNR, R. 290, 5/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., Pettorossi A.: 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., Pettorossi A.: 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
  • Malvestuto F.M., Moscarini M., Maurizio Rafanelli: Suppressing marginal cells to protect sensitive information in a two-dimensional statistical table., IASI-CNR, R. 312, 12/1990
  • Meo Evoli L., Maurizio Rafanelli, Ricci F.L.: The relational model and the statistical tables, Statistical Software Newsletter 16 (3), 78-84, 1990
  • Mingrone G., Greco A.V., Bertuzzi A., Arcieri-Mastromattei E., Tacchino R.M., Marino F., Finotti E., Castagneto M.: Tissue uptake and oxidation of disodium sebacate in man., IASI-CNR, R. 294, 07/1990
  • Michele Missikoff, Nigam A., Vazzana S.: CL: A uniform representation for frame definition languages., IASI-CNR, R. 297, 09/1990
  • Michele Missikoff, Vazzana S.: An Object Oriented Approach to Knowledge Representation, in the Proceedings of IASTED Symposium, Acta Press Calgary, 84-87, 1990
  • Michele Missikoff, Vazzana S.: Object oriented systems and knowledge representation., IASI-CNR, R. 288, 03/1990
  • Nanni G., Pittiruti M., Ivo Giovannini: Gas exchange in septic patients, in: The Role of Nutrition in Pulmonary Disease. Ross Conference, Abbott Intern. Abbott Park, USA, 42-45, 1990
  • Sara Nicoloso, Nobili P.: A set covering formulation of the matrix equipartition problem., IASI-CNR, R. 311, 11/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
  • Pettorossi A., Maurizio Proietti: The loop absorption and the generalization strategies for the development of logic programs., IASI-CNR, R. 304, 10/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, Pettorossi A.: 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, Pettorossi A.: 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, Ricci F.L.: Mefisto: a functional model for statistical entities., IASI-CNR, R. 292, 06/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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -