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

Alexander, Gene E. and Chen, Kewei and Pietrini, Pietro and Rapoport, Stanley I. and Reiman, Eric M. Longitudinal PET Evaluation of Cerebral Metabolic Decline in Dementia: A Potential Outcome Measure in Alzheimer’s Disease Treatment Studies. American Journal of Psychiatry, 159 (5). pp. 738-745. ISSN 0002-953X (2002)

Alexander, Gene E. and Chen, Kewei and Pietrini, Pietro and Rapoport, Stanley I. and Reiman, Eric M. Longitudinal PET evaluation of cerebral metabolic decline in dementia: A potential outcome measure in Alzheimer's disease treatment studies. American Journal of Psychiatry, 159 (5). pp. 738-745. ISSN 0002-953X (2002)

Alexander, Gene E. and Rice, Heather and Lewis, Diana J. and Porath, Mark and Chen, Kewei and Reiman, Eric M. and Pietrini, Pietro and Krasuski, Jack and Teichberg, Diane and Rapoport, Stanley I. and Teipel, Stefan J. and Hampel, Harald and Schapiro, Mark B. and Grafman, Jordan Regional gray matter atrophy in frontotemporal dementia evaluated by voxel-based MRI morphometry. In: 8th International Conference on Alzheimer's, 20–25 July 2002, Stockholm, Sweden S478. ISSN 0197-4580. (2002)

Asano, K and Tsuda, Koji and Bemporad, Alberto and Morari, Manfred Predictive control for hybrid systems and its application to process control. Systems, Control and Information, 46 (3). pp. 110-119. (2002)

Bemporad, Alberto An efficient technique for translating mixed logical dynamical systems into piecewise affine systems. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 1970-1975. ISBN 0-7803-7516-5 (2002)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Model Predictive Control Based on Linear Programming - The Explicit Solution. IEEE Transactions on Automatic Control, 47 (12). pp. 1974-1985. ISSN 0018-9286 (2002)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred On the optimal control law for linear discrete time hybrid systems. In: Hybrid Systems: Computation and Control. Springer-Verlag, pp. 105-119. ISBN 978-3-540-43321-7 (2002)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Optimal control of discrete time linear hybrid systems. In: Hybrid Systems: Computation and Control (HSCC 2002), 25 - 27 March 2002, Stanford, California, USA pp. 1-41. (Unpublished) (2002)

Bemporad, Alberto and Giorgetti, Nicolò and Kolmanovsky, Ilya and Hrovat, Davor Hybrid modeling and control of a direct injection stratified charge engine. In: Symposium on Advanced Automotive Technologies, ASME International Mechanical Engineering Congress an. ASME, pp. 691-698. ISBN 0-7918-3629-0 (2002)

Bemporad, Alberto and Giorgetti, Nicolò and Kolmanovsky, Ilya and Hrovat, Davor A hybrid system approach to modeling and optimal control of DISC engines. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 1582-1587. ISBN 0-7803-7516-5 (2002)

Bemporad, Alberto and Giua, Alessandro and Seatzu, Carla Synthesis of state-feedback optimal controllers for switched linear systems. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 3182-3187. ISBN 0-7803-7516-5 (2002)

Bemporad, Alberto and Giua, Alessandro and Seatzu, Carla An iterative algorithm for the optimal control of continuous-time switched linear systems. In: Discrete Event Systems (WODES) : Proceedings of Sixth International Workshop. IEEE, 2–4 October 2002 Zaragoza, SPAIN, pp. 335-340. ISBN 0-7695-1683-1 (2002)

Bemporad, Alberto and Giua, Alessandro and Seatzu, Carla A master-slave algorithm for the optimal control of continuous-time switched affine systems. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 1976-1981. ISBN 0-7803-7516-5 (2002)

Bemporad, Alberto and Heemels, W.P.M.H. and De Schutter, Bart On hybrid systems and closed-loop MPC systems. IEEE Transactions on Automatic Control, 47 (5). pp. 863-869. ISSN 0018-9286 (2002)

Bemporad, Alberto and Morari, Manfred and Dua, Vivek and Pistikopoulos, Efstratios N. The Explicit Linear Quadratic Regulator for Constrained Systems. Automatica, 38 (1). pp. 3-20. ISSN 0005-1098 (2002)

Bemporad, Alberto and Teel, Andrew R. and Zaccarian, Luca L2 anti-windup via receding horizon optimal control. In: American Control Conference. IEEE, Anchorage, AK May 8-10.2002, pp. 639-644. ISBN 0-7803-7298-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In: Scientific Engineering for Distributed Java Applications (FIDJI 2002). Lecture Notes in Computer Science, 2604 . Springer, pp. 175-184. ISBN 3-540-00679-6 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Software update via mobile agent based programming. In: Proceedings of the 2002 ACM symposium on Applied computing (SAC '02). ACM, pp. 32-36. (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario Klava: a Java package for distributed and mobile applications. Software: Practice and Experience, 32 (14). pp. 1365-1394. ISSN 1097-024X (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario XKlaim and Klava: Programming Mobile Code. Electronic Notes in Theoretical Computer Science, 62. pp. 24-37. ISSN 1571-0661 (2002)

Boreale, Michele and Buscemi, Maria Grazia Experimenting with STA, a Tool for Automatic Analysis of Security Protocols. In: Proceedings of ACM Symposium in Applied Computing (SAC ’02). ACM Press, Madrid, pp. 281-285. ISBN 1-58113-445-2 (2002)

Boreale, Michele and Buscemi, Maria Grazia A Framework for the Analysis of Security Protocols. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 483-498. ISBN 3-540-44043-7 (2002)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Trace and Testing Equivalence on Asynchronous Processes. Information and Computation, 172 (2). pp. 139-164. ISSN 0890-5401 (2002)

Buscemi, Maria Grazia and Montanari, Ugo A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 449-465. ISBN 3-540-44043-7 (2002)

Buscemi, Maria Grazia and Montanari, Ugo Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. Technical Report Università di Pisa, Dipartimento di Informatica

Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002)

De Schutter, Bart and Heemels, W.P.M.H. and Bemporad, Alberto Max-plus-algebraic problems and the extended linear complementarity problem - algorithmic aspects. In: 15th IFAC World Congress. IFAC. ISBN 978-3-902661-74-6 (2002)

De Schutter, Bart and Heemels, W.P.M.H. and Bemporad, Alberto On the equivalence of linear complementarity problems. Operations Research Letters, 30 (4). pp. 211-222. ISSN 0167-6377 (2002)

Lluch-Lafuente, Alberto and Edelkamp, Stefan and Leue, Stefan Partial Order Reduction in Directed Model Checking. In: Model Checking Software (SPIN '02). Lecture Notes in Computer Science, 2318 . Springer, pp. 95-138. ISBN 3-540-43477-1 (2002)

Pietrini, Pietro and Furey, Maura L. and Ricciardi, Emiliano and Gobbini, Maria Ida and Wu, W.-H. Carolyn and Cohen, Leonardo and Guazzelli, Mario and Haxby, James V. Neural Activity in Ventral Extrastriate Cortex during Tactile Discrimination of Faces and Other Objects in Congenitally Blind and Sighted Subjects. In: 8th International Conference on Functional Mapping of the Human Brain, 2-6 June 2002, Sendai, Japan ISSN 1053-8119. (2002)

Pistikopoulos, Efstratios N. and Dua, Vivek and Bozinis, Nikolaos A. and Bemporad, Alberto and Morari, Manfred On-line optimization via off-line parametric optimization tools. Computers and Chemical Engineering, 26 (2). pp. 175-185. ISSN 0098-1354 (2002)

Potocnik, Bostjan and Bemporad, Alberto and Torrisi, Fabio Danilo and Music, Gasper and Zupancic, Borut Scheduling of hybrid systems: multi product batch plant. In: 15th IFAC World Congress. IFAC. ISBN 978-3-902661-74-6 (2002)

Ricciardi, Emiliano and Furey, Maura L. and Guazzelli, Mario and Panicucci, Erica and Pietrini, Pietro Nuove metodologie per lo studio del cervello. Problemi in psichiatria, 29. pp. 5-15. (2002)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Strintzis, Michael Compressed-domain video watermarking of MPEG streams. In: IEEE International Conference on Multimedia and Expo, 2002. ICME '02. IEEE, 569 - 572 vol.1. ISBN 0-7803-7304-9 (2002)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Strintzis, Michael Fast MPEG watermarking for copyright protection. In: 9th International conference on electronics, circuits and systems. IEEE, 1027 - 1030 vol.3. ISBN 0-7803-7596-3 (2002)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto Computation and approximation of piecewise affine control via binary search tree. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 3144-3149. ISBN 0-7803-7516-5 (2002)

Torrisi, Fabio Danilo and Bemporad, Alberto and Bertini, Gioele and Hertach, Peter and Jost, Dominic and Mignone, Domenico HYSDEL 2.0. 5- User manual. Manual # /2002 Automatic Control Laboratory, ETH, Zurich (Unpublished)

Zavarise, Giorgio and Borri Brunetto, Mauro and Paggi, Marco A comparison of the mechanical behavior of microscopical contact models. In: Proceedings of the International Conference on Nonsmooth/Nonconvex Mechanics with Applications in Engineering. Ziti, pp. 111-118. ISBN 9604317865 (2002)