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

2013

Abdelsamea, Mohammed and Tsaftaris, Sotirios A. Active Contour Model driven by Globally Signed Region Pressure Force. In: 18th International Conference On Digital Signal Processing, 1-3 July 2013, Santorini, Greece (Submitted) (2013)

Abdelsamea, Mohammed and Tsaftaris, Sotirios A. Active contour model driven by Globally Signed Region Pressure Force. In: 18th International Conference on Digital Signal Processing (DSP), 2013. IEEE, pp. 1-6. (2013)

Amblard, Frederic and Quattrociocchi, Walter Social networks and spatial distribution. In: Simulating social complexity: a handbook. Understanding Complex Systems . Springer , pp. 401-430. ISBN 978-3-540-93813-2 (2013)

Amoretti, Michele and Lluch-Lafuente, Alberto and Sebastio, Stefano A cooperative approach for distributed task execution in autonomic clouds. In: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2013). IEEE, pp. 274-281. (2013)

Bacigalupo, Andrea Modellazione multi-scala di materiali auxetici a microstruttura periodica chirale. In: AIMETA 2013 XX congresso dell'Associazione Italiana di Meccanica Teorica e Applicata, September 17-20, 2013, Torino (Italy) (Unpublished) (2013)

Bacigalupo, Andrea and Brencich, Antonio and Gambarotta, Luigi A simplified assessment of the dome and drum of the Basilica of S. Maria Assunta in Carignano in Genoa. Engineering Structures, 56. 749 - 765. ISSN 0141-0296 (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Acoustic velocity in layered rock masses with periodic fractures. In: COMGEO III, 3rd International Symposium on Computational Geomechanics, 21– 23 August 2013, Krakow (Poland) (Unpublished) (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Dispersive acoustic waves in elastic periodic media: a non-local dynamic homogenization approach. In: AIMETA 2013 XX congresso dell'Associazione Italiana di Meccanica Teorica e Applicata, September 17-20, 2013, Torino (Italy) (Unpublished) (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Dispersive wave propagation in anisotropic materials with periodic microstructure. In: - 12th U.S. National Congress on Computational Mechanics (USNCCM12), 22-25 July 2013, Raleigh, North Carolina (USA) (Unpublished) (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Sicurezza statica del sistema cupola-tamburo: il caso della Basilica di S. Maria Assunta di Carignano a Genova. In: AID MONUMENTS Conoscere Progettare Ricostruire. Aracne, pp. 164-174. ISBN 978-88-548-6506-8 (2013)

Bacigalupo, Andrea and Gambarotta, Luigi A multi-scale strain-localization analysis of a layered strip with debonding interfaces. International Journal of Solids and Structures, 50 (13). 2061 - 2077. ISSN 0020-7683 (2013)

Badino, Leonardo and Camurri, Antonio and D'Ausilio, Alessandro and Fadiga, Luciano and Glowinski, Donald and Gnecco, Giorgio and Sanguineti, Marcello and Varni, Giovanna and Volpe, Gualtiero Analysis of Music Ensemble Performance as a Test-bed for Social Interaction: Methods from Operations Research and Preliminary Results. In: AIRO Winter 2013, January 28th-February 1st, 2013, Champoluc, Italy (2013)

Baltazar, Pedro and Caires, Luis and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo A type system for flexible role assignment in multiparty communicating systems. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8191). Springer, pp. 82-96. ISBN 978-3-642-41157-1 (2013)

Bernardi, Giulio and Ricciardi, Emiliano and Sani, Lorenzo and Gaglianese, Anna and Papasogli, Alessandra and Ceccarelli, Riccardo and Franzoni, Ferdinando and Galetta, Fabio and Santoro, Gino and Goebel, Rainer and Pietrini, Pietro How skill expertise shapes the brain functional architecture: an fMRI study of visuo-spatial and motor processing in professional racing-car and naïve drivers. PloS One, 8 (10). ISSN 1932-6203 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Betta, Monica and Gemignani, Angelo and Landi, Alberto and Laurino, Marco and Piaggi, Paolo and Menicucci, Danilo Detection and removal of ocular artifacts from EEG signals for an automated REM sleep analysis. In: 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), July 3-7, 2013, Osaka, Japan pp. 5079-5082. ISSN 1558-4615. ISBN 978-1-4577-0216-7. (In Press) (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Compact and coherent dictionary construction for example-based super-resolution. In: Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, pp. 2222-2226. (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line K-WEB: Nonnegative dictionary learning for sparse image representations. In: Proceedings of the 20th IEEE International Conference on Image Processing (ICIP). IEEE, pp. 146-150. (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Super-resolution using neighbor embedding of back-projection residuals. In: Proceedings of the 18th International Conference on Digital Signal Processing (DSP). IEEE, pp. 1-8. (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Video super-resolution via sparse combinations of key-frame patches in a compression context. In: Picture Coding Symposium (PCS). IEEE, pp. 337-340. ISBN 978-1-4799-0292-7 (2013)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca

Bortolussi, Luca and Tribastone, Mirco Differential Analysis of Interacting Automata with Immediate Actions. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 10-12 Decembre, 2013, Torino pp. 49-58. ISBN 978-1-936968-48-0. (2013)

Brunetti, Sara and Cordasco, Gennaro and Gargano, Luisa and Lodi, Elena and Quattrociocchi, Walter Minimum weight multicolor dynamos. In: ICTCS 2013 - 14th Italian Conference on Theoretical Computer Scienc, September 9-11, 2013, Palermo, Italy (Unpublished) (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptable transition systems. In: Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012). Lecture Notes in Computer science (7841). Springer, pp. 95-110. ISBN 978-3-642-37635-1 (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptation is a Game. Tiny Transactions on Computer Science, 2. (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. Working Paper # /2013 (Unpublished)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013)

Bucchiarone, Antonio and Marconi, Annapaola and Mezzina, Claudio Antares and Pistore, Marco A conceptual framework for collective adaptive systems. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13. ACM, pp. 1935-1936. ISBN 978-1-4503-1656-9 (2013)

Bucchiarone, Antonio and Marconi, Annapaola and Mezzina, Claudio Antares and Pistore, Marco and Raik, Heorhi On-the-fly adaptation of dynamic service-based systems: incrementality, reduction and reuse. In: Service-Oriented Computing. Lecture Notes in Computer Science (8274). Springer, pp. 146-161. ISBN 978-3-642-45005-1 (2013)

Bucchiarone, Antonio and Mezzina, Claudio Antares and Pistore, Marco CAptLang: a language for context-aware and adaptable business processes. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13. ACM, pp. 1-5. ISBN 978-1-4503-1541-8 (2013)

Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013)

Carpinteri, Alberto and Paggi, Marco Modelling strain localization by cohesive (overlapping) zones in tension (compression): brittleness size effects and scaling in material properties. In: Mechanics down under. Springer, pp. 15-33. ISBN 978-94-007-5968-8 (2013)

Carpinteri, Alberto and Paggi, Marco A theoretical approach to the interaction between buckling and resonance instabilities. Journal of Engineering Mathematics, 78 (1). pp. 19-35. ISSN 0022-0833 (2013)

Casale, Giuliano and Tribastone, Mirco Modelling exogenous variability in cloud deployments. Performance Evaluation Review, 40 (4). pp. 73-82. ISSN 0163-5999 (2013)

Ceccarelli, Diego and Lucchese, Claudio and Orlando, Salvatore and Perego, Raffaele and Trani, Salvatore Learning Relatedness Measures for Entity Linking. In: Proceedings of the 22nd ACM international conference on Conference on information & knowledge management. ACM, pp. 139-148. ISBN 978-1-4503-2263-8 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013)

Cello, Marco and Gnecco, Giorgio and Marchese, Giorgio and Sanguineti, Marcello Optimality Conditions for Coordinate-Convex Policies in Call Admission Control via a Generalized Stochastic Knapsack Model. In: EURO 2013, July 1st-4th, 2013, Rome, Italy p. 132. (2013)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Optimality conditions for coordinate-convex policies in CAC with nonlinear feasibility boundaries. IEEE/ACM Transactions on Networking, 21 (5). pp. 1363-1377. ISSN 1063-6692 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounding the parameters of block-structured nonlinear feedback systems. International Journal of Robust and Nonlinear Control , 23 (1). pp. 33-47. ISSN 1049-8923 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego Computational load reduction in bounded error identification of Hammerstein systems. IEEE Transactions on Automatic Control , 58 (5). pp. 1317-1322. ISSN 0018-9286 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego Fixed-order FIR approximation of linear systems from quantized input and output data. Systems & Control Letters, 62 (12). 1136 - 1142. ISSN 0167-6911 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego A convex relaxation approach to set-membership identification of LPV systems. Automatica, 49 (9). 2853 - 2859. ISSN 0005-1098 (2013)

Chen, Zhaofu and Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Application aware approach to compression and transmission of H.264 compressed video for automated and centralized transportation surveillance. IEEE Transactions on Intelligent Transportation Systems. ISSN 1524-9050 (Submitted) (2013)

Chen, Zhaofu and Tsaftaris, Sotirios A. and Soyak, Eren and Katsaggelos, Aggelos K. Application-Aware approach to compression and transmission of H.264 Encoded Video for automated and centralized transportation surveillance. IEEE Transactions on Intelligent Transportation Systems, 14 (4). pp. 2002-2007. ISSN 1524-9050 (2013)

Chessa, Alessandro and Morescalchi, Andrea and Pammolli, Fabio and Penner, Orion and Petersen, Alexander M. and Riccaboni, Massimo Is Europe Evolving Toward an Integrated Research Area? Science, 339 (6120). pp. 650-651. ISSN 0036-8075 (2013)

Cokic, Ivan and Kali, Avinash and Wang, Xunzhang and Yang, Hsin-Jung and Tang, Richard and Thajudeen, Anees and Shehata, Michael and Amorn, Allen M. and Liu, Enzhao and Stewart, Brian and Bennett, Nathan and Harlev, Doron and Tsaftaris, Sotirios A. and Jackman, Warren M. and Chugh, Sumeet S. and Dharmakumar, Rohan Iron Deposition following Chronic Myocardial Infarction as a Substrate for Cardiac Electrical Anomalies: Initial Findings in a Canine Model. PloS One, 8 (9). e73193. ISSN 1932-6203 (2013)

Corrado, Mauro and Paggi, Marco Metodo degli spostamenti. Fondamenti teorici e applicazioni strutturali. CLUT Editrice, Torino. ISBN 9788879923521 (2013)

Dardard, Floriane and Gnecco, Giorgio and Glowinski, Donald Types of Leadership in a String Quartet. In: Sysmus13, September 12th-14th, 2013, Genoa, Italy pp. 16-17. ISBN 978-88-909096-0-3. (2013)

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Julien, Christine (edited by) Coordination Models and Languages. Lecture Notes in Computer Science, 7890 . Springer. ISBN 978-3-642-38493-6 (2013)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Flood hazard assessment via threshold binary classifiers: case study of the Tanaro River basin. Irrigation and Drainage, 62 (S2). pp. 1-10. ISSN 1531-0353 (2013)

Di Cairano, Stefano and Heemels, W.P.M.H. and Lazar, Mircea and Bemporad, Alberto Hybrid control lyapunov functions for the stabilization of hybridsystems. In: Proceedings of the 16th international conference on Hybrid systems: computation and control. ACM, pp. 73-82. ISBN 978-1-4503-1567-8 (2013)

Di Cairano, Stefano and Tseng, H. E. and Bernardini, Daniele and Bemporad, Alberto Vehicle yaw stability control by coordinated active front steering and differential braking in the tire sideslip angles domain. IEEE Transactions on Control Systems Technology , 21 (4). pp. 1236-1248. ISSN 1063-6536 (2013)

Dodero, Luca and Damiano, Mario and Galbusera, Alberto and Bifone, Angelo and Tsaftaris, Sotirios A. and Scattoni, Maria Luisa and Gozzi, Alessandro Neuroimaging Evidence of Major Morpho-Anatomical and Functional Abnormalities in the BTBR T+TF/J Mouse Model of Autism. PloS One, 8 (10). e76655. ISSN 1932-6203 (2013)

Dodero, Luca and Sforazzini, Francesco and Galbusera, Alberto and Damiano, Mario and Tsaftaris, Sotirios A. and Bifone, Angelo and Scattoni, Maria Luisa and Gozzi, Alessandro Neuroimaging Evidence of Major Morpho-Anatomical and Functional Abnormalities in the BTBR T+TF/J Mouse Model of Autism. In: IMFAR 2013: International Meeting for Autism Research, 2 - 4 May 2013, Donostia / San Sebastián, Spain (Unpublished) (2013)

Eom, Young-Ho and Frahm, Klaus M. and Benczúr, András and Shepelyansky, Dima L. Time evolution of Wikipedia network ranking. The European Physical Journal B, 86 (12). pp. 1-9. ISSN 1434-6028 (2013)

Eom, Young-Ho and Shepelyansky, Dima L. Highlighting entanglement of cultures via ranking of multilingual Wikipedia articles. PloS One, 8 (10). e74554. ISSN 1932-6203 (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Controlling Polyvariance for Specialization-based Verification. Fundamenta Informaticae, 124 (4). pp. 483-502. ISSN 1875-8681 (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Generalization strategies for the verification of infinite state systems. Theory and Practice of Logic Programming, 13 (2). pp. 175-199. ISSN 1471-0684 (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proving theorems by program transformation. Fundamenta Informaticae, 127 (1-4). pp. 115-134. ISSN 1875-8681 (2013)

Fioravanti, Fabio and Proietti, Maurizio and Senni, Valerio Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation. Journal of Logic and Computation. ISSN 0955-792X (2013)

Formentin, Simone and Piga, Dario and Tóth, Roland and Savaresi, Sergio M. Direct data-driven control of linear parameter-varying systems. In: Proceedings of the 52nd Annual Conference on Decision and Control (CDC), 2013. IEEE, pp. 4110-4115. ISBN 978-1-4673-5714-2 (2013)

Frasch, J. V. and Gray, A. and Zanon, Mario and Ferreau, H. J. and Sager, S. and Borrelli, F. and Diehl, M. An auto-generated nonlinear MPC algorithm for real-time obstacle avoidance of ground vehicles. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 4136-4141. ISBN 978-3-033-03962-9. (2013)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello Dynamic Programming and Value-Function Approximation in Sequential Decision Problems: Error Analysis and Numerical Results. Journal of Optimization Theory and Applications, 156 (2). pp. 380-416. ISSN 0022-3239 (2013)

Gagliardi, Mariacristina On the effect of macromolecular composition and drug loading on thermal and tensile mechanical properties of methyl methacrylate and butyl methacrylate copolymers. Polymer Bulletin, 71 (3). pp. 533-544. ISSN 0170-0839 (2013)

Gagliardi, Mariacristina and Bardi, Giuseppe and Gamucci, Olimpia and Mazzolai, Barbara Targeted drug delivery across biological barriers using polymer nanoparticles. In: Therapeutic Delivery Methods: A Concise Overview of Emerging Areas. Future Science, pp. 96-109. ISBN 978-1-909453-49-4 (2013)

Geebelen, Kurt and Vukov, Milan and Zanon, Mario and Gros, Sébastien and Wagner, Andrew and Diehl, Moritz and Vandepitte, Dirk and Swevers, Jan and Ahmad, Hammad An Experimental Test Setup for Advanced Estimation and Control of an AirborneWind Energy System. In: Airborne Wind Energy. Green Energy and Technology . Springer, pp. 459-471. ISBN 978-3-642-39965-7 (2013)

Glowinski, Donald and Gnecco, Giorgio and Camurri, Antonio and Piana, Stefano Expressive Non-Verbal Interaction in String Quartet. In: 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction (ACII). IEEE, pp. 233-238. (2013)

Gnecco, Giorgio and Badino, Leonardo and Camurri, Antonio and D’Ausilio, Alessandro and Fadiga, Luciano and Glowinski, Donald and Sanguineti, Marcello and Varni, Giovanna and Volpe, Gualtiero Towards Automated Analysis of Joint Music Performance in the Orchestra. In: Arts and Technology. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (116). Springer, pp. 120-127. (2013)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning with Hard Constraints. In: Artificial Neural Networks and Machine Learning – ICANN 2013. Lecture notes in computer science (8131). Springer, pp. 146-153. ISBN 978-3-642-40728-4 (2013)

Gnecco, Giorgio and Gori, Marco and Sanguineti, Marcello Learning with Boundary Conditions. Neural Computation, 25 (4). pp. 1029-1106. ISSN 0899-7667 (2013)

Gros, S. and Zanon, Mario and Diehl, M. Control of Airborne Wind Energy systems based on Nonlinear Model Predictive Control amp; Moving Horizon Estimation. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 1017-1022. ISBN 978-3-033-03962-9. (2013)

Gros, Sébastien and Zanon, Mario and Diehl, Moritz A relaxation strategy for the optimization of Airborne Wind Energy systems. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 1011-1016. ISBN 978-3-033-03962-9. (2013)

Handjaras, Giacomo and Ricciardi, Emiliano and Szczepanik, Joanna and Pietrini, Pietro and Furey, Maura L. Cholinergic enhancement differentially modulates neural response to encoding during face identity and face location working memory tasks. Experimental Biology and Medicine, 238 (9). pp. 999-1008. ISSN 1535-3702 (2013)

Iacobelli, Giulio and Tribastone, Mirco Lumpability of fluid models with heterogeneous agent types. In: Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, pp. 1-11. ISBN 978-1-4673-6471-3 (2013)

Kali, Avinash and Cokic, Ivan and Kumar, Andreas and Tsaftaris, Sotirios A. and Tang, Richard and Friedrich, Matthias G and Dharmakumar, Rohan Acute Hemorrhagic Myocardial Infarction Leads to Localized Chronic Iron Deposition: A CMR Study. In: ISMRM 21st Annual Meeting, 20-26 April 2013, Salt Lake City, USA (Unpublished) (2013)

Kali, Avinash and Cokic, Ivan and Kumar, Andreas and Tsaftaris, Sotirios A. and Tang, Richard and Friedrich, Matthias G and Dharmakumar, Rohan Acute reperfusion intramyocardial hemorrhage leads to regional chronic iron deposition in the heart. Journal of cardiovascular magnetic resonance, 15 (Suppl1). P174. ISSN 1532-429X (2013)

Kali, Avinash and Kumar, Andreas and Cokic, Ivan and Tang, Richard and Tsaftaris, Sotirios A. and Friedrich, Matthias G and Dharmakumar, Rohan Chronic Manifestation of Post-Reperfusion Intramyocardial Hemorrhage as Regional Iron Deposition: A Cardiovascular MR Study with Ex-vivo Validation. Circulation: Cardiovascular Imaging. ISSN 1941-9651 (2013)

Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea SPoT: Representing the Social, Spatial, and Temporal Dimensions of Human Mobility with a Unifying Framework. CSA Technical Report #7/2013 IMT Institute for Advanced Studies Lucca

Kirişli, H.A. and Schaap, M. and Metz, C.T. and Dharampal, A.S. and Meijboom, W.B. and Papadopoulou, S.L. and Dedic, A. and Nieman, K. and de Graaf, M.A. and Meijs, M.F.L. and Cramer, M.J. and Broersen, A. and Cetin, S. and Eslami, A. and Flórez-Valencia, L. and Lor, K.L. and Matuszewski, B. and Melki, I. and Mohr, B. and Oksuz, Ilkay and Shahzad, R. and Wang, C. and Kitslaar, P.H. and Unal, G. and Katouzian, A. and Orkisz, Maciej and Chen, C.M. and Precioso, F. and Najman, L. and Masood, S. and Unay, Devrim and van Vliet, L. and Moreno, R. and Goldenberg, R. and Vuçini, E. and Krestin, G.P. and Niessen, W.J. and van Walsum, T. Standardized evaluation framework for evaluating coronary artery stenosis detection, stenosis quantification and lumen segmentation algorithms in computed tomography angiography. Medical Image Analysis, 17 (8). pp. 859-876. ISSN 1361-8415 (2013)

Kolesnichenko, Anna and Pourranjabar, Alireza and Senni, Valerio Applying Mean-field Approximation to Continuous Time Markov Chains. CSA Technical Report #8/2013 IMT Institute for Advanced Studies Lucca

Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013)

Krenn, Rainer and Gibbesch, Andreas and Binet, Giovanni and Bemporad, Alberto Model predictive traction and steering control of planetary rovers. In: 12th Symposium on Advanced Space Technologies in Robotics and Automation, ASTRA 2013, 15th - 17th May 2013, Noordwijk, The Netherlands pp. 1-8. (Unpublished) (2013)

Lanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013)

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Controlled reversibility and compensations. In: Reversible Computation. Lecture Notes in Computer Science (7581). Springer, pp. 233-240. ISBN 978-3-642-36315-3 (2013)

Lara, Laura and Vera, Sergio and Perez, Frederic and Lanconelli, Nico and Morisi, Rita and Donini, Bruno and Turco, Dario and Corsi, Cristiana and Lamberti, Claudio and Gavidia, Giovana and Bordone, Maurizio and Soudah, Eduardo and Curzen, Nick and Rosengarten, James and Morgan, John and Herrero, Javier and González Ballester, Miguel A. Supervised Learning Modelization and Segmentation of Cardiac Scar in Delayed Enhanced MRI. In: Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges. Lecture Notes in Computer Science, 7746 . Springer, pp. 53-61. ISBN 978-3-642-36960-5 (2013)

Laurain, Vincent and Tóth, Roland and Piga, Dario An instrumental Least Squares Support Vector Machine for nonlinear system identification: enforcing zero-centering constraints. Technical Report #001/2013 University of Technology, Eindhoven , The Netherlands. (Unpublished)

Laurino, Marco and Stano, Maurizio and Betta, Monica and Pannocchia, Gabriele and Landi, Alberto Combining pharmacological therapy and vaccination in Chronic Myeloid Leukemia via model predictive control. In: 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), July 3-7, 2013, Osaka, Japan pp. 3925-3928. ISSN 1558-4615. ISBN 978-1-4577-0216-7. (In Press) (2013)

Liu, Derong and Anderson, Charles and Azar, Ahmad Taher and Battistelli, Giorgio and Bayro-Corrochano, Eduardo and Cervellera, Cristiano and Elizondo, David and Filippone, Maurizio and Gnecco, Giorgio and Hu, Xiaolin and Huang, Tingwen and Liu, Weifeng and Lu, Wenlian and Madureira, Ana Maria and Skrjanc, Igor and Villmann, Thomas and Wu, Jonathan and Xie, Shengli and Xu, Dong Editorial: A Successful Change From TNN to TNNLS and a Very Successful Year. IEEE Transactions on Neural Networks and Learning Systems, 24 (1). pp. 1-7. ISSN 2162-237X (2013)

Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceeding of 6th International Conference on Health Informatics (HEALTHINF). SciTePress, pp. 263-268. ISBN 978-989-8565-37-2 (2013)

Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco Linguistic abstractions for programming and policing autonomic computing systems. In: Ubiquitous Intelligence and Computing, 2013 IEEE 10th International Conference on and 10th International Conference on Autonomic and Trusted Computing (UIC/ATC). IEEE, pp. 404-409. ISBN 978-1-4799-2481-3 (2013)

Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013)

Minervini, Massimo and Rusu, Cristian and Tsaftaris, Sotirios A. Learning Computationally Efficient Approximations of Complex Image Segmentation Metrics. In: 8th international symposium on Image and Signal Processing and Analysis (ISPA 2013), September 4-6, 2013, Trieste, Italy (2013)

Minervini, Massimo and Tsaftaris, Sotirios A. Application-Aware Image Compression for Low Cost and Distributed Plant Phenotyping. In: 18th International Conference On Digital Signal Processing, 1-3 July 2013, Santorini, Greece (2013)

Morini, Lorenzo and Piccolroaz, Amdrea and Mishuris, Gennady Dynamic energy release rate in couple-stress elasticity. Journal of Physics: Conference Series, 451 (1). 012014. ISSN 1742-6588 (2013)

Morini, Lorenzo and Piccolroaz, Amdrea and Mishuris, Gennady and Radi, Enrico Integral identities for a semi-infinite interfacial crack in anisotropic elastic bimaterials. International Journal of Solids and Structures, 50 (9). pp. 1437-1448. ISSN 0020-7683 (2013)

Morini, Lorenzo and Piccolroaz, Amdrea and Mishuris, Gennady and Radi, Enrico On fracture criteria for dynamic crack propagation in elastic materials with couple stresses. International Journal of Engineering Science, 71. pp. 45-61. ISSN 0020-7225 (2013)

Morini, Lorenzo and Radi, Enrico and Movchan, Alexander and Movchan, Natalia Interfacial cracks in bi-materials solids: Stroh formalism and skew-symmetric weight functions. In: 23rd International Congress on Theoretical and Applied Mechanics (ICTAM), August 2012, Beijing, China ISSN 2210-9838. (2013)

Mukhopadhyay, Anirban and Lim, Chul Woo and Bhandarkar, Suchendra M. and Chen, Hanbo and Liu, Tianming and Rasheed, Khaled and Taha, Thiab Analysis of surface folding patterns of diccols using the GPU-Optimized geodesic field estimate. In: Workshop on Mesh Processing in Medical Image Analysis, September 26, 2013, Nagoya, Japan pp. 1-10. (2013)

Musmeci, Nicolò and Battiston, Stefano and Caldarelli, Guido and Puliga, Michelangelo and Gabrielli, Andrea Bootstrapping Topological Properties and Systemic Risk of Complex Networks Using the Fitness Model. Journal of Statistical Physics, 151 (3). pp. 720-734. ISSN 0022-4715 (2013)

Oksuz, Ilkay and Unay, Devrim and Kadipasaoglu, Kamuran Region growing on frangi vesselness values in 3-D CTA data. In: Proceedings of the 21st Signal Processing and Communications Applications Conference (SIU). IEEE, pp. 1-4. ISBN 978-1-4673-5561-2 (2013)

Paggi, Marco and Carpinteri, Alberto Size-Scale Effects on the Friction Coefficient: From Weak Faults at the Planetary Scale to Superlubricity at the Nanoscale. In: Recent Advances in Contact Mechanics. Lecture Notes in Applied and Computational Mechanics, 56 . Springer, pp. 67-84. ISBN 978-3-642-33967-7 (2013)

Paggi, Marco and Corrado, Mauro and Rodriguez, Maria Alejandra A multi-physics and multi-scale numerical approach to microcracking and power-loss in photovoltaic modules. Composite Structures, 95. 630 - 638. ISSN 0263-8223 (2013)

Paggi, Marco and Ferro, Giuseppe and Braga, Franco A multiscale approach for the seismic analysis of concrete gravity dams. Computers and Structures, 122. 230 - 238. ISSN =045-7949 (2013)

Paggi, Marco and Lehmann, Eva and Weber, Christoph and Carpinteri, Alberto and Wriggers, Peter and Schaper, M. A numerical investigation of the interplay between cohesive cracking and plasticity in polycrystalline materials. Computational Materials Science, 77. 81 - 92. ISSN 0927-0256 (2013)

Paggi, Marco and Sapora, Alberto Numerical modelling of microcracking in PV modules induced by thermo-mechanical loads. Energy Procedia, 38. 506 - 515. ISSN 1876-6102 (2013)

Patrinos, Panagiotis and Bemporad, Alberto Proximal Newton methods for convex composite optimization. In: 52nd IEEE Conference on Decision and Control. IEEE, pp. 2358-2363. ISBN 978-1-4673-5714-2 (2013)

Patrinos, Panagiotis and Guiggiani, Alberto and Bemporad, Alberto Fixed-point dual gradient projection for embedded model predictive control. In: Proceedings of European Control Conference 2013. IEEE, pp. 3602-3607. ISBN 978-3-033-03962-9 (2013)

Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea Statistical analysis of chemical computational systems with MULTIVESTA and ALCHEMIST. Working Paper # /2013 (Submitted)

Piccolroaz, Amdrea and Morini, Lorenzo and Mishuris, Gennady and Gourgiotis, P.A. Loading profile effects on dynamic crack propagation in couple stress elastic materials. In: 10th HSTAM International Congress on Mechanics, May 25-27, 2013, Chania, Greece ISBN 9789608475182. (2013)

Piga, Dario and Tóth, Roland Data-driven LPV modeling of continuous pulp digesters. Technical Report #002/2013 University of Technology, Eindhoven (Unpublished)

Piga, Dario and Tóth, Roland LPV model order selection in an LS-SVM setting. In: Proceedings of the 52nd Annual Conference on Decision and Control (CDC), 2013. IEEE, pp. 4128-4133. ISBN 978-1-4673-5714-2 (2013)

Piga, Dario and Tóth, Roland An SDP approach for l0-minimization: application to ARX model segmentation. Automatica, 49 (12). 3646 - 3653. ISSN 0005-1098 (2013)

Pryce, Lewis and Morini, Lorenzo and Mishuris, Gennady Analysis of interfacial crack propagation under asymmetric loading in anisotropic materials. Journal of Physics: Conference Series, 451 (1). 012011. ISSN 1742-6588 (2013)

Pryce, Lewis and Morini, Lorenzo and Mishuris, Gennady Weight function approach to study a crack propagating along a bimaterial interface under asymmetric loading in anisotropic solids. Journal of Mechanics of Materials and Structures, 8. pp. 479-500. ISSN 1559-3959 (2013)

Puglia, Laura and Bemporad, Alberto and Jokic, Andrej and Virag, Ana A stochastic optimization approach to optimal bidding on dutch ancillary services markets. In: Proceedings of the 10th International Conference on the European Energy Market (EEM13). IEEE, pp. 1-8. (2013)

Puglia, Laura and Patrinos, Panagiotis and Bernardini, Daniele and Bemporad, Alberto Reliability and efficiency for market parties in power systems. In: Proceedings of the 10th International Conference on the European Energy Market (EEM13). IEEE, pp. 1-8. (2013)

Quattrociocchi, Walter and Caldarelli, Guido and Scala, Antonio Influence of media on collective debates. Working Paper # /2013 ArXiv (Submitted)

Renzi, Chiara and Ricciardi, Emiliano and Bonino, Daniela and Handjaras, Giacomo and Vecchi, Tomaso and Pietrini, Pietro The effects of visual control and distance in modulating peripersonal spatial representation. PloS One, 8 (3). ISSN 1932-6203 (2013)

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. Neuropharmacology, 64. 305 - 313. ISSN 0028-3908 (2013)

Ricciardi, Emiliano and Handjaras, Giacomo and Bonino, Daniela and Vecchi, Tomaso and Fadiga, Luciano and Pietrini, Pietro Beyond motor scheme: a supramodal distributed representation in the action-observation network. PloS One, 8 (3). ISSN 1932-6203 (2013)

Ricciardi, Emiliano and Rota, Giuseppina and Sani, Lorenzo and Gentili, Claudio and Gaglianese, Anna and Guazzelli, Mario and Pietrini, Pietro How the brain heals emotional wounds: the functional neuroanatomy of forgiveness. Frontiers in Human Neuroscience, 7 (839). ISSN 1662-5161 (2013)

Rubagotti, Matteo and Patrinos, Panagiotis and Bemporad, Alberto Stabilizing embedded MPC with computational complexity guarantees. In: Proceedings of European Control Conference. IEEE, pp. 3065-3070. ISBN 978-3-033-03962-9 (2013)

Rubagotti, Matteo and Trimboli, Sergio and Bemporad, Alberto Stability and Invariance Analysis of Uncertain Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control , 58 (9). pp. 2359-2365. ISSN 0018-9286 (2013)

Rusu, Cristian Design of Incoherent Frames via Convex Optimization. IEEE Signal Processing Letters, 20 (7). pp. 673-676. ISSN 1070-9908 (2013)

Rusu, Cristian and Dumitrescu, Bogdan Block Orthonormal Overcomplete Dictionary Learning. In: 21st European Signal Processing Conference (EUSIPCO), September 9th-13th, 2013, Marrakesh, Marocco pp. 1-5. (Unpublished) (2013)

Rusu, Cristian and Dumitrescu, Bogdan Stagewise K-SVD to Design Efficient Dictionaries for Sparse Representations. In: ICASSP 2013, May 26-31, 2013, Vancouver, Canada pp. 1-3. (Unpublished) (2013)

Rusu, Cristian and Tsaftaris, Sotirios A. Estimation of Scribble Placement for Painting Colorization. In: 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013), September 4-6, 2013, Trieste, Italy pp. 564-569. ISBN 978-953-184-194-8. (2013)

Saponara, M. and Barrena, V. and Bemporad, Alberto and Hartley, E. N. and Maciejowski, Jan M. and Richards, A. and Tramutola, A. and Trodden, P. Model predictive control application to spacecraft rendezvous in mars sample return scenario. In: Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics. EDP Sciences, pp. 137-158. (2013)

Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, December 10-12, 2013, Brussels, Belgium pp. 310-315. ISBN 978-1-936968-48-0. (2013)

Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. Technical Report # /2013 (Unpublished)

Sizonenko, Stéphane V. and Babilon, Claudio and de Bruin, Eveline and Isaacs, Elizabeth B. and Jönsson, Lena S. and Kennedy, David O. and Latulippe, Marie E. and Mohajeri, M. Hasan and Moreines, Judith and Pietrini, Pietro and Walhovd, Kristine B. and Winwood, Robert J. and Sijben, John W. Brain imaging and human nutrition: which measures to use in intervention studies? British Journal of Nutrition, 110. S1-S30. ISSN 0007-1145 (2013)

Slimani, Hocine and Danti, Sabrina and Ricciardi, Emiliano and Pietrini, Pietro and Ptito, Maurice and Kupers, Ron Hypersensitivity to pain in congenital blindness. Pain, 154 (10). pp. 1973-1978. ISSN 0304-3959 (2013)

Sopasakis, Pantelis and Bernardini, Daniele and Bemporad, Alberto Constrained Model Predictive Control Based on Reduced-Order Models. In: 52nd IEEE Conference on Decision and Control. IEEE, pp. 7071-7076. ISBN 978-1-4673-5717-3 (2013)

Sopasakis, Pantelis and Sarimveis, Haralambos JAQPOT RESTful Web Services: An Implementation of the OpenTox Application Programming Interface for On-line Prediction of Toxicological Properties. In: 4th International CEMEPE and SECOTOX Conference, June 24th-28th, 2013, Mykonos, Greece (Unpublished) (2013)

Sopasakis, Pantelis and Sarimveis, Haralambos ToxOtis: A Java Interface to the OpenTox Predictive Toxicology Network. In: 4th International CEMEPE and SECOTOX Conference, June 24th-28th, 2013, Mykonos, Greece (Unpublished) (2013)

Sopasakis, Pantelis and Tetko, Igor V. and Kunwar, Prakash and Brandmaier, Stefan and Novoratskyi, Sergii and Charochkina, Larisa and Prokopenko, Volodymyr and Peijnenburg, Willie J.G.M. Environmental Risk Assessment using the QSPR-Thesaurus Web tool. In: Environmental Chemoinformatics Conference, September 15th-18th, 2013, Chiemsee, Munich, Germany (Unpublished) (2013)

Tetko, Igor V. and Sopasakis, Pantelis and Kunwar, Prakash and Brandmaier, Stefan and Novoratskyi, Sergii and Charochkina, Larisa and Prokopenko, Volodymyr and Peijnenburg, Willie J.G.M. Prioritisation of polybrominated diphenyl ethers (PBDEs) by using the QSPR-THESAURUS web tool. ATLA. Alternatives to laboratory animals, 41 (1). pp. 127-135. ISSN 0261-1929 (2013)

Torres Vieira, Hugo and Vasconcelos, Vasco Thudichum Typing progress in communication-centred systems. In: Coordination Models and Languages. Lecture Notes in Computer Science (7890). Springer, pp. 236-250. ISBN 978-3-642-38493-6 (2013)

Tramonti, Francesco and Barsanti, Ilaria and Ghicopulos, Irene and Bogliolo, Corrado and Pietrini, Pietro Family functioning and caregiver burden in Alzheimer’s disease. Family Science, 4 (1). pp. 161-168. ISSN 1942-4620 (2013)

Tribastone, Mirco A fluid model for layered queueing networks. IEEE Transactions on Software Engineering, 39 (6). pp. 744-756. ISSN 0098-5589 (2013)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Li, Debiao and Dharmakumar, Rohan Detecting Myocardial Ischemia at Rest With Cardiac Phase-Resolved Blood Oxygen Level-Dependent Cardiovascular Magnetic Resonance. Circulation: Cardiovascular Imaging, 6 (2). pp. 311-319. ISSN 1941-9651 (2013)

Tschaikowski, Max and Tribastone, Mirco Insensitivity to service-time distributions for fluid queueing models. In: 7th International Conference on Performance Evaluation Methodologies and Tools, December 10–12, 2013, Turin, Italy pp. 273-281. ISBN 978-1-936968-48-0. (2013)

Tóth, Roland and Laurain, Vincent and Piga, Dario An instrumental Least Squares Support Vector Machine for system identification. In: Worshop on Machine Learning for System Identification, 20-21 June 2013, Atlanta, USA (Unpublished) (2013)

Unay, Devrim and Harmankaya, Ibrahim and Oksuz, Ilkay and Kadipasaoglu, Kamuran and Cubuk, Rahmi and Celik, Levent Automated aortic supravalvular sinus detection in conventional computed tomography image. In: Proceedings of the 21st Signal Processing and Communications Applications Conference (SIU). IEEE, pp. 1-4. ISBN 978-1-4673-5561-2 (2013)

Vandin, Andrea Towards the specification and verification of modal properties for structured systems. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 423-425. ISBN 978-3-642-33654-6 (2013)

Wirsing, Martin and Hölzl, Matthias and Tribastone, Mirco and Zambonelli, Franco ASCENS: engineering autonomic service-component ensembles. In: Formal Methods for Components and Objects. Lecture notes in computer science (7542). Springer, pp. 1-24. ISBN 978-3-642-35887-6 (2013)

Zanon, Mario and Frasch, J. V. and Diehl, Moritz Nonlinear Moving Horizon Estimation for combined state and friction coefficient estimation in autonomous driving. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 4130-4135. ISBN 978-3-033-03962-9. (2013)

Zanon, Mario and Gros, Sebastien and Andersson, Joel and Diehl, Moritz Airborne Wind Energy Based on Dual Airfoils. IEEE Transactions on Control Systems Technology, 21 (4). pp. 1215-1222. ISSN 1063-6536 (2013)

Zanon, Mario and Gros, Sebastien and Diehl, Moritz A Lyapunov function for periodic economic optimizing Model Predictive Control. In: 52nd Conference on Decision and Control, December 10-13, 2013, Florence, Italy pp. 5107-5112. ISSN 0191-2216. ISBN 978-1-4673-5717-3. (2013)

Zanon, Mario and Gros, Sébastien and Diehl, Moritz Model Predictive Control of Rigid-Airfoil Airborne Wind Energy Systems. In: Airborne Wind Energy. Green Energy and Technology . Springer, pp. 219-233. ISBN 978-3-642-39965-7 (2013)

Zanon, Mario and Gros, Sébastien and Diehl, Moritz Rotational start-up of tethered airplanes based on nonlinear MPC and MHE. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 1023-1028. ISBN 978-3-033-03962-9. (2013)

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)