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

A

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted)

Abdelsamea, Mohammed and Gnecco, Giorgio Robust local–global SOM-based ACM. Electronics Letters, 51 (2). pp. 142-143. ISSN 0013-5194 (2015)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat A SOM-based Chan–Vese model for unsupervised image segmentation. Soft Computing. A Fusion of Foundations, Methodologies and Applications. pp. 1-21. ISSN 1432-7643 (In Press) (2015)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat An efficient Self-Organizing Active Contour model for image segmentation. Neurocomputing, 149 (Part B). 820 - 835. ISSN 0925-2312 (2015)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat and Elyan, Eyad On the Relationship between Variational Level Set-Based and SOM-Based Active Contours. Computational Intelligence and Neuroscience, 2015 (109029). ISSN 1687-5265 (2015)

Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science (8998). Springer International Publishing, pp. 429-448. ISBN 978-3-319-16309-3 (2015)

Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil and Kofroň, Jan and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, 19 (8998). Springer International Publishing, Cham, pp. 429-448. ISBN 978-3-319-16309-3 (2015)

Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015)

Andrić, Marina and De Nicola, Rocco and Lafuente, Alberto Lluch Replica-Based High-Performance Tuple Space Computing. In: Coordination Models and Languages.17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science (9037). Springer, pp. 3-18. ISBN 978-3-319-19282-6 (2015)

Andrić, Marina and De Nicola, Rocco and Lluch Lafuente, Alberto Replicating Data for Better Performances in X10. In: Semantics, Logics, and Calculi. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science (9560). Springer, pp. 236-251. ISBN 978-3-319-27810-0 (2015)

B

Bacigalupo, Andrea and Bellis, Maria Laura De Auxetic anti-tetrachiral materials: equivalent elastic properties and frequency band-gaps. Composite Structures , 131. 530 - 544. ISSN 0263-8223 (2015)

Bacigalupo, Andrea and Brencich, Antonio and Gambarotta, Luigi On the Statics of the Dome of the Basilica of S. Maria Assunta in Carignano, Genoa. In: Masonry Structures: Between Mechanics and Architecture. Springer International Publishing, pp. 101-126. ISBN 978-3-319-13002-6 (2015)

Bacigalupo, Andrea and Lepidi, Marco A lumped mass beam model for the wave propagation in anti-tetrachiral periodic lattices. In: 22° Conference of the Italian association of theoretical and applied mechanics AIMETA2015, September 14-17, 2015, Genova, Italy pp. 542-551. ISBN 978-88-97752-55-4. (2015)

Baldoni, Roberto and De Nicola, Rocco Il Futuro della Cyber Security in Italia. Un libro bianco per raccontare le principali sfide che il nostro Paese dovrà affrontare nei prossimi cinque anni. Consorzio Interuniversitario Nazionale per l'Informatica. ISBN 9788894137309 (2015)

Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015)

Bellio, Ruggero and Coletto, Mauro Simple outlier labeling based on quantile regression, with application to the steelmaking process. Applied Stochastic Models in Business and Industry, 32 (2). pp. 228-242. ISSN 1524-1904, (2015)

Bemporad, Alberto Solving Mixed-Integer Quadratic Programs via Nonnegative Least Squares. IFAC-PapersOnLine, 48 (23). pp. 73-79. ISSN 24058963 (2015)

Bemporad, Alberto A multiparametric quadratic programming algorithm with polyhedral computations based on nonnegative least squares. IEEE Transactions on Automatic Control , 60 (11). pp. 2892-2903. ISSN 0018-9286 (2015)

Bemporad, Alberto and Bernardini, Daniele and Patrinos, Panagiotis A convex feasibility approach to anytime model predictive control. Working Paper ArXiv (Submitted)

Bemporad, Alberto and Paggi, Marco Optimization algorithms for the solution of the frictionless normal contact between rough surfaces. International Journal of Solids and Structures, 69-70. pp. 94-105. ISSN 0020-7683 (2015)

Berardone, Irene and Kajari-Schröder, Sarah and Niepelt, R and Hensen, J and Steckenreiter, V and Paggi, Marco Numerical modelling and validation of thermally-induced spalling. Energy Procedia, 77. pp. 855-862. ISSN 1876-6102 (2015)

Bernardi, Giulio and Siclari, Francesca and Yu, Xiaoqian and Zennig, Corinna and Bellesi, Michele and Ricciardi, Emiliano and Cirelli, Chiara and Ghilardi, Maria Felice and Pietrini, Pietro and Tononi, Giulio Neural and Behavioral Correlates of Extended Training during Sleep Deprivation in Humans: Evidence for Local, Task-Specific Effects. The Journal of Neuroscience, 35 (11). pp. 4487-4500. ISSN 0270-6474 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bessi, Alessandro and Petroni, Fabio and Del Vicario, Michela and Zollo, Fabiana and Anagnostopoulos, Aris and Scala, Antonio and Caldarelli, Guido and Quattrociocchi, Walter Viral Misinformation: The Role of Homophily and Polarization. In: Proceedings of the 24th International Conference on World Wide Web, May 18 - 22, 2015, Florence pp. 355-356. ISBN 978-1-4503-3473-0. (2015)

Betta, Monica and Laurino, Marco and Gemignani, Angelo and Landi, Alberto and Menicucci, D. A Classification method for eye movements direction during REM sleep trained on wake electro-oculographic recordings. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), August 25-29, 2015, Milan, Italy pp. 370-373. ISSN 1558-4615. ISBN 978-1-4244-9271-8. (2015)

Betta, Monica and Laurino, Marco and Pugliese, A. and Guzzetta, Giorgio and Landi, Alberto and Manfredi, Piero Perspectives on optimal control of Varicella and Herpes Zoster by mass routine varicella vaccination: the effects of Immunity Boosting. In: 13th Viennese Workshop on Optimal Control and Dynamic Games, May 13-16, 2015, Wien (Unpublished) (2015)

Betta, Monica and Laurino, Marco and Pugliese, Andrea and Guzzetta, Giorgio and Landi, Alberto and Manfredi, Piero Optimal Varicella immunization programs for both Varicella and Herpes Zoster Control. In: Erice MathCompEpi 2015, August 30 - September 5, 2015, Erice, Italy (2015)

Bevilacqua, Marco and Rusu, Cristian and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Dictionary learning for unsupervised identification of ischemic territories in CP-BOLD Cardiac MRI at rest. Journal of cardiovascular magnetic resonance, 17 (Sup. 1). Q13. ISSN 1532-429X (2015)

Bonino, Daniela and Ricciardi, Emiliano and Bernardi, Giulio and Sani, Lorenzo and Gentili, Claudio and Vecchi, Tomaso and Pietrini, Pietro Spatial imagery relies on a sensory independent, though sensory sensitive, functional organization within the parietal cortex: A fMRI study of angle discrimination in sighted and congenitally blind individuals. Neuropsychologia, 68. 59 - 70. ISSN 0028-3932 (2015)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)

Borri, Claudia and Paggi, Marco Topological characterization of antireflective and hydrophobic rough surfaces: are random process theory and fractal modeling applicable? Journal of Physics D: Applied Physics, 48 (4). 045301. ISSN 1361-6463 (2015)

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Bortolussi, Luca and Hillston, Jane and Tribastone, Mirco Fluid performability analysis of nested automata models. Electronic Notes in Theoretical Computer Science, 310. pp. 27-47. ISSN 1571-0661 (2015)

Boschetto, Davide and Mirzaei, H. and Leong, R.W.L. and Grisan, Enrico Detection and density estimation of goblet cells in confocal endoscopy for the evaluation of celiac disease. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 25-29, 2015, Milan pp. 6248-6251. ISBN 978-1-4244-9270-1. (2015)

Boschetto, Davide and Mirzaei, H. and Leong, R.W.L. and Tarroni, Giacomo and Grisan, Enrico Semiautomatic detection of villi in confocal endoscopy for the evaluation of celiac disease. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 25-29, 2015, Milan pp. 8143-8146. ISBN 978-1-4244-9270-1. (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Hölzl, Matthias and Lluch Lafuente, Alberto and Vandin, Andrea and Wirsing, Martin Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 163-184. ISBN 978-3-319-16309-3 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lafuente, Alberto Lluch and Vandin, Andrea Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming, 99. 75 - 94. ISSN 0167-6423 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea A White Box Perspective on Behavioural Adaptation. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science (8950). Springer, pp. 552-581. ISBN 978-3-319-15544-9 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. Science of Computer Programming, 99. pp. 75-94. ISSN 0167-6423 (2015)

Budarapu, Pattabhi R. and Javvaji, Brahmanandam and Sutrakar, V. K. and Roy Mahapatra, D. and Zi, Goangseup and Rabczuk, Timon Crack propagation in graphene. Journal of Applied Physics, 118 (6). 064307. ISSN 0021-8979 (2015)

Budarapu, Pattabhi R. and Narayana, T.S.S. and Rammohan, B. and Rabczuk, Timon Directionality of sound radiation from rectangular panels. Applied Acoustics, 89. 128 - 140. ISSN 0003-682X (2015)

Bulej, Lubomír and Bureš, Tomáš and Gerostathopoulos, Ilias and Horký, Vojtěch and Keznikl, Jaroslav and Marek, Lukáš and Tschaikowski, Max and Tribastone, Mirco and Tůma, Petr Supporting performance awareness in autonomous ensembles. In: Software Engineering for Collective Autonomic Systems : the ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 291-322. ISBN 978-3-319-16310-9 (2015)

C

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Forward and Backward Bisimulations for Chemical Reaction Networks. In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain pp. 226-239. ISSN 1868-8969. ISBN 978-3-939897-91-0. (2015)

Carollo, Valerio and Borri, Claudia and Paggi, Marco A two-scale constitutive parameters identification procedure for elasto-plastic fracture. In: XIII International Conference on Computational Plasticity: fundamentals and applications (COMPLAS 2015), September 1-3, 2015, Barcelona, Spain pp. 922-931. ISBN 978-84-944244-6-5. (2015)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Narrowing the Search for Optimal Call-Admission Policies Via a Nonlinear Stochastic Knapsack Model. Journal of Optimization Theory and Applications, 164 (3). pp. 819-841. ISSN 0022-3239 (2015)

Coletto, Mauro and Lucchese, Claudio and Orlando, Salvatore and Perego, Raffaele Electoral predictions with Twitter: a machine-learning approach. In: 6th Italian Information Retrieval Workshop, 25-26 May 2015, Cagliari, Italy (2015)

Cominola, Andrea and Giuliani, Matteo and Piga, Dario and Castelletti, Andrea and Rizzoli, Andrea Emilio Benefits and challenges of using smart meters for advancing residential water demand modeling and management: a review. Environmental Modelling & Software, 72. pp. 198-214. ISSN 1364-8152 (2015)

Corrado, Mauro and Paggi, Marco Nonlinear fracture dynamics of laminates with finite thickness adhesives. Mechanics of Materials, 80B. pp. 183-192. ISSN 0167-6636 (2015)

D

De Nicola, Rocco A formal approach to autonomic systems programming: the SCEL language. In: Formal Aspects of Component Software. Lecture Notes in Computer Science . Springer, pp. 24-28. ISBN 978-3-319-15317-9 (2015)

De Nicola, Rocco and Hennicker, Rolf A homage to Martin Wirsing. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 1-12. ISBN 978-3-319-15545-6 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015)

De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Morisi, Rita and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Evaluating flood hazard at the catchment scale via machine-learning techniques. In: 8th Winter Conference of the Italian Operational Research Society (AIRO Winter 2015), January 25-30, 2015, Champoluc, Italy (2015)

Durisi, E. and Alikaniotis, Katia and Borla, Oscar and Bragato, F. and Costagli, Mauro and Giannini, Gianrossano and Monti, Valeria and Visca, L. and Vivaldo, Gianna and Zanini, Alba Design and simulation of an optimized e-linac based neutron source for {BNCT} research. Applied Radiation and Isotopes, 106. 63 - 67. ISSN 0969-8043 (2015)

E

Eom, Young-Ho and Boccaletti, Stefano and Caldarelli, Guido Concurrent enhancement of percolation and synchronization in adaptive networks. Working Paper arXiv (Submitted)

Erinosho, Mutiu F. and Ojo, Saheed Olalekan and Ajiboye, Joseph S. and Akinlabi, Esther T. Effect of Punch Diameters on Shear Extrusion of 6063 Aluminium Alloy. In: World Congress on Engineering, July 1-3, 2015, London, UK pp. 1240-1242. ISBN 978-988-14047-0-1. (2015)

G

