Logo eprints

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: A | B | C | D | E | F | G | H | J | K | L | M | P | Q | R | S | T | Z
Number of items: 170.

A

Abbate, Stefano and Avvenuti, Marco and Biondi, Alessandro and Vecchio, Alessio Estimation of energy consumption in wireless sensor networks using TinyOS 2.x. In: Consumer Communications and Networking Conference (CCNC). IEEE, 842 -843. ISBN 978-1-4244-8789-9 (2011)

Abbate, Stefano and Avvenuti, Marco and Cola, Guglielmo and Corsini, Paolo and Light, Janet and Vecchio, Alessio Recognition of false alarms in fall detection systems. In: Consumer Communications and Networking Conference (CCNC). IEEE, 23 -28. ISBN 978-1-4244-8789-9 (2011)

Acciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011)

Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011)

Alessio, Alessandro and Barcelli, Davide and Bemporad, Alberto Decentralized model predictive control of dynamically coupled linear systems. Journal of Process Control, 21 (5). 705 - 714. ISSN 0959-1524 (2011)

Amblard, Frederic and Casteigts, Arnaud and Flocchini, Paola and Quattrociocchi, Walter and Santoro, Nicola On the temporal analysis of scientific network evolution. In: Proceedings of the International Conference on Computational Aspects of Social Networks (CASoN). IEEE, pp. 169-174. ISBN 978-1-4577-1132-9 (2011)

Arijo, Niaz and Heckel, Reiko and Tribastone, Mirco and Gilmore, Stephen Modular performance modelling for mobile applications. In: Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11. ACM, pp. 329-334. ISBN 978-1-4503-0519-8 (2011)

B

Bacigalupo, Andrea Omogeneizzazione multi-scala di materiali a microstruttura periodica mediante sviluppi asintotici dell'energia di deformazione. In: AIMETA 2011: atti del 20. congresso dell'Associazione Italiana di Meccanica Teorica e Applicata:. Università di Bologna. ISBN 978-88-906340-0-0 (2011)

Bacigalupo, Andrea and Cavicchi, Andrea and Gambarotta, Luigi A simplified evaluation of the influence of the bond pattern on the brickwork limit strength. Advanced Materials Research, 368-73. pp. 3495-3508. ISSN 1662-8985 (2011)

Bacigalupo, Andrea and Cavicchi, Andrea and Gambarotta, Luigi A simplified evalutation of the influence of the bond pattern on the brickwork limit strength. In: 11th North American Masonry Conference 2011, 5-8 June 2011, Minneapolis (USA) (Unpublished) (2011)

Bacigalupo, Andrea and Gambarotta, Luigi High continuity second-order homogenization of in-plane loaded periodic masonry. In: COMPDYN 2011: Computational methods in structural dynamics and earthquake engineering, 3rd international thematic conference. National Technical University of Athens, pp. 1808-1822. ISBN 9789609999403 (2011)

Bacigalupo, Andrea and Gambarotta, Luigi Multi-scale modelling of periodic masonry: size effects, characteristic lengths and dispersive waves. In: AIMETA 2011: atti del 20. congresso dell'Associazione Italiana di Meccanica Teorica e Applicata:. Università di Bologna. ISBN 978-88-906340-0-0 (2011)

Bacigalupo, Andrea and Gambarotta, Luigi Non-local computational homogenization of periodic masonry. International Journal for Multiscale Computational Engineering, 9 (5). pp. 565-578. ISSN 1543-1649 (2011)

Bacigalupo, Andrea and Gambarotta, Luigi Non-local modelling of blocky rock masses with periodic jointed structure. In: COMGEOII: The Second International Symposium on Computational Geomechanics, 27-29 April 2011, Cavtat-Dubrovnik, Croatia (2011)

Bacigalupo, Andrea and Gambarotta, Luigi Un approccio multi-scala per la determinazione delle proprietà meccaniche di materiali eterogenei a micro-struttura periodica. In: GMA 2011: Riunione del Gruppo Materiali dell’AIMETA, February, 23-25 2011, Udine, Italy (Unpublished) (2011)

Baltazar, Pedro and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing dynamic roles in multiparty interaction. In: INForum - Simpósio de Informática , 8th-9th September 2011, Coimbra, Portugal pp. 1-12. (Unpublished) (2011)

Bambini, Valentina and Gentili, Claudio and Ricciardi, Emiliano and Bertinetto, Pier Marco and Pietrini, Pietro Decomposing metaphor processing at the cognitive and neural level through functional magnetic resonance imaging. Brain Research Bulletin, 86 (3–4). 203 - 216. ISSN 0361-9230 (2011)

Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco An accessible verification environment for UML models of services. Journal of Symbolic Computation, 46 (2). pp. 119-149. ISSN 0747-7171 (2011)

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Bemporad, Alberto and Barcelli, Davide and Ripaccioli, Giulio Decentralized hierarchical multi-rate control of constrained linear systems. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 277-283. ISBN 978-3-902661-93-7 (2011)

Bemporad, Alberto and Bernardini, Daniele and Spinelli, Andrea and Cuzzola, Francesco Alessandro Optimization-based AFC automatic flatness control in cold tandem rolling : an integrated flatness optimization approach for the whole tandem mill. Technical Report # /2011

Bemporad, Alberto and Di Cairano, Stefano Model-predictive control of discrete hybrid stochastic automata. IEEE Transactions on Automatic Control , 56 (6). 1307 -1321. ISSN 0018-9286 (2011)

Bemporad, Alberto and Oliveri, Alberto and Poggi, Tomaso and Storace, Marco Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations. IEEE Transactions on Automatic Control , 56 (12). 2883-2897 . ISSN 0018-9286 (2011)

Bemporad, Alberto and Puglia, Laura and Gabbriellini, Tommaso A stochastic model predictive control approach to dynamic option hedging with transaction costs. In: Proceedings of the American Control Conference (ACC), 2011. IEEE, pp. 3862-3867. ISBN 978-1-4577-0080-4 (2011)

Bemporad, Alberto and Rocchi, Claudio Decentralized hybrid model predictive control of a formation of unmanned aerial vehicles. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 11900-11906. ISBN 978-3-902661-93-7 (2011)

Bemporad, Alberto and Rocchi, Claudio Decentralized linear time-varying model predictive control of a formation of unmanned aerial vehicles. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 7488 -7493. ISBN 978-1-61284-800-6 (2011)

Bernardini, Daniele Model predictive control of stochastic and networked systems. PhD Thesis thesis, Università degli studi di Siena. (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Boreale, Michele and Pampaloni, Francesca and Paolini, Michela Asymptotic information leakage under one-try attacks. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science, 6604 (6604). Springer, pp. 396-410. ISBN 978-3-642-19804-5 (2011)

Boreale, Michele and Pampaloni, Francesca and Paolini, Michela Quantitative information flow, with a view. In: Computer Security – ESORICS 2011. Lecture Notes in Computer Science, 6879 (6879). Springer, pp. 588-606. ISBN 978-3-642-23821-5 (2011)

Borri, Claudia and Bardi, Ugo and Giolli, Carlo and Giorgetti, Andrea and Meneghetti, S. and Nocivelli, J. and Scrivani, A. Net energy return (EROEI) of Thermal Barrier Coatings in turbine engines. In: International Thermal Spray Conference, September 27-29, 2011, Hamburg, Germany 568 -579. ISBN 978-3-87155-268-7. (2011)

Brunetti, Sara and Lodi, Elena and Quattrociocchi, Walter Dynamic monopolies in colored tori. In: IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW). IEEE, pp. 626-631. ISBN 978-0-7695-4577-6 (2011)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical models for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 349-368. ISBN 978-3-642-20400-5 (2011)

Bruni, Roberto and Foster, Howard and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio A formal support to business and architectural design for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 133-152. ISBN 978-3-642-20400-5 (2011)

Bruni, Roberto and Lluch-Lafuente, Alberto Evaluating the performance of model transformation styles in Maude. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (7253). Springer, pp. 76-96. ISBN 978-3-642-35743-5 (2011)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo On structured model-driven transformations. International journal of software and informatics, 5 (1-2). pp. 185-206. ISSN 1673-7288 (2011)

Bullo, Daniele and Ferrara, Antonella and Rubagotti, Matteo Sliding mode observers for sensorless control of current-fed induction motors. In: Proceedings of the American Control Conference (ACC), 2011. IEEE, 763 -768. ISBN 978-1-4577-0080-4 (2011)

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Technical Report # /2011 Università di Pisa, Dipartimento di Informatica

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted)

Buscemi, Maria Grazia and Melgratti, Hernán C. Contracts for Abstract Processes in Service Composition. In: Proceedings Foundations for Interface Technologies (FIT’10). Electronic Proceedings in Theoretical Computer, 46 . Electronic Proceedings in Theoretical Computer Science, pp. 9-27. (2011)

Buscemi, Maria Grazia and Montanari, Ugo QoS Negotiation in Service Composition. Journal of Logic and Algebraic Programming, 80 (1). pp. 13-24. ISSN 1567-8326 (2011)

C

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

Caires, Luis and Pérez, Jorge A. and Seco, João C. and Torres Vieira, Hugo and Ferrão, Lúcio Type-based access control in data-centric systems. In: Programming Languages and Systems. Lecture Notes in Computer Science (6602). Springer, pp. 136-155. ISBN 978-3-642-19718-5 (2011)

Campinas, Stephane and Ceccarelli, Diego and Perry, Thomas E. and Delbru, Renaud and Balog, Krisztian and Tummarello, Giovanni The Sindice-2011 Dataset for Entity-Oriented Search in the Web of Data. In: Proceedings of the 1st International Workshop on Entity-Oriented Search (EOS). ACM, pp. 26-32. ISBN 978-94-6186-000-2 (2011)

Canale, Massimo and Cerone, Vito and Piga, Dario and Regruto, Diego Fast implementation of model predictive control with guaranteed performance. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, pp. 3375-3380. ISBN 978-1-61284-799-3 (2011)

Carpinteri, Alberto and Corrado, Mauro and Paggi, Marco An analytical model based on strain localisation for the study of size-scale and slenderness effects in uniaxial compression tests. Strain, 47 (4). pp. 351-362. ISSN 0039-2103 (2011)

Carpinteri, Alberto and Paggi, Marco Dimensional analysis and fractal modeling of fatigue crack growth. Journal of ASTM International, 8 (10). p. 104105. ISSN 1546-962X (2011)

Carpinteri, Alberto and Paggi, Marco Singular harmonic problems at a wedge vertex: mathematical analogies between elasticity, diffusion, electromagnetism, and fluid dynamics. Journal of Mechanics of Materials and Structures, 6 (1-4). pp. 113-125. ISSN 1559-3959 (2011)

Casale, Giuliano and Tribastone, Mirco Fluid analysis of queueing in two-stage random environments. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 21-30. ISBN 978-1-4577-0973-9 (2011)

Casteigts, Arnaud and Flocchini, Paola and Quattrociocchi, Walter and Santoro, Nicola Time-Varying graphs and dynamic networks. In: Ad-hoc, mobile, and wireless networks. Lecture Notes in Computer Science (6811). Springer , pp. 346-359. ISBN 978-3-642-22450-8 (2011)

