• KronFit

  • Referenced in 48 articles [sw20428]
  • that allows for rigorous analysis of network properties? Real networks exhibit a long list ... generate networks that have all the above mentioned structural properties. Our main idea here ... that Kronecker graphs naturally obey common network properties. In fact, we rigorously prove that they ... that very well mimic the properties of target networks. In fact, using just four parameters...
  • Pastry

  • Referenced in 109 articles [sw11775]
  • node failures, and its good network locality properties...
  • BioGRID

  • Referenced in 48 articles [sw17422]
  • gene/protein function and analysis of global network properties. BioGRID is a freely accessible database...
  • TAG

  • Referenced in 76 articles [sw20627]
  • efficiently in networks of low-power, wireless sensors. We discuss various generic properties of aggregates ... show how those properties affect the performance of our in network approach. We include...
  • SNAP

  • Referenced in 171 articles [sw04184]
  • graph representation. It easily scales to massive networks with hundreds of millions of nodes ... efficiently manipulates large graphs, calculates structural properties, generates regular and random graphs, and supports attributes ... attributes in a graph or a network can be changed dynamically during the computation. SNAP...
  • BRITE

  • Referenced in 34 articles [sw03098]
  • growth models) and study various properties of generated network topologies (such power laws, path length ... study the relevance of possible causes for properties recently observed in Internet topologies. Different combinations ... existing nodes; (2) incremental growth of the network; (3) geographical distribution of nodes...
  • Reluplex

  • Referenced in 20 articles [sw31367]
  • Verifying Deep Neural Networks. Deep neural networks have emerged as a widely used and effective ... efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique ... technique on a prototype deep neural network implementation of the next-generation airborne collision avoidance ... that our technique can successfully prove properties of networks that are an order of magnitude...
  • EPANET

  • Referenced in 49 articles [sw07618]
  • read in a pipe network description file, modify selected component properties, run multiple hydraulic ... optimization models, that require running many network analyses with modified input parameters. It can also...
  • Xheal

  • Referenced in 9 articles [sw35976]
  • peer and wireless mesh networks. For such networks under repeated attack by an omniscient adversary ... maintains good expansion and spectral properties of the network, while keeping the network connected. Moreover ... increase per node. The algorithm heals global properties like expansion and stretch while only doing ... preserving the expansion and spectral properties of the network...
  • RoVerGeNe

  • Referenced in 13 articles [sw10954]
  • networks are described by a class of piecewise multiaffine differential equation models, dynamical properties ... robustness of dynamical properties of gene networks with respect to parameter variations...
  • CONTEST

  • Referenced in 21 articles [sw12738]
  • controllable test toolbox for MATLAB. Large, sparse networks that describe complex interactions are a common ... been proposed that capture key properties of real-life networks. These models provide realistic, parametrized...
  • ergm.graphlets

  • Referenced in 5 articles [sw20899]
  • network models that are parametrized by sufficient statistics based on structural (i.e., graph-theoretic) properties ... collection of tools for the analysis of network data ... within an ERGM framework. Many different network properties can be employed as sufficient statistics ... enables the use of graphlet properties of a network within the ergm package...
  • Hyperbolic graph generator

  • Referenced in 7 articles [sw19944]
  • structural properties like heterogeneous degree distributions and strong clustering. Recent research on network geometry ... between the expected values of different network structural properties and the corresponding empirical values measured...
  • NetQuest

  • Referenced in 5 articles [sw13969]
  • information we gain about the network path properties subject to given resource constraints. We then ... apply network inference techniques to reconstruct the properties of interest based on the partial, indirect ... through these measurements. By casting network measurement in a general Bayesian decision theoretic framework ... approach can accurately estimate network-wide and individual path properties by only monitoring within...
  • PLAN

  • Referenced in 13 articles [sw22065]
  • provide basic data transport in the network and to support layering of protocols. Remote execution ... type safety. A more novel property aimed at protecting network availability is a guarantee that...
  • Linda

  • Referenced in 103 articles [sw09427]
  • distributed settings generally and on integrated network computers in particular. It differs from previous interprocess ... communication results in a number of distinguishing properties of the new language, Linda, that...
  • Marabou

  • Referenced in 6 articles [sw31368]
  • that can answer queries about a network’s properties by transforming these queries into constraint...
  • Charlotte

  • Referenced in 10 articles [sw30253]
  • that specifically target the properties of the local area network environment. However, these mechanisms...
  • NEST

  • Referenced in 32 articles [sw26849]
  • computer program for simulating large heterogeneous networks of point neurons or neurons with a small ... than on the detailed morphological and biophysical properties of individual neurons. Examples are: Models ... auditory cortex of mammals. Models of network activity dynamics, e.g. in laminar cortical networks...
  • TopologyNet

  • Referenced in 7 articles [sw41013]
  • Topology based deep convolutional neural networks for biomolecular property predictions. Although deep learning approaches have ... further integrate ESPH and convolutional neural networks to construct a multichannel topological neural network (TopologyNet...