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

Article

Alexander, Gene E. and Chen, Kewei and Merkley, Tricia L. and Reiman, Eric M. and Caselli, Richard J. and Aschenbrenner, Melaney and Santerre-Lemmon, Laura and Lewis, Diana J. and Pietrini, Pietro and Teipel, Stefan J. and Hampel, Harald and Rapoport, Stanley I. and Moeller, James R. Regional network of magnetic resonance imaging gray matter volume in healthy aging. Neuroreport, 17 (10). pp. 951-956. ISSN 0959-4965 (2006)

Bambini, Valentina and Gentili, Claudio and Pietrini, Pietro On cultural constraints on piraha grammar. Current Anthropology, 47 (1). pp. 143-145. ISSN 0011-3204 (2006)

Bemporad, Alberto and Filippi, Carlo An algorithm for approximate multiparametric convex programming. Computational Optimization and Applications, 35 (1). pp. 87-108. ISSN 0926-6003 (2006)

Bemporad, Alberto and Giorgetti, Nicolò Logic-based solution methods for optimal control of hybrid systems. IEEE Transactions on Automatic Control, 51 (6). pp. 963-976. ISSN 0018-9286 (2006)

Bemporad, Alberto and Muñoz de la Peña, David and Piazzesi, Peter Optimal control of investments for quality of supply improvement in electrical energy distribution networks. Automatica, 42 (8). pp. 1331-1336. ISSN 0005-1098 (2006)

Borrelli, Francesco and Bemporad, Alberto and Fodor, Michael and Hrovat, Davor An MPC/hybrid system approach to traction control. IEEE Transactions on Control Systems Technology , 14 (3). pp. 541-552. ISSN 1063-6536 (2006)

Buscemi, Maria Grazia and Montanari, Ugo A compositional coalgebraic model of a fragment of fusion calculus. Electronic Notes in Theoretical Computer Science, 162. pp. 135-139. ISSN 1571-0661 (2006)

Carpinteri, Alberto and Paggi, Marco Influence of the intermediate material on the singular stress field in trimaterial junctions. Materials Science, 42 (1). pp. 95-101. ISSN 1068-820X (2006)

Carpinteri, Alberto and Paggi, Marco and Pugno, Nicola Numerical evaluation of generalized stress-intensity factors in multi-layered composites. International Journal of Solids and Structures, 43 (3–4). 627 - 641. ISSN 0020-7683 (2006)

Carpinteri, Alberto and Paggi, Marco and Pugno, Nicola An analytical approach for fracture and fatigue in functionally graded materials. International Journal of Fracture, 141 (3-4). pp. 535-547. ISSN 1573-2673 (2006)

De Nicola, Rocco From Process Calculi to Klaim and Back. Electronic Notes in Theoretical Computer Science, 162. pp. 159-162. ISSN 1571-0661 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

Doganis, Philip and Alexandridis, Alex and Patrinos, Panagiotis and Sarimveis, Haralambos Time series sales forecasting for short shelf-life food products based on artificial neural networks and evolutionary computing. Journal of Food Engineering, 75 (2). pp. 196-204. ISSN 0260-8774 (2006)

Eom, Young-Ho and Lee, Soojin and Jeong, Hawoong Exploring local structural organization of metabolic networks using subgraph patterns. Journal of Theoretical Biology, 241 (4). 823 - 829. ISSN 0022-5193 (2006)

Ferrari, GianLuigi and Lluch-Lafuente, Alberto A Logic for Graphs with QoS. Electronic Notes in Theoretical Computer Science, 142. pp. 143-160. ISSN 1571-0661 (2006)

Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus. Electronic Notes in Theoretical Computer Science, 154 (2). pp. 31-46. ISSN 1571-0661 (2006)

Giorgetti, Nicolò and Bemporad, Alberto and Tseng, H. E. and Hrovat, Davor Hybrid model predictive control application towards optimal semi-active suspension. International Journal of Control , 79 (5). pp. 521-533. ISSN 0020-7179 (2006)

Giorgetti, Nicolò and Ripaccioli, Giulio and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Hybrid model predictive control of direct injection stratified charge engines. IEEE/Asme Transactions on Mechatronics , 11 (5). pp. 499-506. ISSN 1083-4435 (2006)

Goh, Kwang-Il and Eom, Young-Ho and Jeong, Hawoong and Kahng, Byungnam and Kim, Dong-Hee Structure and evolution of online social relationships: heterogeneity in unrestricted discussions. Physical Review E, 73. 066123. ISSN 1539-3755 (2006)

Hirsch, Dan and Lluch-Lafuente, Alberto and Tuosto, Emilio A logic for application level QoS. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 135-159. ISSN 1571-0661 (2006)

Huey, Edward D. and Grafman, Jordan and Wassermann, Eric M. and Pietrini, Pietro and Tierney, Michael C. and Ghetti, Bernardino and Spina, Salvatore and Baker, Matt and Hutton, Mike and Elder, Joshua W. and Berger, Stephen L. and Heflin, Kyle A. and Hardy, John and Momeni, Parastoo Characteristics of frontotemporal dementia patients with a Progranulin mutation. Annals of Neurology, 60 (3). pp. 374-380. ISSN 0364-5134 (2006)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto Stabilizing model predictive control of hybrid systems. IEEE Transactions on Automatic Control, 51 (11). pp. 1813-1818. ISSN 0018-9286 (2006)

Muñoz de la Peña, David and Alamo, Teodoro and Bemporad, Alberto and Camacho, Eduardo F. A decomposition algorithm for feedback min-max model predictive control. IEEE Transactions on Automatic Control, 51 (10). pp. 1688-1692. ISSN 0018-9286 (2006)

Muñoz de la Peña, David and Bemporad, Alberto and Filippi, Carlo Robust explicit MPC based on approximate multi-parametric convex programming. IEEE Transactions on Automatic Control , 51 (8). pp. 1399-1403. ISSN 0018-9286 (2006)

Pietrini, Pietro and Ricciardi, Emiliano and Guazzelli, Mario and Furey, Maura L. Neuronal correlates of cholinergic enhancement on cognitive function: In vivo PET and fMRI studies in humans. Journal of Psychophysiology, 20 (3). p. 214. ISSN 0269-8803 (2006)

Ricciardi, Emiliano and Bonino, Daniela and Gentili, Claudio and Sani, Lorenzo and Pietrini, Pietro and Vecchi, Tomaso Neural correlates of spatial working memory in humans: a functional magnetic resonance imaging study comparing visual and tactile processes. Neuroscience, 139 (1). pp. 339-349. ISSN 0306-4522 (2006)

Seatzu, Carla and Corona, Daniele and Giua, Alessandro and Bemporad, Alberto Optimal control of continuous-time switched affine systems. IEEE Transactions on Automatic Control , 51 (5). pp. 726-741. ISSN 0018-9286 (2006)

Stein, Dan J. and Arya, Monisha and Pietrini, Pietro and Rapoport, Judith L. and Swedo, Susan E. Neurocircuitry of disgust and anxiety in obsessive-compulsive disorder : a positron emission tomography study. Metabolic Brain Disease, 21 (2). pp. 255-265. ISSN 0885-7490 (2006)

Tuosto, Emilio and Torres Vieira, Hugo An observational model for spatial logics. Electronic Notes in Theoretical Computer Science, 142. pp. 229-254. ISSN 1571-0661 (2006)

Vecchi, Tomaso and Cattaneo, Zaira and Monegato, Maura and Pece, Alfredo and Cornoldi, Cesare and Pietrini, Pietro Why cyclops could not compete with Ulysses : monocular vision and mental images. Neuroreport, 17 (7). pp. 723-726. ISSN 0959-4965 (2006)

Wang, Haohong and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Joint source-channel coding for wireless object-based video communications utilizing data hiding. IEEE Transactions on image processing, 15 (8). 2158 -2169. ISSN 1057-7149 (2006)

Book Section

Alessio, Alessandro and Bemporad, Alberto Feasible mode enumeration and cost comparison for explicit quadratic model predictive control of hybrid systems. In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006. IFAQ, pp. 302-308. ISBN 978-3-902661-06-7 (2006)

