Conferencias de Posgrado
Años anteriores
-
-
-
-
-
-
03-11-2023 15:00
-
-
-
Department of Electrical and Computer Engineering (University of Nevada, Las Vegas)
08-09-2023 12:00
-
-
Investigador Cinvestav 3D, Sección de Bioelectrónica del Departamento de Ingeniería Eléctrica del Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional. México.
06-06-2023 16:00
-
-
-
-
-
-
20-04-2023 17:00
-
-
-
-
-
28-10-2022 11:00
-
-
-
-
-
-
-
-
30-03-2022 17:00
-
Hardware/software security contracts: Principled foundations for building secure microarchitectures
-
La seguridad en el desarrollo de software implementada de forma preventiva
-
Do you trust your artificial intelligence system?
-
Redes neuronales y reinforcement learning. Aplicación en energía eólica.
-
Building smart and fast systems using Machine Learning and Computer Vision.
-
Evolution and Trends in Edge AI Systems and Architectures for the Internet of Things Era
-
Challenges and Opportunities for AI and Data analytics in Offshore wind
-
Discrete-Event Modeling and Simulation for Development of Embedded and Real-Time Systems
-
History and Future Opportunities in large-scale Field Programmable Analog Arrays
-
Investigación sobre el desarrollo del pensamiento computacional en la educación
-
Protecting data and intellectual property in accelerator-rich architectures with high-level methods
-
FPGA-based soft-processors: 6G nodes and post-quantum security in space
-
La visión por computador en la fabricación cero defectos. Tecnología al servicio de la eficacia.
-
Process Mining: closing the gap between Data Science and BPM
-
-
El CNA como centro de ensayos de irradiación dentro de una ICTS interdisciplinar.
-
Simulación de sistemas distribuidos de gran escala
-
Machine Learning Challenges and Opportunities in Education, Industry, and Research
-
-
Ingeniería del Software para la Computación Cuántica: Retos y Oportunidades
-
-
AI Hardware for Real-Time Machine Learning
-
Transient Faults in Spaceborne Delay Tolerant Networks: Intrinsic Robustness & Smart Re-routing
-
Modelado de Sistemas Cloud Computing usando Perfiles de UML y Técnicas de Transformación M2T
-
Towards high-level specification of Smart-Contracts
-
-
Bayesian Performance Analysis for Optimization Algorithm Comparison
-
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Blockchains
-
Modelado flexible basado en facetas
-
-
Simplificando el paralelismo con Patrones Genéricos Paralelos
-
How to verify computation in the blink of an eye
-
Diseño Narrativo de Elecciones
-
Deciding language inclusion problems using quasiorders
-
Modularity for Accurate Static Analysis of Smart Contracts
-
Prohibiendo los bucles: Hacia la programación del siglo XXI.
-
Nanoscale cascaded plasmonic logic gates for non-boolean wave computation
-
A Glass Half Full: Using Programmable Hardware Accelerators in Analytical Databases
-
Convergencia HPC - Big Data: Arquitectura y modelos de programación
-
-
-
Desarrollando sistemas de detección de intrusiones: del laboratorio a su implantación
-
-
Fog Computing: la “nube” desciende y la computación se hace “niebla”
-
¿Es posible la convergencia HPC y Big Data? Lecciones aprendidas de los sistemas de E/S
-
A short introduction to Quantum Computing and Quantum Cryptography
-
Inferring procedure specifications from Javadoc comments for automated testing
-
Deep learning: contexto, evolución, aplicaciones
-
-
Liquid Haskell: Theorem Proving for All
-
Aplicación de técnicas estadísticas e inteligencia artificial en enfermedades metabólicas complejas.
-
Designing HPC Architectures at the Barcelona Supercomputing Center
-
Real-world Applications of Symbolic Regression
-
From the latency to the throughput age
-
Artificial Intelligence in the startup world
-
Symbolic Reasoning Methods in Rewriting Logic and Maude
-
Insights on the artificial generation of instances of combinatorial optimization problems
-
Middleware para IoT basado en analítica de datos
-
Augmenting health professionals and empowering patients with new technologies
-
Search-based Unit Test Generation with EvoSuite
-
Unveiling the properties of structured grammatical evolution
-
Improving Engagement of Students in Software Engineering Courses through Gamification
-
-
Grouping techniques for facing Volume and Velocity in the Big Data
-
Performance and scalability prediction in HPC systems
-
Análisis de Sentimientos y otros retos del aprovechamiento inteligente de los datos masivos
-
Unsupervised Scalable Statistical Method for Identifying Influential Users in Online Social Networks
-
Privacidad: La Tensión entre las Capacidades Tecnológicas y las Expectativas de la Sociedad Cívica
-
Runtime Methods to Improve Energy Efficiency in HPC Applications
-
-
Meta-modelos y lenguajes de dominio específico en Internet de las cosas
-
An overview on diversity and Software Testing
-
Complete Controllable Test Suites for Distributed Testing
-
Los sistemas de información geográfica (SIG) y estándares de normalización
-
Compositional Program Analysis using Max-SMT
-
Specifying quantities in software models
-
Utilización de sensores inerciales integrados para la valoración física de pacientes crónicos
-
Nuevas tecnologías aplicadas al ejercicio físico: Apps, Wearables y su fiabilidad
-
Viaje al centro de los datos: ingeniería, arquitectura y ecología
-
Roadmap for the Blockchain & Society Lab
-
Diseño eficiente de algoritmos Parallel Prefix sobre GPUs
-
Machine Learning en Dispositivos de Fusión Nuclear
-
New horizons of brain dynamics and art
-
New approaches in music generation from tonal and modal perspectives
-
Structural and functional neural correlates of emotional responses to music
-
Making the most out of Heterogeneous Chips with CPU, GPU and FPGA
-
Sistemas de optimización en la asignación de los recursos
-
Dealing with Constraints in Estimation of Distribution Algorithms
-
Meditaciones a propósito de la cuestión Ética y la IA
-
Redecentralizing the Web: IPFS and Filecoin
-
New horizons for electronic systems: Devices, design methods and application areas
-
-
Redes: de entes físicos a procesos software en entornos virtuales
-
Los lenguajes de programación: pasado, presente y futuro
-
Modelado y Análisis Formal del Protocolo de Comunicación de Sensores One Wire
-
La disciplina del diseño narrativo como el futuro de los videojuegos
-
La evolución de los sistemas software educativos: Los ecosistemas tecnológicos de aprendizaje
-
La Ingeniería Biomédica: de un desconocido comienzo a una madurez imprevista
-
Barcelona Supercomputing Center, Generador de Riqueza
-
Swiss-knife Security Kit for Implantable Medical Devices
-
Managing Workflows in a Big Data world
-
Modelos de Desarrollo Seguro de Software
-
-
Inteligencia Artificial para frenar el ciber espionaje y la ciber delincuencia
-
-
Bioinformática aplicada al estudio del control de la expresión de genes en el cerebro humano
-
Competencias del Director de Proyectos en la Cuarta Revolución Tecnológica
-
-
Autonomy for Robotic Planetary Exploration Missions: Perception and Navigation for Autonomous Rovers
-
Conditional Entropy and Failed Error Propagation in Software Testing
-
Just Enough is More: Achieving Sustainable Performance in Thermally-Constrained Mobile Devices
-
Design and Validation of cloud storage systems using Maude
-
Procesamiento de eventos complejos aplicado al ámbito de las smart cities
-
Parallel programming for resiliency and energy efficiency in HPC
-
Modeling and machine learning for estimation, simulation, and optimization
-
Aplicaciones HPC para planeamiento rural y visualización masiva de datos
-
-
Languages, ontologies and automatic grammar generation
-
Analyzing large multimedia collections in an urban context
-
Sin dejarse atrás términos lambda-valor resolubles
-
Towards dynamic updates in service composition
-
Desarrollo de robots sociales con RoboComp
-
Ingeniería informática, automática y robótica claves de la agricultura del futuro
-
Investigación en Ingeniería Neural y Cognitiva
-
Métodos computacionales para el estudio de modelos epidemiológicos con incertidumbre
-
¿Pueden los androides aprender lo que es una oveja mecánica?
-
Like Alice in Wonderland: Unraveling reasoning and cognition using analogies and concept blending
-
A transformational approach to resource analysis with typed-norms
-
Cognitive computers: the next wave of computing innovation
-
Generación automática de contenidos para videojuegos mediante programación genética
-
Tendencias de uso y diseño de redes de interconexión en computadores paralelos
-
Ciencia social computacional: Interacción entre personas y sistemas complejos socio-tecnológicos
-
Aprendizaje automático en bases de datos de fusión nuclear
-
Panorámica de los procedimientos metaheurísticos
-
Secuencias, un número detrás de otro
-
Systems theory approach to video streaming
-
-
Towards an algebra of contracts
-
¿Estamos preparados para hacer frente a la ciberdelincuencia?
-
Reconocimiento biométrico de firma manuscrita: fundamentos, avances y aplicaciones
-
Term rewriting applied to cryptographic protocol analysis: the Maude-NPA tool
-
Smart health: improving health services within smart cities
-
Fundamentos de la evolución gramatical
-
Seguimiento de objetos en secuencias de imágenes
-
Pruebas en el desarrollo de software dirigido por modelos
-
Aprendizaje estadístico: fundamentos y aplicaciones
-
-
Crowdsourced research: collective intelligence for collective problems
-
-
Estudio de la robustez del control inteligente frente a errores inducidos por radiación
-
The application of grammar inference to software language engineering
-
Towards energy-efficient computing: adaptive management strategies from software to systems
-
The role of ontologies in machine-machine communication
-
Introducción a la plataforma Dafny de verificación de programas
-
Una introducción a la computación cuántica: ordenadores analógicos y gatos de Schrödinger
-
¿Cómo proteger las buenas ideas? Propiedad Industrial
-
-
Steganalysis of OpenPuff through atomic concatenation of MP4 flags
-
FairCoop y el uso social de las criptodivisas
-
Modelado basado en agentes para simular el pasado. Cooperación social en Tierra del Fuego
-
From small sensors to big data: how the sensor web is changing our world
-
Desarrollo y evaluación de sistemas de inteligencia ambiental con UbikSim
-
Diabetes: Patrones ocultos en series temporales
-
Model-driven engineering: a first glance at a ¿new? way of conceiving software development
-
Ciencia Gestión e Ingeniería de Servicios - Service Science, Management and Engineering
-
Estudio de la robustez frente a SEUs de algoritmos auto-convergentes
-
Managing dynamic concurrent tasks on low-power heterogeneous platforms