Home Knowledge Base Type Ia

Type Ia

No mentions found

This entity hasn't been tracked yet, or Iris is still building its knowledge base.

Related Articles from SNS

Late-Time Cosmology and Structure Formation in Quadratic $f(Q)$ Gravity

arXiv:2606.02660v1 Announce Type: new Abstract: We investigate the cosmological evolution associated with the quadratic symmetric teleparallel gravity framework, \( f(Q)=Q+\alpha Q^{2}+\beta \) where the relation \(Q\propto H^{2}\) generates an additional \(H^{4}\) contribution to the Friedmann equation. Using the exact algebraic solution for $H(z)$, we reconstruct the effective dark-energy sector and compare the background evolution with $\Lambda$CDM using Type Ia supernovae, BAO, and...

arXiv Physics 7d ago

Rubin Tracks Skyscraper-Size Asteroids and Failed Supernovas

Rubin Tracks Skyscraper-Size Asteroids, Failed Supernovas, and Interstellar Visitors Introduction Over the years, anticipation has built for the start of observations at the Vera C. Rubin Observatory in the mountains of the Atacama Desert in Chile. Originally imagined in the mid-1990s as the Dark Matter Telescope, Rubin is designed to study our constantly moving and changing universe in greater detail than ever before. Once every few days for a decade, Rubin will take images of the entire...

Hacker News 9d ago

IA-RAG: Interval-Algebra-Driven Temporal Reasoning for Dynamic Knowledge Retrieval

Announce Type: new Abstract: Retrieval-Augmented Generation (RAG) has shown strong effectiveness in grounding Large Language Models (LLMs) with external knowledge. However, existing RAG and Graph RAG frameworks largely treat knowledge as static or associate time with coarse-grained timestamps or metadata, failing to capture rich temporal structures such as duration, overlap, and containment. We propose IA-RAG, a hierarchical temporal RAG framework that models knowledge as time intervals and...

arXiv CS 5d ago

High-Order Summation-By-Parts Schemes for First-Order Hyperbolic Systems in Curvilinear Coordinates with Singularities

Announce Type: cross Abstract: Formulating stable numerical methods for hyperbolic systems in curvilinear coordinate with singularities, e.g. spherical coordinates, is complicated by the presence of these singularities. We present a method for constructing high-order accurate, energy-stable finite difference operators satisfying the Summation-by-Parts (SBP) property on spherical domains, extending ideas presented by [C. Gundlach, J. M. Mart\'in-Garc\'ia, and D. Garfinkle, CQG 30, 145003 (2013)].

arXiv CS 6d ago

Parallel Reconstruction of Lawful TLS Wiretapping

Parallel Reconstruction of Lawful TLS Wiretapping Transport Layer Security (TLS) is the protocol involved in getting the lock icon to appear in your browser next to the URL. Under the hood it uses a bunch of really cool numbers for encryption. Some numbers are considered private and need securing; some are considered public and are fine for sharing.

Hacker News 11d ago

Triggering physical plasmoids in forming current sheets: conditions and diagnostics

arXiv:2604.02065v2 Announce Type: replace Abstract: We investigate the conditions for triggering the plasmoid instability in a dynamically forming current sheet in the resistive magnetohydrodynamic framework, using a pseudo-spectral code applied to the Orszag-Tang vortex at Lundquist number $S \sim 10^5$. Following Garc\'ia Morillo \& Alexakis (2025), we use the power spectrum of the current density $E_J(k)$, complemented by the vorticity spectrum $E_\omega(k)$, to assess the convergence of...

arXiv Physics 2d ago

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

Announce Type: replace Abstract: Grassroots Logic Programs (GLP) is a concurrent logic programming language in which logic variables are partitioned into paired readers and writers. An assignment is produced at most once via a writer and consumed at most once via its paired reader, and may contain additional readers and/or writers. This enables the concise expression of rich multidirectional communication modalities.

arXiv CS 1d ago

Entity-Centric World Models: Interaction-Aware Masking for Causal Video Prediction

Announce Type: replace Abstract: Learning predictive world models from unlabelled video is a foundational challenge in artificial intelligence. While Joint Embedding Predictive Architectures (JEPA) have set new benchmarks in semantic classification, they often remain physics-blind, failing to capture the causal dynamics necessary for downstream reasoning. We hypothesize that this stems from standard patch-based masking strategies, which prioritize visual texture over rare but informative...

arXiv CS 1d ago

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

arXiv:2602.06934v4 Announce Type: replace Abstract: Grassroots Logic Programs (GLP) is a concurrent logic programming language in which logic variables are partitioned into paired readers and writers. An assignment is produced at most once via a writer and consumed at most once via its paired reader, and may contain additional readers and/or writers. This enables the concise expression of rich multidirectional communication modalities.

arXiv CS 1d ago

In-Context Reinforcement Learning via Communicative World Models

arXiv:2508.06659v2 Announce Type: replace Abstract: Reinforcement learning (RL) agents often struggle to generalize to new tasks and contexts without updating their parameters, mainly because their learned representations and policies are overfit to the specifics of their training environments. To boost agents' in-context RL (ICRL) ability, this work formulates ICRL as a two-agent emergent communication problem and introduces CORAL (Communicative Representation for Adaptive RL), a framework...

arXiv CS 1d ago