Barista simplifies deep neural network design and training.
problem Complexity and error-proneness of editing deep learning frameworks.
method Graphical user interface for Caffe framework.
result Researchers can focus on solving problems without coding.
Graphical Lasso algorithm segments occupants' energy usage behaviors in HC-CP systems.
problem Improving sustainability and energy efficiency in HC-CP systems.
method Introduced a gamification framework and applied Graphical Lasso for energy usage segmentation.
result Characterized different energy usage behaviors in HC-CP systems.
New method tests independence and learns graphs without manual choices.
problem Testing independence of multivariate random variables is hard.
method Link between independence testing and supervised learning.
result Predictive independence tests outperform current methods.
Proposes new feature transformation methods for brain interface models.
problem Sub-optimality of feature ranking and selection in brain interface models.
method Introduces maximum mutual information linear and nonlinear transformations.
result Significantly better performance in binary and multi-class decoding analyses.
Benchpress streamlines benchmarking structure learning algorithms for probabilistic models.
problem Benchmarking structure learning algorithms for probabilistic graphical models.
method Snakemake workflow for scalable, reproducible benchmarks.
result Demonstrates applicability in five typical data scenarios.
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.
A user-friendly interface constructs effective background knowledge from ER diagrams.
problem Inefficient construction of background knowledge by domain experts in ILP systems.
method Design of a graphical user interface to interact with Entity Relationship diagrams to construct modes for a probabilistic logic learning system.
result Domain experts can construct effective background knowledge on par with experts using the graphical interface.
OpenGM is a C++ template library for defining discrete graphical models and performing inference on these models, using a wide range of state-of-the-art algorithms. No restrictions are imposed on the factor graph to allow for higher-order factors and arbitrary neighborhood structures. Large models with repetitive struc…
Graphical models provide powerful tools to uncover complicated patterns in multivariate data and are commonly used in Bayesian statistics and machine learning. In this paper, we introduce the R package BDgraph which performs Bayesian structure learning for general undirected graphical models (decomposable and non-decom…
Rgtsvm provides a fast and flexible support vector machine (SVM) implementation for the R language. The distinguishing feature of Rgtsvm is that support vector classification and support vector regression tasks are implemented on a graphical processing unit (GPU), allowing the libraries to scale to millions of examples…
Study proves convergence of subgradients for optimal transport-based objectives.
problem Ensuring statistical consistency and optimization stability in transport-based models.
method Proves graphical convergence of subdifferentials to the subdifferential of the population objective.
result Standard subgradient methods consistently approach stationary points of the population-level problem.
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.
Named-entity recognition (NER) aims at identifying entities of interest in a text. Artificial neural networks (ANNs) have recently been shown to outperform existing NER systems. However, ANNs remain challenging to use for non-expert users. In this paper, we present NeuroNER, an easy-to-use named-entity recognition tool…
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.
Helix speeds up iterative ML development by optimizing workflow execution.
problem Inefficient manual tuning of ML workflows.
method Declarative system that optimizes workflow execution end-to-end and across iterations, minimizing runtime per iteration.
result Up to an order of magnitude reduction in cumulative run time compared to state-of-the-art tools.
The AMIDST Toolbox is a software for scalable probabilistic machine learning with a spe- cial focus on (massive) streaming data. The toolbox supports a flexible modeling language based on probabilistic graphical models with latent variables and temporal dependencies. The specified models can be learnt from large data s…
This article reviews machine learning methods for behavioral sciences.
problem Applying machine learning to behavioral science data.
method Overview of classical and recent algorithms for tabular, behavioral, and textual data.
result Practical guidance for using machine learning in behavioral science.
Seq2Seq models perform well in generating If-Then programs from natural language.
problem Creating If-Then programs for business process automation without technical expertise.
method Modeling If-Then programs as a sequence learning task using Seq2Seq approaches.
result Seq2Seq models can effectively generate If-Then programs from natural language.
Study shows diffused interface flows to single diffused balls over time.
problem Volume-preserving mean curvature flow in Euclidean space.
method Diffused interface version, exponential convergence proof.
result Exponential convergence to single diffused balls.
Regina is a software package for studying 3-manifold triangulations and normal surfaces. It includes a graphical user interface and Python bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level functions such as 3-sphere recognition, unknot recognit…
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.
New interface explains contextual bandits to non-experts.
problem Interpreting and managing contextual bandits for non-expert operators.
method Developed a metric 'value gain' for off-policy evaluation and designed an interface to explain bandit behavior.
result Empowered non-experts to manage complex machine learning systems through accessible presentation.
This paper introduces the probabilistic module interface, which allows encapsulation of complex probabilistic models with latent variables alongside custom stochastic approximate inference machinery, and provides a platform-agnostic abstraction barrier separating the model internals from the host probabilistic inferenc…
Develops a 2D Allen-Cahn theory for interfaces with boundary.
problem Analyzing interfaces with boundary in the line-bundle framework.
method Constructs a model solution on the punctured plane and develops its stability and invertibility theory.
result Constructs Allen-Cahn sections concentrating on prescribed line segments.
Deep model learns protein interfaces from high-order interactions.
problem Predicting protein interfaces from amino acid pairs.
method Graph neural networks and convolutional neural networks for 2D dense predictions.
result Our method consistently improves interface prediction performance.
We consider the regularity of an interface between two incompressible and inviscid fluids flows in the presence of surface tension. We obtain local in time estimates on the interface in H23k+1 and the velocity fields in H23k. These estimates are obtained using geometric considerations which show th…
Study boundary behavior of limit interfaces in Riemannian manifolds without convexity assumptions.
problem Boundary behavior of limit interfaces in Riemannian manifolds.
method Proves limit-interface is a free boundary varifold, integer rectifiable up to boundary.
result No convexity assumption required; valid even when limit-interface clusters near boundary.
Deep learning predicts curvature of 2D interfaces in level-set method.
problem Estimating curvature in level-set method for complex interfaces.
method Deep learning using feed-forward neural networks trained on synthetic data.
result Deep learning models approximate curvature with comparable precision to traditional methods.
sktime provides a unified interface for time series machine learning.
problem Handling diverse time series learning tasks.
method Unified API for scikit-learn compatible time series tasks.
result Unified approach simplifies time series machine learning.
Interactive interface for specifying complex tasks through demonstrations.
problem Challenges in specifying high-dimensional reward functions for complex tasks.
method Interactive interface with a set of increasingly complex policies trained on demonstrations.
result Successfully learned a complex task (Lunar Lander) with interactive demonstrations.
Study on the regularity of p-Gauss curvature flow near flat interfaces.
problem Regularity of p-Gauss curvature flow near flat interfaces. method Analysis of convex hypersurface near the interface.
result Regularity of the convex hypersurface near the interface.
Analytic patch trees reveal new geometric structures and dimension fields.
problem Understanding the geometric and analytical properties of surface patch trees.
method Developed analytic surface patch trees and introduced interface curves to transmit state.
result Surface patch trees have natural foliations with one-dimensional curve trees and dimension fields.
New BMI interface stabilizes user experience over long periods.
problem Inconsistent neural signal data leads to interface recalibration.
method Adversarial Domain Adaptation Network to match residual distributions.
result Adversarial Domain Adaptation Network outperforms other methods.
Diffuse interface methods have recently been introduced for the task of semi-supervised learning. The underlying model is well-known in materials science but was extended to graphs using a Ginzburg--Landau functional and the graph Laplacian. We here generalize the previously proposed model by a non-smooth potential fun…
Agents learn user preferences with less explicit feedback via spatial interface valuing.
problem Learning user preferences with high cognitive load feedback.
method Spatial Interface Valuing for reduced explicit feedback.
result Agents learn faster with spatial interface valuing compared to explicit feedback.
Common models for two-phase lipid bilayer membranes are based on an energy that consists of an elastic term for each lipid phase and a line energy at interfaces. Although such an energy controls only the length of interfaces, the membrane surface is usually assumed to be at least C1 across phase boundaries. We consi…
Generative adversarial networks improve brain-computer interface performance with limited data.
problem Limited training samples in brain-computer interfaces.
method Conditional Deep Convolutional Generative Adversarial Networks (cDCGAN) for data augmentation.
result Generated artificial EEG data improves classification accuracy in brain-computer interface tasks.
Improved node classification in signed social networks using diffuse interface methods.
problem Classifying nodes in signed social networks (positive and negative interactions).
method Diffuse interface methods based on Ginzburg-Landau functional and extended graph Laplacian.
result Performance improvement in real signed social networks, outperforming state of the art.
Study evaluates features and classifiers for brain-computer interface tasks.
problem Improving accuracy in brain-computer interface communication.
method Examined six classical features and twelve classifiers across nine datasets.
result Energy in α and η bands, and Bayesian classifier with Gaussian assumption, outperform other methods.
This paper uses bandit algorithms to reduce the cost of user interface experimentation in online retail.
problem Reducing the cost of user interface experimentation in online retail.
method Modeling user interface experimentation as an opportunistic bandit problem, reducing the cost of exploration.
result Significant regret reduction and improved contextual information for testing.
Study motion of discrete interfaces on triangular lattice using Almgren, Taylor, and Wang's approach.
problem Motion of discrete interfaces on triangular lattice driven by ferromagnetic interactions.
method Coupling Almgren, Taylor, and Wang's minimizing movements approach with Braides, Gelli, and Novaga's discrete-to-continuum analysis.
result Limit motion of origin-symmetric convex hexagons compared to crystalline curvature evolution.
User interfaces provide an interactive window between physical and virtual environments. A new concept in the field of human-computer interaction is a soft user interface; a compliant surface that facilitates touch interaction through deformation. Despite the potential of these interfaces, they currently lack a signal …
Study on evolving interfaces with complex curvature and density effects.
problem Understanding the dynamics of evolving heterogeneous elastic interfaces.
method Modeling an evolving curve with a density function, analyzing the associated gradient flow evolution.
result Analysis of the preservation and asymptotic behavior of geometric properties in the evolving system.
SimTensor is a multi-platform, open-source software for generating artificial tensor data (either with CP/PARAFAC or Tucker structure) for reproducible research on tensor factorization algorithms. SimTensor is a stand-alone application based on MATALB. It provides a wide range of facilities for generating tensor data w…
Study on liquid-vapor interfaces in stable equilibrium without assuming prior regularity.
problem Understanding the conditions for a liquid-vapor interface to be in stable equilibrium without assuming prior regularity.
method Proposes a weakest set of mathematical assumptions using varifold regularity theory and identifies a suitable stability condition.
result The liquid-vapor interface is a smoothly embedded analytic surface in stable equilibrium.
Study modular concept learning with different oracle interfaces.
problem Learning a concept that is a cross product of component concepts.
method Analyze different types of oracle interfaces and queries.
result Modular concept learning is easier with positive examples and membership queries.
New algorithm allows IGL to work with action-inclusive feedback.
problem IGL's failure in scenarios with action-inclusive feedback.
method Developed an algorithm and provided theoretical guarantees.
result Demonstrated effectiveness on large-scale experiments.