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., Alfredo Germani, 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., Alfredo Germani, 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., Alfredo Germani, 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., Alfredo Germani, Vitelli R.: Estimation of Cell DNA Synthesis Rate from Flow-Cytometric Histograms, Cell Biophysics 5, 223-236, 1983
  • Bertuzzi A., Gandolfi A., Alfredo Germani, 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., Gui D., Sganga G.: 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., Pittiruti M., Sganga G., 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., Alfredo Germani: 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
  • Alfredo Germani, Monaco S.: Functional output epsilon-trajectory controllability for linear systems on Hilbert spaces, Systems & Control Letters 2, 313-320, 1983
  • Alfredo Germani, Piccioni M.: Finite-dimensional approximations of stochastic bilinear differential equations in Hilbert spaces., IASI-CNR, R. 61, 06/1983
  • Alfredo Germani, Piccioni M.: A Galerkin approximation for the Zakai equation., IASI-CNR, R. 68, 09/1983
  • Alfredo Germani, Piccioni M.: Nonlinear filtering for Markov processes: an L? approach., IASI-CNR, R. 71, 10/1983
  • Ivo Giovannini, Boldrini G., Castagneto M., Sganga G., Nanni G., Pittiruti M., 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., Sganga G., 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., Gui D., Sganga G.: 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., Pettorossi A.: 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., Pettorossi A.: Towards a categorical understanding of parallelism., IASI-CNR, R. 54, 01/1983
  • Labella A., Pettorossi A.: 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., Pittiruti M., Castagneto M.: Carnitine plasma levels during total parenteral nutrition, American Journal of Clinical Nutrition 38 (2), 339-41, 1983
  • Pettorossi A.: 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
  • Maurizio Rafanelli, 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
  • Maurizio Rafanelli, 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
  • Maurizio Rafanelli, 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
  • Maurizio Rafanelli, 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -