Items where Research Area is "Computer Science and Applications" and Year is 2012

Abbate, Stefano and Avvenuti, Marco and Corsini, Paolo and Panicucci, Barbara and Passacantando, Mauro and Vecchio, Alessio An integer linear programming approach for radio-based localization of shipping containers in the presence of incomplete proximity information. IEEE Transactions on Intelligent Transportation Systems (99). 1 -16. ISSN 1524-9050 (2012)

Abbate, Stefano and Avvenuti, Marco and Light, Janet MIMS: A Minimally Invasive Monitoring Sensor Platform. IEEE Sensors Journal, 12 (3). 677 -684. ISSN 1530-437X (2012)

Bacigalupo, Andrea and Gambarotta, Luigi Computational two-scale homogenization of periodic masonry: Characteristic lengths and dispersive waves. Computer Methods in Applied Mechanics and Engineering, 213–16. 16 - 28. ISSN 0045-7825 (2012)

Bacigalupo, Andrea and Gambarotta, Luigi Effects of layered accretion on the mechanics of masonry structures. Mechanics Based Design of Structures and Machines, 40 (2). pp. 163-184. ISSN 1539-7734 (2012)

Bacigalupo, Andrea and Gambarotta, Luigi High-continuity multi-scale static and dynamic modelling of periodic materials. In: European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2012). Vienna University of Technology, pp. 1719-1731. ISBN 978-3-9503537-0-9 (2012)

Bacigalupo, Andrea and Gambarotta, Luigi Second grade modeling for the strain localization analysis of layered materials with damaging interfaces. In: Proceedings of ECCM15, 15th European Conference on Composite Materials. University of Padova, pp. 1-8. ISBN 978-88-88785-33-2 (2012)

Bacigalupo, Andrea and Gambarotta, Luigi Second-gradient computational homogenization of periodic materials. In: Workshop 2012 Turin - Virtual testing of materials and structures, 8 October 2012, Turin (Italy) (Unpublished) (2012)

Bacigalupo, Andrea and Gambarotta, Luigi Strain localization analysis of layered materials with debonding interfaces by a second-order homogenization approach. In: European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2012). Vienna University of Technology, pp. 1136-1155. ISBN 978-3-9503537-0-9 (2012)

Bacigalupo, Andrea and Gambarotta, Luigi Strain localization analysis of layered materials with soft interfaces based on a second-order homogenization approach. In: 10th World Congress on Computational Mechanics, 8-13 July 2012, Sao Paulo (Brazil) (Unpublished) (2012)

Bacigalupo, Andrea and Gambarotta, Luigi A computational high-continuity approach to the multi-scale static and dynamic modeling of materials with periodic microsrtucture. In: EUROMECH 537, European Mechanics Society - Multiscale computational homogenization of heterogeneous structures and materials, 26-28 March 2012, Marne-la-Vallée (France) (Unpublished) (2012)

Basso, Demis and Pavan, Andrea and Ricciardi, Emiliano and Fagioli, Sabrina and Vecchi, Tomaso and Miniussi, Carlo and Pietrini, Pietro Touching Motion: rTMS on the Human Middle Temporal Complex Interferes with Tactile Speed Perception. Brain Topography, 25 (4). pp. 389-398. ISSN 0896-0267 (2012)

Bemporad, Alberto and Patrinos, Panagiotis Simple and Certifiable Quadratic Programming Algorithms for Embedded Linear Model Predictive Control. In: 4th IFAC Nonlinear Model Predictive Control Conference. IFAC, pp. 14-20. ISBN 978-3-902823-07-6 (2012)

Bernardi, Giulio and Ricciardi, Emiliano and Handjaras, Giacomo and Franzoni, Ferdinando and Galetta, Fabio and Santoro, Gino and Pietrini, Pietro Expertise modulates brain activity during passive driving: a study in professional and naïve drivers. In: 18th Annual Meeting of the Organization for the Human Brain Mapping, June 10-14, 2012, Beijing, China (2012)

Bernardini, Daniele and Bemporad, Alberto Energy-aware robust model predictive control based on noisy wireless sensors. Automatica, 48 (1). pp. 36-44. ISSN 0005-1098 (2012)

Bernardini, Daniele and Bemporad, Alberto Stabilizing model predictive control of stochastic constrained linear systems. IEEE Transactions on Automatic Control , 57 (6). 1468 -1480 . ISSN 0018-9286 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

Betta, Monica and Menicucci, Danilo and Laurino, Marco and Piarulli, A. and Landi, Alberto and Gemignani, Angelo Algoritmo per il riconoscimento, classificazione e rimozione degli artefatti da movimenti oculari dal segnale EEG durante il sonno REM. In: XXIX Congresso Nazionale AIMS, November 5-7, 2012, Pisa, Italy (Unpublished) (2012)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Low-complexity single-image super-resolution based on nonnegative neighbor embedding. In: Proceedings of the 23rd British Machine Vision Conference (BMVC). BMVA Press, 135.1-135.10. ISBN 1-901725-46-4 (2012)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Neighbor embedding based single-image super-resolution using Semi-Nonnegative Matrix Factorization. In: Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, pp. 1289-1292. ISBN 978-1-4673-0044-5 (2012)

Binet, Giovanni and Krenn, Rainer and Bemporad, Alberto Model predictive control applications for planetary rovers. In: i‐SAIRAS International Symposium on Artificial Intelligence, Robotics and Automation in Space, 4-6 September 2012, Turin, Italy pp. 1-8. (Submitted) (2012)

Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Presheaf Environment for the Explicit Fusion Calculus. Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming, 49 (2). pp. 161-183. ISSN 0168-7433 (2012)

Boreale, Michele and Pampaloni, Francesca Quantitative Multirun Security under Active Adversaries. In: Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems (QEST), 2012. IEEE, pp. 158-167. ISBN 978-0-7695-4781-7 (2012)

Borri, Claudia and Fossati, Alessio and Lavacchi, Alessandro and Bacci, Tiberio and Bardi, Ugo Simulazione numerica e confronto con misure sperimentali del processo di raffreddamento di barriere termiche. In: XI CONVEGNO NAZIONALE AIMAT, September 16-19, 2012, Gaeta, Italy pp. 61-64. ISBN 9788897930037. (2012)

Bortolussi, Luca and Tribastone, Mirco Fluid limits of queueing networks with batches. In: Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering - ICPE '12. ACM, pp. 45-56. ISBN 978-1-4503-1202-8 (2012)

Brunetti, Sara and Cordasco, Gennaro and Gargano, Luisa and Lodi, Elena and Quattrociocchi, Walter Minimum weight dynamo and fast opinion spreading. In: Graph-Theoretic concepts in computer science. Lecture Notes in Computer Science (7551). Springer , pp. 249-261. ISBN 978-3-642-34611-8 (2012)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 118-138. ISBN 978-3-642-34004-8 (2012)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (7212). Springer, pp. 240-254. ISBN 978-3-642-28872-2 (2012)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer, pp. 118-138. ISBN 978-3-642-34004-8 (2012)

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia A Game-Theoretic Analysis of Grid Job Scheduling. Journal of Grid Computing, 10 (3). pp. 501-519. ISSN 1570-7873 (2012)

Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012)

Caires, Luis and Torres Vieira, Hugo Analysis of service oriented software systems with the conversation calculus. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (6921). Springer, pp. 6-33. ISBN 978-3-642-27269-1 (2012)

Caires, Luis and Torres Vieira, Hugo SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science (7214). Springer, pp. 485-491. ISBN 978-3-642-28756-5 (2012)

Campinas, Stephane and Perry, Thomas E. and Ceccarelli, Diego and Delbru, Renaud and Tummarello, Giovanni Introducing RDF Graph Summary with Application to Assisted SPARQL Formulation. In: Proceeding of the 23rd International Workshop on Database and Expert Systems Applications (DEXA). IEEE, 261 -266. ISBN 978-1-4673-2621-6 (2012)

Carpinteri, Alberto and Corrado, Mauro and Goso, Giusemaria and Paggi, Marco Size-scale effects on interaction diagrams for reinforced concrete columns. Construction and Building Materials, 27 (1). 271 - 279. ISSN 0950-0618 (2012)

Carpinteri, Alberto and Paggi, Marco Modelling strain localization by cohesive/overlapping zones in tension/compression: Brittleness size effects and scaling in material properties. ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 92 (10). pp. 829-840. ISSN 0044-2267 (2012)

Casalino, Gabriella and Del Buono, Nicoletta and Minervini, Massimo Nonnegative Matrix Factorizations Performing Object Detection and Localization. Applied Computational Intelligence and Soft Computing, 2012. pp. 1-19. ISSN 1687-9724 (2012)

Casarotto, Silvia and Ricciardi, Emiliano and Romani, S. and Dalli, Daniele and Pietrini, Pietro Covert brand recognition engages emotion-specific brain networks. Archives Italiennes de Biologie. A journal of Neuroscience, 150 (4). pp. 259-273. ISSN 0003-9829 (2012)

Casteigts, Arnaud and Flocchini, Paola and Quattrociocchi, Walter and Santoro, Nicola Time-varying graphs and dynamic networks. International Journal of Parallel, Emergent and Distributed Systems, 27 (5). pp. 387-408. ISSN 1744-5760 (2012)

Cecchetti, Luca and Handjaras, Giacomo and Bernardi, Giulio and Bonino, Daniela and Ricciardi, Emiliano and Pietrini, Pietro Spatial processing in the human dorsal pathway relies on supramodal functional connectivity maps. In: 18th Annual Meeting of the Organization for the Human Brain Mapping, June 10-14, 2012, Beijing, China (2012)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello An Application to Two-Hop Forwarding of a Model of Buffer Occupancy in ICNs. In: Proceedings of the 7th International Conference on System of Systems Engineering (SoSE), 2012. IEEE, pp. 491-496. ISBN 978-1-4673-2974-3 (2012)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello A Model of Buffer Occupancy for ICNs. IEEE Communications Letters, 16 (6). pp. 862-865. ISSN 1089-7798 (2012)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Optimality Conditions For A Nonlinear Stochastic Knapsack Problem. In: AIRO 2012, September 4th-7th, 2012, Vietri sul Mare, Italy p. 16. (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounded error identification of Hammerstein systems through sparse polynomial optimization. Automatica, 48 (10). 2693 - 2698. ISSN 0005-1098 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounded-error identification of linear systems with input and output backlash. In: 16th IFAC Symposium on System Identification. IFAC, pp. 256-261. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego FIR approximation of linear systems from quantized records. In: 16th IFAC Symposium on System Identification. IFAC, pp. 1179-1184. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Polytopic outer approximations of semialgebraic sets. In: Proceedings of the 51st Annual Conference on Decision and Control (CDC). IEEE, pp. 7793-7798. ISBN 978-1-4673-2064-1 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Robust pole placement for plants with semialgebraic parametric uncertainty. In: Proceedings of American Control Conference (ACC), 2012. IEEE, pp. 5240-5245. ISBN 978-1-4577-1095-7 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego SM identification of input-output LPV models with uncertain time-varying parameters. In: Linear parameter-varying system identification: new developments and trends. Advanced Series in Electrical and Computer Engineering (14). World Scientific, pp. 41-64. ISBN 978-981-4355-44-5 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-Membership Error-in-variables identification through convex relaxation techniques. IEEE Transactions on Automatic Control , 57 (2). pp. 517-522. ISSN 0018-9286 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Berehanu, Sintayehu LPV identification of the glucose-insulin dynamics in Type I Diabetes. In: 16th IFAC Symposium on System Identification. IFAC, pp. 559-564. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Tóth, Roland Fixed order LPV controller design for LPV models in input-output form. In: Proceedings of the 51st Annual Conference on Decision and Control (CDC). IEEE, pp. 6297-6302. ISBN 978-1-4673-2064-1 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Tóth, Roland Input-Output LPV Model identification with guaranteed quadratic stability. In: 16th IFAC Symposium on System Identification. IFAC, pp. 1767-1772. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Tóth, Roland Minimal LPV state-space realization driven set-membership identification. In: Proceedings of American Control Conference (ACC), 2012. IEEE, pp. 3421-3426. ISBN 978-1-4577-1095-7 (2012)

Chen, Zhaofu and Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Tracking-optimal error control schemes for H.264 compressed video for vehicle surveillance. In: Proceedings of the 20th European Signal Processing Conference (EUSIPCO), 2012. IEEE, pp. 1900-1904. ISBN 978-1-4673-1068-0 (2012)

Cicchini, G. M. and Arrighi, R. and Cecchetti, Luca and Giusti, M. and Burr, D. C. Optimal Encoding of Interval Timing in Expert Percussionists. Journal of Neuroscience, 32 (3). pp. 1056-1060. ISSN 0270-6474 (2012)

Cristallini, Caterina and Barbani, Niccoletta and Bellotti, E. and Manetti, F. and Rosellini, Elisabetta and Gagliardi, Mariacristina and Del Gaudio, E. and Tricoli, F. and Mantero, S. Modulation of MMP-9/TIMP activity in preventing cardiac disfunction through a combination of molecularly imprinting technology and biodegradable microfabricated systems. In: Congresso nazionale Biomateriali, June 18-20, 2012, Lecce, Italy (Unpublished) (2012)

Cristelli, Matthieu and Tacchella, Andrea and Gabrielli, Andrea and Pietronero, Luciano and Scala, Antonio and Caldarelli, Guido Competitors' communities and taxonomy of products according to export fluxes. The European Physical Journal - Special Topics, 212 (1). pp. 115-120. ISSN 1951-6355 (2012)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Classifiers for the Detection of Flood Prone Areas from Remote Sensed Elevation Data. In: 5th CNR-Princeton workshop (New Frontiers in Hydrology), January 9th-11th, 2012, Miami, USA p. 1. (2012)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Classifiers for the Detection of Flood-Prone Areas Using Remote Sensed Elevation Data. Journal of Hydrology, 470-1. pp. 302-315. ISSN 0022-1694 (2012)

Dharmakumar, Rohan and Tsaftaris, Sotirios A. and Li, Debiao Myocardial Blood-Oxygen-Level-Dependent Magnetic Resonance Imaging with Balanced Steady-State Free Precession Imaging Approaches. The Open Medical Imaging Journal , 6 (Suppl). pp. 31-38. ISSN 1874-3471 (2012)

Di Cairano, Stefano and Pascucci, Carlo A. and Bemporad, Alberto The rendezvous dynamics under linear quadratic optimal control. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 6554 -6559. ISBN 978-1-4673-2064-1 (2012)

Di Cairano, Stefano and Yanakiev, Diana and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Model predictive idle speed control: design, analysis, and experimental evaluation. IEEE Transactions on Control Systems Technology , 20 (1). 84 -97. ISSN 1063-6536 (2012)

Donkers, M.C.F. and Heemels, W.P.M.H. and Bernardini, Daniele and Bemporad, Alberto and Shneer, Vsevolod Stability analysis of stochastic networked control systems. Automatica, 48 (5). pp. 917-925. ISSN 0005-1098 (2012)

Fagiano, Lorenzo and Milanese, Mario and Piga, Dario Optimization of airborne wind energy generators. International Journal of Robust and Nonlinear Control , 22 (18). pp. 2055-2083. ISSN 1049-8923 (2012)

Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012)

Ferrari, Raffaele and Mok, Kin and Moreno, Jorge H. and Cosentino, Stephanie and Goldman, Jill and Pietrini, Pietro and Mayeux, Richard and Tierney, Michael C. and Kapogiannis, Dimitrios and Jicha, Gregory A. and Murrell, Jill R. and Ghetti, Bernardino and Wassermann, Eric M. and Grafman, Jordan and Hardy, John and Huey, Edward D. and Momeni, Parastoo Screening for C9ORF72 repeat expansion in FTLD. Neurobiology of Aging, 33 (8). 1850.e1 - 1850.e11. ISSN 0197-4580 (2012)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. Fundamenta Informaticae, 119 (3-4). pp. 281-300. ISSN 1875-8681 (2012)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Using Real Relaxations during Program Specialization. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (7225). Springer-Verlag, pp. 106-122. ISBN 978-3-642-32210-5 (2012)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart Semantics for a Second-Order mu-Calculus. Fundamenta Informaticae, 118 (1-2). pp. 177-205. ISSN 1875-8681 (2012)

Gaggero, Mauro and Gnecco, Giorgio and Parisini, Thomas and Sanguineti, Marcello and Zoppoli, Riccardo Approximation Structures with Moderate Complexity in Functional Optimization and Dynamic Programming. In: Proceedings of the 51st IEEE International Conference on Decision and Control (IEEE CDC 2012). IEEE, pp. 1902-1908. ISBN 978-1-4673-2065-8 (2012)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Dynamic Programming And Value-Function Approximation With Application To Optimal Consumption. In: AIRO 2012, September 4th-7th, 2012, Vietri sul Mare, Italy p. 159. (2012)

Gaglianese, Anna and Costagli, Mauro and Bernardi, Giulio and Ricciardi, Emiliano and Pietrini, Pietro Evidence of a direct influence between the thalamus and hMT + independent of V1 in the human brain as measured by fMRI. NeuroImage, 60 (2). 1440 - 1447. ISSN 1053-8119 (2012)

Gagliardi, Mariacristina In vitro haematic proteins adsorption and cytocompatibility study on acrylic copolymer to realise coatings for drug-eluting stents. Materials Science and Engineering: C, 32 (8). 2445 - 2451. ISSN 0928-4931 (2012)

Gagliardi, Mariacristina and Bardi, Giuseppe and Bifone, Angelo Polymeric nanocarriers for controlled and enhanced delivery of therapeutic agents to the CNS. Therapeutic Delivery, 3 (7). pp. 875-887. ISSN 2041-5990 (2012)

Gentili, Claudio and Vanello, Nicola and Cristea, Ioana and Ricciardi, Emiliano and David, Daniel and Pietrini, Pietro and Guazzelli, Mario Emotional dysregulation in social anxiety insights from an fMRI resting-state study. International Journal of Psychophysiology, 85 (3). p. 339. ISSN 0167-8760 (2012)

Giorgetti, Alain and Senni, Valerio Specification and Validation of Algorithms Generating Planar Lehman Words. In: GASCom'12, 8th International Conference on random generation of combinatorial structures, June 25-27, 2012, LaBRI, Bordeaux (Submitted) (2012)

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012)

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012)

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012)

Gnecco, Giorgio A Comparison between Fixed-Basis and Variable-Basis Schemes for Function Approximation and Functional Optimization. Journal of Applied Mathematics, 2012. pp. 1-17. ISSN 1110-757X (2012)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Accuracy of Approximations of Solutions to Fredholm Equations by Kernel Methods. Applied Mathematics and Computation, 218 (14). 7481 - 7497. ISSN 0096-3003 (2012)

Gnecco, Giorgio and Sanguineti, Marcello New insights into Witsenhausen’s counterexample. Optimization Letters, 6 (7). pp. 1425-1446. ISSN 1862-4472 (2012)

Gnecco, Giorgio and Sanguineti, Marcello and Gaggero, Mauro Suboptimal Solutions to Team Optimization Problems with Stochastic Information Structure. SIAM Journal on Optimization, 22 (1). pp. 212-243. ISSN 1052-6234 (2012)

Gong, Baoming and Paggi, Marco and Carpinteri, Alberto A cohesive crack model coupled with damage for interface fatigue problems. International Journal of Fracture, 173 (2). pp. 91-104. ISSN 1573-2673 (2012)

Gros, Sébastien and Zanon, Mario and Diehl, Moritz Orbit control for a power generating airfoil based on nonlinear MPC. In: American Control Conference (ACC), 2012, June 27-29, 2012, Montreal, QC, Canada pp. 137-142. ISSN 2378-5861. ISBN 978-1-4577-1096-4. (2012)

Gros, Sébastien and Zanon, Mario and Vukov, Milan and Diehl, Moritz Nonlinear MPC and MHE for Mechanical Multi-Body Systems with Application to Fast Tethered Airplanes. IFAC Proceedings Volumes, 45 (17). pp. 86-93. ISSN 14746670 (2012)

Handjaras, Giacomo and Bernardi, Giulio and Pietrini, Pietro and Ricciardi, Emiliano Ventral and Dorsal Stream Dissociation During Action Recognition in the Human Brain. In: 18th Annual Meeting of the Organization for the Human Brain Mapping, June 10-14, 2012, Beijing, China (2012)

Handjaras, Giacomo and Ricciardi, Emiliano and Lenci, A. and Leo, Andrea and Cecchetti, Luca and Marotta, G. and Pietrini, Pietro Brain modeling of noun representations in sighted and blind individuals. International Journal of Psychophysiology, 85 (3). 329 - 330. ISSN 0167-8760 (2012)

Helbig, Hannah B. and Ernst, Marc O. and Ricciardi, Emiliano and Pietrini, Pietro and Thielscher, Axel and Mayer, Katja M. and Schultz, Johannes and Noppeney, Uta The neural mechanisms of reliability weighted integration of shape information from vision and touch. NeuroImage, 60 (2). 1063 - 1072. ISSN 1053-8119 (2012)

Hermans, Ralph M. and Jokic, Andrej and Lazar, Mircea and Alessio, Alessandro and Van den bosch, Paul and Hiskens, Ian and Bemporad, Alberto Assessment of non-centralised model predictive control techniques for electrical power networks. International Journal of Control , 85 (8). pp. 1162-1177. ISSN 0020-7179 (2012)

Hillston, Jane and Tribastone, Mirco and Gilmore, Stephen Stochastic process algebras: from individuals to populations. The Computer Journal, 55 (7). pp. 866-881. ISSN 0010-4620 (2012)

Kali, Avinash and Kumar, Andreas and Cokic, Ivan and Tsaftaris, Sotirios A. and Friedrich, Matthias G and Dharmakumar, Rohan Chronic Iron Deposition following Acute Hemorrhagic Myocardial Infarction: A Cardiovascular Magnetic Resonance Study. Circulation: Cardiovascular Imaging, 126. A10912. ISSN 1941-9651 (2012)

Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea An arrival-based framework for human mobility modeling. In: Proceeding of the 13th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2012. IEEE, pp. 1-9. ISBN 978-1-4673-1237-0 (2012)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Using formal methods to develop WS-BPEL applications. Science of Computer Programming, 77 (3). pp. 189-213. ISSN 0167-6423 (2012)

Lataire, John and Piga, Dario and Tóth, Roland Dealing with correlated errors in Least-Squares Support Vector Machine Estimators. In: ERNSI Workshop 2012, European Research Network on System Identification, September 23 – 25, 2012, Maastricht, The Netherlands (Unpublished) (2012)

Lattanzi, Nicola and Rota, Giuseppina and Pietrini, Pietro Continuità nel pensiero strategico e longevità economica. In: ziende famigliari e longevità economica. Modalità di analisi e strumenti operativi. Gestione aziendale e management . Ipsoa, pp. 143-169. ISBN 978-88-217-4090-9 (2012)

Leo, Andrea and Bernardi, Giulio and Handjaras, Giacomo and Bonino, Daniela and Ricciardi, Emiliano and Pietrini, Pietro Increased BOLD Variability in the Parietal Cortex and Enhanced Parieto-Occipital Connectivity during Tactile Perception in Congenitally Blind Individuals. Neural plasticity, 2012. p. 720278. ISSN 2090-5904 (2012)

Lienhardt, Michael and Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard A reversible abstract machine and its space overhead. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (7273). Springer, pp. 1-17. ISBN 978-3-642-30793-5 (2012)

Lluch-Lafuente, Alberto and Gadducci, Fabio and Vandin, Andrea Exploiting over- and under-approximations for infinite-state counterpart models. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 51-65. ISBN 978-3-642-33654-6 (2012)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Formalisation and Implementation of the XACML Access Control Mechanism. In: Engineering Secure Software and Systems. Lecture Notes in Computer Science (7159). Springer, pp. 60-74. ISBN 978-3-642-28165-5 (2012)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. Journal of Medical Systems, 36 (6). pp. 3695-3711. ISSN 0148-5598 (2012)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: E-Infrastructure and e-Services for Developing Countries},. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (92). Springer, pp. 187-196. ISBN 978-3-642-29092-3 (2012)

Milic, Vladimir and Bemporad, Alberto and Kasac, Josip and Situm, Zeljko Numerical algorithm for nonlinear state feedback ℌ∞ optimal control problem. In: 20th Mediterranean Conference on Control & Automation (MED), 2012. IEEE, 1253 -1258. ISBN 978-1-4673-2529-5 (2012)

Milic, Vladimir and Di Cairano, Stefano and Kasac, Josip and Bemporad, Alberto and Situm, Zeljko A numerical algorithm for nonlinear L2-gain optimal control with application to vehicle yaw stability control. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 5040 -5045. ISBN 978-1-4673-2064-1 (2012)

Minervini, Massimo and Damiano, Mario and Tucci, Valter and Bifone, Angelo and Gozzi, Alessandro and Tsaftaris, Sotirios A. Mouse neuroimaging phenotyping in the cloud. In: Proceedings of the 3rd International Conference on Image Processing Theory, Tools and Applications (IPTA), 2012. IEEE, pp. 55-60. ISBN 978-1-4673-2585-1 (2012)

Morini, Lorenzo and Radi, Enrico and Movchan, Alexander and Movchan, Natalia Stroh formalism in analysis of skew-symmetric and symmetric weight functions for interfacial cracks. Mathematics and Mechanics of Solids, 18 (2). pp. 135-152. ISSN 1081-2865 (2012)

Mukhopadhyay, Anirban and Qian, Zhen and Bhandarkar, Suchendra M. and Liu, Tianming and Rinehart, Sarah and Voros, Szilard Morphological analysis of the left ventricular endocardial surface and its clinical implications. In: Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012. Lecture Notes in Computer Science (7511). Springer, pp. 502-510. ISBN 978-3-642-33418-4 (2012)

New, Austin T. and Mukhopadhyay, Anirban and Arabnia, Hamid R. and Bhandarkar, Suchendra M. Non-rigid shape correspondence and description using geodesic field estimate distribution. In: SIGGRAPH 2012, August 5-9, 2012, Los Angeles, California p. 1. (2012)

Ocampo-Martinez, Carlos and Barcelli, Davide and Puig, Vicenç and Bemporad, Alberto Hierarchical and decentralised model predictive control of drinking water networks: application to Barcelona case study. IET Control Theory and Applications , 6 (1). p. 62. ISSN 1751-8644 (2012)

Oliveri, Alberto and Barcelli, Davide and Bemporad, Alberto and Genuit, Bart and Heemels, W.P.M.H. and Poggi, Tomaso and Rubagotti, Matteo and Storace, Marco MOBY-DIC: A MATLAB Toolbox for Circuit-Oriented Design of Explicit MPC. In: 4th IFAC Nonlinear Model Predictive Control Conference. IFAC, pp. 218-225. ISBN 978-3-902823-07-6 (2012)

Paggi, Marco Crack propagation in honeycomb cellular materials: a computational approach. Metals, 2 (4). pp. 65-78. ISSN 2075-4701 (2012)

Paggi, Marco Structural integrity of hierarchical composites. Frattura ed Integrità Strutturale, 19. pp. 29-36. ISSN 1971-8993 (2012)

Paggi, Marco and Carpinteri, Alberto and Wriggers, Peter Special issue on computational methods for interface mechanical problems. Computational Mechanics, 50 (3). pp. 269-271. ISSN 0178-7675 (2012)

Paggi, Marco and Wriggers, Peter Stiffness and strength of hierarchical polycrystalline materials with imperfect interfaces. Journal of the Mechanics and Physics of Solids, 60 (4). 557 - 572. ISSN 0022-5096 (2012)

Paggi, Marco and Wriggers, Peter and Carpinteri, Alberto Special issue on fracture and contact mechanics for interface problems. Engineering Fracture Mechanics, 80. 1 - 2. ISSN 0013-7944 (2012)

Patrinos, Panagiotis and Bemporad, Alberto An accelerated dual gradient-projection algorithm for linear model predictive control. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 662 -667. ISBN 978-1-4673-2064-1 (2012)

Patrinos, Panagiotis and Bernardini, Daniele and Maffei, Alessandro and Jokic, Andrej and Bemporad, Alberto Two-time-scale MPC for economically optimal real-time operation of balance responsible parties. In: Proceedings of the IFAC 8th Power Plant and Power Systems Control Symposium. IFAC, pp. 741-746. ISBN 978-3-902823-24-3 (2012)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-based correctness proofs for logic program transformations. Formal Aspects of Computing, 24 (4-6). pp. 569-594. ISSN 0934-5043 (2012)

Peysson, Y. and Decker, Joan and Morini, Lorenzo A versatile ray-tracing code for studying rf wave propagation in toroidal magnetized plasmas. Plasma Physics and Controlled Fusion, 54 (4). 045003. ISSN 0741-3335 (2012)

Pietrini, Pietro Il cervello violento. BrainFactor, 4 (1). ISSN 2035-7109 (2012)

Pietrini, Pietro and Guazzelli, Mario ArtisticaMente: cervello, creatività, giudizio estetico = Artistically Minded: the brain, creativity and aesthetic judgment. Ottagono : rivista trimestrale di architettura arredamento e industrial design (248). pp. 35-37. ISSN 0391-7487 (2012)

Piga, Dario A convex relaxation approach to set-membership identification. PhD Thesis thesis, Politecnico di Torino. (2012)

Piga, Dario and Tóth, Roland Segmentation of ARX systems through SDP-relaxation techniques. In: ERNSI Workshop 2012, European Research Network on System Identification, September 23 – 25, 2012, Maastricht, The Netherlands (Unpublished) (2012)

Poggi, Tomaso and Rubagotti, Matteo and Bemporad, Alberto and Storace, Marco High-Speed piecewise affine virtual sensors. IEEE Transactions on Industrial Electronics, 59 (2). 1228 -1237. ISSN 0278-0046 (2012)

Ptito, Maurice and Kupers, Ron and Lomber, Steve and Pietrini, Pietro Sensory Deprivation and Brain Plasticity. Neural plasticity, 2012. p. 810370. ISSN 2090-5904 (2012)

Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. Journal of Applied Logic, 10 (1). pp. 2-31. ISSN 1570-8683 (2012)

Quattrociocchi, Walter and Amblard, Frederic and Galeota, Eugenia Selection in scientific networks. Social Network Analysis and Mining, 2 (3). pp. 229-237. ISSN 1869-5450 (2012)

Ricciardi, Emiliano and Handjaras, Giacomo and Bernardi, Giulio and Pietrini, Pietro and Furey, Maura L. Cholinergic enhancement reduces functional connectivity and BOLD variability in visual extrastriate cortex during selective attention. In: 18th Annual Meeting of the Organization for the Human Brain Mapping, June 10-14, 2012, Beijing, China 305 - 313. (2012)

Romagno, Domenica and Rota, Giuseppina and Ricciardi, Emiliano and Pietrini, Pietro Where the brain appreciates the final state of an event: The neural correlates of telicity. Brain and Language, 123 (1). 68 - 74. ISSN 0093-934X (2012)

Rubagotti, Matteo and Barcelli, Davide and Bemporad, Alberto Approximate Explicit MPC on Simplicial Partitions with Guaranteed Stability for Constrained Linear Systems. In: 4th IFAC Nonlinear Model Predictive Control Conference. IFAC, pp. 119-125. ISBN 978-3-902823-07-6 (2012)

Rubagotti, Matteo and Carminati, Marco and Clemente, Giampiero and Grassetti, Riccardo and Ferrara, Antonella Modeling and control of an airbrake electro-hydraulic smart actuator. Asian Journal of Control , 14 (5). pp. 1159-1170. ISSN 1561-8625 (2012)

Rubagotti, Matteo and Poggi, Tomaso and Bemporad, Alberto and Storace, Marco Piecewise affine direct virtual sensors with Reduced Complexity. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 656 -661. ISBN 978-1-4673-2064-1 (2012)

Rusu, Cristian Clustering before training large datasets - Case study: K-SVD. In: Proceedings of the 20th European Signal Processing Conference (EUSIPCO), 2012. IEEE, pp. 2188-2192. ISBN 978-1-4673-1068-0 (2012)

Rusu, Cristian Clustering large datasets - bounds and applications with K-SVD. UPB Scientific Bulletin, Series C: Electrical Engineering, 20 (10). pp. 1-10. ISSN 1454-234X (2012)

Rusu, Cristian Fast design of efficient dictionaries for sparse representations. In: IEEE International Workshop on Machine Learning for Signal Processing (MLSP), 2012. IEEE, pp. 1-5. ISBN 978-1-4673-1025-3 (2012)

Rusu, Cristian and Dumitrescu, Bogdan Iterative reweighted l1 design of sparse FIR filters. Signal Processing, 92 (4). pp. 905-911. ISSN 0165-1684 (2012)

Rusu, Cristian and Dumitrescu, Bogdan Stagewise K-SVD to Design Efficient Dictionaries for Sparse Representations. IEEE Signal Processing Letters, 19 (10). pp. 631-634. ISSN 1070-9908 (2012)

Senni, Valerio and Fioravanti, Fabio Generation of Test Data Structures Using Constraint Logic Programming. In: Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Lecture Notes in Computer Science (7305). Springer, pp. 115-131. ISBN 978-3-642-30472-9 (2012)

Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos and Bemporad, Alberto Model Predictive Control for Linear Impulsive Systems. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 5164 -5169. ISBN 978-1-4673-2064-1 (2012)

Sopasakis, Pantelis and Sarimveis, Haralambos An integer programming approach for optimal drug dose computation. Computer Methods and Programs in Biomedicine, 108 (3). pp. 1022-1035. ISSN 0169-2607 (2012)

Strebelow, Ronald and Tribastone, Mirco and Prehofer, Christian Performance modeling of design patterns for distributed computation. In: Proceedings of the 20th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 251-258. ISBN 978-1-4673-2453-3 (2012)

Tomaiuolo, Francesco and Bivona, Umberto and Lerch, Jason P. and Paola, Margherita Di and Carlesimo, Giovanni A. and Ciurli, Paola and Matteis, Mariella and Cecchetti, Luca and Forcina, Antonio and Silvestro, Daniela and Azicnuda, Eva and Sabatini, Umberto and Giacomo, Dina Di and Caltagirone, Carlo and Petrides, Michael and Formisano, Rita Memory and anatomical change in severe non missile traumatic brain injury: ∼1 vs. ∼8 years follow-up. Brain Research Bulletin, 87 (4–5). 373 - 382. ISSN 0361-9230 (2012)

Tribastone, Mirco and Ding, Jie and Gilmore, Stephen and Hillston, Jane Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38 (4). pp. 861-874. ISSN 0098-5589 (2012)

Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering, 38 (1). pp. 205-219. ISSN 0098-5589 (2012)

Trimboli, Sergio and Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya Model predictive control with delay compensation for air-to-fuel ratio control. In: Time delay systems: methods, applications and new trends. Lecture Notes in Information Sciences (423). Springer, Berlin, pp. 319-330. ISBN 978-3-642-25220-4 (2012)

Tsaftaris, Sotirios A. and Tang, Richard and Zhou, Xiangzhi and Li, Debiao and Dharmakumar, Rohan Ischemic extent as a biomarker for characterizing severity of coronary artery stenosis with blood oxygen-sensitive MRI. Journal of magnetic resonance imaging, 35 (6). pp. 1338-1348. ISSN 1053-1807 (2012)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Li, Debiao and Dharmakumar, Rohan Detecting Myocardial Ischemia at Rest with Cardiac Phase-Resolved BOLD CMR. Circulation: Cardiovascular Imaging. ISSN 1941-9651 (2012)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Min, J. and Li, Debiao and Dharmakumar, Rohan Detecting ACS and Identifying Acute Ischemic Territories with Cardiac Phase-Resolved BOLD MRI at Rest. In: 20th Meeting of the International Society for Magnetic Resonance in Medicine (ISMRM), 5-11 May 2012, Melbourne, Australia (Unpublished) (2012)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability for Markovian process algebra. In: CONCUR 2012 – Concurrency Theory. Lecture Notes in Computer Science (7454). Springer, pp. 380-394. ISBN 978-3-642-32939-5 (2012)

Tschaikowski, Max and Tribastone, Mirco Generalised communication for interacting agents. In: Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 178-188. ISBN 978-0-7695-4781-7 (2012)

Vanello, Nicola and Hartwig, Valentina and Scilingo, Enzo Pasquale and Bonino, Daniela and Ricciardi, Emiliano and Tognetti, Alessandro and Pietrini, Pietro and De Rossi, Danilo and Landini, Luigi and Bicchi, Antonio FMRI Compatible Sensing Glove for Hand Gesture Monitoring. In: Immersive Multimodal Interactive Presence. Springer Series on Touch and Haptic Systems . Springer, pp. 215-228. ISBN 978-1-4471-2753-6 (2012)