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  1983, with author ALL, in the category ALL (or show them all):   (Items found: 66)

1983  [top]
  • Atzeni P., Carboni E.: INCOD (A System for Interactive Conceptual Design) Revisited after the Implementation of a Prototype, in: Entity-Relationship Approach to Software Engineering, Davis C.G., others eds., Elsevier Science Publishers (North-Holland), Amsterdam, 449-464, 1983
  • Atzeni P., Carboni E.: Incod (a system for interactive conceptual design) revisited after the implementation of a prototype., IASI-CNR, R. 55, 02/1983
  • Atzeni P., Morfuni N.M.: Functional dependencies and existence constraints in database relations with null values., IASI-CNR, R. 77, 12/1983
  • Ausiello G., Protasi M., Talamo M.: Probabilistic Models for Hypergraphs and Database Schemes, in the Proceedings of Graph Theoretic Concepts in Computer Science, 1983
  • Batini C., Lenzerini M., Moscarini M.: Views Integration, in: Methodology and Tools for Data Base Design, North-Holland, 57-83, 1983
  • Batini C., Talamo M., Tamassia R.: An Algorithm for Automatic Layout of Entity Relationship Diagrams, in the Proceedings of 3rd International Conference on the Entity Relationship Approach, North Holland, 1983
  • Paola Bertolazzi, Bongiovanni G.: A VLSI structure for the deadlock avoidance problem., IASI-CNR, R. 80, 12/1983
  • Paola Bertolazzi, De Stefanis D., Terranova M.: On optimal file allocation in database machines., IASI-CNR, R. 70, 10/1983
  • Paola Bertolazzi, Michele Missikoff, Terranova M.: CID: a VLSI Device for Lists Intersection, in: Database machines, Leilich H.O., Missikoff M. eds., Springer-Verlag, 188-204, 1983
  • Paola Bertolazzi, Michele Missikoff, Terranova M.: CID: a VLSI device for lists intersection., IASI-CNR, R. 75, 11/1983
  • Paola Bertolazzi, Sudborough I.H.: The grid embedding problem is NP-complete even for edge length 2., IASI-CNR, R. 69, 09/1983
  • Bertuzzi A., Clerico L., Gandolfi A., Germani A., Vitelli R.: Determination of DNA Synthesis Rate in Cell Populations with Locally Exponential S-Phase Influx, in the Proceedings of Mathematics in Biology and Medicine, Bari, Capasso V., Grosso E., Paveri-Fontana S.L. eds., Springer-Verlag Berlino, 260-265, 1983
  • Bertuzzi A., Clerico R., Gandolfi A., Germani A., Vitelli R.: Determination of DNA synthesis rate in cell populations with locally exponential S-phase influx., IASI-CNR, R. 63, 07/1983
  • Bertuzzi A., Gandolfi A.: Recent Views on the Cell Cycle Structure, Bulletin of Mathematical Biology 45, 605-616, 1983
  • Bertuzzi A., Gandolfi A., Germani A., Spanò M., Starace G., Vitelli R.: Analysis of DNA synthesis rate of cultured cells from cytofluorometric data., IASI-CNR, R. 64, 07/1983
  • Bertuzzi A., Gandolfi A., Germani A., Vitelli R.: Estimation of Cell DNA Synthesis Rate from Flow-Cytometric Histograms, Cell Biophysics 5, 223-236, 1983
  • Bertuzzi A., Gandolfi A., Germani A., Vitelli R.: A General Expression for Sequential DNA-Fluorescence Histograms, Journal of Theoretical Biology 102, 55-67, 1983
  • Bertuzzi A., Salinari S., Mancinelli R., Pescatori M.: Peristaltic Transport of a Solid Bolus, Journal of Biomechanics 16, 459-464, 1983
  • Bielli M., Calicchio G., Cini M., Magliozzi L., Oddone M.: Network models in planning the new generations of submarine communication systems., IASI-CNR, R. 72, 10/1983
  • Boldrini G., Ivo Giovannini, Castagneto M., Daniele Gui, Gabriele Sganga: Noninvasive evaluation of metabolic parameters in surgical patients submitted to total parenteral nutrition, in: Recent Developments in Mass Spectrometry in Biochemistry, Medicine and Environmental Research, Elsevier Scientific Publishing Co. Amsterdam, 61-64, 1983
  • Bovet D.P., Gambosi G., Menasce D.A.: Detection and removal of deadlocks in store and forward communication networks., IASI-CNR, R. 76, 11/1983
  • Bruni C., Koch G., Lucidi S.: Analysis of DNA Distributions from Flow-Cytometry: Validation of an Automatic Procedure Against Simulated Data, Cell Biophysics 6, 67-86, 1983
  • Bruni C., Koch G., Lucidi S.: Analysis of DNA distributions from flow cytometry: validation of an automatic procedure against simulated data., IASI-CNR, R. 58, 4/1983
  • Caravani P., Figliuoli L.: A state approach to the term structure of interest rates., IASI-CNR, R. 59, 04/1983
  • Castagneto M., Ivo Giovannini, Boldrini G., Nanni G., Mauro Pittiruti, Gabriele Sganga, Castiglioni G.C.: Cardiorespiratory and metabolic adequacy and their relation to survival in sepsis, Circulatory Shock 11, 112-130, 1983
  • Cioffi G., Lucertini M.: An evaluation model for interconnection networks of large distributed processing systems, in the Proceedings of 21st Allerton Conference on Computing Control and Communications, Urbana-Champagne, 1983
  • D'Atri A., Moscarini M.: Recognition and design of acyclic databases., IASI-CNR, R. 78, 12/1983
  • D'Atri A., Moscarini M., Spyratos N.: Answering Queries in Relational Databases, Sigmod Record 13 (4), 173-177, 1983
  • Di Pillo G., Grippo L.: A class of continuously differentiable exact penalty function algorithms for nonlinear programming problems., IASI-CNR, R. 74, 11/1983
  • Di Pillo G., Grippo L., Lampariello F.: A Class of Structured Quasi-Newton Algorithms for Optimal Control Problems, in the Proceedings of 3th IFAC Workshop on Applications of Nonlinear Programming to Optimization and Control, Palo Alto, 101-107, 1983
  • Di Pillo G., Grippo L., Lampariello F.: A class of structured quasi-Newton algorithms for optimal control problems., IASI-CNR, R. 60, 05/1983
  • Fagiolo E., Pozzetto U., Cellini N., Valentini V.: Determination of radiation dose on blood components to prevent post-transfusional graft-vs-host reaction, Haematologica 68 (5), 1983
  • Gamerman S., Salza S., Scholl M.: Analysis of Filtering Efficiency in the Database Machine VERSO, in the Proceedings of Third International Workshop on Database Machines, Munich, Leilich H.O., Missikoff M. eds., Springer-Verlag Berlin, 91-105, 1983
  • Gandolfi A., Gerardi A., Marchetti F.: Association rates of diffusion-controlled reactions in two dimensions., IASI-CNR, R. 73, 10/1983
  • Gandolfi A., Germani A.: On the definition of a topology in Hilbert spaces with applications to the white noise theory, Journal of the Franklin Institute-Engineering and Applied Mathematics 316, 435-444, 1983
  • Germani A., Monaco S.: Functional output epsilon-trajectory controllability for linear systems on Hilbert spaces, Systems & Control Letters 2, 313-320, 1983
  • Germani A., Piccioni M.: Finite-dimensional approximations of stochastic bilinear differential equations in Hilbert spaces., IASI-CNR, R. 61, 06/1983
  • Germani A., Piccioni M.: A Galerkin approximation for the Zakai equation., IASI-CNR, R. 68, 09/1983
  • Germani A., Piccioni M.: Nonlinear filtering for Markov processes: an L? approach., IASI-CNR, R. 71, 10/1983
  • Ivo Giovannini, Boldrini G., Castagneto M., Gabriele Sganga, Nanni G., Mauro Pittiruti, Castiglioni G.C.: Respiratory quotient and patterns of substrate utilization in human sepsis and trauma, Journal of Parenteral and Enteral Nutrition 7, 226-230, 1983
  • Ivo Giovannini, Boldrini G., Gabriele Sganga, Castiglioni G.C., Castagneto M.: Quantification of the determinants of arterial hypoxemia in critically ill patients, Critical Care Medicine 11, 644-645, 1983
  • Ivo Giovannini, Castagneto M., Boldrini G., Tonelli M., Perla A., Daniele Gui, Gabriele Sganga: Assessment of metabolic,respiratory and hemodynamic condition of critically ill patients by mass spectrometry, in: Recent Developments in Mass Spectrometry in Biochemistry, Medicine and Environmental Research, Elsevier Scientific Publishing Co. Amsterdam, 55-60, 1983
  • La Bella A.: Population, Labor Market and Economic Growth in a Multi-Regional, Multi- Sectorial System, Sistemi Urbani 2, 1983
  • Labella A., Alberto Pettorossi: Categories for Handshaking Communications, in the Proceedings of Colloquia Mathematica Societatis Janos Bolyai 42. Algebra, Combinatorics and Logic in Computer Science, 555-582, 1983
  • Labella A., Alberto Pettorossi: Towards a categorical understanding of parallelism., IASI-CNR, R. 54, 01/1983
  • Labella A., Alberto Pettorossi: Categories for handshaking communications., IASI-CNR, R. 67, 09/1983
  • Leilich H.O., Michele Missikoff eds.: Database Machines, Springer-Verlag Heidelberg, 1983
  • Lucertini M., Paletta G.: A class of network design problems with multiple demand: model formulation and an algorithmic approach., IASI-CNR, R. 57, 03/1983
  • Mancinelli R., Marzio L., Pescatori M., Bertuzzi A., Salinari S., Serrao F., Vulpio C., Emanuele T.: Some Parameters of Descending Inhibition During Colonic Propulsion, American Journal of Physiology 245, G307-G312, 1983
  • Marchetti Spaccamela A., Talamo M.: Probabilistic Analysis of Graph Colouring Algorithms, in the Proceedings of CAAP '83, 1983
  • Marchetti Spaccamela A., Talamo M.: Probabilistic Analysis of Two Euclidean Location Problems, Rairo-Informatique Theorique et Applications-Theoretical Informatics and Applications 17, 1983
  • Mascari G., Miola A.: Computations on numerical and symbolic expressions: a semantic analysis., IASI-CNR, R. 65, 09/1983
  • Miola A.: Algebraic approach to P-adic conversion of rational numbers., IASI-CNR, R. 56, 02/1983
  • Miola A.: Design specifications for manipulation of sums and series., IASI-CNR, R. 66, 09/1983
  • Michele Missikoff: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of Proc. of AI Europa Conference, 1983
  • Michele Missikoff, Scholl M.: Relational Queries in a Domain Based Relational System, in the Proceedings of Proc. of ACM-SIGMOD Conference, 1983
  • Michele Missikoff, Terranova M.: The Architecture of a Relational Database Computer Known as DBMAC, in: Advanced Database Machine Architectures, Hsiao D. ed., Prentice Hall, 87-108, 1983
  • Nanni G., Mauro Pittiruti, Castagneto M.: Carnitine plasma levels during total parenteral nutrition, American Journal of Clinical Nutrition 38 (2), 339-41, 1983
  • Alberto Pettorossi: Towards a Theory of Parallelism and Communications for Increasing Efficiency in Applicative Languages, in the Proceedings of 1980 Conference on Logic of Programs and Their Applications, Salwicki A. ed., Lecture Notes in Computer Science, 148, Springer-Verlag, 224-249, 1983
  • Protasi M., Talamo M.: A New Probabilistic Model for the Study of Algorithmic Properties of Random Graph Problems, in the Proceedings of FCT '83, Springer-Verlag, 1983
  • Protasi M., Talamo M.: A new probabilistic model for the study of algorithmic properties of random graph problems., IASI-CNR, R. 81, 12/1983
  • Rafanelli M., Ricci F.L.: An integrated management model of general register files for the family doctor choice, in: Health Information systems: the Italian approach, Fernandez Perez de Talens A. ed., IFIP-IMIA, 67-72, 1983
  • Rafanelli M., Ricci F.L.: A Management System for Unified Booking Center for Public Clinics, in the Proceedings of 4th World Congress of Medical Informatics, Medinfo '83, North Holland, 269-272, 1983
  • Rafanelli M., Ricci F.L.: Proposal of a logical model for statistical databases, in the Proceedings of II Intern. Workshop on Statistical Databases, Los Altos, California, Hammond R., McCarthy J.L. eds., Univ. California Berkeley, CA, 264-272, 1983
  • Rafanelli M., Ricci F.L.: A data definition language for a statistical database., IASI-CNR, R. 62, 07/1983
  • Salza S., Bonelli G.: Directory management of a distributed file system: a performance analysis., IASI-CNR, R. 79, 12/1983
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -