Intersection
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
The Size of the Intersection of $q$-ary Hamming Balls
Announce Type: cross Abstract: The interest in studying the size of the intersection of multiple $q$-ary Hamming balls has grown due to the recent advances in DNA-based data storage systems. We present an exact formula for the cardinality of the intersection of $s$ Hamming balls of varying radii over a $q$-ary alphabet. It is known that the distances between the center points of the Hamming balls are not enough, in general, to determine the size of the intersection.
When Types Intersect and Effects Get Handled
arXiv:2606.09526v1 Announce Type: new Abstract: We introduce a novel intersection type system for a $\lambda$-calculus with algebraic effects and handlers. The system, inherently behavioral in nature, enjoys the classical properties of intersection type systems, in particular subject reduction and expansion. It thus characterizes the set of terms whose evaluation process terminates and, at the same time, allows reducing the reachability problem to type inference.
An Integrated Roadside Sensing and Communication Framework for Vulnerable Road User Safety at Signalized Intersections
arXiv:2606.07016v1 Announce Type: cross Abstract: Vulnerable road users (VRUs) account for approximately half of urban traffic deaths globally, with intersections concentrating a disproportionate share of these casualties. Recent reviews of sensing technology for VRU protection have cataloged dozens of single-sensor and dual-sensor deployments, yet none of the surveyed systems couples multi-modal sensing with edge-side near-miss analytics and bidirectional vehicle-to-everything (V2X) and...
Differentiable 3D Triangle-Triangle Intersection Energy
arXiv:2606.06511v1 Announce Type: new Abstract: Obtaining intersection-freeness or global injectivity is important in computer graphics. However, it is challenging, especially for the non-oriented deformation primitives.
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.
Low-cost method uncovers conical intersections that steer light-driven molecular reactions
Conical intersections are crucial molecular switching points in light-driven reactions, but accurately predicting them usually requires computations. A researcher from Shibaura Institute of Technology has developed a new low-cost quantum chemistry method that can simultaneously describe ground and excited molecular states while efficiently locating these elusive structures. The approach reproduces benchmark geometries with strong accuracy and enables practical simulations of photochemical...
Guaranteed Fast Implementation of the Split Covariance Intersection Filter: Nested Newton Method Thanks to the Fourth-Order Convexity of w-Optimization
arXiv:2606.09505v1 Announce Type: new Abstract: The split covariance intersection filter (Split CIF) is a useful tool for general data fusion and has the potential to be applied in a variety of engineering tasks. The w-optimization problem involved in the Split CIF concerns the performance and implementation efficiency of the Split CIF. It is known that the w-optimization problem enjoys the desirable property of convexity (or more clearly, the second-order convexity in this paper's context).
Sustainability and Artificial Intelligence: Necessary, Challenging, and Promising Intersections
Announce Type: new Abstract: Both digital economy and digital technology researchers increasingly recognize the need to better address the role that artificial intelligence (AI) plays in shaping the evolution of the environmental, social and governance aspects of development. It appears that sustainability and AI research converge on the features of wicked problems that are complex, interconnected and dynamic. Building off such convergence, this article aims to map out the necessary,...
Culturally-Aware AI for Cross-Boundary Community Learning: Undergraduate Innovation at the Intersection of Computation and Design
arXiv:2606.09041v1 Announce Type: new Abstract: Research on artificial intelligence in education (AIED) is rapidly expanding, yet technical progress often lacks human-centered grounding and adequate attention to cultural context. Community-Based Learning, a pedagogy rooted in social work, remains underrepresented in AIED research, particularly within Asia-Pacific contexts. This paper reports on cross-boundary Community-Based Learning where undergraduate students develop AI-enabled solutions...
Bringing closure to theory combination properties
Announce Type: new Abstract: We consider the closure of three classical combination properties, namely, stable infiniteness, gentleness and shininess (or, equivalently for decidable theories, strong politeness), under intersection and combinability. We compute every possible intersection, and then compute the maximal set of theories that can be combined with each resulting intersection. We iterate this process until no new sets are identified.