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

Article

Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009)

Barbani, Niccoletta and Cristallini, Caterina and Pulizzi, R. and Donati, M. and Gagliardi, Mariacristina and Rechichi, A. and Guerra, Giulio D. and Giusti, Paolo Preparation and functional characterization of a polysaccharidic matrix microsphere-shaped for controlled drug release. Journal of Applied Biomaterials & Biomechanics, 7 (1). p. 54. ISSN 1722-6899 (2009)

Bardi, Ugo and Borri, Claudia and Lavacchi, Alessandro and Tolstogouzov, Alexander and Trunin, E.B. and Trunina, O.E Purification of liquid indium by electric current-induced impurity migration in a static transverse magnetic field. Scripta Materialia , 60 (6). 423 - 426. ISSN 1359-6462 (2009)

Bemporad, Alberto and Muñoz de la Peña, David Multiobjective model predictive control. Automatica, 45 (12). pp. 2823-2830. (2009)

Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Bracciali, Andrea and Bruni, Roberto and Lluch-Lafuente, Alberto On symbolic semantics for name-decorated contexts. Electronic Notes in Theoretical Computer Science, 229 (3). pp. 37-58. ISSN 1571-0661 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto Ten virtues of structured graphs. Electronic Communications of the EASST (ECEASST), 18. ISSN 1863-2122 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical design rewriting with Maude. Electronic Notes in Theoretical Computer Science, 238 (3). pp. 45-62. ISSN 1571-0661 (2009)

Budarapu, Pattabhi R. and Rammohan, B. and Vijay Kumar, S. and Satish Babu , D. and Raghuatnhan, R. Aero-Elastic Analysis of Stiffened Composite Wing Structure. Advances in vibration engineering and technologies, 8 (3). ISSN 0972-5768 (2009)

Carpinteri, Alberto and Corradini, Andrea and Mancini, Giuseppe and Paggi, Marco Il modello della fessura coesiva in trazione e compressione per la valutazione della duttilità degli elementi strutturali in calcestruzzo armato. Frattura ed Integrità Strutturale, 7. pp. 17-28. ISSN 1971-8993 (2009)

Carpinteri, Alberto and Corrado, Mauro and Mancini, Giuseppe and Paggi, Marco Size-scale effects on plastic rotational capacity of reinforced concrete beams. Structural Journal, 106 (6). pp. 887-896. ISSN 0889-3241 (2009)

Carpinteri, Alberto and Corrado, Mauro and Mancini, Giuseppe and Paggi, Marco A numerical approach to modelling size effects on the flexural ductility of RC beams. Materials and Structures, 42 (10). pp. 1353-1367. ISSN 1359-5997 (2009)

Carpinteri, Alberto and Paggi, Marco Asymptotic analysis in Linear Elasticity: from the pioneering studies by Wieghardt and Irwin until today. Engineering Fracture Mechanics, 76 (12). 1771 - 1784. ISSN 0013-7944 (2009)

Carpinteri, Alberto and Paggi, Marco A fractal interpretation of size-scale effects on strength, friction and fracture energy of faults. Chaos, Solitons and Fractals, 39 (2). 540 - 546. ISSN 0960-0779 (2009)

Carpinteri, Alberto and Paggi, Marco A top-down approach for the prediction of hardness and toughness of hierarchical materials. Chaos, Solitons and Fractals, 42 (4). 2546 - 2552. ISSN 0960-0779 (2009)

Carpinteri, Alberto and Paggi, Marco A unified interpretation of the power laws in fatigue and the analytical correlations between cyclic properties of engineering materials. International Journal of Fatigue, 31 (10). 1524 - 1531. ISSN 0142-1123 (2009)

Carpinteri, Alberto and Paggi, Marco and Corrado, Mauro and Mancini, Giuseppe The overlapping crack model for uniaxial and eccentric concrete compression tests. Magazine of Concrete Research, 61 (9). pp. 745-757. ISSN 0024-9831 (2009)

Carpinteri, Alberto and Paggi, Marco and Zavarise, Giorgio Cusp-catastrophe interpretation of the stick-slip behaviour of rough surfaces. Computer Modeling in Engineering and Sciences, 53 (3). pp. 1-23. ISSN 1526-1492 (2009)

Cristallini, Caterina and Ruffini, A. and Ranzani, T. and Barbani, Niccoletta and Rosellini, Elisabetta and Silvestri, Davide and Gagliardi, Mariacristina and Guerra, Giulio D. and Giusti, Paolo Smart polymer nanocomplexes obtained by template polymerisation for drug targeting. Journal of Applied Biomaterials & Biomechanics, 7 (1). p. 60. ISSN 1722-6899 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

Dharmakumar, Rohan and Zhang, Zheng and Koktzoglou, Ioannis and Tsaftaris, Sotirios A. and Li, Debiao Dual-contrast cellular magnetic resonance imaging. Molecular imaging, 8 (5). pp. 254-263. ISSN 1535-3508 (2009)

Di Cairano, Stefano and Bemporad, Alberto and Júlvez, Jorge Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics. Automatica, 45 (5). pp. 1243-1251. (2009)

Ferrara, Antonella and Rubagotti, Matteo A sub-optimal second order sliding mode controller for systems with saturating actuators. IEEE Transactions on Automatic Control , 54 (5). 1082 -1087. ISSN 0018-9286 (2009)

Gagliardi, Mariacristina and Silvestri, Davide and Barbani, Niccoletta and Cristallini, Caterina and Bellotti, E. and Parrini, S. and Giusti, Paolo Poly(methylmethacrylate-co-butylmethacrylate) copolymer from monomer-starved seeded semi-batch reaction for biomedical use. Journal of Applied Biomaterials & Biomechanics, 7 (1). p. 63. ISSN 1722-6899 (2009)

Gagliardi, Mariacristina and Silvestri, Davide and Cristallini, Caterina and Guadagni, M. and Crifaci, G. and Giusti, Paolo Study of drug release mechanisms from PLGA/PHBHV bi-layered biodegradable polymeric matrices. Journal of Applied Biomaterials & Biomechanics, 7 (1). p. 64. ISSN 1722-6899 (2009)

Gentili, Claudio and Ricciardi, Emiliano and Gobbini, Maria Ida and Santarelli, Maria Filomena and Haxby, James V. and Pietrini, Pietro and Guazzelli, Mario Beyond amygdala: default mode network activity differs between patients with social phobia and healthy controls. Brain Research Bulletin, 79 (6). 409 - 413. ISSN 0361-9230 (2009)

Gnecco, Giorgio and Sanguineti, Marcello Accuracy of Suboptimal Solutions to Kernel Principal Component Analysis. Computational Optimization and Applications, 42 (2). pp. 265-287. ISSN 0926-6003 (2009)

Gnecco, Giorgio and Sanguineti, Marcello The Weight-Decay Technique in Learning from Data: An Optimization Point of View. Computational Management Science, 6 (1). pp. 53-79. ISSN 1619-697X (2009)

Lavacchi, Alessandro and Bardi, Ugo and Borri, Claudia and Caporali, Stefano and Fossati, Alessio and Perissi, I. Cyclic voltammetry simulation at microelectrode arrays with COMSOL Multiphysics. Journal of Applied Electrochemistry, 39 (11). pp. 2159-2163. ISSN 0021-891X (2009)

Mangina, Constantine A. and Beuzeron-Mangina, Helen and Casarotto, Silvia and Chiarenza, Giuseppe A. and Pietrini, Pietro and Ricciardi, Emiliano Modulation of specific brain activity by the perceptual analysis of very subtle geometrical relationships of the Mangina-Test stimuli: a functional magnetic resonance imaging (fMRI) investigation in young healthy adults. International Journal of Psychophysiology, 73 (2). 157 - 163. ISSN 0167-8760 (2009)

Mangina, Constantine A. and Beuzeron-Mangina, Helen and Ricciardi, Emiliano and Pietrini, Pietro and Chiarenza, Giuseppe A. and Casarotto, Silvia Neural correlates of “analytical-specific visual perception” and degree of task difficulty as investigated by the Mangina-Test: A functional magnetic resonance imaging (fMRI) study in young healthy adults. International Journal of Psychophysiology, 73 (2). 150 - 156. ISSN 0167-8760 (2009)

Marin, Giovanni and Mazzanti, Massimiliano The dynamics of delinking in industrial emissions: The role of productivity, trade and R&D. Journal of Innovation Economics, 3 (1). p. 91. ISSN 2032-5355 (2009)

Paggi, Marco A dimensional analysis approach to fatigue in quasi-brittle materials. Frattura ed Integrità Strutturale, 10. pp. 43-53. ISSN 1971-8993 (2009)

Paggi, Marco and Carpinteri, Alberto Fractal and multifractal approaches for the analysis of crack-size dependent scaling laws in fatigue. Chaos, Solitons and Fractals, 40 (3). 1136 - 1145. ISSN 0960-0779 (2009)

Paggi, Marco and Lacidogna, Giuseppe and Cornetti, Pietro and Carpinteri, Alberto Towards a unified approach for the analysis of failure modes in FRP-retrofitted concrete beams. Advances in Structural Engineering, 12 (5). pp. 715-729. ISSN 1369-4332 (2009)

