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

1984  [top]
  • Atzeni P., Morfuni N.M.: Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values, in: Automata, Languages and Programming (Proc. of the 11th ICALP, Antwerp, Belgium, July 1984), Lecture Notes in Computer Science, 172, Springer-Verlag, 69-81, 1984
  • Atzeni P., Morfuni N.M.: Functional Dependencies in Relations with Null Values, Information Processing Letters 18 (4), 233-238, 1984
  • Ausiello G., Paola Bertolazzi: Parallel computation models: an Introduction, in the Proceedings of Algorithm design for computer sistem design, Springer-Verlag, 161-182, 1984
  • Ausiello G., D'Atri A., Moscarini A.: On the existence of acyclic views in database scheme., IASI-CNR, R. 86, 05/1984
  • Ausiello G., D'Atri A., Moscarini M.: Minimal Coverings of Acyclic Database Schemata, in: Advances in Data Base Theory, vol. 2, Gallaire H., Minker J. eds., Plenum Press, 27-51, 1984
  • Ausiello G., D'Atri A., Moscarini M.: Optimal acyclic covering over hypergraphs., IASI-CNR, R. 87, 05/1984
  • Ausiello G., Lucertini M., Serafini P. eds.: Algorithm Design for Computer System Design, Springer-Verlag New York, 1984
  • Batini C., Talamo M., Tamassia R.: Computer Aided Layout of Entity Relationship Diagrams, Journal of Software and Systems, 1984
  • Paola Bertolazzi, Leporelli C., Lucertini M.: Alternative group relaxation of integer programming problems, Discrete Applied Mathematics 8, 143-151, 1984
  • Paola Bertolazzi, Pirozzi M.: A parallel algorithm for the optimal detection of a noisy curve, Computer Vision Graphics and Image Processing 27, 380-386, 1984
  • Bertuzzi A., Gandolfi A., Germani A., Spanò G., Starace G., Vitelli R.: Analysis of DNA Synthesis Rate of Cultured Cells from Flow Cytometric Data, Cytometry 5, 619-628, 1984
  • Bertuzzi A., Mancinelli R., Pescatori M., Salinari S.: Mechanisms of gastrointestinal motor activity: measurements and models of normal and pathological situations., IASI-CNR, R. 108, 12/1984
  • Blazewicz J., Bovet D.P., Gambosi G.: Deadlock Resistant Flow Control Procedures for Store-and-Forward Networks, IEEE Transactions on Communications, 1984
  • Blazewicz J., Brzezinski J., Gambosi G.: Time-stamps approachorometric data., IASI-CNR, R. 88, 7/1984
  • Blazewicz J., Brzezinski J., Gambosi G.: Time stamps approach to prevention of different deadlock types in store-and-forward networks., IASI-CNR, R. 106, 12/1984
  • Boldrini G., Ivo Giovannini, Castagneto M., Gabriele Sganga, Tramutola G., Castiglioni G.C.: Diagnosis of metabolic and cardiorespiratory interactions in critically ill surgical patients by mass spectrometry, Spectroscopy-An International Journal 3, 395-400, 1984
  • Bovet D.P., Gambosi G., Menasce D.A.: Detection and Removal of Deadlocks in Store and Forward Communication Networks, in the Proceedings of Performance of Computer - Communication Systems, 1984
  • Bruni C., Gandolfi A., Germani A.: Analysis of the Parameter Constraints for a Proposed Antibody Affinity Distribution, Journal of Theoretical Biology 109, 71-76, 1984
  • Campisi D., La Bella A.: The dynamics of urban population., IASI-CNR, R. 91, 06/1984
  • Castagneto M., Ivo Giovannini, Boldrini G., Gabriele Sganga, Tramutola G., Carlo Chiarla, Castiglioni G.C.: Metabolism and nutrition in surgical sepsis, The Italian Journal of Surgical Sciences 14 (3), 247-51, 1984
  • Cioni G., Kreczmar A.: Programmed deallocation without dangling reference, Information Processing Letters 18, 179-187, 1984
  • D'Alessandro P., Germani A., Piccioni M.: Relationships between measures induced by Ito and white noise linear equations, Mathematics and Computers in Simulation 26, 368-372, 1984
  • D'Atri A., Moscarini M.: On the Recognition and Design of Acyclic Databases, in the Proceedings of Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Waterloo, Canada, Hanser Verlag, 1984
  • De Leone R., Gaudioso M., Grippo L.: Stopping Criteria for Linesearch Methods without Derivatives, Mathematical Programming 30, 1984
  • Di Pillo G., Grippo L.: A Class of Continuously Differentiable Exact Penalty Function Algorithms for Nonlinear Programming Problems, in: System Modelling and Optimization, Toft-Christensen P. ed., Springer-Verlag Berlin, 246-256, 1984
  • Di Pillo G., Grippo L.: An exact penalty method with global convergence properties for nonlinear programming problems., IASI-CNR, R. 99, 10/1984
  • Di Pillo G., Grippo L., Lampariello F.: A Newton-type Computing Technique for Optimal Control Problems, International Journal on Optimal Control, Applications and Methods 5, 1984
  • Gambosi G., Talamo M.: A data structure for fast memory allocation in well-dimensioned systems., IASI-CNR, R. 102, 12/1984
  • Germani A., Jetto L., Piccioni M.: Approximation of the infinite dimensional Kalman filter by projections., IASI-CNR, R. 95, 09/1984
  • Germani A., Piccioni M.: Nonlinear filtering for Markov processes: an $L_2$ approach, Bensoussan A., Lions J.L. eds., Lecture Notes in Control and Information Sciences, 62, Springer-Verlag Berlin, 581-591, 1984
  • Germani A., Piccioni M.: A Galerkin approximation for the Zakai equation, Thoft-Christensen P. ed., Lecture Notes in Control and Information Sciences, 59, Springer-Verlag Berlin, 415-423, 1984
  • Germani A., Piccioni M.: Finite-dimensional approximations for the equation of nonlinear filtering derived in mild form., IASI-CNR, R. 89, 05/1984
  • Ivo Giovannini, Boldrini G., Castagneto M., Carlo Chiarla, De Gaetano A.M., Castiglioni G.C.: Reference sources and computational data for cardiorespiratory monitoring by mass spectrometer in critically ill patients, Spectroscopy-An International Journal 3, 401-407, 1984
  • Grippo L., Lampariello F., Lucidi S.: A non monotone line search technique for the Newton method., IASI-CNR, R. 100, 11/1984
  • Gutenbaum J.: Smoothing of the Pareto optimal solutions set in linear multiobjective optimization problems., IASI-CNR, R. 110, 12/1984
  • Justin J., Pirillo G.: Two combinatorial properties of partitions of the free semigroup into finitely many parts, Discrete Mathematics 52 (2-3), 299-303, 1984
  • Labella A., Alberto Pettorossi: Categorical models for hand-shaking communications., IASI-CNR, R. 90, 05/1984
  • Lucertini M.: Models of the Task Assignment Problem in Distributed Systems, in: Algorithm Design for Computer System Design, Ausiello G., Lucertini M., Serafini P. eds., Springer-Verlag New York, 1984
  • Lucertini M., Paletta G.: Two-commodity network design with multiple demand, in the Proceedings of 22nd Allerton Conference on Computing Control and Communications, Urbana-Champagne, 1984
  • Lucertini M., Paletta G.: Network Design with Non-simultaneous Flows, in: Algorithm Design for Computer System Design, Ausiello G., Lucertini M., Serafini P. eds., Springer-Verlag New York, 1984
  • Lucertini M., Paletta G.: A Decomposition Method for Network Design with Multicommodity Non-simultaneous Flows, in: Graph Theoretic Concepts in Computer Science, Pape U. ed., Trauner, 1984
  • Lucertini M., Telmon D.: Time management: an optimization model., IASI-CNR, R. 104, 12/1984
  • Lucidi S.: A Newton-type Algorithm for a Class of Distributed Parameter Optimal Control Problems, in: Methods and Applications of Measurement and Control, Tzafestas S.G., Hamza M.H. eds., 1984
  • Marchetti Spaccamela A., Protasi M., Talamo M.: On Some Relationship Between Combinatorics and Probabilistic Analysis, Annals of Discrete Mathematics, 1984
  • Miola A.: An interactive system for manipulation of sums and series, in the Proceedings of International Conference in Artificial Intelligence, 1984
  • Miola A.: Complexity issues in algebraic algorithms, in the Proceedings of Mathematical Education, 1984
  • Miola A.: Mathematics and computer science - A case study: algebraic algorithms, Rivista Serdica 10, 216-222, 1984
  • Miola A.: Algebraic approach to p-adic conversion of rational numbers, Information Processing Letters 18, 167-171, 1984
  • Michele Missikoff, Wiederhold G.: Towards a unified approach for expert and database systems., IASI-CNR, R. 103, 12/1984
  • Monaco S., Normand-Cyrot D.: Input-output approximation of nonlinear discrete-time system from an equilibrium point., IASI-CNR, R. 84, 04/1984
  • Monaco S., Normand-Cyrot D.: Developments fonctionnels pour les systemes non lineaires en temps discret., IASI-CNR, R. 98, 10/1984
  • Musiani P., Citterio F., Maggiano N., Pozzetto U., Lauriola L., Luciani G., Ranelletti F.O., Castagneto M., Piantelli M.: Glucocorticoid inhibitory action on the response to PHA of residual circulatory lymphocytes in renal transplant patients following immunosoppressive therapy, Clinical and Experimental Immunology 55, 1984
  • Musiani P., Citterio F., Maggiano N., Pozzetto U., Lauriola L., Ranelletti F.O., Aiello F., Piantelli M.: Glucocorticoid inhibitory action on OKT3-stimulated pheripheral blood lymphocytes from renal transplant patients, Transplantation 38 (3), 1984
  • Nardelli E., Talamo M.: A fast algorithm for planarization of sparse diagrams., IASI-CNR, R. 105, 12/1984
  • Padberg M.: Total unimodularity and the Euler-subgraph problem., IASI-CNR, R. 92, 07/1984
  • Padberg M., Sassano A.: Matching with bonds: I., IASI-CNR, R. 85, 04/1984
  • Alberto Pettorossi: An Algorithm for Saving Memory in Recursive Programs Using Destructive Annotations, in: Computer Program Synthesis Methodologies, Biermann , Guiho , Kodratoff eds., Macmillan Co. New York, 289-303, 1984
  • Alberto Pettorossi: A powerful strategy for deriving efficient programs by transformation, in the Proceedings of ACM Symposium on Lisp and Functional Programming, ACM Press, 273-281, 1984
  • Alberto Pettorossi: Towers of Hanoi problems: deriving the iterative solutions using the program transformation technique., IASI-CNR, R. 82, 03/1984
  • Alberto Pettorossi: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
  • Alberto Pettorossi: A powerful strategy for deriving efficient programs by transformations., IASI-CNR, R. 93, 07/1984
  • Alberto Pettorossi, Skowron A.: Higher Order Communications for Concurrent Programming, Parallel Computing 1 (3/4), 331-336, 1984
  • Alberto Pettorossi, Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
  • Protasi M., Talamo M.: On the maximum size of random trees., IASI-CNR, R. 107, 12/1984
  • Rafanelli M., Ricci F.L.: Statistical database: an interactive language for logical schema definition by means of a model based on graphs, in the Proceedings of VI International Conference on Computational Statistics, COMPSTAT '84, Praga, Havranek T., Sidak Z., Novak M. eds., Physica-Verlag Wien, 279-284, 1984
  • Rafanelli M., Ricci F.L.: Staquel: a query language for statistical database., IASI-CNR, R. 96, 10/1984
  • Rafanelli M., Ricci F.L., Perucci C.: An Integrated System for the General Practitioner Choice Management, in the Proceedings of 5th Intern. Congr. Medical Informatics, MIE '84, Springer-Verlag, 552-557, 1984
  • Salza S., Terranova M.: A methodology for the analysis of the workload in relational database systems., IASI-CNR, R. 97, 10/1984
  • Salza S., Terranova M., Velardi P.: Performance analysis of the interconnection architecture in a multiprocessor database machine., IASI-CNR, R. 109, 12/1984
  • Sassano A., Padberg M.: Matching with bonds: II., IASI-CNR, R. 101, 11/1984
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -