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

A

Alexander, Gene E. and Pietrini, Pietro Neuroradiological Investigation: Functional Neuroimaging: SPECT/PET. In: Early-Onset Dementia : a multidisciplinary approach (edited by John R. Hodges). Oxford University Press, pp. 142-164. ISBN 0-19-263034-2 (2001)

B

Bemporad, Alberto and Borrelli, Francesco and Glielmo, Luigi and Vasca, Francesco Hybrid control of dry clutch engagement. In: European Control Conference. European Control Conference, Porto, Portugal. (2001)

Bemporad, Alberto and Borrelli, Francesco and Glielmo, Luigi and Vasca, Francesco Optimal piecewise-linear control of dry clutch engagement. In: Workshop Advances in Automotive Control. IFAC, Karlsruhe, Germany, pp. 33-38. (2001)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Piecewise linear robust model predictive control. In: European Control Conference. European Control Conference, Porto, Portugal, pp. 939-944. (2001)

Bemporad, Alberto and Filippi, Carlo Suboptimal explicit MPC via approximate multiparametric quadratic programming. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 4851-4856. ISBN 0-7803-7061-9 (2001)

Bemporad, Alberto and Fukuda, Komei and Torrisi, Fabio Danilo Convexity recognition of the union of polyhedra. Computational Geometry, 18 (3). pp. 141-154. ISSN 0925-7721 (2001)

Bemporad, Alberto and Heemels, W.P.M.H. and De Schutter, Bart On hybrid systems and closed-loop MPC systems. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 1645-1650. ISBN 0-7803-7061-9 (2001)

Bemporad, Alberto and Morari, Manfred Optimization-based hybrid control tools. In: American Control Conference. IEEE, Arlington, VA June 25-27, 2001, 1689 -1703 . ISBN 0-7803-6495-3 (2001)

Bemporad, Alberto and Roll, Jacob and Ljung, Lennart Identification of hybrid systems via mixed-integer programming. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 786-792. ISBN 0-7803-7061-9 (2001)

Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Discrete-time hybrid modeling and verification of the batch evaporator process benchmark. European Journal of Control, 7 (4). pp. 382-399. ISSN 0947-3580 (2001)

Bettini, Lorenzo and De Nicola, Rocco Translating Strong Mobility into Weak Mobility. In: Mobile Agents. Lecture Notes in Computer Science, 2240 . Springer, pp. 182-197. ISBN 3-540-42952-2 (2001)

Bokde, Arun L. W. and Pietrini, Pietro and Ibáñez, Vicente and Furey, Maura L. and Alexander, Gene E. and Graff-Radford, Neill R. and Rapoport, Stanley I. and Schapiro, Mark B. and Horwitz, Barry The effect of brain atrophy on cerebral hypometabolism in the visual variant of Alzheimer disease. Archives of Neurology, 58 (3). ISSN 0003-9942 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. SIAM Journal on Computing., 31 (3). pp. 947-986. ISSN 0097-5397 (2001)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred Efficient on-line computation of constrained optimal control. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 1187-1192. ISBN 0-7803-7061-9 (2001)

Borrelli, Francesco and Bemporad, Alberto and Fodor, Michael and Hrovat, Davor A hybrid approach to traction control. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2034 . Springer-Verlag, pp. 162-174. ISBN 978-3-540-41866-5 (2001)

Buscemi, Maria Grazia and Sassone, Vladimiro High-Level Petri Nets as Type Theories in the Join Calculus. In: Proceedings of Foundations of Software Science and Computation Structure (FoSSaCS ’01). Lecture Notes in Computer Science, 2030 . Springer, pp. 104-120. ISBN 3-540-41864-4 (2001)

C

Caramella, Davide and Neri, Emanuele and Lombardi, M. and Landini, Luigi and Positano, Vincenzo and La Manna, S. and Starita, A. and Pietrini, Pietro and Guazzelli, Mario and Haxby, James V. and Bartolozzi, Carlo Advance image processing in clinical and research applications. In: European Congress of Radiology, 2-6 March 2001, Vienna, Austria ISSN 0938-7994. (2001)

Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001)

E

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Directed Explicit Model Checking with HSF-SPIN. In: Model Checking Software (SPIN '01). Lecture Notes in Computer Science, 2057 . Springer, pp. 57-79. ISBN 3-540-42124-6 (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Protocol verification with heuristic search. In: AAAI Spring Symposium on Model-Based Validation of Intelligence, March 26-28, 2001, Stanford University (Submitted) (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Trail-directed model checking. Electronic Notes in Theoretical Computer Science, 55 (3). ISSN 1571-0661 (2001)

F

Furey, Maura L. and Ricciardi, Emiliano and Guazzelli, Mario and Pietrini, Pietro Basi neuronali degli effetti della modulazione farmacologica del sistema colinergico: studi PET e FMRI nell'uomo. In: Demenze: aggiornamenti clinico terapeutici (a cura di E. Aguglia). CIC Edizioni Internazionali. ISBN 88-7141-497-7 (2001)

G

Giovacchini, G. and Guazzelli, Mario and Pietrini, Pietro Le basi biologiche del decadimento cognitivo nella malattia di Alzheimer: lo studio del metabolismo cerebrale del glucosio mediante tomografia ad emissione di positroni. Problemi in psichiatria, 25. pp. 7-25. (2001)

Grady, Cheryl L. and Furey, Maura L. and Pietrini, Pietro and Horwitz, Barry and Rapoport, Stanley I. Altered brain functional connectivity and impaired short-term memory in Alzheimer's disease. Brain, 124 (4). pp. 739-756. ISSN 1460-2156 (2001)

Guazzelli, Mario and Ricciardi, Emiliano and Pietrini, Pietro Correlati neurometabolici del decadimento cognitivo nella malattia di Alzheimer: implicazioni per la terapia. In: Demenze: aggiornamenti clinico terapeutici (a cura di E. Aguglia). CIC Edizioni Internazionali. ISBN 88-7141-497-7 (2001)

H

Haxby, James V. and Gobbini, Maria Ida and Furey, Maura L. and Ishai, Alumit and Pietrini, Pietro Distinct, overlapping representations of faces and multiple categories of objects in ventral temporal cortex. In: 7th International Conference on Functional Mapping of the Human Brain, June 10–14, 2001, Brighton, United Kingdom S891. ISSN 1053-8119. (2001)

Haxby, James V. and Gobbini, Maria Ida and Furey, Maura L. and Ishai, Alumit and Schouten, Jennifer L. and Pietrini, Pietro Distributed and overlapping representations of faces and objects in ventral temporal cortex. Science, 293 (5539). pp. 2425-2430. ISSN 0036-8075 (2001)

Heemels, W.P.M.H. and De Schutter, Bart and Bemporad, Alberto Equivalence of hybrid dynamical models. Automatica, 37 (7). pp. 1085-1091. ISSN 0005-1098 (2001)

Heemels, W.P.M.H. and De Schutter, Bart and Bemporad, Alberto On the equivalence of classes of hybrid dynamical models. In: Proc. 40th IEEE Conf. on Decision and Control. IEEE, Orlando, Florida USA, December 2001, pp. 364-369. ISBN 0-7803-7061-9 (2001)

P

Paggi, Marco Modelli micromeccanici di contatto: analisi critica comparativa. Masters thesis, Politecnico di Torino. (2001)

Pietrini, Pietro and Furey, Maura L. and Guazzelli, Mario and Alexander, Gene E. Functional brain studies of the neurometabolic bases of cognitive and behavioral changes in Alzheimer's disease. In: Functional neurobiology of aging (edited by Hof and Mobbs). Academic Press, pp. 227-242. ISBN 9780123518309 (2001)

Pietrini, Pietro and Ricciardi, Emiliano and Guazzelli, Mario and Furey, Maura L. Basi neurometaboliche degli effetti della modulazione colinergica: studi PET e fMRI nell'uomo. In: Demenze: aggiornamenti clinico terapeutici (a cura di E. Aguglia). CIC Edizioni Internazionali. ISBN 88-7141-497-7 (2001)

S

Silverman, Daniel H. S. and Small, Gary W. and Chang, Carol Y. and Lu, Carolyn S. and de Aburto, Michelle A. Kung and Chen, Wei and Czernin, Johannes and Rapoport, Stanley I. and Pietrini, Pietro and Alexander, Gene E. and Schapiro, Mark B. and Jagust, William J. and Hoffman, John M. and Welsh-Bohmer, Kathleen A. and Alavi, Abass and Clark, Christopher M. and Salmon, Eric and de Leon, Mony J. and Mielke, Ruediger and Cummings, Jeffrey L. and Kowell, Arthur P. and Gambhir, Sanjiv S. and Hoh, Carl K. and Phelps, Michael E. Positron Emission Tomography in Evaluation of Dementia. Journal of the American Medical Association, 286 (17). p. 2120. ISSN 0098-7484 (2001)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Strintzis, Michael Digital watermarking of MPEG-1 and MPEG-2 multiplexed streams for copyright protection. In: IEEE International Workshop on Digital and Computational Video (DCV 2001). IEEE, 140 -147. ISBN 0-7695-1110-4 (2001)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Strintzis, Michael Fast compressed domain watermarking of MPEG multiplexed streams. In: Proceedings of Information and Knowledge Management for Integrated Media Communication Workshop, November 2001, Madird, Spain (Unpublished) (2001)

T

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto An algorithm for multi-parametric quadratic programming and explicit MPC solutions. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 1199-1204. ISBN 0-7803-7061-9 (2001)

Torrisi, Fabio Danilo and Bemporad, Alberto Discrete-time hybrid modeling and verification. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 2899-2904. ISBN 0-7803-7061-9 (2001)

X

Xu, Benjamin and Grafman, Jordan and Gaillard, William D. and Ishii, Kenji and Vega-Bermudez, Francisco and Pietrini, Pietro and Reeves-Tyer, Patricia and DiCamillo, Paul and Theodore, William Conjoint and extended neural networks for the computation of speech codes: the neural basis of selective impairment in reading words and pseudowords. Cerebral Cortex, 11 (3). pp. 267-277. ISSN 1047-3211 (2001)

Z

Zalla, Tiziana and Koechlin, Etienne and Pietrini, Pietro and Basso, Gianpaolo and Aquino, Patrick and Sirigu, Angela and Grafman, Jordan Differential amygdala responses to winning and losing: a functional magnetic resonance imaging study in humans. European Journal of Neuroscience, 12 (5). pp. 1764-1770. ISSN 0953-816X (2001)