이 있어야 함 소프트웨어 에 INRIA

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

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

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

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

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