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

B

Bemporad, Alberto Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form. IEEE Transactions on Automatic Control , 49 (5). pp. 832-838. ISSN 0018-9286 (2004)

Bemporad, Alberto and Filippi, Carlo and Torrisi, Fabio Danilo Inner and outer approximation of polytopes using boxes. Computational Geometry , 27 (2). pp. 151-178. ISSN 0925-7721 (2004)

Bemporad, Alberto and Garulli, Andrea and Paoletti, Simone and Vicino, Antonio Data classification and parameter estimation for the identification of piecewise affine models. In: Decision and Control Conference. IEEE, 14-17 December 2004 , pp. 20-25. ISBN 0-7803-8682-5 (2004)

Bemporad, Alberto and Garulli, Andrea and Paoletti, Simone and Vicino, Antonio A greedy approach to identification of piecewise affine models. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2993 . Springer-Verlag, pp. 97-112. ISBN 978-3-540-00913-9 (2004)

Bemporad, Alberto and Giorgetti, Nicolò SAT-based branch & bound and optimal control of hybrid dynamical systems. In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lecture Notes in Computer Science, 3011 . Springer-Verlag, pp. 96-111. ISBN 978-3-540-21836-4 (2004)

Bemporad, Alberto and Giorgetti, Nicolò A SAT-based hybrid solver for optimal control of hybrid systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2993 . Springer-Verlag, pp. 126-141. ISBN 978-3-540-21259-1 (2004)

Bemporad, Alberto and Morari, Manfred and Ricker, N. Lawrence Model Predictive Control Toolbox™ User’s Guide. Manual # /2004 MathWorks

Bemporad, Alberto and Ricker, N. Lawrence and Owen, James Gareth Model predictive control - new tools for design and evaluation. In: American Control Conference. IEEE, Boston, Marsachuselts June 30. July 2,2004, pp. 5622-5627. (2004)

Bemporad, Alberto and Teel, Andrew R. and Zaccarian, Luca Anti-windup synthesis via sampled-data piecewise affine optimal control. Automatica, 40 (4). pp. 549-562. ISSN 0005-1098 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11 (3). pp. 245-288. ISSN 0928-8910 (2004)

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo D-Fusion: A Distinctive Fusion Calculus. In: Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04). Lecture Notes in Computer Science, 3302 . Springer, pp. 296-310. ISBN 3-540-23724-0 (2004)

C

Carpinteri, Alberto and Paggi, Marco Influence of interface bonding strength on brittle crack propagation in bi-material structural components. In: Proceedings of the 15th European Conference on Fracture (ECF). ECF. (2004)

Carpinteri, Alberto and Paggi, Marco Influence of the intermediate material on the singular stress field in tri-material junctions. In: Atti del 17° Convegno Nazionale del Gruppo Italiano Frattura (IGF). Gruppo Italiano Frattura, pp. 263-268. ISBN 8890108096 (2004)

Carpinteri, Alberto and Paggi, Marco Interface crack propagation in concrete composites: symptotic analysis of stress-singularities. In: Proceedings of FraMCoS-5 Post-Conference Workshop on Interface Modeling. International Association for Fracture Mechanics of Concrete and Concrete Structures, pp. 20-23. (2004)

Carpinteri, Alberto and Paggi, Marco Theoretical and numerical investigation on internal instability phenomena in composite materials. In: Atti del 17° Convegno Nazionale del Gruppo Italiano Frattura (IGF). Gruppo Italiano Frattura, pp. 136-141. ISBN 8890108096 (2004)

D

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

De Nicola, Rocco and Loreti, Michele MoMo: A Modal Logic for Reasoning About Mobility. In: Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, 3657 . Springer, pp. 95-119. ISBN 3-540-29131-8 (2004)

E

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer (STTT), 5 (2-3). pp. 247-267. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction and trail improvement in directed model checking. International Journal on Software Tools for Technology Transfer (STTT), 6 (4). pp. 277-301. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Lluch-Lafuente, Alberto Abstraction in directed model checking. In: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling, June 3-7 2004, Whistler, Canada pp. 7-13. (Unpublished) (2004)

H

Hartwig, Valentina and Vanello, Nicola and Gassert, Roger and Chapuis, Dominique and Santarelli, Maria Filomena and Positano, Vincenzo and Ricciardi, Emiliano and Pietrini, Pietro and Landini, Luigi and Bicchi, Antonio A compatibility test for tactile displays designed for fMRI studies. In: EuroHaptics 2004, June 5-7, 2004, Munich, Germany pp. 456-458. (2004)

I

Ibáñez, Vicente and Pietrini, Pietro and Furey, Maura L. and Alexander, Gene E. and Millet, Philippe and Bokde, Arun L.W and Teichberg, Diane and Schapiro, Mark B. and Horwitz, Barry and Rapoport, Stanley I. Resting state brain glucose metabolism is not reduced in normotensive healthy men during aging, after correction for brain atrophy. Brain Research Bulletin, 63 (2). pp. 147-154. ISSN 0361-9230 (2004)

