¿Cómo identifica Shazam cualquier canción en 3 segundos en una cafetería ruidosa? Huella acústica, mapas de constelaciones y separación ciega de fuentes (ICA)
Tags
30 páginas
Computer Science
¿Cómo pueden múltiples hilos modificar los mismos datos sin usar bloqueos? La ciencia de la programación Lock-Free y el problema ABA
¿Por qué podemos demostrar matemáticamente que un programa no tiene ningún bug sin ejecutarlo ni una sola vez? La ciencia de la verificación formal
Cómo calcular sumas y clasificaciones entre varios sin revelar ni un solo bit: Computación Multiparte Segura (MPC) y el problema de los millonarios de Yao
Cómo las naves espaciales y los coches autónomos calculan su ubicación real a partir de sensores ruidosos: La ingeniería matemática del filtro de Kalman
Por qué el texto diminuto se mantiene nítido y legible: Matemáticas del renderizado de fuentes, curvas de Bézier, VM de hinting y antialiasing subpíxel
Por qué las computadoras modernas resuelven en segundos problemas NP-completos que deberían explotar exponencialmente: Solucionadores SAT, CDCL y transiciones de fase
Por qué las sondas espaciales y los códigos QR recuperan datos perfectamente incluso parcialmente destruidos: la ciencia de los códigos correctores de errores y el límite de Shannon
¿Se puede ocultar la existencia misma de un secreto?: Esteganografía y las matemáticas de la ocultación de información
Decidir la autoridad por lo que posees, no por quién eres: Arquitectura de seguridad basada en capacidades
Por qué «rápido» no es suficiente: Sistemas operativos en tiempo real (RTOS), WCET, planificación RMS vs. EDF y la inversión de prioridad del Mars Pathfinder
Por qué las consolas antiguas pueden recrearse por software: Arquitectura de emuladores — Intérpretes, JIT Dynarec, Fastmem y precisión de ciclo
Por qué todo se detiene cuando todos esperan: Teoría del interbloqueo (Deadlock), grafos de asignación, algoritmo del banquero y Livelock
Sin perder ni una sola letra, ¿por qué se puede reducir el tamaño de un archivo?: Principios y límites de la compresión sin pérdida
¿Cómo crear «azar» a partir de un procedimiento fijo?: La ciencia y criptografía de la imprevisibilidad
¿Por qué el código no se ejecuta en el orden en que lo escribiste?: Introducción a los modelos de memoria de CPU y compiladores
¿Se puede recuperar el código fuente a partir de un ejecutable?: ciencia, algoritmos y límites de la descompilación
La «complejidad» no se mide por el número de letras: complejidad de Kolmogórov y la naturaleza del azar
Por qué tus datos sobreviven a un corte de energía al guardar: la ingeniería de la consistencia ante fallos
Tecnología de optimización de compiladores: Qué es SSA (Asignación Única Estática)
