• INTOPT_90

  • Referenced in 304 articles [sw04705]
  • present. Many extensive remarks and explanations are connected with INTLIB, INTLIB 90 and INTOPT ... problems (17 pages) studies function expressions containing if-then-else connectives obtaining some new results...
  • gSpan

  • Referenced in 108 articles [sw11908]
  • strategy to mine frequent connected subgraphs efficiently. Our performance study shows that gSpan substantially outperforms...
  • BRITE

  • Referenced in 32 articles [sw03098]
  • various parameters (such as connectivity and growth models) and study various properties of generated network ... clustering coefficient). BRITE can be used to study the relevance of possible causes for properties ... consider four of them: (1) preferential connectivity of a new node to existing nodes ... edge connections. We use BRITE in [BU-CS-TR-2000-0004] to study the origin...
  • jHoles

  • Referenced in 6 articles [sw15020]
  • algorithms based on persistent homology for studying the connectivity features of complex networks. jHoles fills ... present a biological case study showing how the connectivity of epidermal cells changes in response ... compartments, and jHoles used for studying variation of the connectivity...
  • RAGlib

  • Referenced in 63 articles [sw00774]
  • Maple package providing useful functionalities for the study of real solutions of polynomial systems ... emptiness or computing sampling points in each connected component of their real solution set. RAGlib...
  • SAGA

  • Referenced in 6 articles [sw18905]
  • matches associate seemingly unrelated biological processes, connect studies in different sub-areas of biomedical research...
  • Adinkras

  • Referenced in 10 articles [sw09383]
  • interest for physicists, the study of Adinkras has already shown connections with coding theory...
  • Regina

  • Referenced in 37 articles [sw04862]
  • implementations. Regina is a software package for studying 3-manifold triangulations and normal surfaces ... sphere recognition, unknot recognition and connected sum decomposition. par This paper brings 3-manifold topologists...
  • hglasso

  • Referenced in 10 articles [sw11202]
  • that are densely-connected to many other nodes. Many authors have studied...
  • FrodoKEM

  • Referenced in 10 articles [sw35260]
  • well-studied learning with errors problem, which in turn has close connections to conjectured-hard...
  • NETMORPH

  • Referenced in 3 articles [sw15125]
  • research questions regarding morphology and connectivity. Research applications include studying the complex relationship between neuronal...
  • KRIPKE

  • Referenced in 8 articles [sw01162]
  • studied in detail in [1]. By dropping the axioms governing the extensional connectives ... adding axioms for the intensional connectives fusion and ssion + to NR, we obtain the pure ... system called O R in [10] and studied in this book. A theorem was announced...
  • URDME

  • Referenced in 25 articles [sw10400]
  • Equation formalism to model the processes under study. An interface to a mature geometry ... level language for computational efficiency. The connection to the geometry handling software is realized...
  • Kavosh

  • Referenced in 8 articles [sw29733]
  • finding network motifs. Background: Complex networks are studied across many fields of science ... biological processes. Motifs in networks are small connected sub-graphs that occur significantly in higher...
  • Racoon

  • Referenced in 16 articles [sw08867]
  • shock-capturing central schemes, both in connection with Runge–Kutta type integrators. Parallel execution ... Racoon framework is currently used to study the formation of singularities in plasmas and fluids...
  • Petruchio

  • Referenced in 15 articles [sw04394]
  • place/transition Petri nets. Our translation exploits the connections created by restricted names and can yield ... facilitates the automatic verification of a case study modelled in this class...
  • PFVIBAT

  • Referenced in 12 articles [sw01187]
  • rigid bodies. Clamped, hinged, guided and rolling connections are allowed for. Consideration of rotatory inertia ... moment modes are plotted. Transient vibrations are studied...
  • ForMaRE

  • Referenced in 3 articles [sw08774]
  • study matching and financial risk. In parallel to conducting research that connects economics and formal...
  • BitPhylogeny

  • Referenced in 3 articles [sw29661]
  • connecting them. We validate our approach in the controlled setting of a simulation study...
  • FindSteinerTree

  • Referenced in 12 articles [sw08245]
  • criterion. It therefore computes the tree that connects the data points entered with tree that ... algorithm useful, for example, in phylogenetic studies where squared-change parsimony is much more widely...