This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
ALL, with author ALL, in the category IASI Research Reports
(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., Alberto Pettorossi, 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
- Vincenzo Bonifaci: 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., Vincenzo Bonifaci, 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., Giovanni Rinaldi, 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., Alberto Pettorossi, 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
- Vincenzo Bonifaci, 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, Pasquale Palumbo, Manes C., De Gaetano A.: Preliminary results on glucose control with sampled information, IASI-CNR, R. 16-02, 4/2016
- Alessandro Borri, Simona Panunzi, Pasquale Palumbo, Manes C., De Gaetano A.: Preliminary results on glucose control with sampled information, IASI-CNR, R. 16-02, 2016
- Alessandro Borri, Francesco Carravetta, Pasquale Palumbo: 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, Pasquale Palumbo: 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]
- Giampaolo Liuzzi, 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., Alberto Pettorossi, Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, 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., Vincenzo Bonifaci, 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
- Vincenzo Bonifaci, 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., Giulia Fiscon, Fustaino V, Giovanni Felici, Paola Bertolazzi: Analysis of microarray and RNA-sequencing gene expression profiles through clustering and classification techniques, IASI-CNR, R. 14-11, 12/2014
- Giulia Fiscon, Weitschek E., Paola Bertolazzi, 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., Alberto Pettorossi, 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., Giampaolo Liuzzi, Lucidi S., Rinaldi F.: A nonmonotone GRASP, IASI-CNR, R. 14-02, 2/2014
- Giampaolo Liuzzi, 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]
- Giulia Fiscon, Paola Paci, Colombo T, Iannello G: Structural Analysis of Long Non-coding RNAs, IASI-CNR, R. 13-21, 12/2013
- Weitschek E., Arisi I., Giovanni Felici, Paola Bertolazzi: 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, Paola Bertolazzi: 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., Giulia Fiscon, 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., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, 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
- Paola Bertolazzi, Bock M.E., Guerra C., Paola Paci, 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
- Paola Bertolazzi, Guerra C., Giampaolo Liuzzi: Predicting protein-ligand and protein-peptide interfaces, IASI-CNR, R. 13-02, 3/2013
- Fasano G., Giampaolo Liuzzi, 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., Giampaolo Liuzzi: 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., Alberto Pettorossi, 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, Alberto Pettorossi, Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
- Paola Bertolazzi, 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
- Giampaolo Liuzzi, Rinaldi F.: A first-order method for $ell_0$-penalized problems with simple constraints, IASI-CNR, R. 12-16, 2012
- Lampariello F., Giampaolo Liuzzi: A filling function method for unconstrained global optimization, IASI-CNR, R. 12-15, 10/2012
- Cacace F., Germani A., Pasquale Palumbo: 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., Pasquale Palumbo, Simona Panunzi: SOME RESULTS ON THE GLOBAL STABILITY OF THE EQUILIBRIUM FOR AN IVGTT MODEL, IASI-CNR, R. 12-12, 2012
- Pasquale Palumbo, 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, Pasquale Palumbo: 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., Pasquale Palumbo: 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
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, IASI-CNR, R. 11-24, 2011
- Fioravanti F., Maurizio Proietti, Alberto Pettorossi, 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, Michele Missikoff, 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., Giovanni Rinaldi: 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., Giovanni Rinaldi: SpeeDP: An algorithm to compute SDP bounds for very large Max-Cut instances, IASI-CNR, R. 11-12, 2011
- Giampaolo Liuzzi, Lucidi S., Rinaldi F.: Derivative-free methods for constrained mixed-integer optimization, IASI-CNR, R. 11-11, 10/2011
- Muzi F, De Sanctis A, Pasquale Palumbo: A study on smart grid protection based on synchronized sampling, IASI-CNR, R. 11-10, 2011
- Pasquale Palumbo, 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., Giampaolo Liuzzi, 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., Giovanni Rinaldi, 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
- Paola Bertolazzi, 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
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying semantically annotated business processes, IASI-CNR, R. 10-22, 2010
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, IASI-CNR, R. 10-21, 2010
- Michele Missikoff, 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
- Giampaolo Liuzzi, 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., Pasquale Palumbo, Ria F., Sabina Magalini: Modeling rejection immunity, IASI-CNR, R. 10-10, 2010
- Francesco Carravetta, Pasquale Palumbo, 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
- Pasquale Palumbo, Gabriella Mavelli, Farina L., Alberghina L.: Networks and Circuits in Cell Regulation, IASI-CNR, R. 10-05, 5/2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformations of logic programs on infinite lists, IASI-CNR, R. 10-04, 2010
- Di Pillo G., Giampaolo Liuzzi, 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., Paola Bertolazzi, 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., Giampaolo Liuzzi, Rinaldi F., Schoen F., Marco Sciandrone: 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
- Giampaolo Liuzzi, 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
- Paola Bertolazzi, 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
- Paola Bertolazzi, 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., Pasquale Palumbo: State estimation of stochastic systems with switching measurements: a polynomial approach, IASI-CNR, R. 09-13, 2009
- Francesco Carravetta, Giovanni Felici, Pasquale Palumbo: Frequency-based model validation and parameter identification of a sea-surface vehicle, IASI-CNR, R. 09-12, 2009
- Francesco Carravetta, Giovanni Felici, Pasquale Palumbo: 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., Michele Missikoff, 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., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-07, 2009
- Alberto Pettorossi, 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
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, IASI-CNR, R. 09-04, 2009
- Alberto Pettorossi, 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., Giovanni Rinaldi, Wiegele A.: Solving Max-Cut to optimality by intersecting semidefinite and polyhedral relaxations, IASI-CNR, R. 08-11, 2008
- Anna Formica, Michele Missikoff, 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, Pasquale Palumbo: Identification of regulatory network motifs from gene expression data, IASI-CNR, R. 08-07, 2008
- Paola Bertolazzi, 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., Paola Bertolazzi, Godi A., Lancia G.: Collhaps 2.0: a heuristic approach to haplotype inference by parsimony, IASI-CNR, R. 08-05, 2008
- Paola Bertolazzi, Guerra C., Giampaolo Liuzzi: A global optimization algorithm for protein structure alignment, IASI-CNR, R. 08-04, 2008
- Senni V., Alberto Pettorossi, Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, IASI-CNR, R. 08-03, 2008
- Paola Bertolazzi, 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., Giovanni Rinaldi: 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
- Giampaolo Liuzzi, 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
- Paola Bertolazzi, 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
- Paola Bertolazzi, 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
- Giampaolo Liuzzi, Lucidi S.: A derivative-free algorithm for inequality constrained nonlinear programming, IASI-CNR, R. 659, 4/2007
- Claudio Gentile, Neto J., Giovanni Rinaldi, Paolo Ventura: On a graph transformation for the stable set problem, IASI-CNR, R. 658, 3/2007
- Fioravanti F., Alberto Pettorossi, 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., Pasquale Palumbo: 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
- Pasquale Palumbo, 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., Pasquale Palumbo: 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
- Pasquale Palumbo, 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, Pasquale Palumbo: 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
- Alberto Pettorossi, Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, IASI-CNR, R. 639, 2/2006
- Paola Bertolazzi, 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
- Paola Bertolazzi, 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., Pasquale Palumbo: 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, Pasquale Palumbo, 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
- Pasquale Palumbo, 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., Pasquale Palumbo: 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., Paola Bertolazzi, 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., Paola Bertolazzi, 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., Pasquale Palumbo: A Family of polynomial filters for discrete-time nonlinear stochastic systems, IASI-CNR, R. 610, 5/2004
- Naddef D., Giovanni Rinaldi: 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
- Giampaolo Liuzzi, Lucidi S., Marco Sciandrone: A derivative-free algorithm for linearly constrained finite minimax problems, IASI-CNR, R. 607, 1/2004
- Lucidi S., Palagi L., Risi A., Marco Sciandrone: 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., Pasquale Palumbo: 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., Pasquale Palumbo: A Polynomial approach for simultaneous channel estimation and data detection, IASI-CNR, R. 599, 10/2003
- Avenali A., Batini C., Paola Bertolazzi, 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., Pasquale Palumbo: 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., Alberto Pettorossi, 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., Marco Sciandrone, 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., Pasquale Palumbo: Quadratic filtering for simultaneous state and parameter estimation of uncertain systems, IASI-CNR, R. 589, 06/2003
- De Gaetano A., Giorgi A., Risi A., Marco Sciandrone: 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, Guido Proietti, Tan R.: Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs, IASI-CNR, R. 586, 02/2003
- Germani A., Manes C., Pasquale Palumbo, Marco Sciandrone: 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, Guido Proietti: 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, Giovanni Rinaldi, Sforza A., Truemper K.: A methodology for traffic signal control based on logic programming, IASI-CNR, R. 581, 12/2002
- Fioravanti F., Alberto Pettorossi, 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., Pasquale Palumbo: 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., Pasquale Palumbo: Polynomial extended Kalman filtering for discrete-time nonlinear stochastic systems, IASI-CNR, R. 572, 7/2002
- Alberto Pettorossi, Maurizio Proietti: Transformations of logic programs with goals as arguments, IASI-CNR, R. 571, 07/2002
- Germani A., Manes C., Pasquale Palumbo: 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., Marco Sciandrone: 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, Giovanni Rinaldi, Haus U.-U., Koppe M., Weismantel R.: On the way to perfection: primal operations for stable sets in graphs, IASI-CNR, R. 563, 1/2002
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., Alberto Pettorossi, Maurizio Proietti: Verification of sets of infinite state processes using program transformation, IASI-CNR, R. 557, 11/2001
- Anna Galluccio, Guido Proietti: Polynomial time algorithms for 2-edge-connectivity augmentation problems, IASI-CNR, R. 556, 10/2001
- Lampariello F., Marco Sciandrone: Use of the ``minimum norm'' search direction in a nonmonotone version of the Gauss-Newton method, IASI-CNR, R. 555, 00/2001
- Anna Formica, Michele Missikoff: Concept similarity in Symontos: an enterprise ontology management tool, IASI-CNR, R. 554, 09/2001
- Giovanni Rinaldi, 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., Pasquale Palumbo: Filtering of switching systems via a singular minimax approach, IASI-CNR, R. 552, 07/2001
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of efficient logic programs by specialization and reduction of nondeterminism, IASI-CNR, R. 551, 07/2001
- Grippo L., Marco Sciandrone: 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., Pasquale Palumbo: State estimation of a class of stochastic variable structure systems, IASI-CNR, R. 548, 05/2001
- Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies, IASI-CNR, R. 547, 04/2001
- Eisenbrand F., Giovanni Rinaldi, Paolo Ventura: Primal separation for 0/1 polytopes, IASI-CNR, R. 546, 03/2001
- Germani A., Manes C., Pasquale Palumbo: Kalman-Bucy filtering for singular stochastic differential systems, IASI-CNR, R. 545, 02/2001
- Fioravanti F., Alberto Pettorossi, 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., Pasquale Palumbo: 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, Guido Proietti: 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, Michele Missikoff: 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., Pasquale Palumbo: Polynomial filtering for stochastic non-Gaussian descriptor systems, IASI-CNR, R. 526, 05/2000
- Alberto Pettorossi, Maurizio Proietti: Transformations rules for a higher order logic programming language, IASI-CNR, R. 525, 05/2000
- McCormick S.T., Rao M.R., Giovanni Rinaldi: 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, Giovanni Rinaldi: 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., Giovanni Rinaldi: 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
- Alberto Pettorossi, 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, Guido Proietti: Towards a 4/3-approximation algorithm for biconnectivity, IASI-CNR, R. 506, 06/1999
- Lampariello F., Marco Sciandrone: A global convergence technique for Newton's method with periodic Hessian evaluation, IASI-CNR, R. 505, 06/1999
- Buzzi C., Grippo L., Marco Sciandrone: 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., Marco Sciandrone, 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., Giovanni Rinaldi, Wolsey L.A.: On the cut polyhedron, IASI-CNR, R. 500, 4/1999
- Paola Bertolazzi, Di Battista G., Didimo W.: Quasi-upward planarity, IASI-CNR, R. 499, 03/1999
- Lucidi S., Marco Sciandrone: 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., Giovanni Rinaldi: Computational results with a branch and cut code for the capacitated vehicle routing problem, IASI-CNR, R. 495, 1998
- Marco Sciandrone, 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., Marco Sciandrone: Efficient training of RBF neural networks for pattern recognition, IASI-CNR, R. 492, 12/1998
- Renault S., Alberto Pettorossi, 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
- Paola Bertolazzi, 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., Giovanni Rinaldi, 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
- Alberto Pettorossi, 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, Michele Missikoff: Inheritance hierarchy design in object-oriented databases, IASI-CNR, R. 468, 09/1998
- Grippo L., Marco Sciandrone: 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
- Paola Bertolazzi, 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
- Alberto Pettorossi, Maurizio Proietti: Synthesis and transformation of logic programs using unfold/fold proofs, IASI-CNR, R. 457, 06/1997
- Carlo Gaibisso, Guido Proietti: 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, Michele Missikoff: 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., Michele Missikoff: 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
- Alberto Pettorossi, 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., Guido Proietti, 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., Guido Proietti: 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, Guido Proietti, 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
- Paola Bertolazzi, 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., Giovanni Rinaldi: 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, Michele Missikoff: 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., Giovanni Rinaldi: 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., Guido Proietti: A time and space competitive pointerless representation of quadtrees, IASI-CNR, R. 373, 12/1993
- Nardelli E., Guido Proietti: 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
- Alberto Pettorossi, Maurizio Proietti: Transformation of logic programs: foundations and techiques, IASI-CNR, R. 369, 11/1993
- Nardelli E., Guido Proietti: 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., Guido Proietti: An algorithmic approach to the interpretation of floorplan maps, IASI-CNR, R. 365, 09/1993
- Nardelli E., Guido Proietti: 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., Guido Proietti: Efficient secondary memory processing of window queries on spatial data, IASI-CNR, R. 362, 07/1993
- Brunetta L., Conforti M., Giovanni Rinaldi: 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
- Paola Bertolazzi, 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., Giovanni Rinaldi: A cutting plane algorithm for the max-cut problem., IASI-CNR, R. 346, 11/1992
- Maurizio Proietti, Alberto Pettorossi: 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, Michele Missikoff: A tightly typed data model for object-oriented databases., IASI-CNR, R. 332, 12/1991
- Michele Missikoff, 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
- Paola Bertolazzi, 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., Giovanni Rinaldi: 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, Alberto Pettorossi: 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
- Alberto Pettorossi, 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
- Michele Missikoff, 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
- Michele Missikoff, 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, Alberto Pettorossi: 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., Giovanni Rinaldi: The crown inequalities for the symmetric traveling Salesman polytope., IASI-CNR, R. 249, 12/1988
- Naddef D., Giovanni Rinaldi: The symmetric traveling salesman polytope: New facets from the graphical relaxation., IASI-CNR, R. 248, 12/1988
- Padberg M., Giovanni Rinaldi: 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., Giovanni Rinaldi: 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
- Paola Bertolazzi: 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, Alberto Pettorossi: Techniques for the automatic improvement of logic programs., IASI-CNR, R. 231, 09/1988
- Michele Missikoff: 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., Giovanni Rinaldi: 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
- Paola Bertolazzi, 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
- Paola Bertolazzi, Sassano A.: A decomposition strategy for the vertex cover problem., IASI-CNR, R. 209, 02/1988
- Paola Bertolazzi, 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., Giovanni Rinaldi: Facet identification for the symmetric traveling salesman polytope., IASI-CNR, R. 204, 12/1987
- Padberg M., Giovanni Rinaldi: 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
- Michele Missikoff: 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., Giovanni Rinaldi, 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., Alberto Pettorossi: 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
- Paola Bertolazzi, 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
- Paola Bertolazzi, Sassano A.: A class of polynomially solvable set-covering problems., IASI-CNR, R. 167, 10/1986
- Giovanni Rinaldi, 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., Giovanni Rinaldi: 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., Alberto Pettorossi: 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
- Alberto Pettorossi: 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
- Michele Missikoff, 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
- Michele Missikoff, 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
- Alberto Pettorossi, 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
- Giovanni Rinaldi, 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., Giovanni Rinaldi, Sassano A.: Scheduling tasks with sequence dependent processing times., IASI-CNR, R. 120, 05/1985
- Giovanni Rinaldi: 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
- Michele Missikoff, 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
- Alberto Pettorossi, Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
- Alberto Pettorossi: 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., Alberto Pettorossi: 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
- Alberto Pettorossi: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
- Alberto Pettorossi: 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
- Paola Bertolazzi, 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
- Paola Bertolazzi, Michele Missikoff, 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
- Paola Bertolazzi, De Stefanis D., Terranova M.: On optimal file allocation in database machines., IASI-CNR, R. 70, 10/1983
- Paola Bertolazzi, 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., Alberto Pettorossi: 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., Alberto Pettorossi: 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
- Paola Bertolazzi, 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
- Paola Bertolazzi, 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
- Michele Missikoff: 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
- Paola Bertolazzi, Pirozzi M.: Two parallel algorithms for dynamic programming., IASI-CNR, R. 25, 12/1981
- Alberto Pettorossi, Skowron A.: The role of mathematics in the era of electronic computers., IASI-CNR, R. 24, 11/1981
- Alberto Pettorossi: 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
- Alberto Pettorossi: An algorithm for reducing memory requirements in recursive programs using annotations., IASI-CNR, R. 6, 03/1981
- Paola Bertolazzi, 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
- Paola Bertolazzi, 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
|
