
TSFC
 Referenced in 25 articles
[sw20272]
 form compiler takes a highlevel description of the weak form of partial differential equations ... good compiletime 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...

FrONT
 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, solidsolution, surfacecomplexation, and ionexchange 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 largescale complex PDEs on realistic problems would ... accessed via a highlevel problem description, using abstract concepts such as functions, operators...

diffstrata
 Referenced in 2 articles
[sw41553]
 explicit combinatorial description. However, even for lowdimensional strata, the complexity of the boundary requires...

FILMPAR
 Referenced in 3 articles
[sw10443]
 flow over a complex interconnected topographical feature and a description provided of how FILMPAR...

2DWFMM
 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...