• Uppaal

  • Referenced in 599 articles [sw04702]
  • University in Denmark and the Department of Information Technology at Uppsala University in Sweden ... real-valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application areas include...
  • GrADS

  • Referenced in 29 articles [sw06711]
  • that the World Wide Web simplifed information sharing over the Internet. The GrADS project will...
  • FAMT

  • Referenced in 23 articles [sw11123]
  • Friguet et al. (2009). The common information shared by all the variables is modeled...
  • gmp

  • Referenced in 231 articles [sw00363]
  • license makes the library free to use, share, and improve, and allows you to pass ... part of the GNU project. For more information about the GNU project, please...
  • ggplot2

  • Referenced in 128 articles [sw04557]
  • both base and lattice graphics: conditioning and shared axes are handled automatically ... attributes. See the ggplot2 website for more information, documentation and examples...
  • LARCH

  • Referenced in 83 articles [sw02126]
  • languages, and the latter is the Larch Shared Language (LSL). Interface languages are used ... between program components. Each specification provides the information needed to use an interface. A critical...
  • caGrid

  • Referenced in 7 articles [sw20965]
  • researchers to find new ways to synthesize information from diverse data sources and to carry ... enable more efficient access to and sharing of distributed computational resources in cancer research ... develop a federation of interoperable research information systems. RESULTS: At the heart of the caBIG ... ability to manage and securely share information and analytic resources, and to spur...
  • Global Arrays

  • Referenced in 9 articles [sw07425]
  • local portion. The locality information for the shared data is available, and a direct access...
  • Bali-phy

  • Referenced in 6 articles [sw16614]
  • models during alignment and automatically utilizes information in shared insertion/deletions to help infer phylogenies. Availability...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • complex multithreaded systems. It aggressively infers checking information such as which locks protect which operations ... which code contexts are multithreaded, and which shared accesses are dangerous. It tracks ... uses novel strategies to infer checking information such as which locks protect which operations, which ... code contexts are multithreaded, and which shared accesses are dangerous. We applied it to FreeBSD...
  • ARock

  • Referenced in 11 articles [sw16800]
  • possibly out-of-date information on x. The agents share x through either global memory...
  • ProDiGe

  • Referenced in 2 articles [sw12407]
  • information about the genes, to share information about known disease genes across diseases...
  • DaProS

  • Referenced in 2 articles [sw12755]
  • order to not lose valuable time and information. Performing such evaluations requires scientists to rely ... field. Field knowledge is rarely shared or reused by other scientists mostly because ... well-defined methodology for sharing information and appropriate tool support. This work presents the Data...
  • SyncSpecCnn

  • Referenced in 2 articles [sw26163]
  • functional view is taken to represent localized information on graphs, so that annotations such ... spectral CNN method that enables weight sharing by parameterizing kernels in the spectral domain spanned ... single shape, and how to share information across related but different shapes that...
  • eCots

  • Referenced in 1 article [sw19241]
  • inter-industrial initiative for COTS-related information sharing. The goal of the eCots project ... open portal for collecting, sharing and improving accurate information on software COTS products and producers ... related to this kind of open information sharing and content collaborative production, inspired...
  • Uppaal2k

  • Referenced in 42 articles [sw01595]
  • University in Denmark and the Department of Information Technology at Uppsala University in Sweden ... real-valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application areas include...
  • Web-HIPRE

  • Referenced in 25 articles [sw04145]
  • times and the results can be easily shared and combined. There is a possibility ... refer to any other kind of information such as graphics, sound or video describing...
  • Sharemind

  • Referenced in 10 articles [sw22617]
  • common recipe for building the necessary information systems. In this paper, we present a provably ... privacy-preserving data processing that relies on share computing techniques. This is a standard ... large-scale share computing feasible in practice. The protocols of Sharemind are information-theoretically secure...
  • NetCDF

  • Referenced in 15 articles [sw04611]
  • sharing of scientific data. NetCDF data is: Self-Describing. A netCDF file includes information about...
  • DRIMSeq

  • Referenced in 1 article [sw25781]
  • differential gene expression without losing information about overall gene abundance and by joint modeling ... replicates. We approach this by sharing information and show that our method improves on existing...