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

Alessio, Alessandro and Bemporad, Alberto and Addis, B. and Pasini, Alessandro An algorithm for PWL approximations of nonlinear functions. Technical Report # /2005 University of Siena (Unpublished)

Alexandridis, Alex and Patrinos, Panagiotis and Sarimveis, Haralambos and Tsekouras, George A two-stage evolutionary algorithm for variable selection in the development of RBF neural network models. Chemometrics and Intelligent Laboratory Systems, 75 (2). pp. 149-162. ISSN 0169-7439 (2005)

Barbera, Mario and Lombardo, Alfio and Schembra, Giovanni and Tribastone, Mirco A Markov model of a freerider in a BitTorrent P2P network. In: Global Telecommunications Conference. GLOBECOM '05. IEEE, pp. 985-989. ISBN 0-7803-9414-3 (2005)

Bemporad, Alberto and Bianchini, Gianni and Brogi, Filippo and Barbagli, Federico Passivity analysis and passification of discrete-time hybrid systems. In: 16th IFAC World Congress, 2005. IFAC. ISBN 978-3-902661-75-3 (2005)

Bemporad, Alberto and Bianchini, Gianni and Brogi, Filippo and Chesi, Graziano Passivity analysis of discrete-time hybrid systems using piecewise polynomial storage functions. In: Decision and Control and European Control Conf. IEEE, 12th-15th December 2005, pp. 5421-5426. ISBN 0-7803-9567-0 (2005)

Bemporad, Alberto and Di Cairano, Stefano Optimal control of discrete hybrid stochastic automata. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 3414 (3414). Springer-Verlag, pp. 151-167. ISBN 978-3-540-25108-8 (2005)

Bemporad, Alberto and Di Cairano, Stefano and Giorgetti, Nicolò Model predictive control of hybrid systems with applications to supply chain management. In: 49th ANIPLA National Congress “Automazione 2005”, 23-24 Novembre 2005, Napoli, Italy (Unpublished) (2005)

Bemporad, Alberto and Di Cairano, Stefano and Júlvez, Jorge Event-driven optimal control of integral continuous-time hybrid automata. In: Decision and Control and European Control Conf. IEEE, 12th-15th December 2005, pp. 1409-1414. ISBN 0-7803-9567-0 (2005)

Bemporad, Alberto and Garulli, Andrea and Paoletti, Simone and Vicino, Antonio A bounded-error approach to piecewise affine system identification. IEEE Transactions on Automatic Control , 50 (10). pp. 1567-1580. ISSN 0018-9286 (2005)

Bettini, Lorenzo and De Nicola, Rocco Mobile Distributed Programming in X-Klaim. In: Formal Methods for Mobile Computing. Lecture Notes in Computer Science, 3465 . Springer, pp. 29-68. ISBN 3-540-25697-0 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

Bonino, Daniela and Ricciardi, Emiliano and Guazzelli, Mario and Pietrini, Pietro Empathy modulates mirror system recruitment in sighted and congenitally blind individuals. In: 11th Annual Meeting of the Organization for Human Brain Mapping (OHBM), June 12-16, 2005, Toronto, Canada (2005)

Bonino, Daniela and Ricciardi, Emiliano and Sani, Lorenzo and Gentili, Claudio and Landini, Luigi and Guazzelli, Mario and Vecchi, Tomaso and Pietrini, Pietro Supramodal cortical organization of the dorsal stream during visual and tactile spatial discrimination in sighted and congenitally-blind subjects. In: 11th Annual Meeting of the Organization for Human Brain Mapping (OHBM), June 12-16, 2005, Toronto, Canada p. 1406. ISSN 1053-8119. (2005)

Boreale, Michele and Buscemi, Maria Grazia A Method for Symbolic Analysis of Security Protocols. Theoretical Computer Science, 338 (1-3). pp. 393-425. ISSN 0304-3975 (2005)

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo A General Name Binding Mechanism. In: Proceedings of Symposium on Trustworthy Global Computing (TGC ’05). Lecture Notes in Computer Science, 3705 . Springer, pp. 61-74. ISBN 3-540-30007-4 (2005)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred Dynamic programming for constrained optimal control of discrete-time linear hybrid systems. Automatica, 41 (10). pp. 1709-1721. ISSN 0005-1098 (2005)

Borri Brunetto, Mauro and Invernizzi, Stefano and Paggi, Marco and Carpinteri, Alberto Cyclic Micro-slip and Energy Dissipation on Elastic Rough Interfaces. In: AIMETA 2005 : atti del XVII Congresso dell’Associazione italiana di meccanica teorica e applicata : Firenze, 11-15 settembre 2005. Firenze University Press. ISBN 88-8453-313-9 (2005)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Monadic Fusion Calculus. Technical Report Università di Pisa, Dipartimento di Informatica

Carpinteri, Alberto and Lacidogna, Giuseppe and Paggi, Marco and Pugno, Nicola Acoustic emission monitoring and numerical modelling of a FRP-strengthened concrete structure. In: Concrete Repair, Rehabilitation and Retrofitting. Taylor&Francis, pp. 1347-1352. ISBN 978-0-415-39656-1 (2005)

Carpinteri, Alberto and Paggi, Marco Influence of the intermediate material on the singular stress field in tri-material junctions. In: Proceedings of the 11th International Conference on Fracture 2005 (ICF11). Curran Associates, pp. 393-398. ISBN 978-1-61782-063-2 (2005)

Carpinteri, Alberto and Paggi, Marco On the asymptotic stress field in angularly nonhomogeneous materials. International Journal of Fracture, 135 (1-4). pp. 267-283. ISSN 1573-2673 (2005)

Carpinteri, Alberto and Paggi, Marco Size-scale effects on the friction coefficient. International Journal of Solids and Structures, 42 (9–10). 2901 - 2910. ISSN 0020-7683 (2005)

Carpinteri, Alberto and Paggi, Marco and Zavarise, Giorgio Snap-back instability in micro-structured composites and its connection with superplasticity. Strength, Fracture and Complexity, 3 (2-4). pp. 61-72. ISSN 1567-2069 (2005)

Carpinteri, Alberto and Paggi, Marco and Zavarise, Giorgio Theoretical and numerical investigation on internal instability phenomena in composite materials. In: Proceedings of the 11th International Conference on Fracture 2005 (ICF11). Curran Associates, pp. 5928-5933. ISBN 978-1-61782-063-2 (2005)

Casarotto, Silvia and Bianchi, A.M. and Cerutti, Sergio and Bonino, Daniela and Gentili, Claudio and Ricciardi, Emiliano and Sani, Lorenzo and Vanello, Nicola and Guazzelli, Mario and Pietrini, Pietro and Landini, Luigi and Chiarenza, Giuseppe A. Study of Reading Processes with ERPs and ER-FMRI. In: 3rd European Medical & Biological Engineering Conference, November 20 - 25, 2005, Prague, Czech Republic (2005)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005)

Cristea, Ioana and Gentili, Claudio and Ricciardi, Emiliano and Rota, Giuseppina and Bonino, Daniela and David, Daniel and Pietrini, Pietro and Guazzelli, Mario Brain correlates of functional and dysfunctional beliefs: an fmrI study of cognitive reappraisal. In: 11th Annual Meeting of the Organization for Human Brain Mapping (OHBM), June 12-16, 2005, Toronto, Canada (2005)

De Nicola, Rocco Languages and Process Calculi for Network Aware Programming - Short Summary -. In: Theoretical Aspects of Computing (ICTAC 2005). Lecture Notes in Computer Science, 3722 . Springer, pp. 49-52. ISBN 3-540-29107-5 (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005)

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005)

Doganis, Philip and Sarimveis, Haralambos and Alexandridis, Alex and Patrinos, Panagiotis Optimal production scheduling for dairy industries. In: 2nd Multidisciplinary International Conference on Scheduling: Theory and Applications, MISTA, 18th to 21st July 2005, New York, USA pp. 324-325. (2005)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Action planning for graph transition systems. In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA (Unpublished) (2005)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Cost-Algebraic Heuristic Search. In: AAAI-05, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press, pp. 1362-1367. ISBN 1-57735-236-X (2005)

Freo, Ulderico and Ricciardi, Emiliano and Pietrini, Pietro and Schapiro, Mark B. and Rapoport, Stanley I. and Furey, Maura L. Pharmacological Modulation of Prefrontal Cortical Activity During a Working Memory Task in Young and Older Humans: A PET Study With Physostigmine. American Journal of Psychiatry, 162 (11). pp. 2061-2070. ISSN 0002-953X (2005)

Gemignani, Angelo and Pietrini, Pietro and Murrell, Jill R. and Glazier, B.S. and Zolo, Paolo and Guazzelli, Mario and Ghetti, Bernardino Slow wave and rem sleep mechanisms are differently altered in hereditary pick disease associated with the TAU G389R mutation. Archives Italiennes de Biologie. A journal of Neuroscience, 143 (1). ISSN 0003-9829 (2005)

