I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

José María Troya Linero; Casiano Rodríguez León

Ayuda

I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

Imagen de portada del libro I Jornadas de informática. Actas

Información General

Autores: José María Troya Linero (dir. congr.), Casiano Rodríguez León (dir. congr.)
Editores: Asociación Española de Informática y Automática
Año de publicación: 1995
País: España
Idioma: español
Recoge los contenidos presentados a: Jornadas de Informática (1. 1995. Puerto de la Cruz).
Texto completo no disponible (Saber más ...)

Listado de artículos

- Empotrado parcial de cubos y planos sobre toros para solapar cálculos y comunicaciones
  Álvaro Suárez Sarmiento, Carmen Nieves Ojeda Guerra
  - Resumen
  págs. 19-30
- Encaminador asíncrono Wormholre para redes de interconexión de multicomputadores
  Carmen Carrión Espinosa, Fernando Vallejo Alonso, Rafael Menéndez de Llano Rozas, José Ángel Gregorio Monasterio, Ramón Beivide Palacio
  - Resumen
  págs. 31-40
- Implementación de un entorno paralelo orientado al modelo PRAM
  Coromoto León Hernández, Francisco de Sande González, Félix César García López, Casiano Rodríguez León
  - Resumen
  págs. 41-51
- EDISIS: un entorno de diseño y simulación de algoritmos sistólicos y semisistólicos
  Felipe Fernández Hernández, Julio Gutiérrez Ríos, A. Sánchez
  - Resumen
  págs. 53-62
- Mecanismos de autorización para los disparadores en los sistemas de base de datos
  Óscar Díaz García, Arantza Irastorza Goñi, Juan Ignacio Iturrioz Sánchez
  - Resumen
  págs. 63-73
- Transformación del modelo entidad-relación extendido (EER) al modelo deductivo
  Mª de los Ángeles Dapena, Nieves R. Brisaboa
  - Resumen
  págs. 75-84
- Notación para el comportamiento reactivo de los sistemas de información
  Óscar Díaz García, Juan Ignacio Iturrioz Sánchez, Mario G. Piattini Velthuis
  - Resumen
  págs. 85-100
- Involucrando al usuario en el desarrollo de sistemas de información
  Andrés Luis Aguayo Maldonado, Juan Falgueras Cano, Antonio Jesús Guevara Plaza, Francisco Andrés Triguero Ruiz
  - Resumen
  págs. 101-109
- CORALFACE/SM: un interface gráfico para CORAL en arquitectura cliente-servidor usando Smalltalk
  Sebastián Luis Bamonde Rodríguez, Roberto Catoira, José María García-Tizón Iglesias, Víctor M. Gulías
  - Resumen
  págs. 111-120
- Construcción de una máquina química abstracta
  Luis Carlos Herrero de Lucas, Javier Oliver Villaroya
  - Resumen
  págs. 121-134
- Asociatividad en álgebras de procesos probabilísticas
  Manuel Núñez García, Pedro Palao-Gostanza, Marco T. Morazan
  - Resumen
  págs. 135-154
- Comunicación monádica de objetos funcionales
  Jose Enrique Gallardo Ruiz, Pablo Guerrero García, Blas Carlos Ruiz Jiménez
  - Resumen
  págs. 145-154
- Corrección de programas y redes de Petri de alto nivel
  Fernando Tricas García, Francisco Javier Martínez Rodríguez
  - Resumen
  págs. 155-164
- Tiempo lógico en lenguajes de tiempo real
  Peter T. Breuer, Natividad Martínez Madrid, Andrés Marín López, Luis Sánchez Fernández, Carlos Delgado Kloos
  - Resumen
  págs. 165-174
- Sistema de visión artificial basado en transputers con invariancia del color
  A. Ruiz, I. Llorens, Vicente Arnau Llombart, Marcelino Vicens Lorente, José María Artigas Martín
  - Resumen
  págs. 175-184
- Descripciones declarativas de distinto nivel: aplicación al diseño de invernaderos
  José Rafael García Lázaro, José Fernando Bienvenido Bárcena, José del Sagrado Martínez, Luis Fernando Iribarne Martínez, Antonio Becerra Terón, Rafael Guirado Clavijo
  - Resumen
  págs. 185-194
- Sistema en tiempo real para la representación topográfica de las señales del EEG/EP
  Juan Julián Merino Rubio, José Demetrio Piñeiro Vera, Soledad Mañas Alcón, José Francisco Sigut Saavedra, Lorenzo Moreno Ruiz
  - Resumen
  págs. 195-204
- Una propuesta de invariantes basados en momentos: la transformada de Fourier-Laguerre
  Fernando Pérez Nava, Antonio Falcón Martel
  - Resumen
  págs. 205-214
- Arquitectura para el aprendizaje de clasificadores en un sistema de visión basado en conocimiento: consideraciones de diseño
  José Javier Lorenzo Navarro, Francisco Mario Hernández Tejera, Modesto Castrillón Santana
  - Resumen
  págs. 215-224
- Una utilización eficiente de búsquedas locales integradas con técnicas globales en un sistema de producción en planta
  Javier Arrieta Usunáriz, José Ramón Zubizarreta Aizpuru
  - Resumen
  págs. 225-234
- Problemas de control óptimo: una aproximación mediante redes neuronales
  Alberto Francisco Hamilton Castro, Leopoldo Acosta Sánchez, Graciliano Nicolás Marichal Plasencia, Juan Albino Méndez Pérez, Lorenzo Moreno Ruiz
  - Resumen
  págs. 235-244
- Compresión de imágenes mediante redes neuronales con aprendizaje competitivo hebbiano
  M. Angeles García Bernal, Francisco Emilio López Valverde
  - Resumen
  págs. 245-249
- Sistema basado en el conocimiento para el estudio de señales cerebrales
  José Demetrio Piñeiro Vera, José Luis Sánchez de la Rosa, Soledad Mañas Alcón, Rosa María Aguilar Chinea, José Ignacio Estévez Damas, Lorenzo Moreno Ruiz
  - Resumen
  págs. 251-255
- Reflexiones sobre el diseño de sistemas de visión basados en conocimiento
  Jorge Cabrera Gámez, Daniel Hernández Sosa, Antonio Falcón Martel, Juan Méndez Rodríguez
  - Resumen
  págs. 257-270
- Una regla de parada para la búsqueda con arranque múltiple
  José Marcos Moreno Vega, José Andrés Moreno Pérez
  - Resumen
  págs. 271-280
- Una implementación del algoritmo de compresión Lempel-Ziv Welch
  V.G. Ruiz, I. García
  - Resumen
  págs. 281-292
- Un algoritmo para medir la seguridad práctica de algunos cifrados en flujo
  Pino Caballero Gil, Amparo Fúster Sabater
  - Resumen
  págs. 293-300
- Métodos de preselección de píxeles para filtros tipo mediana
  Lina Guadalupe García Cabrera, Pedro Luis Luque Escamilla, Ramón Román Roldán
  - Resumen
  págs. 301-310
- Síntesis constructiva de programas lógicos
  Francisco José Galán Morillo, José Miguel Toro Bonilla
  - Resumen
  págs. 311-322
- Cremalleras y espirales o cómo co-diseñar mejor
  Natividad Martínez Madrid, Andrés Marín López, Sergip Deprés Díaz, Carlos Delgado Kloos, José Luis Fernández Sánchez
  - Resumen
  págs. 323-332
- Casale I 1.0.B: un lenguaje de simulación discreta basado en objetos
  Rafael Corchuelo Gil, Pedro Carrillo
  - Resumen
  págs. 333-342
- Sistema de interfaz persona-computador para entornos virtuales
  Rafael Rodriguez García, Marcos Fernández Marín, Mariano Pérez Martínez, Salvador Bayarri Romar, Francisco Martínez Gil
  - Resumen
  págs. 343-352
- Control informático global de un sistema ferroviario a escala
  J. M. Vicente, Gerardo Bandera Burgueño
  - Resumen
  págs. 353-362
- Análisis y diseño de tablas de pseudocolor para visualización de imágenes médicas en PC
  Vicente Arnau Llombart, Marcelino Vicens Lorente, Juan Manuel Orduña Huertas, A. Felipe, Alberto Adrian Palomares Chust
  - Resumen
  págs. 363-372
- Programación de un sistema de ecualización digital
  José V. Francés Villora, Juan Francisco Guerrero Martínez, Javier Calpe Maravilla, Alfredo Rosado Muñoz, Marcelino Martínez Sober, José Rafael Magdalena Benedito, O. Farpón Martínez
  - Resumen
  págs. 373-380
- Programación de técnicas algorítmicas en dos sistemas ditribuidos: PVM y Transputers
  Francisco Almeida Rodriguez, Félix César García López, José Luis Roda García, Domingo Morales González, Celso Rodríguez Fernández
  - Resumen
  págs. 381-391
- Implementación de un algorítmo thinning paralelo: el desbalanceo de la carga
  M. D. Gil, J. Roca, I. García
  - Resumen
  págs. 393-404
- Paralelización de un algoritmo de validación de protocolos
  Francisco de Asís Rus Mansilla, Pedro Merino Gómez, Manuel Díaz Rodríguez
  - Resumen
  págs. 405-414
- Programación dinámica paralela para problemas de mochila 0/1
  Francisco Almeida Rodriguez, Domingo Morales González, Félix César García López, Casiano Rodríguez León
  - Resumen
  págs. 415-425
- Sobre la enseñanza de las bases de datos: teoría y diseño
  Matilde Celma Giménez, Laura Mota Herranz, M. Ángeles Pastor Cubillo, Juan Carlos Casamayor Ródenas
  - Resumen
  págs. 427-436
- Implementación de tipos abstractos de datos sobre lenguajes imperativos
  Juan Miguel Molina Bravo
  - Resumen
  págs. 437-446
- Diseño digital basado en dispositivos lógicos programables: una experiencia docente con ABEL- PLD
  Alfredo Rosado Muñoz, O. Farpón Martínez, Manuel Bataller Mompeán, Juan Francisco Guerrero Martínez, José V. Francés Villora, José Rafael Magdalena Benedito, Emilio Soria Olivas
  - Resumen
  págs. 447-454
- Visualización de la ejecución de programas en una CPU segmentada
  Álvaro Suárez Sarmiento, Mario Marrero Ruiz
  - Resumen
  págs. 455-464
- Docencia sobre las implicaciones sociales y éticas de la informática
  Miquel Barceló
  - Resumen
  págs. 465-474
- Análisis y valoración de la formación informática en los estudios universitarios
  Lina Guadalupe García Cabrera, Luis Alfonso Ureña López
  - Resumen
  págs. 475-484
- Una experiencia docente en interacción hombre-ordenador
  Jesús Lorés, Carlos Abarca
  - Resumen
  págs. 485-493
- Motivaciones para el trabajo relacionado con empresa del profesorado: (las experiencias reales)
  Raquel Cores Cobas, Jose Ayude Vazquez, Manuel Pérez Cota
  - Resumen
  págs. 495-500
- Entorno general de producción automática de prototipos de software orientado a objetos: OOAP (Object-Oriented Assistant Prototyper)
  Isidro Ramos Salavert, José Ambrosio Toval Álvarez
  - Resumen
  págs. 501-513
- CCASE - Una herramienta MetaCASE europea avanzada parametrizable
  Josep Ramón Freixanet, Joan Manel Espejo, Joan Canal
  - Resumen
  págs. 515-530
- Base de datos: gráficas+alfanuméricas integradas en la gestión de recursos materiales de la U.P.V.
  Amaia Martínez Sanz
  - Resumen
  págs. 531-543
- La versión 2 del programa SSD_CIABSI: un ejemplo real de utilización de medios técnicos en la decisión administrativa
  Gloria Nistal Rosique
  - Resumen
  págs. 545-553
- Evaluación de un sistema de ficheros paralelo para máquinas masivamente paralelas
  Jesús Carretero Pérez, F. Pérez, Pedro de Miguel Anasagasti, Félix García Merayo, L. Alonso
  - Resumen
  págs. 555-565
- PACOTE: paralelización de un código termohidráulico para la simulación de plantas nucleares
  Manuel Díaz Rodríguez, Luis Manuel Llopis Torres, José Luis Pastrana Brincones, Francisco de Asís Rus Mansilla, Enrique Soler Castillo, José María Troya Linero
  - Resumen
  págs. 567-576
- Proyecto TIMS: Tajeta Inteligente Multiservicio
  Vicente Cerverón Lleó, Vicente Cavero Millán, Vicente Pelechano Ferragud, Gregorio Martín Quetglás
  - Resumen
  págs. 577-585
- DAMOCIA: diseño asistido mediante ordenador para la construcción de invernaderos automatizados
  José Fernando Bienvenido Bárcena, José Ramón Díaz Álvarez
  - Resumen
  págs. 587-596
- EUROWARE: una solución para fomentar la reusabilidad en redes de área extendida
  Gabriel Sánchez Gutiérrez
  - Resumen
  págs. 597-606
- EVP: un entorno para la integración de técnicas de descripción formal
  Grupo de Ingeniería del Software
  - Resumen
  págs. 607-616
- I+D en tecnología software: una experiencia de colaboración Universidad-Empresa
  Juan José Gil Rios, Juan Carlos Yelmo García
  - Resumen
  págs. 617-626
- Un modelo para comunicaciones multimedia isócronas
  Saúl Pablo Labajo Izquierdo, Ángel Pacheco Almendros, Enrique Rendón, Carlos Muñoz Pérez
  - Resumen
  págs. 627-636
- MIX: un enfoque multiagente para sistemas hibridos simbólico-conexionistas
  José Carlos González Cristobal, Juan Ramón Velasco Pérez, Carlos Ángel Iglesias Fernández, Jaime Álvarez, Andrés J. Escobero González
  - Resumen
  págs. 637-645
- Proyecto INVAID II: integración y evaluación de un sistema de D.A.I. basado en visión artificial en áreas urbanas
  J.J. Martínez Durá, Ricardo Ferrís Castell, Vicente Cavero Millán, Javier Martínez Plumé, Ariadna Fuertes Seder, G. Martín
  - Resumen
  págs. 647-656
- Proyecto ARTIS WA 3: integración y evaluación de un sistema de D.A.I. basado en visión artificial en la M-40 (Madrid)
  J.J. Martínez Durá, Ricardo Ferrís Castell, Javier Martínez Plumé, Joan Pelechano Fabregat, Gregorio Martín Quetglás
  - Resumen
  págs. 657-666
- Descubrimiento de conocimiento para diagnosis de fallos en producción de circuitos integrados
  Ángela Ribeiro Seijas, M. D. del Castillo, Luis Jenaro Barrios Bravo
  - Resumen
  págs. 667-673
- Un planteamiento de las sociedades de objetos como técnica de validación y prototipado de software
  Javier Rodeiro Iglesias, Manuel Pérez Cota, Francisco José Vázquez Núñez
  págs. 675-676
- Complejidad y gestión del riesgo en el desarrollo de software orientado a objetos
  Enrique Barreiro Alonso, Purificación Vázquez Sánchez
  págs. 677-678
- Planteamientos de seguridad para redes de comunicaciones
  Javier Areitio Bertolín, María Teresa Areitio Bertolín
  - Resumen
  págs. 679-680
