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


1985  [top]
  • Arcieri M., Miola A., Panasiti F.: A package of tools for manipulation of sums and series, in the Proceedings of EUROCAL 85, Buchberger B. ed., Lecture Notes in Computer Science, 203, Springer-Verlag, 1985
  • Atzeni P., Chan E.P.F.: Efficient Query Answering in the Representative Instance Approach, in the Proceedings of Fourth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 181-188, 1985
  • Atzeni P., Morfuni N.M.: Functional dependencies and constraints on null values in database relations., IASI-CNR, R. 111, 01/1985
  • Atzeni P., Parker Jr. D.S.: Formal properties of net-based knowledge representation schemes., IASI-CNR, R. 135, 12/1985
  • Ausiello G., D'Atri A., Moscarini M.: Chordality Properties on Graphs and Minimal Connections in Semantic Data Models, in the Proceedings of Fourth Annual ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Portland, Oregon, 1985
  • Ausiello G., D'Atri A., Moscarini M.: Chordality properties on graphs and minimal conceptual connections in semantic data models., IASI-CNR, R. 123, 07/1985
  • Ausiello G., Lucertini M. eds.: Analysis and Design of Algorithms for Combinatorial Problems, Annals of Discrete Mathematics, 25, North-Holland Amsterdam, 1985
  • Paola Bertolazzi: Dynamic programming procedures for SIMD architectures, in: Annals of discrete mathematics 25:Analysis and design of algorithms for combinatorial problems, Ausiello G., Lucertini M. eds., NORTH-HOLLAND, 47-63, 1985
  • Paola Bertolazzi, Bongiovanni G.: A VLSI structure for the deadlock avoidance problem, Journal of Parallel and Distributed Computing 1 (2), 352-361, 1985
  • Paola Bertolazzi, Luccio F. eds.: VLSI: algorithms and architectures, 1985
  • Bertuzzi A., Gandolfi A., Alfredo Germani, Vitelli R., Badaracco G., Starace G.: DNA synthesis rate in neoplastic cells in culture., IASI-CNR, R. 117, 05/1985
  • Bertuzzi A., Gandolfi A., Vitelli R.: A regularization procedure for estimating cell kinetic parameters from flow cytometry., IASI-CNR, R. 140, 12/1985
  • Bertuzzi A., Salinari S.: Mathematical methods in the analysis of colonic motility., IASI-CNR, R. 133, 12/1985
  • Bianco L., Ricciardelli S., Rinaldi G., Sassano A.: Scheduling tasks with sequence dependent processing times., IASI-CNR, R. 120, 05/1985
  • Bruni C., Capurso L., Koch G., Koch M., Lampariello F., Lucidi S., Teodori L.: Automatic analysis of flow cytometrically determined DNA distributions in the presence of abnormal stemlines., IASI-CNR, R. 114, 3/1985
  • Campisi D.: The spatial components of demographic change., IASI-CNR, R. 115, 04/1985
  • Campisi D., La Bella A.: The Dynamics of Urban Populations, Sistemi Urbani 3, 221-235, 1985
  • Campisi D., La Bella A.: An input-output based approach to the evaluation of transportation plans., IASI-CNR, R. 129, 11/1985
  • Chan E.P.F., Atzeni P.: On the properties and characterization of connection-tra-free schemes., IASI-CNR, R. 137, 12/1985
  • Cioni G., Miola A.: How to treat decisions problems using different programming methodologies, in the Proceedings of Mathematical Problems in Computation Theory, 1985
  • Citterio F., Castagneto M., Pozzetto U., Nanni G., Luciani G., Agnes S., Tazza L., Magalini S., Castiglioni G.C.: T lymphocyte subsets in cyclosporine-treated renal allograft recipients, Transplantation Proceedings XVII, 1985
  • Conforti M., Laurent M.: A characterization of matroidal systems of inequalities., IASI-CNR, R. 121, 06/1985
  • Di Pillo G., Grippo L.: A Continuously Differentiable Exact Penalty Function for Nonlinear Programming Problems with Inequality Constraints, SIAM Journal on Control and Optimization 23, 1985
  • Di Pillo G., Grippo L.: On the exactness of class of nondifferentiable penalty functions., IASI-CNR, R. 127, 09/1985
  • Di Pillo G., Grippo L., Lucidi S.: Globally convergent exact penalty algorithms for constrained optimization., IASI-CNR, R. 128, 10/1985
  • Fagiolo E., Maggiano N., Pozzetto U.: T lymphocyte subpopulation and lymphocytotoxic antibodies in patients with autoimmune haemolytic anaemia, Folia Haematol Leipzig 112 (5), 1985
  • Fioretti S., Alfredo Germani, Leo T.: Stereometry in very close range stereophotogrammetry with non-metric cameras for human movement analysis, Journal of Biomechanics 11, 831-842, 1985
  • Gambosi G., Talamo M.: Locally presented posets as a tool for representing advanced data structures., IASI-CNR, R. 141, 12/1985
  • Gambosi G., Talamo M.: An application of m-ary trees to the design of data structures for geometric searching problems., IASI-CNR, R. 142, 12/1985
  • Gandolfi A., Gerardi A., Marchetti M.: Association Rates of Diffusion-Controlled Reactions in Two Dimensions, Acta Applicandae Mathematicae 4, 139-159, 1985
  • Alfredo Germani, Jetto L., Verdicchio G.: A bidimensional Kalman filtering approach to noisy image restoration., IASI-CNR, R. 143, 12/1985
  • Grippo L., Lampariello F., Lucidi S.: Global convergence and stabilization of unconstrained minimization methods without derivatives., IASI-CNR, R. 112, 2/1985
  • Gui D., Giangiuliani G., Veneziani A.: Evoluzione tecnica nell'incannulamento percutaneo delle vene centrali, Minerva Chirurgica 40 (15-16), 1101-4, 1985
  • La Bella A.: Integrated transportation planning: physical expansion versus economic constraints., IASI-CNR, R. 136, 12/1985
  • Labella A., Pettorossi A.: Categorical Models of Process Cooperation, in the Proceedings of Workshop on Category Theory and Computer Programming, Lecture Notes in Computer Science, 240, Springer-Verlag, 282-298, 1985
  • Labella A., Pettorossi A.: Categorical Models for Handshaking Communications, Fundamenta Informaticae 8 (3/4), 321-357, 1985
  • Lampariello F., Lucidi S.: Analysis of DNA Distributions from Flow Cytometry by means of an Optimization Procedure, in the Proceedings of 12th IFIP Conference on System Modelling and Optimization, Budapest, Strazicky B., Prékopa A., Szelezsán J. eds., 1985
  • Lampariello F., Lucidi S.: Analysis of DNA distributions from flow cytometry by means of an optimization procedure., IASI-CNR, R. 113, 2/1985
  • Lucertini M., Paletta G.: Network design with multiple demands: a new approach, Annals of Discrete Mathematics 25, 211-238, 1985
  • Lucidi S.: New results on a class of exact augmented lagrangians., IASI-CNR, R. 116, 4/1985
  • Magalini S., Sambo A., Luciani G., Agnes S., Pozzetto U., Giantasio B., Flamini G., Castagneto M., Cittadini A.: Urinary neopterin excretion after kidney transplantation, Transplantation Proceedings XVII (6), 1985
  • Mancinelli R., Guariglia L., Racanicchi C., Bertuzzi A., Salinari S., Vitelli R.: In vitro motility of non-pregnant rat uterine horns: I. Physiological aspects., IASI-CNR, R. 124, 07/1985
  • Missikoff M.: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of AI Europa, 1985
  • Missikoff M., Salza S., Terranova M.: Dbmac: a parallel relational database machine., IASI-CNR, R. 131, 11/1985
  • Nanni G., Pittiruti M., Ivo Giovannini, Boldrini G., Ronconi P., Castagneto M.: Plasma carnitine levels and urinary carnitine excretion during sepsis, Journal of Parenteral and Enteral Nutrition 9 (4), 483-90, 1985
  • Panasiti F.: Design and implementation of a system for manipulation of sums and series., IASI-CNR, R. 138, 12/1985
  • Pettorossi A.: A Note on Cohen's 'Eliminating Redundant Recursive Calls', ACM Transactions on Programming Languages and Systems 7 (4), 1985
  • Pettorossi A.: Towers of Hanoi problems: deriving iterative solutions by program transformation, Bit 25, 327-334, 1985
  • Pettorossi A., Skowron A.: A Methodology for Improving Parallel Programs by Adding Communications, in the Proceedings of Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 208, Springer-Verlag, 228-250, 1985
  • Pettorossi A., Skowron A.: A System for Developing Distributed Communicating Programs, in the Proceedings of International Conference 'Parallel Computing 85', Feilmeier , Joubert , Schendel eds., North Holland, 241-246, 1985
  • Pettorossi A., Skowron A.: A methodology for improving parallel programs by adding communications., IASI-CNR, R. 126, 09/1985
  • Pittiruti M., Siegel J.H., Sganga G., Coleman W.P., Wiles C.E.3rd, Belzberg H., Wedel S., Placko R.: Increased dependence of leucine in posttraumatic sepsis: leucine/tyrosine clearance ratio as an indicator of hepatic impairment in septic multiple organ failure syndrome, Surgery 98 (3), 378-87, 1985
  • Protasi M., Talamo M.: On the Maximum Size of Random Trees, in the Proceedings of CAAP 1985, Springer-Verlag, 1985
  • Protasi M., Talamo M.: A parametric analysis of the largest induced tree problem in random graphs., IASI-CNR, R. 132, 11/1985
  • Rafanelli M.: Organization and information tools of a mental health department information system, in the Proceedings of 6th Intern. Congr. Medical Informatics, MIE '85, Springer-Verlag, 80-84, 1985
  • Rafanelli M.: A management system for statistical databases: a proposal, in: The role of data in scientific progress, CODATA, Glaeser P.S. ed., North Holland Amsterdam, 353-356, 1985
  • Rafanelli M., Ricci F.L.: STAQUEL: a query language for statistical macro-database management systems, in the Proceedings of International Conference ``Convention Informatique Latine'', CIL '85, Barcellona, Ruiz i Kaiser J. ed., Boixareu Barcellona, 625-637, 1985
  • Rafanelli M., Ricci F.L., Sebastio A.: An algebra for macrodata., IASI-CNR, R. 134, 12/1985
  • Ricciardelli S.: Scheduling models in terminal area management systems., IASI-CNR, R. 130, 11/1985
  • Rinaldi G.: The projective method for linear programming with box-type constraints., IASI-CNR, R. 119, 05/1985
  • Rinaldi G., Yarrow L.A.: Optimizing a 48-city traveling salesman problem: a case study in combinatorial problem solving., IASI-CNR, R. 122, 06/1985
  • Salinari S., Bertuzzi A., Vitelli R., Mancinelli R., Guariglia L.: In vitro motility of non-pregnant rat uterine horns: II. Mathematical model., IASI-CNR, R. 125, 07/1985
  • Salza S., Terranova M.: Workload Modeling for Relational Database Systems, in the Proceedings of Fourth International Workshop on Database Machines, Grand Bahama Island, De Witt D.J., Boral H. eds., Springer-Verlag Berlin, 233-255, 1985
  • Sassano A.: On the facial structure of the set covering polytope., IASI-CNR, R. 139, 12/1985
  • Sganga G., Siegel J.H., Brown G., Coleman W.P., Wiles C.E.3rd, Belzberg H., Wedel S., Placko R.: Reprioritization of hepatic plasma protein release in trauma and sepsis, Archives of Surgery 120 (2), 187-99, 1985
  • Sganga G., Siegel J.H., Coleman W.P., Ivo Giovannini, Boldrini G., Pittiruti M.: The physiologic meaning of the respiratory index in various types of critical illness, Circulatory Shock 17, 179-193, 1985
  • Sganga G., Siegel J.H., Coleman W.P., Ivo Giovannini, Boldrini G., Pittiruti M.: The physiologic meaning of the respiratory index in various types of critical illness, Circulatory Shock 17 (3), 179-93, 1985
  • Siegel J.H., Stoklosa J.C., Borg U.R., Wiles C.E.3rd, Sganga G., Geisler F.H., Belzberg H., Wedel S., Blevins S., Goh K.C.: Quantification of asymmetric lung pathophysiology as a guide to the use of simultaneous independent lung ventilation in posttraumatic and septic adult respiratory distress syndrome, Annals of Surgery 202 (4), 425-39, 1985
  • Yonglin T., Alfredo Germani: Stable discrete adaptive control in the presence of bounded disturbances., IASI-CNR, R. 118, 05/1985
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -