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.
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.
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 n≥7. 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.
We study global Mumford-Shah minimizers in RN, introduced by Bonnet as blow-up limits of Mumford-Shah minimizers. We prove a new monotonicity formula for the energy of u when the singular set K is contained in a smooth enough cone. We then use this monotonicity to prove that for any reduced global minimizer $(u…
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 k-fold rotational symmetry for k≤3. 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 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 M(i) of a generic surface i:F→S3 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.
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.