Search results
Results from the WOW.Com Content Network
High performance GPU-accelerated ab initio molecular dynamics and TD/DFT software package for very large molecular or even nanoscale systems. Runs on NVIDIA GPUs and 64-bit Linux, has heavily optimized CUDA code. Proprietary, trial licenses available PetaChem LLC: TINKER: I Yes Yes Yes Yes I I Yes Yes Software tools for molecular design-Tinker ...
Windows, macOS, Unix related UPPAAL: Real-time Timed automata, C subset TCTL subset Yes Yes Yes Yes FUSC C++, Java: macOS, Windows, Linux ROMEO: Real-time Time Petri Nets, stopwatch parametric Petri nets TCTL subset Yes Yes Yes No Free C++, Tcl/Tk: macOS, Windows, Linux TLA+ Model Checker (TLC) Plain TLA+, PlusCal: TLA: Yes Yes Yes No Free Java
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980.
Software for analysis of 16S rRNA gene amplicon sequence data Linux, macOS, Windows: GPL: University of Michigan: Nextflow: A workflow management system used for building and running scalable and reproducible bioinformatics pipelines, especially in cloud and high-performance computing environments. Linux, macOS, Windows: Apache License 2.0 ...
A drug test (also often toxicology screen or tox screen) is a technical analysis of a biological specimen, for example urine, hair, blood, breath, sweat, or oral fluid/saliva—to determine the presence or absence of specified parent drugs or their metabolites.
Gun laws in Australia are predominantly within the jurisdiction of Australian states and territories, with the importation of guns regulated by the federal government.In the last two decades of the 20th century, following several high-profile killing sprees, the federal government coordinated more restrictive firearms legislation with all state governments.
The RNAiFold software provides two algorithms to solve the inverse folding problem: i) RNA-CPdesign explores the complete search space and ii) RNA-LNSdesign based on the large neighborhood search metaheuristic is suitable to design large structures. The software can also design interacting RNA molecules using RNAcofold of the ViennaRNA Package.
On a per capita scale, 10.3 litres of pure alcohol were consumed by each Australian in 2010. The average amongst OECD countries was 9.1 litres. Beer was the most preferred beverage, followed by wine, spirits and pre-mixed beverages. [12] Retail sales for alcohol including GST in the 2011/12 financial year totalled A$18,135 million. [13]