• VarScan

  • Referenced in 8 articles [sw27471]
  • tumor and normal undergo capture and sequencing with identical protocols, this read depth comparison approach...
  • Scapy

  • Referenced in 4 articles [sw13703]
  • wide number of protocols, send them on the wire, capture them, match requests and replies...
  • FStitch

  • Referenced in 1 article [sw18729]
  • relatively new protocol that captures nascent transcripts from actively engaged polymerase, providing a direct read...
  • VirusMentha

  • Referenced in 1 article [sw29352]
  • interaction resource build on the detailed curation protocols of the IMEx consortium ... automatically updated every week by capturing, via the PSICQUIC protocol, interactions curated by five different...
  • BotMiner

  • Referenced in 5 articles [sw21748]
  • protocol and structure, and requires no a priori knowledge of botnets (such as captured...
  • methylKit

  • Referenced in 5 articles [sw23479]
  • RRBS and its variants, but also target-capture methods and whole genome bisulfite sequencing ... base-pair resolution 5hmC data from experimental protocols such as oxBS...
  • Rast

  • Referenced in 1 article [sw41190]
  • adhere to the protocols. However, simple session types cannot capture properties beyond the basic type...
  • SeQUeNCe

  • Referenced in 1 article [sw40934]
  • five modules: Hardware models, Entanglement Management protocols, Resource Management, Network Management, and Application. This framework ... prototypes that capture the breadth of current and future hardware technologies and protocols. We implement...
  • miTLS

  • Referenced in 3 articles [sw27823]
  • verified reference implementation of the TLS protocol. Our code fully supports its wire formats, ciphersuites ... with a new typed interface that captures its security properties, and we gradually replace concrete ... with ideal functionalities. We finally typecheck the protocol state machine, and thus obtain precise security...
  • TM4

  • Referenced in 12 articles [sw26846]
  • scanners as well as improved laboratory protocols (11) allow for assays of tremendous complexity ... that allow users in the laboratory to capture, manage, and analyze effectively data from...
  • CIDEr

  • Referenced in 5 articles [sw26599]
  • sentences describing each image. Our simple metric captures human judgment of consensus better than existing ... image description approaches using this new protocol and provide a benchmark for future comparisons...
  • Fugue

  • Referenced in 2 articles [sw13788]
  • Fugue protocol checker: Fugue is a defect detection tool for managed code that checks metadata ... problems with method call ordering. Fugue captures as custom attributes many of the rules...
  • RESCOT

  • Referenced in 1 article [sw40497]
  • were applied reveal that many rNMPs were captured in the expected genomic regions. Since different ... selection of the DNA fragments in the protocol, we discuss the possible usage of RESCOT ... fragmentation step of many rNMP capture techniques to maximize rNMP capture rate and thus enable...
  • BioSig

  • Referenced in 2 articles [sw35770]
  • integrated view of experimental and informatic protocols. The proposed system, named BioSig, provides the foundation ... data model has been developed to capture experimental variables and map them to image collections...
  • HiFiLES

  • Referenced in 1 article [sw19897]
  • High-order numerical methods for flow simulations capture complex phenomena like vortices and separation regions ... code uses the MPI protocol to run on multiple processors, and CUDA to harness...
  • Skeblle

  • Referenced in 1 article [sw13646]
  • capable of creating diagrams that better capture the domain they represent. Diagrams can change ... software deployment and architecture diagrams, explain distributed protocols, and visualize chemical reactions. We show that...
  • AntBot

  • Referenced in 3 articles [sw21755]
  • uses highly resilient P2P (peer-to-peer) protocols to spread their C&C (Command ... renders it possible that individual bots, when captured, reveal only limited information. We mathematically analyze...
  • UniNovo

  • Referenced in 2 articles [sw34892]
  • Motivation: Mass spectrometry (MS) instruments and experimental protocols are rapidly advancing, but de novo peptide ... UniNovo uses an improved scoring function that captures the dependences between different ion types, where...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...