Deve ter Software Para INRIA

Um modelador geométrico algébrica, cujo objetivo é fornecer ferramentas de modelagem "algébrica" ​​para a manipulação e computação com curvas implícitas e paramétricas ou superfícies. Seu objetivo principal é o de incorporar SYNAPS capacidades algébricas...

CardioViz3D é um software livre, dedicado à visualização e tratamento de dados médicos dinâmicas. Uma grande variedade de formatos de imagem é suportada (DICOM, Analisar, VTK, NIfTI), bem como arquivos de malha (formato VTK). Seqüências dinâmicas imagem /...

LDPC / LDGM é um erro para a frente biblioteca codec correção bloco llarge. É significativamente mais rápido do que tradicionais codecs Reed-Solomon.Códigos tradicionais pequeno bloco Correção de erro de encaminhamento (FEC), como o código de Reed-Solomon...

É uma implementação da linguagem ML, baseada no dialeto Caml Luz estendido com um sistema completo de objetos com base na classe e um poderoso sistema de módulos no estilo do Standard ML.Objective Caml compreende dois compiladores. Uma gera bytecode que é...

Caml é uma linguagem de programação de uso geral, projetada com segurança programa e confiabilidade em mente. É muito expressivo, mas fácil de aprender e usar. Caml suporta estilos de programação funcional, imperativas e orientada a objetos.Ele foi...