Pietrini, Pietro and Bambini, Valentina Homo ferox: the contribution of functional brain studies to understanding the neural bases of aggressive and criminal behavior. International Journal of Law and Psychiatry, 32 (4). 259 - 265. ISSN 0160-2527 (2009)

Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko A symbolic semantics for a clculus for service-oriented computing. Electronic Notes in Theoretical Computer Science, 241. pp. 135-164. ISSN 1571-0661 (2009)

Quattrociocchi, Walter and Paolucci, Mario and Conte, Rosaria On the effects of informational cheating on social evaluations: image and reputation through gossip. International journal of knowledge and learning, 5 (5). pp. 457-471. ISSN 1741-1009 (2009)

Ricciardi, Emiliano and Bonino, Daniela and Sani, Lorenzo and Vecchi, Tomaso and Guazzelli, Mario and Haxby, James V. and Fadiga, Luciano and Pietrini, Pietro Do we really need vision? How blind people "see" the actions of others. The Journal of Neuroscience, 29 (31). ISSN 0270-6474 (2009)

Ricciardi, Emiliano and Pietrini, Pietro and Schapiro, Mark B. and Rapoport, Stanley I. and Furey, Maura L. Cholinergic modulation of visual working memory during aging: a parametric PET study. Brain Research Bulletin, 79 (5). 322 - 332. ISSN 0361-9230 (2009)

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundamenta Informaticae, 96 (3). pp. 373-393. ISSN 1875-8681 (2009)

Silvestri, Davide and Cristallini, Caterina and Gagliardi, Mariacristina and Barbani, Niccoletta and D'Acunto, M. and Ciardelli, G. and Giusti, Paolo Acrylic Copolymers as Candidates for Drug-Eluting Coating of Vascular Stents. Journal of Biomaterials Applications, 24 (4). pp. 353-383. ISSN 0885-3282 (2009)

Silvestri, Davide and Gagliardi, Mariacristina and Barbani, Niccoletta and Cristallini, Caterina and Giusti, Paolo Synthesis and characterization of copolymers of methylmethacrylate and 2-hydroxyethyl methacrylate for the aqueous solubilization of Paclitaxel. Drug Delivery, 16 (2). pp. 116-124. ISSN 1071-7544 (2009)

Silvestri, Davide and Gagliardi, Mariacristina and Cristallini, Caterina and Baldoli, I. and Zecca, C. and Giusti, Paolo Drug elution of hydrophilic and hydrophobic drugs from biostable acrylic matrices. Journal of Applied Biomaterials & Biomechanics, 7 (1). p. 72. ISSN 1722-6899 (2009)

Silvestri, Davide and Gagliardi, Mariacristina and Cristallini, Caterina and Barbani, Niccoletta and Giusti, Paolo Different composition poly(methyl methacrylate-co-butyl methacrylate) copolymers through seeded semi-batch emulsion polymerization. Polymer Bulletin, 63 (3). pp. 423-439. ISSN 0170-0839 (2009)

Tribastone, Mirco and Duguid, Adam and Gilmore, Stephen The PEPA eclipse plugin. Performance Evaluation Review, 36 (4). pp. 28-33. ISSN 0163-5999 (2009)

Tsaftaris, Sotirios A. and Tang, Richard and Klein, Rachel and Li, Debiao and Dharmakumar, Rohan Visualizing regional myocardial oxygenation changes with statistically optimal colormaps. Journal of cardiovascular magnetic resonance, 11 (Suppl ). P276. ISSN 1532-429X (2009)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Klein, Rachel and Dharmakumar, Rohan An automated method for left ventricular localization and identification of end-systolic and end-diastolic images from cine cardiac MRI. Journal of cardiovascular magnetic resonance, 11 (Suppl ). P222. ISSN 1532-429X (2009)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Li, Debiao and Dharmakumar, Rohan Automated detection and quantification of microcirculatory oxygenation changes in the heart. Journal of cardiovascular magnetic resonance, 11 (Suppl ). P216. ISSN 1532-429X (2009)

Vianello, Annamaria and Caponi, Laura and Franzoni, Ferdinando and Galetta, Fabio and Rossi, Marco and Taddei, Marco and Malvaldi, Gino and Pietrini, Pietro and Santoro, Gino Role of matrix metalloproteinases and their tissue inhibitors as potential biomarkers of left ventricular remodelling in the athlete’s heart. Clinical Science, 117 (4). pp. 157-164. ISSN 0143-5221 (2009)

