Identifying a biclique with the maximum number of edges bears considerab...
Dynamic data flow analysis has been widely used to guide greybox fuzzing...
In this paper we propose and analyze a general arbitrarily high-order
mo...
In this work we construct a stochastic contact variational integrator an...
Physics-informed neural networks (PiNNs) recently emerged as a powerful
...
In this paper, we introduce and analyze a high-order quadrature rule for...
A class of Hamiltonian stochastic differential equations with multiplica...
Maximal clique enumeration (MCE) is a fundamental problem in graph theor...
This paper proposes a general symplectic Euler scheme for a class of
Ham...
The Kalman filter is extensively used for state estimation for linear sy...