Alessio, Alessandro and Bemporad, Alberto and Heemels, W.P.M.H. and Lazar, Mircea Convex Polyhedral Invariant Sets for Closed-Loop Linear MPC Systems. In: Decision and Control. IEEE, 13th-15th December 2006 , pp. 4532-4537. ISBN 1-4244-0171-2 (2006)

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

Bemporad, Alberto Model predictive control Design: New Trends and Tools. In: Decision and Control. IEEE, 13th-15th December 2006, pp. 6678-6683. ISBN 1-4244-0171-2 (2006)

Bemporad, Alberto and Di Cairano, Stefano and Júlvez, Jorge Event-based model predictive control and verification of integral continuous-time hybrid automata. In: Hybrid Systems: Computation and Control. Springer-Verlag, pp. 93-107. ISBN 978-3-540-33170-4 (2006)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Borri Brunetto, Mauro and Carpinteri, Alberto and Invernizzi, Stefano and Paggi, Marco Micro-slip of rough surfaces under cyclic tangential loading. In: Analysis and Simulation of Contact Problems. Lecture Notes in Applied and Computational Mechanics (27). Springer , pp. 333-340. ISBN 978-3-540-31761-6 (2006)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

Carpinteri, Alberto and Paggi, Marco Correlation Between Paris’ Law Parameters Based on Self-Similarity and Criticality Condition. In: Fracture of Nano and Engineering Materials and Structures. Springer , pp. 239-240. ISBN 978-1-4020-4971-2 (2006)

Casarotto, Silvia and Bianchi, Anna M. and Cerutti, Sergio and Vanello, Nicola and Ricciardi, Emiliano and Gentili, Claudio and Sani, Lorenzo and Bonino, Daniela and Guazzelli, Mario and Pietrini, Pietro and Landini, Luigi and Chiarenza, Giuseppe A. Combination of event-related potentials and functional magnetic resonance imaging during single-letter reading. In: Proceeding of the International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE, pp. 984-987. (2006)

Di Cairano, Stefano and Bemporad, Alberto An equivalence result between linear hybrid automata and piecewise affine systems. In: Decision and Control. IEEE, 13th-15th December 2006, pp. 2631-2636. ISBN 1-4244-0171-2 (2006)

Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Model predictive control of nonlinear mechatronic systems: an application to a magnetically actuated mass spring damper. In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems. IFAC, pp. 241-246. ISBN 978-3-902661-06-7 (2006)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Heuristic Search for the Analysis of Graph Transition Systems. In: Graph Transformations (ICGT 2006). Lecture Notes in Computer Science, 4178 . Springer, pp. 414-429. ISBN 3-540-38870-2 (2006)

Gilmore, Stephen and Tribastone, Mirco Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Web services and formal methods. Lecture Notes in Computer Science (4184). Springer, pp. 214-226. ISBN 978-3-540-38865-4 (2006)

Indelicato, Ferdinando and Paggi, Marco La forma del provino ed il problema del contatto nella valutazione della resistenza del calcestruzzo. In: Sperimentazione su materiali e strutture : convegno nazionale : [6-7 dicembre 2006, Venezia]. IUAV, pp. 744-753. (2006)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (2006)

Lazar, Mircea and Alessio, Alessandro and Bemporad, Alberto and Heemels, W.P.M.H. Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones. In: American Control Conference. IEEE, 13th-15th December 2006, pp. 3007-3012. ISBN 1-4244-0209-3 (2006)

Muñoz de la Peña, David and Alamo, Teodoro and Bemporad, Alberto and Camacho, Eduardo F. Feedback min-max model predictive control based on a quadratic cost function. In: American Control Conference. IEEE, 14th-16th June 2006 , pp. 1575-1680. ISBN 1-4244-0209-3 (2006)

Paggi, Marco and Carpinteri, Alberto and Zavarise, Giorgio A numerical model for the analysis of decohesion at bi-material interfaces with random properties. In: Atti del XVI Convegno Italiano di Meccanica Computazionale. Tecnoprint, pp. 1-4. ISBN 88-371-1621-7 (2006)

Paggi, Marco and Carpinteri, Alberto and Zavarise, Giorgio A unified interface constitutive law for the study of fracture and contact problems in heterogeneous materials. In: Analysis and Simulation of Contact Problems. Lecture Notes in Applied and Computational Mechanics (27). Springer-Verlag, pp. 297-304. ISBN 978-3-540-31761-6 (2006)

Paggi, Marco and Chiaia, Bernardino and Borri Brunetto, Mauro Multiscale models for contact mechanics of rough surfaces. In: (ed. by R. Buzio e U. Valbusa) Advances in Contact Mechanics: Implications for Materials Science, Engineering and Biology. Research Signpost, pp. 1-41. ISBN 81-7895-221-1 (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. In: Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany. (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. In: Logic Programming. Lecture Notes in Computer Science (4079). Springer, pp. 179-195. ISBN 978-3-540-36635-5 (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Parameterized Protocols Using Array Formulas. In: Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science (3901). Springer, pp. 23-43. ISBN 978-3-540-32654-0 (2006)

Tsaftaris, Sotirios A. and Hatzimanikati, Vassily and Katsaggelos, Aggelos K. DNA as a medium for storing digital signals. In: Artificial life X: proceedings of the tenth international conference on the simulation and synthesis of living systems. The MIT Press , pp. 303-309. ISBN 9780262681629 (2006)

Tsaftaris, Sotirios A. and Hatzimanikati, Vassily and Katsaggelos, Aggelos K. DNA hybridization as a similarity criterion for querying digital signals stored in DNA databases. In: International conference on acoustics, speech and signal processing. IEEE , II-II. ISBN 1-4244-0469-X (2006)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. DNA sequencing. In: Encyclopedia of medical devices and instrumentation. Wiley, pp. 427-437. ISBN 978-0-471-26358-6 (2006)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Conference or Workshop Item

Bonino, Daniela and Ricciardi, Emiliano and Gentili, Claudio and Sani, Lorenzo and Guazzelli, Mario and Pietrini, Pietro and Vecchi, Tomaso The role of imagery in visual and tactile spatial discrimination in congenitally blind and sighted individuals. In: 10th European Workshop on Imagery and Cognition, June 28-30, 2005, St. Andrews, Scotland (2006)

Casarotto, Silvia and Bianchi, A.M. and Cerutti, Sergio and Vanello, Nicola and Ricciardi, Emiliano and Gentili, Claudio and Sani, Lorenzo and Bonino, Daniela and Guazzelli, Mario and Pietrini, Pietro and Landini, Luigi and Chiarenza, Giuseppe A. A Combined ERPs and fMRI Approach to Investigate the Neural Correlates of Reading in the Human Brain. In: 12th Annual Meeting of the Organization for Human Brain Mapping, 11–15 June 2006, Florence, Italy ISSN 1053-8119. (2006)

Casarotto, Silvia and Bianchi, A.M. and Chiarenza, Giuseppe A. and Vanello, Nicola and Ricciardi, Emiliano and Pietrini, Pietro Physiological reading processes by integrating ERP and fMRI data. In: 13th World Congress of Psychophysiology, August 28 - September 2, Istanbul, Turkey p. 319. ISSN 0167-8760. (2006)

Hartwig, Valentina and Cappelli, Claudia and Vanello, Nicola and Ricciardi, Emiliano and Scilingo, Enzo Pasquale and Giovannetti, Giulio and Santarelli, Maria Filomena and Positano, Vincenzo and Pietrini, Pietro and Landini, Luigi and Bicchi, Antonio A compatible electrocutaneous display for functional magnetic resonance imaging application. In: EMBS Annual International Conference, 30 Aug - 03 Sep 2006, New York ISBN 1-4244-0032-5. (2006)

Tribastone, Mirco The PEPA Plug-in project. In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), June 2010, London, UK (Unpublished) (2006)

Vanello, Nicola and Santarelli, Maria Filomena and Positano, Vincenzo and Ricciardi, Emiliano and Pietrini, Pietro and Landini, Luigi Advanced data analysis in brain functional studies with magnetic resonance imaging. In: International Congress, 10-13 Oct 2006, Pisa, Italy p. 477. ISSN 0753-3322. (2006)

Thesis

Tsaftaris, Sotirios A. DNA-Based storage and retrieval of digital signals. PhD Thesis thesis, Northwestern University. (2006)