Zhou, Xiangzhi and Tang, Richard and Klein, Rachel and Tsaftaris, Sotirios A. and Li, Debiao and Dharmakumar, Rohan Impact of temporal resolution on cardiac phase-resolved oxygen-sensitive myocardial steady-state free precession imaging. Journal of cardiovascular magnetic resonance, 11 (Suppl ). P178. ISSN 1532-429X (2009)

Book Section

Abbate, Stefano and Avvenuti, Marco and Corsini, Paolo and Vecchio, Alessio Localization of Shipping Containers in Ports and Terminals Using Wireless Sensor Networks. In: Proceedings of the International Conference on Computational Science and Engineering (CSE '09). IEEE, 587 -592. ISBN 978-1-4244-5334-4 (2009)

Alessio, Alessandro and Bemporad, Alberto A survey on explicit model predictive control. In: Assessment and Future Directions of Nonlinear Model Predictive Control. Springer-Verlag, pp. 345-369. (2009)

Bacigalupo, Andrea and Gambarotta, Luigi Costruire in muratura: un processo continuo di crescita strutturale. In: WONDERmasonry : workshop on Design for rehabilitation of masonry structures : tecniche di modellazione e progetto per interventi sul costruito in muratura. Polistampa, pp. 73-82. ISBN 978-88-596-0535-5 (2009)

Bacigalupo, Andrea and Gambarotta, Luigi Micro-polar and second order homogenization of periodic masonry. In: AIMETA 2009 : atti del 19. congresso dell'Associazione italiana di meccanica teorica e applicata. Universita Politecnica delle Marche. ISBN 978-88-96378-08-3 (2009)

Bacigalupo, Andrea and Gambarotta, Luigi Non-local computational homogenization of periodic masonry for the in-plane analysis of shear walls. In: COMPDYN 2009: Computational methods in structural dynamics and earthquake engineering. 2nd International Conference. Institute of Strutural analysis and seismic Research, Greece, pp. 1-10. ISBN 978-960-254-682-6 (2009)

Barcelli, Davide and Bemporad, Alberto Decentralized model predictive control of dynamically-coupled linear systems: tracking under packet loss. In: Estimation and Control of Networked Systems. IFAC, 24th Sep. - 26th Sep. 2009, pp. 204-209. ISBN 978-3-902661-52-4 (2009)

Bemporad, Alberto and Di Cairano, Stefano and Ferrari-Trecate, Giancarlo and Kvasnica, Michal and Morari, Manfred and Paoletti, Simone Tools for modeling, simulation, control, and verification of piecewise affine systems. In: Handbook of Hybrid Systems Control: Theory, Tools, and Applications. Cambridge University Press, Cambridge, pp. 297-324. ISBN 9780521765053 (2009)

Bemporad, Alberto and Pascucci, Carlo A. and Rocchi, Claudio Hierarchical and hybrid model predictive control of quadcopter air vehicles. In: Analysis and Design of Hybrid Systems. IFAC, 16th Sep - 18th Sep 2009, pp. 14-19. ISBN 978-3-902661-59-3 (2009)

Bemporad, Alberto and Çamlıbel, M.Kanat and Heemels, W.P.M.H. and Van der Schaft, Arjan J. and Schumacher, J.M. and De Schutter, Bart Further switched systems. In: Handbook of hybrid systems control: theory, tools, and applications. Cambridge University Press, Cambridge, pp. 139-192. ISBN 9780521765053 (2009)

Benvenuti, Luca and Balluchi, Andrea and Bemporad, Alberto and Di Cairano, Stefano and Johansson, Bengt and Johansson, Rolf and Sangiovanni Vincentelli, Alberto and Tunest, Per Automotive control. In: Handbook of Hybrid Systems Control: Theory, Tools, and Applications. Cambridge University Press, Cambridge, pp. 439-470. ISBN 9780521765053 (2009)

Bernardini, Daniele and Bemporad, Alberto Scenario-based model predictive control of stochastic constrained linear systems. In: 48th IEEE Conference on Decision and Control. IEEE, pp. 6333-6338. ISBN 978-1-4244-3871-6 (2009)

Bernardini, Daniele and Di Cairano, Stefano and Bemporad, Alberto and Tseng, H. E. Drive-by-wire vehicle stabilization and yaw regulation: A hybrid model predictive control design. In: 48th IEEE Conference on Decision and Control. IEEE, pp. 7621-7626. ISBN 978-1-4244-3871-6 (2009)

Bernardini, Daniele and Muñoz de la Peña, David and Bemporad, Alberto and Frazzoli, Emilio Simultaneous optimal control and discrete stochastic sensor selection. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 5469 . Springer-Verlag Berlin Heidelberg, pp. 61-75. ISBN 978-3-642-00601-2 (2009)

Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto A Graph Syntax for Processes and Services. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 46-60. ISBN 978-3-642-14457-8 (2009)

Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)