Gaglianese, Anna and Costagli, Mauro and Ueno, Kenichi and Ricciardi, Emiliano and Bernardi, Giulio and Pietrini, Pietro and Cheng, Kang The direct, not V1-mediated, functional influence between the thalamus and middle temporal complex in the human brain is modulated by the speed of visual motion. Neuroscience, 284. 833 - 844. ISSN 0306-4522 (2015)

Gagliardi, Mariacristina Experimental and computational study of mechanical and transport properties of a polymer coating for drug-eluting stents. Therapeutic Delivery, 6 (11). pp. 1255-1268. ISSN 2041-5990 (2015)

Gagliardi, Mariacristina Polymeric PEGylated nanoparticles as drug carriers: How preparation and loading procedures influence functional properties. Journal of Applied Polymer Science, 132 (3). ISSN 0021-8995 (2015)

Gagliardi, Mariacristina and Mazzolai, Barbara Molecularly imprinted polymeric micro- and nano-particles for the targeted delivery of active molecules. Future Medicinal Chemistry, 7 (2). pp. 123-138. ISSN 1756-8919 (2015)

Gagliardi, Mariacristina and Michele, Federica and Mazzolai, Barbara and Bifone, Angelo Chemical synthesis of a biodegradable PEGylated copolymer from ε-caprolactone and γ-valerolactone: evaluation of reaction and functional properties. Journal of Polymer Research, 22 (2). pp. 1-12. ISSN 1022-9760 (2015)

Gast, Nicolas and Massonnet, Guillaume and Reijsbergen, Daniel and Tribastone, Mirco Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. In: 24th ACM International on Conference on Information and Knowledge Management, 2015, New York, USA pp. 703-712. ISBN 978-1-4503-3794-6. (2015)

Gentili, Claudio and Vanello, Nicola and Cristea, Ioana and David, Daniel and Ricciardi, Emiliano and Pietrini, Pietro Proneness to social anxiety modulates neural complexity in the absence of exposure: A resting state fMRI study using Hurst exponent. Psychiatry Research: Neuroimaging, 232 (2). 135 - 144. ISSN 0925-4927 (2015)

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015)

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015)

Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Service composition for collective adaptive systems. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 490-505. ISBN 978-3-319-15545-6 (2015)

Glowinski, Donald and Dardard, Floriane and Gnecco, Giorgio and Piana, Stefano and Camurri, Antonio Expressive non-verbal interaction in a string quartet: an analysis through head movements. Journal on Multimodal User Interfaces, 9 (1). pp. 55-68. ISSN 1783-7677 (2015)

Gnecco, Giorgio and Bemporad, Alberto and Gori, Marco and Morisi, Rita and Sanguineti, Marcello Online learning as an LQG optimal control problem with random matrices. In: 14th European Control Conference (ECC), July 15-17, 2015, Linz, Austria pp. 2482-2489. ISBN 978-3-9524269-3-7. (2015)

Gnecco, Giorgio and El Ouardighi, F. and Kogan, K. and Sanguineti, Marcello A Two-Player Differential Game Model for the Management of Transboundary Pollution and Environmental Absorption. In: 45th Conference of Italian Operational Research Society (AIRO 2015), September 7-10, 2015, Pisa, Italy pp. 306-307. (2015)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Foundations of Support Constraint Machines. Neural Computation, 27 (2). pp. 388-480. ISSN 0899-7667 (2015)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning With Mixed Hard/Soft Pointwise Constraints. IEEE Transactions on Neural Networks and Learning Systems, 26 (9). pp. 2019-2032. ISSN 2162-237X (2015)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning as Constraint Reactions. In: Artificial Neural Networks. Springer Series in Bio-/Neuroinformatics (4). Springer, pp. 245-270. ISBN 978-3-319-09903-3 (2015)

Gnecco, Giorgio and Morisi, Rita and Bemporad, Alberto Sparse Solutions to the Average Consensus Problem via Various Regularizations of the Fastest Mixing Markov-Chain Problem. IEEE Transactions on Network Science and Engineering, 2 (3). pp. 97-111. ISSN 2327-4697 (2015)

Gros, Sebastien and Zanon, Mario and Diehl, Moritz Baumgarte stabilisation over the SO(3) rotation group for control. In: 54th Conference on Decision and Control, December 15-18, 2015, Osaka, Japan pp. 620-625. ISBN 978-1-4799-7886-1. (2015)

H

Handjaras, Giacomo and Bernardi, Giulio and Benuzzi, Francesca and Nichelli, Paolo and Pietrini, Pietro and Ricciardi, Emiliano A topographical organization for action representation in the human brain. Human Brain Mapping, 36 (10). pp. 3832-3844. ISSN 1065-9471 (2015)

Hans, Christian and Sopasakis, Pantelis and Bemporad, Alberto and Jörg, Raisch and Reincke-Collon, Carsten Scenario-Based Model Predictive Operation Control of Islanded Microgrids. In: 54th IEEE Conference on Decision and Control, 15-18 December, 2015, Osaka, Japan pp. 3272-3277. ISBN 978-1-4799-7884-7. (2015)

Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted)

I

Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea Differential Bisimulation for a Markovian Process Algebra. In: Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science (9234). Springer, pp. 293-306. ISBN 978-3-662-48056-4 (2015)

Incerto, Emilio and Tribastone, Mirco and Trubiani, Catia A Proactive Approach for Runtime Self-adaptation Based on Queueing Network Fluid Analysis. In: Proceedings of the 1st International Workshop on Quality-Aware DevOps, August 30 - September 4, 2015, Bergamo, Italy pp. 19-24. ISBN 978-1-4503-3817-2. (2015)

J

Jeliazkova, Nina and Chomenides, Haralambos and Doganis, Philip and Fadeel, Bengt and Grafström, Roland and Hardy, Barry and Hastings, Janna and Hegi, Markus and Jeliazkov, Vedrin and Kochev, Nikolay and Kohonen, Pekka and Munteanu, Cristian and Sarimveis, Haralambos and Smeets, Bart and Sopasakis, Pantelis and Tsiliki, Georgia and Vorgrimmler, David and Willighagen, Egon The eNanoMapper database for nanomaterial safety information. Beilstein Journal of Nanotechnology, 6. pp. 1609-1634. ISSN 2190-4286 (2015)

Jo, Hang-Hyun and Perotti, Juan I. and Kaski, Kimmo and Kertész, János Correlated bursts and the role of memory range. Physical Review E, 92 (2). 022814. ISSN 1539-3755 (2015)

K

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

Kowal, Matthias and Tschaikowski, Max and Tribastone, Mirco and Schaefer, Ina Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 9-13, 2015, Lincoln, Nebraska pp. 407-417. ISBN 978-1-5090-0024-1. (2015)

L

Laurain, Vincent and Tóth, Roland and Piga, Dario and Zheng, Wei Xing An Instrumental Least Squares Support Vector Machine for Nonlinear System Identification. Automatica, 54. pp. 340-347. ISSN 0005-1098 (2015)

Laurino, Marco and Menara, Tommaso and Stella, Alessandro and Betta, Monica and Landi, Alberto Procoagulant control strategies for the human blood clotting process. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), August 25-29, 2015, Milan, Italy pp. 4439-4442. ISSN 1558-4615. ISBN 978-1-4244-9271-8. (2015)

Lin, Ying-Chia and Daducci, Alessandro and Meskaldji, Djalel-Eddine and Thiran, Jean-Philippe and Michel, Patrik and Meuli, Reto A and Krueger, Gunnar and Menegaz, Gloria and Granziera, Cristina Quantitative analysis of myelin and axonal remodeling in the uninjured motor network after stroke. Brain Connectivity, 5 (7). pp. 401-412. ISSN 2158-0014 (2015)

Lin, Ying-Chia and Gili, Tommaso and Tsaftaris, Sotirios A. and Gabrielli, Andrea and Iorio, Mariangela and Spalletta, Gianfranco and Caldarelli, Guido A Cortical and Sub-cortical Parcellation Clustering by Intrinsic Functional Connectivity. In: XXIII National Congress of the Italian Society of Psychophysiology, November 19-21, 2015, Lucca, Italy pp. 113-114. ISSN 1970-321X. (2015)

M

Minervini, Massimo and Rusu, Cristian and Damiano, Mario and Tucci, Valter and Bifone, Angelo and Gozzi, Alessandro and Tsaftaris, Sotirios A. Large-scale analysis of neuroimaging data on commercial clouds with content-aware resource allocation strategie. International Journal of High Performance Computing Applications, 29 (4). pp. 473-488. ISSN 1094-3420 (2015)