Ceccarelli, Diego and Gordea, Sergiu and Lucchese, Claudio and Nardini, Franco Maria and Perego, Raffaele and Tolomei, Gabriele Discovering Europeana users’ search behavior. ERCIM news , 86 (July). ISSN 1564-0094 (2011)

Ceccarelli, Diego and Gordea, Sergiu and Lucchese, Claudio and Nardini, Franco Maria and Tolomei, Gabriele Improving Europeana Search Experience Using Query Logs. In: Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science (6966). Springer, pp. 384-395. ISBN 978-3-642-24469-8 (2011)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello CAC with Nonlinearly-Constrained Feasibility Regions. IEEE Communications Letters, 15 (4). pp. 467-469. ISSN 1089-7798 (2011)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello A Generalized Stochastic Knapsack Problem with Application in Call Admission Control. In: CTW 2011 Conference Proceedings. CTW, pp. 105-108. (2011)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello A Stochastic Knapsack Problem with Nonlinear Capacity Constraint. In: AIRO 2011, September 6th-9th, 2011, Brescia, Italy p. 147. (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Computational burden reduction in set-membership Hammerstein system identification. In: Proceedings of the 18th IFAC World Congress. IFAC, pp. 13924-13929. ISBN 978-3-902661-93-7 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Convex relaxation techniques for set-membership identification of LPV systems. In: Proceedings of American Control Conference (ACC), 2011. IEEE, pp. 171-176. ISBN 978-1-4577-0080-4 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Enforcing stability constraints in set-membership identification of linear dynamic systems. Automatica, 47 (11). 2488 - 2494. ISSN 0005-1098 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Hammerstein systems parameters bounding through sparse polynomial optimization. In: Proceedings of American Control Conference (ACC), 2011. IEEE, pp. 1247-1252. ISBN 978-1-4577-0080-4 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership LPV model identification of vehicle lateral dynamics. Automatica, 47 (8). 1794 - 1799. ISSN 0005-1098 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership identification of Hammerstein-Wiener systems. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, pp. 2819-2824. ISBN 978-1-61284-799-3 (2011)

Cristallini, Caterina and Gagliardi, Mariacristina Applicazione dell'analisi reologica allo sviluppo di nuovi sistemi polimerici iniettabili e termoreversibili per l'ingegnerizzazione del tessuto cardiaco. In: 2nd Workshop Alfatest Reologia e Nanoformulazioni, February 2, 2011, Milano, Italy (Unpublished) (2011)

Cristallini, Caterina and Gagliardi, Mariacristina and Barbani, Niccoletta and Giannessi, Daniela and Guerra, Giulio D. Novel biodegradable, biomimetic and functionalised polymer scaffolds to prevent expansion of post-infarct left ventricular remodelling. Journal of Materials Science: Materials in Medicine, 23 (1). pp. 205-216. ISSN 0957-4530 (2011)

Cristallini, Caterina and Gagliardi, Mariacristina and Barbani, Niccoletta and Russo Fiorillo, S. and Bonaretti, A. Novel biodegradable, biomimetic and functionalised polymer scaffolds to prevent expansion of post-infart left ventricular remodelling. In: European Society for Biomaterials Industry Day, September 4-8, 2011, Dublin, Ireland (Unpublished) (2011)

Cristallini, Caterina and Gagliardi, Mariacristina and Guerra, Giulio D. and Russo Fiorillo, S. and Barbani, Niccoletta New bioartificial microstructures in combination with molecularly imprinted nanoparticles for the treatment of myocardial infarction. In: Congresso nazionale Biomateriali, May 23-25, 2011, Bari, Italy (Unpublished) (2011)

D

De Nicola, Rocco Behavioral Equivalences. In: Encyclopedia of Parallel Computing. Springer, pp. 120-127. ISBN 978-0-387-09765-7 (2011)

De Nicola, Rocco Process Algebras. In: Encyclopedia of Parallel Computing. Springer, pp. 1624-1636. ISBN 978-0-387-09765-7 (2011)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

Dell’Agnello, Danilo and Fanelli, Anna and Mencar, Corrado and Minervini, Massimo Serendipitous Fuzzy Item Recommendation with ProfileMatcher. In: Fuzzy Logic and Applications. Lecture Notes in Computer Science (6857). Springer, pp. 220-227. ISBN 978-3-642-23712-6 (2011)

E

Eom, Young-Ho and Fortunato, Santo Characterizing and modeling citation dynamics. PloS One, 6 (9). e24926. ISSN 1932-6203 (2011)

F

Ferreira, Carla and Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo and Zavattaro, Gianluigi Advanced mechanisms for service combination and transactions. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 302-325. ISBN 978-3-642-20400-5 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Controlling Polyvariance for Specialization-based Verification. In: (ed. by F. Fioravanti) Proceedings of the 26th Italian Conference on Computational Logic (CILC'11). CEUR Workshop Proceedings (810). CEUR Workshop Proceedings, pp. 179-197. (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. In: Reachability Problems: Proceedings of the 5th International Workshop, RP 2011. Lecture Notes in Computer Science, 6945 . Springer, pp. 165-179. ISBN 978-3-642-24287-8 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (6564). Springer, pp. 164-183. ISBN 978-3-642-20550-7 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale, 5 (1). pp. 119-125. ISSN 1724-8035 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Reachability Analysis via Specialization of Constraint Logic Programs. APL Newsletter. (2011)

G

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Lewisian approach to the verification of adaptive systems. Rivista Italiana di Filosofia Analitica Junior , 2 (2). ISSN 2037-4445 (2011)

Gaglianese, Anna and Costagli, Mauro and Bernardi, Giulio and Sani, Lorenzo and Ricciardi, Emiliano and Pietrini, Pietro Conditional granger causality analysis of fMRI data shows a direct connection from LGN to hMT+ bypassing V1. In: 19th meeting of the international society for magnetic resonance in medicine, 7-13 May 2011, Montreal, Quebec, Canada (2011)

Gagliardi, Mariacristina Computational models for the in silico analysis of drug delivery from drug-eluting stents. Therapeutic Delivery, 2 (1). pp. 1-3. ISSN 2041-5990 (2011)

Gagliardi, Mariacristina and Schiavello, L. and Cristallini, Caterina Experimental and computational study of the dual drug release from polymeric stent coatings. In: European Society for Biomaterials Industry Day, September 4-8, 2011, Dublin, Ireland (Unpublished) (2011)

Giardini, Francesca and Quattrociocchi, Walter and Conte, Rosaria Rooting opinions in the minds: a cognitive model and a formal account of opinions and their dynamics. Working Paper # /2011 ArXiv (Submitted)

Gilmore, Stephen and Gönczy, László and Koch, Nora and Mayer, Philip and Tribastone, Mirco and Varró, Dániel Non-functional properties in the model-driven development of service-oriented systems. Software & Systems Modeling, 10 (3). pp. 287-311. ISSN 1619-1366 (2011)

Gnecco, Giorgio Functional Optimization by Variable-Basis Approximation Schemes. 4OR: A Quarterly Journal of Operations Research, 9 (1). pp. 103-106. ISSN 1619-4500 (2011)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Bounds for Approximate Solutions of Fredholm Integral Equations Using Kernel Networks. In: Artificial Neural Networks and Machine Learning – ICANN 2011. Lecture Notes in Computer Science (6791). Springer, pp. 126-133. ISBN 978-3-642-21734-0 (2011)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Can Dictionary-Based Computational Models Outperform the Best Linear Ones? Neural Networks , 24 (8). 881 - 887. ISSN 0893-6080 (2011)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Some Comparisons of Complexity in Dictionary-Based and Linear Computational Models. Neural Networks , 24 (2). pp. 171-182. ISSN 0893-6080 (2011)

Gnecco, Giorgio and Sanguineti, Marcello On a Variational Norm Tailored to Variable-Basis Approximation Schemes. IEEE Transactions on Information Theory, 57 (1). pp. 549-558. ISSN 0018-9448 (2011)

Gnecco, Giorgio and Sanguineti, Marcello Team Optimization Problems with Lipschitz Continuous Strategies. Optimization Letters, 5 (2). pp. 333-346. ISSN 1862-4472 (2011)

Gnecco, Giorgio and Sanguineti, Marcello and Gaggero, Mauro Approximate Dynamic Programming by Variable-Basis Schemes: Error Analysis and Numerical Results. In: AIRO Winter 2011, February 7th-12th, 2011, Cortina d'Ampezzo, Italy p. 1. (2011)

Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Functional Optimization in OR Problems with Very Large Numbers of Variables. In: AIRO 2011, September 6th-9th, 2011, Brescia, Italy p. 91. (2011)

Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco The Sensoria Approach Applied to the Finance Case Study. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, 6582 (6582). Springer, pp. 698-718. ISBN 978-3-642-20400-5 (2011)

Gobbini, Maria Ida and Gentili, Claudio and Ricciardi, Emiliano and Bellucci, Claudia and Salvini, Pericle and Laschi, Cecilia and Guazzelli, Mario and Pietrini, Pietro Distinct neural systems involved in agency and animacy detection. Journal of Cognitive Neuroscience, 23 (8). pp. 1911-1920. ISSN 0898-929X (2011)

Guerra, Giulio D. and Barbani, Niccoletta and Gagliardi, Mariacristina and Rosellini, Elisabetta and Cristallini, Caterina Chitosan-Based Macromolecular Biomaterials for the Regeneration of Chondroskeletal and Nerve Tissue. International Journal of Carbohydrate Chemistry, 2011. p. 303708. ISSN 1687-9341 (2011)

Guerra, Giulio D. and Cristallini, Caterina and Barbani, Niccoletta and Gagliardi, Mariacristina Bioresorbable microspheres as devices for the controlled release of paclitaxel. International Journal of Biology and Biomedical Engineering, 5 (3). pp. 121-128. ISSN 1998-4510 (2011)

Guerra, Giulio D. and Cristallini, Caterina and Barbani, Niccoletta and Gagliardi, Mariacristina Release of anti-restenotic drugs from macromolecular materials useful for covering vascular stents. In: Congresso nazionale Biomateriali, May 23-25, 2011, Bari, Italy (Unpublished) (2011)

Guerra, Giulio D. and Gagliardi, Mariacristina and Barbani, Niccoletta and Cristallini, Caterina Controlled Release of the Anti-cancer Drug Paclitaxel from Bioresorbable Poly(ester-ether-ester) Microspheres. In: Recent Researches in Modern Medicine. WSEAS, pp. 210-217. ISBN 9789604742783 (2011)

H

Heemels, W.P.M.H. and Bemporad, Alberto An upper Riemann-Stieltjes approach to stochastic design problems. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 2871 -2876. ISBN 978-1-61284-800-6 (2011)

J

Jiang, Fan and Yuanc, Junsong and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Anomalous video event detection using spatiotemporal context. Computer vision and image understanding, 115 (3). 323 - 333. ISSN 1077-3142 (2011)

Jorge, Tiago and Lemos, Joao M. and Barão, Miguel and Bemporad, Alberto Hybrid dynamic optimization for cruise speeed control. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 5082-5087. ISBN 978-3-902661-93-7 (2011)

Jøsang, Audun and Quattrociocchi, Walter and Karabeg, Dino Taste and trust. In: Trust Management V. IFIP Advances in Information and Communication Technology (358). Springer, pp. 312-322. ISBN 978-3-642-22200-9 (2011)

K

Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea Human mobility models for opportunistic networks. IEEE Communications Magazine, 49 (12). pp. 157-165. (2011)

Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011)

Kupers, Ron and Pietrini, Pietro and Ricciardi, Emiliano and Ptito, Maurice The nature of consciousness in the visually-deprived brain. Frontiers in Psychology, 2 (19). ISSN 1664-1078 (2011)

Kwak, Haewoon and Moon, Sue and Eom, Young-Ho and Choi, Yoonchan and Jeong, Hawoong Consistent community identification in complex networks. Journal of the Korean Physical Society, 59 (5). pp. 3128-3132. ISSN 0374-4884 (2011)

L

Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011)

Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo Behavioral theory for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 189-213. ISBN 978-3-642-20400-5 (2011)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011)

Light, Janet and Li, Xiaoyi and Abbate, Stefano Developing cognitive decline baseline for normal ageing from sleep-EEG monitoring using wireless neurosensor devices. In: Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering (CCECE). IEEE, 001527 -001531. ISBN 978-1-4244-9788-1 (2011)

Lluch-Lafuente, Alberto and Righi, Marco Internet e Web 2.0. Collezione di informatica . UTET Università, Torino. ISBN 9788860083418 (2011)

Lluch-Lafuente, Alberto and Vandin, Andrea Towards a Maude tool for model checking temporal graph properties. Electronic Communications of the EASST, 41. ISSN 1863-2122 (2011)

Lu, Liang and Heemels, W.P.M.H. and Bemporad, Alberto Synthesis of low-complexity stabilizing piecewise affine controllers: a control-Lyapunov function approach. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 1227 -1232. ISBN 978-1-61284-800-6 (2011)

M

Marchese, Mario and Cello, Marco and Gnecco, Giorgio and Sanguineti, Marcello Structural Properties of Optimal Coordinate-Convex Policies for CAC with Nonlinearly-Constrained Feasibility Regions. In: Proceedings of IEEE INFOCOM 2011. IEEE, pp. 466-470. ISBN 978-1-4244-9919-9 (2011)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco A standard-driven communication protocol for disconnected clinics in rural areas. In: Proceedings of 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom). IEEE, pp. 304-311. ISBN 978-1-61284-696-5 (2011)

