
PNOPT
 Referenced in 2 articles
[sw20469]
 uses proximal Newtontype methods to minimize composite functions. For details, please refer ... /abs/1206.1623: Proximal Newtontype methods for minimizing composite functions. We generalize Newtontype methods...

LSMM
 Referenced in 2 articles
[sw07010]
 methods are based on the minimization of a composite criterion $F(x)= S(x)+lambda...

JAsCo
 Referenced in 11 articles
[sw01974]
 highly reusable aspects and its strong aspectual composition mechanism for managing combinations of aspects ... integration and removal of aspects with a minimal performance overhead. The JAsCo language...

UniCon3D
 Referenced in 0 articles
[sw34253]
 assembly of foldon units that minimizes a composite physics and knowledgebased energy function...

SimuMCAT
 Referenced in 1 article
[sw13941]
 KullbackLeibler information; Minimized the error variance of the composite score with optimized weight...

cqrReg
 Referenced in 3 articles
[sw21332]
 highdimensional regression models for quantile and composite quantile regression, both with and without ... alternating direction method of multipliers (ADMM), majorizeminimization (MM), and coordinate descent (CD) algorithms ... lack of publiclyavailable methods for (composite) quantile regression, both with and without regularization...

GEMS3K
 Referenced in 6 articles
[sw19058]
 transport part for each control volume whose composition, temperature, or pressure has changed. Modeling ... solid solutions, and melts). Direct Gibbs energy minimization (GEM) methods have numerous advantages...

ProMoVer
 Referenced in 4 articles
[sw06738]
 previously developed tool set for compositional verification of control flow safety properties, and provides appropriate ... mechanism for proof reuse that detects and minimizes the verification tasks resulting from changes...

GNUC
 Referenced in 10 articles
[sw12669]
 particular, like UC, we offer a universal composition theorem, as well as a theorem ... carry over to GNUC with minimal changes. We exemplify this by giving explicit formulations...

ope.math
 Referenced in 4 articles
[sw09271]
 compute operator product expansions (OPEs) of composite operators (currents) in terms of free fields ... dimensional gravity coupled to $cleq 1$ minimal models...

CLEVR dataset
 Referenced in 6 articles
[sw35085]
 CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning. When building artificial intelligence ... range of visual reasoning abilities. It contains minimal biases and has detailed annotations describing...

Attribute2Image
 Referenced in 5 articles
[sw24589]
 attributes. We model the image as a composite of foreground and background and develop ... latent representations. We use a general energy minimization algorithm for posterior inference of latent variables...

LightDP
 Referenced in 2 articles
[sw22665]
 enough to verify sophisticated algorithms where the composition theorem falls short. In addition, the inference ... even searches for the proof with minimal privacy cost when multiple proofs exist. We show...

GEMSFIT
 Referenced in 1 article
[sw25636]
 solver which uses the direct Gibbs energy minimization (GEM) approach. This enables speciationbased fitting ... fitting geochemical activity models at varying system compositions, temperatures and pressures. GEMSFIT provides the most ... bound, linear, and nonlinear (in)equalityconstrained minimization of weighted squared residuals of highly nonlinear...

NetSketch
 Referenced in 2 articles
[sw20006]
 Safe compositional network sketches: formal framework. NetSketch is a tool for the specification of constrained ... designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies ... wholesystem analysis with a more flexible compositional analysis. The compositional analysis is based...

OptiSens
 Referenced in 1 article
[sw36576]
 entropybased objective function, which aims at minimizing the uncertainty while maximizing the expected accuracy ... types of different materials, namely isotropic and composite (anisotropic) materials. The effectiveness and efficiency...

ChemSage
 Referenced in 2 articles
[sw19061]
 ChemSage, based upon the SOLGASMIX Gibbs energy minimizer, is presented together with several examples which ... respect to temperature, pressure (or volume), and composition. One of these quantities may also...

MFMC_Countable
 Referenced in 1 article
[sw38014]
 formalises a proof of the maximumflow minimalcut theorem for networks with countably many ... concise proof of its distributivity over relation composition...

CodonO
 Referenced in 2 articles
[sw17252]
 protein expression level, genetic coding error minimization, mRNA stability, codon context, tRNA richness, CpG suppression ... with gene length, gene function, and GC composition. In addition, we explored the correlation between...

MicroFract
 Referenced in 1 article
[sw30430]
 Brittle failure is prevalent in ceramics, fiber composites and metals where the microstructural cracks propagate ... resistance is formulated as a process of minimizing a discretized cost function based...