Departamento
Ciencias de la Computación y Tecnologías de la Información
Artículos (9) Publicaciones en las que ha participado algún/a investigador/a
1996
-
An approach to validate intelligent monitoring systems in critical care
Medical and Biological Engineering and Computing, Vol. 34, Núm. SUPPL. 1, pp. 403-404
-
An expert system approach to antenatal assessment
New Review of Applied Expert Systems and Emerging Technologies, Vol. 2, pp. 139-153
-
Building friendly architectures for tagging
Procesamiento del lenguaje natural, Núm. 19, pp. 127-132
-
Building lexical tools to manage information written in Spanish
Journal of Information Science, Vol. 22, Núm. 5, pp. 391-399
-
Cuadrados especiales en la categoría de módulos cruzados en álgebras de Lie
Revista Real Academia Galega de Ciencias, Núm. 15, pp. 177-203
-
Electron spin resonance of Er3+ in YBiPt
Physica B: Condensed Matter, Vol. 223-224, Núm. 1-4, pp. 396-398
-
Finite state morphology and formal verification
Natural Language Engineering, Vol. 2, Núm. pt 4, pp. 303-304
-
Formal validation of the intelligent monitoring system PATRICIA
Medical and Biological Engineering and Computing, Vol. 34, Núm. SUPPL. 1, pp. 405-406
-
Relative normalizing extensions
Bulletin of the Belgian Mathematical Society - Simon Stevin, Vol. 3, Núm. 1, pp. 99-112