Two new problems of bivalent propositional logic are proposed here: firstly, to distinguish the sense of propositions, besides the logical value and secondly, to analyze the ”ponderal” difference between two parts of a proposition: subject-predicate. 1 Relational projections and extensions Let r = (A1, A2, A3, R) be a ternary relation (see [3]). Starting with this, we may define three binary re...

The Historical R-tree is a spatio-temporal access method aimed at the retrieval of window queries in the past. The concept behind the method is to keep an R-tree for each timestamp in history, but allow consecutive trees to share branches when the underlying objects do not change. New branches are only created to accommodate updates from the previous timestamp. Although existing implementations...

In this paper, we consider the convergence problem of Kawahara equationut+α∂x5u+β∂x3u+∂x(u2)=0 on real line with rough data. Firstly, by using Strichartz estimates as well high-low frequency idea, establish two crucial bilinear estimates, which are just Lemma 3.1, 3.2 in paper; also present proof 3.3 shows that s>−12 is necessary for 3.2. Secondly, truncated technique and technique, show pointw...

R-trees and related structures, like R-trees and R-trees, have been used to answer queries involving topological information about objects represented by their minimum bounding rectangles (MBRs). This paper describes how the R-tree method can be used for the storage and retrieval of direction relations. Direction relations deal with order in space, as for instance, left, above, north, southeast...

We begin with establishing properties of the unit revenue function, g(·). Lemma 6. 1. g(·) is a non-negative, continuous, non-decreasing, and concave function on R+, with g(0) = 0. 2. yg(1/y) is non-decreasing and concave on R++. 3. g(y)/y is non-increasing on R+. 4. If u, v > 0, then g(u) g(v) ≥ min( u v , 1), 1 u ∫ u 0 g(v)dv ≤ g(u/2). Proof. 1. That g(·) is non-negative, continuous and non-d...

The R-Tree and variant indexes have been used for multidimensional indexing since 1984 and applied to temporal data since 1994. Despite this, there are few functional implementations of the index that can be applied directly to the temporal data. This paper explores the use of the index for temporal subsequence searches and identifies two implications that must be considered so the index can be...

The fungal genus Rhynchosporium (causative agent of leaf blotch) contains several host-specialised species, including R. commune (colonising barley and brome-grass), R. agropyri (couch-grass), R. secalis (rye and triticale) and the more distantly related R. orthosporum (cocksfoot). This study used molecular fingerprinting, multilocus DNA sequence data, conidial morphology, host range tests and ...

This paper is motivated by the question of how global and dense restriction sets in results from extremal combinatorics can be replaced by less global and sparser ones. The result we consider here as an example is Turán’s theorem, which deals with graphs G = ([n], E) such that no member of the restriction set R = ` [n] r ́ induces a copy of Kr. Firstly, we examine what happens when this restrict...

Abstract This paper studies the target detection algorithm based on Faster R-CNN. Aiming at insufficient regression accuracy of prediction box, an improved R-CNN is proposed. Firstly, ResNet 50 residual network selected and feature pyramid (FPN)is introduced to improve ability detection. Secondly, GIOU optimize anchor frame positioning problem candidate frame. Finally, a bilinear interpolated R...

The radiation generated by the current in an active region (ACT-R), specified propagation phase constant $\beta $ , is investigated with special interest its progression (PhasProg). ACT-R modeled circular and square loops, classified into two types: a right-handed positive left-handed negative . Firstly, of length $n$ guided wavelengths formulated. It found that, at any depression angle $\theta...