
LMFDB
 Referenced in 158 articles
[sw07249]
 LMFDB, the database of Lfunctions, modular forms, and related objects. These pages are intended ... very concrete objects, in particular specific Lfunctions and their sources. Lfunctions are ubiquitous ... will see examples of Lfunctions coming from modular forms, elliptic curves, number fields ... www.numbertheory.org/ntw/lecture_notes.html. The subject of Lfunctions 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 generalizedmodularity 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, componentbased C++ simulation library and framework, primarily for building ... queueing networks, and so on. Domainspecific 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 RealTime 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 opensource 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]
 MordellWeil rank 3. Lfunctions associated to modular forms and Shintani’s zetafunction...

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, higherorder and modular logic programming, and deductive databases...

SIGNAL
 Referenced in 52 articles
[sw02915]
 very highlevel 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 opensource software project for quantum simulations of materials. QUANTUM ... calculations and materials modeling, based on densityfunctional theory, plane waves, and pseudopotentials (normconserving...