Gentili, Claudio and Bonino, Daniela and Ricciardi, Emiliano and Sani, Lorenzo and Guazzelli, Mario and Pietrini, Pietro and Vecchi, Tomaso Neural correlates of working memory during visual and tactile spatial discrimination in sighted and congenitally-blind subjects. In: 11th Annual Meeting of the Organization for Human Brain Mapping (OHBM), June 12-16, 2005, Toronto, Canada p. 1174. ISSN 1053-8119. (2005)

Giorgetti, Nicolò and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Explicit hybrid optimal control of direct injection stratified charge engines. In: Symposium on Industrial Electronics. IEEE, 20th-23th June 2005 , pp. 247-252. ISBN 0-7803-8738-4 (2005)

Giorgetti, Nicolò and Bemporad, Alberto and Tseng, H. E. and Hrovat, Davor Hybrid model predictive control application towards optimal semi-active suspension. In: Symposium on Industrial Electronics. IEEE, 20th - 23th June 2005, pp. 391-398. ISBN 0-7803-8738-4 (2005)

Giorgetti, Nicolò and Pappas, George J. and Bemporad, Alberto Bounded model checking of hybrid dynamical systems. In: Decision and Control and European Control Conference. IEEE, 12th-15th December 2005, pp. 672-677. ISBN 0-7803-9567-0 (2005)

Gobbini, Maria Ida and Gentili, Claudio and Pietrini, Pietro and Ricciardi, Emiliano and Vanello, Nicola and Guazzelli, Mario and Haxby, James V. Facial expression representation in the superior temporal sulcus and in fusiform gyrus: an fMRI study. In: 11th Annual Meeting of the Organization for Human Brain Mapping (OHBM), June 12-16, 2005, Toronto, Canada s59. ISSN 1053-8119. (2005)

Kim, Dong-Hee and Son, Seung-Woo and Ahn, Yong-Yeol and Kim, P.-J. and Eom, Young-Ho and Jeong, Hawoong Underlying scale-free trees in complex networks. Progress of Theoretical Physics Supplement, 157. pp. 213-220. ISSN 0375-9687 (2005)

Lacidogna, Giuseppe and Paggi, Marco and Carpinteri, Alberto Delamination in FRP-strengthened structures: acoustic emission monitoring and numerical modeling. In: AIMETA 2005 : atti del XVII Congresso dell’Associazione italiana di meccanica teorica e applicata : Firenze, 11-15 settembre 2005. Firenze University Press. ISBN 88-8453-313-9 (2005)

Lazar, Mircea and Heemels, W.P.M.H. and Bemporad, Alberto and Weiland, Siep On the stability and robustness of non-smooth nonlinear MPC. In: Assessment and Future Directions of Nonlinear Model Predictive Control, 26-30 August 2005, Freudenstadt-Lauterbad, Germany (Unpublished) (2005)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto Non-smooth model predictive control: stability and applications to hybrid systems. Technical Report # /2005 University of Technology, Eindhoven (Unpublished)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto On the stability of quadratic forms based model predictive control of constrained PWA systems. In: American Control Conference. IEEE, 8th-10th June 2005, 575-580 . ISBN 0-7803-9098-9 (2005)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto and Pastravanu, Octavian Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 3414 . Springer-Verlag, pp. 417-432. ISBN 978-3-540-25108-8 (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL Based on Constraint Semirings. Electronic Notes in Theoretical Computer Science, 112. pp. 37-59. ISSN 1571-0661 (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL defined over constraint semirings. Theoretical Computer Science, 346 (1). pp. 135-160. ISSN 0304-3975 (2005)

Muñoz de la Peña, David and Bemporad, Alberto and Alamo, Teodoro Stochastic programming applied to model predictive control. In: Decision and Control and European Control Conference. IEEE, 12th-15th December 2005, pp. 1361-1366. ISBN 0-7803-9567-0 (2005)

Muñoz de la Peña, David and Bemporad, Alberto and Alamo, Teodoro A decomposition algorithm for feedback min-max model predictive control. In: Decision and Control and European Control Conference. IEEE, 12th-15th Dec. 2005 , pp. 5126-5131. ISBN 0-7803-9567-0 (2005)

Paggi, Marco Interface mechanical problems in heterogeneous materials. PhD Thesis thesis, Politecnico di Torino. (2005)

Paggi, Marco and Carpinteri, Alberto Multi-material junctions with functionally graded materials. In: AIMETA 2005 : atti del XVII Congresso dell’Associazione italiana di meccanica teorica e applicata : Firenze, 11-15 settembre 2005. Firenze University Press. ISBN 88-8453-313-9 (2005)

Paggi, Marco and Zavarise, Giorgio and Carpinteri, Alberto Softening and snap-back instability in superplastic deformation. In: AIMETA 2005 : atti del XVII Congresso dell’Associazione italiana di meccanica teorica e applicata : Firenze, 11-15 settembre 2005. Firenze University Press. ISBN 88-8453-313-9 (2005)

