• MaLeCoP

  • Referenced in 21 articles [sw07197]
  • MaLeCoP Machine Learning Connection Prover. Probabilistic guidance based on learned knowledge is added...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • logic. The system is based on the connection method and is proved to be sound ... programming language LOP (under development). The inference machine of the system is implemented using Prolog...
  • FEMaLeCoP

  • Referenced in 12 articles [sw21179]
  • FEMaLeCoP: fairly efficient machine learning connection prover. FEMaLeCoP is a connection tableau theorem prover based...
  • shap

  • Referenced in 14 articles [sw30901]
  • explain the output of any machine learning model. SHAP connects game theory with local explanations...
  • Caravela

  • Referenced in 3 articles [sw14152]
  • processing units to execute multiple flow-models, connected by means of input-output streams, using ... routers to reach worker servers, i.e. machines hosting a video adapter with a single ... local machine or in remote machines connected through the network. The Caravela library provides functions...
  • Scotch

  • Referenced in 77 articles [sw07818]
  • machine. When both the program and the machine are modeled in terms of weighted unoriented ... weighted target graph, whether they are connected or not. We give brief descriptions...
  • LSTM

  • Referenced in 24 articles [sw03373]
  • network of neurons with feedback connections. It can learn many behaviors / sequence processing tasks / algorithms ... programs that are not learnable by traditional machine learning methods. This explains the rapidly growing...
  • Web-FEM

  • Referenced in 2 articles [sw25065]
  • Internet by using an Internet-connected machine only. The implementation utilizes modern computer graphics, parallel...
  • Python Web Graph Generator

  • Referenced in 26 articles [sw05789]
  • minutes on a desktop machine. It supports both directed and undirected graphs. It implements ... community networks. It can also output connected components in a graph...
  • GREMLIN

  • Referenced in 5 articles [sw03276]
  • heterogeneous SSH-connected WAN-cluster of UNIX-type hosts Five far distant machines located ... secure shell protocol is used for connection and communication purposes between the different hosts. Operating ... performances of all the 5 machines vary from LINUX-2.2.14/INTEL PPro-200MHz, over LINUX...
  • DLC

  • Referenced in 1 article [sw19394]
  • deployed on possibly distinct machines connected by a network. In order to handle multiway rendezvous...
  • JCSP

  • Referenced in 3 articles [sw25045]
  • fabric and control (such as machine addresses, socket connections, local multiplexing and de-multiplexing...
  • GraphVar

  • Referenced in 2 articles [sw26482]
  • user-friendly toolbox for machine learning on functional connectivity measures. We previously presented GraphVar ... functional connectivity measures as well as additional features. New Method: GraphVar 2.0 provides machine learning ... model construction, validation and exploration. Machine learning can be performed across any combination of network ... construction and graph-theoretical analyses of brain connectivity with a high-speed general linear model...
  • foaf

  • Referenced in 15 articles [sw04641]
  • FOAF) project is creating a Web of machine-readable pages describing people, the links between ... FOAF defines an open, decentralized technology for connecting social Web sites, and the people they...
  • PDE.Mart

  • Referenced in 2 articles [sw00692]
  • that runs on client machines to manage the server connection, geometric and model specifications, computational ... provide PDE solution services on the host machine; and a library, PDE-LIB, that contains...
  • CloudBLAST

  • Referenced in 2 articles [sw12013]
  • into flexibly deployable virtual machines, and network virtualization to connect resources behind firewalls/NATs while preserving ... Workspaces, and ViNe as the MapReduce, virtual machine and virtual network technologies, respectively, to deploy...
  • GNMT

  • Referenced in 13 articles [sw26579]
  • work, we present GNMT, Google’s Neural Machine Translation system, which attempts to address many ... decoder layers using attention and residual connections. To improve parallelism and therefore decrease training time...
  • FANMOD

  • Referenced in 14 articles [sw26134]
  • fast network motif detection. Motifs are small connected subnetworks that a network displays in significantly ... export results to a variety of machine- and human-readable file formats including comma-separated...
  • NuMesh

  • Referenced in 2 articles [sw01563]
  • locally-designed finite-state machine hardware, with 32 bit busses connecting each of its four...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • tools to a running system, to modify connections between working tools, to extend ... with computer algebra systems protocols and man-machine interfaces...