We develop a mixed-precision iterative refinement framework for solving low-rank Lyapunov matrix equations $AX + XA^T + W =0$, where $W=LL^T$ or $W=LSL^T$. Via rounding error analysis of the algorithms we derive sufficient conditions for the attainab...
This paper discusses model order reduction of LTI systems over limited frequency intervals within the framework of balanced truncation. Two new \emph{frequency-dependent balanced truncation} methods were developed, one is \emph{SF-type frequency-depe...
Interpolatory methods offer a powerful framework for generating reduced-order models (ROMs) for non-parametric or parametric systems with time-varying inputs. Choosing the interpolation points adaptively remains an area of active interest. A greedy f...
We discuss model reduction for a particular class of quadratic-bilinear (QB) descriptor systems. The main goal of this article is to extend the recently studied interpolation-based optimal model reduction framework for QBODEs [Benner et al. '16] to a...
Battery Energy Storage Systems (BESS) are critical for modern power networks, supporting grid services such as frequency regulation, peak shaving, and black start. Delivering a BESS under an Engineering, Procurement, and Construction (EPC) model requ...
RTC-Tools is an open-source Python framework for modeling, simulation, and optimization of dynamic systems. Its core engine is domain-agnostic and extensible, supporting linear and nonlinear optimization, goal programming, and optimization under uncertainty. R…
An Open-Source Multi-Market Bidding Framework for Energy Storage Systems including European Day-ahead and Intraday Markets (⭐ 15)
We consider a Bayesian framework for estimating the sample size of a clinical trial. The new approach, called BESS, is built upon three pillars: Sample size of the trial, Evidence from the observed data, and Confidence of the final decision in the po...
In 1989 Supplee described an apparent relativistic paradox on which a submarine seems to sink to observers at rest within the ocean, but it rather seems to float in the submarine proper frame. In this letter, we show that the paradox arises from a mi...
In this paper, we develop a modified differential Structure from Motion (SfM) algorithm that can estimate relative pose from two consecutive frames despite of Rolling Shutter (RS) artifacts. In particular, we show that under constant velocity assumpt...
GirlHook is a Lua-scriptable ART hook framework designed for dynamic method interception and gadget-level instrumentation on Android. G.I.R.L. stands for Gadget-Injection Runtime for Lua, highlighting its modular native core and script-driven flexibility. Girl…
In this work, we investigate a simple and must-known conditional generative framework based on Vector Quantised-Variational AutoEncoder (VQ-VAE) and Generative Pre-trained Transformer (GPT) for human motion generation from textural descriptions. We s...
An agentic company research tool powered by LangGraph and Tavily that conducts deep diligence on companies using a multi-agent framework. It leverages Google's Gemini 2.5 Flash and OpenAI's GPT-5.1 on the backend for inference. (⭐ 1603)
⚡️ A Go framework for rapidly building powerful graphql services (⭐ 1580)
This work proposes a hybrid-precision neural network training framework with an eNVM based computational memory unit executing the weighted sum operation and another SRAM unit, which stores the error in weight update during back propagation and the r...
Following his observation the author has described in the papers [1] to [4] the formation of a Lightning Ball (LB)with the help of a new theory of symmetry breaking of the vortex ring. In the frame of this theory he emphasizes the primordial rule of...
Text-to-video generation has made significant strides, but replicating the capabilities of advanced systems like OpenAI Sora remains challenging due to their closed-source nature. Existing open-source methods struggle to achieve comparable performanc...
Mitotic counting is a vital prognostic marker of tumor proliferation in breast cancer. Deep learning-based mitotic detection is on par with pathologists, but it requires large labeled data for training. We propose a deep classification framework for...
A smooth, easy-to-deploy, and easy-to-extend OLED UI framework, based on C++. (⭐ 2307)
This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train two network...