نتایج جستجو برای: intersection test

تعداد نتایج: 839528  

Journal: :Accident; analysis and prevention 2016
Gain Lee Yuna Park Jeongseob Kim Gi-Hyoug Cho

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...

2002
Christian Schlegel Thomas Kämpke

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...

2015
Chris Nicholls

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 ...

2013
Pătraşcu Florentin Smarandache

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 ...

Journal: :Comput. Manag. Science 2009
Dimitris Magos Ioannis Mourtos Leonidas S. Pitsoulis

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.

Journal: :J. Applied Logic 2006
Martin Lange

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...

Journal: :Transactions of the American Mathematical Society 1997

Journal: :Electronic Proceedings in Theoretical Computer Science 2015

Journal: :Topology and its Applications 2018

Journal: :Proceedings of the American Mathematical Society 1993

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید