Results 1 to 10 of about 5,754,861 (199)
Generalizing generalized tries
Journal of Functional Programming, 2000 A trie is a search tree scheme that employs the structure of search keys to organize information. Tries were originally devised as a means to represent a collection of records indexed by strings over a fixed alphabet. Based on work by C. P. Wadsworth and others, R. H. Connelly and F. L.
openaire +2 more sources
GENERALIZED SPACES OF GENERAL RELATIVITY [PDF]
Proceedings of the National Academy of Sciences, 1959 1. This paper is a revision of the paper with the same title which was published a year ago. The paper deals with a space of four dimensions V4 of coordinates xi as i takes the values 1 to 4. The geometry of the space is based upon the asymmetric functions gij and the asymmetric coefficients of connection Prk and upon the Einsteinm equation2 gij,k ...
openaire +2 more sources
Generative AI to Generate Test Data Generators
IEEE SoftwareGenerating fake data is an essential dimension of modern software testing, as demonstrated by the number and significance of data faking libraries. Yet, developers of faking libraries cannot keep up with the wide range of data to be generated for different natural languages and domains.
Benoit Baudry +9 more
openaire +2 more sources
Generic Extensions and Generic Polynomials
Journal of Symbolic Computation, 2000 In the paper under review the author proves that the existence of generic polynomials and generic extensions [in the sense of \textit{D. J. Saltman}, Adv. Math. 43, 250-283 (1982; Zbl 0484.12004)] are equivalent over an infinite field. Here one calls a monic polynomial \(P(s_1,\dots,s_m;X) \in K(s_1,\dots,s_m)[X]\), where \(s_1,\dots,s_m\) are ...
openaire +2 more sources
To Generalize or Not to Generalize? [PDF]
CHEST, 2022 MAJ. Michael J. McMahon +1 more
openaire +1 more source
, 2023 The goal of this paper is to present an approach to Hod Pair Capturing (HPC). $HPC$ is the most outstanding open problem of descriptive inner model theory. More specifically, we introduce two principles, the Direct Limit Independence and the Bounded Direct Limits, and show that they together imply HPC.
openaire +2 more sources
, 2013 Logik är ett gammalt och kraftfullt verktyg för att föra korrekta resonemang och människor har under lång tid studerat och tillämpat olika logiska system. Dessa studier har till stor del fokuserat på logik som innefattar ett binärt sanningsbegrepp, det vill säga logik där en utsaga är antingen sann eller falsk. Givetvis är detta en väldigt begränsad vy
openaire +1 more source