Bucchiarone, Antonio and Lluch-Lafuente, Alberto and Marconi, Annapaola and Pistore, Marco A Formalisation of Adaptable Pervasive Flows. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 61-75. ISBN 978-3-642-14457-8 (2009)

Buscemi, Maria Grazia and Melgratti, Hernán C. Abstract Processes in Orchestration Languages. In: Proceedings of the 18th European Symposium on Programming (ESOP’09). Lecture Notes in Computer Science, 5502 . Springer, pp. 301-315. ISBN 978-3-642-00589-3 (2009)

Caires, Luis and Ferreira, Carla and Torres Vieira, Hugo A process calculus analysis of compensations. In: Trustworthy Global Computing. Lecture notes in computer science (5474). Springer, pp. 87-103. ISBN 978-3-642-00945-7 (2009)

Caires, Luis and Torres Vieira, Hugo Conversation types. In: Programming Languages and Systems. Lecture Notes in Computer Science (5502). Springer, pp. 285-300. ISBN 978-3-642-00590-9 (2009)

Carpinteri, Alberto and Lacidogna, Giuseppe and Paggi, Marco Delamination vs. shear failure in retrofitted concrete beams and related size-scale effects. In: Proceedings of the 12th International Conference on Fracture. Curran Associates, Inc, pp. 1445-1454. ISBN 978-1-6173-227-7 (2009)

Carpinteri, Alberto and Paggi, Marco A generalized dimensional analysis approach to fatigue crack growth. In: Proceedings of the 12th International Conference on Fracture. Curran Associates, Inc, pp. 6337-6346. ISBN 978-1-6173-227-7 (2009)

Carpinteri, Alberto and Paggi, Marco The mitigation of stress-singularities in Linear Elasticity. In: Proceedings of the 12th International Conference on Fracture. Curran Associates, Inc, pp. 6098-6107. ISBN 978-1-6173-227-7 (2009)

Cerone, Vito and Piga, Dario and Regruto, Diego Parameter bounds evaluation for linear systems with output backlash. In: Proceedings of the 15th IFAC Symposium on System Identification. IFAC, pp. 575-580. ISBN 978-3-902661-47-0 (2009)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership identification of block-structured nonlinear feedback systems. In: Proceedings of the 48th IEEE Conference on Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. IEEE, pp. 3643-3649. ISBN 978-1-4244-3872-3 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Quantitative analysis of web services using SRMC. In: Formal Methods for Web Services. Lecture Notes in Computer Science (5569). Springer, pp. 296-339. ISBN 978-3-642-01918-0 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Scalable analysis of scalable systems. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 5503 (5503). Springer, pp. 1-17. ISBN 978-3-642-00593-0 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Service-level agreements for service-oriented computing. In: Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science (5486). Springer, pp. 21-36. ISBN 978-3-642-03429-9 (2009)

Corrado, Mauro and Paggi, Marco and Carpinteri, Alberto Size-scale effects on the ductility of reinforced concrete structural elements. In: Proceedings of the 12th International Conference on Fracture. Curran Associates, Inc, pp. 2085-2084. ISBN 978-1-6173-227-7 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

Fagiano, Lorenzo and Milanese, Mario and Piga, Dario Kitenergy: a radical innovation in wind energy generation. In: Clean technology 2010: bioenergy, renewables, storage, grid, waste and sustainability: Technical Proceedings of the 2010 Clean Technology Conference and Expo. CRC Press, pp. 167-170. ISBN 978-1-4398-3419-0 (2009)

Ferrara, Antonella and Rubagotti, Matteo A dynamic obstacle avoidance strategy for a mobile robot based on sliding mode control. In: Proceedings of the Control Applications, (CCA) & Intelligent Control, (ISIC). IEEE, 1535 -1540. ISBN 978-1-4244-4601-8 (2009)

