This page shows all IASI research reports (ISSN: 1128-3378).
Authors currently affiliated with the Institute are always listed with the full name.
To see the abstract and get the PDF file, follow the link of the report number.
You can browse through them using either the links of the following line or those associated with
author names.
Show all IASI research reports (ISSN: 1128-3378) of the year ALL,
with author ALL (or show them all): (Items found: 862)
2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981
2021 [top]
- Pinto D.M., Claudio Gentile, Giuseppe Stecca: ROBUST OPTIMAL PLANNING OF WASTE SORTING OPERATIONS THROUGH MIXED INTEGER LINEAR PROGRAMMING, IASI-CNR, R. 21-01, 3/2021
- Possieri C, Menini L., Tornambe A.: SUFFICIENT CONDITIONS FOR THE EXISTENCE OF A DIRECTIONAL ANTI-DERIVATIVE ABOUT A POINT, IASI-CNR, R. 21-00, 5/2021
2020 [top]
- Sagarese V., Bragagnini A., Giovanni Felici, Claudio Gentile, Giuseppe Stecca: IDENTIFYING PEAK EVENTS FROM MOBILE PHONE PRESENCE DATA, IASI-CNR, R. 20-04, 8/2020
- Sciomachen A., Giuseppe Stecca: A MATHEMATICAL MODEL FOR CONTAINERS FORWARDING FROM MEGA-SHIPS TO DRY PORTS WITH LIMITED NETWORK CAPACITY AND TIME PERIOD DEPENDENT TRAVEL COST FUNCTION, IASI-CNR, R. 20-03, 7/2020
- Claudio Gentile, Spagnolo-Arrizabalaga E., Castro J.: AN ALGORITHM FOR THE MICROAGGREGATION PROBLEM USING COLUMN GENERATION, IASI-CNR, R. 20-02, 2020
- Tiziano Bacci, Frangioni A., Claudio Gentile: START-UP/SHUT-DOWN MINLP FORMULATIONS FOR THE UNIT COMMITMENT WITH RAMP CONSTRAINTS, IASI-CNR, R. 20-01, 1/2020
2019 [top]
- Emanuele De Angelis, Fioravanti F., Meo M.C., Pettorossi A., Maurizio Proietti: Semantics and Controllability of Time-Aware Business Processes, IASI-CNR, R. 19-09, 2019
- Francesco Carravetta, White L.B.: MODELLING NATURAL LANGUAGE SENTENCES THROUGH STOCHASTIC SYNTACTIC PROCESSES, IASI-CNR, R. 19-08, 2019
- White L.B., Francesco Carravetta: GAUSSIAN GENERALIZED RECIPROCAL PROCESSES: ALGORITHMS FOR STOCHASTIC REALIZATION AND OPTIMAL ESTIMATION, IASI-CNR, R. 19-07, 2019
- Francesco Carravetta, Sarafrazi M.A., Bartosiewicz Z., Kotta Ü.: AN ALMOST-EVERYWHERE CONTROLLABILITY CRITERION FOR NONLINEAR DIFFERENTIAL MEROMORPHIC SYSTEMS, IASI-CNR, R. 19-05, 2019
- Tiziano Bacci, Frangioni A., Claudio Gentile, Tavlaridis-Gyparakis K.: New MI-SOCP Formulations for the Unit Commitment Problems with Ramping Constraints, IASI-CNR, R. 19-04, 2019
- Tiziano Bacci, Frangioni A., Claudio Gentile: A counterexample to an exact extended formulation for the single-unit commitment problem, IASI-CNR, R. 19-03, 2019
- Bacci T., Sara Mattia, Paolo Ventura: AN IP-BASED EXACT ALGORITHM FOR THE RESTRICTED BLOCK RELOCATION PROBLEM, IASI-CNR, R. 19-02, 2019
- Bonifaci V.: A Laplacian approach to L1-norm minimization, IASI-CNR, R. 19-01, 5/2019
2018 [top]
- Sara Mattia: THE EDGE ACTIVATION PROBLEM WITH UNCERTAIN DEMANDS, IASI-CNR, R. 18-15, 2018
- Sara Mattia: ROUNDING HEURISTICS FOR THE EDGE ACTIVATION PROBLEM, IASI-CNR, R. 18-14, 2018
- Tiziano Bacci, Conte S., Matera D., Sara Mattia, Paolo Ventura: OPTIMIZING OPERATIONS IN CONTAINER YARDS, IASI-CNR, R. 18-13, 2018
- Baruah S.K., Bonifaci V., Bruni R., Marchetti-Spaccamela A.: ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors, IASI-CNR, R. 18-12, 2018
- Francesco Carravetta: RECURSIVE CALCULATION OF THE SOLUTION TAYLOR SERIES COEFFICIENTS FOR A CLASS OF ANALYTIC ORDINARY DIFFERENTIAL EQUATIONS, IASI-CNR, R. 18-11, 2018
- Pfetsch M.E., Rinaldi G., Paolo Ventura: Optimal patchings for consecutive ones matrices, IASI-CNR, R. 18-10, 11/2018
- Fiscon G., Conte F.: COMPUTATIONAL ANALYSIS OF EXPRESSION PROFILING DATA IN PAPILLARY THYROID CANCER, IASI-CNR, R. 18-09, 2018
- Conte F., Fiscon G.: A NETWORK-BASED APPROACH TO INVESTIGATE THE DIFFERENT RESPONSE TO VEMURAFENIB IN BRAF V600E MUTANT CANCERS, IASI-CNR, R. 18-08, 2018
- Conte F., Fiscon G.: SWIM TOOL FOR STUDYING HUMAN PAPILLARY THYROID CARCINOMA, IASI-CNR, R. 18-07, 2018
- Conte F.: AN INTEGRATED NETWORK ANALYSIS FOR UNVEILING CRUCIAL TRANSCRIPTION FACTORS IN TRIPLE-NEGATIVE BREAST CANCER, IASI-CNR, R. 18-06, 2018
- Fiscon G.: NETWORK-BASED MODEL FOR STUDYING CHRONIC OBSTRUCTIVE PULMONARY DISEASE, IASI-CNR, R. 18-05, 2018
- Tiziano Bacci, Sara Nicoloso: On the benchmark instances for the Bin Packing with Conflicts, IASI-CNR, R. 18-04, 9/2018
- Tiziano Bacci, Sara Nicoloso: A heuristic algorithm for the Bin Packing Problem with Conflicts on interval graphs, IASI-CNR, R. 18-03, 9/2018
- Tiziano Bacci, Sara Mattia, Paolo Ventura: A new algorithm for computing a lower bound for the restricted Block Relocation Problem, IASI-CNR, R. 18-02, 9/2018
- Tiziano Bacci, Sara Mattia, Paolo Ventura: A new heuristic algorithm for the restricted Block Relocation Problem, IASI-CNR, R. 18-01, 9/2018
2017 [top]
- Sara Mattia: THE EDGE ACTIVATION PROBLEM: A PROJECTED FORMULATION, IASI-CNR, R. 17-08, 2017
- Arbib C., Avella P., Boccia M., Marinelli F., Sara Mattia: CUT SEQUENCING MODELS, IASI-CNR, R. 17-07, 2017
- Bacci T., Sara Mattia, Paolo Ventura: ON THE COMPLEXITY OF THE MINIMUM BLOCKING ITEM PROBLEM, IASI-CNR, R. 17-06, 2017
- Schirra S, Di Francesco M, Claudio Gentile, Giuseppe Stecca, Zuddas P: An Integral LP relaxation for a Drayage Problem, IASI-CNR, R. 17-05, 2017
- Claudio Gentile, Mancini S., Giuseppe Stecca, Suanno Maria: Solving orienteering problem in big event management with a matheuristic approach, IASI-CNR, R. 17-04, 2017
- Giuseppe Stecca, Baffo I, Kaihara T: Multi-period multi-echelon inventory control policies for hospital pharmacies with product bundling, IASI-CNR, R. 17-03, 12/2017
- Mancini S., Giuseppe Stecca: A Large Neighborhood Search Based Matheuristic For The Tourist Cruises Itinerary Planning, IASI-CNR, R. 17-02, 12/2017
- D'Ambrosio C., Frangioni A., Claudio Gentile: Strengthening the Sequential Convex MINLP Technique by Perspective Reformulations, IASI-CNR, R. 17-01, 2017
2016 [top]
- Frangioni A., Claudio Gentile, Hungerford J.: Decompositions of Semidefinite Matrices and the Perspective Reformulation of Nonseparable Quadratic Programs, IASI-CNR, R. 16-10, 2016
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, IASI-CNR, R. 16-09, 2016
- Emanuele De Angelis, Fioravanti F., Meo M.C., Pettorossi A., Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, IASI-CNR, R. 16-08, 2016
- Pirillo G.: Some recent results of Fibonacci numbers, Fibonacci words and Sturmian words, IASI-CNR, R. 16-07, 2016
- Bruni C., Conte F, Federico Papa, Carmela Sinisgalli: Optimal number and sizes of the doses in fractionated radiotherapy, IASI-CNR, R. 16-06, 9/2016
- Federico Papa, Binda F, Giovanni Felici, Franzetti M, Gandolfi A., Carmela Sinisgalli, Balotta C: A simple model of HIV epidemic in Italy: the role of the anti-retroviral treatment, IASI-CNR, R. 16-05, 9/2016
- Bonifaci V., Brandenburg B., D'Angelo G., Marchetti Spaccamela A.: Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities, IASI-CNR, R. 16-04, 5/2016
- Pola G., Alessandro Borri, Di Benedetto M. D.: A study on Symbolic Control Design with Quantized State Measurements, IASI-CNR, R. 16-03, 4/2016
- Pola G., Alessandro Borri, Di Benedetto M. D.: A study on Symbolic Control Design with Quantized State Measurements, IASI-CNR, R. 16-03, 2016
- Alessandro Borri, Simona Panunzi, Palumbo P., Manes C., De Gaetano A.: Preliminary results on glucose control with sampled information, IASI-CNR, R. 16-02, 4/2016
- Alessandro Borri, Simona Panunzi, Palumbo P., Manes C., De Gaetano A.: Preliminary results on glucose control with sampled information, IASI-CNR, R. 16-02, 2016
- Alessandro Borri, Francesco Carravetta, Palumbo P.: A Cubification Approach for the Approximate Moments Computation in Stochastic Differential Equations: Application to the Chemical Langevin Equation, IASI-CNR, R. 16-01, 4/2016
- Alessandro Borri, Francesco Carravetta, Palumbo P.: A Cubification Approach for the Approximate Moments Computation in Stochastic Differential Equations: Application to the Chemical Langevin Equation, IASI-CNR, R. 16-01, 2016
2015 [top]
- Liuzzi G., Lucidi S., Manno A., Rinaldi F.: A SPACE TRANSFORMATION DECOMPOSITION TECHNIQUE FOR SINGLY LINEARLY CONSTRAINED PROBLEMS SUBJECT TO SIMPLE BOUNDS, IASI-CNR, R. 15-11, 2015
- Conte F, Federico Papa, Carmela Sinisgalli: Minimum value of the maximal entry of n-dimensional vectors with constant sum of the entries and of the squared entries, IASI-CNR, R. 15-10, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, R. 15-07, 2015
- Frangioni A., Claudio Gentile: New MIP Formulations for the Single-Unit Commitment Problems with Ramping Constraints, IASI-CNR, R. 15-06, 2015
- Melani A., Bertogna M., Bonifaci V., Marchetti Spaccamela A., Buttazzo G.C.: Memory-Processor Co-Scheduling in Fixed Priority Systems, IASI-CNR, R. 15-05, 10/2015
- Anna Galluccio, Claudio Gentile, Paolo Ventura: A note on the stable set prolytope of three-cliqued graphs, IASI-CNR, R. 15-04, 2015
- Bonifaci V., D'Angelo G., Marchetti Spaccamela A.: Hierarchical and semi-partitioned machine scheduling, IASI-CNR, R. 15-03, 2015
- Sara Mattia, Rossi F., Servilio M., Smriglio S.: STAFFING AND SCHEDULING FLEXIBLE CALL CENTERS BY TWO-STAGE ROBUST OPTIMIZATION, IASI-CNR, R. 15-02, 2015
- Sara Nicoloso, Pietropaoli U.: Vertex-colouring of 3-chromatic circulant graphs, IASI-CNR, R. 15-01, 2015
2014 [top]
- Weitschek E., Fiscon G, Fustaino V, Giovanni Felici, Bertolazzi P.: Analysis of microarray and RNA-sequencing gene expression profiles through clustering and classification techniques, IASI-CNR, R. 14-11, 12/2014
- Fiscon G, Weitschek E., Bertolazzi P., De Cola M C, De Salvo S, Bramanti P, Giovanni Felici: EEG signals analysis to detect Alzheimer's disease patients, IASI-CNR, R. 14-10, 12/2014
- Michel C.J., Pellegrini M, Pirillo G.: MAXIMAL DINUCLEOTIDE AND TRINUCLEOTIDE CIRCULAR, IASI-CNR, R. 14-09, 2014
- Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, IASI-CNR, R. 14-08, 2014
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, IASI-CNR, R. 14-07, 2014
- Pirillo G.: A remark on incommensurability, IASI-CNR, R. 14-06, 2014
- Pirillo G., Pellegrini M: ON THE DINUCLEOTIDE CIRCULAR CODES OF MAXIMUM CARDINALITY, IASI-CNR, R. 14-06, 2014
- Sara Mattia, Poss M.: Efficient approaches for the robust network loading problem, IASI-CNR, R. 14-04, 2014
- Maurizio Proietti, Seki H.: Logic-Based Program Synthesis and Transformation, Preliminary Proceedings, IASI-CNR, R. 14-03, 2014
- De Santis M., Festa P., Liuzzi G., Lucidi S., Rinaldi F.: A nonmonotone GRASP, IASI-CNR, R. 14-02, 2/2014
- Liuzzi G., Lucidi S., Piccialli V.: Exploiting derivative-free local searches in DIRECT-type algorithms for global optimization, IASI-CNR, R. 14-01, 2/2014
2013 [top]
- Fiscon G, Paci P., Colombo T, Iannello G: Structural Analysis of Long Non-coding RNAs, IASI-CNR, R. 13-21, 12/2013
- Weitschek E., Arisi I., Giovanni Felici, Bertolazzi P.: Knowledge extraction in clinical data, IASI-CNR, R. 13-20, 12/2013
- Weitschek E., Cunial F, Giovanni Felici: Discovering genome-wide k-mer compositional rules using logic formulas, IASI-CNR, R. 13-19, 12/2013
- Weitschek E., Giovanni Felici, Bertolazzi P.: Microarray Logic Analyzer Software, IASI-CNR, R. 13-18, 12/2013
- Weitschek E., Daniele Santoni, De Cola M C, Giovanni Felici: About similarity of DNA reads, IASI-CNR, R. 13-17, 12/2013
- Weitschek E., Fiscon G, Giovanni Felici: Supervised Learning Meets DNA Barcoding Species Classification, IASI-CNR, R. 13-16, 12/2013
- Weitschek E., Polychronopoulos D, Almirantis Y, Giovanni Felici: Conserved non coding elements classification, IASI-CNR, R. 13-15, 12/2013
- Pirillo G., Justin J.: Repetitivity of semigroups and a result of Cassaigne, Currie, Schaeffer and Shallit, IASI-CNR, R. 13-13, 2013
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
- Gandolfi A., Pugliese A., Carmela Sinisgalli: Epidemic dynamics and host immune response: a nested approach, IASI-CNR, R. 13-08, 2013
- Bertolazzi P., Bock M.E., Guerra C., Paci P., Daniele Santoni: On the integration of protein-protein interaction networks with gene expression and 3d structural data: what can be gained?, IASI-CNR, R. 13-07, 2013
- Bertolazzi P., Guerra C., Liuzzi G.: Predicting protein-ligand and protein-peptide interfaces, IASI-CNR, R. 13-02, 3/2013
- Fasano G., Liuzzi G., Lucidi S., Rinaldi F.: A Linesearch-based Derivative-free Approach for Nonsmooth Optimization, IASI-CNR, R. 13-01, 1/2013
2012 [top]
- De Cola C, Giovanni Felici, Szachniuk M.: The Orderly Colored Longest Path Problem, IASI-CNR, R. 12-29, 2012
- Pirillo G., Michel C.: Some properties of dinucleotide circulaire codes,, IASI-CNR, R. 12-26, 2012
- Lampariello F., Liuzzi G.: Global optimization of protein-peptide docking by a filling function method, IASI-CNR, R. 12-25, 12/2012
- Gandolfi A., Iannelli M., Marinoschi G.: Time evolution for a model of epidermis growth, IASI-CNR, R. 12-24, 2012
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, R. 12-21, 2012
- Pirillo G., Michel C.: A permuted set of a trinucleotide circular code coding the $20$ amino acids in variant genetic codes, IASI-CNR, R. 12-20, 2012
- Emanuele De Angelis, Pettorossi A., Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
- Bertolazzi P., Bock M.E., Guerra C.: On the functional and structural characterization of hubs in protein-protein interaction networks, IASI-CNR, R. 12-18, 2012
- Pirillo G., Bussoli L.: A note on self-complementary trinucleotide circular codes,, IASI-CNR, R. 12-17, 2012
- Liuzzi G., Rinaldi F.: A first-order method for $ell_0$-penalized problems with simple constraints, IASI-CNR, R. 12-16, 2012
- Lampariello F., Liuzzi G.: A filling function method for unconstrained global optimization, IASI-CNR, R. 12-15, 10/2012
- Cacace F., Germani A., Palumbo P.: A study on observer-based algorithms to infer information from gene expression data, IASI-CNR, R. 12-13, 2012
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 12-12, 2012
- Li J., Wang M., De Gaetano A., Palumbo P., Simona Panunzi: SOME RESULTS ON THE GLOBAL STABILITY OF THE EQUILIBRIUM FOR AN IVGTT MODEL, IASI-CNR, R. 12-12, 2012
- Palumbo P., Pepe P., Simona Panunzi, De Gaetano A.: A study on observer-based glucose control by means of intravenous insulin administration, IASI-CNR, R. 12-11, 2012
- Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Palumbo P.: A study on the structural properties and the solution of the Chemical Master Equation, IASI-CNR, R. 12-10, 10/2012
- Bertuzzi A., Fasano A., Gandolfi A., Carmela Sinisgalli: Modelling the evolution of a tumoural multicellular spheroid as a two-fluid Bingham-like system, IASI-CNR, R. 12-09, 2012
- Cacace F., Germani A., Palumbo P.: The Observer Follower Filter, IASI-CNR, R. 12-06, 2012
2011 [top]
- Naimo A.: New synthetic wind forecast data generation model, IASI-CNR, R. 11-32, 12/2011
- Pirillo G.: Dodecagono regolare e frazione continua di $sqrt 3$, IASI-CNR, R. 11-31, 2011
- Michel C.J., Pirillo G., Pirillo M.A.: A classification of 20-trinucleotide circular codes, IASI-CNR, R. 11-30, 2011
- Bussoli L., Michel C.J., Pirillo G.: On Conjugation Partitions of Sets of Trinucleotides, IASI-CNR, R. 11-29, 2011
- Bussoli L., Michel C.J., Pirillo G.: On some forbidden configurations for self-complementary trinucleotide circular codes, IASI-CNR, R. 11-28, 2011
- Bussoli L., Michel C.J., Pirillo G.: On 51 forbidden configurations for self-complementary circular codes, IASI-CNR, R. 11-27, 2011
- Frangioni A., Claudio Gentile, Lacalandra F., Naimo A.: Unit Commitment Models with Power Variables, IASI-CNR, R. 11-26, 2011
- Giovanni Felici, Weitschek E.: Mining Logic Models in the Presence of Noisy Data, IASI-CNR, R. 11-25, 12/2011
- Pettorossi A., Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, IASI-CNR, R. 11-24, 2011
- Fioravanti F., Maurizio Proietti, Pettorossi A., Senni V.: A Constraint-Based Transformation for Verifying Infinite State Systems, IASI-CNR, R. 11-23, 2011
- Federico Papa, Carmela Sinisgalli: Optimal solution for a cancer radiotherapy problem with a maximal damage constraint on normal tissues, IASI-CNR, R. 11-20, 2011
- Castro J, Frangioni A., Claudio Gentile: Perspective Reformulations of the CTA Problem With L2 Distances, IASI-CNR, R. 11-19, 12/2011
- Bertuzzi A., Bruni C., Federico Papa, Carmela Sinisgalli: Optimal solution for a cancer radiotherapy problem, IASI-CNR, R. 11-18, 2011
- Anna Formica, Missikoff M., Pourabbas E., Francesco Taglino: Semantic search for collaborative competency management in networked enterprises, IASI-CNR, R. 11-15, 12/2011
- Bonato T., Jünger M., Reinelt G., Rinaldi G.: Lifting and separation procedures for the cut polytope, IASI-CNR, R. 11-14, 2011
- Francesco Carravetta: On the equivalence between nonlinear- and fractional bilinear- control systems, IASI-CNR, R. 11-13, 2011
- Grippo L., Palagi L., Piacentini M., Piccialli V., Rinaldi G.: SpeeDP: An algorithm to compute SDP bounds for very large Max-Cut instances, IASI-CNR, R. 11-12, 2011
- Liuzzi G., Lucidi S., Rinaldi F.: Derivative-free methods for constrained mixed-integer optimization, IASI-CNR, R. 11-11, 10/2011
- Muzi F, De Sanctis A, Palumbo P.: A study on smart grid protection based on synchronized sampling, IASI-CNR, R. 11-10, 2011
- Palumbo P., Ditlevsen S., Bertuzzi A., De Gaetano A.: MATHEMATICAL MODELING OF THE GLUCOSE-INSULIN SYSTEM: A REVIEW PAPER, IASI-CNR, R. 11-09, 2011
- Fasano A., Gandolfi A.: The steady state of multicellular tumour spheroids: a modelling challenge, IASI-CNR, R. 11-08, 2011
- Weitschek E., Van Velzen R, Giovanni Felici: Species classification using DNA Barcode sequences: A comparative analysis, IASI-CNR, R. 11-07, 2011
- Sara Nicoloso, Pietropaoli U.: Bipartite finite Toeplitz graphs, IASI-CNR, R. 11-06, 2011
- Michel C.J., Pirillo G.: Strong Trinucleotide Circular Codes, IASI-CNR, R. 11-05, 2011
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 11-04, 2011
- Di Pillo G., Liuzzi G., Lucidi S.: A primal-dual algorithm for nonlinear programming exploiting negative curvature directions, IASI-CNR, R. 11-03, 2/2011
- White L.B., Francesco Carravetta: Optimal Smoothing for Finite State Hidden Reciprocal Processes, IASI-CNR, R. 11-02, 2011
- Francesco Carravetta, Sorge M.M.: On the solution of Markov-switching rational expectation models, IASI-CNR, R. 11-01, 2011
2010 [top]
- Palagi L., Piccialli V., Rendl F., Rinaldi G., Wiegele A.: Computational approaches to Max-Cut, IASI-CNR, R. 10-25, 2010
- De Simone C., Anna Galluccio: Edge-colouring of joins of regular graphs, II, IASI-CNR, R. 10-24, 2010
- Bertolazzi P., Giovanni Felici, Weitschek E., Drovandi G., Lo Presti A., Ciccozzi M., Ciotti M.: Human Polyomaviruses genome analysis by logic mining techniques, IASI-CNR, R. 10-23, 12/2010
- Missikoff M., Maurizio Proietti, Smith F.: Querying semantically annotated business processes, IASI-CNR, R. 10-22, 2010
- Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, IASI-CNR, R. 10-21, 2010
- Missikoff M., Maurizio Proietti, Smith F.: Linking Ontologies to Business Process Schemas, IASI-CNR, R. 10-20, 2010
- Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, R. 10-16, 12/2010
- Liuzzi G., Lucidi S., Rinaldi F.: Derivative-free methods for bound constrained mixed-integer optimization, IASI-CNR, R. 10-15, 11/2010
- Vetrini L.: Egovernment in Europa: verso una cultura della valutazione dei risultati, IASI-CNR, R. 10-14, 2010
- Sara Nicoloso, Pietropaoli U.: On the chromatic number of Toeplitz graphs, IASI-CNR, R. 10-13, 10/2010
- d'Onofrio A., Gandolfi A.: Resistance to anti-tumor chemotherapy due to bounded-noise transitions, IASI-CNR, R. 10-12, 9/2010
- Fasano A., Gabrielli M., Gandolfi A.: Investigating the steady state of multicellular spheroids by revisiting the two-fluid model, IASI-CNR, R. 10-11, 8/2010
- De Gaetano A., Matone A., Agnes A.M., Palumbo P., Ria F., Magalini S.: Modeling rejection immunity, IASI-CNR, R. 10-10, 2010
- Francesco Carravetta, Palumbo P., Pepe P.: Quadratic optimal control of linear systems with time-varying input delay, IASI-CNR, R. 10-09, 9/2010
- Francesco Carravetta: 2D-Recursive Modelling of Homogeneous Discrete Gaussian Markov Fields, IASI-CNR, R. 10-08, 2010
- Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs with stability number at least four. II. Striped graphs are G-perfect, IASI-CNR, R. 10-07, 7/2010
- Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs with stability number at least four. I. Fuzzy antihat graphs are W-perfect, IASI-CNR, R. 10-06, 7/2010
- Palumbo P., Gabriella Mavelli, Farina L., Alberghina L.: Networks and Circuits in Cell Regulation, IASI-CNR, R. 10-05, 5/2010
- Pettorossi A., Maurizio Proietti, Senni V.: Transformations of logic programs on infinite lists, IASI-CNR, R. 10-04, 2010
- Di Pillo G., Liuzzi G., Lucidi S.: An Exact Penalty-Lagrangian approach for Large-Scale Nonlinear Programming, IASI-CNR, R. 10-03, 2010
- Arisi I., D'Onofrio M., Brandi R., Di Mambro A., Felsani A., Capsoni S., Drovandi G., Giovanni Felici, Weitschek E., Bertolazzi P., Cattaneo A.: Logic Classification and Feature Selection from Gene Expression Profile in the Brain of the AD11 ANTI-NGF Mice Model of Alzheimer's Disease at Different Stages of Neurodegeneration, IASI-CNR, R. 10-02, 2010
- Di Lorenzo D., Liuzzi G., Rinaldi F., Schoen F., Sciandrone M.: A Concave Optimization-Based Approach for Sparse Portfolio Selection, IASI-CNR, R. 10-01, 2010
2009 [top]
- Samson A., Matone A., Simona Panunzi, De Gaetano A.: Oral Glucose Tolerance Test Modelling: Physiological Pluasibility and Robust Parameter Estimation, IASI-CNR, R. 09-23, 2009
- Liuzzi G., Risi A.: A decomposition algorithm for unconstrained optimization problems with partial derivative information, IASI-CNR, R. 09-22, 2009
- Spinelli V., Giovanni Felici, Simeone B.: Classification techniques and error control in logic mining, IASI-CNR, R. 09-21, 2009
- Bertolazzi P., Giovanni Felici, Weitschek E.: Species classification with logic formulas and barcode, IASI-CNR, R. 09-20, 2009
- Giovanni Felici, Spinelli V.: Genetic procedure for over-training control in logic mining, IASI-CNR, R. 09-19, 2009
- Bertolazzi P., Giovanni Felici, Festa P.: Integer feature selection models and their solution, IASI-CNR, R. 09-18, 2009
- Bertuzzi A., Bruni C., Fasano A., Gandolfi A., Federico Papa, Carmela Sinisgalli: Response of tumour spheroids to radiation: modelling and parameter estimation, IASI-CNR, R. 09-16, 2009
- d'Onofrio A., Gandolfi A.: Chemotherapy of vascularised tumours: role of vessel density and the effect of vascular "pruning", IASI-CNR, R. 09-15, 2009
- Gandolfi A., Iannelli M., Marinoschi G.: An age-structured model of epidermis growth, IASI-CNR, R. 09-14, 2009
- Germani A., Manes C., Palumbo P.: State estimation of stochastic systems with switching measurements: a polynomial approach, IASI-CNR, R. 09-13, 2009
- Francesco Carravetta, Giovanni Felici, Palumbo P.: Frequency-based model validation and parameter identification of a sea-surface vehicle, IASI-CNR, R. 09-12, 2009
- Francesco Carravetta, Giovanni Felici, Palumbo P.: Regulation of a manned sea-surface vehicle via stochastic optimal control, IASI-CNR, R. 09-11, 2009
- Anna Galluccio, Claudio Gentile, Paolo Ventura: 2-clique-bond of stable set polyhedra, IASI-CNR, R. 09-10, 2009
- De Nicola A., Missikoff M., Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-09, 2009
- Frangioni A., Claudio Gentile, Grande E., Pacifici A.: Projected Perspective Reformulations with applications in design problems, IASI-CNR, R. 09-09, 2009
- Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs II: XX-graphs are G-perfect, IASI-CNR, R. 09-08, 2009
- De Nicola A., Missikoff M., Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-07, 2009
- Pettorossi A., Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs I: XX-strip composition versus gear composition, IASI-CNR, R. 09-05, 2009
- Pettorossi A., Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, IASI-CNR, R. 09-04, 2009
- Pettorossi A., Maurizio Proietti, Senni V.: Transformational Verification of Linear Temporal Logic, IASI-CNR, R. 09-03, 2009
- Anna Formica: Similarity Reasoning for Fuzzy Concept Lattices, IASI-CNR, R. 09-02, 2009
- Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, IASI-CNR, R. 09-01, 2009
2008 [top]
- Rendl F., Rinaldi G., Wiegele A.: Solving Max-Cut to optimality by intersecting semidefinite and polyhedral relaxations, IASI-CNR, R. 08-11, 2008
- Anna Formica, Missikoff M., Pourabbas E., Francesco Taglino: Semantic Search in Digital Business EcoSystems, IASI-CNR, R. 08-10, 2008
- Fiorenzani T., Manes C., Oriolo G., Peliti P.: Comparative Study of Unscented Kalman Filter and Extended Kalman Filter for Position/Attitude Estimation in Unmanned Aerial Vehicles, IASI-CNR, R. 08-08, 2008
- Farina L., Germani A., Gabriella Mavelli, Palumbo P.: Identification of regulatory network motifs from gene expression data, IASI-CNR, R. 08-07, 2008
- Bertolazzi P., Giovanni Felici, Guarracino M.: Logic formulas based knowledge discovery and its application to the classification of biological data, IASI-CNR, R. 08-06, 2008
- Tininini L., Bertolazzi P., Godi A., Lancia G.: Collhaps 2.0: a heuristic approach to haplotype inference by parsimony, IASI-CNR, R. 08-05, 2008
- Bertolazzi P., Guerra C., Liuzzi G.: A global optimization algorithm for protein structure alignment, IASI-CNR, R. 08-04, 2008
- Senni V., Pettorossi A., Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, IASI-CNR, R. 08-03, 2008
- Bertolazzi P., Giovanni Felici, Lancia G.: Application of feature selection and classification to computational molecular biology, IASI-CNR, R. 08-02, 2008
- Frangioni A., Claudio Gentile: A Computational Comparison of Reformulations of the Perspective Relaxation: SOCP vs. Cutting Planes, IASI-CNR, R. 08-01, 2008
2007 [top]
- Pirillo G.: Contribution à la combinatoire des mots, Doctorat d'Etat ès Sciences, IASI-CNR, R. 673, 12/2007
- Buchheim C., Rinaldi G.: Compact Integer Programming Formulations for Boolean Optimization Problems, IASI-CNR, R. 672, 12/2007
- Francesco Carravetta: Nearest-neighbour modelling of reciprocal chains, IASI-CNR, R. 671, 11/2007
- Liuzzi G., Risi A.: A derivative-free parallel algorithm for bound constrained programming problems, IASI-CNR, R. 670, 10/2007
- Sara Nicoloso, Pietropaoli U.: Vertex-colouring of circulant graphs: a combinatorial approach, IASI-CNR, R. 669, 10/2007
- Frangioni A., Claudio Gentile, Lacalandra F.: Hybrid Lagrangian-MILP approaches for unit commitment problems, IASI-CNR, R. 668, 9/2007
- Bertolazzi P., Giovanni Felici, Festa P.: Logic Based Methods for SNPs Tagging and Reconstruction, IASI-CNR, R. 667, 7/2007
- D'Ulizia A., Ferri F., Anna Formica, Grifoni P.: Approximating geographical query answers, IASI-CNR, R. 666, 7/2007
- Bertolazzi P., Giovanni Felici: Learning to Classify Species with Barcodes, IASI-CNR, R. 665, 7/2007
- Sara Nicoloso, Pietropaoli U.: Isomorphism Testing for Circulant Graphs, IASI-CNR, R. 664, 6/2007
- Anna Galluccio, Claudio Gentile, Paolo Ventura: On the stable set polytope of claw-free graphs, IASI-CNR, R. 663, 6/2007
- Simona Panunzi, De Gaetano A., Mingrone G.: Insulin sensitivity determination from the discrete single delay model, IASI-CNR, R. 662, 5/2007
- Anna Galluccio, Claudio Gentile, Paolo Ventura: Gear composition of stable set polytopes and G-perfection, IASI-CNR, R. 661, 5/2007
- Frangioni A., Claudio Gentile, Lacalandra F.: Tighter approximated MILP formulations for Unit Commitment Problems, IASI-CNR, R. 660, 4/2007
- Liuzzi G., Lucidi S.: A derivative-free algorithm for inequality constrained nonlinear programming, IASI-CNR, R. 659, 4/2007
- Claudio Gentile, Neto J., Rinaldi G., Paolo Ventura: On a graph transformation for the stable set problem, IASI-CNR, R. 658, 3/2007
- Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Infinite State Systems by Specializing Constraint Logic Programs, IASI-CNR, R. 657, 2007
- Anna Formica: Similarity of XML-Schema Elements: A Structural and Information Content Approach, IASI-CNR, R. 656, 1/2007
2006 [top]
- Germani A., Manes C., Palumbo P.: Polynomial filtering and identification for discrete-time nonlinear uncertain stochastic system, IASI-CNR, R. 655, 12/2006
- Muratore G.: Supply chain management: a survey, IASI-CNR, R. 654, 12/2006
- Giovanni Felici, Galante M.A., Torosantucci L.: Logic mining for financial data, IASI-CNR, R. 653, 11/2006
- Palumbo P., De Gaetano A.: State feedback control of the glucose-insulin system, IASI-CNR, R. 652, 11/2006
- Muratore G.: A mathematical model for energy markets, IASI-CNR, R. 651, 11/2006
- Wang X., Zhu P., Giovanni Felici, Triantaphyllou E.: Future trends in some data mining areas, IASI-CNR, R. 650, 11/2006
- Germani A., Graziosi F., Manes C., Ocera G., Palumbo P.: Recursive filtering for log-Rice signals, IASI-CNR, R. 649, 10/2006
- Muratore G.: Capacitated survivable networks and polyhedra, IASI-CNR, R. 648, 10/2006
- Palumbo P., Ong-Clausen W.H., Simona Panunzi, De Gaetano A.: Analysis of an impulsive model of subcutaneously delivered insulin kinetics, IASI-CNR, R. 647, 10/2006
- Giovanni Felici, Caramia M.: Mining relevant information on the web: a clique based, IASI-CNR, R. 646, 09/2006
- Muratore G.: A new enumeration scheme to solve discrete optimization problems with GRID computing, IASI-CNR, R. 645, 9/2006
- Gabriella Mavelli, Palumbo P.: A Carleman approximation scheme for a stochastic optimal nonlinear control problem, IASI-CNR, R. 644, 09/2006
- Anna Formica: Concept similarity in Formal Concept Analysis: an Information Content Approach, IASI-CNR, R. 643, 9/2006
- Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (To appear in Communications of ACM), IASI-CNR, R. 642, 6/2006
- Anna Galluccio, Claudio Gentile, Paolo Ventura: New facet defining inequalities for the Stable Set Polytope, IASI-CNR, R. 641, 5/2006
- Frangioni A., Claudio Gentile: Experiments with a hybrid Interior Point/Combinatorial Approach for Network Flow Problems, IASI-CNR, R. 640, 4/2006
- Pettorossi A., Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, IASI-CNR, R. 639, 2/2006
- Bertolazzi P., Giovanni Felici, Festa P., Lancia G.: Logic Classification and Feature Selection for Biomedical Data, IASI-CNR, R. 638, 2/2006
- Frangioni A., Claudio Gentile, Lacalandra F.: Solving Unit Commitment Problems with General Ramp Constraints, IASI-CNR, R. 637, 1/2006
- Bertolazzi P., Godi A., Labbè M., Tininini L.: Solving haplotyping inference parsimony problem using a new basic polynomial formulation, IASI-CNR, R. 636, 1/2006
- Manes C., Martinelli A., Martinelli F., Palumbo P.: Mobile robot localization based on a polynomial approach, IASI-CNR, R. 635, 1/2006
2005 [top]
- Frangioni A., Claudio Gentile: SDP Diagonalizations and Perspective Cuts for a Classs of Nonseparable MIQP, IASI-CNR, R. 634, 12/2005
- Anna Formica: Ontology-based concept similary in Formal Concept Analysis, IASI-CNR, R. 633, 5/2005
- Wolsey L.A.: Lot-Sizing with Production and Delivery Times Window, IASI-CNR, R. 632, 4/2005
- Anna Formica: Similary of XML-Schema Elements supported by Domain Ontologies, IASI-CNR, R. 631, 3/2005
- Picchini U., De Gaetano A., Ditlevsen S.: System noise modelization in glucose-insulin dynamics, IASI-CNR, R. 630, 2/2005
- Anna Formica: Legality of XML-Schema Type Hierarchies, IASI-CNR, R. 629, 2/2005
- Ferri F., Grifoni P., Rafanelli M.: The Sketch Recognition and Query Interpretation by GSQL, a Geographical Sketch Query Language, IASI-CNR, R. 628, 01/2005
- Frangioni A., Claudio Gentile: Prim-Based BCT Preconditioners for Min-Cost Flow Problems, IASI-CNR, R. 627, 1/2005
- Ferri F., Grifoni P., Rafanelli M.: Cardinal and Positional Operators in a Pictorial Query Geographical Data, IASI-CNR, R. 626, 01/2005
2004 [top]
- Simona Panunzi, Palumbo P., De Gaetano A.: Modeling IVGTT data with delay-differential equations, IASI-CNR, R. 625, 12/2004
- Anna Formica, Pourabbas E.: Content based similarity of geographic classes organized as partition hierarchies, IASI-CNR, R. 624, 12/2004
- Ferri F., Grifoni P., Rafanelli M.: Resolution of ambiguities in query interpretation for geographical pictorial query languages, IASI-CNR, R. 623, 12/2004
- Malvestuto F.M., Pourabbas E.: Local computation of answers to table queries on summary databases, IASI-CNR, R. 622, 11/2004
- Ferri F., Grifoni P., Rafanelli M.: The management of spatial and temporal constraints in GIS using pictorial interaction on the web, IASI-CNR, R. 621, 11/2004
- Palumbo P., Simona Panunzi, De Gaetano A.: Qualitative behaviour of a family of delay-differential models of the glucose-insulin system, IASI-CNR, R. 620, 11/2004
- Giovanni Felici, Mecoli M.G.: Resource assignment with preference conditions, IASI-CNR, R. 619, 11/2004
- De Gaetano A., Di Martino D., Germani A., Manes C., Palumbo P.: Distributed-delay models of the glucose-insulin homeostasis and asymptotic state observation, IASI-CNR, R. 618, 10/2004
- Giovanni Felici, Mirchandani P., Mecoli M.G., Pacifici A.: Assignment problem with two competing agents, IASI-CNR, R. 617, 09/2004
- Tininini L., Bertolazzi P., Godi A.: Collhaps: a new heuristic algorithm for haplotype inference by maximum parsimony, IASI-CNR, R. 616, 10/2004
- Lampariello F.: A filling function method for continuos unconstrained global optimization: application to morse clusters, IASI-CNR, R. 615, 10/2004
- Avenali A., Batini C., Bertolazzi P., Missier P.: Brokering infrastructure for minimum cost data procurement based on information quality - quantity models, IASI-CNR, R. 614, 09/2004
- Cioni G., Limongelli C., Temperini M.: Course configuration in e-learning via automated planning, IASI-CNR, R. 613, 09/2004
- Claudio Gentile, Paolo Ventura, Weismantel R.: Mod-2 cuts generation yields the convex hull of bounded integer feasible sets, IASI-CNR, R. 612, 7/2004
- Anna Galluccio, Nobili P.: A (1-1/2Q) - Approximation algorithm for max vertex cover in clique-coverable graphs, IASI-CNR, R. 611, 6/2004
- Germani A., Manes C., Palumbo P.: A Family of polynomial filters for discrete-time nonlinear stochastic systems, IASI-CNR, R. 610, 5/2004
- Naddef D., Rinaldi G.: The symmetric traveling salesman polytope: new facets from the graphical relaxation, IASI-CNR, R. 609, 03/2004
- Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: A framework for the smart dynamic selection of web service access points, IASI-CNR, R. 608, 2/2004
- Liuzzi G., Lucidi S., Sciandrone M.: A derivative-free algorithm for linearly constrained finite minimax problems, IASI-CNR, R. 607, 1/2004
- Lucidi S., Palagi L., Risi A., Sciandrone M.: A convergent decomposition algorithm for support vector machines, IASI-CNR, R. 606, 1/2004
2003 [top]
- Di Martino D., Germani A., Manes C.: Asymptotic state observers of discrete delay models of the glucose-insulin homeostasis, IASI-CNR, R. 605, 00/2003
- De Gaetano A., Di Martino D., Germani A., Manes C.: Distributed-delays models of the glucose-insulin homeostasis and asymptotic state observations, IASI-CNR, R. 604, 00/2003
- Di Martino D., Germani A., Manes C., Palumbo P.: Polynomial approach for filtering and identification of a class of uncertain systems, IASI-CNR, R. 603, 12/2003
- d'Onofrio A., Gandolfi A.: Tumour eradication by antiangiogenic therapy: analysis and extensions of the model by Hahnfeldt et al. (1999), IASI-CNR, R. 602, 11/2003
- Francesco Carravetta, Gabriella Mavelli: Polynomial filtering for systems with non-independent uncertain observations, IASI-CNR, R. 601, 00/2003
- Bertuzzi A., Fasano A., Gandolfi A.: A free boundary problem with unilateral constraints describing the evolution of a tumour cord under the influence of cell killing agents, IASI-CNR, R. 600, 2003
- Germani A., Manes C., Palumbo P.: A Polynomial approach for simultaneous channel estimation and data detection, IASI-CNR, R. 599, 10/2003
- Avenali A., Batini C., Bertolazzi P., Missier P.: A formulation of the data quality optimization problem in Cooperative Information Systems, IASI-CNR, R. 598, 2003
- Francesco Carravetta, Gabriella Mavelli: Asymptotic properties of an output-feedback suboptimal control scheme for stochastic bilinear systems, IASI-CNR, R. 597, 00/2003
- Giovanni Felici, Claudio Gentile, Farina V., Peri F., Rubeis L., Maugeri M., Peri A.: An Integrated Optimization Approach for Crude Oil Distribution by Ships, IASI-CNR, R. 596, 09/2003
- Di Martino D., Germani A., Manes C., Palumbo P.: State observation for systems with linear dynamics and polynomial output, IASI-CNR, R. 595, 9/2003
- Frangioni A., Claudio Gentile: Solving Nonlinear Single-Unit Commitment problems with ramping constraints, IASI-CNR, R. 594, 9/2003
- Bertuzzi A., Fasano A., Filidoro L., Gandolfi A., Carmela Sinisgalli: Dynamics of tumour cords following changes in oxygen availability: a model including a delayed exit from quiescence, IASI-CNR, R. 593, 1/2003
- Fioravanti F., Pettorossi A., Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs, IASI-CNR, R. 592, 7/2003
- Giovanni Felici, Remshagen A., Truemper K.: The Futile Questioning Problem, IASI-CNR, R. 591, 2003
- Lampariello F., Sciandrone M., Fasano G.: A truncated nonmonotone Gauss-Newton method for large-scale nonlinear least-squares problems, IASI-CNR, R. 590, 7/2003
- Di Martino D., Germani A., Manes C., Palumbo P.: Quadratic filtering for simultaneous state and parameter estimation of uncertain systems, IASI-CNR, R. 589, 06/2003
- De Gaetano A., Giorgi A., Risi A., Sciandrone M.: A patient adaptable ECG beat classifier based on neural networks, IASI-CNR, R. 588, 06/2003
- Bianchi M., Carlo Gaibisso, Gambosi G.: N-JIS: a system for Web Services integration in Java RMI distributed applications, IASI-CNR, R. 587, 3/2003
- Carlo Gaibisso, Proietti G., Tan R.: Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs, IASI-CNR, R. 586, 02/2003
- Germani A., Manes C., Palumbo P., Sciandrone M.: A Higher Order Method for the Solution of Nonlinear Scalar Equations, IASI-CNR, R. 585, 6/2003
- Carlo Gaibisso, Draoli M., Laureti Palma A., Puccinelli R., Salza S.: Methods and tools for the objective evaluation of voice-over-IP communications, IASI-CNR, R. 584, 00/2003
- Conforti M., Anna Galluccio, Proietti G.: Augmentation problems and network matrices, IASI-CNR, R. 583, 2003
2002 [top]
- Bianchi M., Carlo Gaibisso, Vitale M.: A java meta-registry for remote service objects, IASI-CNR, R. 582, 12/2002
- Giovanni Felici, Rinaldi G., Sforza A., Truemper K.: A methodology for traffic signal control based on logic programming, IASI-CNR, R. 581, 12/2002
- Fioravanti F., Pettorossi A., Maurizio Proietti: Combining logic programs and monadic second order logics by program transformation, IASI-CNR, R. 580, 12/2002
- Roma M.: Dynamic scaling based preconditioning for truncated Newton methods in large scale unconstrained optimization, IASI-CNR, R. 579, 00/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
- Frangioni A., Claudio Gentile: Perspective cuts for 0-1 mixed integer programs, IASI-CNR, R. 577, 11/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
- Germani A., Manes C., Palumbo P.: A minimum variance filter for discrete-time linear systems perturbed by unknown nonlinearities, IASI-CNR, R. 575, 9/2002
- Caramia M., Giovanni Felici, Pezzoli A.: Improving search results with data mining in a thematic search engine, IASI-CNR, R. 574, 09/2002
- Eisenbrand F., Paolo Ventura: A compact linear program for testing optimality of perfect matchings, IASI-CNR, R. 573, 2002
- Germani A., Manes C., Palumbo P.: Polynomial extended Kalman filtering for discrete-time nonlinear stochastic systems, IASI-CNR, R. 572, 7/2002
- Pettorossi A., Maurizio Proietti: Transformations of logic programs with goals as arguments, IASI-CNR, R. 571, 07/2002
- Germani A., Manes C., Palumbo P.: Polynomial filtering for stochastic systems with Markovian switching coefficients, IASI-CNR, R. 570, 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
- 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
- Palagi L., Sciandrone M.: On the convergence of a modified version of SVM (light) algorithm, IASI-CNR, R. 567, 05/2002
- Anna Galluccio, Pêcher A.: On the circular chromatic number of partitionable graphs, IASI-CNR, R. 566, 04/2002
- Steiner E.W.: A special disjunctive cut, IASI-CNR, R. 565, 00/2002
- Malucelli F., Sara Nicoloso: Optimal partition of a bipartite graph into non-crossing matchings, IASI-CNR, R. 564, 2002
- Claudio Gentile, Rinaldi G., 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
2001 [top]
- Salinari S., Bertuzzi A., Mingrone G., Capristo E., Scarfone A., Greco A.V., Heymsfield S.B.: BIA is an useful technique for assessing lower limb skeletal muscle as compared to DXA, IASI-CNR, R. 562, 00/2001
- De Angelis V., Giovanni Felici, Impelluso P.: Simulation based decision support system for the optimal planning of a transfusion centre, IASI-CNR, R. 561, 12/2001
- Pêcher A.: Getting partitionable graphs from another one by modifying only two maximum cliques, IASI-CNR, R. 560, 12/2001
- Di Giacomo P., Giovanni Felici, Maceratini R., Truemper K.: Diagnosis of hepatocellular carcinoma via logic-based new supervised learning method, IASI-CNR, R. 559, 11/2001
- De Simone C., Gasparyan G., Nobili P.: Non-regular square bipartite designs, IASI-CNR, R. 558, 00/2001
- Fioravanti F., Pettorossi A., Maurizio Proietti: Verification of sets of infinite state processes using program transformation, IASI-CNR, R. 557, 11/2001
- Anna Galluccio, Proietti G.: Polynomial time algorithms for 2-edge-connectivity augmentation problems, IASI-CNR, R. 556, 10/2001
- Lampariello F., Sciandrone M.: Use of the ``minimum norm'' search direction in a nonmonotone version of the Gauss-Newton method, IASI-CNR, R. 555, 00/2001
- Anna Formica, Missikoff M.: Concept similarity in Symontos: an enterprise ontology management tool, IASI-CNR, R. 554, 09/2001
- Rinaldi G., Voigt U., Woeginger G.J.: The mathematics of playing olf: a new class of difficult non-linear mixed integer programsg, IASI-CNR, R. 553, 2001
- Germani A., Manes C., Palumbo P.: Filtering of switching systems via a singular minimax approach, IASI-CNR, R. 552, 07/2001
- Pettorossi A., Maurizio Proietti, Renault S.: Derivation of efficient logic programs by specialization and reduction of nondeterminism, IASI-CNR, R. 551, 07/2001
- Grippo L., Sciandrone M.: Nonmonotone globalization techniques for the Barzilai-Borwein gradient method, IASI-CNR, R. 550, 06/2001
- Anna Formica: Satisfiability of object-oriented database constraints with set and bag attributes, IASI-CNR, R. 549, 05/2001
- Germani A., Manes C., Palumbo P.: State estimation of a class of stochastic variable structure systems, IASI-CNR, R. 548, 05/2001
- Pettorossi A., Maurizio Proietti: Program Derivation = Rules + Strategies, IASI-CNR, R. 547, 04/2001
- Eisenbrand F., Rinaldi G., Paolo Ventura: Primal separation for 0/1 polytopes, IASI-CNR, R. 546, 03/2001
- Germani A., Manes C., Palumbo P.: Kalman-Bucy filtering for singular stochastic differential systems, IASI-CNR, R. 545, 02/2001
- Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying CTL properties of infinite state systems by specializing constraint logic programs, IASI-CNR, R. 544, 1/2001
2000 [top]
- d'Onofrio A., Pourabbas E.: A functional approach for modelling temporal thematics maps, IASI-CNR, R. 543, 12/2000
- Pourabbas E., Maceratini R., Rafanelli M., Ricci F.L.: An information system for virtual hospitalization management, IASI-CNR, R. 542, 12/2000
- Germani A., Manes C., Palumbo P.: Optimal linear filtering for bilinear stochastic differential systems with unknown inputs, IASI-CNR, R. 541, 12/2000
- Lampariello F.: Ratio analysis of cumulatives for estimating the labeled cell proportion from immunofluorescence histograms with weak labeling, IASI-CNR, R. 540, 00/2000
- Frangioni A., Claudio Gentile: Interior point methods for network problems, IASI-CNR, R. 539, 12/2000
- Anna Formica: Finite satisfiability of object-oriented database integrity constraints with inequality and null-values, IASI-CNR, R. 538, 12/2000
- Anna Galluccio, Goddyn L.A.: On chromatic numbers of graphs, IASI-CNR, R. 537, 11/2000
- Bertuzzi A., Fasano A., Gandolfi A., Marangi D.: Cell kinetics in tumour cords studied by a model with variable cell cycle length, IASI-CNR, R. 536, 11/2000
- Lampariello F.: Evaluation of the labeled cell distribution mean for the analysis of immunofluorescence histograms with weak labeling, IASI-CNR, R. 535, 00/2000
- Avis D., De Simone C., Nobili P.: On the chromatic polynomial of a graph, IASI-CNR, R. 534, 10/2000
- Anna Galluccio, Proietti G.: Polynomial time algorithms for edge-connectivity augmentation problems, IASI-CNR, R. 533, 10/2000
- Anna Formica, Frank H.: Consistency of the static and dynamic components of object-oriented specifications, IASI-CNR, R. 532, 10/2000
- Francesco Carravetta, Gabriella Mavelli: Stochastic control of bilinear systems: the optimal quadratic contyroller, IASI-CNR, R. 531, 09/2000
- Pourabbas E., Rafanelli M.: A pictorial query language extended with cardinal and positional operators for querying geographic databases, IASI-CNR, R. 530, 09/2000
- Bertuzzi A., Faretta M., Gandolfi A., Carmela Sinisgalli, Starace G., Valoti G., Ubezio P.: Kinetic heterogeneity of an experimental tumour revealed by bromodeoxyuridine incorporation and mathematical modelling, IASI-CNR, R. 529, 09/2000
- Anna Formica, Missikoff M.: Refinement hierarchies in structural conceptual models, IASI-CNR, R. 528, 06/2000
- Salinari S., Bertuzzi A., Mingrone G., Capristo E., Pietrobelli A., Campioni P., Greco A.V., Heymsfield S.B.: Bioimpedance analysis model accurately predicts lower limb muscle volume: validation using magnetic resonance imaging, IASI-CNR, R. 527, 06/2000
- Germani A., Manes C., Palumbo P.: Polynomial filtering for stochastic non-Gaussian descriptor systems, IASI-CNR, R. 526, 05/2000
- Pettorossi A., Maurizio Proietti: Transformations rules for a higher order logic programming language, IASI-CNR, R. 525, 05/2000
- McCormick S.T., Rao M.R., Rinaldi G.: When is min cut with negative edges easy to solve? Easy and difficult objective functions for max cut, IASI-CNR, R. 524, 04/2000
- Francesco Carravetta, Gabriella Mavelli: A second order analysis for a class of stochastic optimal control problems, IASI-CNR, R. 523, 03/2000
- Giovanni Felici, Claudio Gentile, Rinaldi G.: Solving large MIP models in supply chain management by branch & cut, IASI-CNR, R. 522, 1/2000
1999 [top]
- Grumbach S., Tininini L.: On the content of materialized aggregate views, IASI-CNR, R. 521, 12/1999
- Pourabbas E., Rafanelli M., Ricci F.L., Ferri F.: Linking geographic and multidimensional environments by OLAP operators, IASI-CNR, R. 520, 12/1999
- Cioni G., Colagrossi A., Temperini M.: A technique for course configuration in open and distance learning, IASI-CNR, R. 519, 12/1999
- Cantone D., Omodeo E.G., Ursino P.: Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators, IASI-CNR, R. 518, 12/1999
- Cioni G., Parlione M., Temperini M.: Remote Inheritance for distributed object-oriented computation, IASI-CNR, R. 517, 00/1999
- Bertuzzi A., Gandolfi A.: A model for estimating cell kinetic parameters of experimental tumours studied by bromodeoxyuridine labelling and flow cytometry, IASI-CNR, R. 516, 12/1999
- Naddef D., Rinaldi G.: Branch and cut algorithms for the vehicle routing problem, IASI-CNR, R. 515, 1999
- Bertuzzi A., Gandolfi A.: The problem of evaluating the in vivo cell kinetics in tumours, IASI-CNR, R. 514, 11/1999
- Pettorossi A., Maurizio Proietti: Perfect model checking via unfold/fold transformations, IASI-CNR, R. 513, 11/1999
- Bertuzzi A., Fasano A., Gandolfi A.: A mathematical model for the growth of tumor cords incorporating the dynamics of a nutrient, IASI-CNR, R. 512, 10/1999
- Mingrone G., Bertuzzi A., Capristo E., Greco A.V., Manco M., Pietrobelli A., Salinari S., Heymsfield S.B.: Unreliable use of standard muscle hydration value in obesity, IASI-CNR, R. 511, 10/1999
- Francesco Carravetta, Germani A., Manes C.: Filtering of nonlinear stochastic feedback systems, IASI-CNR, R. 510, 10/1999
- Anna Galluccio, Goddyn L.A., Hell P.: High girth graphs avoiding a minor are nearly bipartite, IASI-CNR, R. 509, 09/1999
- Giovanni Felici, Claudio Gentile: A polyhedral approach for the staff rostering problem, IASI-CNR, R. 508, 09/1999
- Anna Galluccio, Loebl M., Vondřak J.: Optimization via enumeration: a new algorithm for the max cut problem, IASI-CNR, R. 507, 7/1999
- Anna Galluccio, Proietti G.: Towards a 4/3-approximation algorithm for biconnectivity, IASI-CNR, R. 506, 06/1999
- Lampariello F., Sciandrone M.: A global convergence technique for Newton's method with periodic Hessian evaluation, IASI-CNR, R. 505, 06/1999
- Buzzi C., Grippo L., Sciandrone M.: Convergent decomposition techniques for training RBF neural networks, IASI-CNR, R. 504, 05/1999
- De Simone C., Gasparyan G., Nobili P.: Square bipartite designs, IASI-CNR, R. 503, 05/1999
- Lucidi S., Sciandrone M., Tseng P.: Objective-derivative-free methods for constrained optimization, IASI-CNR, R. 502, 5/1999
- Germani A., Gabriella Mavelli: The polynomial approach to the LQ non-Gaussian regulator problem, IASI-CNR, R. 501, 04/1999
- Conforti M., Rinaldi G., Wolsey L.A.: On the cut polyhedron, IASI-CNR, R. 500, 4/1999
- Bertolazzi P., Di Battista G., Didimo W.: Quasi-upward planarity, IASI-CNR, R. 499, 03/1999
- Lucidi S., Sciandrone M.: A derivative-free algorithm for bound constrained optimization, IASI-CNR, R. 498, 2/1999
- Giovanni Felici, Claudio Gentile: General polyhedral properties of integer block structured problems, IASI-CNR, R. 497, 02/1999
- Germani A., Manes C., Pepe P.: An observer for M.I.M.O. nonlinear delay systems, IASI-CNR, R. 496, 1/1999
1998 [top]
- Augerat P., Belenguer J.M., Benavent E., Corberán A., Naddef D., Rinaldi G.: Computational results with a branch and cut code for the capacitated vehicle routing problem, IASI-CNR, R. 495, 1998
- Sciandrone M., Placidi G., Testa L., Sotgiu A.: Compact low field MRI magnet: design and optimization, IASI-CNR, R. 494, 12/1998
- Grumbach S., Rafanelli M., Tininini L.: Equivalence of aggregate queries and aggregate view usability, IASI-CNR, R. 493, 12/1998
- Lampariello F., Sciandrone M.: Efficient training of RBF neural networks for pattern recognition, IASI-CNR, R. 492, 12/1998
- Renault S., Pettorossi A., Maurizio Proietti: Design, implementation, and use of the MAP transformation system, IASI-CNR, R. 491, 12/1998
- Lampariello F.: On the use of the Kolmogorov-Smirnov statistical test for immunofluorescence histogram comparison, IASI-CNR, R. 490, 12/1998
- Francesco Carravetta, Germani A., Shuakayev M.K.: A new suboptimal approach to the filtering problem for cubic-sensor-like nonlinear systems, IASI-CNR, R. 489, 12/1998
- Bertolazzi P., Di Battista G., Didimo W.: Computing orthogonal drawings with the minimum number of bends, IASI-CNR, R. 488, 12/1998
- Draoli M., Filosi P., Carlo Gaibisso, Lancia M., Laureti Palma A.: A framework for the subjective assessment of audio communication on IP switched networks: definition and validation, IASI-CNR, R. 487, 12/1998
- Belisari S., Cini M., Carlo Gaibisso, Lancia M., Vitale M.: Mobile code implementation of an audio-conference application: design choices and evaluation, IASI-CNR, R. 486, 11/1998
- Pourabbas E., d'Onofrio A., Rafanelli M.: A method to estimate the incidence of communicable diseases under seasonal fluctuations with application to cholera, IASI-CNR, R. 485, 11/1998
- Carlo Gaibisso, Gambosi G., Lancia M., Martufi G., Mastromartino E.A.: Mobile code implementation of the RTP protocol in Java: design choices and evaluation, IASI-CNR, R. 484, 11/1998
- Cannarella M., Draoli M., Carlo Gaibisso, Gambosi G., Lancia M.: Designing reliable ATM networks for multimedia interactive IP applications, IASI-CNR, R. 483, 11/1998
- Anna Galluccio, Hell P., Nešetřil J.: The complexity of H-colouring of bounded degree graphs, IASI-CNR, R. 482, 11/1998
- Avis D., De Simone C., Nobili P.: On the shameful conjecture, IASI-CNR, R. 481, 11/1998
- Giovanni Felici, Sun F.-S., Truemper K.: A method for controlling errors in two-class classifications, IASI-CNR, R. 480, 11/1998
- Truemper K.: Efficient algorithms for subclasses of the futile questioning problem, IASI-CNR, R. 479, 11/1998
- Padberg M.: Almost perfect matrices and graphs, IASI-CNR, R. 478, 10/1998
- Jünger M., Rinaldi G., Thienel S.: Practical performance of efficient minimum cut algorithms, IASI-CNR, R. 477, 10/1998
- Padberg M.: Approximating separable nonlinear functions via mixed zero-one programs, IASI-CNR, R. 476, 10/1998
- Draoli M., Carlo Gaibisso, Lancia M., Mastromartino E.A.: Desktop videoconferencing over a switched LAN/MAN interconnected system: modeling, designing, dimensioning and tuning issues, IASI-CNR, R. 475, 10/1998
- Anna Galluccio, Loebl M.: On the theory of Pfaffian orientations II: T-joins, K-cuts, and duality of enumeration, IASI-CNR, R. 474, 10/1998
- Bertuzzi A., Gandolfi A.: Cell kinetics in a tumour cord, IASI-CNR, R. 473, 10/1998
- Pettorossi A., Maurizio Proietti: The list introduction strategy for the automatic derivation of programs, IASI-CNR, R. 472, 10/1998
- Anna Galluccio, Loebl M.: Max cut in toroidal graphs, IASI-CNR, R. 471, 10/1998
- Bertuzzi A., Mingrone G., Gandolfi A., Greco A.V., Salinari S.: Analysis by a mathematical model of dodecanedioic acid disposal in humans, IASI-CNR, R. 470, 09/1998
- Anna Formica: Finite satisfiability of integrity constraints in object-oriented database schemas, IASI-CNR, R. 469, 09/1998
- Beeri C., Anna Formica, Missikoff M.: Inheritance hierarchy design in object-oriented databases, IASI-CNR, R. 468, 09/1998
- Grippo L., Sciandrone M.: On the convergence of the block nonlinear Gauss-Seidel method under convex constraints, IASI-CNR, R. 467, 09/1998
- Aureli F., Formisano A., Omodeo E.G., Temperini M.: Map calculus: initial application scenarios and experiments based on Otter, IASI-CNR, R. 466, 06/1998
- Di Pillo G., Lucidi S., Palagi L., Roma M.: A controlled random search algorithm with local Newton-type search for global optimization, IASI-CNR, R. 465, 5/1998
1997 [top]
- Germani A., Gabriella Mavelli: Optimal quadratic solution for the nongaussian finite-horizon regulator problem, IASI-CNR, R. 464, 11/1997
- Bertolazzi P., Carlo Gaibisso, Becchetti L., Gambosi G.: On the design of efficient ATM routing schemes, IASI-CNR, R. 463, 10/1997
- Bertuzzi A., Gandolfi A.: Estimation of parameters of cell kinetics, IASI-CNR, R. 462, 09/1997
- Malucelli F., Sara Nicoloso, Bonfiglio P.: The dominating set problem on shiftable interval graphs, IASI-CNR, R. 461, 09/1997
- Cioni G., Colagrossi A., Temperini M.: A laboratory for teaching abstract algebra, IASI-CNR, R. 460, 07/1997
- Cioni G., Colagrossi A., Temperini M.: An approach to class reasoning in symbolic computation, IASI-CNR, R. 459, 06/1997
- Becchetti L., Carlo Gaibisso, Gambosi G.: Optimal layouts of virtual paths on a mesh, IASI-CNR, R. 458, 6/1997
- Pettorossi A., Maurizio Proietti: Synthesis and transformation of logic programs using unfold/fold proofs, IASI-CNR, R. 457, 06/1997
- Carlo Gaibisso, Proietti G.: Efficient insertion of approximately sorted sequences of items into a dictionary, IASI-CNR, R. 456, 6/1997
- Becchetti L., Carlo Gaibisso: Lower bounds for the virtual path layout problem in ATM networks, IASI-CNR, R. 455, 6/1997
- De Vitis A.: The cactus representation of all minimum cuts in a weighted graph, IASI-CNR, R. 454, 05/1997
- Gould N.I.M., Lucidi S., Roma M., Toint Ph.L.: Solving the trust region subproblem using the Lanczos method, IASI-CNR, R. 453, 5/1997
- Anna Galluccio, Loebl M.: A theory of Pfaffian operations : 1. Perfect matchings and permanents, IASI-CNR, R. 452, 04/1997
- Panci M., Rafanelli M.: A system for the evaluation of urban pollution using a geographic information system, IASI-CNR, R. 451, 03/1997
- Giovanni Felici, Truemper K.: Learning logic, IASI-CNR, R. 450, 02/1997
- Bianco L., Confessore G., Reverberi P.: A combinatorial optimization approach to locate traffic counting points in a transport network, IASI-CNR, R. 449, 01/1997
- Confessore G., Dell'Olmo P., Giordani S.: An approximation algorithm for proper dynamic storage allocation, IASI-CNR, R. 448, 01/1997
1996 [top]
- 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
- 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
- Gandolfi A.: Cell receptor occupancy during cell-to-cell adhesion, IASI-CNR, R. 445, 12/1996
- De Francesco C., Nobili P.: A Characterization Of 0,?1 perfect matrices in terms of perfect graphs, IASI-CNR, R. 444, 11/1996
- Nobili P., Sassano A.: Strengthening Lagrangian bounds for the MAX-SAT problem, IASI-CNR, R. 443, 11/1996
- Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G., Ubezio P.: Cell loss and potential doubling times, IASI-CNR, R. 442, 10/1996
- Anna Formica, Missikoff M.: Analysis of the inheritance process in strongly typed OODB systems, IASI-CNR, R. 441, 09/1996
- Bezenchek A., Rafanelli M., Tininini L.: ADAMO: a conceptual model for aggregate data, IASI-CNR, R. 440, 09/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
- Yi B., Cioni G., Colagrossi A.: Intuitive minimal abduction in sequent calculus, IASI-CNR, R. 438, 07/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.: Optimizing flows and resources in a flexible production system, IASI-CNR, R. 436, 06/1996
- Malucelli F., Sara Nicoloso: Shiftable interval graphs, IASI-CNR, R. 435, 06/1996
- Campisi D., Mancuso P., Nastasi A.: A dynamic model of R&D competition, IASI-CNR, R. 434, 06/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
- Germani A., Manes C.: Robot trajectory tracking via nonlinear state estimation, IASI-CNR, R. 432, 06/1996
- Anna Galluccio, Loebl M.: Cycles of binary matroids with no F*_7 -minor, IASI-CNR, R. 431, 05/1996
- Rafanelli M.: A conceptual model for transport problems, IASI-CNR, R. 430, 04/1996
- Anna Formica, Groger H.D., Missikoff M.: An efficient method for checking object-oriented database schema correctness, IASI-CNR, R. 429, 03/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
- De Simone C., Mannino C.: Easy instances of the plant location problem, IASI-CNR, R. 427, 01/1996
1995 [top]
- Francesco Carravetta, Germani A., Manes C.: On the relationship between minimax and maximum entropy estimation, IASI-CNR, R. 426, 12/1995
- Mannino C., Stefanutti E.: An augmentation algorithm for the maximum weighted stable set problem, IASI-CNR, R. 425, 12/1995
- Anna Galluccio, Loebl M.: Even cycles and H-Homeomorphisms, IASI-CNR, R. 424, 12/1995
- Pettorossi A., Maurizio Proietti: Rules and strategies for transforming functional and logic programs, IASI-CNR, R. 423, 12/1995
- Campisi D., Gastaldi M.: Environmental protection, economic efficiency and intermodal competition in freight transport, IASI-CNR, R. 422, 12/1995
- Cricelli L., Gastaldi M., Levialdi N.: Competition in international long-distance telecommunications: a symbiotic production approach, IASI-CNR, R. 421, 12/1995
- D'Angelo A., Gastaldi M., Levialdi N.: Performance analysis of a flexible manufacturing system: a statistical approach, IASI-CNR, R. 420, 12/1995
- Campisi D., Mancuso P., Nastasi A.: Cost reduction, competitive pressure and firms optimal R&D strategies, IASI-CNR, R. 419, 12/1995
- Francesco Carravetta, Gabriella Mavelli: A way to exploit higher order information in minimax filtering problems, IASI-CNR, R. 418, 12/1995
- Ferri F., Pourabbas E., Rafanelli M., Sindoni G.: Planning health resource allocation using a geographic information system, IASI-CNR, R. 417, 12/1995
- Cioni G., Colagrossi A., Temperini M.: Class reasoning in object oriented languages for symbolic computation, IASI-CNR, R. 416, 11/1995
- Cioni G., Rubini S.: Communication aspects for concurrent objects: a symbolic application, IASI-CNR, R. 415, 10/1995
- Bezenchek A., Rafanelli M., Tininini L.: A data structure for the formal definition of aggregate data, IASI-CNR, R. 414, 10/1995
- Di Loreto F., Ferri F., Massari F., Rafanelli M.: A pictorial declarative query language for geographic information systems, IASI-CNR, R. 413, 10/1995
- Bertuzzi A., Gandolfi A., Carmela Sinisgalli: On the estimation of potential doubling time of tumors using DNA-BrdUrd distributions, IASI-CNR, R. 412, 10/1995
- Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G.: Estimation of cell cycle kinetic parameters by flow cytometry, IASI-CNR, R. 411, 10/1995
- Anna Galluccio, Loebl M.: Even directed cycles in H-free digraphs, IASI-CNR, R. 410, 07/1995
- Rubini S.: An asynchronous model of communicating objects, IASI-CNR, R. 409, 06/1995
- Bianco L., Dell'Olmo P., Giordani S.: One machine scheduling problem with ready times and sequence dependent processing times: preliminary results, IASI-CNR, R. 408, 05/1995
- Francesco Carravetta: On the solution of linear stochastic time-varying rational expectations models and its properties, IASI-CNR, R. 407, 04/1995
- Ceria S., Nobili P., Sassano A.: A Lagrangian-based heuristic for large-scale set covering problems, IASI-CNR, R. 406, 03/1995
- Bianco L., Maniezzo V., Mingozzi A., Ricciardelli S.: An exact algorithm for project scheduling with resource constraints based on a new mathematical formulation, IASI-CNR, R. 405, 02/1995
- Manolopoulos Y., Nardelli E., Proietti G., Vassilakopoulos M.: A pixel based random model to generate aggregated binary images, IASI-CNR, R. 404, 02/1995
- Conti F., Malucelli F., Sara Nicoloso, Simeone B.: On a 2-dimensional equipartition problem, IASI-CNR, R. 403, 02/1995
- Nardelli E., Proietti G.: Probabilistic models for images and quadtrees: differences and equivalences, IASI-CNR, R. 402, 01/1995
- Di Blasio P., Temperini M.: Lambda&ESI- calculus for enhanced strict inheritance, IASI-CNR, R. 401, 01/1995
1994 [top]
- Kutnetsov V.A., Borisova L.R.: Kinetic models of interleukin-4 (IL-4) binding to high affinity IL-4 receptors and its internalization, IASI-CNR, R. 400, 12/1994
- Bertuzzi A., Gandolfi A., Carmela Sinisgalli: Preference regions of ridge regression and OLS according to Pitman's criterion, IASI-CNR, R. 399, 12/1994
- Carlo Gaibisso, Proietti G., Nardelli E.: Maintaining on-line the intersection of sets under set union operations, IASI-CNR, R. 398, 12/1994
- Bianco L., Dell'Olmo P., Giordani S.: The traveling salesman problem with precedence contraints and binary costs, IASI-CNR, R. 397, 12/1994
- Bertolazzi P., Di Battista G., Mannino C., Tamassia R.: Optimal upward planarity testing of single-source digraphs, IASI-CNR, R. 396, 12/1994
- Bertuzzi A., Mingrone G., Gandolfi A., Greco A.V., Salinari S.: Pharmacokinetic analysis of dodecanedioic acid in man from bolus data, IASI-CNR, R. 395, 11/1994
- Francesco Carravetta, Germani A., Raimondi M.: Filtering of conditionally linear discrete time non-Gaussian systems, IASI-CNR, R. 394, 11/1994
- De Simone C., Diehl M., Jünger M., Mutzel P., Reinelt G., Rinaldi G.: Exact ground states of Ising spin glasses: new experimental results with a branch and cut algorithm, IASI-CNR, R. 393, 11/1994
- Nobili P., Sassano A.: (0,? 1) Ideal matrices, IASI-CNR, R. 392, 11/1994
- Francesco Carravetta, Germani A., Raimondi M.: An approximation theory for optimal filtering of linear time-varying discrete time-varying discrete time non-gaussian systems, IASI-CNR, R. 391, 10/1994
- Sara Nicoloso, Sarrafzadeh M., Song X.: On the sum coloring problem on interval graphs, IASI-CNR, R. 390, 10/1994
- Di Blasio P., Temperini M.: Studies on subtyping inheritance for symbolic computation systems, IASI-CNR, R. 389, 10/1994
- Bertuzzi A., Del Grosso N., Gandolfi A., Carmela Sinisgalli, Starace G.: Cell cycle analysis by the relative movement approach: effect of variability across S phase of DNA synthesis rate, IASI-CNR, R. 388, 09/1994
- Ferris M.C., Lucidi S., Roma M.: Nonmonotone curvilinear stabilization techniques for unconstrained optimization, IASI-CNR, R. 387, 9/1994
- Anna Galluccio, Loebl M.: (p,q)-odd digraphs, IASI-CNR, R. 386, 09/1994
- Palopoli L., Torlone R.: Generalized production rules as a basis for integrating active and deductive databases, IASI-CNR, R. 385, 07/1994
- Anna Formica, Missikoff M.: Correctness of inheritance hierarchies in recursive object-oriented database schemas, IASI-CNR, R. 384, 07/1994
- Bianco L., Dell'Olmo P., Giordani S.: An exact algorithm for the minimization of additional resources cost in scheduling tasks with fixed completion time, IASI-CNR, R. 383, 07/1994
- Carlo Gaibisso, Gambosi G., Lancia M., Vitale M.: Multimedia conferencing on packet switched networks: testing and evaluation, IASI-CNR, R. 382, 6/1994
- Draoli M., Felici R., Lancia M., Viscione L.: Measuring and enhancing scheduling under VMS, IASI-CNR, R. 381, 05/1994
- Gandolfi A., Mingrone G., Bertuzzi A., Greco A.V., Vanholder R., Ringoir S.: Binding of L-tryptophan to human serum albumin and competition with indole-3-acetic acid, IASI-CNR, R. 380, 05/1994
- Bertuzzi A., Mingrone G., Gandolfi A., Greco A.V., Ringoir S., Vanholder R.: Binding of indole-3-acetic acid to human serum albumin, IASI-CNR, R. 379, 05/1994
- Meo Evoli L., Rafanelli M., Ricci F.L.: A visual language for the direct manipulation of aggregate statistical data, IASI-CNR, R. 378, 04/1994
- Reverberi P.: Searching a minimal evidence set for abductive reasoning in Bayesian belief networks, IASI-CNR, R. 377, 04/1994
- Bianco L., Dell'Olmo P., Giordani S.: Exact and heuristic algorithms for the jump number problem, IASI-CNR, R. 376, 02/1994
- Jünger M., Reinelt G., Rinaldi G.: The traveling salesman problem, IASI-CNR, R. 375, 01/1994
1993 [top]
- Carlo Gaibisso, Franciosa P.G., Talamo M.: A reference model for spatial data handling performances, IASI-CNR, R. 374, 12/1993
- Nardelli E., Proietti G.: A time and space competitive pointerless representation of quadtrees, IASI-CNR, R. 373, 12/1993
- Nardelli E., Proietti G.: Unity is strength or it is better to keep spatial data together, IASI-CNR, R. 372, 12/1993
- Carlo Gaibisso: An output sensitive algorithm for planar upper envelopes, IASI-CNR, R. 371, 12/1993
- Anna Galluccio, Sassano A.: The rank facets of the stable set polytope for claw-free graphs, IASI-CNR, R. 370, 12/1993
- Pettorossi A., Maurizio Proietti: Transformation of logic programs: foundations and techiques, IASI-CNR, R. 369, 11/1993
- Nardelli E., Proietti G.: A unifying probabilistics model for quadtrees representing binary images, IASI-CNR, R. 368, 11/1993
- Soares J., Judice J., Facchinei F.: An active set Newton's algorithm for large-scale nonlinear programs with box constraints, IASI-CNR, R. 367, 10/1993
- Sara Nicoloso: A constructive characterization and an efficient algorithm for interval line graphs recognition, IASI-CNR, R. 366, 10/1993
- Nardelli E., Proietti G.: An algorithmic approach to the interpretation of floorplan maps, IASI-CNR, R. 365, 09/1993
- Nardelli E., Proietti G.: Advanced techniques for cadastral maps interpretation, IASI-CNR, R. 364, 09/1993
- Francesco Carravetta, Germani A., Raimondi M.: Filtering of discrete time bilinear systems: a polynomial approach, IASI-CNR, R. 363, 09/1993
- Nardelli E., Proietti G.: Efficient secondary memory processing of window queries on spatial data, IASI-CNR, R. 362, 07/1993
- Brunetta L., Conforti M., Rinaldi G.: A branch-and-cut algorithm for the resolution of the equicut problem, IASI-CNR, R. 361, 07/1993
- Carlo Gaibisso, Franciosa P.G., Gambosi G., Talamo M.: A convex hull algorithm for points with approximately known positions, IASI-CNR, R. 360, 7/1993
- Dell'Olmo P., Speranza M.G., Tuza Zs.: Easy and hard cases of a scheduling problem on three dedicated processors, IASI-CNR, R. 359, 06/1993
- Bertolazzi P., De Simone C., Anna Galluccio: A nice class for the vertex packing problem, IASI-CNR, R. 358, 05/1993
- Anna Galluccio, Gargano L., Simonyi G., Körner J.: Waterfalls, antichains and capacities of digraphs, IASI-CNR, R. 357, 5/1993
- Bertuzzi A., Gandolfi A., Salinari S., Mingrone G., Greco A.V.: Pharmacokinetics of dicarboxylic acids in man, IASI-CNR, R. 356, 04/1993
- Anna Galluccio, Loebl M.: Cycles of prescribed modularity in planar digraphs, IASI-CNR, R. 355, 03/1993
- Bianco L., Mingozzi A., Navoni M., Ricciardelli S.: An exact algorithm for combining truck trips, IASI-CNR, R. 354, 02/1993
- Bianco L., Mingozzi A., Ricciardelli S.: Dynamic programming strategies and reduction techniques for the traveling salesman problem with time window and precedence constraints, IASI-CNR, R. 353, 01/1993
1992 [top]
- Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G.: Cell cycle analysis from DNA-BrdUrd distributions., IASI-CNR, R. 352, 12/1992
- Ciccarello G., Dalla Mora M., Germani A.: Asymptotic linearization and stabilization for a class of nonlinear systems., IASI-CNR, R. 351, 12/1992
- Bianco L., Mingozzi A., Ricciardelli S.: A set partitioning approach to the multiple depot vehicle scheduling problem., IASI-CNR, R. 350, 12/1992
- Francesco Carravetta, Germani A., Raimondi M.: A polynomial approach for filtering of linear discrete time Non-Gaussian systems., IASI-CNR, R. 349, 12/1992
- Rafanelli M., Shoshani S.: A model for the graphical representation of aggregate data., IASI-CNR, R. 348, 12/1992
- Torlone R.: Update semantics of deductive databases with functional dependencies., IASI-CNR, R. 347, 12/1992
- De Simone C., Rinaldi G.: A cutting plane algorithm for the max-cut problem., IASI-CNR, R. 346, 11/1992
- Maurizio Proietti, Pettorossi A.: An abstract strategy for transforming logic programs., IASI-CNR, R. 345, 11/1992
- Lucidi S., Roma M.: A nonmonotone method with second order convergence in unconstrained optimization., IASI-CNR, R. 344, 10/1992
- Grippo L., Lampariello F., Lucidi S.: Vector performance criteria in the convergence analysis of optimization algorithms., IASI-CNR, R. 343, 9/1992
- Lucidi S., Roma M.: Nonmonotone conjugate gradient methods for optimization., IASI-CNR, R. 342, 9/1992
- Di Pillo G., Lucidi S., Palagi L.: An exact penalty-Lagrangian approach for a class of constrained optimization problems with bounded variables., IASI-CNR, R. 341, 9/1992
- Bianco L., Dell'Olmo P., Speranza M.G.: Scheduling independent tasks with multiple modes., IASI-CNR, R. 340, 09/1992
- Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G.: Relationship between DNA synthesis rate and DNA-BrdU distribution in pulse labelling experiments., IASI-CNR, R. 339, 09/1992
- Contaldi G., Di Pillo G., Lucidi S.: A continuously differentiable exact penalty function for nonlinear programming problems with unbounded feasible sets., IASI-CNR, R. 338, 6/1992
- Lucidi S.: On the role of continuously differentiable exact penalty functions in constrained global optimization., IASI-CNR, R. 337, 6/1992
- Facchinei F., Lucidi S.: A class of methods for optimization problems with simple bounds. Part 2: Algorithms and Numerical Results., IASI-CNR, R. 336, 5/1992
- Lampariello F.: Evaluation of the number of positive cells from flow cytometric immunoassays by mathematical modeling of cellular autofluorescence., IASI-CNR, R. 335, 05/1992
- Mannino C., Sassano A.: An exact algorithm for the maximum stable set problem., IASI-CNR, R. 334, 04/1992
- Nobili P., Sassano A.: A separation routine for the set covering polytope., IASI-CNR, R. 333, 03/1992
1991 [top]
- Anna Formica, Missikoff M.: A tightly typed data model for object-oriented databases., IASI-CNR, R. 332, 12/1991
- Missikoff M., Nigam A., Vazzana S.: CL: a clausal logic for frame definition languages., IASI-CNR, R. 331, 12/1991
- Francesco Carravetta, Raimondi M., Tardelli P.: Uniform decomposition for sequences of physical random variables., IASI-CNR, R. 330, 12/1991
- De Santis A., Gandolfi A., Germani A., Tardelli P.: Polynomial approximation for a class of physical random variables., IASI-CNR, R. 329, 12/1991
- Bertolazzi P., Di Battista G., Liotta G., Mannino C.: Upward drawings of triconnected digraphs., IASI-CNR, R. 328, 12/1991
- Palopoli L., Torlone R.: Extended update operations for complex objects databases., IASI-CNR, R. 327, 11/1991
- Anna Galluccio, Loebl M.: Paths/cycles of prescribed parity in planar digraphs., IASI-CNR, R. 326, 10/1991
- Chopra S., Rinaldi G.: The graphical asymmetric Traveling Salesman Polyhedron: symmetric inequalities., IASI-CNR, R. 325, 10/1991
- Körner J.: Intersection number and capacities of graphs., IASI-CNR, R. 324, 9/1991
- Ferris M., Lucidi S.: Globally convergent methods for nonlinear equations., IASI-CNR, R. 323, 9/1991
- Maurizio Proietti, Pettorossi A.: The use of strategies for partial deduction and logic program development., IASI-CNR, R. 322, 07/1991
- Bruni C., Francesco Carravetta, Germani A.: Suboptimal filtering for autonomous nonlinear systems., IASI-CNR, R. 321, 07/1991
- Bianco L., Dell'Olmo P., Speranza M.G.: Nonpreemptive scheduling of independent tasks with dedicated resources., IASI-CNR, R. 320, 06/1991
- Campisi D., La Bella A., Silvestrelli M.: The measurement of regional disparities within the Mediterranean area of the European Community., IASI-CNR, R. 319, 05/1991
- Bonamico S., Cioni G., Colagrossi A.: A sequent calculus for deductive and abductive mathematical problems., IASI-CNR, R. 318, 04/1991
- Campisi D., Gastaldi M., La Bella A.: Rebalancing a multiregional economy: a dynamic programming approach with application to the Italian case., IASI-CNR, R. 317, 02/1991
- Campisi D., Danielis R., Gastaldi M., La Bella A., Schachter G.: Conflicting goals in the Italian multiregional economy: a multiobjective compromise analysis., IASI-CNR, R. 316, 01/1991
1990 [top]
- Gandolfi A., Strom R.: Cell-mediated antigen presentation to Th-cells: a mathematical model., IASI-CNR, R. 315, 12/1990
- Alekseeva E.I., Kirzhner V.M.: On the influence of connecting structures upon stability of a finite set of dynamic systems., IASI-CNR, R. 314, 12/1990
- Facchinei F., Lucidi S.: A class of methods for optimization problems with simple bounds: Part 1: Definition and Analysis of two Exact Penalty Functions., IASI-CNR, R. 313, 12/1990
- Malvestuto F.M., Moscarini M., Rafanelli M.: Suppressing marginal cells to protect sensitive information in a two-dimensional statistical table., IASI-CNR, R. 312, 12/1990
- Sara Nicoloso, Nobili P.: A set covering formulation of the matrix equipartition problem., IASI-CNR, R. 311, 11/1990
- Bianco L., Mingozzi A., Ricciardelli S., Spadoni M.: Traveling salesman problem with precedence constraints., IASI-CNR, R. 310, 11/1990
- d'Amore F., Franciosa P.G.: A dynamic framework for efficiently managing sets of polylines., IASI-CNR, R. 309, 11/1990
- Campisi D., La Bella A., Gastaldi M.: Technological change and transportation supply in developed countries., IASI-CNR, R. 308, 10/1990
- Campisi D., La Bella A., Nastasi A.: Structural analysis and dynamics of multiregional multisectorial models., IASI-CNR, R. 307, 10/1990
- De Simone C., Anna Galluccio: New classes of Berge perfect graphs., IASI-CNR, R. 306, 10/1990
- Campisi D., La Bella A., Gastaldi M.: Managing regional growth in a dualistic economy., IASI-CNR, R. 305, 10/1990
- Pettorossi A., Maurizio Proietti: The loop absorption and the generalization strategies for the development of logic programs., IASI-CNR, R. 304, 10/1990
- Campisi D., La Bella A., Nastasi A.: Balanced growth and stability of the Leontief dynamic model: an analysis of the italian economy., IASI-CNR, R. 303, 10/1990
- Bertuzzi A., Finotti E., Mingrone G., Greco A.V.: Sebacic acid binding to human plasma albumin., IASI-CNR, R. 302, 09/1990
- Carlo Gaibisso, Franciosa P.G., Talamo M.: An on-line convex hull algorithm on reals., IASI-CNR, R. 301, 9/1990
- Facchinei F., Lucidi S.: A method for the minimization of a quadratic convex function over the simplex., IASI-CNR, R. 300, 9/1990
- d'Amore F., Franciosa P.G.: Separating sets of hyperrectangles., IASI-CNR, R. 299, 09/1990
- De Santis A., Germani A., Raimondi M.: Optimal recursive second order polynomial estimation for linear discrete time non-Gaussian systems., IASI-CNR, R. 298, 09/1990
- Missikoff M., Nigam A., Vazzana S.: CL: A uniform representation for frame definition languages., IASI-CNR, R. 297, 09/1990
- De Santis A., Germani A., Scoglio C.: Kalman filter approach to solution of rational expectations models., IASI-CNR, R. 296, 07/1990
- Atzeni P., Torlone R.: Updating intentional predicates in datalog., IASI-CNR, R. 295, 07/1990
- Mingrone G., Greco A.V., Bertuzzi A., Arcieri-Mastromattei E., Tacchino R.M., Marino F., Finotti E., Castagneto M.: Tissue uptake and oxidation of disodium sebacate in man., IASI-CNR, R. 294, 07/1990
- Di Pillo G., Grippo L., Lucidi S.: A smooth method for the finite minimax problem., IASI-CNR, R. 293, 6/1990
- Rafanelli M., Ricci F.L.: Mefisto: a functional model for statistical entities., IASI-CNR, R. 292, 06/1990
- Antenucci G., Sara Nicoloso, Simeone B.: Optimal hypergraph partitioning in VLSI circuit layout., IASI-CNR, R. 291, 6/1990
- Grippo L., Lampariello F., Lucidi S.: A class of nonmonotone stabilization methods in unconstrained optimization., IASI-CNR, R. 290, 5/1990
- Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for the propositional theory., IASI-CNR, R. 289, 04/1990
- Missikoff M., Vazzana S.: Object oriented systems and knowledge representation., IASI-CNR, R. 288, 03/1990
- Gambosi G., Nardelli E., Talamo M.: A pointer-free data structure for merging heaps and min-max heaps., IASI-CNR, R. 287, 2/1990
- Deza M., Grishukhin V.P., Laurent M.: Hypermetrics and L-polytopes., IASI-CNR, R. 286, 01/1990
- Bianco L., Bielli M., Mingozzi A., Ricciardelli S., Spadoni M.: A heuristic procedure for the crew rostering problem., IASI-CNR, R. 285, 01/1990
- Arbib C., Lucertini M., Sara Nicoloso: Polynomial and NP-complete problems in programmed logic arrays folding., IASI-CNR, R. 284, 1/1990
1989 [top]
- Bertuzzi A., Gandolfi A., Salinari S., Mingrone G., Arcieri-Mastromattei E., Finotti E., Greco A.V.: Pharmacokinetic analysis of azelaic acid., IASI-CNR, R. 283, 12/1989
- De Santis A., Gandolfi A., Germani A., Tardelli P.: A representation theorem for a class of Radon-Nikodym derivatives in the white-noise theory., IASI-CNR, R. 282, 12/1989
- Atzeni P., Torlone R.: Efficient updates to independent schemes in the weak instance model., IASI-CNR, R. 281, 12/1989
- Bianco L., Mingozzi A., Ricciardelli S., Spadoni M.: Algorithms for the crew scheduling problem based on the set partitioning formulation., IASI-CNR, R. 280, 12/1989
- Lucidi S.: A random tunneling algorithm for constrained global optimization., IASI-CNR, R. 279, 12/1989
- Cini M., Dell'Olmo P.: Algorithms for networks of disjunctive temporal constraints., IASI-CNR, R. 278, 12/1989
- Lucidi S.: New results on a continuously differentiable exact penalty function., IASI-CNR, R. 277, 12/1989
- Laurent M., Sassano A.: A characterization of knapsacks with the max-flow-min-cut property., IASI-CNR, R. 276, 12/1989
- Gandolfi A., Strom R.: Analysis of antibody binding to conformation-dependent epitopes., IASI-CNR, R. 275, 11/1989
- Lampariello F., Sebastiani G., Cordelli E., Spanò M.: Comparison of gaussian and t-Student densities for modeling fluorescence dispersion in flow cytometric DNA histograms., IASI-CNR, R. 274, 11/1989
- Campisi D., Gastaldi M., La Bella A.: Structural changes and dynamics in multiregional I-O models., IASI-CNR, R. 273, 10/1989
- Bertuzzi A., Gandolfi A., Starace G.: Regularized estimates of cell cycle parameters in populations affected by loss from flow-cytometry data., IASI-CNR, R. 272, 10/1989
- Campisi D., La Bella A., Gastaldi M., Ludovici B., Schachter G.: A multiregional multisectorial I-O model for Italy., IASI-CNR, R. 271, 10/1989
- Grippo L., Lucidi S.: On the solution of a class of quadratic programs using a differentiable exact penalty function., IASI-CNR, R. 270, 10/1989
- Maurizio Proietti, Pettorossi A.: Automatic derivation of logic programs: the synthesis of eureka predicates., IASI-CNR, R. 269, 09/1989
- Forcellese G., Temperini M.: A system for automated deduction based on the connection method., IASI-CNR, R. 268, 09/1989
- De Simone C.: On the vertex packing problem., IASI-CNR, R. 267, 09/1989
- De Santis A., Germani A., Jetto L.: A non-stationary adaptive model for recursive image filtering., IASI-CNR, R. 266, 07/1989
- De Simone C., Deza M., Laurent M.: Collapsing and lifting for the cut cone., IASI-CNR, R. 265, 07/1989
- Rafanelli M., Maggi M.: An object oriented knowledge based system for pancreatic disease., IASI-CNR, R. 264, 07/1989
- Gambosi G., Postiglione A., Talamo M.: On the on-line bin packing problem., IASI-CNR, R. 263, 6/1989
- Blazewicz J., Brzezinski J., Bovet D.P., Gambosi G., Talamo M.: Optimal centralized algorithms for store-and-forward deadlock prevention., IASI-CNR, R. 262, 6/1989
- Gambosi G., Italiano G.F., Talamo M.: Worst case analysis of the set union problem with extended backtracking., IASI-CNR, R. 261, 5/1989
- Gambosi G., Nešetřil J., Talamo M.: On locally presented posets., IASI-CNR, R. 260, 5/1989
- Carlo Gaibisso, Gargano M.: A tradeoff analysis for the choice of an efficient representation of spatial objects in large databases., IASI-CNR, R. 259, 5/1989
- De Simone C., Sassano A.: Stability numbers of bull and chair free graphs., IASI-CNR, R. 258, 05/1989
- Sassano A.: Reducible cliques and the strong perfect graph conjecture., IASI-CNR, R. 257, 03/1989
- Grippo L., Lampariello F., Lucidi S.: Nonmonotone stabilization methods for Newton-type algorithms in unconstrained optimization., IASI-CNR, R. 256, 2/1989
- Malvestuto F.M., Moscarini M.: Aggregate evaluability in statistical databases., IASI-CNR, R. 255, 01/1989
- Bianco L., Mingozzi A., Ricciardelli S., Spadoni M.: A single vehicle delivery problem., IASI-CNR, R. 254, 01/1989
- Bonamico S., Cioni G.: Embedding flexible control strategies into object oriented languages., IASI-CNR, R. 253, 01/1989
- Lucidi S.: A RQP algorithm that uses an exact augmented Lagrangian function., IASI-CNR, R. 252, 1/1989
1988 [top]
- Temperini M., Vitale R.: A formal approach to the specification and manipulation of mathematical objects., IASI-CNR, R. 251, 12/1988
- De Santis A., Germani A., Jetto L.: Some results on the finite-dimensional approximation of the algebraic Riccati equation in Hilbert spaces., IASI-CNR, R. 250, 12/1988
- Naddef D., Rinaldi G.: The crown inequalities for the symmetric traveling Salesman polytope., IASI-CNR, R. 249, 12/1988
- Naddef D., Rinaldi G.: The symmetric traveling salesman polytope: New facets from the graphical relaxation., IASI-CNR, R. 248, 12/1988
- Padberg M., Rinaldi G.: A branch-and-cut algorithm for the resolution of large-scale symmetric traveling Salesman problems., IASI-CNR, R. 247, 12/1988
- Nobili P., Sassano A.: The F-propertyand the dominant of the cycle polytope for graphs noncontractible to W_4., IASI-CNR, R. 246, 12/1988
- Nobili P., Sassano A.: The anti-join composition and related polyhedra., IASI-CNR, R. 245, 12/1988
- Naddef D., Rinaldi G.: The graphical relaxation: a new framework for the symmetric traveling salesman polytope., IASI-CNR, R. 244, 12/1988
- Nobili P., Sassano A.: Polyhedral properties of clutter amalgam., IASI-CNR, R. 243, 12/1988
- Lampariello F.: Analysis of DNA histograms from solid tumors: a correction procedure for debris background., IASI-CNR, R. 242, 11/1988
- Gorog G., Gandolfi A., Paradisi G., Rolleri E., Klasen E., Dessì V., Strom R., Celada F.: Use of bispecific hybrid monoclonal antibodies for the development of a homogeneous enzyme immunoassay., IASI-CNR, R. 241, 11/1988
- Anna Galluccio, Sassano A.: An algorithm for vertex packing in claw-free graphs., IASI-CNR, R. 240, 11/1988
- Bertuzzi A., Gandolfi A.: Probability of failure in improving LS estimate by ridge regression., IASI-CNR, R. 239, 11/1988
- Bruni C., Germani A.: Stochastic modelling for a telecommunication satellite., IASI-CNR, R. 238, 10/1988
- De Santis A., Gandolfi A., Germani A., Tardelli P.: A decomposition theorem for random variables in the white-noise theory., IASI-CNR, R. 237, 10/1988
- Anna Galluccio, Sassano A.: A min-max relation for the stability number in claw-free graphs II: 2-reducible graphs., IASI-CNR, R. 236, 09/1988
- Anna Galluccio, Sassano A.: A min-max relation for the stability number in claw-free graphs I: kite-systems., IASI-CNR, R. 235, 09/1988
- Bertuzzi A., D'Agnano I., Gandolfi A., Starace G., Ubezio P.: Quantitative study of fluorescent probes in cellular systems by flow cytometry., IASI-CNR, R. 234, 09/1988
- Bertolazzi P.: A linear algorithm for edge visibility inside a non triangulated polygon., IASI-CNR, R. 233, 09/1988
- Atzeni P., Torlone R.: Updating databases in the weak instance model., IASI-CNR, R. 232, 09/1988
- Maurizio Proietti, Pettorossi A.: Techniques for the automatic improvement of logic programs., IASI-CNR, R. 231, 09/1988
- Missikoff M.: From relational to semantic data model: an evolutionary approach., IASI-CNR, R. 230, 07/1988
- Salza S., Terranova M.: Evaluating the size of queries on relational databases with non uniform distributions and stochastic dependence., IASI-CNR, R. 229, 07/1988
- Krajewski W.: On the dynamic risk sensitive Nash games., IASI-CNR, R. 228, 07/1988
- Moscarini M., Sassano A.: The Steiner set problem and the greedy algorithm., IASI-CNR, R. 227, 07/1988
- Bandelt H.J., D'Atri A., Moscarini M., Mulder H.M., Schultze A.: Operations on distance-hereditary graphs., IASI-CNR, R. 226, 07/1988
- Bianco L., Mingozzi A., Ricciardelli S.: The travelling salesman problem with cumulative costs., IASI-CNR, R. 225, 07/1988
- Bianco L., Mingozzi A., Ricciardelli S.: Minimizing mean flow time with sequence dependent processing times., IASI-CNR, R. 224, 07/1988
- Colagrossi A., Limongelli C.: Big numbers p-adic arithmetic: a parallel approach., IASI-CNR, R. 223, 07/1988
- Padberg M., Rinaldi G.: An efficient algorithm for the minimum capacity cut problem., IASI-CNR, R. 222, 07/1988
- Bruni C., Lampariello F., Lucidi S., Micheli C.: Analysis of flow cytometric aneuploid DNA histograms: validation of an automatic procedure against ad hoc experimental data., IASI-CNR, R. 221, 7/1988
- Gambosi G., Italiano G.F., Talamo M.: The set union problem with dynamic weighted backtracking., IASI-CNR, R. 220, 6/1988
- La Bella A., Morini A., Silvestrelli M.: Telematics and business travel., IASI-CNR, R. 219, 06/1988
- Malvestuto F.M., Rafanelli M., Zuffada C.: Many-source databases: some problems and solutions., IASI-CNR, R. 218, 06/1988
- Bertolazzi P., Guerra C., Salza S.: A parallel algorithm for the visibility problem inside a simple polygon., IASI-CNR, R. 217, 06/1988
- Pisanelli D.M., Rafanelli M.: The design of an expert system for the decision support in the pre-operative diagnosis of pancreatic cancer., IASI-CNR, R. 216, 06/1988
- Bertuzzi A., Bizzarri M., De Santis A., Gandolfi A.: Parameter estimation by Maximum Likelihood in a model of Tryptophan renal excretion., IASI-CNR, R. 215, 05/1988
- Maurizio Proietti: A relationship between two categorical models of partial computations., IASI-CNR, R. 214, 05/1988
- Grippo L., Lampariello F., Lucidi S.: A quasi-discrete Newton algorithm with a nonmonotone stabilization technique., IASI-CNR, R. 213, 5/1988
- Ausiello G., Gambosi G.: Pictorial database systems: a survey., IASI-CNR, R. 212, 5/1988
- Di Pillo G., Facchinei F., Grippo L.: A RQP algorithm using a differentiable exact penalty function for inequality constrained problems., IASI-CNR, R. 211, 04/1988
- Nobili P., Sassano A.: Facets and lifting procedures for the set covering polytope., IASI-CNR, R. 210, 03/1988
- Bertolazzi P., Sassano A.: A decomposition strategy for the vertex cover problem., IASI-CNR, R. 209, 02/1988
- Bertolazzi P., Guerra C., Salza S.: A systematic approach to the design of modular systolic arrays., IASI-CNR, R. 208, 01/1988
- Lampariello F., Del Bino G.: Automatic parameter estimation of flow cytometric DNA distributions in the study of tumor cell kinetics., IASI-CNR, R. 207, 01/1988
1987 [top]
- Carlo Gaibisso: A partially persistent data structure for the set-union problem with backtracking., IASI-CNR, R. 206, 12/1987
- Salinari S., Bertuzzi A., Vitelli R., Mancinelli R.: Motility of the rat uterine horn: analysis of activatory inputs., IASI-CNR, R. 205, 12/1987
- Padberg M., Rinaldi G.: Facet identification for the symmetric traveling salesman polytope., IASI-CNR, R. 204, 12/1987
- Padberg M., Rinaldi G.: A branch-and-cut approach to a traveling salesman problem with side constraints., IASI-CNR, R. 203, 12/1987
- Bertuzzi A., Gandolfi A., Starace G., Vitelli R.: Influence of cell loss in the analysis of proliferating populations by flow cytometry., IASI-CNR, R. 202, 12/1987
- Carlo Gaibisso, Gambosi G., Talamo M.: A partially persistent data structure for the set-union problem., IASI-CNR, R. 201, 12/1987
- Grippo L., Lampariello F., Lucidi S.: Nonmonotone line searches and watchdog techniques for Newton-type methods., IASI-CNR, R. 200, 12/1987
- Atzeni P., Chan E.P.F.: Independent database schemes under functional and inclusion dependencies., IASI-CNR, R. 199, 11/1987
- Missikoff M.: MOKA: a user-friendly front-end for knowledge acquisition., IASI-CNR, R. 198, 11/1987
- Bertuzzi A., Gandolfi A., Lucidi S.: Constrained cross-validation applied to estimation of kinetic parameters of cell populations in perturbed growth., IASI-CNR, R. 197, 10/1987
- Conforti M., Rao M.R., Sassano A.: The equipartition polytope II: valid inequalities and facets., IASI-CNR, R. 196, 10/1987
- Conforti M., Rao M.R., Sassano A.: The equipartition polytope I: formulations, dimension and basic facets., IASI-CNR, R. 195, 10/1987
- Campisi D., Danielis R., La Bella A., Schachter G.: An empirical study of interregional transportation plans., IASI-CNR, R. 194, 10/1987
- Caravani P., Papavassilopoulos G.: A class of risk sensitive games., IASI-CNR, R. 193, 09/1987
- Campisi D., La Bella A.: Evaluating the economic impact of transportation investment: an input-output approach., IASI-CNR, R. 192, 09/1987
- Bianco L.: Mathematical models in logistic system design., IASI-CNR, R. 191, 09/1987
- Atzeni P., De Bernardis M.C.: The new weak instance model., IASI-CNR, R. 190, 09/1987
- Bertuzzi A., Bizzarri M., De Santis A., Gandolfi A.: Hypertryptophanemia and hypertryptophanuria in bladder cancer patients. Mathematical model of tryptophan excretion., IASI-CNR, R. 189, 09/1987
- Grippo L., Lampariello F., Lucidi S.: Newton-type algorithms with nonmonotone line search for large-scale unconstrained optimization., IASI-CNR, R. 188, 9/1987
- Lucidi S., Piccioni M.: Random tunneling by means of acceptance-rejection sampling for global optimization., IASI-CNR, R. 187, 9/1987
- Germani A., Jetto L.: Image modelling and restoration: a new approach., IASI-CNR, R. 186, 07/1987
- Gandolfi A., Strom R.: Ring formation in divalent receptor-divalent ligand interaction: pseudo-cooperative shapes of scatchard plots., IASI-CNR, R. 185, 06/1987
- Di Pillo G., Grippo L.: Exact penalty functions in constrained optimization., IASI-CNR, R. 184, 06/1987
- Moscarini M.: Alpha-graphs, Steiner trees and connected domination., IASI-CNR, R. 183, 05/1987
- Bianco L., Rinaldi G., Sassano A.: A combinatorial optimization approach to aircraft sequencing problem., IASI-CNR, R. 182, 04/1987
- Campisi D., La Bella A.: Transportation supply and economic growth in a multiregional system., IASI-CNR, R. 181, 02/1987
- Labella A., Pettorossi A.: Universal models in categories for process synchronization., IASI-CNR, R. 180, 02/1987
- Germani A., Piccioni M.: Semi-discretization of stochastic partial differential equations on $R^d$ by a finite-element technique., IASI-CNR, R. 179, 01/1987
- D'Atri A., Moscarini M., Sassano A.: Homogeneous graphs and Steiner trees., IASI-CNR, R. 178, 01/1987
1986 [top]
- Carlo Gaibisso, Gambosi G., Nardelli E., Soccodato G., Talamo M.: A proposal for the efficient representation and management of geometric entities in a geographic information system., IASI-CNR, R. 177, 12/1986
- Gambosi G., Nešetřil J., Talamo M.: Posets, boolean representation and quick path searching., IASI-CNR, R. 176, 12/1986
- Terranova M., Batzella P.F., De Stefanis D.: On the performance of CID: a VLSI device for lists intersection., IASI-CNR, R. 175, 12/1986
- Atzeni P., Parker Jr. D.S.: Set containment inference., IASI-CNR, R. 174, 12/1986
- Campisi D., La Bella A.: Evaluation of transportation investments., IASI-CNR, R. 173, 12/1986
- Padberg M., Sassano A.: The complexity of matching with bonds., IASI-CNR, R. 172, 12/1986
- Grippo L., Lampariello F., Lucidi S.: A truncated Newton method with nonmonotone line search for unconstrained optimization., IASI-CNR, R. 171, 11/1986
- D'Atri A., Moscarini M.: On hypergraph acyclicity and graph chordality., IASI-CNR, R. 170, 11/1986
- Bertolazzi P., Sassano A.: Regular clutters., IASI-CNR, R. 169, 11/1986
- Bianco L., La Bella A.: Social preference and political issues in transportation planning: an analytical approach., IASI-CNR, R. 168, 10/1986
- Bertolazzi P., Sassano A.: A class of polynomially solvable set-covering problems., IASI-CNR, R. 167, 10/1986
- Rinaldi G., Padberg M.: An efficient algorithm for the minimum capacity cut problem in large sparse graphs., IASI-CNR, R. 166, 09/1986
- Bianco L.: The role of quantitative methods in urban transportation planning., IASI-CNR, R. 165, 09/1986
- Padberg M., Rinaldi G.: Optimization of a 532-city symmetric travelling salesman problem., IASI-CNR, R. 164, 09/1986
- Starace G., Badaracco G., Bertuzzi A., Gandolfi A., Greco C., Todaro M.D., Vitelli R., Zupi G.: Kinetic and survival response of M14 cell line to Lonidamine associated with Adiamycin or hyperthermia., IASI-CNR, R. 163, 09/1986
- Caravani P.: A comment on the aggregation of the Sraffa model., IASI-CNR, R. 162, 07/1986
- Miola A., Mora T.: Constructive lifting in graded structures: a unified view of Grobner and Hensel methods., IASI-CNR, R. 161, 06/1986
- Di Pillo G., Grippo L.: Globally exact nondifferentiable penalty functions., IASI-CNR, R. 160, 06/1986
- Cioni G., Kreczmar A.: Solving logic problems by object oriented languages., IASI-CNR, R. 159, 06/1986
- D'Atri A., Di Felice P., Moscarini M.: Towards a dialogue-based query system., IASI-CNR, R. 158, 06/1986
- Lampariello F., Mauro F., Pacchierotti F., Uccelli R., Spanò M.: Automatic analysis of radiation induced alterations of flow cytometric DNA distributions of mouse testis cells., IASI-CNR, R. 157, 05/1986
- Salza S., Terranova M.: Evaluating the cardinality of the result of relational operations: a probabilistic approach., IASI-CNR, R. 156, 05/1986
- Cioni G., Miola A.: How to treat decision problems using different programming methodologies., IASI-CNR, R. 155, 05/1986
- Labella A., Pettorossi A.: The definition of categorical models of process cooperation., IASI-CNR, R. 154, 04/1986
- Cornuéjols G., Sassano A.: On the 0,1 facets of the set covering polytope., IASI-CNR, R. 153, 04/1986
- Labella A.: Tree categories for modelling non deterministic and parallel computations., IASI-CNR, R. 152, 03/1986
- Caravani P.: On extending linear quadratic control theory to non-symmetric risky objectives., IASI-CNR, R. 151, 03/1986
- Protasi M., Talamo M.: New and more efficient algorithms for finding Fibonacci numbers., IASI-CNR, R. 150, 03/1986
- Bielli M.: Flow control modelling in ATC systems., IASI-CNR, R. 149, 03/1986
- Pettorossi A.: Transformation strategies for deriving on line programs., IASI-CNR, R. 148, 02/1986
- D'Atri A., Moscarini M.: Cross graphs, Steiner trees and connected domination., IASI-CNR, R. 147, 02/1986
- Missikoff M., Wiederhold G.: The design of mosaico: an expert system for user and application requirement analysis., IASI-CNR, R. 146, 01/1986
- Germani A., Piccioni M.: Error estimates for finite-element approximation of the Zakai equation., IASI-CNR, R. 145, 01/1986
- Bertuzzi A., Gandolfi A., Germani A., Vitelli R., Badaracco G., Starace G.: Study of cell kinetics by computer-analyzed flow cytometric histograms., IASI-CNR, R. 144, 01/1986
1985 [top]
- Germani A., Jetto L., Verdicchio G.: A bidimensional Kalman filtering approach to noisy image restoration., IASI-CNR, R. 143, 12/1985
- Gambosi G., Talamo M.: An application of m-ary trees to the design of data structures for geometric searching problems., IASI-CNR, R. 142, 12/1985
- Gambosi G., Talamo M.: Locally presented posets as a tool for representing advanced data structures., IASI-CNR, R. 141, 12/1985
- Bertuzzi A., Gandolfi A., Vitelli R.: A regularization procedure for estimating cell kinetic parameters from flow cytometry., IASI-CNR, R. 140, 12/1985
- Sassano A.: On the facial structure of the set covering polytope., IASI-CNR, R. 139, 12/1985
- Panasiti F.: Design and implementation of a system for manipulation of sums and series., IASI-CNR, R. 138, 12/1985
- Chan E.P.F., Atzeni P.: On the properties and characterization of connection-tra-free schemes., IASI-CNR, R. 137, 12/1985
- La Bella A.: Integrated transportation planning: physical expansion versus economic constraints., IASI-CNR, R. 136, 12/1985
- Atzeni P., Parker Jr. D.S.: Formal properties of net-based knowledge representation schemes., IASI-CNR, R. 135, 12/1985
- Rafanelli M., Ricci F.L., Sebastio A.: An algebra for macrodata., IASI-CNR, R. 134, 12/1985
- Bertuzzi A., Salinari S.: Mathematical methods in the analysis of colonic motility., IASI-CNR, R. 133, 12/1985
- Protasi M., Talamo M.: A parametric analysis of the largest induced tree problem in random graphs., IASI-CNR, R. 132, 11/1985
- Missikoff M., Salza S., Terranova M.: Dbmac: a parallel relational database machine., IASI-CNR, R. 131, 11/1985
- Ricciardelli S.: Scheduling models in terminal area management systems., IASI-CNR, R. 130, 11/1985
- Campisi D., La Bella A.: An input-output based approach to the evaluation of transportation plans., IASI-CNR, R. 129, 11/1985
- Di Pillo G., Grippo L., Lucidi S.: Globally convergent exact penalty algorithms for constrained optimization., IASI-CNR, R. 128, 10/1985
- Di Pillo G., Grippo L.: On the exactness of class of nondifferentiable penalty functions., IASI-CNR, R. 127, 09/1985
- Pettorossi A., Skowron A.: A methodology for improving parallel programs by adding communications., IASI-CNR, R. 126, 09/1985
- Salinari S., Bertuzzi A., Vitelli R., Mancinelli R., Guariglia L.: In vitro motility of non-pregnant rat uterine horns: II. Mathematical model., IASI-CNR, R. 125, 07/1985
- Mancinelli R., Guariglia L., Racanicchi C., Bertuzzi A., Salinari S., Vitelli R.: In vitro motility of non-pregnant rat uterine horns: I. Physiological aspects., IASI-CNR, R. 124, 07/1985
- Ausiello G., D'Atri A., Moscarini M.: Chordality properties on graphs and minimal conceptual connections in semantic data models., IASI-CNR, R. 123, 07/1985
- Rinaldi G., Yarrow L.A.: Optimizing a 48-city traveling salesman problem: a case study in combinatorial problem solving., IASI-CNR, R. 122, 06/1985
- Conforti M., Laurent M.: A characterization of matroidal systems of inequalities., IASI-CNR, R. 121, 06/1985
- Bianco L., Ricciardelli S., Rinaldi G., Sassano A.: Scheduling tasks with sequence dependent processing times., IASI-CNR, R. 120, 05/1985
- Rinaldi G.: The projective method for linear programming with box-type constraints., IASI-CNR, R. 119, 05/1985
- Yonglin T., Germani A.: Stable discrete adaptive control in the presence of bounded disturbances., IASI-CNR, R. 118, 05/1985
- Bertuzzi A., Gandolfi A., Germani A., Vitelli R., Badaracco G., Starace G.: DNA synthesis rate in neoplastic cells in culture., IASI-CNR, R. 117, 05/1985
- Lucidi S.: New results on a class of exact augmented lagrangians., IASI-CNR, R. 116, 4/1985
- Campisi D.: The spatial components of demographic change., IASI-CNR, R. 115, 04/1985
- Bruni C., Capurso L., Koch G., Koch M., Lampariello F., Lucidi S., Teodori L.: Automatic analysis of flow cytometrically determined DNA distributions in the presence of abnormal stemlines., IASI-CNR, R. 114, 3/1985
- Lampariello F., Lucidi S.: Analysis of DNA distributions from flow cytometry by means of an optimization procedure., IASI-CNR, R. 113, 2/1985
- Grippo L., Lampariello F., Lucidi S.: Global convergence and stabilization of unconstrained minimization methods without derivatives., IASI-CNR, R. 112, 2/1985
- Atzeni P., Morfuni N.M.: Functional dependencies and constraints on null values in database relations., IASI-CNR, R. 111, 01/1985
1984 [top]
- Gutenbaum J.: Smoothing of the Pareto optimal solutions set in linear multiobjective optimization problems., IASI-CNR, R. 110, 12/1984
- Salza S., Terranova M., Velardi P.: Performance analysis of the interconnection architecture in a multiprocessor database machine., IASI-CNR, R. 109, 12/1984
- Bertuzzi A., Mancinelli R., Pescatori M., Salinari S.: Mechanisms of gastrointestinal motor activity: measurements and models of normal and pathological situations., IASI-CNR, R. 108, 12/1984
- Protasi M., Talamo M.: On the maximum size of random trees., IASI-CNR, R. 107, 12/1984
- Blazewicz J., Brzezinski J., Gambosi G.: Time stamps approach to prevention of different deadlock types in store-and-forward networks., IASI-CNR, R. 106, 12/1984
- Nardelli E., Talamo M.: A fast algorithm for planarization of sparse diagrams., IASI-CNR, R. 105, 12/1984
- Lucertini M., Telmon D.: Time management: an optimization model., IASI-CNR, R. 104, 12/1984
- Missikoff M., Wiederhold G.: Towards a unified approach for expert and database systems., IASI-CNR, R. 103, 12/1984
- Gambosi G., Talamo M.: A data structure for fast memory allocation in well-dimensioned systems., IASI-CNR, R. 102, 12/1984
- Sassano A., Padberg M.: Matching with bonds: II., IASI-CNR, R. 101, 11/1984
- Grippo L., Lampariello F., Lucidi S.: A non monotone line search technique for the Newton method., IASI-CNR, R. 100, 11/1984
- Di Pillo G., Grippo L.: An exact penalty method with global convergence properties for nonlinear programming problems., IASI-CNR, R. 99, 10/1984
- Monaco S., Normand-Cyrot D.: Developments fonctionnels pour les systemes non lineaires en temps discret., IASI-CNR, R. 98, 10/1984
- Salza S., Terranova M.: A methodology for the analysis of the workload in relational database systems., IASI-CNR, R. 97, 10/1984
- Rafanelli M., Ricci F.L.: Staquel: a query language for statistical database., IASI-CNR, R. 96, 10/1984
- Germani A., Jetto L., Piccioni M.: Approximation of the infinite dimensional Kalman filter by projections., IASI-CNR, R. 95, 09/1984
- Pettorossi A., Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
- Pettorossi A.: A powerful strategy for deriving efficient programs by transformations., IASI-CNR, R. 93, 07/1984
- Padberg M.: Total unimodularity and the Euler-subgraph problem., IASI-CNR, R. 92, 07/1984
- Campisi D., La Bella A.: The dynamics of urban population., IASI-CNR, R. 91, 06/1984
- Labella A., Pettorossi A.: Categorical models for hand-shaking communications., IASI-CNR, R. 90, 05/1984
- Germani A., Piccioni M.: Finite-dimensional approximations for the equation of nonlinear filtering derived in mild form., IASI-CNR, R. 89, 05/1984
- Blazewicz J., Brzezinski J., Gambosi G.: Time-stamps approachorometric data., IASI-CNR, R. 88, 7/1984
- Ausiello G., D'Atri A., Moscarini M.: Optimal acyclic covering over hypergraphs., IASI-CNR, R. 87, 05/1984
- Ausiello G., D'Atri A., Moscarini A.: On the existence of acyclic views in database scheme., IASI-CNR, R. 86, 05/1984
- Padberg M., Sassano A.: Matching with bonds: I., IASI-CNR, R. 85, 04/1984
- Monaco S., Normand-Cyrot D.: Input-output approximation of nonlinear discrete-time system from an equilibrium point., IASI-CNR, R. 84, 04/1984
- Pettorossi A.: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
- Pettorossi A.: Towers of Hanoi problems: deriving the iterative solutions using the program transformation technique., IASI-CNR, R. 82, 03/1984
1983 [top]
- Protasi M., Talamo M.: A new probabilistic model for the study of algorithmic properties of random graph problems., IASI-CNR, R. 81, 12/1983
- Bertolazzi P., Bongiovanni G.: A VLSI structure for the deadlock avoidance problem., IASI-CNR, R. 80, 12/1983
- Salza S., Bonelli G.: Directory management of a distributed file system: a performance analysis., IASI-CNR, R. 79, 12/1983
- D'Atri A., Moscarini M.: Recognition and design of acyclic databases., IASI-CNR, R. 78, 12/1983
- Atzeni P., Morfuni N.M.: Functional dependencies and existence constraints in database relations with null values., IASI-CNR, R. 77, 12/1983
- Bovet D.P., Gambosi G., Menasce D.A.: Detection and removal of deadlocks in store and forward communication networks., IASI-CNR, R. 76, 11/1983
- Bertolazzi P., Missikoff M., Terranova M.: CID: a VLSI device for lists intersection., IASI-CNR, R. 75, 11/1983
- Di Pillo G., Grippo L.: A class of continuously differentiable exact penalty function algorithms for nonlinear programming problems., IASI-CNR, R. 74, 11/1983
- Gandolfi A., Gerardi A., Marchetti F.: Association rates of diffusion-controlled reactions in two dimensions., IASI-CNR, R. 73, 10/1983
- Bielli M., Calicchio G., Cini M., Magliozzi L., Oddone M.: Network models in planning the new generations of submarine communication systems., IASI-CNR, R. 72, 10/1983
- Germani A., Piccioni M.: Nonlinear filtering for Markov processes: an L? approach., IASI-CNR, R. 71, 10/1983
- Bertolazzi P., De Stefanis D., Terranova M.: On optimal file allocation in database machines., IASI-CNR, R. 70, 10/1983
- Bertolazzi P., Sudborough I.H.: The grid embedding problem is NP-complete even for edge length 2., IASI-CNR, R. 69, 09/1983
- Germani A., Piccioni M.: A Galerkin approximation for the Zakai equation., IASI-CNR, R. 68, 09/1983
- Labella A., Pettorossi A.: Categories for handshaking communications., IASI-CNR, R. 67, 09/1983
- Miola A.: Design specifications for manipulation of sums and series., IASI-CNR, R. 66, 09/1983
- Mascari G., Miola A.: Computations on numerical and symbolic expressions: a semantic analysis., IASI-CNR, R. 65, 09/1983
- Bertuzzi A., Gandolfi A., Germani A., Spanò M., Starace G., Vitelli R.: Analysis of DNA synthesis rate of cultured cells from cytofluorometric data., IASI-CNR, R. 64, 07/1983
- Bertuzzi A., Clerico R., Gandolfi A., Germani A., Vitelli R.: Determination of DNA synthesis rate in cell populations with locally exponential S-phase influx., IASI-CNR, R. 63, 07/1983
- Rafanelli M., Ricci F.L.: A data definition language for a statistical database., IASI-CNR, R. 62, 07/1983
- Germani A., Piccioni M.: Finite-dimensional approximations of stochastic bilinear differential equations in Hilbert spaces., IASI-CNR, R. 61, 06/1983
- Di Pillo G., Grippo L., Lampariello F.: A class of structured quasi-Newton algorithms for optimal control problems., IASI-CNR, R. 60, 05/1983
- Caravani P., Figliuoli L.: A state approach to the term structure of interest rates., IASI-CNR, R. 59, 04/1983
- Bruni C., Koch G., Lucidi S.: Analysis of DNA distributions from flow cytometry: validation of an automatic procedure against simulated data., IASI-CNR, R. 58, 4/1983
- Lucertini M., Paletta G.: A class of network design problems with multiple demand: model formulation and an algorithmic approach., IASI-CNR, R. 57, 03/1983
- Miola A.: Algebraic approach to P-adic conversion of rational numbers., IASI-CNR, R. 56, 02/1983
- Atzeni P., Carboni E.: Incod (a system for interactive conceptual design) revisited after the implementation of a prototype., IASI-CNR, R. 55, 02/1983
- Labella A., Pettorossi A.: Towards a categorical understanding of parallelism., IASI-CNR, R. 54, 01/1983
1982 [top]
- Bertuzzi A., Gandolfi A., Germani A., Vitelli R.: Estimation of cell DNA synthesis rate from flow-cytometric histograms., IASI-CNR, R. 53, 12/1982
- Petternella M., Vitelli R.: Harmonic analysis of time-limited signals., IASI-CNR, R. 52, 12/1982
- Cioni G., Kreczmar A.: Programmed deallocation without dangling reference., IASI-CNR, R. 51, 12/1982
- Blazewicz J., Bovet D.P., Gambosi G.: Deadlock resistant flow control procedures for store-and-forward networks., IASI-CNR, R. 50, 12/1982
- Miola A.: A unified view of approximate rational arithmetics and rational interpolation., IASI-CNR, R. 49, 12/1982
- Di Pillo G., Grippo L.: A continuously differentiable exact penalty function for a nonlinear programming problems with inequality constraints., IASI-CNR, R. 48, 12/1982
- Lucidi S.: A Newton-type algorithm for a class of distributed parameter optimal control problems., IASI-CNR, R. 47, 12/1982
- De Leone R., Gaudioso M., Grippo L.: Line search methods without derivatives., IASI-CNR, R. 46, 12/1982
- Gandolfi A., Strom R.: ``Avidity'' plots as a tool for the evaluation of antibody affinities toward multivalent antigens., IASI-CNR, R. 45, 12/1982
- Bruni C., Gandolfi A., Germani A.: Theoretical investigation and numerical procedure for the estimation of antibody affinity distribution from binding data., IASI-CNR, R. 44, 12/1982
- Gandolfi A., Germani A.: On the definition of a topology in Hilbert spaces with applications to the white noise theory., IASI-CNR, R. 43, 12/1982
- Mingrone G., Greco A.V., Bertuzzi A.: Prediction of the lithogenic character of human bile by a quaternary system., IASI-CNR, R. 42, 12/1982
- Ausiello G., D'Atri A., Moscarini M.: Minimal coverings of acyclic database schemata., IASI-CNR, R. 41, 11/1982
- Blazewicz J., Ecker K.: A linear time algorithm for restricted bin packing and scheduling problems., IASI-CNR, R. 40, 11/1982
- Balsamini A., Rafanelli M., Ricci F.L.: Grass: a logical model for statistical databases., IASI-CNR, R. 39, 10/1982
- Bertolazzi P., Pirozzi M.: Parallel algorithms for different classes of dynamic programming problems., IASI-CNR, R. 38, 10/1982
- Mancinelli R., Marzio L., Pescatori M., Bertuzzi A., Salinari S., Serrao F., Vulpio C., Emanuele T.: Some parameters of descending inhibition during colonic propulsion., IASI-CNR, R. 37, 09/1982
- Campisi D., La Bella A., Rabino G.: Migration and settlement in Italy., IASI-CNR, R. 36, 07/1982
- Piccioni M.: Restricted sequential procedures for certain exponential families., IASI-CNR, R. 35, 06/1982
- Bertuzzi A., Salinari S., Mancinelli R., Pescatori M.: Peristaltic transport of a solid bolus., IASI-CNR, R. 34, 06/1982
- Di Pillo G., Grippo L., Lampariello F.: A Newton type computing technique for optimal control problems., IASI-CNR, R. 33, 05/1982
- Gandolfi A., Germani A., Monaco S.: Output-trajectory controllability for a class of nonlinear distributed systems., IASI-CNR, R. 32, 04/1982
- La Bella A.: Labor market implications of technical change in a multi-regional multi-sectorial system., IASI-CNR, R. 31, 04/1982
- Bertolazzi P., Pirozzi M.: A parallel algorithm for the optimal detection of a noisy curve., IASI-CNR, R. 30, 03/1982
- D'Atri A., Moscarini M.: Acyclic hypergraphs: their recognition and top-down VS bottom-up generation., IASI-CNR, R. 29, 01/1982
1981 [top]
- Bertuzzi A., Gandolfi A., Germani A., Vitelli R.: A general expression for sequential DNA-fluorescence histograms., IASI-CNR, R. 28, 12/1981
- Missikoff M.: A domain based internal schema for relational data base machines., IASI-CNR, R. 27, 12/1981
- Colagrossi A., Miola A.: A generalization of Sturm's method for computing real zeros of polynomials with parametric coefficients., IASI-CNR, R. 26, 12/1981
- Bertolazzi P., Pirozzi M.: Two parallel algorithms for dynamic programming., IASI-CNR, R. 25, 12/1981
- Pettorossi A., Skowron A.: The role of mathematics in the era of electronic computers., IASI-CNR, R. 24, 11/1981
- Pettorossi A.: Communications among processes as join operations in a lattice., IASI-CNR, R. 23, 11/1981
- Cioffi G., Lucertini M.: Optimal design of micro-programmed control units: the minimal size memory problem., IASI-CNR, R. 22, 11/1981
- Ausiello G., Marchetti Spaccamela A., Protasi M.: Probabilistic analysis of the performance of Greedy strategies over some combinatorial problems., IASI-CNR, R. 21, 11/1981
- Germani A., Monaco S.: Input-output trajectory controllability for linear systems on Hilbert spaces., IASI-CNR, R. 20, 10/1981
- Bovet D.P., Gambosi G.: Concurrency control systems on a fully alive transaction model., IASI-CNR, R. 19, 10/1981
- Di Pillo G., Grippo L., Lampariello F.: A class of algorithms for the solution of optimization problems with inequalities., IASI-CNR, R. 18, 09/1981
- Caravani P.: Forecasting sectoral outputs under uncertainty., IASI-CNR, R. 17, 09/1981
- Bruni C., Curzi L., Koch G., Rossi C.: Biological aspects and mathematical analysis of the inverse problem in flow cytometry., IASI-CNR, R. 16, 07/1981
- Grasselli O.M.: On the asymptotic behaviour of bilinear markovian systems., IASI-CNR, R. 15, 07/1981
- Blazewicz J., Bovet D.P.: Detection and avoidance of deadlock in store and forward communication networks., IASI-CNR, R. 14, 06/1981
- Gandolfi A., Strom R.: The use of the sips plot analysis in the evaluation of antibody affinities., IASI-CNR, R. 13, 06/1981
- Bianco L., Ricciardelli S.: Scheduling of a single machine to minimize total weighted completion time subject to release dates., IASI-CNR, R. 12, 06/1981
- Bordoni L., Colagrossi A., Miola A.: Towards a unified method for computing polynomial resultants and polynomial remainder sequences., IASI-CNR, R. 11, 05/1981
- Bordoni L., Colagrossi A., Miola A.: An improved linear algebraic method for computing polynomial resultants., IASI-CNR, R. 10, 05/1981
- Lucertini M.: Bounded rationality in long-term planning: a linear programming approach., IASI-CNR, R. 9, 05/1981
- Bertuzzi A., Gandolfi A.: Recent views on the cell cycle structure., IASI-CNR, R. 8, 04/1981
- Imielinski T., Lipski W.: On representing incomplete information in a relational data base., IASI-CNR, R. 7, 04/1981
- Pettorossi A.: An algorithm for reducing memory requirements in recursive programs using annotations., IASI-CNR, R. 6, 03/1981
- Bertolazzi P., Lucertini M.: Task assignment in a multicomputer system: a mathematical model., IASI-CNR, R. 5, 03/1981
- Ausiello G., Marchetti Spaccamela A., Protasi M.: Full approximability of a class of problems over power sets., IASI-CNR, R. 4, 02/1981
- Caravani P.: Technology and technical change in a dynamic production model., IASI-CNR, R. 3, 02/1981
- Bertolazzi P., Lucertini M., Marchetti Spaccamela A.: Analysis of a class of graph partitioning problems., IASI-CNR, R. 2, 01/1981
- D'Alessandro P., Germani A., Piccioni M.: Relationships between measures induced by Itô and white noise linear equations., IASI-CNR, R. 1, 01/1981
|
