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

A

Alexander, Gene E. and Mentis, Marc J. and Van Horn, J.D. and Grady, Cheryl L. and Berman, K.F. and Furey, Maura L. and Pietrini, Pietro and Schapiro, Mark B. and Rapoport, Stanley I. and Moeller, James R. Individual differences in PET activation of object perception and attention systems predict face matching accuracy. Neuroreport, 10 (9). pp. 1965-1971. ISSN 0959-4965 (1999)

B

Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Mignone, Domenico and Morari, Manfred and Torrisi, Fabio Danilo Model predictive control - ideas for the next generation. In: European Control Conference , Karlsruhe, Germany (1999)

Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Morari, Manfred Observability and controllability of piecewise affine and hybrid systems. In: Decision and Control Conference. IEEE, Phoenix, Arizona, pp. 3966-3971. ISBN 0-7803-5250-5 (1999)

Bemporad, Alberto and Mignone, Domenico and Morari, Manfred Moving horizon estimation for hybrid systems and fault detection. In: American Control Conference. IEEE, San Diego, California, June 1999, pp. 2471-2475. ISBN 0-7803-4990-3 (1999)

Bemporad, Alberto and Mignone, Domenico and Morari, Manfred An efficient branch and bound algorithm for state estimation and control of hybrid systems. In: European control conference, Karlsruhe, Germany (1999)

Bemporad, Alberto and Morari, Manfred Control of systems integrating logic, dynamics, and constraints. Automatica, 35 (3). pp. 407-427. ISSN 0005-1098 (1999)

Bemporad, Alberto and Morari, Manfred Robust model predictive control: a survey. In: Robustness in Identification and Control. Lecture Notes in Control and Information Sciences, 245 . Springer-Verlag, pp. 207-226. ISBN 978-1-85233-179-5 (1999)

Bemporad, Alberto and Morari, Manfred Verification of hybrid systems via mathematical programming. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1569 . Springer-Verlag, pp. 31-45. ISBN 78-3-540-65734-7 (1999)

Bemporad, Alberto and Tarn, Tzyh-Jong and Xi, Ning Predictive path parameterization for constrained robot control. IEEE Transactions on Control Systems Technology, 7 (6). pp. 648-656. ISSN 1063-6536 (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. In: Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). IEEE Computer Society, pp. 157-166. (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999)

C

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999)

D

De Nicola, Rocco Coordination and Access Control of Mobile Agents. In: Coordination Languages and Models (COORDINATION 1999). Lecture Notes in Computer Science, 1594 . Springer, pp. 1-2. ISBN 3-540-65836-X (1999)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

G

Giovacchini, G. and Alexander, Gene E. and Furey, Maura L. and Horwitz, Barry and Ricciardi, Emiliano and Solaini, G. and Guazzelli, Mario and Rapoport, Stanley I. and Schapiro, Mark B. and Pietrini, Pietro Audiovisual stimulation (AS) reveals brain metabolic decline in healthy aging. In: 54th Annual convention of the Society of Biological Psychiatry, May 13-15, 1999, Washington DC, USA 112S. ISSN 0006-3223. (1999)

Grafman, Jordan and Koechlin, Etienne and Basso, Gianpaolo and Pietrini, Pietro and Panzer, Seth The role of the anterior prefrontal cortex in human cognition. Nature, 399 (6732). pp. 148-151. ISSN 0028-0836 (1999)

M

Mignone, Domenico and Bemporad, Alberto and Morari, Manfred A framework for control, fault detection, state estimation and verification of hybrid systems. In: American Control Conference. IEEE, San Diego, California, June 1999, pp. 134-138. ISBN 0-7803-4990-3 (1999)

Murphy, Declan G. and Mentis, Marc J. and Pietrini, Pietro and Grady, Cheryl L. and MOORE, CAROLINE j and Horwitz, Barry and HINTON, VERONICa and DOBKIN, CARL S. and Schapiro, Mark B. and Rapoport, Stanley I. Premutation female carriers of fragile X syndrome: a pilot study on brain anatomy and metabolism. Journal of the American Academy of Child and Adolescent Psychiatry, 38 (10). pp. 1294-1301. ISSN 0890-8567 (1999)

Murrell, Jill R. and Spillantini, Maria Grazia and Zolo, Paolo and Guazzelli, Mario and Smith, Michael J. and Hasegawa, Masato and Redi, Francesco and Crowther, R. Anthony and Pietrini, Pietro and Ghetti, Bernardino and Goedert, Michel Tau Gene Mutation G389R Causes a Tauopathy with Abundant Pick Body-like Inclusions and Axonal Deposits. Journal of Neuropathology and Experimental Neurology, 58 (12). pp. 1207-1226. ISSN 0022-3069 (1999)

P

Pietrini, Pietro and Furey, Maura L. and Alexander, Gene E. and Mentis, Marc J. and Dani, Alessio and Guazzelli, Mario and Rapoport, Stanley I. and Schapiro, Mark B. Association between brain functional failure and dementia severity in Alzheimer’s disease: resting versus stimulation PET study. American Journal of Psychiatry, 56 (3). pp. 470-473. ISSN 0002-953X (1999)

Pietrini, Pietro and Furey, Maura L. and Guazzelli, Mario In vivo biochemistry of the brain in understanding human cognition and emotions: towards a molecular psychology. Brain Research Bulletin, 50 (5-6). pp. 417-418. ISSN 0361-9230 (1999)

Pietrini, Pietro and Ricciardi, Emiliano and Alexander, Gene E. and Furey, Maura L. and Giovacchini, G. and Guazzelli, Mario and Ronca, Giovanni Correlation of regional cerebral blood flow and glucose metabolism during rest and audiovisual stimulation in young and older subjects assessed by positron emission tomography. In: 44° congresso SIB, 10-14 September 1999, Alghero, Italy p. 297. (1999)

R

Ricciardi, Emiliano and Alexander, Gene E. and Furey, Maura L. and Giovacchini, G. and Horwitz, Barry and Dani, Alessio and Guazzelli, Mario and Rapoport, Stanley I. and Schapiro, Mark B. and Pietrini, Pietro Coupling between regional cerebral glucose metabolism and blood flow at rest in young and older healthy subjects. In: 5th International Conference on Functional Mapping of the Human Brain, 23-26 June 1999, Dusseldorf, Germany (Unpublished) (1999)

T

Teipel, Stefan J. and Hampel, Harald and Pietrini, Pietro and Alexander, Gene E. and Horwitz, Barry and Daley, Eileen and Moller, Hans-Jurgen and Schapiro, Mark B. and Rapoport, Stanley I. Region-specific corpus callosum atrophy correlates with the regional pattern of cortical glucose metabolism in Alzheimer disease. Archives of Neurology, 56 (4). p. 467. ISSN 0003-9942 (1999)

Teipel, Stefan J. and Hampel, Harald and Pietrini, Pietro and Moller, Hans-Jurgen and Rapoport, Stanley I. PET in alzheimer's disease--From resting-state to activation studies. Drug News & Perspectives, 12 (2). p. 83. ISSN 0214-0934 (1999)

Z

Zalla, Tiziana and Koechlin, Etienne and Pietrini, Pietro and Basso, Gianpaolo and Aquino, Patrick and Grafman, Jordan Distinct left and right amygdala activation in winning and losing situations. In: 54th Annual convention of the Society of Biological Psychiatry, May 13-15, 1999, Washington DC, USA 111S-112S. ISSN 0006-3223. (1999)