• REDUCE

  • Referenced in 739 articles [sw00789]
  • wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices ... output of expressions in a variety of formats; facilities for generating optimized numerical programs from...
  • ESC/Java

  • Referenced in 133 articles [sw07217]
  • code and its formal annotations. Users can control the amount and kinds of checking that ... performs by annotating their programs with specially formatted comments called pragmas...
  • MPT

  • Referenced in 212 articles [sw04732]
  • design, analysis and deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency ... compiled in a user friendly and accessible format: starting from different performance objectives (linear, quadratic ... create custom objective functions. Resulting optimal control laws can either be embedded into your applications...
  • Bigtable

  • Referenced in 26 articles [sw27060]
  • which gives clients dynamic control over data layout and format, and we describe the design...
  • Cassandra

  • Referenced in 25 articles [sw10949]
  • model that supports dynamic control over data layout and format. Cassandra system was designed...
  • Duali

  • Referenced in 26 articles [sw01245]
  • both passive and active learning stochastic control models. Models developed in Duali and solved first ... proper format for solution as either passive or active learning stochastic control models...
  • knitr

  • Referenced in 49 articles [sw11224]
  • makes it possible for the user to control almost everything in the R code input ... output. Hooks can be used either to format the output or to run R code...
  • SDPLIB

  • Referenced in 60 articles [sw00838]
  • variety of applications, including truss topology design, control systems engineering, and relaxations of combinatorial optimization ... problems encoded in a standard format. It is hoped that SDPLIB will stimulate the development...
  • Petrify

  • Referenced in 26 articles [sw09784]
  • Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve the Complete ... draw Signal Transition Graphs in several graphic formats...
  • Transcriber

  • Referenced in 4 articles [sw00975]
  • requirements arose to support additional data formats, video control, and a better management of conversational ... tasks and support of different data formats will become easier...
  • Eigenstrat

  • Referenced in 51 articles [sw33845]
  • explicitly model ancestry differences between cases and controls along continuous axes of variation; the resulting ... plotting script and supports multiple file formats and quantitative phenotypes...
  • PostgreSQL

  • Referenced in 69 articles [sw15935]
  • sophisticated features such as Multi-Version Concurrency Control (MVCC), point in time recovery, tablespaces, asynchronous ... locale-aware for sorting, case-sensitivity, and formatting. It is highly scalable both...
  • STEPS

  • Referenced in 18 articles [sw17866]
  • format that did not cleanly separate these phases, limiting modelers in how they could control...
  • IntAct

  • Referenced in 29 articles [sw21665]
  • access to retrieve interaction networks in XML format. IntAct currently contains approximately 2200 binary ... Swiss-Prot team, making intensive use of controlled vocabularies to ensure data consistency. All IntAct...
  • VFloat

  • Referenced in 1 article [sw33310]
  • three types of hardware modules for format control, arithmetic operations, and conversions between fixed-point ... floating-point formats. The format conversions allow for hybrid fixed- and floating-point operations ... designer control over a large number of design possibilities including format as well as number...
  • BioModels

  • Referenced in 30 articles [sw13610]
  • components of the models with terms from controlled vocabularies and links to other relevant data ... currently be retrieved in the SBML format, and import/export facilities are being developed to extend...
  • GENTRAN

  • Referenced in 19 articles [sw04299]
  • sets of algorithmic specifications and symbolic expressions. Formatted FORTRAN, RATFOR or C code ... series of interactive commands or under the control of a template processing routine. Large expressions...
  • SG

  • Referenced in 33 articles [sw20599]
  • mimics most of the basic features and controls of Geomview for displaying polygonal 2-manifolds ... uses one of Geomview’s input file formats (the ”OFF” format). Although...
  • biblatex

  • Referenced in 5 articles [sw33681]
  • facilities provided by LATEX. Formatting of the bibliography is entirely controlled by LATEX macros...
  • DiskSim

  • Referenced in 13 articles [sw11963]
  • components of interest, including device drivers, buses, controllers, adapters, and disk drives. DiskSim also includes ... number of externally-provided trace formats and internally-generated synthetic workloads, and includes hooks...