List of technical reports of year 2011

Bigi, Giancarlo; Frangioni, Antonio; Zhang, Qinghua. Beyond canonical DC programs: the single reverse polar problem , December 31, 2011 abstract. TR-11-17 - 363 kb
Romei, Andrea; Ruggieri, Salvatore. A multidisciplinary survey on discrimination analysis , November 07, 2011 abstract. TR-11-16 - 527 kb
Bellia, Marco; Occhiuto, M. Eugenia. Proving Translation and Reduction Semantics Equivalent for Java Simple Closures: Extended Version , October 27, 2011 abstract. TR-11-15 - 317 kb
Vanneschi, Marco; Mencagli, Gabriele. QoS-control of Structured Parallel Computations:\\a Predictive Control Approach , September 13, 2011 abstract. TR-11-14 - 732 kb
Aldinucci, Marco; Anardu, L; Danelutto, Marco; Kilpatrick, Peter; Torquati, Massimo. Targeting multi cores by structured programming and data flow , September 05, 2011 abstract. TR-11-13 - 389 kb
Marco, Bellia; Occhiuto, M. Eugenia. {Java$\Omega$: Higher Order Programming in Java -- The Technical Complements , August 29, 2011 abstract. TR-11-12 - 358 kb
Mencagli, Gabriele; Vanneschi, Marco. Performance Analysis of Computation Graphs of Parallel Modules , August 01, 2011 abstract. TR-11-11 - 762 kb
Romei, Andrea; Turini, Franco. Programming the KDD process using XQuery , July 14, 2011 abstract. TR-11-10 - 286 kb
Degano, Pierpaolo; Mezzetti, Gianluca; Ferrari, Gianluigi. Nominal models and resource usage control , July 11, 2011 abstract. TR-11-09 - 588 kb
Frangioni, Antonio; Gorgone, Enrico. Generalized Bundle Methods for Sum-Functions with ``Easy'' Components: Applications to Multicommodity Network Design , June 03, 2011 abstract. TR-11-08 - 281 kb
Bigi, Giancarlo; Passacantando, Mauro. Gap functions and penalization for solving equilibrium problems with nonlinear constraints , May 11, 2011 abstract. TR-11-07 - 402 kb
Aldinucci, Marco; Ruggieri, Salvatore; Torquati, Massimo. Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow , March 16, 2011 abstract. TR-11-06 - 840 kb
Buscemi, Maria Grazia; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Montanari, Ugo. Constraints for Service Contracts , March 05, 2011 abstract. TR-11-05 - 165 kb
Luong, Binh Thanh; Ruggieri, Salvatore; Turini, Franco. k-NN as an Implementation of Situation Testing for Discrimination Discovery and Prevention , February 20, 2011 abstract. TR-11-04 - 377 kb
Gallicchio, Claudio; Micheli, Alessio; Barsocchi, Paolo; Chessa , Stefano. Reservoir Computing Forecasting of User Movements from RSS Mote-Class Sensors Measurement , February 11, 2011 abstract. TR-11-03 - 229 kb
Dittamo, Cristian; Gervasi, Vincenzo; Boerger, Egon; Cisternino, Antonio. A formal specification of the semantics of ECMAScript , February 07, 2011 abstract. TR-11-02 - 668 kb

Bigi, Giancarlo; Frangioni, Antonio; Zhang, Qinghua. Beyond canonical DC programs: the single reverse polar problem , December 31, 2011 abstract.
TR-11-17 - 363 kb

Romei, Andrea; Ruggieri, Salvatore. A multidisciplinary survey on discrimination analysis , November 07, 2011 abstract.
TR-11-16 - 527 kb

Bellia, Marco; Occhiuto, M. Eugenia. Proving Translation and Reduction Semantics Equivalent for Java Simple Closures: Extended Version , October 27, 2011 abstract.
TR-11-15 - 317 kb

Vanneschi, Marco; Mencagli, Gabriele. QoS-control of Structured Parallel Computations:\\a Predictive Control Approach , September 13, 2011 abstract.
TR-11-14 - 732 kb

Aldinucci, Marco; Anardu, L; Danelutto, Marco; Kilpatrick, Peter; Torquati, Massimo. Targeting multi cores by structured programming and data flow , September 05, 2011 abstract.
TR-11-13 - 389 kb

Marco, Bellia; Occhiuto, M. Eugenia. {Java$\Omega$: Higher Order Programming in Java -- The Technical Complements , August 29, 2011 abstract.
TR-11-12 - 358 kb

Mencagli, Gabriele; Vanneschi, Marco. Performance Analysis of Computation Graphs of Parallel Modules , August 01, 2011 abstract.
TR-11-11 - 762 kb

Romei, Andrea; Turini, Franco. Programming the KDD process using XQuery , July 14, 2011 abstract.
TR-11-10 - 286 kb

Degano, Pierpaolo; Mezzetti, Gianluca; Ferrari, Gianluigi. Nominal models and resource usage control , July 11, 2011 abstract.
TR-11-09 - 588 kb

Frangioni, Antonio; Gorgone, Enrico. Generalized Bundle Methods for Sum-Functions with ``Easy'' Components: Applications to Multicommodity Network Design , June 03, 2011 abstract.
TR-11-08 - 281 kb

Bigi, Giancarlo; Passacantando, Mauro. Gap functions and penalization for solving equilibrium problems with nonlinear constraints , May 11, 2011 abstract.
TR-11-07 - 402 kb

Aldinucci, Marco; Ruggieri, Salvatore; Torquati, Massimo. Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow , March 16, 2011 abstract.
TR-11-06 - 840 kb

Buscemi, Maria Grazia; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Montanari, Ugo. Constraints for Service Contracts , March 05, 2011 abstract.
TR-11-05 - 165 kb

Luong, Binh Thanh; Ruggieri, Salvatore; Turini, Franco. k-NN as an Implementation of Situation Testing for Discrimination Discovery and Prevention , February 20, 2011 abstract.
TR-11-04 - 377 kb

Gallicchio, Claudio; Micheli, Alessio; Barsocchi, Paolo; Chessa , Stefano. Reservoir Computing Forecasting of User Movements from RSS Mote-Class Sensors Measurement , February 11, 2011 abstract.
TR-11-03 - 229 kb

Dittamo, Cristian; Gervasi, Vincenzo; Boerger, Egon; Cisternino, Antonio. A formal specification of the semantics of ECMAScript , February 07, 2011 abstract.
TR-11-02 - 668 kb