• INTOPT_90

  • Referenced in 306 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 114 articles [sw11908]
  • strategy to mine frequent connected subgraphs efficiently. Our performance study shows that gSpan substantially outperforms...
  • BRITE

  • Referenced in 34 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...
  • Adinkras

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

  • Referenced in 7 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 65 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...
  • FrodoKEM

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

  • Referenced in 43 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 12 articles [sw11202]
  • that are densely-connected to many other nodes. Many authors have studied...
  • 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...
  • Kavosh

  • Referenced in 12 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...
  • URDME

  • Referenced in 26 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...
  • CRPropa

  • Referenced in 5 articles [sw20423]
  • study of their link with the charged primary nuclei -- the so called multi-messenger connection...
  • 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...
  • BitPhylogeny

  • Referenced in 4 articles [sw29661]
  • connecting them. We validate our approach in the controlled setting of a simulation study...
  • 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...
  • SDPEN

  • Referenced in 21 articles [sw05152]
  • this motivates the increasing interest in studying derivative-free methods for their solution ... introduce a general theoretical result regarding the connections between the sampling technique and the updating...