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

2002 [top]

Arcieri F., Cappadozzi E., Naggar P., Nardelli E., Talamo M.: Coherence Maintainance in Cooperative Information Systems: the Access Key Warehouse Approach, International Journal of Cooperative Information Systems 11 (1--2), 175-200, 2002
Arcieri F., Melideo G., Nardelli E., Talamo M.: Experiences and Issues in the Realization of E-Government Services, in the Proceedings of 12th Int. Workshop on Research Issues on Data Engineering: Engineering E-Commerce/E-Business Systems {(RIDE'02)}, IEEE Computer Society Press San Jose, California, USA, 143-150, 2002
Arcieri F., Melideo G., Nardelli E., Talamo M.: A Reference Architecture for the Certification of E-Services in a Digital Government Infrastructure, Distributed and Parallel Databases 12, 217-234, 2002
Avis D., De Simone C., Nobili P.: On the Chromatic Polynomial of a Graph, Mathematical Programming 92, 439-452, 2002
Barillari F., Nardelli E., Pepe M.: Fully Dynamic Search Trees can be Balanced in $O(\log2 N)$ Time, Journal of Parallel and Distributed Computing 62 (11), 1617-1628, 2002
Becchetti L., Paola Bertolazzi, Carlo Gaibisso, Gambosi G.: On the design of efficient ATM routing schemes, Theoretical Computer Science 1-2, 341-359, 2002
Paola Bertolazzi, Di Battista G., Didimo W.: Quasi-Upward Planarity, Algorithmica 32, 474-506, 2002
Bertuzzi A., d'Onofrio A., Fasano A., Gandolfi A.: Regression and regrowth of tumour cords following single-dose anticancer treatment, IASI-CNR, R. 576, 2002
Bertuzzi A., d'Onofrio A., Fasano A., Gandolfi A.: Modelling cell populations with spatial structure: steady state and treatment-induced evolution of tumour cords, IASI-CNR, R. 578, 2002
Bertuzzi A., Faretta M., Gandolfi A., Carmela Sinisgalli, Starace G., Valoti G., Ubezio P.: Kinetic heterogeneity of an experimental tumour revealed by BrdUrd incorporation and mathematical modelling, Bulletin of Mathematical Biology 64, 355-384, 2002
Bertuzzi A., Fasano A., Gandolfi A., Marangi D.: Cell kinetics in tumour cords studied by a model with variable cell cycle length, Mathematical Biosciences 177&178, 103-125, 2002
Bianchi M., Carlo Gaibisso, Vitale M.: A Java Meta-registry for Remote Service Objects, in the Proceedings of IASTED International Conference. Communications, Internet, and Information Technology, November 18-20, 2002, St. Thomas, US Virgin Islands., 2002
Bianchi M., Carlo Gaibisso, Vitale M.: A java meta-registry for remote service objects, IASI-CNR, R. 582, 12/2002
Bielli M., Bielli A.: Urban traffic data mining and neural network models, in the Proceedings of Proceeding of the International Conference on Traffic and Transportation Systems, Bari, June 10--14, 2002
Bielli M., Caramia M., Carotenuto P.: Genetic algorithms in bus network optimization, Transportation Research Part C-Emerging Technologies 10 (1), 19-34, 2002
Biffi R., Mauro Pittiruti: Central venous long term access implant in oncology patients: is there a gold standard?, Journal of Vascular Access 3, 93-96, 2002
Biffi R., Mauro Pittiruti, Gillet J.P., Fobe D., Hermanne J.P., Pescio M., Gourlia A., Collet K., Battelli C., Cenciarelli S.: Valved central venous catheter connected to subcutaneous port: a multicenter phase IV study based on a cohort of 50 oncology patients, Journal of Vascular Access 3, 147-153, 2002
Blazewicz J., Dell'Olmo P., Drozdowski M.: Scheduling multiprocessor tasks on two parallel processors, Rairo-Recherche Operationnelle-Operations Research, 37-57, 2002
Bortot P., Thomaseth K., Salvan A.: Population toxicokinetic analysis of 2,3,7,8-therachlorodibenzo-p-dioxin using Bayesian techniques, Statistics in Medicine 21, 533-547, 2002
Bossola M., Muscaritoli M., Costelli P., Nanni G., Tazza L., Panocchia N., Busquets S., Argiles J., Lopez-Soriano F.J., Grieco G., Baccino F.M., Fanelli F.R., Castagneto M., Luciani G.: Muscle ubiquitin m-rNA levels in patients with end-stage renal disease on maintenance hemodialysis, Journal of Nephrology 15 (5), 552-557, 2002
Brewer D.D., Garrett S.B., Giovanni Rinaldi: Free-Listed Items are Effective Cues for Eliciting Additional Items in Semantic Domains, Applied Cognitive Psychology 16, 343-358, 2002
Brewer D.D., Garrett S.B., Giovanni Rinaldi: Patterns in the Recall of Sexual and Drug Injection Partners, in: Advances in Medical Sociology, Levy J.A., Pescosolido B.A. eds., Social Network and Health, 8, Elsevier Science Ltd., 131-149, 2002
Brisinda G., Maria G., Gabriele Sganga, Bentivoglio A.R., Albanese A., Castagneto M.: Effectiveness of higher doses of botulinum toxin to induce healing in patients with chronic anal fissures, Surgery 131 (2), 179-184, 2002
Brisinda G., Nigro C., Maria G., Matera D., Brandara F., Gabriele Sganga, Civello I.M.: Valutazione di fattori clinici e degli indici prognostici multiparametrici in pazienti con pancreatite acuta. Analisi retrospettiva su 450 osservazioni personali, Annali Italiani di Chirurgia LXXIII, 81-86, 2002
Buononato M., Mauro Pittiruti, Maria G., Nigro C., Gabriele Sganga, Civello I.M.: Tension-free inguinal hernia repair in ``one-day surgery''. Experience of 1091 cases, Hepato-Gastroenterology 49 (45), 715-718, 2002
Burioni R.: Blocking immunodominant epitopes by competitive deselection, Methods in Molecular and Cellular Biology 178, 173-177, 2002
Burioni R., Matsuura Y., Mancini N., Tani H., Miyamura T., Varaldo P.E., Clementi M.: Diverging effects of human recombinant anti-hepatitis C virus (HCV) antibody fragments derived from a single patient on the infectivity of a vesicular stomatitis virus/HCV pseudotype, Journal of Virology 76 (22), 11775-11779, 2002
Böckenhauer H.J., Bongartz D., Hromkovič J., Klasing R., Guido Proietti, Seibert S., Unger W.: On the Hardness of Constructing Minimal Biconnected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality, in: 22nd Int. Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'02), Lecture Notes in Computer Science, 2556, Springer-Verlag, 59-70, 2002
Caramia M., Dell'Olmo P.: Constraint Propagation in Graph Coloring, Journal of Heuristics 8, 83-107, 2002
Caramia M., Giovanni Felici, Pezzoli A.: Improving search results with data mining in a thematic search engine, IASI-CNR, R. 574, 09/2002
Francesco Carravetta, Germani A., Liptser R., Manes C.: Filtering of Nonlinear Stochastic Feedback Systems, SIAM Journal on Control and Optimization 5, 1576-1584, 2002
Francesco Carravetta, Gabriella Mavelli: Suboptimal Linear-Feedback Quadratic-Cost Stochastic Control for an Observable Linear System with Multiplicative Noise, in the Proceedings of 15th IFAC World Congress, Barcelona, Spain, 1833-1838, 2002
Francesco Carravetta, Gabriella Mavelli: Stochastic Control of Bilinear Systems: The Optimal Quadratic Controller, in the Proceedings of 41th IEEE Conference on Decision and Control, Las Vegas, USA, 2002
Francesco Carravetta, Gabriella Mavelli: Suboptimal stochastic linear-feedback control of linear systems with state-dependent noise: the incomplete information case, IASI-CNR, R. 569, 00/2002
Cavaliere F., Pennisi M.A., Mauro Pittiruti, Petrino R., Olliveri F.: Procedure invasive, non invasive e di monitoraggio in emergenza, in: Manuale di medicina d'emergenza, Della Corte F., Olliveri F., Enrichens F. eds., McGraw Hill Milano, 1033-1070, 2002
Citterio F., Scatà M.C., Violi P., Romagnoli J., Pozzetto U., Nanni G., Castagneto M.: Conversion to tacrolimus immunosuppression in renal transplant recipients: 12-month follow-up, Transplantation Proceedings 34 (5), 1685-1686, 2002
Confessore G., Dell'Olmo P., Giordani S.: An Approximation Result for the Interval Coloring Problem on Claw-free Chordal Graphs, Discrete Applied Mathematics, 73-90, 2002
De Angelis V., Giovanni Felici, Storchi G.: Planning the Emergency Ambulance service in the City of Rome by a Mixed Integer Linear Programming Model, in the Proceedings of 28th International Conference of the EURO working Group ORAHS-2002, Rio de Janeiro, July 28 - August 2, 2002
De Gaetano A., Di Martino D., Germani A., Manes C.: Mathematical models and state observation of the glucose-insulin homeostasis, IASI-CNR, R. 568, 00/2002
De Simone C., Gasparyan G., Nobili P.: Non-Regular Square Bipartite Designs, Linear Algebra and Its Applications 348, 63-85, 2002
Di Pasquale A., Flammini M., Nardelli E.: Allocation Problems in Scalable Distributed Data Structures, in the Proceedings of 4th International Workshop on Distributed Data and Structures {(WDAS'02)}, 11, Proceedings in Informatics Paris, 2002
Di Pasquale A., Nardelli E., Guido Proietti: An Improved Upper Bound for Scalable Distributed Search Trees, in the Proceedings of Proc. 4th International Workshop on Distributed Data \& Structures (WDAS'02), Proceedings in Informatics, 11, Carleton Scientific, 2002
Eisenbrand F., Giovanni Rinaldi, Paolo Ventura: 0/1 Optimization and 0/1 Primal Separation are Equivalent, in the Proceedings of Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, 920-926, 2002
Eisenbrand F., Paolo Ventura: A compact linear program for testing optimality of perfect matchings, IASI-CNR, R. 573, 2002
Facchinei F., Lucidi S., Palagi L.: A truncated Newton algorithm for large scale box constrained optimization, SIAM Journal on Optimization 12, 1100-1125, 2002
Fachini E., Körner J.: Codes for a long silence, in the Proceedings of Transactions of the 8th International Workshop on Algebraic and Combinatorial Coding Theory ACCT-VIII, St. Petersburg, September 2002,, 2002
Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: A methodology for traffic signal control based on logic programming, IASI-CNR, R. 581, 12/2002
Giovanni Felici, Truemper K.: A MINSAT approach for learning in logic domains, Informs Journal on Computing 14, 20-36, 2002
Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of Proceedings of the 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 10-14 March, 2002, Madrid, Spain, ACM, 432-437, 2002
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Systems Using Program Transformation, in: Logic Based Program Synthesis and Transformation, Pettorossi A. ed., Lecture Notes in Computer Science, 2372, 111-128, 2002
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs, in the Proceedings of SMC'02, 6 - 9 October, 2002, Hammamet, Tunisia, IEEE International Conference on Systems, Man, and Cybernetics, 2002
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation, in the Proceedings of Proceedings of LOPSTR'02, Twelfth International Workshop on Logic-based Program Development and Transformation, 17-20 Sept. 2002, Madrid, Spain, Bueno F., Leuschel M. eds., 2002
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching, in the Proceedings of AGP'02, 2002 Joint Conference on Declarative Programming, 16 - 18 September 2002, Madrid, Spain, Moreno-Navarro J.J., Marino-Carballo J. eds., 2002
Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining logic programs and monadic second order logics by program transformation, IASI-CNR, R. 580, 12/2002
Flammini M., Nardelli E., Guido Proietti, Spirakis P. eds.: Special Issue: SIROCCO 2000, Journal of Discrete Algorithms, 2, King's College Publications, 2002
Anna Formica: Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas, IEEE Transactions on Knowledge and Data Engineering 14 (1), 123-139, 2002
Anna Formica, Frank H.: Consistency of the Static and Dynamic Components of Object-Oriented Specifications, Data & Knowledge Engineering 40 (2), 195-215, 2002
Anna Formica, Michele Missikoff: Concept Similarity in SymOntos: an Enterprise Ontology Management Tool, Computer Journal 45 (6), 583-594, 2002
Anna Formica, Michele Missikoff: An extended XML approach to ontology engineering, in the Proceedings of Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI'02), Orlando, USA, July 14-18, 1, World Multiconference on Systemics, Cybernetics and Informatics, 69-71, 2002
Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, ACM SIGMOD Digital Symposium Collection (DiSC), ACM SIGMOD Digital Symposium Collection (DiSC), 2002
Antonio Frangioni, Claudio Gentile: Solving Network Problems with Interior Point Methods and Preconditioned Conjugated Gradient Method, in the Proceedings of IFORS 2002, Edinburgh, July 8--12, 2002
Antonio Frangioni, Claudio Gentile: Perspective cuts for 0-1 mixed integer programs, IASI-CNR, R. 577, 11/2002
Antonio Frangioni, Glover F., Lodi A., Giovanni Rinaldi: Optimizing over Semimetric Polytopes, in the Proceedings of IFORS 2002, Edinburgh, July 8--12, 2002
Carlo Gaibisso, Draoli M., Giannelli D.: Deploying the GLOBUS Security Infrastructure in a Production Environment: Testing and Evaluation, in the Proceedings of Proceedings of Euroweb 2002 Conference, The Web and the GRID: from e-science to e-business, December 2002, Oxford, UK, 2002
Carlo Gaibisso, Draoli M., Lombardi F., Stentella Liberati A.: A Java Architecture for Secure Reliable Multicast Data Transfer: Performance Evaluation, in the Proceedings of Proceedings of the IASTED International Conference. Communications, Internet, and Information Technology, November 18-20, 2002, St. Thomas, US Virgin Islands., 2002
Anna Galluccio, Goddyn L.A.: The circular flow number of a 6-edge-connected graph is less than four, Combinatorica 22, 455-459, 2002
Anna Galluccio, Guido Proietti: A Faster Approximation Algorithm for 2-Edge-Connectivity Augmentation, in: Proc. 13th Annual International Symposium on Algorithms and Computation (ISAAC'02), Lecture Notes in Computer Science, 2518, Springer-Verlag, 150-162, 2002
Anna Galluccio, Pêcher A.: On the circular chromatic number of partitionable graphs, IASI-CNR, R. 566, 04/2002
Claudio Gentile, Haus U.-U., Köppe M., Giovanni Rinaldi, Weismantel R.: A Primal Approach to the Stable Set Problem, in: Algoriths - ESA 2002, Möring R., Raman R. eds., Lecture Notes in Computer Science, 2461, Springer, 525-537, 2002
Claudio Gentile, Haus U.-U., Köppe M., Giovanni Rinaldi, Weismantel R.: Solving the stable set problem with a primal approach, in the Proceedings of AIRO 2002, L'Aquila, September 10--13, 2002
Claudio Gentile, Giovanni Rinaldi, Haus U.-U., Koppe M., Weismantel R.: On the way to perfection: primal operations for stable sets in graphs, IASI-CNR, R. 563, 1/2002
Germani A., Manes C.: A State Observer for Nonlinear Delay Systems with Delayed Output, in the Proceedings of 2002 IASTED Conference on Control and Applications (CA 2002), Cancun, Mexico, 301-306, 2002
Germani A., Manes C., Pasquale Palumbo: Optimal Linear filtering for Stochastic Differential Systems with Unknown Inputs, IEEE Transactions on Automatic Control 47, 1726-1730, 2002
Germani A., Manes C., Pasquale Palumbo: Kalman-Bucy Filtering for Singular Stochastic Differential Systems, in the Proceedings of 15th IFAC World Congress, Barcelona, Spain, 2002
Germani A., Manes C., Pasquale Palumbo: Filtering of Systems via a Minimax Approach, in the Proceedings of 41th IEEE Conference on Decision and Control, Las Vegas, USA, 2600-2605, 2002
Germani A., Manes C., Pasquale Palumbo: State Estimation for a Class of Stochastic Variable Structure Systems, in the Proceedings of 41th IEEE Conference on Decision and Control, Las Vegas, USA, 3027-3032, 2002
Germani A., Manes C., Pasquale Palumbo: Polynomial filtering for stochastic systems with Markovian switching coefficients, IASI-CNR, R. 570, 2002
Germani A., Manes C., Pasquale Palumbo: Polynomial extended Kalman filtering for discrete-time nonlinear stochastic systems, IASI-CNR, R. 572, 7/2002
Germani A., Manes C., Pasquale Palumbo: A minimum variance filter for discrete-time linear systems perturbed by unknown nonlinearities, IASI-CNR, R. 575, 9/2002
Germani A., Manes C., Pepe P.: A New Approach to State Observation of Nonlinear Systems with Delayed Output, IEEE Transactions on Automatic Control 47, 96-101, 2002
Germani A., Manes C., Pepe P.: State Observation for Nonlinear Hybrid Automata, WSEAS Transactions on Systems 1, 210-215, 2002
Germani A., Manes C., Pepe P.: State Observation for Nonlinear Hybrid Automata, in the Proceedings of 2nd WSEAS Conference on Instrumentation, Measurement, Control, Circuit and Systems (IMCCAS 2002), Cancun, Mexico, 2002
Germani A., Gabriella Mavelli: The polynomial approach to the LQ non-Gaussian regulator problem, IEEE Transactions on Automatic Control 47, 1385-1391, 2002
Giovanetti E., Brenciani A., Burioni R., Varaldo P.E.: A Novel Efflux System in Inducibly Erythromycin-Resistant Strains of Streptococcus pyogenes, Antimicrobial Agents and Chemotherapy 46 (12), 3750-3755, 2002
Ivo Giovannini, Carlo Chiarla, Boldrini G., Greco F., Nuzzo G.: Plasma fibrinogen, complications and outcome after hepatectomy, Shock 18, 2002
Ivo Giovannini, Carlo Chiarla, Nuzzo G.: Pathophysiologic and clinical correlates of hypophosphatemia and the relationship with sepsis and outcome in postoperative patients after hepatectomy, Shock 18 (2), 111-115, 2002
Ivo Giovannini, Carlo Chiarla, Nuzzo G.: La nutrizione parenterale nella sepsi, in: Archivio ed Atti della Società Italiana di Chirurgia, 2, Edizioni Luigi Pozzi Roma, 111-122, 2002
Graziano F., Bisonni R., Catalano V., Silva R., Rovidati S., Mencarini E., Ferraro B., Canestrari F., Baldelli A.M., De Gaetano A., Giordani P., Testa E., Lai V.: Potential role of levocarnitine supplementation for the treatment of chemotherapy-induced fatigue in non-anaemic cancer patients, British Journal of Cancer 86 (12), 1854-1857, 2002
Greco A.V., Mingrone G., Vettor R., Manco M., Rosa G., Capristo E., Federspil G., Castagneto M., Gasbarrini G.: Lowering of circulating free-fatty acids levels and reduced expression of leptin in white adipose tissue in postobesity status, Journal of Investigative Medicine 50 (3), 207-213, 2002
Grippo L., Marco Sciandrone: Nonmonotone globalization techniques for the Barziali-Borwein gradient method, Computational Optimization and Applications 23, 143-169, 2002
Daniele Gui, Sabina Magalini, Prete F., Sermoneta D.: What's right when the gallbladder's left? A case report, Surgical Endoscopy and Other Interventional Techniques 16 (11), 2002
Daniele Gui, Runfola M., Rossi S., Sabina Magalini, Spada P.L.: Effects of botulinum toxin on gastric emptying and digestive secretions. A possible tool for obesity?, Naunyn-Schmiedebergs Archives of Pharmacology 365, 2002
Daniele Gui, Runfola M., Rossi S., Simona Panunzi, De Gaetano A.: Academic recruitment in Spain and Italy, Science 297 (5582), 770-771, 2002
Daniele Gui, Spada P.L., Di Mugno M., Sermoneta D., Runfola M., Rossi S.: Chiusura della parete addominale con protesi ``Goretex Dual Mesh'' dopo laparotomia detensiva per sindrome compartimentale addominale (ACS): esperienza preliminare, Annali Italiani di Chirurgia 73, 221-224, 2002
Justin J., Pirillo G.: On a characteristic property of Arnoux-Rauzy sequences, Rairo-Informatique Theorique et Applications-Theoretical Informatics and Applications 36 (4), 385-388 (200, 2002
Justin J., Pirillo G.: Episturmian words and episturmian morphisms, Theoretical Computer Science 276 (1-2), 281-313, 2002
Körner J., Monti A.: Delta-systems and qualitative (in)dependence, Journal of Combinatorial Theory Series A 99 (1), 75-84, 2002
Lucidi S., Marco Sciandrone: On the global convergence of derivative-free methods for unconstrained optimization, SIAM Journal on Optimization 13, 97-116, 2002
Lucidi S., Marco Sciandrone: A derivative-free algorithm for bound constrained optimization, Computational Optimization and Applications 21, 119-142, 2002
Lucidi S., Marco Sciandrone, Tseng P.: Objective-derivative-free methods for constrained optimization, Mathematical Programming 92, 37-59, 2002
Malucelli F., Sara Nicoloso: Optimal partition of a bipartite graph into non-crossing matchings, IASI-CNR, R. 564, 2002
Maria G., Gabriele Sganga, Civello I.M., Brisinda G.: Botulinum neurotoxin and other treatments for fissure-in-ano and pelvic floor disorders, British Journal of Surgery 89 (8), 950-961, 2002
Marino S., De Gaetano A., Giancaterini A., Giordano D., Manco M., Greco A.V., Mingrone G.: Computing DIT from energy expenditure measures in a respiratory chamber: a direct modeling method, Computers in Biology and Medicine 32 (4), 297-309, 2002
Mingrone G., Greco A.V., Giancaterini A., Scarfone A., Castagneto M., Pugeat M.: Sex hormone-binding globulin levels and cardiovascular risk factors in morbidly obese subjects before and after weight reduction induced by diet or malabsorptive surgery, Atherosclerosis 161 (2), 455-462, 2002
Mingrone G., Rosa G., Di Rocco P., Manco M., Capristo E., Castagneto M., Vettor R., Gasbarrini G., Greco A.V.: Skeletal muscle triglycerides lowering is associated with net improvement of insulin sensitivity, TNF-alpha reduction and GLUT4 expression enhancement, International Journal of Obesity and Relatated Metabolic Disorders 26 (9), 1165-1172, 2002
Michele Missikoff: Harmonise: an Ontology-based Approach for Semantic Interoperability, ERCIM News 51, 33-34, 2002
Michele Missikoff, Navigli R., Velardi P.: An Integrated Approach for Web Ontology Learning and Engineering, IEEE Computer Group News 35 (11), 60-63, 2002
Michele Missikoff, Francesco Taglino: Business and Enterprise Ontology Management with SymOntoX, in the Proceedings of Proceedings of the International Semantic Web Conference (ISWC-2002), Sardinia, June 9-12, 1, Springer Verlag, 442-447, 2002
Montesi D., Torlone R.: Analysis and Optimization of Active Databases, Data & Knowledge Engineering 40 (3), 241-271, 2002
Naddef D., Giovanni Rinaldi: Branch and cut algorithms for the vehicle routing problem, in: The Vehicle Routing Problem, Vigo D., Toth P. eds., SIAM Monographs on Discrete Mathematics and Applications, SIAM, 53-84, 2002
Nigro C., Brisinda G., Matera D., Maria G., Brandara F., Gabriele Sganga, Civello I.M.: [Treatment of pancreatic necrosis and secondary pancreatic infections], Chirurgia Italiana 54 (4), 455-468, 2002
Paola Paci: Nonadiabatic superconductivity: from theory to materials, Scientifica Acta, XVII (1), 2002
Paola Paci, Cappelluti E, Grimaldi C, Pietronero L: Nonadiabatic superconductivity and vertex corrections in uncorrelated systems, Physical Review B, 65:012512, 2002
Palagi L., Marco Sciandrone: On the convergence of a modified version of SVM (light) algorithm, IASI-CNR, R. 567, 05/2002
Alberto Pettorossi ed.: Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR 2001, Lecture Notes in Computer Science, 2372, Springer-Verlag, 2002
Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming, Aracne Roma, 2002
Alberto Pettorossi, Maurizio Proietti: The List Introduction Strategy for the Derivation of Logic Programs, Formal Aspects of Computing 13, 233-251, 2002
Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies, Lecture Notes in Artificial Intelligence, 2407, 273-309, 2002
Alberto Pettorossi, Maurizio Proietti: Transformations of logic programs with goals as arguments, IASI-CNR, R. 571, 07/2002
Pirillo G.: Fibonacci word and Sturmian words, Scientiae Mathematicae Japonicae 55 (3), 641-647, 2002
Mauro Pittiruti, Sermoneta D.: Malfunzionamento e dolore alla infusione in un port venoso centrale per nutrizione parenterale a lungo termine, RINPE 20 (2), 94-97, 2002
Pourabbas E., Rafanelli M.: A Pictorial Query Language for Querying Geographic Databases using Positional and OLAP Operators, Sigmod Record 31, 22-27, 2002
Pourabbas E., Shoshani A.: Joint Queries Estimation from Aggregate OLAP Databases, in the Proceedings of Proceedings of the 14th IEEE International Conference on Scientific and Statistical Database Management-SSDBM 2002, 24th - 26th July 2002 Edinburgh, Scotland, IEEE Computer Society Press, 2002
Pozzetto U., Citterio F., Romagnoli J., Scatà M.C., Nanni G., Castagneto M.: Effects of immunosuppressive regimens on plasma levels of transforming growth factor-beta 1 in renal transplant recipients, Transplantation Proceedings 34 (5), 1740-1742, 2002
Giovanni Rinaldi, Voigt U., Woeginger G.J.: The mathematics of playing golf, in the Proceedings of Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, 265-266, 2002
Giovanni Rinaldi, Voigt U., Woeginger G.J.: The mathematics of playing golf, or: A new class of difficult non-linear mixed integer programs, Mathematical Programming 93, 77-86, 2002
Roma M.: Dynamic scaling based preconditioning for truncated Newton methods in large scale unconstrained optimization, IASI-CNR, R. 579, 00/2002
Rossi S., Runfola M., Spada P.L., Di Mugno M., Daniele Gui: Botulinum toxin A for the treatment of achalasia, a literature review, Naunyn-Schmiedebergs Archives of Pharmacology 365, 2002
Runfola M., Rossi S., Spada P.L., Cavallo V., Daniele Gui: Botulinum toxin on hypertrophic pyloric stenosis, Naunyn-Schmiedebergs Archives of Pharmacology 365, 2002
Runfola M., Rossi S., Spada P.L., Sabina Magalini, Daniele Gui: Botulinum toxin A for chronic anal fissure. Review of the literature, Naunyn-Schmiedebergs Archives of Pharmacology 365, 2002
Salinari S., Bertuzzi A., Mingrone G., Capristo E., Pietrobelli A., Campioni P., Greco A.V., Heymsfield S.B.: New bioimpedance model accurately predicts lower limb muscle volume: validation by magnetic resonance imaging, American Journal of Physiology-Endocrinology and Metabolism 282, E960-E966, 2002
Gabriele Sganga: New perspectives in antibiotic prophylaxis for intra-abdominal surgery, Journal of Hospital Infection 50, S17-S21, 2002
Gabriele Sganga: Identificazione del paziente chirurgico a rischio, in: Congress Reports, Anno VII, 6 (III), Mediprint Editore, 4-10, 2002
Gabriele Sganga: Strategia chirurgica delle infezioni intraaddominali gravi, in the Proceedings of Bollettino della SIM --- Riassunti 30${}^o$ Congresso Nazionale della Società Italiana di Microbiologia, Catania, 6--9 ottobre, 2002
Gabriele Sganga, Brisinda G., Castagneto M.: Trauma operative procedures: timing of surgery and priorities, in: Anaesthesia, Pain, Intensive Care and Emergency Medicine, Gullo A. ed., 16, Springer Verlag, 447-467, 2002
Gabriele Sganga, Brisinda G., Maria G.: Abdominal Trauma, in: Anaesthesia, Pain, Intensive Care and Emergency Medicine, Gullo A. ed., 16, Springer Verlag, 15-436, 2002
Steiner E.W.: A special disjunctive cut, IASI-CNR, R. 565, 00/2002
Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in: 8th International Conference on Extending Database Technology (EDBT 2001), Lecture Notes in Computer Science, 2287, Springer-Verlag, 307-316, 2002
Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in the Proceedings of Tenth Italian Symposium on Advanced Database Systems (SEBD 2002), 2002
Toriani-Terenzi C., Pozzetto U., Bianchi M., Fagiolo E.: Cytokine network in autoimmune haemolytic anaemia: new probable targets for therapy, Cancer Detection and Prevention 26 (4), 292-298, 2002
Toriani-Terenzi C., Pozzetto U., Fagiolo E.: In vitro production of IL-10 and IL-12 by peripheral blood monuclear cells in Autoimmune Haemolitic Anaemia (AIHA), La Trasfusione del Sangue 47 (2), 2002
Torlone R., Ciaccia P.: Which are my Preferred Items?, in the Proceedings of Proceedings of the 2nd Int. Workshop on Recommendation and Personalization in e-Commerce, Malaga, Spain, 1-9, 2002
Torlone R., Ciaccia P.: Finding the Best when it'a a Matter of Preference, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 347-360, 2002
Valenza V., Reale F., Spada P.L., Mingrone G., Perotti G., Di Giuda D., Runfola M., Scarfone A., Rossi S., Mattioli D., Daniele Gui: Scintigraphic evaluation of gastric emptying after BoNT/A injection in the antral wall of obese patients, Quarterly Journal of Nuclear Medicine 46 (4), 2002
Paolo Ventura: Some contributions to primal and dual separation for integer programming, Ph.D. Thesis in Operation Research, University "La Sapienza" of Rome. Advisor: Dr. Giovanni Rinaldi, 2002
Waterer H., Johnson E.L., Nobili P., Savelsbergh M.W.P.: The relation of time indexed formulations of single machine scheduling problems to the node packing problem, Mathematical Programming 93, 477-494, 2002