Mazloumian, Amin and Eom, Young-Ho and Helbing, Dirk and Lozano, Sergi and Fortunato, Santo How citation boosts promote scientific paradigm shifts and Nobel Prizes. PloS One, 6 (5). e18975. ISSN 1932-6203 (2011)

Mukhopadhyay, Anirban and Qian, Zhen and Bhandarkar, Suchendra M. and Liu, Tianming and Voros, Szilard Shape analysis of the left ventricular endocardial surface and its application in detecting coronary artery disease. In: Functional Imaging and Modeling of the Heart. Lecture Notes in Computer Science (6666). Springer, pp. 275-283. ISBN 978-3-642-21027-3 (2011)

P

Paggi, Marco Modelling fatigue in quasi-brittle materials with incomplete self-similarity concepts. Materials and Structures, 44 (3). pp. 659-670. ISSN 1359-5997 (2011)

Paggi, Marco and Barber, J.R. Contact conductance of rough surfaces composed of modified RMD patches. International Journal of Heat and Mass Transfer, 54 (21–22). 4664 - 4672. ISSN 0017-9310 (2011)

Paggi, Marco and Ferro, Giuseppe and Braga, Franco Seismic analysis of concrete gravity dams: nonlinear fracture mechanics models and size-scale effects. Applied Mechanics and Materials, 82. pp. 374-379. ISSN 1662-7482 (2011)

Paggi, Marco and Kajari-Schröder, Sarah and Eitner, Ulrich Thermomechanical deformations in photovoltaic laminates. Journal of Strain Analysis for Engineering Design, 46 (8). pp. 772-782. ISSN 0309-3247 (2011)

Paggi, Marco and Wriggers, Peter Numerical modelling of intergranular fracture in polycrystalline materials and grain size effects. Frattura ed Integrità Strutturale, 17. pp. 5-14. ISSN 1971-8993 (2011)

Paggi, Marco and Wriggers, Peter Stiffness and strength of hierarchical polycrystalline materials with imperfect interfaces. In: Computational plasticity XI : fundamentals and applications. International center for numerical methods in engineering (CIMNE), pp. 1082-1090. ISBN 978-84-89925-73-1 (2011)

Paggi, Marco and Wriggers, Peter A nonlocal cohesive zone model for finite thickness interfaces – Part I: Mathematical formulation and validation with molecular dynamics. Computational Materials Science, 50 (5). 1625 - 1633. ISSN 0927-0256 (2011)

Paggi, Marco and Wriggers, Peter A nonlocal cohesive zone model for finite thickness interfaces – Part II: FE implementation and application to polycrystalline materials. Computational Materials Science, 50 (5). 1634 - 1643. ISSN 0927-0256 (2011)

Paggi, Marco and Wriggers, Peter A nonlocal cohesive zone model for studying crack propagation in mechanical systems with finite thickness interfaces. In: Atti del XX Congresso Associazione Italiana di Meccanica Teorica e Applicata. Publi&Stampa Edizioni, pp. 1-10. ISBN 978-88-906340-0-0 (2011)

