Push recovery during locomotion will facilitate the deployment of humanoid robots in human-centered environments. In this paper, we present a unified framework for walking control and push recovery for humanoid robots, leveraging the arms for push re...
This paper presents a sampling-based planning algorithm for in-hand manipulation of a grasped object using a series of external pushes. A high-level sampling-based planning framework, in tandem with a low-level inverse contact dynamics solver, effect...
Intersection crossing represents one of the most dangerous sections of the road infrastructure and Connected Vehicles (CVs) can serve as a revolutionary solution to the problem. In this work, we present a novel framework that detects preemptively col...
Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of quantum logic. This paper focuses on the category SupOMLatLin of complet...
The traditional framework for feature selection treats all features as costing the same amount. However, in reality, a scientist often has considerable discretion regarding which variables to measure, and the decision involves a tradeoff between mode...
Getting the O'Kay Blog to work with Kay Framework Trunk (⭐ 1)
Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum programs. To t...
Many engineering and scientific applications require high precision arithmetic. IEEE~754-2008 compliant (floating-point) arithmetic is the de facto standard for performing these computations. Recently, posit arithmetic has been proposed as a drop-in...
An attempt at a framework to automate metasploit by making the machine learning modules as plug and play packages. Alpha software and still developing. Essentially a fork of Deep Exploit at https://github.com/13o-bbr-bbq/machine_learning_security/tree/master/D…
Virtual machines manipulation framework (⭐ 103)
We present an end-to-end framework for generating synthetic users for evaluating interactive agents designed to encourage positive behavior changes, such as in health and lifestyle coaching. The synthetic users are grounded in health and lifestyle co...
A JavaScript framework to easily operate in global financial markets. (⭐ 1)
Sep 14, 2025 · Always specify geography and framework when citing a definition — ‘middle market’ means different things at Bain Capital vs. a family office in Dallas. The middle market encompasses …
In this paper we relate the geometric Poisson brackets on the Grassmannian of 2-planes in R^4 and on the (2,2) Moebius sphere. We show that, when written in terms of local moving frames, the geometric Poisson bracket on the Moebius sphere does not re...
Hydra is a framework for elegantly configuring complex applications (⭐ 10240)
In this paper we propose efficient methods for elicitation of complexly structured preferences and utilize these in problems of decision making under (severe) uncertainty. Based on the general framework introduced in Jansen, Schollmeyer and Augustin...
Security operation centers (SOCs) all over the world are tasked with reacting to cybersecurity alerts ranging in severity. Security Orchestration, Automation, and Response (SOAR) tools streamline cybersecurity alert responses by SOC operators. SOAR t...
The present paper proposes a new framework for describing the stock price dynamics. In the traditional geometric Brownian motion model and its variants, volatility plays a vital role. The modern studies of asset pricing expand around volatility, tryi...
We extend the skein lasagna theory of Morrison-Walker-Wedrich to 4-manifolds with corners and formulate gluing formulas for 4-manifolds with boundary and, more generally, with corners. As an application, we develop a categorical framework for a prese...
We develop a comprehensive analytical and numerical framework for boundary integral equations (BIEs) of the 2D Lamé system on cornered domains. By applying local Mellin analysis on a wedge, we obtain a factorizable characteristic equation for the si...