• Lilac

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

  • Referenced in 22 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...
  • 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...
  • TVR-DART

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

  • Referenced in 1 article [sw10040]
  • perform Sign type analysis to reconstruct sufficient type information, and then use dataflow analysis...
  • 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 11 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...
  • IR Tools

  • Referenced in 22 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...
  • 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...
  • AutoNet

  • Referenced in 1 article [sw30811]
  • Alternative splicing regulatory network reconstruction from exon array data. Pre-mRNA alternative splicing (AS) allows ... individual genes to produce multiple types of mRNA and associated protein isoforms. While AS regulation ... production of the hundreds of thousands of types of proteins needed for the normal functioning ... play key roles in human disease, a reconstruction of human SRN could be used...
  • FRESH

  • Referenced in 2 articles [sw28344]
  • propose a resolution enhancement method for this type of functions. The method makes ... combines it with traditional linear reconstruction methods. We combine the two reconstructions by leveraging from...
  • Pixy

  • Referenced in 4 articles [sw25249]
  • applied to the detection of vulnerability types such as SQL injection, cross-site scripting ... unknown vulnerabilities in three Web applications, and reconstructed 36 known vulnerabilities in three other...
  • Mella

  • Referenced in 1 article [sw09688]
  • essential for supporting program development in dependently typed languages. We integrate the equational theorem prover ... library. In contrast to previous approaches, the reconstruction of Waldmeister proofs within Mella is quite...
  • BlenSor

  • Referenced in 1 article [sw21893]
  • software package for the simulation of various types of range scanners. The goal ... range data segmentation, obstacle tracking or surface reconstruction with a versatile and powerful software package...
  • CIRFE

  • Referenced in 1 article [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...