• Lilac

  • Referenced in 14 articles [sw08983]
  • algorithm. We give a type reconstruction algorithm for our language in the style of Milner...
  • PyFR

  • Referenced in 48 articles [sw15728]
  • solving advection-diffusion type problems on streaming architectures using the Flux Reconstruction approach of Huynh ... mixed unstructured grids containing various element types. It is also designed to target a range...
  • TVR-DART

  • Referenced in 23 articles [sw27583]
  • different gray value in the reconstruction. By exploiting two types of prior knowledge...
  • ScanView

  • Referenced in 6 articles [sw07700]
  • number of defenses to guard against 3D reconstruction attacks, such as monitoring and limiting request ... rendered images. We consider several possible types of reconstruction attacks on such a rendering server...
  • ETCH

  • Referenced in 3 articles [sw07636]
  • type checking capabilities of SPIN, using type reconstruction to recover missing channel type information, allowing...
  • MinX

  • Referenced in 2 articles [sw18523]
  • MinC: semantics-driven decompilation of recursive datatypes. Reconstructing the meaning of a program from ... there is much interest in inferring a type (a meaning) for the elements ... that provides strong guarantees for the reconstructed types. Key to our approach is the derivation ... high-level language alongside the reconstructed types. This witness has the same semantics...
  • MinC

  • Referenced in 2 articles [sw18524]
  • MinC: semantics-driven decompilation of recursive datatypes. Reconstructing the meaning of a program from ... there is much interest in inferring a type (a meaning) for the elements ... that provides strong guarantees for the reconstructed types. Key to our approach is the derivation ... high-level language alongside the reconstructed types. This witness has the same semantics...
  • EIOD

  • Referenced in 1 article [sw10040]
  • perform Sign type analysis to reconstruct sufficient type information, and then use dataflow analysis...
  • MWSegEval

  • Referenced in 1 article [sw39440]
  • more pronounced for microwave images, as the reconstructions formed with this modality typically have spurious ... interfaces that delineate tissue types may be blurred or reconstructed in an incorrect location. Moreover ... significant degree of inhomogeneity within one tissue type is common, as well as substantial differences ... values of the electrical properties reconstructed with variants of an algorithm. MWSegEval is an image...
  • IR Tools

  • Referenced in 51 articles [sw26721]
  • semi-convergence of the iterations, Tikhonov-type formulations where the regularization is explicitly formulated ... realistic large-scale problems found in image reconstruction and several other applications. Numerical examples illustrate...
  • CARET

  • Referenced in 8 articles [sw22554]
  • CARET (Computerized Anatomical Reconstruction and Editing Toolkit): Cortical Cartography and Caret Software. Caret software ... widely used for analyzing and visualizing many types of fMRI data, often in conjunction with...
  • ASPEX

  • Referenced in 1 article [sw33074]
  • data sets where both parents are typed, and makes no assumptions about missing information ... program is slower, uses allele frequencies to reconstruct missing information, and is tailored for data ... missing, but additional typed children may be used to reconstruct and phase the parents...
  • EdgeCS

  • Referenced in 12 articles [sw14134]
  • from intermediate image reconstructions even though these reconstructions may still have noise and artifacts ... spectral Fourier) samples. It applies to other types of measurements as well. Experimental results ... existing algorithms. It is able to accurately reconstruct a $512 imes 512$ MR image with...
  • MIN3P-HPC

  • Referenced in 1 article [sw39509]
  • support different cell types, spatial discretization methods and gradient reconstruction methods. MIN3P-HPC uses ... with third-party software using different cell types. Parallel efficiency of OpenMP, MPI and hybrid...
  • SpaRSA

  • Referenced in 3 articles [sw20467]
  • selection operator (LASSO), waveletbased deconvolution and reconstruction, and compressed sensing (CS) are a few well ... known areas in which problems of this type appear. One standard approach is to minimize...
  • GATC

  • Referenced in 1 article [sw29603]
  • existing reconstruction method, making it highly flexible to various input data types. The method ... able to improve gene tree reconstructions compared with current state-of-the-art algorithms. Conclusion...
  • CIRFE

  • Referenced in 3 articles [sw27640]
  • distributed algorithm, CIRFE of the consensus+innovations type, to estimate a high-dimensional parameter ... which each agent is interested in reconstructing only a few components of the parameter. This...
  • UniNovo

  • Referenced in 2 articles [sw34892]
  • with PepNovo+, PEAKS and pNovo using various types of spectra. The results show that ... also estimates the probability that each reported reconstruction is correct, using simple statistics that ... estimation is accurate for all tested types of spectra (including CID, HCD, ETD, CID/ETD...
  • TiQuant

  • Referenced in 1 article [sw34317]
  • software for tissue analysis, quantification and surface reconstruction. Motivation: TiQuant is a modular software tool ... types which have been experimentally verified. TiQuant implements a novel method for the reconstruction...
  • Vc

  • Referenced in 9 articles [sw21533]
  • instructions (auto-vectorization). However, the compiler must reconstruct an intrinsic property of the algorithm that ... library provides the missing link. Its types enable explicitly stating data-parallel operations on multiple...