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 Articles in Journals, Collections and Proceedings (or show them all):   (Items found: 53)


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., 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., 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., Magalini S., 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
  • Alessandro Bertuzzi, Gandolfi A., Alfredo Germani, Vitelli R., Badaracco G., Starace G.: Study of Cell Kinetics by Computer-Analyzed Flow Cytometric Histograms, Computers & Mathematics with Applications 14, 763-770, 1987
  • Alessandro Bertuzzi, 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
  • Alessandro Bertuzzi, Salinari S.: Mathematical Methods in the Analysis of Colonic Motility, Automedica 7, 301-310, 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
  • 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., La Bella A.: An Input-Output Based Approach to the Short-Term Evaluation of Transportation Plans, Applied Mathematical Modelling 11 (2), 127-132, 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
  • Colagrossi A., Miola A.: A normalization algorithm for truncated p-adic arithmetic, in the Proceedings of 8-th Symposium on Computer Arithmetic, 1987
  • Crollari S., Maceratini R., Pisanelli D.M., Maurizio Rafanelli: 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
  • 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
  • Carlo Gaibisso, Gambosi G., Talamo M.: A Partially Persistent Data Structure for the Set-Union Problem, Rairo-Theoretical Informatics and Applications, 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
  • Alfredo Germani, Piccioni M.: Semi-discretization of Stochastic Partial Differential Equations on $R^d$ by a Finite-Element Technique, Stochastics 23, 131-148, 1987
  • Alfredo Germani, 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
  • Alfredo Germani, Piccioni M.: Finite-dimensional approximations for the equations of nonlinear filtering derived in mild form, Applied Mathematics and Optimization 16, 51-72, 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
  • 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
  • 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
  • Magalini S., 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
  • Padberg M., Giovanni Rinaldi: Optimization of a 532-city symmetric traveling salesman problem by branch-and-cut, Operations Research Letters 6, 1-7, 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
  • Maurizio Rafanelli: 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
  • Maurizio Rafanelli: 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
  • Maurizio Rafanelli, 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
  • 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., Alessandro Bertuzzi, 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -