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

1987  [top]
  • Arbib C., Cioni G.: Meta-reasoning and data structuring for improving Prolog programming style, in the Proceedings of Artificial Intelligence II, 1987
  • Atzeni P., Chan E.P.F.: Independent Database Schemes under Functional and Inclusion Dependencies, in the Proceedings of Thirteenth International Conf. on Very Large Data Bases, Brighton, 159-166, 1987
  • Atzeni P., Chan E.P.F.: Independent database schemes under functional and inclusion dependencies., IASI-CNR, R. 199, 11/1987
  • Atzeni P., De Bernardis M.C.: A New Basis for the Weak Instance Model, in the Proceedings of Sixth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, 79-86, 1987
  • Atzeni P., De Bernardis M.C.: The new weak instance model., IASI-CNR, R. 190, 09/1987
  • Atzeni P., Parker Jr. D.S.: Algorithms for Set Containment Inference, in the Proceedings of Workshop on Database Programming Languages, Roscoff, France, 164-181, 1987
  • Avolio A.W., Nanni G., Citterio F., Pozzetto U., Sabina Magalini, Zappacosta B., Tacchino R.M., Zuppi C., Castagneto M.: Increase in N-acetyl-beta-glucosaminidase excretion as a marker of kidney damage in cyclosporine-treated renal allograft, Transplantation Proceedings XIX (1), 1987
  • Paola Bertolazzi, Sassano A.: An O(mn) Algorithm for Regular Set-Covering Problems, Theoretical Computer Science 54, 237-247, 1987
  • Bertuzzi A., Bizzarri M., De Santis A., Gandolfi A.: Hypertryptophanemia and hypertryptophanuria in bladder cancer patients. Mathematical model of tryptophan excretion., IASI-CNR, R. 189, 09/1987
  • Bertuzzi A., Gandolfi A., Germani A., Vitelli R., Badaracco G., Starace G.: Study of Cell Kinetics by Computer-Analyzed Flow Cytometric Histograms, Computers & Mathematics with Applications 14, 763-770, 1987
  • Bertuzzi A., Gandolfi A., Lucidi S.: Constrained Cross-Validation Applied to Estimation of Kinetic Parameters of Cell Populations in Perturbed Growth, in the Proceedings of 13th IFIP Conference on System Modelling and Optimization, Tokyo, Yajima K., Iri M. eds., 1987
  • Bertuzzi A., Gandolfi A., Lucidi S.: Constrained cross-validation applied to estimation of kinetic parameters of cell populations in perturbed growth., IASI-CNR, R. 197, 10/1987
  • Bertuzzi A., Gandolfi A., Starace G., Vitelli R.: Influence of cell loss in the analysis of proliferating populations by flow cytometry., IASI-CNR, R. 202, 12/1987
  • Bertuzzi A., Salinari S.: Mathematical Methods in the Analysis of Colonic Motility, Automedica 7, 301-310, 1987
  • Bianco L.: Mathematical models in logistic system design., IASI-CNR, R. 191, 09/1987
  • Bianco L., Giovanni Rinaldi, Sassano A.: A combinatorial optimization approach to aircraft sequencing problem, in: NATO ASI Series, Vol.~F38, Odoni A.R., others eds., Springer-Verlag Berlin, 323-339, 1987
  • Bianco L., Giovanni Rinaldi, Sassano A.: A combinatorial optimization approach to aircraft sequencing problem., IASI-CNR, R. 182, 04/1987
  • Blazewicz J., Brzezinski J., Gambosi G.: Time Stamp Approach to Prevention of Different Deadlock Types in Store-and- Forward Networks, IEEE Transactions on Communications, 1987
  • Blazewicz J., Brzezinski J., Gambosi G.: Time Stamp Approach to Store-and-Forward Dealock Prevention, IEEE Transactions on Communications, 1987
  • Boldrini G., De Gaetano A.M., Ivo Giovannini, Castagneto M., Colagrande C., Castiglioni G.C.: The systematic use of operative ultrasound for detection of liver metastases during colorectal surgery, World Journal of Surgery 11, 622-627, 1987
  • Campisi D., Danielis R., La Bella A., Schachter G.: An empirical study of interregional transportation plans., IASI-CNR, R. 194, 10/1987
  • Campisi D., La Bella A.: An Input-Output Based Approach to the Short-Term Evaluation of Transportation Plans, Applied Mathematical Modelling 11 (2), 127-132, 1987
  • Campisi D., La Bella A.: Transportation supply and economic growth in a multiregional system., IASI-CNR, R. 181, 02/1987
  • Campisi D., La Bella A.: Evaluating the economic impact of transportation investment: an input-output approach., IASI-CNR, R. 192, 09/1987
  • Caravani P., Papavassilopoulos G.: A class of risk sensitive games., IASI-CNR, R. 193, 09/1987
  • Cesarini F., Salza S.: Modeling and Measuring Methodologies, in: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Cesarini F., Salza S. eds., Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 33-49, 1987
  • Cesarini F., Salza S. eds.: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 1987
  • Colagrossi A., Miola A.: A normalization algorithm for truncated p-adic arithmetic, in the Proceedings of 8-th Symposium on Computer Arithmetic, 1987
  • Conforti M., Rao M.R., Sassano A.: The equipartition polytope I: formulations, dimension and basic facets., IASI-CNR, R. 195, 10/1987
  • Conforti M., Rao M.R., Sassano A.: The equipartition polytope II: valid inequalities and facets., IASI-CNR, R. 196, 10/1987
  • Crollari S., Maceratini R., Pisanelli D.M., Rafanelli M.: Rule-based knowledge base for pancreatic cancer diagnosis, in the Proceedings of VII European Congress on ``Medical Informatics Europe'', MIE 87, Roma, 1127-1131, 1987
  • D'Atri A., Di Felice P., Lakshmanan V.S., Moscarini M.: On Global Context Dependencies and their Properties, in the Proceedings of Mathematical Foundations of Data Base Systems, Lecture Notes in Computer Science, 305, Springer-Verlag Berlin, 1987
  • D'Atri A., Di Felice P., Moscarini M.: Dynamic Query Interpretation in Relational Databases, in the Proceedings of 6-th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, San Diego, CA, 25-35, 1987
  • D'Atri A., Moscarini M., Sassano A.: Homogeneous graphs and Steiner trees., IASI-CNR, R. 178, 01/1987
  • Di Pillo G., Grippo L.: Recent Results on Nondifferentiable Exact Penalty Functions, in: System Modelling and Optimization, Iri M., Yajima K. eds., Springer-Verlag Berlin, 211-220, 1987
  • Di Pillo G., Grippo L.: Recent Results on Exact Penalty Functions for Constrained Optimization, Ricerca Operativa 41, 1987
  • Di Pillo G., Grippo L.: Exact penalty functions in constrained optimization., IASI-CNR, R. 184, 06/1987
  • Carlo Gaibisso: A partially persistent data structure for the set-union problem with backtracking., IASI-CNR, R. 206, 12/1987
  • Carlo Gaibisso, Gambosi G., Talamo M.: A Partially Persistent Data Structure for the Set-Union Problem, Rairo-Theoretical Informatics and Applications, 1987
  • Carlo Gaibisso, Gambosi G., Talamo M.: A partially persistent data structure for the set-union problem., IASI-CNR, R. 201, 12/1987
  • Gambosi G., Nešetřil J., Talamo M.: Posets, Boolean Representations and Quick Path Searching, in the Proceedings of ICALP '87, 1987
  • Gambosi G., Nešetřil J., Talamo M.: Efficient Representation of Taxonomies, in the Proceedings of TAPSOFT '87, 1987
  • Gandolfi A., Strom R.: Ring formation in divalent receptor-divalent ligand interaction: pseudo-cooperative shapes of scatchard plots., IASI-CNR, R. 185, 06/1987
  • Germani A. ed.: Stochastic Modelling and Filtering, Lecture Notes in Control and Information Sciences, 91, Springer-Verlag, 1987
  • Germani A., Jetto L.: Image modelling and restoration: a new approach., IASI-CNR, R. 186, 07/1987
  • Germani A., Piccioni M.: Semi-discretization of Stochastic Partial Differential Equations on $R^d$ by a Finite-Element Technique, Stochastics 23, 131-148, 1987
  • Germani A., Piccioni M.: Error Estimates for Finite Elements Approximation of the Zakai Equation, Engelbort H.J., Schmidt W. eds., Lecture Notes in Control and Information Sciences, 96, Springer-Verlag Berlin, 33-44, 1987
  • Germani A., Piccioni M.: Finite-dimensional approximations for the equations of nonlinear filtering derived in mild form, Applied Mathematics and Optimization 16, 51-72, 1987
  • Germani A., Piccioni M.: Semi-discretization of stochastic partial differential equations on $R^d$ by a finite-element technique., IASI-CNR, R. 179, 01/1987
  • Ivo Giovannini, Boldrini G., Carlo Chiarla, Castagneto M., Gabriele Sganga, Tramutola G., Caracciolo F., Castiglioni G.C.: Adequacy and support of physiological functions in the acutely ill cirrhotic patient, World Journal of Surgery 11, 202-209, 1987
  • Ivo Giovannini, Carlo Chiarla, Boldrini G., Castagneto M., Castiglioni G.C.: Early metabolic and vascular tone patterns in lethal sepsis, Progress in Clinical and Biological Research 256B, 115-121, 1987
  • Grippo L., Lampariello F., Lucidi S.: Newton-type algorithms with nonmonotone line search for large-scale unconstrained optimization., IASI-CNR, R. 188, 9/1987
  • Grippo L., Lampariello F., Lucidi S.: Nonmonotone line searches and watchdog techniques for Newton-type methods., IASI-CNR, R. 200, 12/1987
  • Daniele Gui, Gabriele Sganga, Mauro Pittiruti, Giangiuliani G., Castagneto M.: La sepsi intraddominale, fra chirurgia e terapia intensiva, San Marco Editrice, Padova, 1987
  • Kasangian S., Labella A., Alberto Pettorossi: Enriched Categories for Local and Interaction Calculi, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 57-70, 1987
  • La Bella A.: Integrated Transportation Planning: Physical Expansion Versus Economic Constraints, in: Transportation Planning in a Social Context, Nijkamp P., Reichman S. eds., Gower Press, 1987
  • Labella A., Alberto Pettorossi: Universal Models in Categories for Process Synchronization, in the Proceedings of Advanced School on Mathematical Models for the Semantics of Parallelism, Lecture Notes in Computer Science, 280, Springer-Verlag, 183-198, 1987
  • Labella A., Alberto Pettorossi: Categories For Modelling Communicating Processes, Computers and Artificial Intelligence 6 (3), 279-296, 1987
  • Labella A., Alberto Pettorossi: Universal models in categories for process synchronization., IASI-CNR, R. 180, 02/1987
  • Lucidi S.: A Finite Algorithm for the Least Two-Norm Solution of a Linear Program, Optimization 18, 809-823, 1987
  • Lucidi S.: A New Result in the Theory and Computation of The Least Norm Solution of a Linear Program, Journal of Optimization Theory and Applications 55, 103-117, 1987
  • Lucidi S., Piccioni M.: Random tunneling by means of acceptance-rejection sampling for global optimization., IASI-CNR, R. 187, 9/1987
  • Sabina Magalini, Nanni G., Sambo A., Agnes S., Luciani G., Pozzetto U., Avolio A.W., Cittadini A., Castagneto M.: Possibility of recognizing immunologic and cyclosporine A damage by urinary neopterin excretion in kidney transplant recipients, Transplantation Proceedings XIX (1), 1987
  • Michele Missikoff: MOKA: A User Friendly Front-End for Knowledge Acquisition, in the Proceedings of Minnowbrook Workshop on Database Machine and Artificial Intelligence, Berra B. ed., 1987
  • Michele Missikoff: New Trends in the Conception and Use of Databases, Sistemi Urbani Quartely 2 (3), 263-278, 1987
  • Michele Missikoff: MOKA: a user-friendly front-end for knowledge acquisition., IASI-CNR, R. 198, 11/1987
  • Moscarini M.: Alpha-graphs, Steiner trees and connected domination., IASI-CNR, R. 183, 05/1987
  • Odoni A.R., Bianco L., Szego G. eds.: Flow control of congested networks, Springer-Verlag, 1987
  • Padberg M., Giovanni Rinaldi: Optimization of a 532-city symmetric traveling salesman problem by branch-and-cut, Operations Research Letters 6, 1-7, 1987
  • Padberg M., Giovanni Rinaldi: A branch-and-cut approach to a traveling salesman problem with side constraints., IASI-CNR, R. 203, 12/1987
  • Padberg M., Giovanni Rinaldi: Facet identification for the symmetric traveling salesman polytope., IASI-CNR, R. 204, 12/1987
  • Alberto Pettorossi: Derivation of Programs which Traverse Their Input Data Only Once, in the Proceedings of Advanced School on Programming Methodologies, Cioni G., Salwicki A. eds., Academic Prees, 165-184, 1987
  • Alberto Pettorossi: Derivation of Efficient Programs For Computing Sequences of Actions, Theoretical Computer Science 53, 151-167, 1987
  • Alberto Pettorossi, Ras Z.W., Zemankova M.: On Learning with Two Imperfect Teachers, in the Proceedings of Expert Systems: Theory and Applications, IASTED Conference, 1987
  • Alberto Pettorossi, Skowron A.: Higher Order Generalization in Program Derivation, in the Proceedings of International Joint Conference on Theory and Practice of Software Development, Lecture Notes in Computer Science, 250, Springer-Verlag, 182-196, 1987
  • Alberto Pettorossi, Skowron A.: The Parallel Evaluation of Functional Programs, in the Proceedings of Advanced International Summer School and Conference on 'Mathematical Logic and Its Applications' in honor of the 80th anniversary of Kurt Gödel's birth, Skordev D.G. ed., Plenum Press, 149-165, 1987
  • Pirillo G.: On permutation properties for semigroups, in: Group theory (Bressanone, 1986), Lecture Notes in Mathematics, 1281, Springer Berlin, 118-119, 1987
  • Maurizio Proietti: Connections between Partial Maps Categories and Tripos Theory, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 254-269, 1987
  • Rafanelli M.: An expert system for differential diagnosis in the pancreatic cancer, in the Proceedings of International Symposium on Applied Informatics, Grindelwald, Acta Press, 9-12, 1987
  • Rafanelli M.: A graphical approach for statistical summaries: the GRASS model, in the Proceedings of International Symposium on ``Microcomputers and their applications'', Hamza M.H. ed., Acta Press Cairo, 78-81, 1987
  • Rafanelli M., Maceratini R., Crollari S.: An intelligent D.B.M.S. for managing medical record oriented to pancreatic diseases, in the Proceedings of VII European Congress on ``Medical Informatics Europe'', MIE 87, Roma, 523-528, 1987
  • Salinari S., Bertuzzi A., Vitelli R., Mancinelli R.: Motility of the rat uterine horn: analysis of activatory inputs., IASI-CNR, R. 205, 12/1987
  • Salza S., Terranova M.: Database Workload Modeling, in: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Cesarini F., Salza S. eds., Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 50-94, 1987
  • Salza S., Terranova M., Velardi P.: Performance Modeling of the DBMAC Architecture, in: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Salza S., Cesarini F. eds., Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 147-165, 1987
  • Starace G., Badaracco G., Bertuzzi A., Gandolfi A., Greco C., Totaro M.D., Vitelli R., Zupi G.: Kinetic and Survival Response of the M14 Cell Line to Lonidamine Associated with Adriamycin or Hyperthermia, Journal of Cancer Research and Clinical Oncology 113, 451-458, 1987
  • Stokes C.D., Blevins S., Siegel J.H., Stoklosa J.C., Cotter K., Goh K.C., Goodarzi S., Belzberg H., Carlo Chiarla: Prediction of arterial blood gases by transcutaneous O2 and CO2 in critically ill hyperdynamic trauma patients, Journal of Trauma 27 (11), 1240-1260, 1987
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -