This paper benchmarks UNSW-NB15 as a modern alternative to KDD-99 for A-NIDS.
problem Skewed response distribution and non-stationarity in KDD-99 hamper A-NIDS performance.
method Compared UNSW-NB15 to KDD-99 and NSL-KDD using various classification models and SMOTE oversampling.
result UNSW-NB15 outperforms KDD-99 and NSL-KDD in minority class performance, suggesting it as a better benchmark.
Researchers tackle malaria control as a reinforcement learning problem with limited data.
problem Learning optimal malaria control policies with scarce data.
method Applied Genetic Algorithm, Bayesian Optimization, and Q-learning with sequence breaking.
result Q-Learning with sequence breaking achieved 7th place in the KDD Cup challenge.
Chromatic Learning reduces feature dimensions for sparse datasets.
problem Sparse, high-dimensional data challenges traditional learning methods.
method Graph coloring over co-occurrence graph to create dense feature representation.
result Compresses sparse datasets significantly while maintaining model accuracy.
We present a system that enables rapid model experimentation for tera-scale machine learning with trillions of non-zero features, billions of training examples, and millions of parameters. Our contribution to the literature is a new method (SA L-BFGS) for changing batch L-BFGS to perform in near real-time by using stat…
This paper uses β-VAE for unsupervised anomaly detection in NSL-KDD.
problem Unsupervised anomaly detection in network traffic.
method β-VAE with latent space structure and reconstruction error.
result Latent space exploitation is more effective for classification tasks.
Project compares KDDCup99 and NSL-KDD datasets using ML classifiers.
problem Quality and bias in IoT network intrusion detection datasets.
method Evaluation of various ML classifiers on both datasets.
result NSL-KDD dataset is of higher quality with lower bias.
Measuring the impact of scientific articles is important for evaluating the research output of individual scientists, academic institutions and journals. While citations are raw data for constructing impact measures, there exist biases and potential issues if factors affecting citation patterns are not properly account…
A prediscretisation of numerical attributes which is required by some rule learning algorithms is a source of inefficiencies. This paper describes new rule tuning steps that aim to recover lost information in the discretisation and new pruning techniques that may further reduce the size of rule models and improve their…
BGRL learns graph representations without costly negative examples.
problem Efficient representation learning on large graphs without labels.
method Bootstrapped Graph Latents (BGRL) learns by predicting augmentations.
result BGRL achieves state-of-the-art performance with 2-10x memory savings.
Proposes an autonomous IDS using multiple learning techniques.
problem Autonomous and zero-day attack detection in IDS.
method Parallel use of GRU, CNN, and random forest; majority vote and OR logic combination.
result Achieved high accuracy (87.28%) on NSL-KDD's 'KDDTest+' dataset.
Study cup products on CAT(0) cube complexes, proving quasimorphisms' vanishing results.
problem Understanding cup products in higher bounded cohomology groups.
method Extending vanishing results from Brooks quasimorphisms to median quasimorphisms on CAT(0) cube complexes.
result Vanishing results for cup products of median quasimorphisms on CAT(0) cube complexes.
CupNet prunes neural nets for cup-shaped data.
problem Pruning neural networks for cup-shaped data.
method Used simulated cup drawing data to prune a neural network.
result Pruning effectively reduces network size for cup-shaped data.
Let two Heegaard splittings V1∪W1 and V2∪W2 of a 3-manifold M be given. We consider the union stabilization M=V∪W which is a common stabilization of V1∪W1 and V2∪W2 having the property that V=V1∪V2. We show that any two Heegaard splittings of a 3-manifold have a uni…
This paper considers the challenge of evaluating a set of classifiers, as done in shared task evaluations like the KDD Cup or NIST TREC, without expert labels. While expert labels provide the traditional cornerstone for evaluating statistical learners, limited or expensive access to experts represents a practical bottl…
Formula for computing triple-cup product from Heegaard diagrams of 3-manifolds.
problem Computing the triple-cup product invariant of 3-manifolds.
method Explicit formula from Heegaard diagrams and reduction of Turaev's homotopy intersection form.
result Triple-cup product can be recovered from Heegaard diagrams and Turaev's form.
New method compares geometric and standard cup products.
problem Reconciling partially defined and fully defined cochain products.
method Vector field flow through cubulation to compare products.
result Explicit cochain level comparison between intersection and cup products.
Relative cup-length defined for non-Morse functions on manifolds.
problem Defining a lower bound on critical points of non-Morse functions.
method Using local Morse cohomology and cohomology of isolating neighborhoods.
result A lower bound on critical points stronger than absolute cup-length.
The paper shows how to transform certain 3-manifold Heegaard splittings into simpler forms.
problem Weakly reducible Heegaard splittings with limited compression disks.
method Untelescoping of Heegaard splittings to simplify structures.
result Transformed splittings have fewer compression disks and clearer structures.
Let T be a separating incompressible torus in a 3-manifold M. Assuming that a genus g Heegaard splitting V∪SW can be positioned nicely with respect to T (e.g. V∪SW is strongly irreducible), we obtain an upper bound on the number of stabilizations required for V∪SW to become isotopic to a…
Glaucoma is the second leading cause of blindness all over the world, with approximately 60 million cases reported worldwide in 2010. If undiagnosed in time, glaucoma causes irreversible damage to the optic nerve leading to blindness. The optic nerve head examination, which involves measurement of cup-to-disc ratio, is…
This study predicts ovarian cancer from cysts using TVUS and machine learning.
problem Early detection of ovarian cancer from cysts using TVUS screening.
method Employed Random Forest, KNN, and XGBoost machine learning techniques on PLCO dataset.
result Achieved high accuracy, recall, f1 score, and precision in predicting ovarian cancer.
A hybrid machine learning model predicts soccer match scores for FIFA Women's World Cups.
problem Forecasting soccer match scores for FIFA Women's World Cups.
method Combining bookmaker consensus and team strength parameters in a random forest model.
result The model favors the defending champion USA over the host France.
Our main result offers a new (quite systematic) way of deriving bounds for the cup-length of Poincare spaces over fields; we outline a general research program based on this result. For the oriented Grassmann manifolds, already a limited realization of the program leads, in many cases, to the exact values of the cup-le…
It follows from a theorem of Gromov that the stable systolic category of a closed manifold is bounded from below by the rational cup-length of the manifold. In the paper we study the inequality in the opposite direction. In particular, combining our results with Gromov's theorem, we prove the equality of stable systoli…
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…
Let M=H+∪SH− be a genus g Heegaard splitting with Heegaard distance n≥κ+2: (1) Let c1, c2 be two slopes in the same component of ∂−H−, such that the natural Heegaard splitting Mi=H+∪S(H−∪ci2−handle) has distance less than n, then the distance…
Uniform criterion for vanishing products in bounded cohomology.
problem Vanishing of cup products and Massey products in bounded cohomology.
method Uniform vanishing criterion for products in bounded cohomology.
result Reproved and extended previous vanishing results.
New trilinear form invariant for hyperbolic or malnormal knots.
problem Invariants for hyperbolic or malnormal knots.
method Introduce a trilinear form as a topological invariant.
result Trilinear form equals the pairing of the (twisted) triple cup product and the fundamental relative 3-class.
Proves cup product homomorphism for bounded cohomology on negatively curved manifolds.
problem Understanding cup product behavior in bounded cohomology.
method Analyzes map Ψ* associating closed forms to bounded cohomology classes via integration.
result Proves Ψ* preserves cup product in sufficiently high degrees.
Paper tackles depth estimation and optic disc-cup segmentation from color fundus images.
problem Depth estimation and optic disc-cup segmentation from color fundus images.
method Uses fully convolutional networks for monocular retinal depth estimation and optic disc-cup segmentation.
result Demonstrates improved accuracy in depth estimation and optic disc-cup segmentation.
AutoIDS uses auto-encoders to detect network intrusions efficiently.
problem Detecting network intrusions with high accuracy and efficiency.
method Semi-supervised machine learning with cascading encoder-decoder neural networks.
result AutoIDS achieves 90.17% accuracy on NSL-KDD dataset, superior to other methods.
Study shows exact forms in bounded cohomology are in radical of cup product.
problem Understanding bounded cohomology of negatively curved manifolds.
method Integrating 2-forms over simplices to define bounded cocycles and studying cup products.
result Exact forms in bounded cohomology are in the radical of the cup product.
Extends Gromov's optimal systolic inequality to manifolds with specific cohomology properties.
problem Finding optimal systolic inequalities for manifolds with complex cohomology structures.
method Extends Gromov's inequality to manifolds with fundamental cohomology classes as cup products of 2-dimensional classes.
result Provides an optimal systolic inequality for a new class of manifolds.
Geometrically interprets cup products and defines combinatorial Pin structures.
problem Understanding Steenrod's cup products and their geometric interpretation.
method Constructs vector fields and combinatorial frames to interpret cochain-level formulas.
result Geometrically interprets cup products and defines Pin structures combinatorially.
Fan tokens surged before World Cup matches, but declined during them, revealing cognitive biases.
problem Analyzing the impact of FIFA World Cup matches on fan tokens.
method Event study and intraday analysis of blockchain-based fan tokens.
result Fan tokens experienced a surge in returns six months before the World Cup, followed by a decline during the matches, revealing asymmetries in performance.
We prove the vanishing of the cup product of the bounded cohomology classes associated to any two Brooks quasimorphisms on the free group. This is a consequence of the vanishing of the square of a universal class for tree automorphism groups.
New invariant connects virtual and classical linking numbers.
problem Linking numbers and virtual links.
method Introducing a quandle invariant Qtc(L) that preserves linking properties. result Invariant Qtc(L) is a quandle invariant that preserves linking properties. DeepEthnic classifies faces into ethnic groups with high accuracy.
problem Classifying faces into ethnic groups using machine learning.
method Transfer learning from a large-scale data recognition network.
result State-of-the-art success rates for four ethnic groups.
Let n, q and r be positive integers, and let KNn be the n-skeleton of an (N−1)-simplex. We show that for N sufficiently large every embedding of KNn in R2n+1 contains a link L1∪⋯∪Lr consisting of r disjoint n-spheres, such that the linking number link(Li,Lj) is …
We construct cup and cap products in intersection (co)homology with field coefficients. The existence of the cap product allows us to give a new proof of Poincare duality in intersection (co)homology which is similar in spirit to the usual proof for ordinary (co)homology of manifolds.
We give a complete calculation of the infinity flavor of Heegaard Floer homology with mod 2 coefficients for all three-manifolds and torsion Spin^c structures. The computation agrees with the conjectured calculation of Ozsvath and Szabo. This therefore establishes an isomorphism with Mark's cup homology mod 2.
Extended systolic inequality for 2-complexes to improve group systolic area bounds.
problem Improving bounds on systolic area of various groups.
method Extended systolic inequality for piecewise Riemannian 2-complexes.
result Improved universal lower bound for systolic area of many groups.
We obtain a classification up to isomorphism of complex-analytic supermanifolds with underlying space CP1 of dimension 1∣3 with retract (k,k,k), where k∈Z. More precisely, we prove that classes of isomorphic complex-analytic supermanifolds of dimension 1∣3 with retract (k,k,k) are in o…
A novel resampling technique addresses class imbalance in imbalanced datasets.
problem Class imbalance in real-world datasets, especially in rare event detection.
method Developed two oversampling algorithms: G1Nos 1-Nearest Neighbour.
result Our oversampling algorithms outperform state-of-the-art methods in all metrics.
The valence of a function f at a point w is the number of distinct, finite solutions to f(z)=w. Let f be a complex-valued harmonic function in an open set R⊆C. Let S denote the critical set of f and C(f) the global cluster set of f. We show that f(S)∪C(f) partitions the com…
Adding an unknot to any link equals its bridge number and meridional rank.
problem Proving the Meridional Rank Conjecture for any link.
method Embedding an unknot in a link's complement to achieve the conjecture and proving it for new families of links.
result Bridge numbers and meridional ranks are equal for any link and its unknot.
Identifies a mod-p triple cup product for rational homology 3-spheres with specific first homology.
problem Locally flat embeddings in S4 for rational homology 3-spheres method Using triple torsion linking form and torsion-linking duality
result Identifies the mod-p triple cup product for specific rational homology 3-spheres Paper presents CAD system for MI detection in smart cities.
problem Detecting myocardial infarction (MI) in urban healthcare settings.
method Employed transfer learning techniques to retrain VGG-Net for ECG signal classification.
result Achieved high accuracy, sensitivity, and specificity in MI detection.