digitado

The design and reliability assurance of embedded systems is a complex issue, since they need to handle not only digital behavior but also physical quantities such as time, cost, and sometimes randomness. In addition, since many embedded systems, such as networks and automobiles, have systems in which errors can be fatal, design verification for reliability assurance is an important research topic. With the above background, we adopt the approach of specifying and verifying embedded systems by formal models. […]

Ver mais

Hyundai Motor Group is starting to look like a company building machines that act in the real world. The change centres on physical AI: Where AI is placed into robots and systems that move and respond in physical spaces. Current efforts are mainly focused on factory and industrial settings. Hyundai’s move into physical AI systems In an interview with Semafor, chairman Chung Eui-sun said robotics and AI will play a central role in Hyundai’s next phase of growth, […]

Ver mais

Continual machine unlearning aims to remove the influence of data that should no longer be retained, while preserving the usefulness of the model on everything else. This setting becomes especially difficult when deletion requests arrive sequentially, because the model must repeatedly adapt without erasing previously retained knowledge. Low-Rank Adaptation (LoRA) offers an efficient way to implement such updates, but naively combining many sequential LoRA modules leads to parameter collision, causing textit{strong interference} between tasks. We propose a static […]

Ver mais

Let Γ be a commutative with identity multiplicative hyperring and S ⊆ Γ be a multiplicatively closed subset of Γ. In this study, we will discuss the definition and general properties of weakly Γ-prime hyperideals. Let Ω be a hyperideal of Γ disjoint from S. We say that Ω is a weakly S− prime hyperideal of Γ if there exists an s ∈ S such that for all ϱ,σ ∈ Γ , if {0} ̸ = ϱ⋄σ ⊆ […]

Ver mais

We study a class of wrapping operators acting on the space of formal languages over a fixed finite alphabet. The underlying space is equipped with a length-based ultrametric, in which two languages are close whenever they coincide on all sufficiently short words. We prove that every wrapping operator generated by a finite family of guards with positive total guard length is a contraction. As a consequence, Banach’s contraction principle yields existence and uniqueness of a fixed point for […]

Ver mais

The preparation of annotated datasets remains a critical bottleneck in the machine learning (ML) pipeline. Existing tools are fragmented across cloud-hosted services, self-hosted web applications, and lightweight desktop tools—none simultaneously ad-dressing diverse annotation modalities, offline-first operation, integrated training, and serverless collaboration. We present Annotix, an open-source, cross-platform desktop application built on a Rust backend (Tauri 2) and React 19 frontend, designed to unify the entire ML data preparation workflow within a single privacy-preserving environ-ment. To evaluate its practical […]

Ver mais

This paper builds upon a previous study of rotation sequences with four factors, in which the additional parameter is used for optimization, extending the result to generic rigid motions in three-dimensional Euclidean space. To do that in practice, one uses dual projective quaternions (dual Rodrigues’ vectors) describing screw motions and applies the well-known principle of transference in a rather straightforward manner. There are, however, some technicalities worth discussing, like the famous gimbal lock problem emerging in Euler-type decompositions. […]

Ver mais

Network simulation plays a critical role in evaluating protocol performance and predicting real‑world behavior before deployment. This paper presents a comparative study of two widely used network simulators, OMNeT++ (open source) and Riverbed Modeler (commercial) with a focus on feature capabilities, modeling flexibility, and throughput accuracy when results are validated against a physical testbed. We first develop a Wi-Fi network testbed using Gigabit Wi-Fi cards (IEEE 802.11ac) and an access point (AP). Using this testbed, we conduct various […]

Ver mais

Large language model (LLM)-based agents have given rise to phenomenal applications (e.g., OpenClaw, Claude Code), transitioning from fixed text processing to complex task execution. However, most existing works conceptualize the LLM-based agent by decomposing the whole system into modules such as planning, action, reflection, and memory, thereby lacking a unified perspective to explain the emergence of agentic intelligence. In this survey, we present a novel perspective by framing agentic intelligence through the lens of contextual cognition. We propose […]

Ver mais

We investigate the geometrical structure underlying the notion of Inferential Scattering, which was formulated by E. T. Jaynes in the 1980s using the language of equilibrium statistical mechanics. We show that inferential scattering can be naturally defined on a dually flat Riemannian manifold equipped with dual coordinate systems, a differential- geometric structure that occupies a central place in information geometry. We find that the evolution of the system on the dually flat manifold can be expressed as the […]

Ver mais