Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" (Publications)

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 2000, with author ALL, in the category Articles in Journals, Collections and Proceedings (or show them all): (Items found: 100)

2000 [top]

Alon N., Fachini E., Körner J.: Locally thin set families, Combinatorics Probability & Computing 9, 481-488, 2000
Alon N., Körner J., Monti A.: String quartets in binary, Combinatorics Probability & Computing 9, 381-390, 2000
Avis D., De Simone C., Nobili P.: Two conjectures on the chromatic polynomial, in: LATIN 2000: Theoretical Informatics, Gonnet G.H., Panario D., Viola A. eds., Lecture Notes in Computer Science, 1776, Springer-Verlag, 154-162, 2000
Paola Bertolazzi, Di Battista G., Didimo W.: Computing Orthogonal Drawings with the Minimum Number of Bends, IEEE Transactions on Computers 49, 826-840, 2000
Paola Bertolazzi, Di Serio P., Michele Missikoff: Tecniche diagrammatiche per la modellazione di impresa: una panoramica, AIIA Notizie 13, 24-33, 2000
Paola Bertolazzi, Fugini M.G., Pernici B.: Information System Design based on Reuse of Conceptual Components, in: Information Modelling in the Next Millenium, Rossi M. ed., IDEA group, 2000
Bertuzzi A., Fasano A., Gandolfi A.: A mathematical model for the growth of tumor cords incorporating the dynamics of a nutrient, in: Free Boundary Problems: Theory and Applications II, Kenmochi N. ed., Gakuto International Series: Mathematical Sciences and Applications, 14, Gakkotosho, 31-46, 2000
Bertuzzi A., Gandolfi A.: A model for estimating cell kinetic parameters of experimental tumours studied by BrdUrd labelling and flow cytometry, Archives of Control Sciences 9, 41-56, 2000
Bertuzzi A., Gandolfi A.: Cell kinetics in a tumour cord, Journal of Theoretical Biology 204, 587-599, 2000
Bertuzzi A., Mingrone G., Gandolfi A., Greco A.V., Salinari S.: Disposition of dodecanedioc acid in humans, Journal of Pharmacology and Experimental Therapeutics 292, 846-852, 2000
Bielli M., Carotenuto P., Confessore G.: A new hybrid approach for transport network design, in: Spatial Economic Science: New frontiers in theory and methodology, Reggiani A. ed., Springer-Verlag, 2000
Bielli M., Landolfi O.: Technology assessment methods to support the Common Transport Policy in the road transport telematics, in the Proceedings of 7th World ITS Congress, Turin, 2000
Bielli M., Villa A.: A new design methodology for large-scale logistic integrated networks, in the Proceedings of 7th World ITS Congress, Turin, 2000
Bielli M., Villa A.: Autonomy versus efficiency in management of large-scale logistic networks, in the Proceedings of Proceedings of the Rome Jubilee 2000 Conference on Transportation, 2000
Bordoni L., Colagrossi A.: Library's Unified Information System and Advanced Library Services, Library Computing 19 (2), 2000
Bordoni L., Colagrossi A.: A Case-based Reasoning Methodology for Restoring Frescoes, in the Proceedings of 18th Iasted International Conference on Applied Informatics, Innsbruck, 2000, 2000
Broggio G., Falcomatà S., Giovanni Felici, Claudio Gentile, Paoletti B.: An optimization framework for ground staff roster management using integer programming, in: Handbook of Airline Operations, Butler G.F., Keller M.R. eds., McGraw-Hill, New York, 349-369, 2000
Broggio G., Giovanni Felici, Claudio Gentile, Paoletti B.: A polyhedral method for the ground staff roster problem, in the Proceedings of Abstracts, EURO XVII - 17th European Conference on Operational Research, Budapest, Ungheria, 16--19 Luglio, 2000
Cabibbo L., Torlone R.: The Design and Development of a Logical System for OLAP, in the Proceedings of Proceedings of 2nd International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2000, Lecture Notes in Computer Science, 1874, Springer-Verlag, 1-10, 2000
Cabibbo L., Torlone R.: Computing Aggregations in Database Query Languages, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD 2000), 35-48, 2000
Caramia M., Dell'Olmo P., Italiano G.F.: New Algorithms for Examination Timetabling, in the Proceedings of Proceeding of the 4-th Workshop on Algorithm Engineering, Springer-Verlag, 2000
Francesco Carravetta, Germani A., Liptser R., Manes C.: Filtering of Nonlinear Stochastic Feedback Systems, in the Proceedings of CDC'2000, 39-th IEEE Conference on Decision and Control, Sydney, Australia, 2000
Francesco Carravetta, Germani A., Shuakayev M.K.: A New Suboptimal Approach to the Filtering Problem for Bilinear Stochastic Differential Systems, SIAM Journal on Control and Optimization, 1171-1203, 2000
Castano S., Papopoli L., Torlone R.: The InterData Methodological Framework for the Development of Web-based Information Systems, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD 2000), 139-152, 2000
Cattani P., Nanni G., Grappo R., Capuano M., Cerimele F., La Parola I.L., Diociaiuti A., Pozzetto U., Cerimele D., Fadda G., Castagneto M.: Pretransplantation Human Herpes Virus 8 Seropositivity as a Risk Factor for Kaposi's Sarcoma in Kidney Recipients, Transplantation Proceedings 32, 526-527, 2000
Carlo Chiarla, Ivo Giovannini, Siegel J.H., Boldrini G., Castagneto M.: The relationship between plasma taurine and other amino acid levels in human sepsis, Journal of Nutrition 130, 2222-2227, 2000
Carlo Chiarla, Ivo Giovannini, Siegel J.H., Boldrini G., Castagneto M.: Taurine and pulmonary hemodynamics in sepsis, Amino Acids 18, 389-397, 2000
Chiorino G.: Cell cycle variability and population growth, in the Proceedings of International Conference DESTOBIO 2000, West Lafayette, Indiana, USA, 23-27 Agosto, 2000
Chiorino G., Arino O., Ubezio P.: Cell cycle regulation and perturbations, in the Proceedings of European Communications in Mathematical and Theoretical Biology, 1: 7--10, Gennaio 2000, 2000
Colagrossi A.: L'apprendimento automatico nei sistemi user-modelling per i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
Colagrossi A.: La Rete Unitaria della Pubblica Amministrazione ed i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
Confessore G., Dell'Olmo P., Giordani S.: A Linear Time Approximation Algorithm for Interval Coloring on Proper Interval Graphs, International Journal of Mathematical Algorithms 2, 133-147, 2000
Confessore G., Dell'Olmo P., Giordani S.: Orienting Dart-free Clique-Helly Graphs, in the Proceedings of Operations Research Proceedings 1999, Springer-Verlag, 52-57, 2000
Dalla Mora M., Germani A., Manes C.: Design of state observers from a drift-observability property, IEEE Transactions on Automatic Control, 1536-1540, 2000
Diociaiuti A., Nanni G., Cattani P., La Parola I.L., Masini C., Capuano M., Pozzetto U., Fadda G., Castagneto M., Cerimele D.: HHV8 in renal transplant recipients, Transplant International 13, S410-S412, 2000
Drozdowski M., Dell'Olmo P.: Scheduling Multiprocessor Tasks for Mean Flow Time Criterion, Computers & Operations Research 27, 571-585, 2000
Farina V., Giovanni Felici, Claudio Gentile, Peri F.: Prototype study of an optimization algorithm for ship scheduling in hydrocarbon products distribution, in the Proceedings of IAME 2000, The Maritime Industry into the Millenium: The Interaction of Theory and Practice, Napoli, 13-15 Settembre, 2000
Giovanni Felici: Learning Algorithms in Logic Domains, in the Proceedings of 4th International Conference on Operations Research, L'Avana, Cuba, 4-10 Marzo, Departamento de Màtematica Aplicada, Universitad de la Habana, 2000
Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Polyhedral Optimization Algorithm for Logistics and Supply Chain Management, in the Proceedings of 4th International Conference on Operations Research, L'Avana, Cuba, 4-10 Marzo, 2000
Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Polyhedral Optimization Algorithm for Supply Chain Management in Oil Industry, in the Proceedings of 8th Meeting of the Euro Working Group on Transportation (EWGT), Roma, 11-14 Settembre, 2000
Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: Traffic control: a logic programming approach and a real application, Ricerca Operativa 30 (94/95), 39-60, 2000
Ferri F., Pourabbas E., Rafanelli M., Ricci F.L.: Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data, in the Proceedings of Proceedings of 12th IEEE International Conference on Scientific and Statistical Database Management, SSDBM 2000, IEEE Press, 220-230, 2000
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs, Theoretical Computer Science, Electronic Notes 30 (2), 2000
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, in the Proceedings of LOPSTR'2000, Logic-based Program Synthesis and Transformation, London, UK, 24-28 July, Lau K.-K. ed., 2000
Forlizzi L., Güting R.H., Nardelli E., Schneider M.: A Data Model and Data Structures for Moving Objects Databases, Sigmod Record 29, 319-330, 2000
Formisano A., Omodeo E., Temperini M.: Goals and benchmarks for automated map reasoning, Journal of Symbolic Computation 29, 13-39, 2000
Formisano A., Omodeo E., Temperini M.: Instructing equational set-reasoning with Otter, in the Proceedings of GULP/PRODE/APPIA Conference, Habana, Cuba, Dec. 2000, 2000
Carlo Gaibisso, Draoli M., Laureti Palma A., Puccinelli R., Salza S.: Methods and Tools for the Objective Evaluation of Voice-over-IP Communications, in the Proceedings of Proceedings of INET'00, Annual Meeting of the Internet Society, Yokohama, Japan, 18-21 July, 2000, 2000
Anna Galluccio, Hell P., Nešetřil J.: The complexity of $H$-colouring of bounded degree graphs, Discrete Mathematics 222, 101-109, 2000
Anna Galluccio, Loebl M., Vondřak J.: A new algorithm for the Ising problem: partition function for finite lattice graphs, Physical Review Letters 84, 5924-5927, 2000
Gandolfi A.: Cell receptor occupancy during cell-to-cell adhesion, Mathematical and Computer Modelling 31, 53-62, 2000
Claudio Gentile: Problemi strutturati a blocchi con variabili intere: casi teorici e applicazione ad un problema reale, Bollettino Della Unione Matematica Italiana III-A n.3, 347-349, 2000
Germani A., Manes C.: A Bayesian approach for position estimation in a sensored mobile robot, in the Proceedings of World Automation Conference 2000, 2000
Germani A., Manes C., Pepe P.: State observation of nonlinear systems with delayed output, in the Proceedings of 2nd IFAC Workshop on Time Delay Systems, Ancona, Italy, 2000
Germani A., Manes C., Pepe P.: A twofold spline approximation for finite horizon LQG control of hereditary systems, SIAM Journal on Control and Optimization, 1233-1295, 2000
Germani A., Manes C., Pepe P.: Local asymptotic stability for nonlinear state feedback delay systems, Kybernetika, 31-42, 2000
Gould N., Lucidi S., Roma M., Toint Ph.: Exploiting negative curvature directions in linesearch methods for unconstrained optimization, Optimization Methods & Software 14, 75-96, 2000
Greco A.V., Mingrone G., Favuzzi A., Bertuzzi A., Gandolfi A., De Smet R., Vanholder R., Gasbarrini G.: A subclinical hepatic encephalopathy: role of tryptophan binding to albumin and the competition with indole-3-acetic acid, Journal of Investigative Medicine 48, 274-280, 2000
Grippo L., Marco Sciandrone: On the convergence of the block nonlinear Gauss-Seidel method under convex constraints, Operations Research Letters 26, 127-136, 2000
Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of the Nineteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2000), 2000
Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of the International Conference on Statistical and Scientific Database Management (SSDBM 2000), 2000
Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of 8th Italian Symposium on Advanced Database Systems (SEBD 2000), 2000
Daniele Gui, De Gaetano A., Spada P.L., Viggiano A., Cassetta E., Albanese A.: Botulinum toxin injected in the gastric wall reduces body weight and food intake in rats., Alimentary Pharmacology & Therapeutics 14 (6), 829-34, 2000
Holzheimer R.G., Capel P., Cavaillon J.M., Cainzos M., Frileux P., Haupt W., Marie C., Muller E., Ohmann C., Schoffel U., Lopez-Boado M.A., Gabriele Sganga, Stefani A., Kronberger L.: Immunological surrogate parameters in a prognostic model for multi-organ failure and death, European Journal of Medical Research 5 (7), 283-94, 2000
Jünger M., Giovanni Rinaldi, Thienel S.: Practical Performances of Efficient Minimum Cut Algorithms, Algorithmica 26, 172-195, 2000
Lampariello F.: On the use of the Kolmogorov-Smirnov statistical test for~immuno\-fluorescence histogram comparison, Cytometry (39), 179-188, 2000
Malucelli F., Sara Nicoloso: Shiftable Intervals, in the Proceedings of ICGT 2000, 6eme Colloque International de Théorie des Graphes, Marseille Luminy, France, 231-234, 2000
Maria G., Brisinda G., Bentivoglio A.R., Cassetta E., Daniele Gui, Albanese A.: Influence of botulinum toxin site of injections on healing rate in patients with chronic anal fissure., American Journal of Surgery 179 (1), 46-50, 2000
Bruno Luigi Martino, Del Monte E, Costa E, Di Persio G, Feroci M, Lapshov I, Mastropietro M, Morelli E, Prest M, Rubini A, Soffitta P., Vallazza E: Performances of XA1.3 ASIC chip for the SuperAGILE experiment on board of AGILE, SPIE, 2000
Bruno Luigi Martino, Rapisarda M, Barbanera L., Costa E, Del Monte E, Di Persio G, Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti F, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Morselli A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: SuperAGILE, the X-ray monitor of AGILE, Vulcano Workshop VW ed., 2000
Bruno Luigi Martino, Rapisarda M, Barbanera L., Costa E, Del Monte E, Di Persio G, Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti F, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Morselli A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: SuperAGILE, the X-ray monitor of AGILE, 2000
Michele Missikoff: Knowledge Management, AIIA Notizie 13, 5-7, 2000
Michele Missikoff: Management of Knowledge and Intangible Assets in the Context of Dynamic Business Environments: a Position Paper, in the Proceedings of Consultation Meeting of the DG Information Society, Bruxelles , 2000
Michele Missikoff, Velardi P.: Mining Texts to Acquire a Tourism Knowledge Base for Semantic Interoperability, in the Proceedings of The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000
Nardelli E., Di Pasquale A.: An Amortized Lower Bound for Distributed Searching of $k$-dimensional Data, in the Proceedings of Proceedings of Workshop on Distributed Data and Structures (WDAS 2000), Flammini M., Nardelli E., Proietti G., Spirakis P. eds., Carleton Scientific, in press, 2000
Nardelli E., Di Pasquale A.: Scalable Distributed Data Structures: a Survey, in the Proceedings of Proceedings of Workshop on Distributed Data and Structures (WDAS 2000), Flammini M., Nardelli E., Proietti G., Spirakis P. eds., Carleton Scientific, in press, 2000
Nardelli E., Di Pasquale A.: Distributed Searching of $k$-Dimensional Data with Almost Constant Costs, in: Current Issues in Databases and Information Systems - Advances in Databases and Information Systems (ADBIS 2000), Stuller J., Pokorn{ý} J., Thalheim B., Masunaga Y. eds., Lecture Notes in Computer Science, 1884, Springer-Verlag, 239-250, 2000
Nardelli E., Forlizzi L.: Characterization Results for the Poset Based Representation of Topological Relations - II: Intersection and Union, Informatica 24 (1), 2000
Nardelli E., Guido Proietti: An Efficient Spatial Access Method for Spatial Images Containing Multiple Non-Overlapping Features, Information Systems 25 (8), 553-568, 2000
Nardelli E., Guido Proietti: Size Estimation of the Intersection Join Between Two Line Segment Datasets, in: Current Issues in Databases and Information Systems - Advances in Databases and Information Systems (ADBIS 2000), Stuller J., Pokorn{ý} J., Thalheim B., Masunaga Y. eds., Lecture Notes in Computer Science, 1884, Springer-Verlag, 229-238, 2000
Nardelli E., Guido Proietti, Widmayer P.: Maintaining a Minimimum Spanning Tree Under Transient Node Failures, in: Algorithms - Annual European Symposium (ESA 2000), Peterson M. ed., Lecture Notes in Computer Science, 1879, Springer-Verlag, 346-355, 2000
Paola Paci, Cappelluti E, Grimaldi C, Pietronero L: s- and d-wave symmetries in nonadiabatic theory of superconductivity, International Journal of Modern Physics B, 2982-2987, 2000
Paola Paci, Grimaldi C, Pietronero L: d-wave nonadiabatic superconductivity, European Physical Journal B, 235-243, 2000
Pasquale Palumbo: A realizable observer for a flexible system with delayed outputs, in the Proceedings of 2nd IFAC Workshop on Time Delay Systems, Ancona, Italy, 2000
Paolucci M., Sindoni G., De Francisci S., Tininini L.: SIT-IN on Heterogeneous Data with Java, HTTP and Relations, in the Proceedings of the International Workshop on Java and Databases: Persistence Options (in NetObject.Days 2000), 2000
Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments, in the Proceedings of Logic-based Program Synthesis and Transformation, LOPSTR '99, Venezia, Italy, Bossi A. ed., Lecture Notes in Computer Science, 1817, 2000
Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations, in the Proceedings of First International Conference on Computational Logic, CL'2000, London, 24-28 July, 2000, Lloyd J.W., others eds., Lecture Notes in Artificial Intelligence, 1861, Springer, 613-628, 2000
Pirillo G.: From the Fibonacci word to Sturmian words. II, Pure Mathematics and Applications. Series A 11 (3), 533-537, 2000
Mauro Pittiruti, Buononato M., Malerba M., Carriero C., Tazza L., Daniele Gui: Which is the easiest and safest technique for central venous access? A retrospective survey of more than 5,400 cases, Journal of Vascular Access 1, 100-107, 2000
Pourabbas E., Rafanelli M.: Hierarchies and Relative Operators in the OLAP Environment, Sigmod Record 29, 32-37, 2000
Pozzetto U., Facchiano A., Serino F.: Rational Desing of Immunosoppressive Molecule: Inhibition of T-Cells Activation by Ciclic Peptide from Human CD4 molecule, Transplant International 13, 456-461, 2000
Prince M.M., Ward E.M., Ruder A.M., Salvan A., Roberts D.R.: Mortality Among Rubber Chemical Manufacturing Workers, American Journal of Industrial Medicine 3, 590-598, 2000
Guido Proietti: Dynamic Maintenance Versus Swapping: an Experimental Study on Shortest Paths Trees, in: Algorithm Engineering (WAE 2000), Näher S., Wagner D. eds., Lecture Notes in Computer Science, 1982, Springer-Verlag, 207-217, 2000
Guido Proietti, Faloutsos C.: Analysis of Range Queries and Self Spatial Join Queries on Real Region Datasets Stored Using an R-tree, IEEE Transactions on Knowledge and Data Engineering 12 (5), 751-762, 2000
Giovanni Rinaldi: Branch and cut algorithms for the exact solution of the capacitated vehicle routing problem, in the Proceedings of Abstracts, EURO XVII - 17th European Conference on Operational Research, Budapest, Ungheria, 16--19 Luglio, 2000
Giovanni Rinaldi: Unconstrained quadratic programming with binary variables, in the Proceedings of Deutsche Mathematiker-Vereinigung Jahrestagung 2000, Dresden, 2000
Rosati P., Guariglia L., Bertuzzi A.: Transvaginal assessment of fetal anatomy at 11 to 16 weeks of gestation in relation to fetal position, Fetal Diagnosis and Therapy 15, 63-70, 2000
Salvan A., Pons O., Roletti S., Erna M., Liguori F., Ciccolallo L., Galassi C., Miligi M., Poggi A., Cannizzaro S, Tumino R., Bortot P., Polichetti A, Vecchia P, Magnani C: SETIL workgroup: A pilot study of residential exposure to extremely low frequency magnetic fields for the Italian epidemiologic study of risk factors for childhood cancer (SETIL), in the Proceedings of the Millennium Workshop on Biological Effects of Electromagnetic Fields, Kostarakis P., Stavroulakis P. eds., 2000
Marco Sciandrone, Placidi G., Testa L., Sotgiu A.: Compact low field magnetic resonance imaging magnet: design and optimization, Review of Scientific Instruments 71, 1534-1538, 2000
Tacconelli E., Tumbarello M., De Gaetano Donati K., Bertagnolio S., Mauro Pittiruti, Leone F., Morace G., Cauda R.: Morbidity associated with central venous catheter-use in a cohort of 212 hospitalized subjects with HIV infection, Journal of Hospital Infection 44 (3), 186-192, 2000