Publications (17) Publications auxquelles un chercheur a participé

1995

  1. Analysis of frequency selective surfaces with arbitrarily shaped apertures by finite element method and generalized scattering matrix

    IEEE Antennas and Propagation Society, AP-S International Symposium (Digest)

  2. Analysis of probe-fed infinite microstrip arrays in a waveguide simulator by finite element method and generalized scattering matrix

    IEE Conference Publication

  3. Aprendizaje de conceptos a partir de representaciones basadas en grafos

    Informática y automática: revista de la Asociación Española de Informática y Automática, Vol. 28, Núm. 2, pp. 25-35

  4. Combinación de soluciones parciales en programación lógica paralela

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

  5. Design of an integrated protocol architecture for micro-VSAT networks

    IEE Conference Publication

  6. Determination of nitrate and nitrite in tap water and vegetables by high performance liquid chromatography

    Journal of Liquid Chromatography, Vol. 18, Núm. 12, pp. 2445-2456

  7. Diseño de un prototipo de enseñanza de Física asistida por ordenador

    Aula abierta, Núm. 66, pp. 169-188

  8. Efficient support of circuit-mode and packet-mode services in micro-VSAT networks

    IEE Conference Publication

  9. Rough sets as a tool in data engineering

    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

  10. SHAPE: A machine learning system from examples

    International Journal of Human - Computer Studies, Vol. 42, Núm. 2, pp. 137-155

  11. Segmentación de valores numéricos para el aprendizaje a partir de ejemplos

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

  12. Sistema económico de reconocimiento automático del habla utilizando redes neuronales

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

  13. Sobre la calculabilidad del tiempo de desalojo de una cola de vehículos

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

  14. The best nondeterministic representations of finite orderings

    Journal of Computer and System Sciences, Vol. 51, Núm. 3, pp. 486-494

  15. Transbilayer movement of erythrocyte membrane cholesterol in human essential hypertension

    Journal of Hypertension, Vol. 13, Núm. 6, pp. 619-623

  16. Using a symbolic model checker for verify safety properties in SA/RT models

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  17. Verificación de sistemas en tiempo real

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 118, pp. 74