새로운 소프트웨어 에 INRIA

는 완전한 클래스 기반 객체 시스템 및 표준 ML의 스타일에 강력한 모듈 시스템 확장의 Caml 라이트 방언에 기초 ML 언어의 구현이다.목표의 Caml 두 컴파일러를 포함한다. 하나는 C 프로그램에 의해 해석 된 바이트 코드를 생성한다.이 컴파일러는, 신속하게 실행 본질적으로 어떤 32 또는 64 비트 유닉스 플랫폼에 이식하고 적당한 메모리 요구와 소형 코드를 생성합니다.생성 프로그램의 성능은 bytecoded 구현을위한 아주 좋은 것입니다.이...

CardioViz3D 동적 의료 데이터의 시각화 및 처리 전용 무료 소프트웨어입니다. 이미지 포맷의 넓은 범위 (DICOM, 분석, VTK, NIFTI)뿐만 아니라 메쉬 파일 (VTK 포맷)을지지한다. 이미지 / 메쉬 동적 시퀀스를 가져 오거나 구성 할 수있다. 메시의 동적 스칼라 필드를 표시 할 수 있습니다. 관심의 포인트는 동적으로 올 수 있습니다. 대화 형 도구는 메쉬 정렬, 표면의 생성 및 다른 많은 것들에 대한 제공됩니다. 1.5 버전이...

의 Caml 염두에 프로그램 안전성과 신뢰성으로 설계된 범용 프로그래밍 언어이다. 그것은 매우 표현, 아직 배우고 사용하기 쉽습니다. CAML은 필수적 기능 및 객체 지향 프로그래밍 스타일을 지원합니다.그것은 개발하고 1985 년 이후, INRIA, 컴퓨터 과학에 대한 프랑스의 국가 연구 기관에 의해 배포되고있다.대물의 Caml 시스템의 Caml 언어의 기본 구현이다. 그것은 강력한 모듈 시스템과 본격적인 객체 지향 층을 갖추고 있습니다.그것은 높은...

LDPC / LDGM는 llarge 블록 순방향 오류 정정 코덱 라이브러리이다. 그것은 전통적인 리드 - 솔로몬 코덱보다 훨씬 빠르다.전통적인 소 블록 순방향 오류 정정 (FEC) 코드는 리드 솔로몬 삭제 (RSE) 코드와 같이, 그들은 (ALC) 신뢰성있는 멀티 캐스트 프로토콜을 코딩 비동기 계층화에 적용될 때 특히 효율 문제를 발생하는 것으로 알려져있다. 따라서 우리는 (LDPC) 코드 공지 저밀도 패리티 검사로부터 유도 된 큰 블록 FEC 코덱을...

목표 대수 기하학 모델러는, 암시 적 파라 메트릭 곡선 또는 표면 조작 및 계산을위한 "수학적 모델링"도구를 제공하는 것입니다. 그것의 주요 목표는 새로운 모델링 기법을 제공하기 위해 Synaps 대수 기능을 포함하는 것입니다. 주요 functionnalities은 다음과 같습니다 토폴로지 : 곡선의 인증 토폴로지를 계산하고 하나 암시 적 또는 파라 메트릭 표현과 표면 교차로 : 암시 적 또는 파라 메트릭 곡선 또는 표면의 교차점을 계산 자기...