Search results for "Data type"
showing 10 items of 1183 documents
MATHEMATICS AS A QUASI-EMPIRICAL SCIENCE
2006
The present paper aims at showing that there are times when set theoretical knowledge increases in a non-cumulative way. In other words, what we call ‘set theory’ is not one theory which grows by simple addition of a theorem after the other, but a finite sequence of theories T1, ..., T n in which Ti+1, for 1 ≤ i < n, supersedes T i . This thesis has a great philosophical significance because it implies that there is a sense in which mathematical theories, like the theories belonging to the empirical sciences, are fallible and that, consequently, mathematical knowledge has a quasi-empirical nature. The way I have chosen to provide evidence in favour of the correctness of the main thesis of t…
Calculus of Contextual Rough Sets in Contextual Spaces
1998
ABSTRACT The palier explains the methods of approximation of set which were earlier put forth by the authors (1995a, 1995b) and by W. Marek and H. Rasiowa (1986). An essential part of this paper is devoted to the presentation of a certain calculus of rough sets and contextual rough sets in contextual spaces.
Coupled-cluster methods including noniterative corrections for quadruple excitations
2005
A new method is presented for treating the effects of quadruple excitations in coupled-cluster theory. In the approach, quadruple excitation contributions are computed from a formula based on a non-Hermitian perturbation theory analogous to that used previously to justify the usual noniterative triples correction used in the coupled cluster singles and doubles method with a perturbative treatment of the triple excitations (CCSD(T)). The method discussed in this paper plays a parallel role in improving energies obtained with the full coupled-cluster singles, doubles, and triples method (CCSDT) by adding a perturbative treatment of the quadruple excitations (CCSDT(Q)). The method is tested fo…
The decay modeτ→πων τ and second class currents
1981
Predictions of a set of equal-time commutators between first and second class currents for the decayτ→πωντ are discussed. Such experiment should be feasible with the present detectors at SPEAR/PEP and DORIS/PETRA.
Regular k-Surfaces
2012
Roughly speaking, a regular surface in \(\mathbb{R}^3\) is a two-dimensional set of points, in the sense that it can be locally described by two parameters (the local coordinates) and with the property that it is smooth enough (that is, there are no vertices, edges, or self-intersections) to guarantee the existence of a tangent plane to the surface at each point.
A comparative analysis of different spatial sampling schemes: Modelling of SSRB data
2008
Low spatial resolution satellite sensors provide information over relatively large targets with typical pixel resolutions of hundreds of km2. However, the spatial scales of ground measurements are usually much smaller. Such differences in spatial scales makes the interpretation of comparisons between quantities derived from low resolution sensors and ground measurements particularly difficult. It also highlights the importance of developing appropriate sampling strategies when designing ground campaigns for validation studies of low resolution sensors. We make use of statistical modelling of high resolution surface shortwave radiation budget (SSRB) data to look into this problem. A spatial …
Which measures are projections of purely unrectifiable one-dimensional Hausdorff measures
2008
We give a necessary and sufficient condition for a measure p, on the real line to be an orthogonal projection of XAl for some purely 1-unrectifiable planar set A.
A nicely behaved singular integral on a purely unrectifiable set
2001
We construct an example of a purely 1-unrectifiable AD-regular set E in the plane such that the limit
Individual measurements and nested designs in aquaculture experiments: a simulation study
1998
Simple and nested models for analysis of variance (ANOVA) in aquaculture experiments were compared with the help of computer simulations. Simple models for analysing variables that are based on tank means, such as final weight and growth rate, were found to be sensitive to differences in the number of individual observations in each tank. In comparison to nested models that take into account individual measurements, the simple models were found to overestimate the F ratio and increase the risk of committing type I error, i.e., accepting a false alternative hypothesis. Further, nested models permit greater flexibility in experimental design, and allow more economical solutions within a given…
Left-to-right tree pattern matching
1991
We propose a new technique to construct left-to-right matching automata for trees. Our method is based on the novel concept of prefix unifcation which is used to compute a certain closure of the pattern set. From the closure a kind of deterministic matching automaton can be derived immediately. We also point out how to perform the construction incrementally which makes our approach suitable for applications in which pattern sets change dynamically, such as in the Knuth-Bendix completion algorithm.