J

Júlvez, Jorge and Bemporad, Alberto and Recalde, Laura and Silva, Manuel Event-driven optimal control of continuous Petri nets. In: Decision and Control Conference. IEEE, 14th-17th December 2004, pp. 69-74. ISBN 0-7803-8682-5 (2004)

L

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto Stability of hybrid model predictive control. In: 43rd IEEE Conference on Decision and Control, December 14-17, 2004 , Atlantis, Paradise Island, Bahamas pp. 1-40. (Unpublished) (2004)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto Stabilization conditions for model predictive control of constrained PWA systems. In: Decision and Control Conference. IEEE, 14th-17th December 2004, pp. 4595-4600. ISBN 0-7803-8682-5 (2004)

Loreti, Michele and De Nicola, Rocco A modal logic for mobile agents. ACM Transactions on Computational Logic , 5 (1). pp. 79-128. ISSN 1557-945X (2004)

M

Makridima, Kalliopi and Afantitis, Antreas and Melagraki, Georgia and Patrinos, Panagiotis and Sarimveis, Haralambos and Igglesi-Markopoulou, Olga Using the Radial Basis Function (RBF) neural network architecture to develop QSARs for the prediction of the toxicity of phenols in Tetrahymena pyriformis. In: 11th International Workshop on Quantitative Structure-Activity Relationships in Environmental Sciences (QSAR 2004), 9th-13th May 2004, Liverpool, UK (Unpublished) (2004)

Muñoz de la Peña, David and Alamo, Teodoro and Bemporad, Alberto and Camacho, Eduardo F. A dynamic programming approach for determining the explicit solution of MPC controllers. In: Decision and Control Conference. IEEE, 14th-17th December 2004, pp. 2479-2484. ISBN 0-7803-8682-5 (2004)

Muñoz de la Peña, David and Bemporad, Alberto and Filippi, Carlo Robust explicit MPC based on approximate multi-parametric convex programming. In: Decision and Control Conference. IEEE, 14th-17th December 2004, pp. 2491-2496. ISBN 0-7803-8682-5 (2004)

P

Patrinos, Panagiotis and Alexandridis, Alex and Afantitis, Antreas and Sarimveis, Haralambos and Igglesi-Markopoulou, Olga Development of nonlinear quantitative structure-activity relationships using RBF networks and evolutionary computing. In: European Symposium on Computer Aided Process Engineering, ESCAPE14, 16th-19th May 2004, Lisbon, Portugal (Unpublished) (2004)

Pietrini, Pietro The functional exploration of the brain as a tool to understand the human mind. In: 12th World Congress of Psychophysiology. The Olympics of the Brain, 18-23 September 2004, Thessaloniki, Greece ISSN 0167-8760. (2004)

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. Beyond sensory images: Object-based representation in the human ventral pathway. Proceedings of the National Academy of Sciences, 101 (15). pp. 5658-5663. ISSN 1091-6490 (2004)

Pietrini, Pietro and Ricciardi, Emiliano and Furey, Maura L. Cholinergic enhancement during working memory improves information processing in the human brain: effects of age and task difficulty. In: 12th World Congress of Psychophysiology. The Olympics of the Brain, 18-23 September 2004, Thessaloniki, Greece ISSN 0167-8760. (2004)

Pietrini, Pietro and Ricciardi, Emiliano and Gentili, Claudio and Vanello, Nicola and Sani, Lorenzo and Guazzelli, Mario How the brain responds to hurtful events: neural activity elicited by aggressive versus forgiving behavior in humans. In: 12th World Congress of Psychophysiology. The Olympics of the Brain, 18-23 September 2004, Thessaloniki, Greece ISSN 0167-8760. (2004)

Potocnik, Bostjan and Bemporad, Alberto and Torrisi, Fabio Danilo and Music, Gasper and Zupancic, Borut Hybrid modelling and optimal control of a multi product batch plant. Control Engineering Practice, 12 (9). pp. 1127-1137. ISSN 0967-0661 (2004)

R

Ricciardi, Emiliano and Furey, Maura L. and Gobbini, Maria Ida and Guazzelli, Mario and Haxby, James V. and Pietrini, Pietro Supramodal, topographic and category-related organization in the ventral visual pathway. In: 12th World Congress of Psychophysiology. The Olympics of the Brain, 18-23 September 2004, Thessaloniki, Greece ISSN 0167-8760. (2004)

Ricciardi, Emiliano and Furey, Maura L. and Gobbini, Maria Ida and Guazzelli, Mario and Haxby, James V. and Pietrini, Pietro Tactile processing of different object categories involves extrastriate visual cortical areas in the human brain. In: EuroHaptics 2004, June 5-7, 2004, Munich, Germany pp. 293-298. (2004)

