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

A

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

B

Bemporad, Alberto Hybrid Toolbox for MATLAB - User's Guide. Manual # /2003 (Unpublished)

Bemporad, Alberto Multiparametric nonlinear integer programming and explicit quantized optimal control. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 3167-3172. ISBN 0-7803-7924-1 (2003)

Bemporad, Alberto and Borodani, Pandeli and Mannelli, Massimo Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2623 . Springer-Verlag, pp. 81-96. ISBN 978-3-540-00913-9 (2003)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Min-max control of constrained uncertain discrete-time linear systems. IEEE Transactions on Automatic Control , 48 (9). pp. 1600-1606. ISSN 0018-9286 (2003)

Bemporad, Alberto and Corona, Daniele and Giua, Alessandro and Seatzu, Carla Optimal state-feedback quadratic regulation of linear hybrid automata. In: Analysis and design of hybrid systems 2003: a proceedings volume from the IFAC conference. Elsevier, pp. 369-378. ISBN 0-08-044094-0 (2003)

Bemporad, Alberto and Filippi, Carlo Approximate multiparametric convex programming. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 3185-3190. (Unpublished) (2003)

Bemporad, Alberto and Filippi, Carlo Suboptimal Explicit Receding Horizon Control via Approximate Multiparametric Quadratic Programming. Journal of Optimization Theory and Applications, 117 (1). pp. 9-38. ISSN 0022-3239 (2003)

Bemporad, Alberto and Garulli, Andrea and Paoletti, Simone and Vicino, Antonio Set membership identification of piecewise affine models. In: System Identification 2003 : a proceeding volume from the 13th IFAC Symposium on System Identification. Elsevier, pp. 1789-1794. ISBN 978-0-08-043709-5 (2003)

Bemporad, Alberto and Giorgetti, Nicolò Logic-based hybrid solvers for optimal control of hybrid systems. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 640-645. ISBN 0-7803-7924-1 (2003)

Bemporad, Alberto and Morari, Manfred and Dua, Vivek and Pistikopoulos, Efstratios N. Corrigendum to: "The explicit linear quadratic regulator for constrained systems" [Automatica 38(1) (2002) 3-20]. Automatica, 39 (10). pp. 1845-1846. ISSN 0005-1098 (2003)

Bemporad, Alberto and Rusconi, F. and Morari, Manfred and Rovaglio, M. Using MPC as master controller for integrated gasification combined cycle processes. Trends in Chemical Engineering , 8. pp. 199-214. ISSN 0972-4478 (2003)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Boreale, Michele and Buscemi, Maria Grazia Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. In: Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS ’03). Lecture Notes in Computer Science, 2747 . Springer, pp. 269-278. ISBN 3-540-40671-9 (2003)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems. In: American Control Conference. IEEE, Denver. Colorado June 4-6.2W3, pp. 4717-4722. ISBN 0-7803-7896-2 (2003)

Borrelli, Francesco and Bemporad, Alberto and Morari, Manfred A geometric algorithm for multi-parametric linear programming. Journal of Optimization Theory and Applications, 118 (3). pp. 515-540. ISSN 0022-3239 (2003)

D

De Nicola, Rocco and Labella, Anna Nondeterministic regular expressions as solutions of equational systems. Theoretical Computer Science, 302 (1-3). pp. 179-189. ISSN 0304-3975 (2003)

F

Furey, Maura L. and Ricciardi, Emiliano and Rapoport, Stanley I. and Schapiro, Mark B. and Pietrini, Pietro Cholinergic Enhancement during Working Memory Eliminates Regional Cerebral Blood Flow (rCBF) Modulation Associated with Task Difficulty in Prefrontal Cortex. In: 9th Annual Meeting of the Human Brain Mapping Organization, June 19-22, 2003, New York, USA (2003)

L

Lluch-Lafuente, Alberto Symmetry reduction and heuristic search for error detection in model checking. In: Workshop on Model Checking and Artificial Intelligence (MoChArt-03), 10 August 2003, Acapulco, Mexico (Unpublished) (2003)

P

Pellegrini, Silvia and Cozza, Arianna and Franceschini, C. and Mariotti, Veronica and Guazzelli, Mario and Pietrini, Pietro Polimorfismi genetici e rischio di sviluppo di demenza. In: 43º Congresso nazionale della Società italiana di psichiatria, October 18-23, 2003, Bologna, Italy pp. 31-38. (2003)

Picasso, Bruno and Pancanti, Stefania and Bemporad, Alberto and Bicchi, Antonio Receding-horizon control of LTI systems with quantized inputs. In: Analysis and design of hybrid systems 2003: a proceedings volume from the IFAC conference. Elsevier, pp. 259-264. ISBN 0-08-044094-0 (2003)

Pietrini, Pietro Emozioni e sentimenti: come il cervello anima la nostra esistenza. In: La società infobiologica. La nuova scienza, 4 . Scheiwiller, pp. 321-330. (2003)

Pietrini, Pietro Toward a Biochemistry of Mind? American Journal of Psychiatry, 160 (11). pp. 1907-1908. ISSN 0002-953X (2003)

Pietrini, Pietro and Furey, Maura L. and Ricciardi, Emiliano and Gobbini, Maria Ida and Guazzelli, Mario and Haxby, James V. Seeing with one's hands: Supramodal cortical organization of perception in the human brain revealed by fMRI. International Journal of Psychophysiology, 45 (1-2). p. 56. ISSN 0167-8760 (2003)

Potocnik, Bostjan and Bemporad, Alberto and Torrisi, Fabio Danilo and Music, Gasper and Zupancic, Borut Hybrid modeling and optimal control of an asphalt base process. Elektrotehniški vestnik, 70 (4). pp. 208-214. ISSN 0013-5852 (2003)

R

Ricciardi, Emiliano and Pietrini, Pietro and Rapoport, Stanley I. and Schapiro, Mark B. and Furey, Maura L. Effect of healthy aging on the cholinergic modulation of the interaction between prefrontal cortex (PFC) activity and visual working memory (vWM) task difficulty. In: 9th Annual Meeting of the Human Brain Mapping Organization, June 19-22, 2003, New York, USA (2003)

S

Silva, Miguel Pedro and Bemporad, Alberto and Ayala Botto, Miguel and Sa da Costa, José Optimal control of uncertain piecewise affine/mixed logical dynamical systems. In: European Control Conference 2003 (Unpublished) (2003)

T

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto Evaluation of piecewise affine control via binary search tree. Automatica, 39 (5). pp. 945-950. ISSN 0005-1098 (2003)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto Further results on multiparametric quadratic programming. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 3173-3178. ISBN 0-7803-7924-1 (2003)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto An algorithm for multi-parametric quadratic programming and explicit MPC solutions. Automatica, 39 (3). pp. 489-497. ISSN 005-1098 (2003)

Tsaftaris, Sotirios A. DNA-Based digital signal processing. Masters thesis, Northwestern University. (2003)

V

Vanello, Nicola and Positano, Vincenzo and Ricciardi, Emiliano and Santarelli, Maria Filomena and Guazzelli, Mario and Pietrini, Pietro and Landini, Luigi Independent component analysis of fMRI data: a model based approach for artifacts separation. In: First International IEEE EMBS Conference on Neural Engineering, May 20-22, 2003, Capri, Italy pp. 529-532. ISBN 0-7803-7579-3. (2003)

Vanello, Nicola and Positano, Vincenzo and Ricciardi, Emiliano and Santarelli, Maria Filomena and Guazzelli, Mario and Pietrini, Pietro and Landini, Luigi Separation of movement and task related fMRI signal changes in a simulated data set by Independent Component Analysis. In: 9th Annual Meeting of the Human Brain Mapping Organization, June 19-22, 2003, New York, USA (2003)

Z

Zavarise, Giorgio and Borri Brunetto, Mauro and Paggi, Marco Prediction of real contact area for interfacial debonding damage in fibrous composite materials. In: Proceedings of the 16th AIMETA Congress of Theoretical and Applied Mechanics. AIMETA, pp. 1-10. (2003)