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


1986  [top]
  • Atzeni P., Morfuni N.M.: Functional Dependencies and Constraints on Null Values in Database Relations, Information and Control 70 (1), 1-31, 1986
  • Atzeni P., Parker Jr. D.S.: Set Contaiment Inference, in: ICDT'86 (International Conference on Data Base Theory), Roma, Lecture Notes in Computer Science, 243, Springer-Verlag, 73-90, 1986
  • Atzeni P., Parker Jr. D.S.: Formal Properties of Net-Based Knowledge Representation Schemes, in the Proceedings of Second IEEE International Conference on Data Engineering, Los Angeles, 700-706, 1986
  • Atzeni P., Parker Jr. D.S.: Set containment inference., IASI-CNR, R. 174, 12/1986
  • Ausiello G., Atzeni P. eds.: Database Theory (Proceedings of ICDT '86, Rome, September 1986), Lecture Notes in Computer Science, 243, Springer-Verlag, 1986
  • Ausiello G., D'Atri A., Moscarini M.: Chordality Properties on Graphs and Minimal Connections in Semantic Data Models, Journal of Computer and System Sciences 33, 179-202, 1986
  • Paola Bertolazzi, Sassano A.: A class of polynomially solvable set-covering problems., IASI-CNR, R. 167, 10/1986
  • Paola Bertolazzi, Sassano A.: Regular clutters., IASI-CNR, R. 169, 11/1986
  • Alessandro Bertuzzi, Gandolfi A., Alfredo Germani, Vitelli R., Badaracco G., Starace G.: DNA Synthesis Rate in Neoplastic Cells in Culture, in: Modelling of Biomedical Systems, Eisenfeld J., Witten M. eds., North-Holland Amsterdam, 35-39, 1986
  • Alessandro Bertuzzi, Gandolfi A., Alfredo Germani, Vitelli R., Badaracco G., Starace G.: Study of cell kinetics by computer-analyzed flow cytometric histograms., IASI-CNR, R. 144, 01/1986
  • Alessandro Bertuzzi, Gandolfi A., Vitelli R.: A Regularization Procedure for Estimating Cell Kinetic Parameters from Flow-Cytometry Data, Mathematical Biosciences 82, 63-85, 1986
  • Bianco L.: Strategic control to improve efficiency of air traffic management, in: AGARD CP-410, 1986
  • Bianco L.: The role of quantitative methods in urban transportation planning., IASI-CNR, R. 165, 09/1986
  • Bianco L., D'Anselmi P.: Strenghtening the management of public research policy in Italy, Research Policy 15 (3), 1986
  • Bianco L., La Bella A. eds.: Automotive Micro-Electronics, North-Holland, 1986
  • Bianco L., La Bella A.: Social preference and political issues in transportation planning: an analytical approach., IASI-CNR, R. 168, 10/1986
  • Bielli M.: Flow control modelling in ATC systems., IASI-CNR, R. 149, 03/1986
  • Bielli M., Cini M.: Decision Support System for Urban Transportation Planning and Management, in the Proceedings of International Seminar on Management and Planning of Urban Transport Systems: from Theory to Practice, 1986
  • 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, Mathematical Modelling 7, 1325-1338, 1986
  • 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, Mathematical Modelling 7, 1325-1338, 1986
  • Campisi D.: Lotka - Volterra Models with Random Fluctuations for the Analysis of Oscillations in Urban and Metropolitan Areas, Sistemi Urbani 2 (3), 309-321, 1986
  • Campisi D.: The Spatial Components of Demographic Change, Environment and Planning A 18 (4), 457-464, 1986
  • Campisi D., La Bella A.: Evaluation of transportation investments., IASI-CNR, R. 173, 12/1986
  • Caravani P.: On extending linear quadratic control theory to non-symmetric policy objectives, Journal of Economic Dynamics & Control, 1986
  • Caravani P.: On extending linear quadratic control theory to non-symmetric risky objectives., IASI-CNR, R. 151, 03/1986
  • Caravani P.: A comment on the aggregation of the Sraffa model., IASI-CNR, R. 162, 07/1986
  • Chan E.P.F., Atzeni P.: On the Properties and Characterization of Connection-trap-free Schemes, in the Proceedings of Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 140-147, 1986
  • Chen K.H., Doroszewski J., Alberto Pettorossi, Ras Z.W., Skowron A.: Mathematical Foundations of an Expert System for Medical Diagnosis, in the Proceedings of First International Conference on Artificial Intelligence and Its Impacts in Biology and Medicine, I.A. BIOMED 1986, 87-92, 1986
  • Cioni G., Kreczmar A.: Solving logic problems by object oriented languages., IASI-CNR, R. 159, 06/1986
  • Cioni G., Miola A.: How to treat decision problems using different programming methodologies., IASI-CNR, R. 155, 05/1986
  • Cornuéjols G., Sassano A.: On the 0,1 facets of the set covering polytope., IASI-CNR, R. 153, 04/1986
  • D'Atri A., Di Felice P., Moscarini M.: Towards a dialogue-based query system., IASI-CNR, R. 158, 06/1986
  • D'Atri A., Moscarini M.: Recognition Algorithms and Design Methodologies for Acyclic Database Schemes, in: Advances in Computing Research, vol.3, Kannellakis P., Preparata F. eds., JAI Press, 43-68, 1986
  • D'Atri A., Moscarini M.: Cross graphs, Steiner trees and connected domination., IASI-CNR, R. 147, 02/1986
  • D'Atri A., Moscarini M.: On hypergraph acyclicity and graph chordality., IASI-CNR, R. 170, 11/1986
  • Caterina De Simone, Nicolò F.: On the Control of Elastic Robots by Feedback Decoupling, International Journal of Robotics & Automation 1, 64-69, 1986
  • Di Pillo G., Grippo L.: An Exact Penalty Method with Global Convergence Properties for Nonlinear Programming Problems, Mathematical Programming 36, 1986
  • Di Pillo G., Grippo L.: Globally exact nondifferentiable penalty functions., IASI-CNR, R. 160, 06/1986
  • Di Pillo G., Grippo L., Lucidi S.: Globally Convergent Exact Penalty Algorithms for Constrained Optimization, in: System Modelling and Optimization, Strazicky B., Prékopa A., Szelezsán J. eds., Lecture Notes in Control and Information Sciences, 84, Springer-Verlag Berlin, 694-703, 1986
  • Fortunato E., Maurizio Rafanelli, Ricci F.L., Sebastio A.: A Logical Model and an Algebra for Statistical Databases, in the Proceedings of VII Symposium on Computational Statistics, COMPSTAT '86, Roma, De Antoni F., Lauro N., Rizzi A. eds., Physica-Verlag Wien, 89-90, 1986
  • Carlo Gaibisso, Gambosi G., Nardelli E., Soccodato G., Talamo M.: A proposal for the efficient representation and management of geometric entities in a geographic information system., IASI-CNR, R. 177, 12/1986
  • Gambosi G., Nešetřil J., Talamo M.: Posets, boolean representation and quick path searching., IASI-CNR, R. 176, 12/1986
  • Alfredo Germani, Piccioni M.: Error estimates for finite-element approximation of the Zakai equation., IASI-CNR, R. 145, 01/1986
  • Giovannini I., Boldrini G., Carlo Chiarla: Cardiorespiratory and metabolic effects of buflomedil: case reports, Angiology 37, 207-214, 1986
  • Giovannini I., Boldrini G., Carlo Chiarla, Castagneto M., Castiglioni G.C.: Physiopathological patterns and evolutive stages of sepsis, in: Oxygen-free radicals in shock, Karger Basel, 236-240, 1986
  • Grippo L., Lampariello F., Lucidi S.: A Nonmonotone Line Search Technique for Newton's Method, SIAM Journal on Numerical Analysis 23, 707-716, 1986
  • Grippo L., Lampariello F., Lucidi S.: A truncated Newton method with nonmonotone line search for unconstrained optimization., IASI-CNR, R. 171, 11/1986
  • Gui D., Giangiuliani G., Veneziani A., Giorgi G., Gabriele Sganga: Inguinal hernia repair in patients with peritoneo venous shunt: risk of air embolism, British Journal of Surgery 73, 1986
  • Gui D., Gabriele Sganga, Ronconi P.: Peritoniti e terapia antibiotica, Minerva Chirurgica 41, 1455-9, 1986
  • Justin J., Pirillo G.: On a natural extension of Jacob's ranks, Journal of Combinatorial Theory Series A 43 (2), 205-218, 1986
  • Kucera L., Marchetti Spaccamela A., Talamo M.: Near Optimal Algorithms for Finding Minimum Steiner Trees on Random Graphs, in the Proceedings of MFCS '86, 1986
  • Labella A.: Tree categories for modelling non deterministic and parallel computations., IASI-CNR, R. 152, 03/1986
  • Labella A., Alberto Pettorossi: The definition of categorical models of process cooperation., IASI-CNR, R. 154, 04/1986
  • Lampariello F., Lucidi S.: Analysis of DNA Distributions from Flow Cytometry By Means of an Optimization Procedure, in: System Modelling and Optimization, Strazicky B., Prékopa A., Szelezsán J. eds., Lecture Notes in Control and Information Sciences, 84, Springer-Verlag Berlin, 478-487, 1986
  • Lampariello F., Mauro F., Pacchierotti F., Uccelli R., Spanò M.: Automatic analysis of radiation induced alterations of flow cytometric DNA distributions of mouse testis cells., IASI-CNR, R. 157, 05/1986
  • Lucertini M., Paletta G.: Optimal distribution strategies with cyclic demands, European Journal of Operational Research 27, 324-331, 1986
  • Lucertini M., Paletta G.: A class of network design problems with multiple demand: model formulation and an algorithmic approach, Mathematical Programming Study 26, 225-228, 1986
  • Magalini S., Sambo A., Agnes S., Nanni G., Luciani G., Flammini G., Pozzetto U., Castagneto M., Cittadini A.: Monotoring of kidney allograft rejection with urinary neopterin, Transplantation Proceedings XVIII (5), 1986
  • Mascari G., Miola A.: On the integration of numeric and symbolic computations, in the Proceedings of AAECC-4 Conference, Lecture Notes in Computer Science, 307, Springer-Verlag Karlsruhe, 1986
  • Mingrone G., Greco A.V., Alessandro Bertuzzi: Prediction of the Lithogenic Character of Human Bile by a Quaternary System, Computers and Biomedical Research 19, 311-318, 1986
  • Miola A., Mora T.: Constructive lifting in graded structures: a unified view of Grobner and Hensel methods., IASI-CNR, R. 161, 06/1986
  • Michele Missikoff, Salza S., Terranova M.: DBMAC: A Parallel Relational Database Machine, in: Database Machines, Modern Trends and Applications, Sood A.K., Qureshi A.H. eds., Springer-Verlag Berlin, 85-126, 1986
  • Michele Missikoff, Wiederhold G.: Towards a Unified Approach for Expert and Database Systems, in: Expert Database Systems, Kerschberg L. ed., Benjamin Cummings, 383-400, 1986
  • Michele Missikoff, Wiederhold G.: The design of mosaico: an expert system for user and application requirement analysis., IASI-CNR, R. 146, 01/1986
  • Nanni G., Pittiruti M., Giovannini I., Boldrini G., Ronconi P., Castagneto M.: Plasma carnitine levels and urinary carnitine excretion during sepsis, Journal of Parenteral and Enteral Nutrition 9, 483-490, 1986
  • Padberg M., Giovanni Rinaldi: Optimization of a 532-city symmetric travelling salesman problem., IASI-CNR, R. 164, 09/1986
  • Padberg M., Sassano A.: The complexity of matching with bonds., IASI-CNR, R. 172, 12/1986
  • Alberto Pettorossi: Strategical Derivation of On-Line Programs, in the Proceedings of IFIP W.G. 2.1 TC2 Working Conference on Program Specification and Transformation, Meertens L.G.L.T. ed., North Holland, 73-88, 1986
  • Alberto Pettorossi: Transformation strategies for deriving on line programs., IASI-CNR, R. 148, 02/1986
  • Alberto Pettorossi, Skowron A.: Theories for Verifying Communicating Agents Behaviour in Recursive Equations Programs, in the Proceedings of Twentieth Annual Conference on Information Sciences and Systems, Dickinson B. ed., Princeton University, 828-833, 1986
  • Protasi M., Talamo M.: A Parametric Analysis of the Largest Induced Tree Problem in Random Graphs, Rairo-Informatique Theorique et Applications-Theoretical Informatics and Applications, 1986
  • Protasi M., Talamo M.: New and more efficient algorithms for finding Fibonacci numbers., IASI-CNR, R. 150, 03/1986
  • Maurizio Rafanelli, Maceratini R., Pisanelli D.M., Crollari S.: SPES: an expert system in pancreatic cancer surgery, in the Proceedings of 8th Intern. Conference of the IEEE Engineering in Medicine and Biology Soc., EMBS '86, IEEE, 869-871, 1986
  • Giovanni Rinaldi: A projective method for linear programming with box-type constraints, Algorithmica 1, 517-527, 1986
  • Giovanni Rinaldi, Padberg M.: An efficient algorithm for the minimum capacity cut problem in large sparse graphs., IASI-CNR, R. 166, 09/1986
  • Salza S., Terranova M.: Evaluating the Cardinality of the Result of Relational Operations: A Probabilistic Approach, in the Proceedings of 6-th Advanced Database Symposium, Tokyo, Kambayashi J. ed., 223-231, 1986
  • Salza S., Terranova M.: Evaluating the cardinality of the result of relational operations: a probabilistic approach., IASI-CNR, R. 156, 05/1986
  • Starace G., Badaracco G., Alessandro Bertuzzi, Gandolfi A., Greco C., Todaro M.D., Vitelli R., Zupi G.: Kinetic and survival response of M14 cell line to Lonidamine associated with Adiamycin or hyperthermia., IASI-CNR, R. 163, 09/1986
  • Terranova M., Batzella P.F., De Stefanis D.: On the performance of CID: a VLSI device for lists intersection., IASI-CNR, R. 175, 12/1986
  • Wiel Marin A., Destito C., Gui D., Rabitti C., Massari M., Di Ninno E., Valenza M., Veneziani A.: Sclerosi delle vie biliari come complicanza del trattamento chirurgico dell'echinococcosi epatica, Chirurgia Epatobiliare 5, 29-33, 1986
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -