
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 ifthenelse 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 [BUCSTR20000004] 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 subareas 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 3manifold triangulations and normal surfaces ... sphere recognition, unknot recognition and connected sum decomposition. par This paper brings 3manifold topologists...

hglasso
 Referenced in 10 articles
[sw11202]
 that are denselyconnected to many other nodes. Many authors have studied...

FrodoKEM
 Referenced in 10 articles
[sw35260]
 wellstudied learning with errors problem, which in turn has close connections to conjecturedhard...

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 subgraphs that occur significantly in higher...

Racoon
 Referenced in 16 articles
[sw08867]
 shockcapturing 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 squaredchange parsimony is much more widely...