IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Fri, 29 Mar 2024 02:20:27 +0100Fri, 29 Mar 2024 02:20:27 +0100en An Experimental Test Setup for Advanced Estimation and Control of an AirborneWind Energy System
http://eprints.imtlucca.it/4024/
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) Airborne Wind Energy Based on Dual Airfoils
http://eprints.imtlucca.it/4025/
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) A Lyapunov function for periodic economic optimizing Model Predictive Control
http://eprints.imtlucca.it/4026/
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) Model Predictive Control of Rigid-Airfoil Airborne Wind Energy Systems
http://eprints.imtlucca.it/4023/
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) A relaxation strategy for the optimization of Airborne Wind Energy systems
http://eprints.imtlucca.it/4042/
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) Nonlinear Moving Horizon Estimation for combined state and friction coefficient estimation in autonomous driving
http://eprints.imtlucca.it/4043/
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) Rotational start-up of tethered airplanes based on nonlinear MPC and MHE
http://eprints.imtlucca.it/4044/
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) Control of Airborne Wind Energy systems based on Nonlinear Model Predictive Control amp; Moving Horizon Estimation
http://eprints.imtlucca.it/4045/
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) An auto-generated nonlinear MPC algorithm for real-time obstacle avoidance of ground vehicles
http://eprints.imtlucca.it/4046/
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) Detection and removal of ocular artifacts from EEG signals for an automated REM sleep analysis
http://eprints.imtlucca.it/3774/
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) Combining pharmacological therapy and vaccination in Chronic Myeloid Leukemia via model predictive control
http://eprints.imtlucca.it/3773/
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) Bootstrapping Topological Properties and Systemic Risk of Complex Networks Using the Fitness Model
http://eprints.imtlucca.it/3392/
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) Targeted drug delivery across biological barriers using polymer nanoparticles
http://eprints.imtlucca.it/3265/
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) On the effect of macromolecular composition and drug loading on thermal and tensile mechanical properties of methyl methacrylate and butyl methacrylate copolymers
http://eprints.imtlucca.it/3248/
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) Interfacial cracks in bi-materials solids: Stroh formalism and skew-symmetric weight functions
http://eprints.imtlucca.it/3238/
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) Loading profile effects on dynamic crack propagation in couple stress elastic materials
http://eprints.imtlucca.it/3237/
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) Dynamic energy release rate in couple-stress elasticity
http://eprints.imtlucca.it/3236/
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) Analysis of interfacial crack propagation under asymmetric loading in anisotropic materials
http://eprints.imtlucca.it/3235/
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) Integral identities for a semi-infinite interfacial crack in anisotropic elastic bimaterials
http://eprints.imtlucca.it/3227/
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) On fracture criteria for dynamic crack propagation in elastic materials with couple stresses
http://eprints.imtlucca.it/3221/
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) Weight function approach to study a crack propagating along a bimaterial interface under asymmetric loading in anisotropic solids
http://eprints.imtlucca.it/3219/
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) MultiVeStA: Statistical Model Checking for Discrete Event Simulators
http://eprints.imtlucca.it/3068/
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) Size-Scale Effects on the Friction Coefficient: From Weak Faults at the Planetary Scale to Superlubricity at the Nanoscale
http://eprints.imtlucca.it/2970/
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) Family functioning and caregiver burden in Alzheimer’s disease
http://eprints.imtlucca.it/2968/
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) Differential Analysis of Interacting Automata with Immediate Actions
http://eprints.imtlucca.it/2962/
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) Hypersensitivity to pain in congenital blindness
http://eprints.imtlucca.it/2893/
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) How the brain heals emotional wounds: the functional neuroanatomy of forgiveness
http://eprints.imtlucca.it/2892/
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) Brain imaging and human nutrition: which measures to use in intervention studies?
http://eprints.imtlucca.it/2887/
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) Cholinergic enhancement differentially modulates neural response to encoding during face identity and face location working memory tasks
http://eprints.imtlucca.it/2885/
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) 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
http://eprints.imtlucca.it/2880/
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) Cholinergic enhancement reduces functional connectivity and BOLD variability in visual extrastriate cortex during selective attention
http://eprints.imtlucca.it/2874/
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) The effects of visual control and distance in modulating peripersonal spatial representation
http://eprints.imtlucca.it/2869/
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) Beyond motor scheme: a supramodal distributed representation in the action-observation network
http://eprints.imtlucca.it/2865/
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) Supervised Learning Modelization and Segmentation of Cardiac Scar in Delayed Enhanced MRI
http://eprints.imtlucca.it/2777/
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) Insensitivity to service-time distributions for fluid queueing models
http://eprints.imtlucca.it/2734/
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) A uniform definition of stochastic process calculi
http://eprints.imtlucca.it/2707/
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) Modelling exogenous variability in cloud deployments
http://eprints.imtlucca.it/2604/
Casale, Giuliano and Tribastone, Mirco Modelling exogenous variability in cloud deployments. Performance Evaluation Review, 40 (4). pp. 73-82. ISSN 0163-5999 (2013) A fluid model for layered queueing networks
http://eprints.imtlucca.it/2603/
Tribastone, Mirco A fluid model for layered queueing networks. IEEE Transactions on Software Engineering, 39 (6). pp. 744-756. ISSN 0098-5589 (2013) Lumpability of fluid models with heterogeneous agent types
http://eprints.imtlucca.it/2588/
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) ASCENS: engineering autonomic service-component ensembles
http://eprints.imtlucca.it/2582/
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) A simplified assessment of the dome and drum of the Basilica of S. Maria Assunta in Carignano in Genoa
http://eprints.imtlucca.it/2538/
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) A multi-scale strain-localization analysis of a layered strip with debonding interfaces
http://eprints.imtlucca.it/2537/
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) Acoustic velocity in layered rock masses with periodic fractures
http://eprints.imtlucca.it/2529/
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) Dispersive wave propagation in anisotropic materials with periodic microstructure
http://eprints.imtlucca.it/2518/
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) Dispersive acoustic waves in elastic periodic media: a non-local dynamic homogenization approach
http://eprints.imtlucca.it/2511/
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) Modellazione multi-scala di materiali auxetici a microstruttura periodica chirale
http://eprints.imtlucca.it/2510/
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) Sicurezza statica del sistema cupola-tamburo: il caso della Basilica di S. Maria Assunta di Carignano a Genova
http://eprints.imtlucca.it/2504/
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) A conceptual framework for collective adaptive systems
http://eprints.imtlucca.it/2496/
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) CAptLang: a language for context-aware and adaptable business processes
http://eprints.imtlucca.it/2495/
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) Concurrent flexible reversibility
http://eprints.imtlucca.it/2494/
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) On-the-fly adaptation of dynamic service-based systems: incrementality, reduction and reuse
http://eprints.imtlucca.it/2493/
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) Controlled reversibility and compensations
http://eprints.imtlucca.it/2490/
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) An SDP approach for l0-minimization: application to ARX model segmentation
http://eprints.imtlucca.it/2474/
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) A convex relaxation approach to set-membership identification of LPV systems
http://eprints.imtlucca.it/2473/
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) Fixed-order FIR approximation of linear systems from quantized input and output data
http://eprints.imtlucca.it/2472/
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) Computational load reduction in bounded error identification of Hammerstein systems
http://eprints.imtlucca.it/2471/
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) Bounding the parameters of block-structured nonlinear feedback systems
http://eprints.imtlucca.it/2470/
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) LPV model order selection in an LS-SVM setting
http://eprints.imtlucca.it/2460/
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) Direct data-driven control of linear parameter-varying systems
http://eprints.imtlucca.it/2459/
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) An instrumental Least Squares Support Vector Machine for system identification
http://eprints.imtlucca.it/2433/
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) Data-driven LPV modeling of continuous pulp digesters
http://eprints.imtlucca.it/2430/
Piga, Dario and Tóth, Roland Data-driven LPV modeling of continuous pulp digesters. Technical Report #002/2013 University of Technology, Eindhoven (Unpublished) An instrumental Least Squares Support Vector Machine for nonlinear system identification: enforcing zero-centering constraints
http://eprints.imtlucca.it/2429/
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) Video super-resolution via sparse combinations of key-frame patches in a compression context
http://eprints.imtlucca.it/2416/
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) K-WEB: Nonnegative dictionary learning for sparse image representations
http://eprints.imtlucca.it/2415/
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) Super-resolution using neighbor embedding of back-projection residuals
http://eprints.imtlucca.it/2414/
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) Compact and coherent dictionary construction for example-based super-resolution
http://eprints.imtlucca.it/2413/
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) Time evolution of Wikipedia network ranking
http://eprints.imtlucca.it/2389/
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) Highlighting entanglement of cultures via ranking of multilingual Wikipedia articles
http://eprints.imtlucca.it/2388/
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) Typing progress in communication-centred systems
http://eprints.imtlucca.it/2320/
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) A type system for flexible role assignment in multiparty communicating systems
http://eprints.imtlucca.it/2319/
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) Standardized evaluation framework for evaluating coronary artery stenosis detection, stenosis quantification and lumen segmentation algorithms in computed tomography angiography
http://eprints.imtlucca.it/2241/
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) Automated aortic supravalvular sinus detection in conventional computed tomography image
http://eprints.imtlucca.it/2240/
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) Region growing on frangi vesselness values in 3-D CTA data
http://eprints.imtlucca.it/2239/
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) Analysis of surface folding patterns of diccols using the GPU-Optimized geodesic field estimate
http://eprints.imtlucca.it/2236/
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) Hybrid control lyapunov functions for the stabilization of hybridsystems
http://eprints.imtlucca.it/2228/
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) Model predictive traction and steering control of planetary rovers
http://eprints.imtlucca.it/2227/
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) Proximal Newton methods for convex composite optimization
http://eprints.imtlucca.it/2226/
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) A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
http://eprints.imtlucca.it/2207/
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) Model predictive control application to spacecraft rendezvous in mars sample return scenario
http://eprints.imtlucca.it/2206/
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) A stochastic optimization approach to optimal bidding on dutch ancillary services markets
http://eprints.imtlucca.it/2178/
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) Reliability and efficiency for market parties in power systems
http://eprints.imtlucca.it/2177/
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) Stabilizing embedded MPC with computational complexity guarantees
http://eprints.imtlucca.it/2176/
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) Fixed-point dual gradient projection for embedded model predictive control
http://eprints.imtlucca.it/2175/
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) Influence of media on collective debates
http://eprints.imtlucca.it/2124/
Quattrociocchi, Walter and Caldarelli, Guido and Scala, Antonio Influence of media on collective debates. Working Paper # /2013 ArXiv (Submitted) Social networks and spatial distribution
http://eprints.imtlucca.it/2114/
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) Minimum weight multicolor dynamos
http://eprints.imtlucca.it/2090/
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) A Language-Based Approach to Autonomic Computing
http://eprints.imtlucca.it/2086/
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) Metodo degli spostamenti. Fondamenti teorici e applicazioni strutturali
http://eprints.imtlucca.it/2077/
Corrado, Mauro and Paggi, Marco Metodo degli spostamenti. Fondamenti teorici e applicazioni strutturali. CLUT Editrice, Torino. ISBN 9788879923521 (2013) Proceedings 6th Interaction and Concurrency Experience, ICE 2013
http://eprints.imtlucca.it/2059/
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) Combining Declarative and Procedural Views in the Specification and Analysis of Product Families
http://eprints.imtlucca.it/2058/
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) Constraint Design Rewriting
http://eprints.imtlucca.it/2057/
Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013) Modelling strain localization by cohesive (overlapping) zones in tension (compression): brittleness size effects and scaling in material properties
http://eprints.imtlucca.it/2050/
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) Numerical modelling of microcracking in PV modules induced by thermo-mechanical loads
http://eprints.imtlucca.it/2044/
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) A numerical investigation of the interplay between cohesive cracking and plasticity in polycrystalline materials
http://eprints.imtlucca.it/2043/
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) A multiscale approach for the seismic analysis of concrete gravity dams
http://eprints.imtlucca.it/2042/
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) A multi-physics and multi-scale numerical approach to microcracking and power-loss in photovoltaic modules
http://eprints.imtlucca.it/2041/
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) A theoretical approach to the interaction between buckling and resonance instabilities
http://eprints.imtlucca.it/2007/
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) Neuroimaging Evidence of Major Morpho-Anatomical and Functional Abnormalities in the BTBR T+TF/J Mouse Model of Autism
http://eprints.imtlucca.it/1919/
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) Application-Aware approach to compression and transmission of H.264 Encoded Video for automated and centralized transportation surveillance
http://eprints.imtlucca.it/1918/
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) Detecting Myocardial Ischemia at Rest With Cardiac Phase-Resolved Blood Oxygen Level-Dependent Cardiovascular Magnetic Resonance
http://eprints.imtlucca.it/1916/
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) Active contour model driven by Globally Signed Region Pressure Force
http://eprints.imtlucca.it/1915/
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) Learning Relatedness Measures for Entity Linking
http://eprints.imtlucca.it/1890/
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) Block Orthonormal Overcomplete Dictionary Learning
http://eprints.imtlucca.it/1856/
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) The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing
http://eprints.imtlucca.it/1850/
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) Linguistic abstractions for programming and policing autonomic computing systems
http://eprints.imtlucca.it/1852/
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) Special issue on Automated Specification and Verification of Web Systems (Editorial)
http://eprints.imtlucca.it/1854/
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) Constrained Model Predictive Control Based on Reduced-Order Models
http://eprints.imtlucca.it/1844/
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) Environmental Risk Assessment using the QSPR-Thesaurus Web tool
http://eprints.imtlucca.it/1847/
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) JAQPOT RESTful Web Services: An Implementation of the OpenTox Application Programming Interface for On-line Prediction of Toxicological Properties
http://eprints.imtlucca.it/1846/
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) ToxOtis: A Java Interface to the OpenTox Predictive Toxicology Network
http://eprints.imtlucca.it/1845/
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) (edited by) Coordination Models and Languages
http://eprints.imtlucca.it/1834/
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) Controlling Polyvariance for Specialization-based Verification
http://eprints.imtlucca.it/1619/
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) Proving theorems by program transformation
http://eprints.imtlucca.it/1832/
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) Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation
http://eprints.imtlucca.it/1812/
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) Stability and Invariance Analysis of Uncertain Discrete-Time Piecewise Affine Systems
http://eprints.imtlucca.it/1811/
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) Iron Deposition following Chronic Myocardial Infarction as a Substrate for Cardiac Electrical Anomalies: Initial Findings in a Canine Model
http://eprints.imtlucca.it/1800/
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) Estimation of Scribble Placement for Painting Colorization
http://eprints.imtlucca.it/1799/
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) MultiVeStA: Statistical Model Checking for Discrete Event Simulators
http://eprints.imtlucca.it/1798/
Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. Technical Report # /2013 (Unpublished) Editorial: A Successful Change From TNN to TNNLS and a Very Successful Year
http://eprints.imtlucca.it/1760/
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) Towards Automated Analysis of Joint Music Performance in the Orchestra
http://eprints.imtlucca.it/1790/
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) Expressive Non-Verbal Interaction in String Quartet
http://eprints.imtlucca.it/1764/
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) Flood hazard assessment via threshold binary classifiers: case study of the Tanaro River basin
http://eprints.imtlucca.it/1765/
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) Types of Leadership in a String Quartet
http://eprints.imtlucca.it/1791/
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) Optimality conditions for coordinate-convex policies in CAC with nonlinear feasibility boundaries
http://eprints.imtlucca.it/1774/
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) Optimality Conditions for Coordinate-Convex Policies in Call Admission Control via a Generalized Stochastic Knapsack Model
http://eprints.imtlucca.it/1775/
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) Learning with Hard Constraints
http://eprints.imtlucca.it/1769/
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) Learning Computationally Efficient Approximations of Complex Image Segmentation Metrics
http://eprints.imtlucca.it/1795/
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) Analysis of Music Ensemble Performance as a Test-bed for Social Interaction: Methods from Operations Research and Preliminary Results
http://eprints.imtlucca.it/1745/
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) Learning with Boundary Conditions
http://eprints.imtlucca.it/1730/
Gnecco, Giorgio and Gori, Marco and Sanguineti, Marcello Learning with Boundary Conditions. Neural Computation, 25 (4). pp. 1029-1106. ISSN 0899-7667 (2013) Dynamic Programming and Value-Function Approximation in Sequential Decision Problems: Error Analysis and Numerical Results
http://eprints.imtlucca.it/1728/
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) Statistical analysis of chemical computational systems with MULTIVESTA and ALCHEMIST
http://eprints.imtlucca.it/1697/
Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea Statistical analysis of chemical computational systems with MULTIVESTA and ALCHEMIST. Working Paper # /2013 (Submitted) Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
http://eprints.imtlucca.it/1655/
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 Applying Mean-field Approximation to Continuous Time Markov Chains
http://eprints.imtlucca.it/1620/
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 Stagewise K-SVD to Design Efficient Dictionaries for Sparse Representations
http://eprints.imtlucca.it/1609/
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) Design of Incoherent Frames via Convex Optimization
http://eprints.imtlucca.it/1608/
Rusu, Cristian Design of Incoherent Frames via Convex Optimization. IEEE Signal Processing Letters, 20 (7). pp. 673-676. ISSN 1070-9908 (2013) SPoT: Representing the Social, Spatial, and Temporal Dimensions of Human Mobility with a Unifying Framework
http://eprints.imtlucca.it/1588/
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 A Conceptual Framework for Adaptation
http://eprints.imtlucca.it/1584/
Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. Working Paper # /2013 (Unpublished) Adaptation is a Game
http://eprints.imtlucca.it/1583/
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) On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data
http://eprints.imtlucca.it/1572/
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) Specifying and analysing reputation systems with coordination languages
http://eprints.imtlucca.it/1571/
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) Network-aware evaluation environment for reputation systems
http://eprints.imtlucca.it/1569/
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) Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
http://eprints.imtlucca.it/1553/
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 Prioritisation of polybrominated diphenyl ethers (PBDEs) by using the QSPR-THESAURUS web tool
http://eprints.imtlucca.it/1531/
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) Network-aware Evaluation Environment for Reputation Systems
http://eprints.imtlucca.it/1537/
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 Adaptable transition systems
http://eprints.imtlucca.it/1535/
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) Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
http://eprints.imtlucca.it/1523/
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 Neuroimaging Evidence of Major Morpho-Anatomical and Functional Abnormalities in the BTBR T+TF/J Mouse Model of Autism
http://eprints.imtlucca.it/1514/
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) Acute reperfusion intramyocardial hemorrhage leads to regional chronic iron deposition in the heart
http://eprints.imtlucca.it/1513/
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) Acute Hemorrhagic Myocardial Infarction Leads to Localized Chronic Iron Deposition: A CMR Study
http://eprints.imtlucca.it/1512/
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) Active Contour Model driven by Globally Signed Region Pressure Force
http://eprints.imtlucca.it/1511/
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) Application-Aware Image Compression for Low Cost and Distributed Plant Phenotyping
http://eprints.imtlucca.it/1510/
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) Chronic Manifestation of Post-Reperfusion Intramyocardial Hemorrhage as Regional Iron Deposition: A Cardiovascular MR Study with Ex-vivo Validation
http://eprints.imtlucca.it/1509/
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) Application aware approach to compression and transmission of H.264 compressed video for automated and centralized transportation surveillance
http://eprints.imtlucca.it/1507/
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) CaSPiS: A Calculus of Sessions, Pipelines and Services
http://eprints.imtlucca.it/1493/
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 Is Europe Evolving Toward an Integrated Research Area?
http://eprints.imtlucca.it/1474/
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) A cooperative approach for distributed task execution in autonomic clouds
http://eprints.imtlucca.it/1429/
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) Generalization strategies for the verification of infinite state systems
http://eprints.imtlucca.it/1349/
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) Towards the specification and verification of modal properties for structured systems
http://eprints.imtlucca.it/1317/
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) Vehicle yaw stability control by coordinated active front steering and differential braking in the tire sideslip angles domain
http://eprints.imtlucca.it/1307/
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)