Minervini, Massimo and Rusu, Cristian and Tsaftaris, Sotirios A. Computationally efficient data and application driven color transforms for the compression and enhancement of images and video. In: Color Image and Video Enhancement. Springer, pp. 371-393. ISBN 978-3-319-09363-5 (2015)

Minervini, Massimo and Scharr, Hanno and Tsaftaris, Sotirios A. Image Analysis: The New Bottleneck in Plant Phenotyping [Applications Corner]. IEEE Signal Processing Magazine, 32 (4). pp. 126-131. ISSN 1053-5888 (2015)

Minervini, Massimo and Scharr, Hanno and Tsaftaris, Sotirios A. The significance of image compression in plant phenotyping applications. Functional Plant Biology, 42 (10). pp. 971-988. ISSN 1445-4408 (2015)

Minervini, Massimo and Tsaftaris, Sotirios A. Classification-aware distortion metric for HEVC intra coding. In: 2015 Visual Communications and Image Processing (VCIP), December 13-16, 2015, Singapore, Singapore (2015)

Mohammadi, Adeleh and Diehl, Moritz and Zanon, Mario Estimation of uncertain ARX models with ellipsoidal parameter variability. In: European Control Conference, July 15-17, 2015, Linz, Austria pp. 1766-1771. ISBN 978-3-9524-2693-7. (2015)

Morini, Lorenzo and Piccolroaz, Amdrea Boundary integral formulation for interfacial cracks in thermodiffusive bimaterials. Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 471 (2181). ISSN 0080-4630 (2015)

Morisi, Rita and Donini, Bruno and Lanconelli, Nico and Rosengarden, James and Morgan, John and Harden, Stephen and Curzen, Nick Semi-automated scar detection in delayed enhanced cardiac magnetic resonance images. International Journal of Modern Physics C, 26 (01). p. 1550011. ISSN 0129-1831 (2015)

Morisi, Rita and Gnecco, Giorgio and Lanconelli, Nico and Zanigni, Stefano and Manners, David Neil and Testa, Claudia and Evangelisti, Stefania and Gramegna, LauraLudovica and Bianchini, Claudio and Cortelli, Pietro and Tonon, Caterina and Lodi, Raffaele Binary and Multi-class Parkinsonian Disorders Classification Using Support Vector Machines. In: Pattern Recognition and Image Analysis. Lecture Notes in Computer Science, 9117 . Springer, pp. 379-386. ISBN 978-3-319-19389-2 (2015)

Mukhopadhyay, Anirban and Bevilacqua, Marco and Oksuz, Ilkay and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Data Driven Feature Learning for Representation of Myocardial BOLD MR Images. In: ISMRM 23st Annual Meeting, 30 May - 5 Jun 2015, Toronto, Ontario, Canada (Unpublished) (2015)

Mukhopadhyay, Anirban and Oksuz, Ilkay and Bevilacqua, Marco and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Unsupervised Myocardial Segmentation for Cardiac MRI. In: Medical Image Computing and Computer-Assisted Intervention. MICCAI 2015. Lecture Notes in Computer Science, 9351 . Springer, pp. 12-20. ISBN 978-3-319-24573-7 (2015)

Mukhopadhyay, Anirban and Oksuz, Ilkay and Bevilacqua, Marco and Tsaftaris, Sotirios A. Data-driven feature learning for myocardial segmentation of CP-BOLD MRI. In: Functional imaging and modeling of the heart. Springer, pp. 189-197. ISBN 978-3-319-20309-6 (2015)

O

Ojo, Saheed Olalekan and Erinosho, Mutiu F. and Ajiboye, Joseph S. Experimental Analysis for Lubricant and Punch Selection in Shear Extrusion of Aa-6063. Journal of Material Sciences & Engineering, 174 (4). ISSN 2169-0022 (2015)

Ojo, Saheed Olalekan and Grivet-Talocia, Stefano and Paggi, Marco Model order reduction applied to heat conduction in photovoltaic modules. Composite Structures, 119. pp. 477-486. ISSN 0263-8223 (2015)

