Blog
Power-based control of output oscillations with online estimation of biased harmonics
The recently introduced discrete power-based control (Ruderman (2024b)) reduces largely the communication efforts in the control loop when compensating for the marginally damped or even slowly diverging output oscillations. The control commutates twice per oscillations period (at the amplitude peaks) and uses...
Mumott — a Python package for the analysis of multi-modal tensor tomography data
Small and wide angle x-ray scattering tensor tomography are powerful methods for studying anisotropic nanostructures in a volume-resolved manner, and are becoming increasingly available to users of synchrotron facilities. The analysis of such experiments requires, however, advanced procedures and algorithms, which creates...
From Past to Present: A Survey of Malicious URL Detection Techniques, Datasets and Code Repositories
Malicious URLs persistently threaten the cybersecurity ecosystem, by either deceiving users into divulging private data or distributing harmful payloads to infiltrate host systems. Gaining timely insights into the current state of this ongoing battle holds significant importance. However, existing reviews exhibit 4...
Efficient Design of Compliant Mechanisms Using Multi-Objective Optimization
Compliant mechanisms achieve motion through elastic deformation. In this work, we address the synthesis of a compliant cross-hinge mechanism capable of large angular strokes while approximating the behavior of an ideal revolute joint. To capture the competing demands of kinematic fidelity, rotational...
Foliation de Rham cohomology of generic Reeb foliations
In this paper, we prove that there exists a residual subset of contact forms $\lambda$ (if any) on a compact orientable manifold $M$ for which the foliation de Rham cohomology of the associated Reeb foliation $F_\lambda$ is trivial in that both $H^0(F_\lambda,{\mathbb...
HAQA: A Hardware-Guided and Fidelity-Aware Strategy for Efficient Qubit Mapping Optimization
Quantum algorithms rely on quantum computers for implementation, but the physical connectivity constraints of modern quantum processors impede the efficient realization of quantum algorithms. Qubit mapping, a critical technology for practical quantum computing applications, directly determines the execution efficiency and feasibility of...
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
Despite decades of research and practice in automated software testing, several fundamental concepts remain ill-defined and under-explored, yet offer enormous potential real-world impact. We show that these concepts raise exciting new challenges in the context of Large Language Models for software test...
ERASER: Efficient RTL FAult Simulation Framework with Trimmed Execution Redundancy
As intelligent computing devices increasingly integrate into human life, ensuring the functional safety of the corresponding electronic chips becomes more critical. A key metric for functional safety is achieving a sufficient fault coverage. To meet this requirement, extensive time-consuming fault simulation of...
The Dodecacopter: a Versatile Multirotor System of Dodecahedron-Shaped Modules
With the promise of greater safety and adaptability, modular reconfigurable uncrewed air vehicles have been proposed as unique, versatile platforms holding the potential to replace multiple types of monolithic vehicles at once. State-of-the-art rigidly assembled modular vehicles are generally two-dimensional configurations in...
Estimating Random-Walk Probabilities in Directed Graphs
We study discounted random walks in a directed graph. In each vertex, the walk will either terminate with some probability $\alpha$, or continue to a random out-neighbor. We are interested in the probability $\pi(s,t)$ that such a random walk starting in $s$...