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


1996  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 218-229, 1996
  • Bertuzzi A., Gandolfi A., Iacoviello D., Carmela Sinisgalli: Steel's potential doubling time and its estimation in cell populations affected by non-uniform cell loss, IASI-CNR, R. 439, 07/1996
  • Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G., Ubezio P.: Cell loss and potential doubling times, IASI-CNR, R. 442, 10/1996
  • Bertuzzi A., Mingrone G., De Gaetano A., Gandolfi A., Greco A.V., Salinari S.: Kinetics of dodecanedioic acid and effect of its administration on glucose kinetics in rats, IASI-CNR, R. 446, 12/1996
  • Bezenchek A., Rafanelli M., Tininini L.: ADAMO: a conceptual model to describe and to represent aggregate data, in the Proceedings of International Conference on Computational Statistics---COMPSTAT'96, Prat A. ed., 1996
  • Bezenchek A., Rafanelli M., Tininini L.: A system for the management of aggregate data, in the Proceedings of 7th International Conference on Database and Expert Systems Applications---DEXA'96, Wagner R.R., Thoma H. eds., Lecture Notes in Computer Science, 1134, Springer-Verlag, 531-543, 1996
  • Bezenchek A., Rafanelli M., Tininini L.: A data structure for representing aggregate data, in the Proceedings of 8th International Conference on Scientific and Statistical Database Management - SSDBM'96, French J.C., Svensson P. eds., 1996
  • Bezenchek A., Rafanelli M., Tininini L.: ADAMO: a conceptual model for aggregate data, IASI-CNR, R. 440, 09/1996
  • Bianco L., Confessore G., Reverberi P.: A combinatoirial optimization approach to locate traffic counting points in a transport network, in the Proceedings of SOR '96, Germany, 1996
  • Bianco L., Toth P. eds.: Advances Methods in Transportation Analysis, Springer-Verlag, 1996
  • Bielli M., Carotenuto P., Gastaldi M.: Multicriteria evaluation model of public transport networks, in the Proceedings of Advanced Methods in Transportation Analysis,, Springer-Verlag, 135-156, 1996
  • Campisi D., Gastaldi M., Levialdi N.: R&D investment and knowledge stock formation: a cross-country study of innovation and growth, IASI-CNR, R. 428, 02/1996
  • Campisi D., Gastaldi M., Schachter G., Schachter L.: The impact of redirection of transfers to the Italian South on output and employment to 2000, Systems Analysis Modelling Simulation 23, 275-295, 1996
  • Campisi D., La Bella A., Mancuso P., Nastasi A.: Firms R\&D Investments, innovation and market shares (Chapter 5), in the Proceedings of Innovative behaviour in space and time, Springer-Verlag, 79-97, 1996
  • Campisi D., Mancuso P., Nastasi A.: Cost reduction, competitive pressure and firms optimal R\&D strategies in a dupolistic industry, Review of Industrial Organization 12, 1-12, 1996
  • Campisi D., Mancuso P., Nastasi A.: Dynamic R and D competion and Market sharing, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 127-135, 1996
  • Campisi D., Mancuso P., Nastasi A.: Cost reduction, competitive pressure and firms optimal R&D strategies in a duopolistic industry, IASI-CNR, R. 433, 06/1996
  • Campisi D., Mancuso P., Nastasi A.: A dynamic model of R&D competition, IASI-CNR, R. 434, 06/1996
  • Campisi D., Nastasi A., Reverberi P.: Market entry decision strategies under incomplete information, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 136-145, 1996
  • Campisi D., Nastasi A., Reverberi P.: Evaluating Market Profitability Through Bayesian Belief Networks, in the Proceedings of ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 173-177, 1996
  • Francesco Carravetta, Alfredo Germani, Raimondi M.: Polynomial Filtering for Linear Discrete-Time Non-Gaussian Systems, SIAM Journal on Control and Optimization 34, 1666-1690, 1996
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Castagneto M.: Relationships of plasma arginine (ARG) and glutamine (GLN) to other amino acids (AA) in septic patients, in: The Immune Consequences of Trauma, Shock and Sepsis. Mechanisms and Therapeutic Approaches, Faist E., Baue A.E., Schildberg F.W. eds., Pabst Science Publishers Lengerich (D), 933-938, 1996
  • Chopra S., Rinaldi G.: The graphical asymmetric traveling salesman polyhedron: Symmetric inequalities, SIAM Journal on Discrete Mathematics 9, 602-624, 1996
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996
  • Cioni G., Colagrossi A., Temperini M.: An Approach to Class Reasoning in Symbolic Computation, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Calmet J., Limongelli C. eds., Springer-Verlag, 240-251, 1996
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1996
  • Citterio F., Serino F., Pozzetto U., Fioravanti G., Caizzi M.P., Castagneto M.: Verapamil Improves Sandimmune Immunosuppression Reducing Acute Rejection Episodes, Transplantation Proceedings 28, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: A Simulation Model for International Telecommunication System, in the Proceedings of Internatianal Conference. Simulation in industry 1996. ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 518-522, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: Vertical cooperation in high technology sectors: the military industry, in the Proceedings of International Conference on Management and New Technologies Madrid, Fondation Cotec, Madrid, 223-230, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: Toward competition in international telecommunications, IASI-CNR, R. 437, 06/1996
  • D'Angelo A., Gastaldi M., Levialdi N.: Dynamic analysis of the performance of a Flexible Manufacturing Systems: a real case application., Computer Integrated Manufacturing Systems 9, 101-110, 1996
  • D'Angelo A., Gastaldi M., Levialdi N.: Optimizing flows and resources in a flexible production system, IASI-CNR, R. 436, 06/1996
  • De Francesco C., Nobili P.: A Characterization Of 0,?1 perfect matrices in terms of perfect graphs, IASI-CNR, R. 444, 11/1996
  • De Simone C.: A Note on the Boolean Quadric Polytope, Operations Research Letters 19, 115-116, 1996
  • De Simone C., Diehl M., Jünger M., Mutzel P., Reinelt G., Rinaldi G.: Exact ground states of $2D \pm J$ Ising spin glasses, Journal of Statistical Physics 84, 1363-1371, 1996
  • De Simone C., Mannino C.: Easy instances of the plant location problem, IASI-CNR, R. 427, 01/1996
  • Di Loreto F., Ferri F., Massari F., Rafanelli M.: A pictorial query language for geographical information systems, in the Proceedings of 4th International Conference on Advanced Visual Interfaces---AVI'96, Catarci T., Costabile M.F., Levialdi S., Santucci G. eds., ACM Gubbio, 233-244, 1996
  • Giovanni Felici, Rinaldi G., Truemper K.: FasTraC: A Decentralized Traffic Control System Based on Logic Programming, in the Proceedings of Proceedings of the 13th International Conference on Automated Deduction ({CADE}-13), McRobbie M.A., Slaney J.K. eds., Lecture Notes in Computer Science, 1104, Springer-Verlag, 216-220, 1996
  • Ferri F., Elaheh Pourabbas, Rafanelli M., Sindoni G.: Planning health resource allocation using a geographic information system, in the Proceedings of 1st International Conference on Geographic Information Systems in Urban, Regional and Environmental Planning, Sellis T., Georgoulis D. eds., 11-29, 1996
  • Anna Formica, Groger H.D., Missikoff M.: An efficient method for checking object-oriented database schema correctness, IASI-CNR, R. 429, 03/1996
  • Anna Formica, Missikoff M.: Analysis of the inheritance process in strongly typed OODB systems, IASI-CNR, R. 441, 09/1996
  • Carlo Gaibisso, Proietti G., Nardelli E.: An Output Sensitive Solution to the Set Union and Intersection Problem, in the Proceedings of Proceedings of "SOFSEM '96: Theory and Practice of Informatics", Milovy, Repubblica Ceca, 23-30 novembre 1996., Kral J., Jeffery K., Bartosek M. eds., Lecture Notes in Computer Science, 1996
  • Carlo Gaibisso, Proietti G., Nardelli E.: Incremental Constraints Maintenance in Concurrent Logic Programming, in the Proceedings of Proceedings of ISCIS XI, 11-th Iternational Symposium on Computer and Information Sciences, Antalya, Turchia, 6-8 novembre 1996, 1996
  • Anna Galluccio, Loebl M.: Cycles of prescribed modularity in planar digraphs, Journal of Algorithms 21, 50-71, 1996
  • Anna Galluccio, Loebl M.: Cycles of binary matroids with no F*_7 -minor, IASI-CNR, R. 431, 05/1996
  • Gandolfi A.: Cell receptor occupancy during cell-to-cell adhesion, IASI-CNR, R. 445, 12/1996
  • Gastaldi M., Pradayrol J.P., Quinet E., Rega M.: Valuation of environmental externalities: from theory to decision-making., Transportation Planning and Technology 19, 207-219, 1996
  • Alfredo Germani, Manes C.: A simple observer controller scheme for robot trajectory tracking, in the Proceedings of IASTED---International Conference on Robotics and Manufacturing, Honolulu, 1996
  • Alfredo Germani, Manes C.: Robot trajectory tracking via nonlinear state estimation, IASI-CNR, R. 432, 06/1996
  • Gui D., Spada P.L., De Gaetano A.: Hypocholesterolemia and risk of death in the critically-ill surgical patients, Intensive Care Medicine 22, 790-794, 1996
  • Justin J., Pirillo G.: On a combinatorial property of Sturmian words, Theoretical Computer Science 154 (2), 387-394, 1996
  • Lampariello F., Aiello A.: A complete modeling method for the analysis of immunofluorescence distributions composed of negative and weakly positive cells, IASI-CNR, R. 447, 12/1996
  • Malucelli F., Sara Nicoloso: Shiftable interval graphs, IASI-CNR, R. 435, 06/1996
  • Manolopoulos Y., Nardelli E., Papadopoulos A., Proietti G.: QR-tree: a Hybrid Spatial Data Structure, in the Proceedings of Int. Conference on GIS in Urban, Environmental and Regional Planning, 247-259, 1996
  • Manolopoulos Y., Nardelli E., Proietti G., Vassilakopoulos M.: On the Creation of Quadtrees by Using a Branching Process, Image Vision and Computing, Image and Vision Computing 14, 159-164, 1996
  • Marini A., Pirillo G.: Signs on group Latin squares, Advances in Applied Mathematics 17 (2), 117-121, 1996
  • Mingrone G., De Gaetano A., Greco A.V., Benedetti G., Capristo E., Castagneto M., Gasbarrini G.: Plasma clearance and oxidation of dodecanedioic acid in humans, Journal of Parenteral and Enteral Nutrition 20 (1), 38-42, 1996
  • Missikoff M., Pizzicannella R.: A Visual Approach to Object-Oriented Analysis based on Abstract Diagrams, ACM SIGCHI 8 (3), 56-64, 1996
  • Nobili P., Sassano A.: Strengthening Lagrangian bounds for the MAX-SAT problem, IASI-CNR, R. 443, 11/1996
  • Nuzzo G., Ivo Giovannini, Boldrini G., Giuliante F., Carlo Chiarla, Tebala G.D., Vellone M.: Patterns of recovery after liver resection, in the Proceedings of Proceedings of the Second World Congress of Hepato-Pancreato-Biliary Association, Cavallari A., Mazziotti A., Principe A. eds., Monduzzi Bologna, 1996
  • Nuzzo G., Giuliante F., Ivo Giovannini, Tebala G.D., De Cosmo G.: Hepatic resections in normothermic ischemia, Surgery 120, 852-858, 1996
  • Nuzzo G., Lemmo G., Marrocco M., Boldrini G., Ivo Giovannini: Retroperitoneal cystic lymphangioma, Journal of Surgical Oncology 61, 234-237, 1996
  • Pacelli F., Doglietto G.B., Alfieri M., Piccioni S., Spadari G., Gui D., Crucitti F.: Prognosis of intrabdominal infections. Multivariate analysis of 604 patients, Archives of Surgery 131, 641-645 IF 2, 1996
  • Pettorossi A., Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties, in the Proceedings of Dagstuhl Seminar on Partial Evaluation, Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Pettorossi A., Maurizio Proietti: A Comparative Revisitation of Some Program Transformation Techniques, in the Proceedings of Dagstuhl Seminar on Partial Evaluation., Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Pettorossi A., Maurizio Proietti: Rules and Strategies for Transforming Functional and Logic Programs, ACM Computing Surveys 28 (2), 360-414, 1996
  • Pettorossi A., Maurizio Proietti: Developing Correct and Efficient Logic Programs by Transformation, Knowledge Engineering Review 11 (4), 347-360, 1996
  • Pettorossi A., Maurizio Proietti, Renault S.: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in the Proceedings of Joint International Conference and Symposium on Logic Programming, Bonn, Germany, Maher M. ed., Logic Programming Series, 1996
  • Pettorossi A., Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, Proceedings LOPSTR '96, Stockholm, Sweden., Gallagher J. ed., 101-112, 1996
  • Pirillo G.: On semigroups having the $\omega$-iteration property, Le Matematiche 51, 183-187 (199, 1996
  • Pirillo G.: A proof of Shirshov's theorem, Advances in Mathematics 124 (1), 94-99, 1996
  • Pirillo G., Varricchio S.: Some combinatorial properties of infinite words and applications to semigroup theory, in the Proceedings of Proceedings of the 5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993), 153 (1-3), 239-251, 1996
  • Elaheh Pourabbas, Rafanelli M.: An object-oriented epidemiological data modeling system, in the Proceedings of 10th North-Baltic Conference on Biomedical Engineering, Malmivuo J. ed., IFMBE Tampere, 409-410, 1996
  • Elaheh Pourabbas, Rafanelli M.: A system for the management of epidemiological data, in the Proceedings of 13th International Conference on Medical Informatics Europe---MIE'96, Nordmann H., Sillesen H. eds., 422-427, 1996
  • Pozzetto U., Serino F., Citterio F., Fioravanti G., Maggiano N., Evangelisti A., Rumi C., Puggioni P.L., Castagneto M.: Sandoglobulin(r) Contains Xenoreactive Antibodies Which bind to Pig Cell Target Competing with Cytotoxic Xenoantibodies, Intravenous Immunoglobulin Research and Therapy, Switzerland, 1996
  • Proietti G.: The MOF+-tree: A Space Efficient Representation of Images Containing Multiple Overlapping Features, Journal of Computing and Information 2, 42-56, 1996
  • Maurizio Proietti ed.: Logic Program Synthesis and Transformation -- LOPSTR '95, Lecture Notes in Computer Science, 1048, Springer-Verlag, 1996
  • Rafanelli M.: A conceptual model for transport problems, IASI-CNR, R. 430, 04/1996
  • Rafanelli M., Bezenchek A., Tininini L.: The aggregate data problem: a system for their definition and management, Sigmod Record 25, 5-10, 1996
  • Rieger H., Santen L., Blasum U., Diehl M., Jünger M., Rinaldi G.: The critical exponents of the two-dimensional Ising spin glass revisited: Exact Ground State Calculations and Monte Carlo Simulations, Journal of Physics A-Mathematical and General 29, 3939-3950, 1996
  • Serino F., Pozzetto U., Citterio F., Maggiano N., Evangelisti A., Balestra R., Perilli W., Sollazzi L., Castagneto M.: Active Antigen Shielding by Administration of Sandoglobulin(r) to the Donor in Pig -to-Human Xenotransplantation, Intravenous Immunoglobulin Research and Therapy, Switzerland, 1996
  • Steenland K., Deddens J., Salvan A., Stayner L.: Negative bias in exposure-response trends in occupational studies - Modeling the healthy worker survivor effect, American Journal of Epidemiology 143, 202-210, 1996
  • Yi B., Cioni G., Colagrossi A.: Intuitive minimal abduction in sequent calculus, IASI-CNR, R. 438, 07/1996
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -