• HarmonicSums

  • Referenced in 58 articles [sw10035]
  • well as between the the iterated integrals and connected to it the package can find ... nested sums at infinity and the iterated integrals at one. In addition the package provides...
  • NEURON

  • Referenced in 189 articles [sw03059]
  • support parallel network simulations. Each processor integrates the equations for its subnet over an interval ... presynaptic spike generation to postsynaptic spike delivery connection delay. The performance of three published network ... linear speedup on 2000 processors, with an integration time of 9.8 seconds and communication time...
  • JProver

  • Referenced in 13 articles [sw09978]
  • JProver: Integrating connection-based theorem proving into interactive proof assistants. JProver is a first-order ... generation of proof objects, and its integration into the Nuprl proof development system...
  • Racoon

  • Referenced in 16 articles [sw08867]
  • central schemes, both in connection with Runge–Kutta type integrators. Parallel execution is achieved through...
  • Isabelle/jEdit

  • Referenced in 32 articles [sw06432]
  • framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ... Scala [2]. The overall aim is to connect LCF-style provers like Isabelle...
  • leanCoP

  • Referenced in 31 articles [sw09756]
  • classical first-order logic, based on the connection (tableau) calculus and implemented in Prolog. leanCoP ... definitional translation into clausal form and integrates “Prolog technology” into a lean theorem prover. ileanCoP ... order logic and based on the clausal connection calculus for intuitionistic logic. leanCoP 2.0 extends...
  • INCLUSive

  • Referenced in 4 articles [sw17183]
  • services. The web pages are connected and integrated to reflect a methodology and facilitate complex...
  • Rserve

  • Referenced in 13 articles [sw10467]
  • supports remote connection, authentication and file transfer. Typical use is to integrate R backend...
  • WILMAR

  • Referenced in 3 articles [sw01020]
  • system stability, i.e. the wind integration aspects connected to the fast (below 10 minutes) fluctuations ... case studies especially selected for large-scale integration of renewable energy generation and with expected...
  • GraRep

  • Referenced in 21 articles [sw32342]
  • graph and, unlike existing work, integrates global structural information of the graph into the learning ... process. We also formally analyze the connections between our work and several previous research efforts...
  • Brainstorm

  • Referenced in 11 articles [sw20650]
  • cortical source estimation techniques and their integration with anatomical magnetic resonance imaging (MRI) data ... primary objective of the software is to connect MEG/EEG neuroscience investigators with both the best...
  • randoCoP

  • Referenced in 3 articles [sw15149]
  • first-order logic, which integrates randomized search techniques into the connection prover leanCoP...
  • PIDE

  • Referenced in 11 articles [sw06404]
  • framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ... Scala [2]. The overall aim is to connect LCF-style provers like Isabelle...
  • InterViewer

  • Referenced in 31 articles [sw00443]
  • disconnected graph consisting of many connected components with nodes of a wide range of degrees ... networks; and (3) it provides an integrated framework for querying protein interaction databases and directly...
  • SPINE

  • Referenced in 6 articles [sw29309]
  • signaling pathways within the cell that connect causal to affected genes on a network ... integrated network of protein–protein and protein-DNA interactions is constructed, and signaling pathways connecting...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • plotting library, etc, using control integration technology and a set of high level graphic toolkits ... tools to a running system, to modify connections between working tools, to extend...
  • BioPhysConnectoR

  • Referenced in 4 articles [sw35194]
  • package BioPhysConnectoR we provide a framework to connect the information theoretical domain of biomolecular sequences ... integrated several fragmented ideas into one single package ready to be used in connection with...
  • SimInf

  • Referenced in 1 article [sw14925]
  • over a temporal network of connected nodes. It integrates within-node infection dynamics as continuous...
  • MRSVP

  • Referenced in 12 articles [sw02317]
  • time services to mobile users in an Integrated Services Packet Network. Mobility of hosts ... possibly visit during the lifetime of the connection. The currently proposed reservation protocol ... reservation protocol, MRSVP, for supporting integrated services in a network with mobile hosts...
  • Biomine

  • Referenced in 2 articles [sw28409]
  • functions and associations of genes and proteins. Integration of data from several such databases into ... connections spanning multiple types of relationships and databases. RESULTS: Biomine is a system that integrates ... predict pairs of nodes that will be connected in the future, based on current data ... proximity measure computed on the integrated graph. We consider and experiment with several such measures...