• GENSPECT

  • Referenced in 6 articles [sw24127]
  • specified percentage-error tolerance in a near minimal number of calculations. The algorithm employs ... where it is appropriate to reduce the resolution of a particular line without exceeding...
  • PULi

  • Referenced in 1 article [sw28623]
  • Enumerating justifications using resolution. If a conclusion follows from a set of axioms, then ... justification is a minimal subset of axioms for which the entailment holds. An entailment ... inferences in propositional Horn logic, and finding minimal models that correspond to justifications using ... procedure for enumeration of justifications that uses resolution with answer literals instead of SAT solvers...
  • SESR

  • Referenced in 1 article [sw41690]
  • proposed a novel single image super resolution method via recursive squeeze and excitation networks (SESR ... minimized the layers and parameters and enabled SESR to simultaneously train multi-scale super resolution...
  • CREAM

  • Referenced in 1 article [sw02324]
  • theoretical framework for semantic conflict detection and resolution methodology can be found in a paper ... among heterogeneous databases. We have tried to minimize the burden on the end users ... while trying to automate the heterogeneous conflict resolution process...
  • GASTS

  • Referenced in 5 articles [sw29624]
  • both time and accuracy, to modern high-resolution genomic data. Our main contribution is GASTS ... nodes of the tree so as to minimize the sum, taken over all tree edges ... large genomes and phylogenetic inference for high-resolution vertebrate genomes, as we demonstrate...
  • MUI

  • Referenced in 12 articles [sw18209]
  • library adopts a header-only form with minimal external dependency and hence can be easily ... Particle Hydrodynamics (SPH) simulations of different spatial resolutions. In the second example, we coupled...
  • MT2DInvMatlab

  • Referenced in 3 articles [sw37087]
  • inversion process and provide a high-resolution optimal earth model. It is also able ... FORTRAN code in the MATLAB environment with minimal modification. This program has been tested using ... closely and provides an improvement in both resolution and stability...
  • NeuralQAAD

  • Referenced in 1 article [sw36367]
  • Chamfer distance, performances poorly for high resolutions. To overcome this issue, we pair our architecture ... surrogate loss and allows to implicitly minimize the more expressive Earth Movers Distance (EMD) even ... points. As evaluating the EMD on high resolution point clouds is intractable, we propose...
  • GeneRAGE

  • Referenced in 5 articles [sw35909]
  • negative relationships with subsequent detection and resolution of multi-domain proteins. Results: A new algorithm ... presence of multi-domain proteins are minimized, allowing more precise clustering information to be obtained...
  • MyriMatch

  • Referenced in 3 articles [sw31817]
  • discrimination than either of these algorithms. When minimal peak filtering is employed, performance plummets ... well to tandem mass spectra from high-resolution mass analyzers. These findings may indicate limitations...
  • Propositional Resolution

  • Referenced in 1 article [sw28841]
  • given). Next, we show that the unrestricted Resolution rule is deductive- complete, in the sense ... propositional clauses (i.e., all entailment- minimal, non-valid, clausal consequences of the considered...
  • AUTO3DEM

  • Referenced in 1 article [sw09128]
  • images of vitrified icosahedral virus particles. With minimal user input and intervention, AUTO3DEM manages ... intelligently updates the input parameters as the resolution of the model is improved...
  • fREEDA

  • Referenced in 2 articles [sw07476]
  • physics modeling. It minimizes energy rather than minimizing current errors and so is much more ... support for transient, harmonic balance and multi resolution analysis. fREEDA’s large signal noise analysis...
  • SoftCuts

  • Referenced in 2 articles [sw21603]
  • great interest to image super-resolution (SR), which is a severely under-determined problem ... length of all level lines can be minimized effectively by integrating this new form...
  • GIZMO

  • Referenced in 3 articles [sw39401]
  • elements to move with the flow so resolution is automatically adaptive. We consider a large ... orbits. However, fixed meshes minimize ’grid noise.’ These differences are important for a range...
  • TARQUIN

  • Referenced in 1 article [sw40439]
  • automatic time domain analysis of high-resolution NMR spectra. The TARQUIN algorithm uses ... novel approach to the standard multidimensional minimization problem is introduced based on evaluating...
  • ConfocalGN

  • Referenced in 1 article [sw30680]
  • possible in terms of noise and resolution, which is challenging in the field of microscopy ... that of the sample image. With a minimal input from the user and a modular...
  • MixLog

  • Referenced in 1 article [sw01565]
  • coded directly in MixLog; both SLD resolution and bottom-up execution compute the fixpoint ... main aim is to devise a minimal generalization of Prolog that can also express bottom...
  • CaImAn

  • Referenced in 1 article [sw35877]
  • brain areas in-vivo with finer time resolution. The resulting data rates require reproducible analysis ... data collection. It does this while requiring minimal user intervention, with good scalability on computers...
  • BETAS

  • Referenced in 1 article [sw41171]
  • energy subject to appropriate constraints. A second minimization, with an additional constraint, is used ... radial direction results in greatly enhanced resolution. A fast iterative method was developed, with...