Results 61 to 70 of about 28,897 (156)

Ecomedia: Key Issues

, 2015
Ecomedia: Key Issues is a comprehensive textbook introducing the burgeoning field of ecomedia studies to provide an overview of the interface between environmental issues and the media globally.
Cubitt, Sean, Monani, Salma, Rust, Stephen   +2 more
core  

PREvant (Preview Servant): Composing Microservices into Reviewable and Testable Applications [PDF]

, 2020
Schreiber, Marc
core   +1 more source

Deductive program verification for a language with a Rust-like typing discipline

, 2020
Deductive program verification seeks to eliminate bugs in software by translating programs annotated with specifications into logical formulas which are then solved using semi-automated tools. When verifying programs using a mutable heap, it is often required to show that pointers do not alias each other, ensuring there is only one way to modify ...
openaire   +1 more source

Automating and deploying fast light pollution mapping software using VIIRS DNB satellite data and the rust programming language

, 2023
A fast light pollution map generation software package has been developed, written entirely in Rust, to compute and deliver up-to-date light pollution maps as and when required. The project aims to be open source and avail- able to the public as a fast and accurate light pollution model.
openaire   +1 more source

zelll: a fast, framework-free, and flexible implementation of the cell lists algorithm for the Rust programming language. [PDF]

Bioinform Adv
Messow V, Höner Zu Siederdissen C, Habeck M.   +2 more
europepmc   +1 more source

Evaluating Memory Models for Graph‐Like Data Structures in the Rust Programming Language: Performance and Usabiliy

, 2020
Representing graphs in Rust is a problematic issue, as ownership forbids typical representations found in e.g. C++. A common approach is to use reference counting to represent graphs, but this can easily lead to memory leaks if cycles are present in the graph. As naïve reference counting is not sufficient, we must search for alternative representations.
openaire   +1 more source

polars-bio-fast, scalable, and out-of-core operations on large genomic interval datasets. [PDF]

Bioinformatics
Wiewiórka M, Khamutou P, Zbysiński M, Gambin T.   +3 more
europepmc   +1 more source

Alignoth: portable and interactive visualization of read alignments. [PDF]

Bioinformatics
Wiegand F, Mölder F, Köster J.
europepmc   +1 more source

Phylograd: fast column-specific calculation of substitution model gradients. [PDF]

BMC Bioinformatics
Lieser B, Belousov G, Söding J.
europepmc   +1 more source

Rust – The Programming Language for Every Industry

ECONOMY INFORMATICS JOURNAL, 2019
openaire   +1 more source