technocracy

arXiv:2512.22909v2 Announce Type: replace-cross Abstract: In this paper we study a nonconvex-strongly-concave constrained minimax problem. Specifically, we propose a first-order augmented Lagrangian method for solving it, whose subproblems are nonconvex-strongly-concave unconstrained minimax problems and suitably solved by a first-order method developed in this paper that leverages the strong concavity structure. Under suitable assumptions, the proposed method achieves an operation complexity of $O(varepsilon^{-3.5}logvarepsilon^{-1})$, measured in terms of its fundamental operations, for finding an $varepsilon$-KKT solution of the constrained minimax […]

Ver mais

I used to think that driving big impact came from shipping really big projects.  I was wrong. The big projects are certainly what everyone talks about. These are what get added to your resume and mentioned in company all hands decks. If you look at the following projects, you’ll probably reach the same conclusion. Big project – takes 3 months to build and produces 5 “points” of value Small project – takes 1 month to build and produces 1 […]

Ver mais

Ver mais

The increasing adoption of contactless transactions has introduced new security challenges, particularly in protecting data from unauthorized access and fraudulent activities. This study presents a novel authentication framework designed to enhance the security of near-field communication (NFC) transactions while maintaining efficiency for real-time processing. By leveraging a lightweight cryptographic approach, the proposed system mitigates threats such as relay attacks and unauthorized skimming. Experimental analysis demonstrates improvements in authentication reliability and resistance to common attack vectors. This research contributes […]

Ver mais

arXiv:2601.09898v1 Announce Type: new Abstract: Politeness is a core dimension of human communication, yet its role in human-AI information seeking remains underexplored. We investigate how user politeness behaviour shapes conversational outcomes in a cooking-assistance setting. First, we annotated 30 dialogues, identifying four distinct user clusters ranging from Hyperpolite to Hyperefficient. We then scaled up to 18,000 simulated conversations across five politeness profiles (including impolite) and three open-weight models. Results show that politeness is not only cosmetic: it systematically […]

Ver mais

Multiple sclerosis (MS) is a chronic inflammatory disease of the central nervous system characterized by high heterogeneity of clinical progression and limited accuracy of traditional prognostic approaches. Predicting the transition to an active disease phase is critical for timely adjustment of disease-modifying therapy and reduction of disability risk. Three deep learning architectures were developed (ResNet3D, PretrainedResNet2D, and ResNeXt) for predicting MS activity within a one-year horizon using longitudinal multimodal data comprising T1-weighted MRI volumes (50 axial slices, 128×128 […]

Ver mais

arXiv:2603.26725v1 Announce Type: new Abstract: We prove that capability safety admits an exact representation as propositional Datalog evaluation (Datalogprop: the monadic, ground, function-free fragment of first-order logic), enabling the transfer of algorithmic and structural results unavailable in the native formulation. This addresses two structural limitations of the capability hypergraph framework of Spera [2026]: the absence of efficient incremental maintenance, and the absence of a decision procedure for audit surface containment. The equivalence is tight: capability hypergraphs correspond to […]

Ver mais

arXiv:2604.07395v1 Announce Type: new Abstract: Robotic manipulation systems that follow language instructions often execute grasp primitives in a largely single-shot manner: a model proposes an action, the robot executes it, and failures such as empty grasps, slips, stalls, timeouts, or semantically wrong grasps are not surfaced to the decision layer in a structured way. Inspired by agentic loops in digital tool-using agents, we reformulate language-guided grasping as a bounded embodied agent operating over grounded execution states, where physical […]

Ver mais

arXiv:2601.20021v1 Announce Type: new Abstract: Natural-language planning often involves vague predicates (e.g., suitable substitute, stable enough) whose satisfaction is inherently graded. Existing category-theoretic planners provide compositional structure and pullback-based hard-constraint verification, but treat applicability as crisp, forcing thresholding that collapses meaningful distinctions and cannot track quality degradation across multi-step plans. We propose Fuzzy Category-theoretic Planning (FCP), which annotates each action (morphism) with a degree in [0,1], composes plan quality via a t-norm Lukasiewicz, and retains crisp executability checks […]

Ver mais