Tootfinder

This https://arxiv.org/abs/2109.01002 has been replaced.
link: https://scholar.google.com/scholar?q=a

DocTer: Documentation Guided Fuzzing for Testing Deep Learning API Functions
Input constraints are useful for many software development tasks. For example, input constraints of a function enable the generation of valid inputs, i.e., inputs that follow these constraints, to test the function deeper. API functions of deep learning (DL) libraries have DL specific input constraints, which are described informally in the free form API documentation. Existing constraint extraction techniques are ineffective for extracting DL specific input constraints. To fill this gap, we …

This https://arxiv.org/abs/2404.06423 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Deep Reinforcement Learning-Based Approach for a Single Vehicle Persistent Surveillance Problem with Fuel Constraints
This article presents a deep reinforcement learning-based approach to tackle a persistent surveillance mission requiring a single unmanned aerial vehicle initially stationed at a depot with fuel or time-of-flight constraints to repeatedly visit a set of targets with equal priority. Owing to the vehicle's fuel or time-of-flight constraints, the vehicle must be regularly refueled, or its battery must be recharged at the depot. The objective of the problem is to determine an optimal sequence of vi…

This https://arxiv.org/abs/2310.14966 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Rational Q-systems at Root of Unity I. Closed Chains
The solution of Bethe ansatz equations for XXZ spin chain with the parameter $q$ being a root of unity is infamously subtle. In this work, we develop the rational $Q$-system for this case, which offers a systematic way to find all physical solutions of the Bethe ansatz equations at root of unity. The construction contains two parts. In the first part, we impose additional constraints to the rational $Q$-system. These constraints eliminate the so-called Fabricius-McCoy (FM) string solutions, yie…

Grid-constrained online scheduling of flexible electric vehicle charging
Emily van Huffelen, Roel Brouwer, Marjan van den Akker
https://arxiv.org/abs/2403.03109

Grid-constrained online scheduling of flexible electric vehicle charging
We study Electric Vehicle (EV) charging from a scheduling perspective, aiming to minimize delays while respecting the grid constraints. A network of parking lots is considered, each with a given number of charging stations for electric vehicles. Some of the parking lots have a roof with solar panels. The demand that can be served at each parking lot is limited by the capacity of the cables connecting them to the grid. We assume that EVs arrive at the parking lots according to a known distributi…

This https://arxiv.org/abs/2211.09638 has been replaced.
link: https://scholar.google.com/scholar?q=a

Revisiting leptonic nonunitarity
In the presence of extra neutrino states at high scales, the low-energy effective $3\times 3$ leptonic mixing matrix (LMM) is in general nonunitary. We revisit the question of what is our current knowledge of individual LMM matrix elements without assuming unitarity. We first demonstrate that a minimal set of experimental constraints suffices in bounding LMM nonunitarity parameters to the level of ${\cal O}(10^{-3})$, without the use of neutrino oscillation data. We then revisit oscillation res…

This https://arxiv.org/abs/2210.11426 has been replaced.
link: https://scholar.google.com/scholar?q=a

The Promise of Future Searches for Cosmic Topology
The shortest distance around the Universe through us is unlikely to be much larger than the horizon diameter if microwave background anomalies are due to cosmic topology. We show that observational constraints from the lack of matched temperature circles in the microwave background leave many possibilities for such topologies. We evaluate the detectability of microwave background multipole correlations for sample cases. Searches for topology signatures in observational data over the large space…

Mixed Strategy Constraints in Continuous Games
Mel Krusniak, Forrest Laine
https://arxiv.org/abs/2402.17874 https://arxiv.org/pdf/240…

Mixed Strategy Constraints in Continuous Games
Equilibrium problems representing interaction in physical environments typically require continuous strategies which satisfy opponent-dependent constraints, such as those modeling collision avoidance. However, as with finite games, mixed strategies are often desired, both from an equilibrium existence perspective as well as a competitive perspective. To that end, this work investigates a chance-constraint-based approach to coupled constraints in generalized Nash equilibrium problems which are s…

This https://arxiv.org/abs/2311.07277 has been replaced.
link: https://scholar.google.com/scholar?q=a

AdaCCD: Adaptive Semantic Contrasts Discovery Based Cross Lingual Adaptation for Code Clone Detection
Code Clone Detection, which aims to retrieve functionally similar programs from large code bases, has been attracting increasing attention. Modern software often involves a diverse range of programming languages. However, current code clone detection methods are generally limited to only a few popular programming languages due to insufficient annotated data as well as their own model design constraints. To address these issues, we present AdaCCD, a novel cross-lingual adaptation method that can…

Demonstrating a Robust Walking Algorithm for Underactuated Bipedal Robots in Non-flat, Non-stationary Environments
Oluwami Dosunmu-Ogunbi, Aayushi Shrivastava, Jessy W Grizzle
https://arxiv.org/abs/2403.02486

Demonstrating a Robust Walking Algorithm for Underactuated Bipedal Robots in Non-flat, Non-stationary Environments
This work explores an innovative algorithm designed to enhance the mobility of underactuated bipedal robots across challenging terrains, especially when navigating through spaces with constrained opportunities for foot support, like steps or stairs. By combining ankle torque with a refined angular momentum-based linear inverted pendulum model (ALIP), our method allows variability in the robot's center of mass height. We employ a dual-strategy controller that merges virtual constraints for preci…

This https://arxiv.org/abs/2310.14966 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Rational Q-systems at Root of Unity I. Closed Chains
The solution of Bethe ansatz equations for XXZ spin chain with the parameter $q$ being a root of unity is infamously subtle. In this work, we develop the rational $Q$-system for this case, which offers a systematic way to find all physical solutions of the Bethe ansatz equations at root of unity. The construction contains two parts. In the first part, we impose additional constraints to the rational $Q$-system. These constraints eliminate the so-called Fabricius-McCoy (FM) string solutions, yie…