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.
MACER accelerates error repair by modularly identifying and applying fixes.
Novel CNN-based gaze scanpath comparison distinguishes experts from novices in dental radiograph interpretation.
Based on administrative data of unemployed in Belgium, we estimate the labour market effects of three training programmes at various aggregation levels using Modified Causal Forests, a causal machine learning estimator. While all programmes have positive effects after the lock-in period, we find substantial heterogenei…
Learning color mixing is difficult for novice painters. In order to support novice painters in learning color mixing, we propose a prediction model for semitransparent pigment mixtures and use its prediction results to create a Smart Palette system. Such a system is constructed by first building a watercolor dataset wi…
We present a learning-based system for rapid mass-scale material synthesis that is useful for novice and expert users alike. The user preferences are learned via Gaussian Process Regression and can be easily sampled for new recommendations. Typically, each recommendation takes 40-60 seconds to render with global illumi…
Evaluating surgeon skill has predominantly been a subjective task. Development of objective methods for surgical skill assessment are of increased interest. Recently, with technological advances such as robotic-assisted minimally invasive surgery (RMIS), new opportunities for objective and automated assessment framewor…
Over the past one hundred years, the classic teaching methodology of "see one, do one, teach one" has governed the surgical education systems worldwide. With the advent of Operation Room 2.0, recording video, kinematic and many other types of data during the surgery became an easy task, thus allowing artificial intelli…
The computational demands of computer vision tasks based on state-of-the-art Convolutional Neural Network (CNN) image classification far exceed the energy budgets of mobile devices. This paper proposes FixyNN, which consists of a fixed-weight feature extractor that generates ubiquitous CNN features, and a conventional …
New method forecasts workforce reintegration success rates.
Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to applications like question answering that may involve complex arithmetic and logic reason…
In this paper we propose a Bayesian nonparametric model for clustering partial ranking data. We start by developing a Bayesian nonparametric extension of the popular Plackett-Luce choice model that can handle an infinite number of choice items. Our framework is based on the theory of random atomic measures, with the pr…
The recent successes of deep learning have led to a wave of interest from non-experts. Gaining an understanding of this technology, however, is difficult. While the theory is important, it is also helpful for novices to develop an intuitive feel for the effect of different hyperparameters and structural variations. We …
dYdX updates liquidity provider incentives to enhance trading efficiency.
Background: Virtual reality simulators and machine learning have the potential to augment understanding, assessment and training of psychomotor performance in neurosurgery residents. Objective: This study outlines the first application of machine learning to distinguish "skilled" and "novice" psychomotor performance du…
This paper completes a programme to determine which toric surfaces admit Kahler metrics of constant scalar curvature/
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…
On-device CNN inference for real-time computer vision applications can result in computational demands that far exceed the energy budgets of mobile devices. This paper proposes FixyNN, a co-designed hardware accelerator platform which splits a CNN model into two parts: a set of layers that are fixed in the hardware pla…
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…
We outline a framework which generalizes Felix Klein's Erlanger Programm which he announced in 1872 after exchanging ideas with Sophus Lie.
The paper gives a review of progress towards extending the Thurston programme to the Poincare duality case. For a full abstract, see the published version at the above link.
This study categorizes RWA tokenization challenges and solutions.
We give some detailed numerical information about extremal metrics on four different toric surfaces. These are sample of many other cases which can be treated using a computer programme outlined in the paper.
Study optimizes CT and microinsurance for efficient social protection in low-income countries.
We discuss of the conceptual difficulties connected with the anticommutativity of classical fermion fields, and we argue that the "space" of all classical configurations of a model with such fields should be described as an infinite-dimensional supermanifold M. We discuss the two main approaches to supermanifolds, and …
Autodock is a widely used molecular modeling tool which predicts how small molecules bind to a receptor of known 3D structure. The current version of AutoDock uses meta-heuristic algorithms in combination with local search methods for doing the conformation search. Appropriate settings of hyperparameters in these algor…
In this study, after introducing algebraic properties of real quaternions some characterizations of quaternionic involute-evolute curves in Q are obtained. And some results and theorems for quaternionic w-curves are given. Lastly, we illustrate some examples and draw their figures with Mathematica Programme.
Transformers can emulate various algorithms by prompting, proving universality.
In this paper, we obtain the differential equations of the space-like loxodromes on the non-degenerate canal surfaces depending on the causal characters of these canal surfaces and their meridians in Minkowski 3-space. Also we give an example by using Mathematica computer programme.
Deep learning is still not a very common tool in speaker verification field. We study deep convolutional neural network performance in the text-prompted speaker verification task. The prompted passphrase is segmented into word states - i.e. digits -to test each digit utterance separately. We train a single high-level f…
In these expository notes we draw together and develop the ideas behind some recent progress in two directions: the treatment of finite type partial differential operators by prolongation, and a class of differential complexes known as detour complexes. This elaborates on a lecture given at the IMA Summer Programme ``S…
Mode decomposition is a prototypical pattern recognition problem that can be addressed from the (a priori distinct) perspectives of numerical approximation, statistical inference and deep learning. Could its analysis through these combined perspectives be used as a Rosetta stone for deciphering mechanisms at play in de…
This paper attempts to relate some ideas of Grothendieck in his Esquisse d'un programme and some of the recent results on 2-dimensional topology and geometry. Especially, we shall discuss the Teichmüller theory, the mapping class groups, representation variety of surface groups, and Thurston's theory o…
We study on a new kind of surface covered by translation and factorable (TF-type) surfaces in the three dimensional Euclidean space. We consider I and III Laplace-Beltrami operator surfaces of a TF-type surface. Then we obtain degrees and classes of algebraic surfaces of the surfaces using eliminate methods on software…
This paper proposes a new way to quantize classical mechanical systems. Here we use ALAG - programme to construct moduli space of half weighted Bohr - Sommerfeld lagrangian cycles of fixed volume which is our quantum phase space. "Dynamical correspondence" principle makes possible to prove that this ALAG - quantization…
Automatic program repair holds the potential of dramatically improving the productivity of programmers during the software development process and correctness of software in general. Recent advances in machine learning, deep learning, and NLP have rekindled the hope to eventually fully automate the process of repairing…
Deep neural networks (DNNs) frequently contain far more weights, represented at a higher precision, than are required for the specific task which they are trained to perform. Consequently, they can often be compressed using techniques such as weight pruning and quantization that reduce both the model size and inference…
Automates translating natural language to Verilog for digital design.
New rational curvature measures for 2-complexes.
We build deep RL agents that execute declarative programs expressed in formal language. The agents learn to ground the terms in this language in their environment, and can generalize their behavior at test time to execute new programs that refer to objects that were not referenced during training. The agents develop di…
In this study, we try to semi-real quaternionic curves in the semi-Euclidean space E_2^4. Firstly, we introduce algebraic properties of semi-real quaternions. And then, we give some characterizations of semi-real quaternionic involute-evolute curves in the semi-Euclidean space E_2^4. Lastly, we illustrate some examples…
A new method streamlines digital payment programming using smart contracts.
The problem at the heart of this tutorial consists in modeling the path choice behavior of network users. This problem has been extensively studied in transportation science, where it is known as the route choice problem. In this literature, individuals' choice of paths are typically predicted using discrete choice mod…
Graph neural networks improve charged particle tracking on FPGAs.
These lecture notes provide a self-contained introduction to the mathematical methods required in a Bachelor degree programme in Business, Economics, or Management. In particular, the topics covered comprise real-valued vector and matrix algebra, systems of linear algebraic equations, Leontief's stationary input-output…
New priors improve robustness and interpretability in penalized regression.
A framework for faster, better infographic design by non-experts and experts alike.
Study forecasts food security trends using real-time data.
In this work, we focus on the problem of entity alignment in Knowledge Graphs (KG) and we report on our experiences when applying a Graph Convolutional Network (GCN) based model for this task. Variants of GCN are used in multiple state-of-the-art approaches and therefore it is important to understand the specifics and …