
REDUCE
 Referenced in 694 articles
[sw00789]
 wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices ... Dirac matrix calculations of interest to high energy physicists...

ROOT
 Referenced in 31 articles
[sw06817]
 complexity control and uncertainty estimation. An example of such application in High Energy Physics...

Bocop
 Referenced in 18 articles
[sw11823]
 control (optimization of dynamical systems governed by differential equations) has numerous applications in transportation, energy ... Saclay initiative for an open source optimal control toolbox, and is supported by the team...

QUCON
 Referenced in 5 articles
[sw09676]
 provide fast and accurate controls for highenergy state transitions...

EBPCC
 Referenced in 1 article
[sw20118]
 EBPCC: energy balance parameterscontrolled covering algorithm for wireless sensor networks. An energy balance parameters ... controlled covering algorithm for wireless sensor networks is proposed to improve the insufficiencies that network ... well as the rapid consumption of network energy. A network coverage model is constructed...

eHIP
 Referenced in 4 articles
[sw01490]
 improve energy efficiency. In AIP, two distinct authentication mechanisms are introduced to verify control messages ... relative importance of information contained in control messages and sensed data. However, because the security ... balance the tradeoff between network security and energy efficiency. In order to evaluate the performance...

Tokamak
 Referenced in 2 articles
[sw06565]
 implementing the idea of energy production on the basis of controlled thermonuclear fusion. The library...

EST_MINRES
 Referenced in 1 article
[sw20180]
 incorporation of error control in the natural “energy” norm in combination with an a posteriori...

skyrme_rpa
 Referenced in 1 article
[sw10709]
 enforced, and it is numerically controlled by comparison with energyweighted sum rules. The main...

Freightmiser
 Referenced in 1 article
[sw24444]
 Freightmiser: an energyefficient application of the train control problem. Fuel costs and CO2 emissions ... stay on time. Freightmiser uses optimal control theory to determine speed profiles that minimise fuel ... will assist the driver to follow an energyefficient speed profile and stay on time...

Robust Modal Control
 Referenced in 1 article
[sw21999]
 Modal Control covers most classical multivariable modal control design techniques that were shown ... tools include: minimum energy eigenvector selection, low order observerbased control design, conversion to observer...

H2ONET
 Referenced in 1 article
[sw07560]
 dynamic water quality modeling, energy management, realtime simulation and control, fire flow analysis...

Eel
 Referenced in 1 article
[sw15214]
 automatically trade energy costs for space costs, and introduces many powerful control logic operators including ... interpreter to simulate and annotate incurred energy costs of a program...

HyWin
 Referenced in 1 article
[sw21566]
 energy intersubsystem network to provide easy access to memory controllers, lower level caches across ... reduces latency by 50 percent, while reducing energy consumption by 64.5 percent and area...

Octopus
 Referenced in 1 article
[sw21851]
 manually controlled. Octopus displays some unique features such as dualenergy tomography for elementsensitive...

PAROC
 Referenced in 3 articles
[sw21878]
 silico’ validation step for the derived optimisation, control and/or scheduling strategies to be analysed within ... engineering applications; a combined heat and power energy system, a distillation column and a periodic...

TRHD
 Referenced in 3 articles
[sw16786]
 compatible unstructured Lagrangian method based on a control volume differencing (CVD) scheme. A secondorder ... hydrodynamics equations. For the radiation energy transport, frequency averaged gray model is used in which...

EnerJ
 Referenced in 1 article
[sw22895]
 power operations, and even applies more energyefficient algorithms provided by the programmer. In addition ... approximate component. This allows a programmer to control explicitly how information flows from approximate data ... need for dynamic checks, further improving energy savings. As a proof of concept, we develop...

Leafprocessor
 Referenced in 1 article
[sw20766]
 leaf phenotyping tool using contour bending energy and shape cluster analysis. Significant progress has been ... identification of the genetic factors controlling leaf shape. However, no integrated solution for the quantification ... particular, we explore the use of bending energy as a tool for the analysis...

Ev8
 Referenced in 1 article
[sw17652]
 choice to study the variation of the energy of a nucleus from its ground state ... elongated or triaxial deformations with a wellcontrolled accuracy...