
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 ifthenelse connectives obtaining some new results...

gSpan
 Referenced in 115 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 [BUCSTR20000004] 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 66 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...

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

Regina
 Referenced in 46 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 12 articles
[sw11202]
 that are denselyconnected 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 subgraphs 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...

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

Petruchio
 Referenced in 16 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...

CRPropa
 Referenced in 5 articles
[sw20423]
 study of their link with the charged primary nuclei  the so called multimessenger connection...

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...

SDPEN
 Referenced in 22 articles
[sw05152]
 this motivates the increasing interest in studying derivativefree methods for their solution ... introduce a general theoretical result regarding the connections between the sampling technique and the updating...

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...