Pascual-Leone, A. and Pietrini, Pietro and Ricciardi, Emiliano and Sathian, K. and Roeder, B. and Amedi, A. and Lassonde, M. and Merabet, L. What have we learned about seeing from the blind? In: 35th Annual Meeting of the Society for Neuroscience, November 12-16, 2005, Washington D.C. (2005)

Patrinos, Panagiotis and Sarimveis, Haralambos An RBF based neuro-dynamic approach for the control of stochastic dynamic systems. In: 16th IFAC World Congress, 3-8 July 2005, Prague, Czech Republic (2005)

Patrinos, Panagiotis and Sarimveis, Haralambos and Retsina, Th and Rutherford, S.R and Alexandridis, Alex Neural network model-based paper machine marginal cost curves. In: TAPPI Engineering, Pulping & Environmental Conference, August 28-31, 2005, Philadelphia, USA (2005)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Verifying parameterized protocols by transforming stratified logic programs. In: Italian Annual Meeting on Computational Logic (CILC'05), 21-22 June 2005, Consiglio Nazionale delle Ricerche, Roma, Italy pp. 1-16. (Submitted) (2005)

Ricciardi, Emiliano and Bonino, Daniela and Sani, Lorenzo and Gentili, Claudio and Vanello, Nicola and Landini, Luigi and Guazzelli, Mario and Vecchi, Tomaso and Pietrini, Pietro Visual and tactile spatial discrimination activates the dorsal cortical pathway: a fMRI study in sighted and congenitally blind humans. In: 35th Annual Meeting of the Society for Neuroscience, November 12-16, 2005, Washington D.C. (2005)

Ricciardi, Emiliano and Gentili, Claudio and Vanello, Nicola and Sani, Lorenzo and Guazzelli, Mario and Landini, Luigi and Pietrini, Pietro Supramodal organization in the visual cortical pathways in sighted and blind individuals. In: Xth European Workshop on Imagery and Cognition, June 28-30, 2005, St.Andrews, Scotland (2005)

Ricciardi, Emiliano and Sani, Lorenzo and Gentili, Claudio and Vanello, Nicola and Haxby, James V. and Landini, Luigi and Bicchi, Antonio and Pietrini, Pietro Supramodal response of human MT+ complex to visual and tactile perception of flow as demonstrated by fMRI studies in sighted and congenitally blind individuals. In: 11th Annual Meeting of the Organization for Human Brain Mapping (OHBM), June 12-16, 2005, Toronto, Canada s59. ISSN 1053-8119. (2005)

Ricciardi, Emiliano and Vanello, Nicola and Bonino, Daniela and Gentili, Claudio and Sani, Lorenzo and Danti, Sabrina and Sgambelluri, Nicola and Haxby, James V. and Landini, Luigi and Vecchi, Tomaso and Guazzelli, Mario and Bicchi, Antonio and Pietrini, Pietro Supramodal organization in the "visual" cortical pathways as assessed by functional magnetic resonance in humans. In: First Joint Eurohaptics Conference and Symposium on Haptic Interfaces, March 18-20, 2005, Pisa, italy (Unpublished) (2005)

Rubio-Loyola, Javier and Serrat, Joan and Flegkas, Paris and Pavlou, George and Lluch-Lafuente, Alberto Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05). IEEE Computer Society, pp. 181-190. ISBN 0-7695-2265-3 (2005)

Scilingo, Enzo Pasquale and Ricciardi, Emiliano and Pietrini, Pietro and Bicchi, Antonio Optic and tactile flow: does a supramodal response exist? In: 6th Annual Meeting of the International Multisensory Research Forum, June 5-8, 2005, Rovereto, Italy pp. 43-53. (2005)

Torres Vieira, Hugo and Caires, Luis and Viegas, Rubens The spatial logic model checker user's manual: version 1.0. Technical Report #05/2005 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Tsaftaris, Sotirios A. and Hatzimanikati, Vassily and Katsaggelos, Aggelos K. In silico estimation of annealing specificity of query searches in DNA databases. Journal of the Japan society of simulation technology , 24 (4). pp. 268-276. ISSN 0285-9947 (2005)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. On designing DNA databases for the storage and retrieval of digital signals. In: Advances in Natural Computation. Lecture Notes in Computer Science, 3611 . Springer Berlin / Heidelberg, pp. 1192-1201. ISBN 978-3-540-28325-6 (2005)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. A new codeword design algorithm for DNA based storage and retrieval of digital signals. In: Preproceedings of the 11th International Meeting on DNA-based computers DNA 11 (Submitted) (2005)