نتایج جستجو برای: intersection test
تعداد نتایج: 839528 فیلتر نتایج به سال:
This research examined how environmental attributes near intersections influence the perceived crash risk among school-aged children, which provides information on the potential risks of pedestrian crashes that can guide the development of proactive countermeasures. In a sample of 799 children aged 10-12 years old in Korea, the environmental attributes of intersections perceived as having a hig...
This paper deals with the fusion of random variables when cross covariances are unknown. This is a vital problem in nearly every real world application since cross covariances are often impossible to obtain but also cannot be ignored. We provide a rigorous derivation of the fusion equations which are also known as covariance intersection. This approach allows us to derive an iterative scheme fo...
with A,B ∈ k. Then the rational point that comes with the curve is O = (0: 1 : 0), in the projective model Y Z = X +AXZ +BZ. There is a group law on an elliptic curve, given as follows. Let P,Q be points on the curve. Draw the unique line through P and Q (the tangent at P if they are equal) and find the unique third point of intersection, R, with the curve; this exists by Bézout’s theorem. Now ...
In this article we'll present the properties of the radicale axes and the adjoin circles of a triangle. Definition 1 Given a triangle ABC, we call the circle that passes through the vertexes C, A and it is tangent in the point A to the side AB, that it is an adjoin circle to the given triangle. Observations a) We note the circle from the above definition CĀ. b) To a triangle, in general, there ...
In this paper, we show that for any independence system, the problem of finding a persistency partition of the ground set and that of finding a maximum weight independent set are polynomially equivalent.
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context-free programs. The algorithm shows that the model checking problem for PDL remains PTIME-complete in the presence of all these operators, in contrast to the high increase in complexity that they cause for the satisfia...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید