• LMFDB

  • Referenced in 158 articles [sw07249]
  • LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended ... very concrete objects, in particular specific L-functions and their sources. L-functions are ubiquitous ... will see examples of L-functions coming from modular forms, elliptic curves, number fields ... www.numbertheory.org/ntw/lecture_notes.html. The subject of L-functions is very rich, with many interrelationships. Our goal...
  • OpenFOAM

  • Referenced in 543 articles [sw04317]
  • follows a highly modular code design in which collections of functionality (e.g. numerical methods, meshing...
  • GenLouvain

  • Referenced in 101 articles [sw13826]
  • define a quality function in terms of a generalized-modularity null model framework and then ... codes here work directly with the modularity matrix, not the adjacency matrix. That ... used with any quality function specified in terms of a modularity matrix; but as such...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • offer a modular framework for studying their combination. ELAN takes from functional programming the concept...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • overview of Mosel’s programming functionality. The open, modular design of Mosel makes it possible ... adding solvers, data connectors, graphics or system functionality. The second part of this chapter presents...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C++ simulation library and framework, primarily for building ... queueing networks, and so on. Domain-specific functionality such as support for sensor networks, wireless...
  • MMH

  • Referenced in 16 articles [sw24968]
  • describe a construction of almost universal hash functions suitable for very fast software implementation ... Wegman for universal hashing using modular multilinear functions that we carefully modify to allow...
  • UFO

  • Referenced in 41 articles [sw04719]
  • universal functional optimization (UFO) system is an interactive modular system for solving both dense medium...
  • Skein Hash

  • Referenced in 34 articles [sw20478]
  • family of cryptographic hash functions. Its design combines speed, security, simplicity, and a great deal ... exibility in a modular package that is easy to analyze...
  • RTC toolbox

  • Referenced in 10 articles [sw14256]
  • Toolbox provides a library of functions for Modular Performance Analysis with Real-Time Calculus...
  • Ptolemy

  • Referenced in 80 articles [sw07459]
  • formal semantics for Ptolemy that is modular in the sense that atomic actors and their ... executable interface that contains four functions: fire (produce outputs given current state and inputs); postfire...
  • OpenAD/F

  • Referenced in 24 articles [sw09380]
  • OpenAD/F: A modular open-source tool for automatic differentiation of Fortran codes. The Open/ADF tool ... allows the evaluation of derivatives of functions defined by a Fortran program. The derivative evaluation ... function of interest. Open/ADF has been designed with a particular emphasis on modularity, flexibility...
  • ELM

  • Referenced in 8 articles [sw17021]
  • resource for investigating short functional sites in modular eukaryotic proteins. Multidomain proteins predominate in eukaryotic...
  • ComputeL

  • Referenced in 7 articles [sw31452]
  • Mordell-Weil rank 3. L-functions associated to modular forms and Shintani’s zeta-function...
  • LAGUNA

  • Referenced in 21 articles [sw08650]
  • provides functionality for calculation of the normalized unit group of the modular group algebra...
  • TRLan

  • Referenced in 68 articles [sw04029]
  • functions such as dynamic memory management, timing functions, random number generator ... Since the software is highly modularized, it relatively easy to adopt it for different type...
  • HiLog

  • Referenced in 51 articles [sw01580]
  • terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus ... discussed, including DCG grammars, higher-order and modular logic programming, and deductive databases...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • very high-level specification and an extremely modular implementation of complex systems by structurally decomposing ... requirements. To enable separate compilation of the functional components of reactive systems while preserving their...
  • VeriStar

  • Referenced in 3 articles [sw09393]
  • efficient and (5) modular. By purely functional, we mean it is implemented in Gallina ... uses highly tuned verified functional data structures. By modular, we mean that VeriStar...
  • Quantum Espresso

  • Referenced in 50 articles [sw06129]
  • QUANTUM ESPRESSO: a modular and open-source software project for quantum simulations of materials. QUANTUM ... calculations and materials modeling, based on density-functional theory, plane waves, and pseudopotentials (norm-conserving...