Ferrara, Antonella and Rubagotti, Matteo A sub-optimal second order sliding mode controller for current-fed induction motors. In: Proceedings of the American Control Conference (ACC '09). IEEE, 59 -64. ISBN 978-1-4244-4523-3 (2009)

Gnecco, Giorgio and Sanguineti, Marcello Regularization and Suboptimal Solutions in Learning from Data. In: Innovations in Neural Information Paradigms and Applications. Studies in Computational Intelligence (247). Springer, pp. 113-154. ISBN 978-3-642-04002-3 (2009)

Jøsang, Audun and Quattrociocchi, Walter Advanced features in Bayesian reputation systems. In: Trust, Privacy and Security in Digital Business. Lecture Notes in Computer Science (5695). Springer , pp. 105-114. ISBN 978-3-642-03748-1 (2009)

Kwak, Haewoon and Choi, Yoonchan and Eom, Young-Ho and Jeong, Hawoong and Moon, Sue Mining communities in networks. In: Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference - IMC '09. ACM, pp. 301-314. ISBN 978-1-60558-771-4 (2009)

König, Stefan and Balke, Tina and Quattrociocchi, Walter and Paolucci, Mario and Eymann, Torsten On the effects of reputation in the Internet of Services. In: Proceedings of the First International Conference on Reputation: Theory and Technology - ICORE 09. CNR ; ISTC , pp. 200-214. ISBN 978-88-85059-27-6 (2009)

Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. In: Information Systems Security (ICISS 2009). Lecture Notes in Computer Science, 5905 . Springer, pp. 55-70. ISBN 978-3-642-10771-9 (2009)

Paggi, Marco and Carpinteri, Alberto Generalized representations of fatigue and size-scale effects on the Paris and Wöhler regimes. In: Proceedings of the 12th International Conference on Fracture. Curran Associates, Inc, pp. 1855-1865. ISBN 978-1-6173-227-7 (2009)

Paggi, Marco and Carpinteri, Alberto A theoretical and numerical approach to the interaction between buckling and resonance instabilities in discrete and continuous mechanical systems. In: Proceedings of the 19th AIMETA Congress of Theoretical and Applied Mechanics. Aras Edizioni, pp. 1-10. ISBN 9788896378083 (2009)

Paggi, Marco and Carpinteri, Alberto and Orta, Renato A unified mathematical formulation for the asymptotic analysis of singular elastic and electromagnetic fields. In: Proceedings of the 19th AIMETA Congress of Theoretical and Applied Mechanics. Aras Edizioni, pp. 1-10. ISBN 9788896378083 (2009)

Paggi, Marco and Ferro, Giuseppe Fatigue of quasi-brittle materials: a unified interpretation of microstructural size, crack size and size-scale effects. In: Atti del XX Convegno Nazionale del Gruppo Italiano Frattura. Gruppo Italiano Frattura, pp. 33-43. ISBN 978-88-95940-25-0 (2009)

Paggi, Marco and Zavarise, Giorgio Contact mechanics of functionally graded rough surfaces. In: Proceedings of the 19th AIMETA Congress of Theoretical and Applied Mechanics. Aras Edizioni, pp. 1-10. ISBN 9788896378083 (2009)

Pietrini, Pietro and Ptito, Maurice and Kupers, Ron Blindness and Consciousness: New Light from the Dark. In: The Neurology of Consciousness. Cognitive Neuroscience and Neuropathology. Academic Press, San Diego, 360 - 374. ISBN 978-0-12-374168-4 (2009)

Plumbley, Mark D. and Bevilacqua, Marco Sparse reconstruction for compressed sensing using Stagewise Polytope Faces Pursuit. In: Proceedings of the 16th International Conference on Digital Signal Processing (DSP). IEEE, pp. 1-8. ISBN 978-1-4244-3298-1 (2009)

Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko On Observing Dynamic Prioritised Actions in SOC. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 558-570. ISBN 978-3-642-02929-5 (2009)

Quattrociocchi, Walter and Paolucci, Mario Reputation and uncertainty : a fairly optimistic society when cheating is total. In: Proceedings of the First International Conference on Reputation: Theory and Technology - ICORE 09. CNR ; ISTC, pp. 215-226. ISBN 978-88-85059-27-6 (2009)

Quattrociocchi, Walter and Paolucci, Mario and Conte, Rosaria Image and reputation coping differently with massive informational cheating. In: Visioning and engineering the knowledge society. A web science perspective. Lectures Notes in Computer Science (5736). Springer , pp. 574-583. ISBN 978-3-642-04754-1 (2009)

Ripaccioli, Giulio and Bemporad, Alberto and Assadian, F. and Dextreit, C. and Di Cairano, Stefano and Kolmanovsky, Ilya Hybrid modeling, identification, and predictive control: an application to hybrid electric vehicle energy management. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science (5469). Springer-Verlag Berlin Heidelberg, pp. 321-335. ISBN 978-3-642-00601-2 (2009)

Rizzoni, Giorgio and Onori, Simona and Rubagotti, Matteo Diagnosis and prognosis of automotive systems: motivations, history and some results. In: Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes. IFAC, pp. 191-202. ISBN 978-3-902661-46-3 (2009)

Rubagotti, Matteo and Onori, Simona and Rizzoni, Giorgio Automotive battery prognostics using dual Extended Kalman Filter. In: Proceedings of the Dynamic Systems and Control Conference (DSCC2009). American Society of Mechanical Engineers, pp. 257-263. ISBN 978-0-7918-4893-7 (2009)

Sarimveis, Haralambos and Sopasakis, Pantelis and Afantitis, Antreas and Melagraki, Georgia A Model Predictive Control Approach for Optimal Drug Administration. In: Chemical Engineering Transactions, Series. AIDIC, pp. 1311-1316. ISBN 978-88-95608-01-3 (2009)

Tribastone, Mirco Differential analysis of PEPA models. In: Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). Informatics Forum - University of Edinburgh, pp. 7-12. (2009)

