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 Collections and Proceedings
(or show them all): (Items found: 30)
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
- 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
- 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
- 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., 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
- 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
- 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
- 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
- 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
- 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
- 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, 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
- 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
|
