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

B

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Explicit solution of LP-based model predictive control. In: Decision and Control Conference. IEEE, Sydney, Australia December, 2000, pp. 632-637. ISBN 0-7803-6638-7 (2000)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Optimal controllers for hybrid systems: stability and piecewise linear explicit form. In: Decision and Control Conference. IEEE, Sydney, Australia December, 2000, pp. 1810-1815. ISBN 0-7803-6638-7 (2000)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Piecewise linear optimal controllers for hybrid systems. In: American Control Conference. IEEE, Chicago, 28-30 June 2000 , pp. 1190-1194. ISBN 0-7803-5519-9 (2000)

Bemporad, Alberto and Bozinis, Nikolaos A. and Dua, Vivek and Morari, Manfred and Pistikopoulos, Efstratios N. Model predictive control: a multi-parametric programming approach. In: European Symposium on Computer Aided Process Engineering-10, Florence, Italy pp. 301-306. (2000)

Bemporad, Alberto and Di Marco, Mauro and Tesi, Alberto Sonar-based wall-following control of mobile robots. Journal of dynamic systems measurement and control, 122 (1). pp. 226-230. ISSN 0022-0434 (2000)

Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Morari, Manfred Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control, 45 (10). pp. 1864-1876. ISSN 0018-9286 (2000)

Bemporad, Alberto and Fukuda, Komei and Torrisi, Fabio Danilo On convexity recognition of the union of polyhedra. In: International Conference on Advances in Convex Analysis and Global Optimization, June 5-9, 2000, Samos, Greece pp. 64-65. (2000)

Bemporad, Alberto and Garulli, Andrea Output-feedback predictive control of constrained linear systems with disturbances via set-membership state estimation. International Journal of Control , 73 (8). pp. 655-665. ISSN 0020-7179 (2000)

Bemporad, Alberto and Giovanardi, L. and Torrisi, Fabio Danilo Performance driven reachability analysis for optimal scheduling and control of hybrid systems. In: Decision and Control Conference. IEEE, pp. 969-974. (2000)

Bemporad, Alberto and Giovanardi, L. and Torrisi, Fabio Danilo Robust simulation of nonlinear electronic circuits. In: Nonlinear dynamics of electronic systems : proceedings of the IEEE workshop. World Scientific Publishing, Singapore, pp. 131-135. ISBN 9789810243418 (2000)

Bemporad, Alberto and Mignone, Domenico miqp. m: a Matlab function for solving Mixed Integer Quadratic Programs Version 1.02 - User Guide. Manual # /2000 Automatic Control Laboratory, ETH, Zurich (Unpublished)

Bemporad, Alberto and Morari, Manfred Predictive control of constrained hybrid systems. In: Nonlinear model predictive control. Progress in systems and control theory, 26 . Springer-Verlag, pp. 71-98. ISBN 978-3-0348-8407-5 (2000)

Bemporad, Alberto and Morari, Manfred and Dua, Vivek and Pistikopoulos, Efstratios N. The explicit solution of model predictive control via multiparametric quadratic programming. In: American Control Conference. IEEE, Chicago, Illinois June 2000, pp. 872-876. ISBN 0-7803-5519-9 (2000)

Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1790 . Springer-Verlag, pp. 45-58. ISBN 978-3-540-67259-3 (2000)

Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Performance analysis of piecewise linear systems and model predictive control systems. In: Decision and Control Conference. IEEE, Sydney, Australia December, 2000, pp. 4957-4962. ISBN 0-7803-6638-7 (2000)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000)

D

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

De Nicola, Rocco and Loreti, Michele A Modal Logic for KLAIM. In: Algebraic Methodology and Software Technology (AMAST 2000). Lecture Notes in Computer Science, 1816 . Springer, pp. 339-354. ISBN 3-540-67530-2 (2000)

De Nicola, Rocco and Pugliese, Rosario Linda-based applicative and imperative process algebras. Theoretical Computer Science, 238 (1-2). pp. 389-437. ISSN 0304-3975 (2000)

De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)

F

Furey, Maura L. and Pietrini, Pietro and Alexander, Gene E. and Mentis, Marc J. and Szczepanik, Joanna and Shetty, Umesha and Greig, Nigel H. and Holloway, Harold W. and Schapiro, Mark B. and Freo, Ulderico Time course of pharmacodynamic and pharmacokinetic effects of physostigmine assessed by functional brain imaging in humans. Pharmacology Biochemistry and Behavior, 66 (3). pp. 475-481. ISSN 0091-3057 (2000)

Furey, Maura L. and Pietrini, Pietro and Alexander, Gene E. and Schapiro, Mark B. and Horwitz, Barry Cholinergic enhancement improves performance on working memory by modulating the functional activity in distinct brain regions: a positron emission tomography regional cerebral blood flow study in healthy humans. Brain Research Bulletin, 51 (3). pp. 213-218. ISSN 0361-9230 (2000)

Furey, Maura L. and Pietrini, Pietro and Haxby, James V. Cholinergic enhancement and increased selectivity of perceptual processing during working memory. Science, 290 (5500). pp. 2315-2319. ISSN 0036-8075 (2000)

G

Guazzelli, Mario and Palagini, Laura and Giuntoli, Loretta and Pietrini, Pietro Outcomes of patients with schizophrenia in a family-style, residential, community-based program in Italy. Psychiatric Services, 51 (9). pp. 1113-1115. ISSN 1075-2730 (2000)

H

Hampel, Harald and Teipel, Stefan J. and Alexander, Gene E. and Horwitz, Barry and Pietrini, Pietro and Hippius, Hanns and Moller, Hans-Jurgen and Schapiro, Mark B. and Rapoport, Stanley I. Corpus callosum measurement as an in vivo indicator for neocortical neuronal integrity, but not white matter pathology, in Alzheimer's disease. Annals of the New York Academy of Sciences, 903 (1). pp. 470-476. ISSN 0077-8923 (2000)

K

Kerrigan, Eric C. and Bemporad, Alberto and Mignone, Domenico and Morari, Manfred and Maciejowski, Jan M. Multi-objective prioritisation and reconfiguration for the control of constrained hybrid systems. In: American Control Conference. IEEE, Chicago, Illinois June 2000, pp. 1694-1698. ISBN 0-7803-5519-9 (2000)

Koechlin, Etienne and Corrado, Gregory and Pietrini, Pietro and Grafman, Jordan Dissociating the role of the medial and lateral anterior prefrontal cortex in human planning. Proceedings of the National Academy of Sciences, 97 (13). pp. 7651-7656. ISSN 1091-6490 (2000)

P

Pedret, C. and Stadler, K. and Toller, A. and Glattfelder, A.H. and Bemporad, Alberto and Mignone, Domenico Model-varying predictive control of a nonlinear system. Technical Report # /2000 Automatic Control Laboratory, ETH, Zurich (Unpublished)

Pietrini, Pietro and Alexander, Gene E. and Furey, Maura L. and Dani, Alessio and Mentis, Marc J. and Horwitz, Barry and Guazzelli, Mario and Schapiro, Mark B. and Rapoport, Stanley I. Cerebral metabolic response to passive audiovisual stimulation in patients with Alzheimer's disease and healthy volunteers assessed by PET. Journal of Nuclear Medicine, 41 (4). pp. 575-583. ISSN 0161-5505 (2000)

Pietrini, Pietro and Alexander, Gene E. and Furey, Maura L. and Hampel, Harald and Guazzelli, Mario The neurometabolic landscape of cognitive decline: in vivo studies with positron emission tomography in Alzheimer’s disease. International Journal of Psychophysiology, 37 (1). pp. 87-98. ISSN 0167-8760 (2000)

Pietrini, Pietro and Guazzelli, Mario and Basso, Gianpaolo and Jaffe, Karen and Grafman, Jordan Neural correlates of imaginal aggressive behavior assessed by positron emission tomography in healthy subjects. American Journal of Psychiatry, 157 (11). pp. 1772-1781. ISSN 0002-953X (2000)

Pietrini, Pietro and Rapoport, Stanley I. Functional brain imaging: cerebral blood flow and glucose metabolism in healthy human aging. In: Textbook of Geriatric Neuropsychiatry. American Psychiatric Press, pp. 239-265. ISBN 0880488417 (2000)

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, 24 (2-7). pp. 183-188. ISSN 0098-1354 (2000)

R

Ronca, Giovanni and Conte, A. and Pietrini, Pietro Aspetti biochimici del cervelletto. In: Il cervelletto : dalle funzioni cognitive alla psicopatologia (a cura di P. Castrogiovanni, L. Luccarelli). SEE, pp. 155-164. ISBN 8884650291 (2000)

S

Silverman, Daniel H. S. and Small, Gary W. and de Aburto, Michelle A. Kung and Hoffman, John M. and Salmon, Eric and de Leon, Mony J. and Mielke, Ruediger and Jagust, William J. and Pietrini, Pietro and Alexander, Gene E. and Czernin, Johannes and Phelps, Michael E. Diagnostic accuracy of FDG-PET in evaluation of dementia: International multicenter pooled brain scan and autopsy data. In: Annual meeting of the Society of Nuclear Medicine, 3-7 June 2000, St. Louis, Missouri (Unpublished) (2000)

T

Tsaftaris, Sotirios A. Copyright protection of MPEG 1&2 video sequences using digital watermarking. Other thesis, Aristotle University of Thessaloniki. (2000)