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.
A discrete method approximates hyperbolic curvature flow in the plane.
problem Modeling wave phenomena in solid-liquid interfaces.
method Semidiscrete finite difference method for hyperbolic curvature flow.
result Error bounds for natural discrete norms are proven.
We study the motion of discrete interfaces driven by ferromagnetic interactions in a two-dimensional low-contrast periodic environment, by coupling the minimizing movements approach by Almgren, Taylor and Wang and a discrete-to-continuum analysis. As in a recent paper by Braides and Scilla dealing with high-contrast pe…
New method extracts hidden phases in binary mixtures using tubular tilings.
problem Hidden phases in binary mixtures are difficult to observe.
method Introduce tubular tilings for discretizing binary mixtures on smooth manifolds.
result Recover topological information about hidden phases from observable phases and interfaces.
We study the motion of discrete interfaces driven by ferromagnetic interactions in a two-dimensional periodic environment by coupling the minimizing movements approach by Almgren, Taylor and Wang and a discrete-to-continuous analysis. The case of a homogeneous environment has been recently treated by Braides, Gelli and…
simpcomp is an extension to GAP, the well known system for computational discrete algebra. It allows the user to work with simplicial complexes. In the latest version, support for simplicial blowups and discrete normal surfaces was added, both features unique to simpcomp. Furthermore, new functions for constructing cer…
The paper studies graphs minimizing Dirichlet energy with analytic boundaries, confirming a conjecture about singularities.
problem Understanding the singularities of area-minimizing currents with real analytic boundaries.
method Analyzing multi-valued graphs with real analytic interfaces that minimize Dirichlet energy.
result Dirichlet energy-minimizers with analytic boundary singularities are discrete in 2 dimensions, confirming a conjecture by B. White.
Generalizes Fermat's principle for wave propagation in cone structures.
problem Wave propagation in complex media with discontinuities and anisotropy.
method Generalizes Fermat's principle to smooth interfaces separating two cone structures representing wave propagation in various media.
result Conditions for critical points of arrival time functional, generalizing Snell's law and reflection.
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.
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…
Enhances EEG signal classification using non-Gaussian neutral vectors.
problem Challenges in classifying EEG signals for brain-computer interfaces.
method Transformed mDWT coefficients into neutral vectors, applied feature selection.
result Feature selection improves classification accuracy.
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.
Learning a natural language interface for database tables is a challenging task that involves deep language understanding and multi-step reasoning. The task is often approached by mapping natural language queries to logical forms or programs that provide the desired response when executed on the database. To our knowle…
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…
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…
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.
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.
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.
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…
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.
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.
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.
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.
AI learns to design chemical processes efficiently.
problem Designing efficient chemical processes.
method Hierarchical reinforcement learning and graph neural networks.
result Quick learning in various decision spaces.
Generative model learns spin-glass dynamics and properties.
problem Complex behavior of many-body systems in statistical physics and computer science.
method Self-supervised learning with normalizing flows.
result Key physical and computational properties of spin-glasses are learned.
Prediction Factory automates predictive model development and evaluation.
problem Rapidly developing and sharing predictive models with domain experts.
method Data science automation system with three interfaces: baseline, full, and optional automation.
result Full automation interface generated reports funded 57.5% of the time, compared to 42.5% for baseline.
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…
New AI assistant for power grid operators simplifies complex decision-making.
problem Complexity and uncertainty in power grid operations.
method Unified human-machine interface and AI integration.
result Development of a new assistant framework for power grid operators.
Study creates web interface to elicit user-preferred metrics.
problem Eliciting classification metrics that align with user preferences.
method Developed a web-based interface and conducted a user study.
result Users preferred metrics that align with their task and context.
2d dualities linked to 4-simplex triangulation.
problem Exploring dualities between 2d and 3d theories via 4-manifold geometry.
method Using Pachner moves and supersymmetric half-indices.
result Identified IR dualities and abelian dualities.
Study stability and bifurcation of liquid interfaces in cylindrical supports.
problem Stability and bifurcation of liquid interfaces in cylindrical support surfaces.
method Analysis of eigenvalues of the Jacobi operator, Plateau-Rayleigh instability, bifurcation theory.
result Conditions for the emergence of new morphologies and bifurcations from circular cylinders.
We address the double bubble problem for the anisotropic Grushin perimeter Pα, α≥0, and the Lebesgue measure in R2, in the case of two equal volumes. We assume that the contact interface between the bubbles lays on either the vertical or the horizontal axis. Since no regularity theory is available i…
Data-driven approach learns effective equations for phase field interfaces.
problem Learning accurate equations for phase field interface dynamics.
method Data-driven identification of partial differential equations from phase field data.
result Data-driven equations outperform analytical approximations in certain regimes.
PeL separates sensory interface optimization from decision learning.
problem Optimizing sensory interfaces without task-specific information.
method Formal separation of perception and decision learning, using metrics for stability, informativeness, and geometry.
result Updates preserving invariants are orthogonal to decision gradients.
Proves long-term smoothness of curved surfaces evolving under specific curvature rules.
problem Long-term regularity of curved surfaces evolving under p-Gauss curvature flow. method Transformed the curvature flow into a Monge-Ampère equation and studied its asymptotic cone.
result Proved regularity of the interface in all dimensions for $p> rac1n$.
dynestyx: A library for probabilistic programming of dynamical systems
problem integrating state-space models into probabilistic programming languages
method a unified interface for specifying priors and performing inference
result principled uncertainty quantification for state and parameters
Piano Genie lets non-musicians improvise on a piano.
problem Improvising on the piano for non-musicians.
method Trained recurrent neural network autoencoders with discrete bottlenecks to learn mappings between user inputs and piano pieces.
result Piano Genie allows users to improvise on the piano with musically meaningful constraints.