Results 1 to 10 of about 5,873,667 (245)
The Algebraic Intersection Type Unification Problem [PDF]
Logical Methods in Computer Science, 2017 The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems.
Andrej Dudenhefner +2 more
doaj +3 more sources
An explicit and rapid intersection algorithm of plane and NURBS surface in CNC surface machining [PDF]
Scientific ReportsTo address the challenge of plane-surface intersection in toolpath planning for CNC surface machining, a rapid intersection algorithm between a plane and a NURBS surface is proposed, which can provide an explicit Non-Uniform Rational B-Spline (NURBS ...
Shengli Wei +3 more
doaj +2 more sources
The 3-way flower intersection problem for Steiner triple systems [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 The flower at a point x in a Steiner triple system (X; B) is the set of all triples containing x. Denote by J3F(r) the set of all integers k such that there exists a collection of three STS(2r+1) mutually intersecting in the same set of k + r triples, r ...
H. Amjadi, N. Soltankhah
doaj +1 more source
Processing Traffic Jam in Al-Sadrain Intersection in the Holy City of Najaf [PDF]
E3S Web of Conferences, 2023 Modern metropolitan cities worldwide suffer from heavy congestion due to high daily commutes for various purposes. Intersections are the most congested component of the network and represent the sites of accidents.
Bedewy Baydaa A. +3 more
doaj +1 more source
Non-Roundabout design of cancel the intersection signal light on horizontal plane [PDF]
E3S Web of Conferences, 2019 Traffic congestion is a world problem and an important factor restricting urban development. In order to solve the problem of urban traffic congestion, this paper takes the traffic flow theory and the intersection channel design theory as the research ...
Yuilin He +2 more
doaj +1 more source
Mathematics, 2022 In industrial applications, many systems present serious productivity problems due to limited resources. Generally, the dynamics of resource allocation are inherently discrete-event driven, such as the buffer allocation in production line systems.
Yunfeng Hou +5 more
doaj +1 more source
Inhabitation for Non-idempotent Intersection Types [PDF]
Logical Methods in Computer Science, 2018 The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering several type assignment systems, which characterize the solvable or the ...
Antonio Bucciarelli +2 more
doaj +1 more source
The Chern classes of complete intersection varieties
上海师范大学学报. 自然科学版, 2022 The study of inequalities of Chern classes of varieties (also known as the geographical problem of varieties) is an important topic in algebraic geometry.
LIU Lifeng +3 more
doaj +1 more source
Method of Real Time Intersection Location Based on Monocular Vision for Intelligent Vehicle [PDF]
Jisuanji gongcheng, 2017 In order to solve the problem of high accuracy real-time location of intelligent vehicles at the intersection,this paper proposes a real-time intersection location method based on monocular vision.The intersections that need to be located are numbered ...
ZHENG Yongrong,YUAN Jiazheng,LIU Hongzhe,LI Chao
doaj +1 more source
Journal of Robotics, 2020 This paper considers the motion coordination problem of autonomous vehicles in an intersection of a traffic network. The featured challenge is the design of an intersection traffic manager, in the form of a supervisory control algorithm, that regulates ...
Mehmet Ali Guney, Ioannis A. Raptis
doaj +1 more source