Synthesizes static analysis for probabilistic programs.
problem Optimize learning process, verify models, improve programming interface.
method Organize and analyze static analysis techniques for probabilistic programming.
result Future directions for improvement in statistical machine learning.
Study classifies static potentials on 3-manifolds, proving one-dimensionality under specific conditions.
problem Classifying the dimension of static potentials on 3-manifolds.
method Analysis of relative zero sets of static potentials, using Miao and Tam's technique.
result Proves one-dimensionality of static potentials under specific conditions.
In this study, we investigate the limits of the current state of the art AI system for detecting buffer overflows and compare it with current static analysis tools. To do so, we developed a code generator, s-bAbI, capable of producing an arbitrarily large number of code samples of controlled complexity. We found that t…
The study finds static solutions in symplectic curvature flow in 4D.
problem Finding static solutions in symplectic curvature flow in 4D.
method Derived a local normal form for static solutions and used Cartan-Kahler theorem for solitons.
result Every complete static solution to symplectic curvature flow in 4D is Kahler-Einstein.
In this paper we propose and discuss a notion of mass for compact static metrics with positive cosmological constant. As a consequence, we characterise the de Sitter solution as the only static vacuum metric with zero mass. Finally, we show how to adapt our analysis to the case of negative cosmological constant, leadin…
Neural model predicts procedure names in stripped binaries.
problem Reverse engineering stripped executables with limited debug information.
method Combines static analysis with neural models to predict procedure names.
result Improves prediction accuracy by 28% and 100% over state-of-the-art models.
In this paper we propose a new robust algorithm to find the optimal static replicating portfolios for general nonlinear payoff functions and give the estimate of the rate of convergence that is absent in the literature. We choose the static replication by minimizing the error bound between the nonlinear payoff function…
Physics-informed methods infer spatial dynamics from static snapshots, but limits exist.
problem Inferring spatial dynamics from static molecular patterns.
method Combining flexible representations with mechanistic constraints, analyzing structural identifiability, and adapting physics-informed schemes.
result Static spatial patterns can identify spatially varying dynamics, but limits exist due to modeling choices.
The paper uses machine learning to detect malicious executable files.
problem Detecting malicious executable files using static analysis.
method Pre-processing, cleaning, encoding, feature selection, and ensemble training of classifiers.
result An ensemble of classifiers effectively detects malicious executable files.
In this paper we present a new approach to the study of asymptotically flat static metrics arising in general relativity. In the case where the static potential is bounded, we introduce new quantities which are proven to be monotone along the level set flow of the potential function. We then show how to use these prope…
Paper presents a machine learning algorithm for hedging ETF options, outperforming static hedging methods.
problem Semi-static hedging of ETF options with transaction costs and varying market conditions.
method Data-driven machine learning algorithm considering transaction costs, automated portfolio management, and PnL attribution analysis.
result The static hedging approach outperforms dynamic hedging methods in terms of profit and loss.
The paper extends gluing theorems for linearized gravitational fields in static spacetimes with cosmological constant.
problem Establishing gluing theorems for linearized vacuum gravitational fields on characteristic surfaces.
method Analyzing linearised Einstein equations in Bondi gauge on static four-dimensional spacetimes with cosmological constant.
result Generalization and extension of gluing theorems to include cosmological constant and arbitrary topology.
Adapts data analysis for growing data, improving generalization guarantees.
problem Challenges of overfitting and statistical validity in adaptive workflows with growing data.
method Generalizes adaptive analysis on dynamic data, incorporating time-varying empirical accuracy bounds and mechanisms.
result First generalization bounds for adaptive analysis on dynamic data, matching prior works' improvement over data splitting.
Attack graphs provide compact representations of the attack paths that an attacker can follow to compromise network resources by analysing network vulnerabilities and topology. These representations are a powerful tool for security risk assessment. Bayesian inference on attack graphs enables the estimation of the risk …
Adaptive PCA algorithms for changing environments.
problem Static adversarial regret is not suitable for changing environments.
method Online adaptive algorithms for PCA and variance minimization with sub-linear adaptive regret guarantees.
result The proposed algorithms adapt to changing environments.
We use methods of complex analysis to extend the bundle structure across a removable point-singularity in a Sasakian three-manifold.
Hybrid approach combines ASTs and deep learning for PowerShell malware detection.
problem Detecting malicious PowerShell scripts effectively.
method Combining static program analysis (ASTs) with deep learning.
result Preliminary results show promising classification of PowerShell scripts by family type.
This is the second article of a series or two, proving a generalisation of the uniqueness theorem of the Schwarzschild solution. The theorem to be shown classifies all (metrically complete) solutions of the static vacuum Einstein equations with compact but non-necessarily connected horizon without any further assumptio…
Attack graphs are a powerful tool for security risk assessment by analysing network vulnerabilities and the paths attackers can use to compromise network resources. The uncertainty about the attacker's behaviour makes Bayesian networks suitable to model attack graphs to perform static and dynamic analysis. Previous app…
The new field of adaptive data analysis seeks to provide algorithms and provable guarantees for models of machine learning that allow researchers to reuse their data, which normally falls outside of the usual statistical paradigm of static data analysis. In 2014, Dwork, Feldman, Hardt, Pitassi, Reingold and Roth introd…
Method estimates forces from agent trajectories to infer static obstacles.
problem Estimating forces from agent trajectories to infer static obstacles.
method Artificial neural networks to estimate non-parametric velocity fields.
result Incrementally learns velocity fields due to static objects.
The paper extends gluing theorems for gravitational fields in higher dimensions.
problem Proving gluing theorems for linearised gravitational fields on characteristic hypersurfaces.
method Analyzing linearised vacuum gravitational fields in (n+1)-dimensional static spacetimes with cosmological constant. result Generalization of gluing theorems to higher dimensions, extending previous work on light cones.
The Minkowski inequality is a classical inequality in differential geometry, giving a bound from below, on the total mean curvature of a convex surface in Euclidean space, in terms of its area. Recently there has been interest in proving versions of this inequality for manifolds other than R^n; for example, such an ine…
This paper is a continuation of Akahori-Barsotti-Imamura (2017) and where the authors i) showed that a payment at a random time, which we call timing risk, is decomposed into an integral of static positions of knock-in type barrier options, ii) proposed an iteration of static hedge of a timing risk by regarding the hed…
Local well-posedness proved for Bartnik static extension near Schwarzschild spheres.
problem Proving well-posedness for the Bartnik static extension problem near Schwarzschild spheres.
method Introduced a geodesic gauge to formulate governing equations as coupled elliptic and transport equations; used Bochner-measurable functions for transport equations.
result Established local well-posedness for arbitrary Bartnik data near Schwarzschild spheres, including those with small mean curvature.
Paper presents a method for recognizing human actions using GLAC features from motion and static images.
problem Action recognition in 3D depth videos.
method 3D Motion Trail Model (3DMTM) for MHIs and SHIs, GLAC features extraction, l2-regularized Collaborative Representation Classifier (l2-CRC) for classification.
result The method outperforms other approaches in recognizing human actions.
New static vacuum metrics confirmed for near Euclidean boundary data.
problem Establishing sufficient conditions for near Euclidean boundary data in static vacuum metrics.
method Using new arguments from studying the conjecture for arbitrary static vacuum metrics.
result Any hypersurface in a dense subfamily is static regular.
Novel model for predicting event intensities from static and time series data.
problem Predicting event intensities from static and irregularly sampled time series data.
method Neural controlled differential equations and signature-based CoxSig model.
result The CoxSig model provides theoretical learning guarantees and performs well on various datasets.
A new method simulates implied volatility surfaces for multiple assets.
problem Generating consistent market scenarios for multiple asset implied volatilities.
method Combining functional data analysis and neural SDEs with a penalty for model misspecification.
result Simulated market scenarios are consistent with historical features and lie within the sub-manifold of essentially free static arbitrage.
This paper analyzes diversity measures for streaming data ensembles.
problem Understanding diversity measures for streaming data ensembles.
method Theoretical analysis of diversity measures for streaming data ensembles.
result Analysis provides deeper understanding of diversity and its impact on online ensemble learning.
Network sampling is integral to the analysis of social, information, and biological networks. Since many real-world networks are massive in size, continuously evolving, and/or distributed in nature, the network structure is often sampled in order to facilitate study. For these reasons, a more thorough and complete unde…
Extends static vacuum metrics with specific boundary conditions.
problem Proving the existence of static vacuum metrics with prescribed boundary data.
method Introducing static regular types (I) and (II), showing local well-posedness, and confirming Bartnik's conjecture.
result Confirms Bartnik's static vacuum extension conjecture for a broad range of boundary conditions.
We prove two theorems, announced in hep-th/0108170, for static spacetimes that solve Einstein's equation with negative cosmological constant. The first is a general structure theorem for spacetimes obeying a certain convexity condition near infinity, analogous to the structure theorems of Cheeger and Gromoll for manifo…
Paper uses dynamic analysis to detect malware with PHMMs.
problem Malware detection using static and dynamic analysis techniques.
method Hidden Markov Models (HMMs) and Profile Hidden Markov Models (PHMMs) trained on API call sequences.
result PHMMs outperform HMMs in malware detection.
Framework predicts implied volatility surface without arbitrage.
problem Predicting implied volatility surface without static arbitrage.
method Two-step framework: feature selection and deep neural network (DNN) construction.
result DNN model for surface construction removes static arbitrage and reduces prediction error.
We classify static manifolds which admit more than one static decomposition whenever a condition on the curvature is fullfilled. For this, we take a standard static vector field and analyze its associated one parameter family of projections onto the base. We show that the base itself is a static manifold and the warpin…
For large-scale industrial processes under closed-loop control, process dynamics directly resulting from control action are typical characteristics and may show different behaviors between real faults and normal changes of operating conditions. However, conventional distributed monitoring approaches do not consider the…
Study of 3D vacuum static spaces with specific curvature properties.
problem Classifying 3D vacuum static spaces with certain curvature conditions.
method Used generalized maximum principle to classify 3D spaces.
result Gave a complete classification of 3D complete vacuum static spaces.
Paper finds exact solutions for static fluids with symmetries.
problem Finding exact solutions for static fluids with symmetries.
method Utilized symmetries to solve Einstein's equation for a perfect fluid on a static manifold.
result Exact solutions found for static fluids with symmetries.
New rigidity theorem on static manifolds with boundary.
problem Static metrics on manifolds with boundary.
method Obata-type rigidity theorem, sufficient geometric conditions.
result Scalar curvature map can be locally surjective at static metrics on manifolds with boundary.
Geometric inequalities for static convex domains in hyperbolic space proved.
problem Proving geometric inequalities for static convex domains in hyperbolic space.
method Using static convexity of flow hypersurfaces, new inequalities are derived.
result New family of geometric inequalities for static convex domains in hyperbolic space.
The paper classifies vacuum static spaces with harmonic curvature.
problem Classifying vacuum static spaces with harmonic curvature.
method Extending the 4-dimensional work by Kim-Shin, the paper classifies n-dimensional spaces (n≥5). result New counterexamples to the Fischer-Marsden conjecture on compact vacuum static spaces.
The paper investigates geometrical aspects of static spacetime with almost gradient Ricci solitons.
problem Geometrical properties of static spacetime with almost gradient Ricci solitons.
method Analyzing conditions and properties of static spacetime with almost gradient Ricci solitons.
result Conditions and properties of static spacetime with almost gradient Ricci solitons are determined.
The study proves geometric inequalities for static convex domains in static rotationally symmetric spaces.
problem Proving geometric inequalities for static convex domains in static rotationally symmetric spaces.
method Locally constrained curvature flow in a static rotationally symmetric space Nn+1, proving graphical solutions and static convexity preservation. result Proves weighted geometric inequalities for static convex domains close to a slice of Nn+1. Proves equality in Minkowski inequality for static, flat manifolds.
problem Proving equality in Minkowski inequality for static, flat manifolds.
method Analyzes quasi-spherical metrics and static manifolds.
result Equality in Minkowski inequality achieved only by Schwarzschild space slices.
Researchers found specific conformal groups for Einstein static universe models.
problem Understanding conformal groups of Einstein static universe models.
method Constructed explicit models for restricted conformal groups and universal covering groups.
result Determined all conformal Lorentz manifolds with maximal restricted conformal group dimension.
Geometric flow method finds static extensions for axisymmetric data.
problem Bartnik's static metric extension conjecture under axisymmetry.
method Geometric flow coupled with Weyl-Papapetrou formalism.
result Axisymmetric static extensions found for various data.
We consider Killing vector fields on standard static space-times and obtain equations for a vector field on a standard static space-time to be Killing. We also provide a characterization of Killing vector fields on standard static space-times with compact Riemannian parts.