Oksuz, Ilkay and Mukhopadhyay, Anirban and Bevilacqua, Marco and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Dictionary Learning Based Image Descriptor for Myocardial Registration of CP-BOLD MR. In: Medical Image Computing and Computer-Assisted Intervention. MICCAI 2015. Lecture Notes in Computer Science, 9350 . Springer, pp. 205-213. ISBN 978-3-319-24570-6 (2015)

Oksuz, Ilkay and Mukhopadhyay, Anirban and Bevilacqua, Marco and Yang, Hsin-Jung and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Effect of BOLD Contrast on Myocardial Registration. In: ISMRM 23st Annual Meeting, 30 May - 5 Jun 2015, Toronto, Ontario, Canada (Unpublished) (2015)

P

Paggi, Marco and He, Qi-Chang Evolution of the free volume between rough surfaces in contact. Wear, 336. pp. 86-95. ISSN 0043-1648 (2015)

Paggi, Marco and Reinoso, José An anisotropic large displacement cohesive zone model for fibrillar and crazing interfaces. International Journal of Solids and Structures, 69-70. pp. 106-120. ISSN 0020-7683 (2015)

Paggi, Marco and Sapora, Alberto An Accurate Thermoviscoelastic Rheological Model for Ethylene Vinyl Acetate Based on Fractional Calculus. International Journal of Photoenergy, 2015 (252740). ISSN 1687-529X (2015)

Patrinos, Panagiotis and Guiggiani, Alberto and Bemporad, Alberto A dual gradient-projection algorithm for model predictive control in fixed-point arithmetic. Automatica, 55. 226 - 235. ISSN 0005-1098 (2015)

Piga, Dario and Cox, Pepijn and Tóth, Roland and Laurain, Vincent LPV system identification under noise corrupted scheduling and output signal observations. Automatica, 53. pp. 329-338. ISSN 0005-1098 (2015)

Pryce, Lewis and Morini, Lorenzo and Andreeva, D. and Zagnetko, A. Interfacial Cracks in Piezoelectric Bimaterials: an approach based on Weight Functions and Boundary Integral Equations. Working Paper arXiv (Submitted)

Q

Quirynen, Rien and Zanon, Mario and Kozma, Attila and Diehl, Moritz A compression algorithm for real-time distributed nonlinear MPC. In: European Control Conference, July 15-17, 2015, Linz, Austria pp. 3422-3427. ISBN 978-3-9524-2693-7. (2015)

R

Romascano, David and Meskaldji, Djalel-Eddine and Bonnier, Guillaume and Simioni, Samanta and Rotzinger, David and Lin, Ying-Chia and Menegaz, Gloria and Roche, Alexis and Schluep, Myriam and Pasquier, Renaud Du and Richiardi, Jonas and Van De Ville, Dimitri and Daducci, Alessandro and Sumpf, Tilman Johannes and Fraham, Jens and Thiran, Jean-Philippe and Krueger, Gunnar and Granziera, Cristina Multicontrast connectometry: a new tool to assess cerebellum alterations in early relapsing-remitting multiple sclerosis. Human Brain Mapping, 36 (4). pp. 1609-1619. ISSN 1065-9471 (2015)

S

Sampathirao, Ajay Kumar and Sopasakis, Pantelis and Bemporad, Alberto and Patrinos, Panagiotis Distributed solution of stochastic optimal control problems on GPUs. In: 54th IEEE Conference on Decision and Control, 15-18 December, 2015, Osaka, Japan (2015)

Sanguineti, Marcello and Gnecco, Giorgio and Gori, Marco and Melacci, Stefano Dealing with mixed hard/soft constraints via Support constraint Machines. In: 45th Conference of Italian Operational Research Society (AIRO 2015), September 7-10, 2015, Pisa, Italy pp. 218-219. (2015)

Sannino, Sara and Gozzi, Alessandro and Cerasa, Antonio and Piras, Fabrizio and Scheggia, Diego and Manago, Francesca and Damiano, Mario and Galbusera, Alberto and Erickson, Lucy C. and De Pietri Tonelli, Davide and Bifone, Angelo and Tsaftaris, Sotirios A. and Caltagirone, Carlo and Weinberger, Daniel R. and Spalletta, Gianfranco and Papaleo, Francesco COMT Genetic Reduction Produces Sexually Divergent Effects on Cortical Anatomy and Working Memory in Mice and Humans. Cerebral Cortex, 25 (9). pp. 2529-2541. ISSN 1047-3211 (2015)