- Resolución de sistemas dispersos de ecuaciones lineales sobre PVM explotando paraleslismo en el método de Gauss-Seidel
  Benjamin Sahelices Fernández, Agustin de Dios Hernández, Valentín Cardeñoso Payo
  - Resumen
  págs. 681-682
- Algoritmo para la aproximación de ecuaciones diferenciales con retardos
  Carlos Francisco Alastruey Merino, José Ramón González de Mendívil
  - Resumen
  págs. 683-684
- Computación universal en autómatas celulares
  Antonio Tomeu Hardasmal
  págs. 685-686
- Monitores CRT colorimétricamente controlados
  A. Palomares, A. Lorente, Vicente Arnau Llombart, José María Artigas Martín
  págs. 687-688
- Enseñanza asistida por ordenador del lenguaje ensamblador MC68000
  Francisca Quintana Domínguez, L. Herrera
  págs. 689-690
- La enseñanza de la ingeniería del software según el nuevo plan de estudios en la Universidad Jaume I
  Cristina Campos Sancho, Oscar Coltell Simón
  págs. 691-692
- Técnicas de multimedia, para el autoaprendizaje de conceptos básicos de informática
  Oscar Coltell Simón, Pedro José Sanz Valero, Pedro Miguel Valero Mora, F. Ester
  págs. 693-694
- Multimedia
  Amparo Rodríguez Damián, Juan Francisco Gálvez Gálvez, Manuel Pérez Cota
  págs. 695-696
- El proceso digital de la señal en la titulación de la ingeniería electrónica de la Universitat de Valencia
  Javier Calpe Maravilla, Juan Francisco Guerrero Martínez, Emilio Soria Olivas, José V. Francés Villora, Carlos Hernández Espinosa, José Espí López
  - Resumen
  págs. 697-698
- La enseñanza de la electrónica digital en las ingenierías
  Vicente Arnau Llombart, Marcelino Vicens Lorente, Juan Manuel Orduña Huertas
  págs. 699-700
- Descripción de la red de interconexión SCI (Scalable Coherent Interface): estándar IEEEE P1596
  Vicente Arnau Llombart, Vicente González Millán, Enrique Sanchis Peris, F. Ferrer, J.M. López, Francisco José Mora Más, A. Sebastiá
  págs. 701-702
- MEDIDA: hacia un modelo de medición
  Amaia Bernaras, Izaskun Ortiz
  págs. 703-704
- Modelado del análisis de la replicación del ADN por electroforesis bidimensional en geles de agarosa
  Andrés Rodríguez Moreno, Enrique Viguera Mínguez, Pablo Hernández Valenzuela, Jorge Bernardo Schvartzman Blinder, Oswaldo Trelles
  - Resumen
  págs. 705-706
- Verificación de conexiones telefónicas con ESTEREL
  Jorge Graña Gil, Manuel Vilares Ferro, Raphäel Bernhard
  - Resumen
  págs. 707-708
- C.A.S.E. DFDC: una herramienta cooperativa de diagramas de flujo de datos
  Antonio Jesús Guevara Plaza, Andrés Luis Aguayo Maldonado, Juan Falgueras Cano, Francisco Andrés Triguero Ruiz
  - Resumen
  págs. 709-710
- Interface QBE para consultas a Bases de Datos Deductivas
  Manuel A. Pardavila, Nieves R. Brisaboa
  - Resumen
  págs. 711-712
- Desarrollo de una aplicación para la Diputación Provincial de la Coruna
  Jesús A. Martínez Loira, Alberto Rico Rubianes, José María García-Tizón Iglesias, Nieves R. Brisaboa, María Rodríguez-Losada Boedo
  - Resumen
  págs. 713-714
- Implementación de un sistema gestor de bases de datos orientadas a objetos
  José Luis Alonso Berrocal, Germán Rodríguez, José Francisco Aldana Montes
  - Resumen
  págs. 715-716

Acceso de usuarios registrados

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

Opciones de compartir

Opciones de entorno

Sugerencia / Errata

Coordinado por: