• PNOPT

  • Referenced in 2 articles [sw20469]
  • uses proximal Newton-type methods to minimize composite functions. For details, please refer ... /abs/1206.1623: Proximal Newton-type methods for minimizing composite functions. We generalize Newton-type 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 knowledge-based energy function...
  • SimuMCAT

  • Referenced in 1 article [sw13941]
  • Kullback-Leibler information; Minimized the error variance of the composite score with optimized weight...
  • cqrReg

  • Referenced in 3 articles [sw21332]
  • high-dimensional regression models for quantile and composite quantile regression, both with and without ... alternating direction method of multipliers (ADMM), majorize-minimization (MM), and coordinate descent (CD) algorithms ... lack of publicly-available 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 speciation-based fitting ... fitting geochemical activity models at varying system compositions, temperatures and pressures. GEMSFIT provides the most ... bound, linear, and nonlinear (in)equality-constrained 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 ... whole-system analysis with a more flexible compositional analysis. The compositional analysis is based...
  • OptiSens

  • Referenced in 1 article [sw36576]
  • entropy-based 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 maximum-flow minimal-cut 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...