Schaigorodsky, Ana L. and Perotti, Juan I. and Billoni, Orlando V. Memory Kernel in the Expertise of Chess Players. Working Paper ArXiv (Submitted)

Shams, Farshad and Cerone, Antonio and De Nicola, Rocco On Integrating Social and Sensor Networks for Emergency Management. In: Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Lecture Notes in Computer Science (9509). Springer, pp. 145-160. ISBN 978-3-662-49224-6 (2015)

Shams, Farshad and Tribastone, Mirco Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. In: Quantitative Evaluation of Systems.12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Lecture Notes in Computer Science (9259). Springer, pp. 54-69. ISBN 978-3-319-22264-6 (2015)

Sopasakis, Pantelis and Bernardini, Daniele and Strauch, Hans and Bennani, Samir and Bemporad, Alberto Sloshing-aware attitude control of impulsively actuated spacecraft. In: European Control Conference, 15th-17th July 2015, Linz, Austria (In Press) (2015)

Sopasakis, Pantelis and Ntouskas, Sotiris and Sarimveis, Haralambos Robust model predictive control for discrete-time fractional-order systems. In: 23th Mediteranean Conference on Control and Automation, 16-19 june, 2015, Torremolinos, Spain pp. 384-389. ISBN 978-1-4799-9936-1. (2015)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos and Bemporad, Alberto Model Predictive Control for Linear Impulsive Systems. IEEE Transactions on Automatic Control , 60 (8). pp. 2277-2282. ISSN 0018-9286 (2015)

Spertino, F. and Ciocia, A. and Di Leo, P. and Tommasini, R. and Berardone, Irene and Corrado, Mauro and Infuso, Andrea and Paggi, Marco A power and energy procedure in operating photovoltaic systems to quantify the losses according to the causes. Solar Energy, 118. pp. 313-326. ISSN 0038-092X (2015)

SudhirSastry, Y.B. and Budarapu, Pattabhi R. and Madhavi, N. and Krishna, Y. Buckling analysis of thin wall stiffened composite panels. Computational Materials Science, 96, B. 459 - 471. ISSN 0927-0256 (2015)

SudhirSastry, Y.B. and Krishna, Y. and Budarapu, Pattabhi R. Parametric studies on buckling of thin walled channel beams. Computational Materials Science, 96, B. 416 - 424. ISSN 0927-0256 (2015)

T

Takapoui, Reza and Mohele, Nicholas and Boyd, Stephen and Bemporad, Alberto A Simple Effective Heuristic for Embedded Mixed-Integer Quadratic Programming. In: American Control Conference (ACC) 2016, July 6-8, 2016, Boston ISSN 2378-5861. ISBN 978-1-4673-8681-4. (2015)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 23522208 (2015)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 2352-2216 (2015)

ter Beek, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

W

Worthmann, Karl and Mehrez, Mohamed W. and Zanon, Mario and Mann, George K.I. and Gosine, Raymond G. and Diehl, Moritz Regulation of Differential Drive Robots using Continuous Time MPC without Stabilizing Constraints or Costs. IFAC-PapersOnLine, 48 (23). pp. 129-135. ISSN 2405-8963 (2015)

Y

Yang, Hsin-Jung and Dey, Damini and Sykes, Jane and Butler, John and Kali, Avinash and Cokic, Ivan and Sharif, Behzad and Li, Debiao and Tsaftaris, Sotirios A. and Slomka, Piotr and Prato, Frank S. and Dharmakumar, Rohan Whole-heart, free-breathing, three-dimensional myocardial BOLD MRI at 3T with simultaneous 13N-ammonia PET in canines. Journal of cardiovascular magnetic resonance, 17 (Sup. 1). Q126. ISSN 1532-429X (2015)

Yang, Shih-Wei and Budarapu, Pattabhi R. and Mahapatra, D. Roy and Bordas, Stéphane P.A. and Zi, Goangseup and Rabczuk, Timon A meshless adaptive multiscale method for fracture. Computational Materials Science, 96, B. 382 - 395. ISSN 0927-0256 (2015)

Z

Zanon, Mario Efficient Nonlinear Model Predictive Control Formulations for Economic Objectives with Aerospace and Automotive Applications. PhD Thesis thesis, KU Leuven. (2015)