Paggi, Marco and Zavarise, Giorgio Contact mechanics of microscopically rough surfaces with graded elasticity. European Journal of Mechanics - A/Solids, 30 (5). 696 - 704. ISSN 0997-7538 (2011)

Paolucci, Mario and Picascia, Stefano and Quattrociocchi, Walter Causality in collective filtering. Working Paper #184657/2011 SSRN

Patrinos, Panagiotis and Sarimveis, Haralambos Convex parametric piecewise quadratic optimization: theory and algorithms. Automatica, 47 (8). pp. 1770-1777. ISSN 0005-1098 (2011)

Patrinos, Panagiotis and Sarimveis, Haralambos and Sopasakis, Pantelis A global piecewise smooth Newton method for fast large-scale model predictive control. Automatica, 47 (9). pp. 2016-2022. ISSN 0005-1098 (2011)

Patrinos, Panagiotis and Sopasakis, Pantelis and Sarimveis, Haralambos Stochastic model predictive control for constrained networked control systems with random time delay. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 12626-12631. ISBN 978-3-902661-93-7 (2011)

Patrinos, Panagiotis and Trimboli, Sergio and Bemporad, Alberto Stochastic MPC for real-time market-based optimal power dispatch. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 7111 -7116. ISBN 978-1-61284-800-6 (2011)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-Based Correctness Proofs for Logic Program Transformations. Technical Report #24/2011 IASI-CNR

Peysson, Yves and Decker, Joan and Morini, Lorenzo and Coda, S. RF current drive and plasma fluctuations. Plasma Physics and Controlled Fusion, 53 (12). p. 124028. ISSN 0741-3335 (2011)

Pietrini, Pietro From molecules to mind and back…. Current Opinion in Neurology, 24 (4). pp. 354-356. ISSN 1350-7540 (2011)

Plekhov, Oleg and Paggi, Marco and Naimark, O. and Carpinteri, Alberto A dimensional analysis interpretation to grain size and loading frequency dependencies of the Paris and Wöhler curves. International Journal of Fatigue, 33 (3). 477 - 483. ISSN 0142-1123 (2011)

Poggi, Tomaso and Trimboli, Sergio and Bemporad, Alberto and Storace, Marco Explicit hybrid model predictive control: discontinuous piecewise-affine approximation and FPGA implementation. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 1350-1355. ISBN 978-3-902661-93-7 (2011)

Puglia, Laura and Bernardini, Daniele and Bemporad, Alberto A multi-stage stochastic optimization approach to optimal bidding on energy markets. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 1509 -1514. ISBN 978-1-61284-800-6 (2011)

Q

Quattrociocchi, Walter and Amblard, Frederic Emergence through selection: the evolution of a scientific challenge. Working Paper # /2011 ArXiv (Submitted)

Quattrociocchi, Walter and Conte, Rosaria Exploiting reputation in distributed virtual environments. Working Paper # /2011 ArXiv (Submitted)

Quattrociocchi, Walter and Conte, Rosaria and Lodi, Elena Opinions manipulation: Media, power and gossip. Advances in Complex Systems, 14 (04). pp. 567-586. ISSN 0219-5259 (2011)

Quattrociocchi, Walter and Conte, Rosaria and Lodi, Elena Opinions within media, power and gossip. Working Paper # /2011 ArXiv (Submitted)

R

Ricciardi, Emiliano and Basso, Demis and Sani, Lorenzo and Bonino, Daniela and Vecchi, Tomaso and Pietrini, Pietro and Miniussi, Carlo Functional inhibition of the human middle temporal cortex affects non-visual motion perception: a repetitive transcranial magnetic stimulation study during tactile speed discrimination. Experimental Biology and Medicine, 236 (2). pp. 138-144. ISSN 1535-3702 (2011)

Ricciardi, Emiliano and Pietrini, Pietro New light from the dark: what blindness can teach us about brain function. Current Opinion in Neurology, 24 (4). pp. 357-363. ISSN 1350-7540 (2011)

Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: FTP 2011 - International Workshop on First-Order Theorem Proving , July 4, 2011, Bern, Switzerland pp. 1-16. (Submitted) (2011)

Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: Frontiers of Combining Systems : Title Frontiers of Combining Systems : Proceedings of the 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science (6989). Springer, pp. 211-226. ISBN 978-3-642-24363-9 (2011)

Rubagotti, Matteo and Della Vedova, Marco L. and Ferrara, Antonella Time-optimal sliding-mode control of a mobile robot in a dynamic environment. IET Control Theory and Applications, 5 (16). 1916 -1924. ISSN 1751-8644 (2011)

Rubagotti, Matteo and Estrada, Antonio and Castanos, Fernando and Ferrara, Antonella and Fridman, Leonid Integral sliding mode control for nonlinear systems with matched and unmatched perturbations. IEEE Transactions on Automatic Control, 56 (11). 2699 -2704. ISSN 0018-9286 (2011)

Rubagotti, Matteo and Raimondo, Davide Martino and Ferrara, Antonella and Magni, Lalo Robust model predictive control with integral sliding mode in continuous-time sampled-data nonlinear systems. IEEE Transactions on Automatic Control , 56 (3). 556 -570. ISSN 0018-9286 (2011)

Rubagotti, Matteo and Trimboli, Sergio and Bernardini, Daniele and Bemporad, Alberto Stability and invariance analysis of approximate explicit MPC based on PWA Lyapunov functions. In: Proceedings of the 18th IFAC World Congress. IFAC. ISBN 978-3-902661-93-7 (2011)

Rusu, Cristian Classification of music genres using sparse representations in overcomplete dictionaries. Journal of Control Engineering and Applied Informatics, 13 (1). pp. 13-42. ISSN 1454-8658 (2011)

S

Santoro, Nicola and Quattrociocchi, Walter and Flocchini, Paola and Casteigts, Arnaud and Amblard, Frederic Time-varying graphs and social network analysis: temporal indicators and metrics. Working Paper # /2011 ArXiv (Submitted)

Saoutic, B. and Abiteboul, J. and Allegretti, L. and Allfrey, S. and Ané, J.M. and Aniel, T. and Argouarch, A. and Artaud, J.F. and Aumenier, M.H. and Balme, S. and Basiuk, V. and Baulaigue, O. and Bayetti, P. and Bécoulet, A. and Bécoulet, M. and Benkadda, M.S. and Benoit, F. and Berger-by, G. and Bernard, J.M. and Bertrand, B. and Beyer, P. and Bigand, A. and Blum, J. and Boilson, D. and Bonhomme, G. and Bottollier-Curtet, H. and Bouchand, C. and Bouquey, F. and Bourdelle, C. and Bourmaud, S. and Brault, C. and Brémond, S. and Brosset, C. and Bucalossi, J. and Buravand, Y. and Cara, P. and Catherine-Dumont, V. and Casati, A. and Chantant, M. and Chatelier, M. and Chevet, G. and Ciazynski, D. and Ciraolo, G. and Clairet, F. and Coatanea-Gouachet, M. and Colas, L. and Commin, L. and Corbel, E. and Corre, Y. and Courtois, X. and Dachicourt, R. and Febrer, M. Dapena and Joanny, M. Davi and Daviot, R. and Esch, H. De and Decker, Joan and Decool, P. and Delaporte, P. and Delchambre, E. and Delmas, E. and Delpech, L. and Desgranges, C. and Devynck, P. and Dittmar, T. and Doceul, L. and Douai, D. and Dougnac, H. and Duchateau, J.L. and Dugué, B. and Dumas, N. and Dumont, R. and Durocher, A. and Duthoit, F.X. and Ekedahl, A. and Elbeze, D. and Khaldi, M. El and Escourbiac, F. and Faisse, F. and Falchetto, G. and Farge, M. and Farjon, J.L. and Faury, M. and Fedorczak, N. and Fenzi-Bonizec, C. and Firdaouss, M. and Frauel, Y. and Garbet, X. and Garcia, J. and Gardarein, J.L. and Gargiulo, L. and Garibaldi, P. and Gauthier, E. and Gaye, O. and Géraud, A. and Geynet, M. and Ghendrih, P. and Giacalone, I. and Gibert, S. and Gil, C. and Giruzzi, G. and Goniche, M. and Grandgirard, V. and Grisolia, C. and Gros, G. and Grosman, A. and Guigon, R. and Guilhem, D. and Guillerminet, B. and Guirlet, R. and Gunn, J. and Gurcan, O. and Hacquin, S. and Hatchressian, J.C. and Hennequin, P. and Hernandez, C. and Hertout, P. and Heuraux, S. and Hillairet, J. and Hoang, G.T. and Honore, C. and Houry, M. and Hutter, T. and Huynh, P. and Huysmans, G. and Imbeaux, F. and Joffrin, E. and Johner, J. and Jourd'Heuil, L. and Katharria, Y.S. and Keller, D. and Kim, S.H. and Kocan, M. and Kubic, M. and Lacroix, B. and Lamaison, V. and Latu, G. and Lausenaz, Y. and Laviron, C. and Leroux, F. and Letellier, L. and Lipa, M. and Litaudon, X. and Loarer, T. and Lotte, P. and Madeleine, S. and Magaud, P. and Maget, P. and Magne, R. and Manenc, L. and Marandet, Y. and Marbach, G. and Maréchal, J.L. and Marfisi, L. and Martin, C. and Martin, G. and Martin, V. and Martinez, A. and Martins, J.P. and Masset, R. and Mazon, D. and Mellet, N. and Mercadier, L. and Merle, A. and Meshcheriakov, D. and Meyer, O. and Million, L. and Missirlian, M. and Mollard, P. and Moncada, V. and Monier-Garbet, P. and Moreau, D. and Moreau, P. and Morini, Lorenzo and Nannini, M. and Habib, M. Naiim and Nardon, E. and Nehme, H. and Nguyen, C. and Nicollet, S. and Nouilletas, R. and Ohsako, T. and Ottaviani, M. and Pamela, S. and Parrat, H. and Pastor, P. and Pecquet, A.L. and Pégourié, B. and Peysson, Y. and Porchy, I. and Portafaix, C. and Preynas, M. and Prou, M. and Raharijaona, J.M. and Ravenel, N. and Reux, C. and Reynaud, P. and Richou, M. and Roche, H. and Roubin, P. and Sabot, R. and Saint-Laurent, F. and Salasca, S. and Samaille, F. and Santagiustina, A. and Sarazin, Y. and Semerok, A. and Schlosser, J. and Schneider, M. and Schubert, M. and Schwander, F. and Ségui, J.L. and Selig, G. and Sharma, P. and Signoret, J. and Simonin, A. and Song, S. and Sonnendruker, E. and Sourbier, F. and Spuig, P. and Tamain, P. and Tena, M. and Theis, J.M. and Thouvenin, D. and Torre, A. and Travère, J.M. and Tsitrone, E. and Vallet, J.C. and Plas, E. Van Der and Vatry, A. and Verger, J.M. and Vermare, L. and Villecroze, F. and Villegas, D. and Volpe, R. and Vulliez, K. and Wagrez, J. and Wauters, T. and Zani, L. and Zarzoso, D. and Zou, X.L. Contribution of Tore Supra in preparation of ITER. Nuclear Fusion, 51 (9). 094014. ISSN 0029-5515 (2011)

