arXiv research

Paper proposes a sparse synthetic control method to select important predictors.

Expanding on a Heisenberg group case for a mathematical proposition.

This note is a response to [7] in which it is claimed that [13, Proposition 11] is false. We demonstrate here that this assertion in [7] is false, and is based on a misreading of the notion of set membership in [13, Proposition 11]. We maintain that [13, Proposition 11] is true. ([7] = arXiv:1809.00593, [13] = arXiv:15…

There is an error in the proof of Proposition 3.7. Proposition 3.7 is needed for the proof of the main theorem.

This note corrects conditions in Proposition 3.4 and Theorem 5.2(ii) and comments on imprecisions in Propositions 4.2 and 4.4 in Fissler and Ziegel (2016).

Proposes a link between randomness and compression in deep learning.

Paper withdrawn because of a gap in the proof of Proposition 3 of Thomas Schick: "Integrality of L2-Betti numbers", Math. Ann. 317, 727-750 (arXiv.org/abs/math.gt/0001101). Most results of the withdrawn paper were based on this proposition.

New heat dispersion laws established for smooth compact manifolds.

This study predicts ovarian cancer from cysts using TVUS and machine learning.

The inequality involving Stekloff eigenvalues is tighter than previously thought.

The paper extends orthogonal decomposition results to hermitian Higgs bundles.

Machine Learning has been steadily gaining traction for its use in Anomaly-based Network Intrusion Detection Systems (A-NIDS). Research into this domain is frequently performed using the KDD~CUP~99 dataset as a benchmark. Several studies question its usability while constructing a contemporary NIDS, due to the skewed r…

Artificial neural networks (ANNs) have gained a well-deserved popularity among machine learning tools upon their recent successful applications in image- and sound processing and classification problems. ANNs have also been applied for predicting the family or function of a protein, knowing its residue sequence. Here w…

We study geometric structures of $\mathcal{W}_4$-type in the sense of A. Gray on a Riemannian manifold. If the structure group $\mathrm{G} \subset \SO(n)$ preserves a spinor or a non-degenerate differential form, its intrinsic torsion $Γ$ is a closed 1-form (Proposition \ref{dGamma} and Theorem \ref{Fixspinor}). Using …

Ethnic group classification is a well-researched problem, which has been pursued mainly during the past two decades via traditional approaches of image processing and machine learning. In this paper, we propose a method of classifying an image face into an ethnic group by applying transfer learning from a previously tr…

Paper shows statistical learning can't always lead to true knowledge.

The Riemannian barycentre is one of the most widely used statistical descriptors for probability distributions on Riemannian manifolds. At present, existing algorithms are able to compute the Riemannian barycentre of a probability distribution, only if i.i.d. samples of this distribution are readily available. However,…

This paper has been withdrawn by the author, due to an error in Proposition 2.2.

HKT improves sequence processing with multi-scale attention and kernel analysis.

This paper has been withdrawn by the author due to an error in the proof of Proposition 4.8.

. In this paper, an effective computer-aided diagnosis (CAD) system is presented to detect MI signals using the convolution neural network (CNN) for urban healthcare in smart cities. Two types of transfer learning techniques are employed to retrain the pre-trained VGG-Net (Fine-tuning and VGG-Net as fixed feature extra…

In this paper, we will study the existence problem of minmax minimal torus. We use classical conformal invariant geometric variational methods. We prove a theorem about the existence of minmax minimal torus in Theorem 5.1. Firstly we prove a strong uniformization result(Proposition 3.1) using method of [1]. Then we use…

This is the last in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars. The conjecture asserts that the integrand of any such integral can be expressed as…

This is a corrected version of our paper published in Osaka Journal of Mathematics 51(2014), 673-693. We correct Theorem~1.1, Proposition~3.3 and their proofs.

We show a few propositions in favour of relations between the phase space of 3D gravity, moduli of quasi-Fuchsian groups, global solutions of cosh-Gordon equations and minimal surfaces in hyperbolic spaces.

Process mining sheds new light on the relationship between process models and real-life processes. Process discovery can be used to learn process models from event logs. Conformance checking is concerned with quantifying the quality of a business process model in relation to event data that was logged during the execut…

We describe an error in the proof of a key proposition, which was necessary for the proof of the main result. Alternate proofs of the main result are given by Ozsvath-Stipsicz-Szabo and Dai-Hom-Stoffregen-Truong.

Convolutional neural network localizes OD and fovea in UWFoV-SLO images.

Paper withdrawn due to errors (superseded by math.AG/0604303). Proposition 11.4 is false, Section 12 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.

We use the notion of generalized signatures at a singularity of a smooth curve of symmetric bilinear forms to determine a formula for the computation of the Maslov index in the case of a real-analytic path having possibly non transversal intersections. We discuss some applications of the theory, with special emphasis o…

Convolutional neural networks (CNNs) have obtained astounding successes for important pattern recognition tasks, but they suffer from high computational complexity and the lack of interpretability. The recent Tsetlin Machine (TM) attempts to address this lack by using easy-to-interpret conjunctive clauses in propositio…

Formula for renormalized area of hypersurfaces in hyperbolic spaces.

Although it is known that the dimension of the Vassiliev invariants of degree three of long virtual knots is seven, the complete list of seven distinct Gauss diagram formulas have been unknown explicitly, where only one known formula was revised without proof. In this paper, we give seven Gauss diagram formulas to pres…

In this paper, we prove that a Gorenstein toric Fano variety $(X, -K_{X})$ is asymptotically Chow semistable then it is Ding polystable with respect to toric test configurations (Theorem 1.3). This extends the known result obtained by others (Theorem 1.2) to the case where $X$ admits Gorenstein singularity. We also sho…

Deep neural networks reduce portfolio tail-risk by 99% in crisis-era simulations.

In this note, we give the correct statements of [2,Proposition 3.3 and Theorem 3.4] and a formula of the Chern curvature in terms of the curvature tensor $R^V$ of the affine connection $\nabla^V$ and the Chern tensor $P$.

This is a corrected version of my paper "Application of integral geometry to minimal surfaces" appeared in International J. Math. vol. 4 Nr. 1 (1993), 89-111. The correction concerns Proposition 3.5. We discuss this correction in Appendix to the original version of my published paper by reproducing our correspondence w…

Skull stripping is usually the first step for most brain analysisprocess in magnetic resonance images. A lot of deep learn-ing neural network based methods have been developed toachieve higher accuracy. Since the 3D deep learning modelssuffer from high computational cost and are subject to GPUmemory limit challenge, a …

The Basel II internal ratings-based (IRB) approach to capital adequacy for credit risk plays an important role in protecting the Australian banking sector against insolvency. We outline the mathematical foundations of regulatory capital for credit risk, and extend the model specification of the IRB approach to a more g…

Study improves dividend discount model using VAR process.

The Hodge-de Rham Theorem is introduced and discussed. This result has implications for the general study of several partial differential equations. Some propositions which have applications to the proof of this theorem are used to study some related results concerning a class of partial differential equation in a nove…

The main results of the paper are Proposition 3 and 4 which provide an effective way to construct minimal hypersurfaces in a Euclidean space. We demonstrate our technique by several new examples. This note is English translation of an earlier draft version written (in Russian) in September 1999. The final version of th…

Szabó recently introduced a combinatorially-defined spectral sequence in Khovanov homology. After reviewing its construction and explaining our methodology for computing it, we present results of computations of the spectral sequence. Based on these computations, we make a number of conjectures concerning the structure…

We propose an algorithm for electrocardiogram (ECG) segmentation using a UNet-like full-convolutional neural network. The algorithm receives an arbitrary sampling rate ECG signal as an input, and gives a list of onsets and offsets of P and T waves and QRS complexes as output. Our method of segmentation differs from oth…

Neuro# learns heuristics to speed up #SAT solvers.

This paper develops a mathematical framework for the analysis of continuous-time trading strategies which, in contrast to the classical setting of continuous-time mathematical finance, does not rely on stochastic integrals or other probabilistic notions. Our purely analytic framework allows for the derivation of a path…

Algorithm of construction of all knots, links with given number of crosses on diagram of knot, link is offered. This algorithm is based on simple proposition, that there is a representation of knot (link) as closure of braid with n threads and length of this braid does not exceed n(4n-5)+2.

The problem-solving in automated theorem proving (ATP) can be interpreted as a search problem where the prover constructs a proof tree step by step. In this paper, we propose a deep reinforcement learning algorithm for proof search in intuitionistic propositional logic. The most significant challenge in the application…