Sistemas Concurrentes
Listado de producción del grupo
Datos obtenidos de UGR y plataforma SICA2
Listando 245 resultados
Titulo | Año | Tipo |
---|---|---|
Artificial Neuron-based Model for a Hybrid Real-Time System: Induction Motor Case Study
MANUEL ISIDORO CAPEL TUÑON
|
2022 | Articulo |
Using flipped classroom and peer instruction methodologies to improve introductory computer programming courses
JUAN RUIZ DE MIRAS, JOSÉ RAMÓN BALSAS ALMAGRO
|
2022 | Articulo |
A TensorFlow Approach to Data Analysis for Time Series Forecasting in the Energy-Efficiency Realm
MANUEL ISIDORO CAPEL TUÑON, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2021 | Articulo |
Evolution of climate zones for building in Spain in the face of climate change
MONTSERRAT ZAMORANO TORO, JUAN ANTONIO HOLGADO TERRIZA, CARMEN DÍAZ LÓPEZ
|
2021 | Articulo |
Detección de Noticias Falsas en Redes Sociales Basada en Aprendizaje Automático y Profundo: Una Breve Revisión Sistemática
JUAN ANTONIO HOLGADO TERRIZA
|
2021 | Articulo |
AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments
JUAN ANTONIO HOLGADO TERRIZA, PEDRO GARCÍA TEODORO, GABRIEL MACIÁ FERNÁNDEZ, JOSÉ CAMACHO PÁEZ, Margarita Robles Carrillo
|
2021 | Capítulo de libro |
5G Mobile Phone Network Introduction in Colombia
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso
|
2021 | Articulo |
A Mandami Fuzzy Controller for Handling a OpenHAB Smart Home
JUAN ANTONIO HOLGADO TERRIZA
|
2021 | Capítulo de libro |
ARANAC: A Bring-Your-Own-Permissions Network Access Control Methodology for Android Devices
JUAN ANTONIO HOLGADO TERRIZA, PEDRO GARCÍA TEODORO, JOSÉ ANTONIO GÓMEZ HERNÁNDEZ, GABRIEL MACIÁ FERNÁNDEZ, JOSÉ CAMACHO PÁEZ
|
2021 | Articulo |
Applications of Serum Albumins in delivery systems: differences in interfacial behaviour and interacting abilities with polysaccharides
JOSE ANTONIO MOLINA BOLIVAR, MARÍA JOSÉ GÁLVEZ RUIZ, FRANCISCO GALISTEO GONZÁLEZ, JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA, Mª TERESA DEL CASTILLO SANTAELLA, Aixa María Aguilera Garrido
|
2021 | Articulo |
Sistema de Clasificación Automático de Peces Endémicos del Ecuador Usando Redes Neuronales Convolucionales
JUAN ANTONIO HOLGADO TERRIZA
|
2021 | Articulo |
MyoHome: A Smart Home System integrating Augmented Reality with Natural Interfaces based on Hand Gestures
JUAN ANTONIO HOLGADO TERRIZA
|
2021 | Capítulo de libro |
Control Difuso de Ecosistemas de Internet de las Cosas: Un Caso de Estudio Empleando Python y OpenHAB
JUAN ANTONIO HOLGADO TERRIZA
|
2021 | Capítulo de libro |
Sistema de Inteligencia de Negocios para el Apoyo a la Toma de Decisiones de Calidad del Aire
JUAN ANTONIO HOLGADO TERRIZA
|
2021 | Capítulo de libro |
RadioWave Attenuation Measurement System Based on RSSI for Precision Agriculture: Application to Tomato Greenhouses
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso
|
2021 | Articulo |
Traditional methods to physically characterize delivery systems
ALBERTO MARTÍN MOLINA, JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA, Mª TERESA DEL CASTILLO SANTAELLA, FRANCISCO JAVIER MONTES RUIZ-CABELLO
|
2021 | Capítulo de libro |
A parallel solution with GPU technology to predict Energy Consumption in Spatially Distributed Buildings using Evolutionary Optimization and Artificial Neural Networks
MANUEL ISIDORO CAPEL TUÑON, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2020 | Articulo |
20 consejos sencillos para comunicar eficazmente en Internet
LINA GUADALUPE GARCIA CABRERA, JOSÉ RAMÓN BALSAS ALMAGRO
|
2020 | Articulo |
A Gateway for Enabling Uniform Communication Among Inter-Platform JADE Agents
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
Effect of Hyaluronic Acid and Pluronic-F68 on the Surface Properties of Foam as a Delivery System for Polidocanol in Sclerotherapy
MARÍA JOSÉ GÁLVEZ RUIZ, JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA, Mª TERESA DEL CASTILLO SANTAELLA
|
2020 | Articulo |
Análisis de exactitud de reconocimiento gestual aplicando SVM y k-NN en señales EMG
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Articulo |
Empirical Model of Radio Wave Propagation in the Presence of Vegetation inside Greenhouses Using Regularized Regressions
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso
|
2020 | Articulo |
Bringing Machine Learning Predictive Models Based on Machine Learning Closer to Non-technical Users
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
Structure and functionality of interfacial layers in food emulsions. Chapter 1
MARÍA JOSÉ GÁLVEZ RUIZ, JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA, Mª TERESA DEL CASTILLO SANTAELLA
|
2020 | Capítulo de libro |
Multiagent System for Controlling a Digital Home Connected Based on Internet of Things
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
A Brief Survey of the Main Internet-Based Approaches. An Outlook from the Internet of Things Perspective
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
Software Agents Meet Heterogeneous Ecosystems of Services and Resources for Controlling the Internet of Things
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
Robots educativos de bajo costo basados en tecnologías de impresión 3D y hardware abierto
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
Low Lung Fuction at Early Adulthood Doesn¿ t Change During Follow-Up. Results from Lung Development Cohort-University of GranadaLow Lung Fuction at Early Adulthood Doesn¿ t Change During Follow-Up. Results from Lung Development Cohort-University of Granad
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Articulo |
Sistemas de Recomendación de Entretenimiento Basados en Aprendizaje Automático. Una Revisión de la Literatura
JUAN ANTONIO HOLGADO TERRIZA
|
2020 | Capítulo de libro |
Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem
MANUEL ISIDORO CAPEL TUÑON, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2019 | Articulo |
Dynamic Load Balancing Strategy For Parallel Tumor Growth Simulations
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2019 | Articulo |
Toward the gestural interface: comparative analysis between touch user interfaces versus gesture-based user interfaces on mobile devices
JUAN ANTONIO HOLGADO TERRIZA, NURIA MEDINA MEDINA
|
2019 | Articulo |
Towards an Internet of Agents Model Based on Linked Open Data Approach
JOSE ANTONIO SENSO RUIZ, JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Articulo |
A systematic method for building Internet of Agents applications based on the Linked Open Data approach
PATRICIA PADEREWSKI RODRIGUEZ, JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Articulo |
Automatic Configuration of OPC UA for Industrial Internet of Things Environments
JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Articulo |
Construyendo un Dispositivo del Internet de las Cosas para el Hogar Digital Conectado
JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Capítulo de libro |
Guía de edificación sostenible adaptada al cambio climático
MONTSERRAT ZAMORANO TORO, JUAN ANTONIO HOLGADO TERRIZA, CARMEN DÍAZ LÓPEZ
|
2019 | Libro |
A Preliminary Ontology for Human-Agent Collectives
JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Capítulo de libro |
An Agent Model Based on Open Linked Data for Building Internet of Agents Ecosystems
JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Capítulo de libro |
Path Loss Determination Using Linear and Cubic Regression Inside a Classic Tomato Greenhouse
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso
|
2019 | Articulo |
Desarrollo de un sistema para la medición y registro de RSSI en invernaderos
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso
|
2019 | Capítulo de libro |
Smart Home: Multimodal Interaction for Control of Home Devices
PATRICIA PADEREWSKI RODRIGUEZ, JUAN ANTONIO HOLGADO TERRIZA, FRANCISCO LUIS GUTIERREZ VELA
|
2019 | Capítulo de libro |
An Automatic Attendance Control Biometric System Based on Facial Recognition
JUAN ANTONIO HOLGADO TERRIZA
|
2019 | Capítulo de libro |
Parallel Cellular Automaton Tumor Growth Model
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Personality Determination of an Individual Through Neural Networks
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
A Set of Patterns for Concurrent and Parallel Programming Teaching
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Software Transactional Memory in Java on Clojure: A Performance Analysis
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2018 | Articulo |
A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Integration of MultiAgent Systems with Resource-Oriented Architecture for Management of IoT-Objects
JUAN ANTONIO HOLGADO TERRIZA
|
2018 | Capítulo de libro |
Towards the internet of agents: an analysis of the internet of things from the intelligence and autonomy perspective
JUAN ANTONIO HOLGADO TERRIZA
|
2018 | Articulo |
Diseño y construcción de un guante de datos para el reconocimiento gestual de lenguajes gestuales complejos
JUAN ANTONIO HOLGADO TERRIZA
|
2018 | Articulo |
Agentification of the Internet of Things: A systematic literature review
JUAN ANTONIO HOLGADO TERRIZA
|
2018 | Articulo |
Desarrollo de Sistemas Software Industriales Dirigido por Modelos: Aplicación a OPC UA e IEC 61131-3
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso
|
2018 | Tesis Doctoral |
Hacia el Internet de los Agentes: Un Modelo Semántico para Agentificar Ecosistemas de Internet de las Cosas
JUAN ANTONIO HOLGADO TERRIZA
|
2018 | Tesis Doctoral |
Teaching concurrent and parallel programming by patterns: An interactive ICT approach
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2017 | Articulo |
Design and implementation of communication patterns using parallel objects
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Articulo |
Checking Realizability of a Timed Business Processes Choreography
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Capítulo de libro |
A methodological approach for checking safety-critical systems software
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Articulo |
Partitioning Strategy Divide & Conquer as CPANs: A Methodological Proposal
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Articulo |
A Parallel Model for the Belousov- Zhabotinsky Oscillating Reaction with Python and Java
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2017 | Articulo |
A Parallel Approach to Data Analysis for Energy Efficient Energy Management in Distributed Facilites (PIoNEER)
MANUEL ISIDORO CAPEL TUÑON, MIGUEL DELGADO CALVO-FLORES, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2017 | Capítulo de libro |
A Parallel Approach to Intelligent Data Analysis for Efficient EneRgy Management in Distributed Facilities (PIoNEER)
MANUEL ISIDORO CAPEL TUÑON, MIGUEL DELGADO CALVO-FLORES, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2017 | Capítulo de libro |
Experiencia del PAT para estudiantes de la EPSJ
JOSÉ RAMÓN BALSAS ALMAGRO, CÁNDIDO GUTIÉRREZ MONTES
|
2017 | Capítulo de libro |
El gesto aplicado al control de dispositivos en tiempo real usando un guante de interacción de bajo costo
JUAN ANTONIO HOLGADO TERRIZA
|
2017 | Capítulo de libro |
Control y supervisión avanzada de sistemas basados en el uso de interfaces naturales de usuario de tipo Gestual (INU-G)
JUAN ANTONIO HOLGADO TERRIZA
|
2017 | Tesis Doctoral |
iMMAS an Industrial Metal-Model for Automation System Using OPC UA
JUAN ANTONIO HOLGADO TERRIZA
|
2017 | Articulo |
Surface Tension Measurement with a Smartphone using a Pendant Drop
JUAN ANTONIO HOLGADO TERRIZA
|
2017 | Articulo |
Sistemas de laboratorios remotos sobre instrumentación de tiempo real: Aplicación a laboratorios de medida de tensión interfacial
JUAN ANTONIO HOLGADO TERRIZA
|
2017 | Tesis Doctoral |
Comportamiento de los biomarcadores durante el embarazo y la lactancia. Modelo multiparadigma biológico. Protocolo del Estudio BECOME
MANUEL ISIDORO CAPEL TUÑON, MARÍA JOSEFA AGUILAR CORDERO, INMACULADA GARCÍA GARCÍA, Laura Baena García
|
2016 | Articulo |
Speeding Up Tumor Growth Simulations Using Parallel Programming and Cellular Automata
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2016 | Articulo |
Using pipeline and binary-tree as CPANS for solving the sorting problem. A comparative study
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Capítulo de libro |
Programación Paralela Estructurada del paradigma Divide y Vencerás. Una Propuesta Metodológica
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Capítulo de libro |
Behavior of biomarkers during pregnancy and lactation through a biological multi-paradigm model. BECOME study protocol
MANUEL ISIDORO CAPEL TUÑON, MARÍA JOSEFA AGUILAR CORDERO, JUAN CARLOS SANCHEZ GARCIA, Laura Baena García
|
2016 | Articulo |
Integration of ICT in concurrent and parallel programming lectures
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Articulo |
desarrollo de software y sistemas basados en componentes y servicios
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Libro |
Desarrollo de un app multiplataforma para virtualización de oficinas de farmacia
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Proyecto fin de carrera |
Diseño de la maqueta domótica para el aprendizaje de sistemas de automatización domótica
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Articulo |
ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a Metaprogramming Approach
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Capítulo de libro |
Hand Gesture Recognition based on sEMG signals using Support Vector Machines
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Capítulo de libro |
An Agent Middleware for Supporting Ecosystems of Heterogeneous Web Services
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Articulo |
Interacción Gestual en Dispositivos Móviles: Análisis basado en la posición del usuario.
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Capítulo de libro |
Gestural Interaction with Mobile Devices: An analysis based on the user’s posture.
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Capítulo de libro |
A Framework for the Development of Smart Ubiquitous Real-Time Systems Based on the Internet of Agents and Internet of Services Approaches
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Capítulo de libro |
Semantic agent contracts for Internet of Agents
JUAN ANTONIO HOLGADO TERRIZA
|
2016 | Capítulo de libro |
A Parallelisation Tale of Two Languages
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2015 | Articulo |
Speedy Probabilistic Timing Analysis Tool (SPROTIMAT)
MANUEL ISIDORO CAPEL TUÑON
|
2015 | Trabajo conducente a obtención de DEA |
Integration of ICT in Concurrent and Parallel Programming Lectures
MANUEL ISIDORO CAPEL TUÑON
|
2015 | Capítulo de libro |
Nivel de triglicéridos como factor de riesgo durante el embarazo; modelado biológico; revisión sistemática
MANUEL ISIDORO CAPEL TUÑON, MARÍA JOSEFA AGUILAR CORDERO, NORMA MUR VILLAR, Laura Baena García
|
2015 | Review |
Triglyceride levels as a risk factor during pregnancy. Biological modeling.
MANUEL ISIDORO CAPEL TUÑON
|
2015 | Articulo |
Control of Home Devices based on Hand Gestures
JUAN ANTONIO HOLGADO TERRIZA
|
2015 | Capítulo de libro |
Mobile Human Machine Interface based in OPC UA for the control of industrial processes
JUAN ANTONIO HOLGADO TERRIZA
|
2015 | Capítulo de libro |
Design, implementation and validation of a novel open framework for agile development of mobile health applications
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso, Héctor Pomares Cintas, Ignacio Rojas Ruiz, Oresti Baños Legrán
|
2015 | Articulo |
Plataforma de Servicios Semánticos Sensibles al Contexto para Sistemas de Inteligencia Ambiental
JUAN ANTONIO HOLGADO TERRIZA
|
2015 | Tesis Doctoral |
Subphase exchange experiments with the pendant drop technique
JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA, Mª TERESA DEL CASTILLO SANTAELLA
|
2015 | Articulo |
Control de dispositivos domóticos mediante interfaces hombre-máquina basadas en gestos de una mano
JUAN ANTONIO HOLGADO TERRIZA
|
2015 | Capítulo de libro |
Parallel bit-stream cipher with cellular automata number 30 in java
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2014 | Articulo |
Parallel bit-stream cipher with cellular automata number 30 in java
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2014 | Articulo |
Virtualización de Proveedores de Servicios de Cloud Computing
MANUEL ISIDORO CAPEL TUÑON
|
2014 | Trabajo conducente a obtención de DEA |
Choreography Modeling Compliance for Timed Business Models
MANUEL ISIDORO CAPEL TUÑON
|
2014 | Capítulo de libro |
SISTEMA DE INTERACCIÓN ORAL A TRAVÉS DE INTERNET PARA APOYO A LA DOCENCIA UNIVERSITARIA
MANUEL ISIDORO CAPEL TUÑON, JOSE FRANCISCO QUESADA MORENO
|
2014 | Capítulo de libro |
Speedy Overhead Report and Analysis Tool (SORAT)
MANUEL ISIDORO CAPEL TUÑON
|
2014 | Proyecto fin de carrera |
Desarrollo de un CRM adaptado a las necesidades de la PYME española
LINA GUADALUPE GARCIA CABRERA, JOSÉ RAMÓN BALSAS ALMAGRO
|
2014 | Proyecto fin de carrera |
Soporte multiprocesador en Java
JUAN ANTONIO HOLGADO TERRIZA
|
2014 | Capítulo de libro |
Planificador EDF en RTSJ
JUAN ANTONIO HOLGADO TERRIZA
|
2014 | Capítulo de libro |
mHealthDroid: A Novel Framework for Agile Development of Mobile Health Applications
JUAN ANTONIO HOLGADO TERRIZA, Miguel Damas Hermoso, Héctor Pomares Cintas, Ignacio Rojas Ruiz, Oresti Baños Legrán
|
2014 | Capítulo de libro |
Multiprocessor support in Java
JUAN ANTONIO HOLGADO TERRIZA
|
2014 | Articulo |
Bile salts at the air¿water interface: Adsorption and desorption
JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA
|
2014 | Articulo |
Distributed Service-Based Approach for Sensor Data Fusion in IoT environments
JUAN ANTONIO HOLGADO TERRIZA
|
2014 | Articulo |
Towards sustainability in multi-modal urban planners
JUAN ANTONIO HOLGADO TERRIZA
|
2014 | Capítulo de libro |
Evaluación de Android Runtime (ART) para el desarrollo de aplicaciones con requisitos de tiempo real
JUAN ANTONIO HOLGADO TERRIZA
|
2014 | Capítulo de libro |
Sistema de diálogo hablado basado en VoiceXML para la enseñanza universitaria
MANUEL ISIDORO CAPEL TUÑON, JOSE FRANCISCO QUESADA MORENO
|
2013 | Articulo |
Business Process Automatic Verification with a Compositional Approach
MANUEL ISIDORO CAPEL TUÑON
|
2013 | Articulo |
A B-Learning Methodology Case for Faculty at High Education
LINA GUADALUPE GARCIA CABRERA, JOSÉ RAMÓN BALSAS ALMAGRO
|
2013 | Articulo |
In vitro digestion of interfacial protein structures
JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA
|
2013 | Articulo |
Desarrollo de sistemas industriales a través de sistemas empotrados basados en Java
JUAN ANTONIO HOLGADO TERRIZA
|
2013 | Capítulo de libro |
Planificador dinámico EDF adaptable a sistemas operativos de tiempo real de prioridades fijas
JUAN ANTONIO HOLGADO TERRIZA
|
2013 | Capítulo de libro |
Modeling Context-Awareness in a Pervasive Computing Middleware Using Ontologies and Data Quality Profiles
JUAN ANTONIO HOLGADO TERRIZA
|
2013 | Capítulo de libro |
Monitoring experiments using mobile devices
JUAN ANTONIO HOLGADO TERRIZA
|
2013 | Capítulo de libro |
Verifying Compositional Correctness of Safety-Critical Systems
MANUEL ISIDORO CAPEL TUÑON
|
2012 | Capítulo de libro |
Sistemas concurrentes y distribuidos : teoría y práctica
MANUEL ISIDORO CAPEL TUÑON
|
2012 | Libro |
Conceptual framework for business processes compositional verification
MANUEL ISIDORO CAPEL TUÑON
|
2012 | Articulo |
JavaES, a flexible Java Framework for Embedded Systems
JUAN ANTONIO HOLGADO TERRIZA
|
2012 | Capítulo de libro |
A Componentizable Server-Side Framework for Building Remote and Virtual Laboratories
JUAN ANTONIO HOLGADO TERRIZA
|
2012 | Articulo |
Data Fusion Mechanism based on a Service Composition Model for the Internet of Things
JUAN ANTONIO HOLGADO TERRIZA
|
2012 | Capítulo de libro |
RVLab: A server-side framework to build remote and virtual laboratories
JUAN ANTONIO HOLGADO TERRIZA
|
2012 | Capítulo de libro |
A FORMAL COMPOSITIONAL VERIFICATION APPROACH FOR SAFETY-CRITICAL SYSTEMS CORRECTNESS
MANUEL ISIDORO CAPEL TUÑON
|
2011 | Articulo |
A FORMALIZATION PROPOSAL OF TIMED BPMN FOR COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES
MANUEL ISIDORO CAPEL TUÑON
|
2011 | Articulo |
UNA CONTRIBUCIÓN A LAS TÉCNICAS AVANZADAS DE VERIFICACIÓN DE PROCESOS DE NEGOCIO Y SISTEMAS SOFTWARE ABIERTOS
MANUEL ISIDORO CAPEL TUÑON
|
2011 | Tesis Doctoral |
SISTEMA Y PROCEDIMIENTO DE OBTENCIÓN, CLASIFICACIÓN Y SELECCIÓN DE ACEITE DE OLIVA
JOSÉ RAMÓN BALSAS ALMAGRO
|
2011 | Patente de invención |
Java para el desarrollo de sistemas empotrados
JUAN ANTONIO HOLGADO TERRIZA
|
2011 | Capítulo de libro |
Services Composition Model for Home-Automation peer-to-peer Pervasive Computing
JUAN ANTONIO HOLGADO TERRIZA
|
2011 | Capítulo de libro |
MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2010 | Libro |
AN EFFICIENT CLUSTER-BASED CDMA/TDMA SCHEME FOR WIRELESS AD HOC NETWORK MODELING
MANUEL ISIDORO CAPEL TUÑON
|
2010 | Capítulo de libro |
RETURNOK, LA WIKI SOBRE RETROINFORMÁTICA
LINA GUADALUPE GARCIA CABRERA, JOSÉ RAMÓN BALSAS ALMAGRO, FRANCISCO CHARTE OJEDA
|
2010 | Articulo |
APLICACIÓN DEL PROCEDIMIENTO DE EVALUACIÓN Y MEJORA DE LA CALIDAD EN LAS ACCIONES FORMATIVAS ON-LINE DEL CAMPUS ANDALUZ VIRTUAL
LINA GUADALUPE GARCIA CABRERA, JOSÉ RAMÓN BALSAS ALMAGRO, MARÍA ANGELES- PEÑA HITA
|
2010 | Capítulo de libro |
ENFOQUE METODOLÓGICO PARA EL DESARROLLO DE APLICACIONES JAVA EN SISTEMAS EMPOTRADOS CON RECURSOS LIMITADOS
JUAN ANTONIO HOLGADO TERRIZA
|
2010 | Capítulo de libro |
INTEGRACIÓN DE COMPONENTES HARDWARE EN SISTEMAS EMPOTRADOS CON RECURSOS LIMITADOS BASADOS EN JAVA
JUAN ANTONIO HOLGADO TERRIZA
|
2010 | Capítulo de libro |
MECANISMO DE EXTENSIÓN HARDWARE DEL FRAMEWORK JAVAES
JUAN ANTONIO HOLGADO TERRIZA
|
2010 | Capítulo de libro |
COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Articulo |
AUTOMATIC COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Articulo |
AUTOMATIC VERIFICATION OF BUSINESS PROCESS INTEGRITY
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Otro tipo de publicación en revista |
METHODOLOGY OF PARALLEL PROGRAMMING USING COMPOSITIONS OF PARALLEL OBJECTS OR CPANS FOR THE SOLUTION OF NP-COMPLETE PROBLEMS.
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Capítulo de libro |
Docencia e investigación en Lenguajes y Sistemas Informáticos: una visión desde la Concurrencia
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Libro |
MEDISTAM-RT: METODOLOGÍA DE DISEÑO Y ANÁLISIS DE SISTEMAS DE TIEMPO REAL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2009 | Tesis Doctoral |
COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Capítulo de libro |
SISTEMA PARA LA CLASIFICACIÓN AUTOMÁTICA DE ACEITUNAS
JOSÉ RAMÓN BALSAS ALMAGRO, Gloria ESTEBAN de la Rosa, MANUEL JOSÉ LUCENA LÓPEZ, JOSÉ MANUEL FUERTES GARCÍA
|
2009 | Patente de invención |
Aplicación para el diseño y cálculo de instalaciones aisladas fotovoltáica, minieólica y mixta
JOSÉ RAMÓN BALSAS ALMAGRO, CARLOS JAVIER OGAYAR ANGUITA
|
2009 | Proyecto fin de carrera |
Integración de un Sistema de Multiconferencia Web en la Plataforma de Docencia Virtual de la Universidad de Jaén
JOSÉ RAMÓN BALSAS ALMAGRO
|
2009 | Proyecto fin de carrera |
A flexible Java framework for embedded systems
JUAN ANTONIO HOLGADO TERRIZA
|
2009 | Capítulo de libro |
A PARALLEL PROGRAMMING METHODOLOGY USING COMMUNICATION PATTERNS NAMED CPANS OR COMPOSITION OF PARALLEL OBJECTS
MANUEL ISIDORO CAPEL TUÑON
|
2008 | Capítulo de libro |
An ambient asissted-living architecture based on wireless sensor networks
JUAN ANTONIO HOLGADO TERRIZA
|
2008 | Articulo |
A HOME-AUTOMATION PLATFORM TOWARDS UBIQUITOUS SPACES BASED ON A DECENTRALIZED P2P ARCHITECTURE
JUAN ANTONIO HOLGADO TERRIZA
|
2008 | Capítulo de libro |
AN AMBIENT ASSISTED-LIVING ARCHITECTURE BASED ON WIRELESS SENSOR NETWORKS
JUAN ANTONIO HOLGADO TERRIZA
|
2008 | Capítulo de libro |
PLATAFORMA JAVA PARA EL DESARROLLO DE APLICACIONES EMPOTRADAS CON RESTRICCIONES TEMPORALES
JUAN ANTONIO HOLGADO TERRIZA
|
2008 | Capítulo de libro |
PLATAFORMA DE SERVICIOS SENSIBLES AL CONTEXTO. APLICACIÓN A LA OFICINA DOMÓTICA.
JUAN ANTONIO HOLGADO TERRIZA
|
2008 | Tesina |
A METHODOLOGICAL APPROACH TO THE FORMAL SPECIFICATION OF REAL-TIME SYSTEMS BY TRANSFORMATION OF UML-RT DESIGN MODELS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Articulo |
DEVELOPMENT OF AN ADAPTABLE MIDDLEWARE FOR TIME-CONSTRAINED DISTRIBUTED APPLICATIONS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
CHARACTERISTIC ANALYSIS OF WIRELESS SENSOR NETWORKS WITH REAL-TIME MIDDLEWARE
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
DISEÑO Y ADAPTACIÓN DE JAVA DE TIEMPO REAL SOBRE PARTIKLE PARA SISTEMAS EMPOTRADOS
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
VERIFICACIÓN COMPOSICIONAL Y DISEÑO DE SISTEMAS DE TIEMPO REAL
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
JAVA-BASED ADAPTABLE MIDDLEWARE PLATFORM FOR VIRTUAL INSTRUMENTATION
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
AN INTERPRETATION OF BEHAVIOURAL CONSISTENCY OF UML-RT DIAGRAMS IN TERMS OF CSP+T
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
CHECKING BEHAVIOURAL CONSISTENCY OF UML-RT MODELS THROUGH TRACE-BASED SEMANTICS
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
TOWARDS UML-RT BEHAVIOURAL CONSISTENCY
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
CONSISTENCY CHECKING OF UML COMPOSITE STRUCTURE DIAGRAMS BASED ON TRACE SEMANTICS
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
ESTABLISHING CONSISTENCY BETWEEN UML 2.0 SEQUENCE AND STATE DIAGRAMS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
CONTROL DOMÓTICO DEL HOGAR UTILIZANDO JXTA
JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Proyecto fin de carrera |
CONTROL REMOTO DE MODELOS DE ROBOTS LEGO UTILIZANDO TECNOLOGÍAS ABIERTAS BASADAS EN JAVA
JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
PLATAFORMA JAVA PARA EL DESARROLLO DE APLICACIONES EN ENTORNOS EMPOTRADOS
JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
DISEÑO DE LA ARQUITECTURA DE UNA RED AD-HOC INALÁMBRICA PARA COMPUTACIÓN OBICUA BASADA EN LA TECNOLOGÍA BLUETOOTH
JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
DISEÑO Y CONSTRUCCIÓN DE UNA MAQUETA DOMÓTICA CONTROLABLE A TRAVÉS DE MICROCONTROLADORES DE JAVA
JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
ARQUITECTURA ABIERTA BASADA EN JAVA PARA ENTORNOS DOMÓTICOS
JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
HIGH LEVEL PARALLEL COMPOSITIONS (CPANS) FOR THE PARALLEL PROGRAMMING BASED ON THE USE OF COMMUNICATION PATTERNS
MANUEL ISIDORO CAPEL TUÑON
|
2006 | Articulo |
DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
CSPJADE: ARCHITECTURAL DRIVEN DEVELOPMENT OF COMPLEX EMBEDDED SYSTEM SOFTWARE USING A CSP PARADIGM BASED CODE GENERATION TOOL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
ENFOQUE METODOLÓGICO PARA LA TRANSFORMACIÓN SISTEMÁTICA DE MODELOS UML/RT A CSP+T
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Articulo |
DESIGN AND IMPLEMENTATION OF THE BRANCH-AND-BOUND ALGORITHMIC DESIGN TECHNIQUE AS A HIGH LEVEL PARALLEL COMPOSITION
MANUEL ISIDORO CAPEL TUÑON
|
2006 | Capítulo de libro |
HIGH LEVEL COMPOSITIONS (CPANS) FOR THE PARALLEL PROGRAMMING BASED ON THE USE OF COMMUNICATION PATTERNS
MANUEL ISIDORO CAPEL TUÑON
|
2006 | Capítulo de libro |
ANÁLISIS DE SISTEMAS EMPOTRADOS JAVA COMERCIALES CON REQUERIMIENTOS TEMPORALES
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
DISEÑO DE UN SISTEMA DE CONTROL DOMÓTICO BASADO EN JAVA
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
A SEMANTIC FORMALIZATION OF UML-RT MODELS WITH CSP+T PROCESSES APPLICABLE TO REAL-TIME SYSTEMS VERIFICATION
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
FORMAL SPECIFICATION OF REAL-TIME SYSTEMS BY TRANSFORMATION OF UML-RT DESIGN MODELS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
CSPJADE: ARCHITECTURAL DRIVEN DEVELOPMENT OF COMPLEX EMBEDDED SYSTEM SOFTWARE USING A CSP PARADIGM BASED GENERATION TOOL CODE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
COMBINING THE DESCRIPTION FEATURES OF UML-RT AND CSP+T SPECIFICATIONS APPLIED TO A COMPLETE DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Articulo |
CSPJADE: A CODE GENERATING CASE TOOL FOR EMBEDDED SYSTEMS BASED ON REUSABLE COMPONENTS AND CSP PARADIGM
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Articulo |
AN INTEGRATION SCHEME FOR CPN AND PROCESS ALGEBRA APPLIED TO A MANUFACTURING INDUSTRY CASE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
COMBINING THE DESCRIPTION FEATURES OF UML-RT AND CSP+T SPECIFICATIONS APLIED TO A COMPLETE DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
DESIGN AND USE OF THE CPAN BRANCH & BOUND FOR THE SOLUTION OF THE TRAVELLING SALESMAN PROBLEM (TSP)
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
METHODOLOGICAL PROPOSAL FOR COMPLETE REAL TIME SYSTEMS DESIGN BY COMBINING UML-RT AND CSP+T FORMAL SPECIFICATIONS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
CSPJADE: A CODE GENERATING CASE TOOL FOR EMBEDDED SYSTEMS BASED ON REUSABLE COMPONENTS AND CSP PARADIGM
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
UNA METODOLOGÍA DE PROGRAMACIÓN BASADA EN COMPOSICIONES PARALELAS DE ALTO NIVEL (CPANS)
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Tesis Doctoral |
DESIGN AND USE OF THE CPAN BRANCH & BOUND FOR THE SOLUTION OF THE TRAVELING SALESMAN PROBLEM (TSP)
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
A CSP+T BASED METHOD FOR OBTAINING A RELIABLE MODEL OF A REAL-TIME CLOSED LOOP CONTROL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
FROM CSP+T SPECIFICATION TO JAVA IMPLEMENTA-TION: THE PRODUCTION CELL CASE STUDY
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
A METHODOLOGICAL APPROACH TO PARALLEL PROGRAMMING BASED ON HIGH LEVEL PARALLEL COMPOSITIONS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
AN APPROACH TO STRUCTURED PARALLEL PROGRAM-MING BASED ON A COMPOSITION OF PARALLEL OBJECTS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
A TRANSFORMATIONAL APPROACH TO THE SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON, JOSÉ RAMÓN BALSAS ALMAGRO, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Articulo |
FORMALIZATION OF RT/SA SYSTEM USER REQUERIMENTS APPLIED TO A MANUFACTURING INDUSTRY CASE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
A TRANSFORMATIONAL APPROACH TO THE SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON, JOSÉ RAMÓN BALSAS ALMAGRO, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
FORMALIZATION OF RT/SA SYSTEM USER REQUERIMENTS APPLIED TO A MANUFACTURING INDUSTRY CASE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Articulo |
SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS BASED ON CSP+T PROCESS ALGEBRA
MANUEL ISIDORO CAPEL TUÑON, JOSÉ RAMÓN BALSAS ALMAGRO, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
UNA METODOLOGÍA DE PROGRAMACIÓN BASADA EN COMPOSICIONES PARALELAS DE ALTO NIVEL (CPANS)
MANUEL ISIDORO CAPEL TUÑON
|
2004 | Capítulo de libro |
A PARALLEL PROGRAMMING METHODOLOGY BASED ON HIGH LEVEL PARALLEL COMPOSITIONS (CPANS)
MANUEL ISIDORO CAPEL TUÑON
|
2004 | Capítulo de libro |
A NEW DESIGN PROCEDURE FOR A REAL-TIME HYBRID SYSTEM MODEL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
DEVELOPMENT OF A PRESSURE-CONTROLLED PENDANT-DROP SURFACE BALANCE: STUDY OF PROTEIN ADSORPTION KINETICS AT THE SOLUTION-AIR INTERFACE
JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Articulo |
FBT (FIL TO BÜCHI AUTOMATON TRANSLATOR): HERRAMIENTA PARA ESPECIFICAR Y VERIFICAR SISTEMAS CONCURRENTES MEDIANTE FÓRMULAS DE INTERVALOS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2003 | Capítulo de libro |
ON-THE-FLY MODEL CHECKING FROM INTERVAL LOGIC SPECIFICATIONS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2002 | Articulo |
DESDE ESPECIFICACIONES LÓGICAS DE INTERVALOS A AUTÓMATAS DE PROPIEDAD: UNA CONSTRUCCIÓN TABLEAU PARA SU APLICACIÓN A LA COMPROBACIÓN DE MODELOS ON-THE-FLY
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2002 | Tesis Doctoral |
MEDIDA DE LAS MAGNITUDES DINAMICAS POR ANALISIS DE INTERFASES CURVAS
JUAN ANTONIO HOLGADO TERRIZA
|
2002 | Tesis Doctoral |
DEVELOPMENT OF A CONSTANT SURFACE PRESSURE PENETRATION LANGMUIR BALANCE BASED ON AXISYMMETRIC DROP SHAPE ANALYSIS
JUAN ANTONIO HOLGADO TERRIZA
|
2002 | Articulo |
CONTACT ANGLE HYSTERESIS ON DENTIN SURFACES MEASURED WITH ADSA ON DROPS AND BUBBLES
JUAN ANTONIO HOLGADO TERRIZA, MANUEL TOLEDANO PEREZ, JUAN IGNACIO ROSALES LEAL
|
2002 | Articulo |
MATHEMATICAL MODELING OF REAL-TIME PROCESSES
MANUEL ISIDORO CAPEL TUÑON
|
2001 | Capítulo de libro |
AUTOMATA GENERATION FOR ON-THE-FLY AUTOMATIC VERIFICATION USING FORMULAS OF AN INTERVAL LOGIC
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2001 | Capítulo de libro |
VERIFICACIÓN AUTOMATIZADA EFICIENTE DE SISTEMAS CONCURRENTES ESPECIFICANDO SUS PROPIEDADES CON FÓRMULAS DE UNA LÓGICA DE INTERVALOS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2001 | Capítulo de libro |
LLAJÚ: UN SISTEMA DE RECUPERACIÓN MULTILINGÜE BASADO EN EUROWORDNET
L. ALFONSO UREÑA LÓPEZ, JOSÉ RAMÓN BALSAS ALMAGRO
|
2001 | Articulo |
Servidor de información geográfica basado en la WEB
JOSÉ RAMÓN BALSAS ALMAGRO
|
2001 | Proyecto fin de carrera |
INTERFACIAL HUDROLYSIS OF PHOSPHOLIPID MONOLAYERS STUDIED WITH A NEW PRESSURE-CONTROLLED PENDANT-DROP PENETRATION SURFACE BALANCE
JUAN ANTONIO HOLGADO TERRIZA
|
2001 | Articulo |
DENTIN WETTING BY FOUR ADHESIVE SYSTEMS
JUAN ANTONIO HOLGADO TERRIZA, MANUEL TOLEDANO PEREZ, JUAN IGNACIO ROSALES LEAL
|
2001 | Articulo |
MEASUREMENT OF SURFACE TENSION AND CONTACT ANGLE USING ENTROPIC EDGE DETECTION
JUAN ANTONIO HOLGADO TERRIZA, PEDRO LUIS LUQUE ESCAMILLA, JUAN FRANCISCO GOMEZ LOPERA
|
2001 | Articulo |
SOFTWARE ANALYSIS METHODS FOR REAL TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2000 | Capítulo de libro |
DISTRIBUTED OBJECTS FOR PARALLEL PROGRAMMING IN MULTICOMPUTERS
MANUEL ISIDORO CAPEL TUÑON
|
2000 | Capítulo de libro |
MEDIDAS DE PROPIEDADES INTERFACIALES EN FLUIDOS MEDIANTE PROCESAMIENTO ENTRÓPICO DE IMAGEN
JUAN ANTONIO HOLGADO TERRIZA, PEDRO LUIS LUQUE ESCAMILLA, JUAN FRANCISCO GOMEZ LOPERA
|
2000 | Articulo |
MEASUREMENT OF DYNAMIC SURFACE TENSION TO DETERMINE CRITICAL MICELLAR CONCENTRATION IN LIPOPHILIC SILICONS SURFACTANTS
Mª ADOLFINA RUÍZ MARTÍNEZ, JUAN ANTONIO HOLGADO TERRIZA
|
2000 | Articulo |
ADSA COMO BALANZA DE SUPERFICIES DE PENETRACION
JUAN ANTONIO HOLGADO TERRIZA
|
2000 | Meeting-Abstract |
INFLUENCE OF ACID ETCHING WITH THREE DIFFERENT COMMERCIALLY AVAILABLE CONDITIONERS ON SUPERFICIAL AND DEEP DENTIN WETTING AND ROUGHNESS.
JUAN ANTONIO HOLGADO TERRIZA, MANUEL TOLEDANO PEREZ, JUAN IGNACIO ROSALES LEAL
|
2000 | Meeting-Abstract |
ADSA COMO BALANZA DE SUPERFICIES DE PENETRACIÓN
JUAN ANTONIO HOLGADO TERRIZA
|
2000 | Capítulo de libro |
PLANIFICACIÓN DE LA DOCENCIA UNIVERSITARIA
JOSÉ RAMÓN BALSAS ALMAGRO
|
1999 | Libro |
AXISYMMETRIC DROP SHAPE ANALYSIS AS PENETRATION FILM BALANCE APPLIED AT LIQUID-LIQUID INTERFACES
JUAN ANTONIO HOLGADO TERRIZA
|
1999 | Articulo |
MEASUREMENT OF ULTRA LOW INTERFACIAL TENSION WITH ADSA USING AN ENTROPIC EDGE DETECTOR
JUAN ANTONIO HOLGADO TERRIZA, PEDRO LUIS LUQUE ESCAMILLA, JUAN FRANCISCO GOMEZ LOPERA
|
1999 | Articulo |
DEVELOPMENT OF A NEW LANGMUIR-TYPE PENDANT-DROP FILM BALANCE
MARÍA JOSÉ GÁLVEZ RUIZ, JUAN ANTONIO HOLGADO TERRIZA
|
1999 | Articulo |
AXISYMMETRIC DROP SHAPE ANALYSIS AS PENETRATION LANGMUIR BALANCE
JUAN ANTONIO HOLGADO TERRIZA
|
1999 | Articulo |
DESARROLLO DE UN PROTOTIPO PARA LA CELDA DE PRODUCCIÓN EN JAVAPP
MANUEL ISIDORO CAPEL TUÑON, FRANCISCO ARAQUE CUENCA, JOSÉ LUIS GARRIDO BULLEJOS
|
1998 | Capítulo de libro |
A PROPOSAL TO IMPROVE REUSABILITY IN A LANGUAGE BASED ON THE OCCAM-CSP MODEL
MANUEL ISIDORO CAPEL TUÑON, FRANCISCO ARAQUE CUENCA, JOSE MIGUEL MANTAS RUIZ
|
1997 | Capítulo de libro |
IMPLEMENTACIÓN DE UNA HERRAMIENTA DE ESPECIFICACIÓN Y VALIDACIÓN PARA SISTEMAS REACTIVOS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
1997 | Capítulo de libro |
FUNDAMENTOS DE INFORMATICA
JOSÉ RAMÓN BALSAS ALMAGRO
|
1997 | Libro |
FUNDAMENTOS DE INFORMÁTICA
JOSE JOAQUIN AGUILERA GARCIA, JUAN RUIZ DE MIRAS, JOSÉ RAMÓN BALSAS ALMAGRO
|
1997 | Libro |
EJERCICIOS DE FUNDAMENTOS DE INFORMATICA
JOSE JOAQUIN AGUILERA GARCIA, JUAN RUIZ DE MIRAS, JOSÉ RAMÓN BALSAS ALMAGRO
|
1997 | Libro |
DETERMINACIÓN DE LA CONCENTRACIÓN MICELAR CRÍTICA EN TENSIOACTIVOS SILICÓNICOS
JUAN ANTONIO HOLGADO TERRIZA
|
1997 | Articulo |
A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
1900 | Capítulo de libro |
DISPOSITIVO DE CAMBIO MÚLTIPLE DE LA SUBFASE PARA TENSIÓMETROS DE GOTA PENDIENTE
JUAN ANTONIO HOLGADO TERRIZA, JULIA MALDONADO VALDERRAMA
|
1900 | Patente de invención |
Journal of Integrative Bioinformatics
MANUEL ISIDORO CAPEL TUÑON
|
- | Articulo |
“Sistemas Concurrentes y distribuidos:teoría y práctica
MANUEL ISIDORO CAPEL TUÑON
|
- | Libro |
DESIGN AND IMPLEMENTATION OF COMMUNICATION PATTERNS USING PARALLEL OBJECTS
MANUEL ISIDORO CAPEL TUÑON
|
- | Articulo |