Recherches sur les transcendantes de M. Painlevé et l'étude asymptotique des équations différentielles du second ordre (suite) [PDF]
, 1914 P. Boutroux
openalex +1 more source
A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage
, 2016 The test suite is essential for fault detection during software development. First-order mutation coverage is an accurate metric to quantify the quality of the test suite. However, it is computationally expensive.
Demeyer, Serge +2 more
core +1 more source
Considérations comparatives sur les recherches géométriques modernes (suite) [PDF]
, 1891 Félix Klein
openalex +1 more source
A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology [PDF]
, 2019 Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ...
Ameri, Farhad +6 more
core
Comparison of Gamow-Teller strengths in the random phase approximation
, 2013 The Gamow-Teller response is astrophysically important for a number of nuclides, particularly around iron. The random phase approximation (RPA) is an efficient way to generate strength distributions.
Johnson, Calvin W., Nabi, Jameel-Un
core +1 more source
Du Siège Des Matières Colorées Dans La Graine (suite) [PDF]
, 1878 M. J. Poisson
openalex +1 more source
NIRA-3: An improved MATLAB package for finding Nash equilibria in infinite games [PDF]
A powerful method for computing Nash equilibria in constrained, multi-player games is created when the relaxation algorithm and the Nikaido-Isoda function are used together in a suite of MATLAB routines.
Krawczyk, Jacek, Zuccollo, James
core +1 more source
Suite del Recuerdo for Guitar by Jose Luis Merlin. Sheet music reviewed by Peter Argondizza [PDF]
, 1996 A six movement solo guitar work dedicated to Atahualpa Yupanqui. Suite del Recuerdo for Guitar by Jose Luis Merlin.
Argondizza, Peter +2 more
core
Recherches sur les larves des tachinaires Sturmia, Winthemia, Carcelia et Exorista (Suite et fin) [PDF]
, 1926 W. R. Thompson
openalex +1 more source
Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset
, 2015 Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J is provided with a test suite and at least one failing test case that triggers the bug.
Durieux, Thomas +4 more
core +1 more source