Examinando por Materia "Computer software selection and evaluation"

Mostrando 1 - 3 de 3
  • No hay miniatura disponible
    Ítem
    Embedding a logical Theory of Constructions in agda
    (2009-01-01) Bove, A.; Dybjer, P.; Sicard-Ra?irez, A.; Bove, A.; Dybjer, P.; Sicard-Ra?irez, A.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    We propose a new way to reason about general recursive functional in the dependently typed programming language Agda,is based on Martin-Löf's intuitionistic type theory. We show to embed an external programming logic, Aczel's Logical Theory Constructions (LTC) inside Agda. To this end we postulate existence of a domain of untyped functional programs and the rules for these programs. Furthermore, we represent the notions in LTC (intuitionistic predicate logic with equality,totality predicates) as inductive notions in Agda. To illustrate approach we specify an LTC-style logic for PCF, and show to prove the termination and correctness of a general recursive for computing the greatest common divisor of two numbers. © 2009.
  • No hay miniatura disponible
    Ítem
    mantisGRID: a grid platform for DICOM medical images management in Colombia and Latin America.
    (SPRINGER, 2011-04-01) Garcia Ruiz M; García, A.; Ruiz Ibañez C; Gutierrez Mazo JM; Ramirez Giraldo JC; Pelaez Echavarria A; Valencia Diaz E; Pelaez Restrepo G; Montoya Munera EN; Garcia Loaiza B; Gomez Gonzalez S; Garcia Ruiz M; García, A.; Ruiz Ibañez C; Gutierrez Mazo JM; Ramirez Giraldo JC; Pelaez Echavarria A; Valencia Diaz E; Pelaez Restrepo G; Montoya Munera EN; Garcia Loaiza B; Gomez Gonzalez S; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    This paper presents the mantisGRID project, an interinstitutional initiative from Colombian medical and academic centers aiming to provide medical grid services for Colombia and Latin America. The mantisGRID is a GRID platform, based on open source grid infrastructure that provides the necessary services to access and exchange medical images and associated information following digital imaging and communications in medicine (DICOM) and health level 7 standards. The paper focuses first on the data abstraction architecture, which is achieved via Open Grid Services Architecture Data Access and Integration (OGSA-DAI) services and supported by the Globus Toolkit. The grid currently uses a 30-Mb bandwidth of the Colombian High Technology Academic Network, RENATA, connected to Internet 2. It also includes a discussion on the relational database created to handle the DICOM objects that were represented using Extensible Markup Language Schema documents, as well as other features implemented such as data security, user authentication, and patient confidentiality. Grid performance was tested using the three current operative nodes and the results demonstrated comparable query times between the mantisGRID (OGSA-DAI) and Distributed mySQL databases, especially for a large number of records.
  • No hay miniatura disponible
    Ítem
    mantisGRID: a grid platform for DICOM medical images management in Colombia and Latin America.
    (SPRINGER, 2011-04-01) Garcia Ruiz M; García, A.; Ruiz Ibañez C; Gutierrez Mazo JM; Ramirez Giraldo JC; Pelaez Echavarria A; Valencia Diaz E; Pelaez Restrepo G; Montoya Munera EN; Garcia Loaiza B; Gomez Gonzalez S; Universidad EAFIT. Departamento de Ingeniería Mecánica; Bioingeniería GIB (CES – EAFIT)
    This paper presents the mantisGRID project, an interinstitutional initiative from Colombian medical and academic centers aiming to provide medical grid services for Colombia and Latin America. The mantisGRID is a GRID platform, based on open source grid infrastructure that provides the necessary services to access and exchange medical images and associated information following digital imaging and communications in medicine (DICOM) and health level 7 standards. The paper focuses first on the data abstraction architecture, which is achieved via Open Grid Services Architecture Data Access and Integration (OGSA-DAI) services and supported by the Globus Toolkit. The grid currently uses a 30-Mb bandwidth of the Colombian High Technology Academic Network, RENATA, connected to Internet 2. It also includes a discussion on the relational database created to handle the DICOM objects that were represented using Extensible Markup Language Schema documents, as well as other features implemented such as data security, user authentication, and patient confidentiality. Grid performance was tested using the three current operative nodes and the results demonstrated comparable query times between the mantisGRID (OGSA-DAI) and Distributed mySQL databases, especially for a large number of records.