• TSFC

  • Referenced in 25 articles [sw20272]
  • form compiler takes a high-level description of the weak form of partial differential equations ... good compile-time performance even for highly complex forms...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • combinations lack a language supporting an elegant description and retaining the original declarativity of Constraint ... from combinatorial optimization for which we specify complex optimization procedures with a few simple lines...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic timed systems. This paper presents a modelling ... exception handling - with means to describe complex systems in a compositional manner. In addition, MoDeST...
  • FRGC

  • Referenced in 46 articles [sw13805]
  • recordings. The second aspect is the complexity of the FRGC. Previous face recognition data sets ... computational experiments. The BEE will allow the description and distribution of experiments in a common...
  • SMPDB

  • Referenced in 2 articles [sw29378]
  • protein_complex quaternary structures. Each small molecule is hyperlinked to detailed descriptions contained ... enzyme complex is hyperlinked to UniProt. All SMPDB pathways are accompanied with detailed descriptions ... pathway diagrams. Gene, metabolite and protein_complex concentration data can also be visualized through SMPDB ... SMPDB’s images, image maps, descriptions and tables are downloadable...
  • PIROL

  • Referenced in 3 articles [sw02981]
  • engineering environment PIROL Software engineering environments are complex systems with special requirements regarding modularity ... development of the environment PIROL. The description is structured as a sequence of the following ... managing complexity. Characteristics of concerns and their interactions are elaborated. The description of PIROL ... suitable means for managing the complexity of systems and for designing these systems for evolution...
  • MOLGEN

  • Referenced in 26 articles [sw00586]
  • detailed description of the underlying mathematical concepts and many illustrating examples the paper is well ... with given properties of considerable size and complexity, as the numerical results presented...
  • Fr-ONT

  • Referenced in 2 articles [sw28410]
  • patterns of the form of (complex) concepts expressed in description logic. We devise an algorithm...
  • MathTools

  • Referenced in 3 articles [sw26267]
  • convenient MathML handling. Mathematical formulae carry complex and essential semantic information in a variety ... which use the full descriptiveness of MathML. MathML’s high complexity results in a steep...
  • PHREEQC

  • Referenced in 30 articles [sw07853]
  • Description of Input and Examples for PHREEQC Version 3—A Computer Program for Speciation, Batch ... include aqueous, mineral, gas, solid-solution, surface-complexation, and ion-exchange equilibria, and specified mole...
  • MUCM

  • Referenced in 3 articles [sw13257]
  • estimating uncertainty in complex models using emulators. Emulators are statistical descriptions of our beliefs about ... emulators can also be used to calibrate complex computer simulators and how they...
  • Sundance

  • Referenced in 19 articles [sw10599]
  • development of parallel codes for large-scale complex PDEs on realistic problems would ... accessed via a high-level problem description, using abstract concepts such as functions, operators...
  • diffstrata

  • Referenced in 2 articles [sw41553]
  • explicit combinatorial description. However, even for low-dimensional strata, the complexity of the boundary requires...
  • FILMPAR

  • Referenced in 3 articles [sw10443]
  • flow over a complex inter-connected topographical feature and a description provided of how FILMPAR...
  • 2D-WFMM

  • Referenced in 6 articles [sw10424]
  • fast manner for a wide range of complex wave number $k$, which was not easy ... diagonalized conversion operator. This paper includes the description of theoretical backgrounds, the FMM algorithm, software...
  • DINOSOARS

  • Referenced in 7 articles [sw24972]
  • reacting flows. Since applications of growing complexity are considered by DNS, a direct boundary immersed ... been implemented, allowing a description of arbitrary geometries on a fixed, but possibly refined, Cartesian...
  • momepy

  • Referenced in 1 article [sw31602]
  • tools for the development of complex frameworks for a description of urban structures. momepy stands...
  • RADI

  • Referenced in 16 articles [sw40963]
  • algorithm, such as reducing the use of complex arithmetic and shift selection strategies. We show ... same parameters: they are algorithmically different descriptions of the same approximation sequence to the Riccati...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • introduced in order to ease modeling of complex conditions and constraints. Normalization means replacing such ... sets of normal rules. In this system description, we present lp2normal, which is a state...
  • MDL4BMF

  • Referenced in 7 articles [sw28420]
  • show, is highly accurate. We formulate the description length function for BMF in general—making ... best Boolean matrix factorization, analyze the complexity of the problem, and perform an extensive experimental...