Como espaçonaves e carros autônomos descobrem sua localização real a partir de sensores ruidosos: A engenharia matemática do Filtro de Kalman
Tags
30 páginas
Computer Science
Como Múltiplas Threads Podem Modificar os Mesmos Dados Sem Usar Locks? A Ciência da Programação Lock-Free e o Problema ABA
Como o Shazam identifica qualquer música em 3 segundos num café barulhento? Impressão digital acústica, Mapa de Constelações e Separação Cega de Fontes (ICA)
Como várias partes podem calcular somas e rankings sem revelar um único bit: Computação Multipartidária Segura (MPC) e o Problema dos Milionários de Yao
Por que os computadores modernos resolvem em segundos problemas NP-completos que deveriam explodir exponencialmente: Solucionadores SAT, CDCL e transições de fase
Por que podemos provar matematicamente que um programa é 100% livre de bugs sem executá-lo nem uma única vez? A ciência da verificação formal
Por que sondas espaciais e códigos QR recuperam dados perfeitamente mesmo quando parcialmente destruídos: a ciência dos códigos corretores de erros e do limite de Shannon
Por que textos minúsculos permanecem nítidos e legíveis: A matemática da renderização de fontes, curvas de Bézier, VM de hinting e antialiasing subpixel
Decidindo a Autoridade pelo que Você Possui, Não por Quem Você É: Arquitetura de Segurança Baseada em Capacidades
É possível ocultar a própria existência de um segredo?: Esteganografia e a matemática da ocultação de informação
Por que 'rápido' não é suficiente: Sistemas Operacionais de Tempo Real (RTOS), WCET, escalonamento RMS vs. EDF e a inversão de prioridade da Mars Pathfinder
Por que consoles antigos podem ser recriados via software: Arquitetura de emuladores — Interpretadores, JIT Dynarec, Fastmem e precisão de ciclo
Por que tudo para quando todos esperam: Teoria do Deadlock, grafos de alocação de recursos, algoritmo do banqueiro e Livelock
Sem perder uma única letra, por que é possível diminuir o tamanho de um arquivo?: Princípios e limites da compressão sem perdas
A “Complexidade” Não Se Mede pelo Número de Caracteres: Complexidade de Kolmogorov e a Natureza do Acaso
Como criar «acaso» a partir de um procedimento fixo?: A ciência e a criptografia da imprevisibilidade
É possível recuperar o código-fonte de um executável?: ciência, algoritmos e limites da descompilação
Por que o código não é executado na ordem em que foi escrito?: Introdução aos modelos de memória de CPU e compiladores
Por que seus dados sobrevivem a uma queda de energia ao salvar: a engenharia da consistência contra falhas
Tecnologia de Otimização de Compiladores: O que é SSA (Atribuição Única Estática)
