Results 261 to 270 of about 30,676,854 (312)
Some of the next articles are maybe not open access.
Libraries of Reusable Models: Theory and Application
SIMULATION, 1998Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects of the system must be taken into account to construct a useful simulation model. The role of a model library is to manage this information and to make model fragments reusable.
Breunese, A.P.J. +3 more
openaire +4 more sources
Applying game theory to library networks
Journal of the American Society for Information Science, 1980AbstractThe application of game theory to library networks consists of four basic subjects: the development of a systematic way to study individual coalitions, the calculation of the costs of a network, the calculation of the gross benefits for the whole network, the stability of the network.
Jacob Cohen, Wim Vijverberg
openaire +1 more source
LiDIA—a library for computational number theory
ACM SIGSAM Bulletin, 1997We will sketch the basic concepts and main features of the object-oriented C++ library LiDIA, that is developed by LiDIA group at Universität des Saarlandes and the Technische Hochschule in Darmstadt. We will present in more detail the classes for factoring polynomials over finite fields together with some running times.
Markus Maurer +2 more
openaire +2 more sources
SLICOT—A Subroutine Library in Systems and Control Theory [PDF]
, 1999 This chapter describes the subroutine library SLICOT that provides Fortran 77 implementations of numerical algorithms for computations in systems and control theory. Around a nucleus of basic numerical linear algebra subroutines, this library builds methods for the design and analysis of linear control systems.
Volker Mehrmann +2 more
exaly +6 more sources
The Coq Library as a Theory Graph
2019Representing proof assistant libraries in a way that allows further processing in other systems is becoming increasingly important. It is a critical missing link for integrating proof assistants both with each other or with peripheral tools such as IDEs or proof checkers.
Dennis Müller 0001 +2 more
openaire +3 more sources