Arc
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
arXiv:2606.02007v1 Announce Type: new Abstract: Timed-Arc Petri net (TAPN) is a timed extension of the classical Petri net model where tokens have their age and input arcs are associated with time intervals restricting the ages of tokens available for transition firing. Additionally, a TAPN can also contain place invariants constraining the ages of tokens in places, inhibitor arcs preventing a transition from firing and transport arcs that preserve token ages upon firing. This set of...
Intel makes a bid for handheld gaming PCs with new Arc G3 processors
Intel is entering the handheld gaming PC market with new Arc G3 processors, aiming to compete with AMD-based devices like the Steam Deck. These processors will allow handhelds to utilise Intel's Arc B-series integrated GPUs and are slated for release starting in June 2026. The initial lineup will include new models from MSI, Acer, and OneXPlayer.
A tree interpretation of arc standard dependency derivation
arXiv:2603.27459v3 Announce Type: replace Abstract: Arc-standard derivations over projective dependency trees can be interpreted as the incremental construction of lexicalized ordered trees with contiguous yields. Each \textsc{shift}, \textsc{leftarc}, and \textsc{rightarc} transition corresponds to a deterministic tree update, and the resulting ordered tree uniquely determines the dependency arcs introduced by the derivation. We show that this representation is not an arbitrary encoding: a...
Structural Grid Descriptors Predict Within-Task Solver Success on ARC-AGI
arXiv:2606.09026v1 Announce Type: new Abstract: We ask whether structural properties of intermediate grid states predict whether a symbolic ARC-AGI solver will succeed, framed as a test of conditional mutual information I(X;Y|task) > 0. Across 44,800 runs spanning two architecturally distinct solvers (beam search and Stochastic DFS), 400 ARC tasks, 28 configurations per solver, and both training and evaluation splits, hand-crafted grid descriptors measured at 50% trajectory completion...
Executable World Models for ARC-AGI-3 in the Era of Coding Agents
arXiv:2605.05138v2 Announce Type: replace Abstract: We evaluate an initial coding-agent system for ARC-AGI-3 in which the agent maintains an executable Python world model, verifies it against previous observations, refactors it toward simpler abstractions as a practical proxy for an MDL-like simplicity bias, and plans through the model before acting. The system is intentionally direct: it uses a scripted controller, predefined world-model interfaces, verifier programs, and a plan executor,...
Semidefinite Programming Certificates for Synchronization of Kuramoto Oscillators on Arcs
arXiv:2606.03591v1 Announce Type: cross Abstract: A class of Kuramoto models with a general coupling function that can be expressed in terms of a finite number of harmonics, each comprising sinusoidal terms, is studied. We propose a novel approach for certifying local phase synchronization in this class for all initial conditions lying on an arc. The trace parametrization property and Gram matrix representation of a trigonometric polynomial are utilized along with Putinar's...
Core-edge integrated modeling of ARC: on the effect of impurity transport and detachment conditions
Announce Type: new Abstract: Integrated modeling of ARC H-modes has been conducted to assess the feasibility of high-performance scenarios compatible with divertor detachment. The analysis incorporates self-consistent evolution of impurity radiation and density profiles, demonstrating that fusion power levels approaching a GW can be achieved while maintaining divertor temperatures below 2 eV with Ar seeding. Sensitivity studies reveal a strong dependence of fusion power on the separatrix...
Coupled simulation of plasma-surface interactions during early stages of vacuum arcing
arXiv:2606.05893v1 Announce Type: new Abstract: We describe fully coupled simulations that bridge atomistic cathode dynamics and plasma formation during the earliest stages of vacuum arcing. The model combines molecular dynamics, finite element electrothermal calculations, electron emission and particle-in-cell plasma simulations via dynamic transfer of particles between the surface and plasma domains. Simulations of Cu nanoprotrusions reveal two routes to thermal runaway: direct Joule...
The Arc of the Voting Rights Act
THe morning after Louisiana’s House primaries were scheduled to take place, worshipers at Mount Zion First Baptist Church in Baton Rouge were on their feet, swaying to the gospel music that vibrated through the wooden pews. Just days earlier, the vote had been abruptly postponed as Republicans scrambled to redraw congressional boundaries in a way that would erase one of the state’s two majority-Black congressional districts and dilute the political influence that many in the congregation had...
Honey, I Shrunk the Arc de Triomphe!
arXiv:2606.02379v1 Announce Type: new Abstract: Metric scale monocular geometry estimation has seen significant progress through large-scale data aggregation, yet current foundation models suffer from a persistent ''scale-collapse'' phenomenon: distant landmarks and vast landscapes are metrically underestimated. We hypothesize that this performance gap stems from a training data bottleneck, where existing metric-scale datasets are hardware-constrained to homogenous vehicle-captured LiDAR or...