Sopasakis, Pantelis and Patrinos, Panagiotis and Giannikou, Stefania and Sarimveis, Haralambos Physiologically based pharmacokinetic modeling and predictive control: an integrated approach for optimal drug administration. Computer Aided Chemical Engineering, 29. pp. 1490-1494. ISSN 1570-7946 (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Channel protection for H.264 compression in transportation video surveillance applications. In: 18th IEEE International Conference on Image Processing (ICIP). IEEE, 2237 -2240. ISBN 978-1-4577-1302-6 (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Low-complexity tracking-aware H.264 video compression for transportation surveillance. IEEE Transactions on circuits and systems for video technology, 21 (10). pp. 1378-1389. ISSN 1051-8215 (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Tracking-Optimized Quantization for H.264 Compression in Transportation Video Surveillance Applications. In: IEEE International Conference on Image Processing (ICIP 2011). IEEE, pp. 153-156. (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Tracking-Optimized quantization for H.264 compression in transportation video surveillance applications. In: International conference on image processing (ICIP 2011), September 11-14, 2011, Brussels, Belgium (Unpublished) (2011)

T

Tribastone, Mirco Approximate mean value analysis of process algebra models. In: Proceedings of the 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 369-378. ISBN 978-1-4577-0468-0 (2011)

Tribastone, Mirco Scalable performance evaluation of computer systems. In: Software Engineering 2011, 21.–25. Februar 2011, Karlsruher (Germany) pp. 1-4. (Unpublished) (2011)

Tribastone, Mirco and Gilmore, Stephen Large-scale modelling with the PEPA eclipse plug-in. In: Operations Research Proceedings 2010. Operations Research Proceedings . Springer, pp. 169-174. ISBN 978-3-642-20009-0 (2011)

Tribastone, Mirco and Gilmore, Stephen Scaling performance analysis using fluid-flow approximation. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 486-505. ISBN 978-3-642-20401-2 (2011)

Trimboli, Sergio and Rubagotti, Matteo and Bemporad, Alberto Stability and invariance analysis of uncertain PWA systems based on linear programming. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 7398 -7403. ISBN 978-1-61284-800-6 (2011)

Tsaftaris, Sotirios A. and Lister, Kristin H. and Fiedler, Inge and Casadio, Francesca and Katsaggelos, Aggelos K. Colorizing a masterpiece [Applications Corner]. IEEE signal processing Magazine, 28 (3). 113 -119. ISSN 1053-5888 (2011)

Tsaftaris, Sotirios A. and Rundell, Veronica and Zhou, Xiangzhi and Liu, Ying and Tang, Richard and Li, Debiao and Dharmakumar, Rohan Detecting myocardial ischemia at rest with cardiac phase-resolved BOLD MRI: early findings. In: 19th meeting of the international society for magnetic resonance in medicine, 7-13 May 2011, Montreal, Quebec, Canada (Unpublished) (2011)

Tsaftaris, Sotirios A. and Tang, Richard and Zhou, Xiangzhi and Li, Debiao and Dharmakumar, Rohan An area-based imaging biomarker for characterizing coronary artery stenosis with myocardial BOLD MRI. Journal of cardiovascular magnetic resonance, 13 (Suppl ). O22. ISSN 1532-429X (2011)

Tsaftaris, Sotirios A. and Tang, Richard and Zhou, Xiangzhi and Li, Debiao and Dharmakumar, Rohan An area-based imaging biomarker for the characterization of coronary artery stenosis with blood oxygen-sensitive MRI. In: 19th meeting of the international society for magnetic resonance in medicine, 7-13 May 2011, Montreal, Quebec, Canada (Unpublished) (2011)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Dharmakumar, Rohan A fully-automated statistical method for characterization of flow artifact presence in cardiac MRI. Journal of cardiovascular magnetic resonance, 13 (Suppl ). P45. ISSN 1532-429X (2011)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Dharmakumar, Rohan Unsupervised and reproducible image-based identification of cardiac phases in cine SSFP MRI. In: 18th Meeting of the international society for magnetic resonance in medicine, 1-7 May 2010, Stockholm, Sweden (Unpublished) (2011)

Tschaikowski, Max and Tribastone, Mirco Refined theory of packages. In: 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2011, Ragusa, Italy pp. 1-7. (Unpublished) (2011)

Z

Zhou, Xiangzhi and Rundell, Veronica and Liu, Ying and Tang, Richard and Klein, Rachel and Shah, Saurabh and Zuehlsdorff, Sven and Tsaftaris, Sotirios A. and Li, Debiao and Dharmakumar, Rohan T2-weighted STIR imaging of myocardial edema associated with ischemia-reperfusion injury: the influence of proton density effect on image contrast. Journal of magnetic resonance imaging, 33 (4). pp. 962-967. ISSN 1053-1807 (2011)

Zollo, Fabiana and Caprini, Luca and Gervasi, Osvaldo and Costantini, Alessandro X3DMMS: An X3DOM Tool for Molecular and Material Sciences. In: Proceedings of the 16th International Conference on 3D Web Technology, June 20-22, 2011, Paris, France pp. 129-136. ISBN 978-1-4503-0774-1. (2011)

This list was generated on Thu Nov 23 00:03:26 2017 CET.