The increasing deployment of autonomous AI agents on the web is hampered by a fundamental misalignment: agents must infer affordances from human-oriented user interfaces, leading to brittle, inefficient, and insecure interactions. To address this, we...
The paper extends the well-known Lyusternik-Graves theorem for set-valued mappings to the Holder framework, offers an affirmative answer to an open problem proposed by Dontchev and improves recent results of He and Ng. Primal and dual necessary and s...
Fires and burning are the chief causes of particulate matter (PM2.5), a key measurement of air quality in communities and cities worldwide. This work develops a live fire tracking platform to show active reported fires from over twenty cities in the...
Strategic Workforce Planning is a company process providing best in class, economically sound, workforce management policies and goals. Despite the abundance of literature on the subject, this is a notorious challenge in terms of implementation. Reas...
Deep neural networks have recently led to promising results for the task of multiple sound source localization. Yet, they require a lot of training data to cover a variety of acoustic conditions and microphone array layouts. One can leverage acoustic...
Conventional Congestion Control (CC) algorithms,such as TCP Cubic, struggle in tactical environments as they misinterpret packet loss and fluctuating network performance as congestion symptoms. Recent efforts, including our own MARLIN, have explored...
multiple files for easier management Executable via command line, Apache Ant, Apache Maven, servlet container, or Spring Framework. Support for 10 database
? ? The one-person framework for Rust for side-projects and startups (⭐ 8699)
Aligna AI: A framework specifically designed for AI agent reviewers to provide structured and consistent feedback on code, documentation, and research. Includes guidelines, checklists, and metrics to improve automated review quality and effectiveness. (⭐ 1)
A wrapper for the iPhone's C-based AddressBook framework. (⭐ 227)
A sample .NET Core distributed application based on eShopOnDapr, powered by MASA.Framework,Dapr. (⭐ 306)
Autoformalization serves a crucial role in connecting natural language and formal reasoning. This paper presents MASA, a novel framework for building multi-agent systems for autoformalization driven by Large Language Models (LLMs). MASA leverages col...
In a two-planet system, due to Sundman (1912) inequality, a topological boundary can forbid close encounters between the two planets for infinite time. A system is said Hill stable if it verifies this topological condition. Hill stability is widely u...
Heterogenous data is prevalent in real-world federated learning. We propose a parameter-efficient framework, Federated Low-Rank Adaptive Learning (FLoRAL), that allows clients to personalize in groups by mixing between low-rank adaptors, where the mi...
We continue our study of the collision of two solitons for the subcritical generalized KdV equations. In a previous paper, mainly devoted to the case of the quartic gKdV equation, we have introduced a new framework to understand the collision of tw...
This paper presents the CRISTAL-iSE project as a framework for the management of provenance information in industry. The project itself is a research collaboration between academia and industry. A key factor in the project is the use of a system know...
We set out to solve a dual puzzle regarding reproductive strategies: The "Ancient vs. Modern" Puzzle (why pre-modern elites adopted a "Survival" strategy while modern elites adopt an "Anxiety" strategy) and the "Class Divide" Puzzle (why modern invol...
This paper presents a cooperative multi-robot multi-target tracking framework aimed at enhancing the efficiency of the heterogeneous sensor network and, consequently, improving overall target tracking accuracy. The concept of normalized unused sensin...
In alloy design, the search for candidate materials is often framed as an optimization problem, with the goal of identifying Pareto-optimal solutions across multiple objectives. However, Pareto-optimal solutions do not necessarily satisfy all minimum...
2 days ago · The Maltese Government and UnitelmaSapienza, the online university within the renowned Sapienza University of Rome, signed an agreement to launch a structured framework for enhanced …