Blar i Department of Informatics på emneord "VDP::Matematikk og naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Systemutvikling og -arbeid: 426"
Viser treff 1-4 av 4
-
Axiom-Based Transformations: Optimisation and Testing
(Peer reviewed; Journal article, 2009-10-10)Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ... -
Hybrid visibility compositing and masking for illustrative rendering
(Peer reviewed; Journal article, 2010-08)In this paper, we introduce a novel framework for the compositing of interactively rendered 3D layers tailored to the needs of scientific illustration. Currently, traditional scientific illustrations are produced in a ... -
Tools and data services registry: a community effort to document bioinformatics resources
(Peer reviewed; Journal article, 2015-11-03)Life sciences are yielding huge data sets that underpin scientific discoveries fundamental to improvement in human health, agriculture and the environment. In support of these discoveries, a plethora of databases and tools ... -
Using registries to integrate bioinformatics tools and services into workbench environments
(Peer reviewed; Journal article, 2015)The diversity and complexity of bioinformatics resources presents significant challenges to their localisation, deployment and use, creating a need for reliable systems that address these issues. Meanwhile, users demand ...