• Matita

  • Referenced in 69 articles [sw06140]
  • means pencil in italian) is an experimental, interactive theorem prover under development at the Computer...
  • DYNA3D

  • Referenced in 105 articles [sw17036]
  • modeling flexibility. A material model driver with interactive graphics display is incorporated into DYNA3D ... modeling of complex material response based on experimental data. Along with the DYNA3D Example Problem...
  • OCOTILLO

  • Referenced in 10 articles [sw09292]
  • method comes from the interaction between experimental design and computational modeling. Principles of “rational” drug...
  • DrugBank

  • Referenced in 8 articles [sw23876]
  • docking or screening, drug metabolism prediction, drug interaction prediction and general pharmaceutical education. The latest ... molecule and biotech drugs including 10% more ‘experimental’ drugs. Significantly, more protein target data ... including food–drug interactions, drug–drug interactions and experimental ADME data have been added...
  • miRecords

  • Referenced in 6 articles [sw29356]
  • integrated resource for animal miRNA–target interactions. The Validated Targets component of this resource hosts ... quality manually curated database of experimentally validated miRNA–target interactions with systematic documentation of experimental ... includes 1135 records of validated miRNA–target interactions between 301 miRNAs and 902 target genes ... useful resource not only for experimental miRNA researchers, but also for informatics scientists developing...
  • iHOP

  • Referenced in 5 articles [sw29340]
  • literature network can be superimposed upon experimental interaction data to facilitate the simultaneous analysis...
  • Quokka

  • Referenced in 5 articles [sw27666]
  • protein degradation and protein-protein interactions. Experimental studies have revealed that signalling defects caused...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • transformation, and visualization components designed to facilitate experimentation with model-checking Java source code. Bandera ... main components of Bandera and how to interact the tool set using its graphical user...
  • Negatome

  • Referenced in 3 articles [sw29347]
  • interactions. The database currently contains experimentally supported non-interacting protein pairs derived from two distinct ... used to evaluate newly derived experimental interactions. The Negatome is much less biased towards functionally...
  • BioNetGen

  • Referenced in 52 articles [sw09072]
  • enzymatic activities, potential post-translational modifications and interactions of the domains of signaling molecules ... provides functions that relate model variables to experimental readouts of interest. Models that...
  • miRTarBase

  • Referenced in 4 articles [sw29360]
  • miRTarBase 2016: updates to the experimentally validated miRNA-target interactions database. MicroRNAs (miRNAs) are small ... miRTarBase.mbc.nctu.edu.tw/) that provides information about experimentally validated miRNA-target interactions (MTIs). The latest update ... identify systematically Argonaute-miRNA-RNA interactions from 138 crosslinking and immunoprecipitation sequencing (CLIP-seq) data ... more comprehensively annotated, experimentally validated miRNA-target interactions databases and motivate additional miRNA research efforts...
  • KQML

  • Referenced in 32 articles [sw29718]
  • This paper describes the design of and experimentation with the Knowledge Query and Manipulation Language ... language for an application program to interact with an intelligent system ... agent called communication facilitators which coordinate the interactions of other agents The ideas which underlie ... KQML are currently being explored through experimental prototype systems which are being used to support...
  • GAN Lab

  • Referenced in 2 articles [sw27149]
  • Understanding Complex Deep Generative Models using Interactive Visual Experimentation. Recent success in deep learning ... about this new technology. While visual and interactive approaches have been successfully developed to help ... between submodels. GAN Lab introduces new interactive experimentation features for learning complex deep learning models ... overcoming a major practical challenge in deploying interactive tools for deep learning...
  • SOCR

  • Referenced in 12 articles [sw16634]
  • based framework for: interactive distribution modeling, virtual online probability experimentation, statistical data analysis, visualization ... completely platform independent, web-based, interactive, extensible and secure. Over the past 4 years...
  • KIV

  • Referenced in 51 articles [sw10060]
  • Karlsruhe Interactive Verifier (KIV). KIV is an interactive theorem prover with a user definable object ... other object logics have been defined for experimental pursoses. The core of KIV is implemented...
  • PAW

  • Referenced in 7 articles [sw32834]
  • Analysis Workstation): PAW is an interactive utility for visualizing experimental data on a computer graphics ... user will decide on an analysis procedure interactively before running a batch job. PAW combines...
  • NPInter

  • Referenced in 3 articles [sw29361]
  • upgraded database of noncoding RNA-associated interactions. Despite the fact that a large quantity ... database to version 3.0, which contains experimentally verified interactions between ncRNAs (excluding tRNAs and rRNAs ... interactions in 188 tissues (or cell lines) from 68 kinds of experimental technologies. NPInter v3.0 ... v3.0 defined a high-confidence set of interactions and predicted the functions of lncRNAs...
  • Klava

  • Referenced in 19 articles [sw01243]
  • basic interaction mechanism. In this paper we present the architecture of KLAVA, an experimental Java...
  • iCDI-PseFpt

  • Referenced in 15 articles [sw30067]
  • interacting with each other in a cellular network by means of experimental techniques. Although some ... /iCDI-PseFpt/}. Furthermore, for the convenience of most experimental scientists, a step-by-step guide ... used to study other drug-target interaction networks...
  • STITCH

  • Referenced in 6 articles [sw17006]
  • database of protein–chemical interactions that integrates many sources of experimental and manually curated evidence...