Optimal diagram found for complete graphs with linear trees.
problem Finding optimal diagrams for complete graphs.
method Using a linear tree structure to minimize crossing numbers.
result Optimal diagrams without free hamiltonian cycles for odd .
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
169,291 papers · 148 categories
Trend · papers per month
48 results for “Guy's formula”
New model generates code from GUI screenshots using attention and hierarchical structure.
problem Challenges in converting abstract image features to code.
method Attention-based hierarchical decoder trained end-to-end.
result Model outperforms state-of-the-art methods on GUI-code datasets.
Stock Market Visualizationq-fin.PM
A stock market visualization tool using 'functional visualization' concept.
problem Visualizing stock market data efficiently and accurately.
method Functional visualization concept, GUI for color-coded signals, stock filtering, web/local application.
result Efficiently displays stock market data with color-coded signals and filtering.
The paper solves three problems related to monostable polyhedra.
problem Three problems related to monostable polyhedra posed by Conway and Goldberg.
method General theorem describing approximations of smooth convex bodies by convex polyhedra in terms of static equilibrium points.
result Existence of a convex polyhedron with only one stable and one unstable point.
We study global Mumford-Shah minimizers in , introduced by Bonnet as blow-up limits of Mumford-Shah minimizers. We prove a new monotonicity formula for the energy of when the singular set is contained in a smooth enough cone. We then use this monotonicity to prove that for any reduced global minimizer $(u…
TODS automates time series outlier detection with customizable pipelines.
problem Automated detection of outliers in time series data.
method Modular system with 70 primitives for data processing, time series analysis, and detection algorithms. GUI and data-driven searcher for pipeline design.
result Automated discovery and construction of effective outlier detection pipelines.
We show that every convex polyhedron admits a simple edge unfolding after an affine transformation. In particular there exists no combinatorial obstruction to a positive resolution of Durer's unfoldability problem, which answers a question of Croft, Falconer, and Guy. Among other techniques, the proof employs a topolog…
Deep learning model classifies concurrent human interactions from WiFi data with high accuracy.
problem Classifying concurrent human interactions from WiFi data with high accuracy.
method Attention-BiGRU deep learning model using Multiple Input Multiple Output radio link.
result Maximum benchmark accuracy of 94% for a single subject-pair, 88% for ten subject pairs.
Circular disc can be tiled with up to 3 congruent pieces, showing symmetry.
problem Tiling a circular disc with congruent pieces.
method Proving the existence of a -fold rotational symmetry for .
result First nontrivial estimate on minimum number of tiles for certain tiling configurations.
LIBTwinSVM offers a free library for efficient Twin Support Vector Machines.
problem Large-scale classification problems.
method Efficient implementation of Twin Support Vector Machines.
result Effectiveness demonstrated through benchmarks.
RAMANMETRIX: a delightful way to analyze Raman spectraphysics.data-an
RAMANMETRIX simplifies Raman spectroscopy data analysis.
problem Complexity of Raman spectroscopy data processing.
method User-friendly software with chemometric analysis workflow.
result Facilitates integration of Raman spectroscopy into clinical routines.
stCEG models spatial events using Chain Event Graphs in R.
problem Modeling events over spatial areas.
method Full specification of CEG models from data, interactive plots, web GUI.
result First software for CEGs with full model customisation.
YOLOv3 detects ships in real-time with high accuracy.
problem Real-time target detection in maritime scenarios.
method YOLOv3 model trained on a large dataset of marine vessels.
result Average Precision up to 96% for IoU of 0.5.
Local Lipschitz continuity of sub-elliptic harmonic maps into CAT(0) spaces proved.
problem Proving Lipschitz continuity of sub-elliptic harmonic maps between singular spaces.
method Analyzing sub-elliptic harmonic maps from the Heisenberg group into CAT(0) spaces.
result Local Lipschitz continuity established for sub-elliptic harmonic maps.
I answer an open question left by Gui-Song Li in "On self-intersections of immersed surfaces" (AMS Proceedings, Volume 126, 1998, pp.3721-3726.) The intersection graph of a generic surface is the set of values which are either singularities or intersections. It is a multigraph whose edges are trans…
Sharp uniqueness result for Q-curvature type equation on S^6.
problem Proving uniqueness of axially symmetric solutions to a Q-curvature type equation on S^6.
method New estimates on semi-norm and Gegenbauer coefficients.
result Axially symmetric solutions are constants for a specific range of α.
BPt is a Python library for ML with neuroimaging data.
problem Analyzing large neuroimaging datasets using machine learning.
method Unified framework of ML tools for tabulated and neuroimaging data.
result Unified ML tools for neuroimaging and tabulated data.
Francy enhances GAP for interactive discrete math with web technologies.
problem Lack of abstraction and portability in XGAP for GAP.
method Develops Francy, a graphical semantics package for GAP, integrating web technologies.
result Enhanced usability and accessibility of GAP with rich graphical environment.
ELICA helps analysts extract relevant information during elicitation meetings.
problem Challenges in eliciting requirements due to analyst's lack of domain knowledge.
method ELICA uses a novel information extraction algorithm combining WFSTs and SVMs, presented in an interactive GUI.
result ELICA effectively extracts relevant information in real-time and facilitates interactive and dynamic process.
A generalised framework for detailed classification of swimming paths inside the Morris Water Mazeq-bio.QM
Developed a robust classification framework for swimming paths in Morris Water Maze.
problem Limited use of classification techniques in Morris Water Maze studies.
method Majority voting to boost classification performance and nullify manual tuning.
result Generalised and robust classification methodology implemented successfully.
MaaSim creates an open-source liveability simulation for urban planning.
problem Improving liveability in cities through better urban planning.
method Developed an open-source simulation with AI, feature selection, and optimization.
result Achieved a recall of 0.83 with 10-fold cross-validation for predictions.
CNNs identify stock market trend endpoints based on expert opinion.
problem Finding optimal entry and exit points for stock market trends.
method Three CNN submodels sequentially identify changepoints, locate them, and classify trends as upward, downward, or flat.
result CNNs can identify long-term trends based on expert opinion, offering a new approach to stock market analysis.
Software automates metabolomics data analysis for reproducible results.
problem Automating reproducible metabolomics data analysis.
method Object-oriented software engineering, Java, XML database, GUI, version control system.
result MeKDDaM-SAGA successfully guides metabolomics applications.
flacco simplifies feature-based landscape analysis for optimization problems.
problem Choosing the best optimizer from a portfolio of algorithms.
method Developed an R-package for feature-based landscape analysis.
result Makes landscape analysis accessible and comprehensible.
Proves a general connected sum formula for families Seiberg-Witten invariants.
problem Limited connected sum formulae for families Seiberg-Witten theory.
method Develops a general connected sum formula incorporating previous results.
result Proves a new connected sum formula for Seiberg-Witten families.
Derives an integral formula for G2-structures.
problem Calculating properties of G2-structures.
method Applies an integral formula for G-structures to G2.
result Derives an integral formula relating curvatures and quadratic invariants.
Derives integral formulae on weighted manifolds.
problem No specific problem stated; focuses on mathematical derivations.
method Introduces weighted mean sigma-r curvature and uses weighted Newton transformations.
result Derives integral formulae generalizing previous work.
Paper proves a fixed point formula and applies it to a new proof of Harish-Chandra's character formula.
problem Proving a fixed point formula for equivariant indices of elliptic differential operators.
method Fixed point formula for proper actions by connected semisimple Lie groups on manifolds.
result New proof of Harish-Chandra's character formula for discrete series representations.
Application of a unified Kenmotsu-type formula for surfaces in Euclidean or Lorentzian three-spacemath.DG
Unified formula for surfaces in Euclidean or Lorentzian 3-space.
problem Describe surfaces in Euclidean or Lorentzian 3-space.
method Unified Kenmotsu-type formula for surfaces in Euclidean or Lorentzian 3-space.
result Unified single equation for Kenmotsu-type formulas in Euclidean and Lorentzian 3-space.
Two tropical gluing formulas help calculate Gromov-Witten invariants.
problem Calculating Gromov-Witten invariants of symplectic manifolds.
method Tropical geometry applied to exploded manifolds.
result Generalizes existing formulas for Gromov-Witten invariants.
Paper derives trace formula for magnetic Laplacian at zero energy.
problem Trace formula for magnetic Laplacian at zero energy.
method Generalizes Gutzwiller trace formula, focuses on zero energy level.
result Derives trace formula at zero energy level.
The Gauss formula is extended to various Laplacians on submanifolds.
problem Deriving formulas for Laplacians on submanifolds.
method Extending the Gauss formula to different types of Laplacians.
result Formulas for various Laplacians on submanifolds.
Configuration spaces, bistellar moves, and combinatorial formulae for the first Pontryagin classmath.AT
The paper is devoted to the problem of finding explicit combinatorial formulae for the Pontryagin classes. We discuss two formulae, the classical Gabrielov-Gelfand-Losik formula based on investigation of configuration spaces and the local combinatorial formula obtained by the author in 2004. The latter formula is based…
Note on new cancellation formulas for manifolds.
problem Generalizing anomaly cancellation formulas to manifolds.
method Proving new (a, b) type cancellation formulas and using transgression.
result Obtained characteristic forms with modularity properties.
The study identifies types of manifolds using variational formulas and integral-differential formulas.
problem Identifying specific types of manifolds based on curvature properties.
method Established variational formulas for Ricci curvature bounds and used them to identify manifolds.
result Constant curvature, Einstein, and Ricci parallel manifolds identified with specific formulas.
The main result of the present paper is a coincidence formula for foliated manifolds. To prove this we establish Kuenneth formula, Poincare duality and intersection product in the context of tangential de Rham cohomology and homology of tangential currents. We apply the formula to get a dynamical Lefschetz formula for …
Formula calculates volume of two-bridge knots.
problem Calculating the volume of two-bridge knots.
method Derived from Hopf formula and Fox derivatives.
result Closed formula for the volume of two-bridge knots.
Formula connects surgeries to Seiberg-Witten invariants.
problem Understanding how surgeries affect Seiberg-Witten invariants.
method Proves surgery formulas for Seiberg-Witten invariants and families.
result Expresses new invariants in terms of original ones.
It has been shown that the Alvarez-Gaum-Witten miraculous anomaly cancellation formula in type IIB superstring theory and its various generalizations can be derived from modularity of certain characteristic forms. In this paper, we show that the Green-Schwarz formula and the Schwarz-Witten formula i…
Introduces a universal Bochner formula for scalar curvature.
problem None explicitly stated; focuses on a new formula.
method Introduces a universal Bochner formula.
result Contains special cases like stability inequality and Schrödinger-Lichnerowicz-type formula.
Extension formulae on almost complex manifolds studied with applications.
problem Understanding almost complex manifolds through extension formulae.
method Provided extension formulae and decompositions for almost complex manifolds.
result Studied -forms, -Dolbeault cohomology group, and -forms.
Proves a formula for a special invariant of 4-manifolds.
problem Calculating the Bauer-Furuta invariant for connected sums of 4-manifolds.
method Uses a finite dimensional approximation of the Seiberg-Witten monopole map to derive a formula for the families Bauer-Furuta invariant of a fibrewise connected sum.
result Derives a general connected sum formula for the families Bauer-Furuta invariant.
Proves a special case of the Gaussian kinematic formula using large sphere limits.
problem Proving a special case of the Gaussian kinematic formula.
method Viewing the GKF as the limit of spherical kinematic formulas for large dimension spheres.
result Proves a special case of the Gaussian kinematic formula.
New Crofton formulae derived from existing ones.
problem Generalizing Crofton formulae for products.
method Calculations in the ring of normal densities.
result Generalizations of Crofton formulae in terms of mixed Riemannian volume.
Formulae for non-symmetric connections derived from covariant derivatives.
problem Deriving commutation formulae for non-symmetric affine connections.
method Covariant derivatives of tensors with respect to symmetric and non-symmetric affine connections.
result Formulae for non-symmetric connections derived from covariant derivatives.
Formula connects curvature to volume in special geometric spaces.
problem Deriving formulas for curvature in specific geometric spaces.
method Used strong locality of Laplacian and eigenfunction approximation.
result Proved integral type Gauss-Green formula linking curvature to volume.
Formula for foliations' singularities in complex projective spaces.
problem Counting singularities of foliations on complex projective spaces.
method Global residue formula for logarithmic indices of foliations with isolated singularities.
result Formula for the number of singularities in the complement of the invariant divisor on complex projective spaces.
New formulas for measuring geometric properties of definable sets.
problem Measuring geometric properties of definable sets in a non-standard setting.
method Proved two kinematic formulas integrating on .
result Generalized Cauchy-Crofton and infinitesimal linear kinematic formulas.