• OACC

  • Referenced in 2 articles [sw10996]
  • The Online Algorithmic Complexity Calculator. The Online Algorithmic Complexity Calculator (OACC) is an on-going long-term project of the Algorithmic Nature Group to develop an online ...
  • OAHM

  • Referenced in 3 articles [sw01076]
  • OAHM: A Fortran subroutine for solving a class of unsymmetric linear systems of equations. The discretization, by means of the usual 5-point difference formulae, of ...
  • OAIHarvester

  • Referenced in 1 article [sw24838]
  • R package OAIHarvester: Harvest Metadata Using OAI-PMH Version 2.0. Harvest metadata using the Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH) version 2.0 (for more ...
  • OAR Lib

  • Referenced in 1 article [sw25222]
  • OAR Lib: An Open Source Arc Routing Library. We provide a flexible graph architecture, and an implementation of solvers to some of the most ubiqui- ...
  • Oases

  • Referenced in 2 articles [sw17027]
  • Oases: robust de novo RNA-seq assembly across the dynamic range of expression levels. Motivation: High-throughput sequencing has made the analysis of new model organisms more ...
  • oasis

  • Referenced in 1 article [sw25761]
  • R package oasis: Multiple Sclerosis Lesion Segmentation using Magnetic Resonance Imaging (MRI). Trains and makes predictions from the OASIS method, described in detail in the ...
  • Oasis

  • Referenced in 3 articles [sw16797]
  • Oasis: a high-level/high-performance open source Navier-Stokes solver. Oasis is a high-level/high-performance finite element Navier-Stokes solver written from scratch in Python using building blocks from the ...
  • OASIS

  • Referenced in 21 articles [sw00644]
  • ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO ...
  • OASIS3

  • Referenced in 3 articles [sw20201]
  • The OASIS3 coupler: a European climate modelling community software. This paper presents the OASIS3 coupling software used in five of the seven European Earth System ...
  • Oat

  • Referenced in 2 articles [sw05755]
  • Optimization Algorithm Toolkit is a workbench and toolkit for developing, evaluating, and playing with classical and state-of-the-art optimization algorithms on standard benchmark problem domains. It ...
  • Oberon

  • Referenced in 5 articles [sw01222]
  • Oberon is a general-purpose programming language created in 1986 by Niklaus Wirth and the latest member of the Wirthian family of ALGOL-like languages (Euler, Algol-W, ...
  • OBJ3

  • Referenced in 123 articles [sw05370]
  • OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software ...
  • Object Bundle Package

  • Referenced in 1 article [sw21693]
  • Object bundle package–an OOP version of a proximal bundle algorithm for linearly constrained nondifferentiable convex optimization.
  • ObjectCheck

  • Referenced in 2 articles [sw00645]
  • Specifying software system designs with executable object-oriented modeling languages such as XUML, an executable dialect of UML, opens the possibility of verifying these system designs ...
  • ObjectCurry

  • Referenced in 3 articles [sw01593]
  • ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry Curry combines the concepts of functional, logic and concurrent programming languages. Concurrent programming with ports ...
  • ObjectMath

  • Referenced in 3 articles [sw12685]
  • Object oriented mathematical modelling and compilation to parallel code. The current state of the art in programming for scientific computing is still rather low-level. The ...
  • objectSignals

  • Referenced in 1 article [sw14581]
  • objectSignals: objectSignals. A mutable Signal object can report changes to its state, clients could register functions so that they are called whenever the signal is ...
  • Objlog+

  • Referenced in 2 articles [sw06919]
  • Easy definition of new facets in the frame-based language Objlog+ This article aims at presenting a method that allows to extend frame-based languages at the ...
  • OBLIC

  • Referenced in 1 article [sw02262]
  • OBLIC: classification system using evolutionary algorithm. We present a new classification system based on Evolutionary Algorithm (EA), OBLIC. This tool is an OBLIque Classification system ...
  • Oblio

  • Referenced in 3 articles [sw13148]
  • Oblio: A Sparse Direct Solver Library for Serial and Parallel Computations. We present Oblio, a sparse direct solver library running in both serial and parallel ...