Trimboli, Sergio and Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya Model predictive control for systems with time delay: an application to air-fuel ratio control in automotive engines. In: Time Delay Systems. IFAC, pp. 90-95. ISBN 10.3182/20090901-3-RO-4009.00012 (2009)

Tsaftaris, Sotirios A. and Noutsos, Christos Plant phenotyping with low cost digital cameras and image analytics. In: Information technologies in environmental engineering. Environmental Science and Engineering, 2 . Springer-Verlag, pp. 238-251. ISBN 978-3-540-88351-7 (2009)

Working Paper

Caires, Luis and Torres Vieira, Hugo Spatial logic model checker user’s guide : version 1.15. Technical Report #04/2009 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Conference or Workshop Item

Bemporad, Alberto Modeling and control of hybrid dynamical systems: the hybrid toolbox for MATLAB. In: MATHMOD Conference, 11th - 13th February 2009, Vienna, Austria pp. 82-100. (2009)

Bemporad, Alberto and Muñoz de la Peña, David Multiobjective model predictive control based on convex piecewise affine costs. In: European Control Conference, Budapest, Hungary, 23th -26th August 2009 pp. 2402-2407. (2009)

Bernardini, Daniele and Bemporad, Alberto Energy-aware robust model predictive control with feedback from multiple noisy wireless sensors. In: European Control Conference , Budapest, Hungary, 23th -26th August 2009 pp. 4308-4313. (Unpublished) (2009)

Borri, Claudia and Lavacchi, Alessandro and Fossati, Alessio and Perissi, Ilaria and Bardi, Ugo Finite element analysis of thermal fatigue in thermal barrier coatings (TBC). In: Comsol Conference 2009, Milan, Italy (2009)

Dharmakumar, Rohan and Koktzoglou, Ioannis and Tsaftaris, Sotirios A. and Zuehlsdorff, Sven and Tang, Richard and Graham, Wright and Li, Debiao Visualization and tracking of a conventional guidewire with low flip angle SSFP imaging: an initial study. In: 17th Meeting of the international society for magnetic resonance in medicine, 18-24 April 2009, Honolulu, Hawaii (Submitted) (2009)

Di Cairano, Stefano and Bemporad, Alberto Model predictive controller matching: Can MPC enjoy small signal properties of my favorite linear controller? In: European Control Conference, Budapest, Hungary, 23th -26th August 2009 pp. 2217-2222. (2009)

Gagliardi, Mariacristina and Silvestri, Davide and Cristallini, Caterina and Barbani, Niccoletta and Giusti, Paolo Computational evaluation of the mechanical behaviour of drug-loaded coatings for endovascular stents. In: 22nd European Conference on Biomaterials, September 7-11, 2009, Lausanne, Switzerland (Unpublished) (2009)

Gagliardi, Mariacristina and Silvestri, Davide and Cristallini, Caterina and Giusti, Paolo Single and simultaneous release of drugs with different hydrophilicity from acrylic matrices. In: Congresso Nazionale Biomateriali, June 15-17, 2009, Salice Terme, Italy (Unpublished) (2009)

Gnecco, Giorgio and Sanguineti, Marcello Approximate Dynamic Programming by Value-Function Approximation via Variable-Basis Schemes. In: AIRO 2009, September 8th-11th, 2009, Siena, Italy p. 10. (2009)

Gnecco, Giorgio and Sanguineti, Marcello Lipschitz Continuity of the Solutions to Team Optimization Problems Revisited. In: International Conference on Mathematical Science and Engineering (ICMSE 09) , October 28th-30th, 2009, Venice, Italy (2009)

Gnecco, Giorgio and Sanguineti, Marcello Smoothness and Approximation of Optimal Decision Strategies in Team Optimization Problems. In: AIRO 2009, September 8th-11th, 2009, Siena, Italy p. 13. (2009)

Gnecco, Giorgio and Sanguineti, Marcello Structural Properties of Stochastic Dynamic Concave Optimization Problems and Approximations of the Value and Optimal Policy Functions. In: AIRO 2008, September 8th–11th, 2008, Ischia, Italy p. 16. (2009)

Gnecco, Giorgio and Sanguineti, Marcello Suboptimal Solutions to Network Team Optimization Problems. In: International Network Optimization Conference (INOC 2009), April 26th-29th, 2009, Pisa, Italy (2009)

Guerra, Giulio D. and Barbani, Niccoletta and Cristallini, Caterina and Gagliardi, Mariacristina and Rosellini, Elisabetta and Silvestri, Davide Poly(vinil alcohol)-chitosan blends modified by means of a dehydrothermal treatment. In: Congresso Nazionale Biomateriali, June 15-17, 2009, Salice Terme, Italy (Unpublished) (2009)

Paggi, Marco and Zavarise, Giorgio Contact of microscopically rough surfaces with graded elasticity. In: 1st International Conference on Computational Contact Mechanics ICCCM09, September 16-19, 2009, Lecce, Italy (2009)

Perissi, I. and Borri, Claudia and Caporali, Stefano and Lavacchi, Alessandro Current Density Simulations in the Electrodeposition from Ionic Liquids: Effects of the Conductivity. In: COMSOL Conference 2009, 2009, Milan (Italy) (2009)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Linear Temporal Logic. In: CILC09, 24-esimo Convegno Italiano di Logica Computazionale, 24-26 Giugno 2009, Università di Ferrara, Italy pp. 1-17. (Submitted) (2009)

Rota, Giuseppina and Ricciardi, Emiliano and Sani, Lorenzo and Gentili, Claudio and Vanello, Nicola and Guazzelli, Mario and Pietrini, Pietro Neural correlates of extinction of moral pain through forgiveness. In: 15th Annual Meeting of the Organization for Human Brain Mapping, San Francisco, USA, June 18–23, 2009 ISSN 1053-8119. (2009)

Rubagotti, Matteo and Raimondo, Davide Martino and Ferrara, Antonella and Magni, Lalo Robust model predictive control of continuous-time sampled-data nonlinear systems with integral sliding mode. In: European Control Conference, 23-26 August 2009, Budapest, Hungary (Submitted) (2009)

Silvestri, Davide and Gagliardi, Mariacristina and Cristallini, Caterina and Giusti, Paolo Single and combined drug elution of hydrophilic and hydrophobic drugs from acrylic matrices obtained by monomer-starved seeded semi-batch emulsion polymerization. In: 22nd European Conference on Biomaterials, September 7-11, 2009, Lausanne, Switzerland (Unpublished) (2009)

Sopasakis, Pantelis and Golnas, A. and Apratzanis, N. and Charitides, C.A. Forecasting of the technological and market evolution of QDs using an ARIMA stochastic process. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos Development of a methodology for the computation of a near-optimal explicit control law for nonlinear systems that are subject to constraints coupling fuzzy model predictive control and multi-parametric programming. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos Explicit control for nonlinear constrained systems combining fuzzy model predictive control and multiparametric programming. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Sopasakis, Pantelis and Sarimveis, Haralambos Formulation and solution of an optimal control problem where the input values are restricted on a finite set. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Tsaftaris, Sotirios A. and Tang, Richard and Klein, Rachel and Li, Debiao and Dharmakumar, Rohan Visualizing and quantifying myocardial oxygenation changes with statistically optimal colormaps. In: 17th Meeting of the international society for magnetic resonance in medicine, 18-24 April 2009, Honolulu, Hawaii (Submitted) (2009)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Klein, Rachel and Dharmakumar, Rohan An intensity based statistical approach for left ventricular localization and identification of end-systolic and end-diastolic images from cine cardiac MRI. In: 17th Meeting of the international society for magnetic resonance in medicine, 18-24 April 2009, Honolulu, Hawaii (Unpublished) (2009)

Book

Carpinteri, Alberto and Lacidogna, Giuseppe and Paggi, Marco Calcolo delle strutture isostatiche. Ingegneria Strutturale . Pitagora Editrice Bologna. ISBN 88-371-1782-5 (2009)

Paggi, Marco and Rossani, Alberto Introduzione alla termomeccanica dei continui. Quaderni di matematica per le scienze applicate, 4 . Celid. ISBN 978-88-7661-829-1 (2009)