Search Results for "php data abstraction"

TIGRE is an open-source toolbox for fast and accurate 3D tomographic reconstruction for any geometry. Its focus is on iterative algorithms for improved image quality that have all been optimized to run on GPUs (including multi-GPUs) for improved speed. It combines the higher-level abstraction of MATLAB or Python with the performance of CUDA at a lower level in order to make it both fast and easy to use. TIGRE is free to download and distribute: use it, modify it, add to it, and share it. Our...

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models...

The active use repository has migrated over to: https://github.com/darrenabbey/ymap The repository here was errantly created with some large binary files included. Attempts to extract the files from the history here have failed. A copy of the history was successfully scrubbed and then hosted at github. -------- Eukaryotic pathogens have complicated and dynamic genomes. To facilitate analysis of copy number variations (CNV), single nucleotide polymorphisms (SNPs), and loss of...

The Fish4knowledge project investigated: information abstraction and storage methods for analyzing undersea video data (from 10E+15 pixels to 10E+12 units of information), machine and human vocabularies for detecting & describing fish, flexible process architectures to process the data and scientific queries and effective specialised user query interfaces. A combination of computer vision, database storage, workflow and human computer interaction methods were used to achieve this. ...

primeHandle is a set of data management tools in support of the PrIMe Initiative (http://primekinetics.org). primeHandle includes graphical user interfaces for searching through data collections, editing and submitting data to the PrIMe Data Depository.