Ricciardi, Emiliano and Gentili, Claudio and Rizzo, M. and Vanello, Nicola and Sani, Lorenzo and Landini, Luigi and Guazzelli, Mario and Pietrini, Pietro Brain activity associated with forgiving and unforgiving behavior in Humans as assessed with fMRI. In: 10th Annual Meeting of the Organization for Human Brain Mapping (HBM2004), 13-17 June 2004, Budapest, Hungary (Unpublished) (2004)

Ricciardi, Emiliano and Gentili, Claudio and Watson, N. and Pietrini, Pietro Verso la comprensione delle differenze di genere. Problemi in psichiatria, 35. pp. 45-59. (2004)

Ricciardi, Emiliano and Vanello, Nicola and Dente, Davide and Sgambelluri, Nicola and Scilingo, Enzo Pasquale and Gentili, Claudio and Sani, Lorenzo and Positano, Vincenzo and Santarelli, Maria Filomena and Guazzelli, Mario and Haxby, James V. and Landini, Luigi and Bicchi, Antonio and Pietrini, Pietro Perception of visual and tactile flow activates common cortical areas in the human brain. In: EuroHaptics 2004, June 5-7, 2004, Munich, Germany pp. 290-292. (2004)

Roll, Jacob and Bemporad, Alberto and Ljung, Lennart Identification of piecewise affine systems via mixed-integer programming. Automatica, 40 (1). pp. 37-50. ISSN 0005-1098 (2004)

S

Silva, Miguel Pedro and Ayala Botto, Miguel and Pina, Luis and Bemporad, Alberto and Sa da Costa, José Robust optimal control of linear hybrid systems: An MLD approach. In: CONTROLO 2004 - Sixth Portuguese Conference on Automatic Control, June 7-9 2004, Faro, Portugal (2004)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Briassouli, Alexia and Strintzis, Michael Fast watermarking of MPEG-1/2 streams using compressed-domain perceptual embedding and a generalized correlator detector. EURASIP Journal on Applied Signal Processing, 2004 (8). pp. 1088-1106. ISSN 1110-8657 (2004)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Triantafyllidis, Georgios and Strintzis, Michael Digital watermarking for the copyright protection of compressed video. In: Intelligent integrated media communication techniques. Springer-Verlag, Boston, pp. 117-151. ISBN 978-1-4020-7552-0 (2004)

T

Torres Vieira, Hugo and Caires, Luis The spatial logic model checker user's manual: version 0.9. Technical Report #03/2004 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Torrisi, Fabio Danilo and Bemporad, Alberto HYSDEL - A tool for generating computational hybrid models. IEEE Transactions on Control Systems Technology, 12 (2). pp. 235-249. ISSN 1063-6536 (2004)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. and Pappas, Thrasyvoulos N. and Papoutsakis, Eleftherios T. DNA computing from a signal processing viewpoint. IEEE signal processing Magazine, 21 (5). 100 - 106. ISSN 1053-5888 (2004)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. and Pappas, Thrasyvoulos N. and Papoutsakis, Eleftherios T. DNA-based matching of digital signals. In: IEEE International conference on acoustics, speech, and signal processing, (ICASSP '04). IEEE, V - 581. ISBN 0-7803-8484-9 (2004)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. and Pappas, Thrasyvoulos N. and Papoutsakis, Eleftherios T. How can DNA computing be applied to digital signal processing? IEEE signal processing Magazine, 21 (6). 57 - 61. ISSN 1053-5888 (2004)

V

Vanello, Nicola and Positano, Vincenzo and Santarelli, Maria Filomena and Ricciardi, Emiliano and Pietrini, Pietro and Landini, Luigi A simulator for multilevel analysis of functional magnetic resonance data. In: 17th International EURASIP Conference Biosignal, 23 - 25 June 2004, Brno, Czech Republic ISBN 80-214-2633-0. (2004)

Vanello, Nicola and Ricciardi, Emiliano and Dente, Davide and Sgambelluri, Nicola and Scilingo, Enzo Pasquale and Gentili, Claudio and Sani, Lorenzo and Positano, Vincenzo and Santarelli, Maria Filomena and Guazzelli, Mario and Haxby, James V. and Landini, Luigi and Bicchi, Antonio and Pietrini, Pietro Perception of optic and tactile flow both activate V5/MT cortical complex in the human brain. In: 10th Annual Meeting of the Organization for Human Brain Mapping (HBM2004), 13-17 June 2004, Budapest, Hungary e1117. ISSN 1053-8119. (2004)

Z

Zavarise, Giorgio and Borri Brunetto, Mauro and Paggi, Marco On the reliability of microscopical contact models. Wear , 257 (3–4). 229 - 245. ISSN 0043-1648 (2004)