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.
Method predicts hardware resource usage by control software with guaranteed linear convergence.
This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.
funcGNN uses graph neural networks to estimate program similarity efficiently.
Method controls extrapolation in prediction profiles for statistical and machine learning models.
Improving software quality through effective organizational learning.
This work uses GANs to generate realistic vehicle test inputs.
Two clustering algorithms optimize edge controller placement in wireless networks.
Automation engineering is the task of integrating, via software, various sensors, actuators, and controls for automating a real-world process. Today, automation engineering is supported by a suite of software tools including integrated development environments (IDE), hardware configurators, compilers, and runtimes. The…
SafePILCO is a Python tool for safe reinforcement learning.
Method learns software resource usage from snapshots.
A machine learning environment for detecting autonomous vehicle corner cases.
RAMANMETRIX simplifies Raman spectroscopy data analysis.
Forest management relies on the evaluation of silviculture practices. The increase in natural risk due to climate change makes it necessary to consider evaluation criteria that take natural risk into account. Risk integration in existing software requires advanced programming skills.We propose a user-friendly software …
ModSSC unifies semi-supervised classification for various data types.
The number of possible methods of generalizing binary classification to multi-class classification increases exponentially with the number of class labels. Often, the best method of doing so will be highly problem dependent. Here we present classification software in which the partitioning of multi-class classification…
Paper uses DeePC to improve urban traffic lights, reducing congestion and emissions.
We use a control framework to analyze the digital vendor's profit maximization problem. The vendor captures market share by focusing costly effort on post-launch product maintenance, which influences user perception of the product and drives a revenue stream associated with product use. Our theoretical results show nec…
TreeCaps improves code comprehension for software developers.
This work presents MeKDDaM-SAGA, computer-aided automation software for implementing a novel knowledge discovery and data mining process model that was designed for performing justifiable, traceable and reproducible metabolomics data analysis. The process model focuses on achieving metabolomics analytical objectives an…
DRIFT uses RL to automate functional software testing efficiently.
Multimodal deep learning improves flaw detection in software programs.
KnotPlot helps beginners and veterans use software for visualizing knots.
We present a unified method, based on convex optimization, for managing the power produced and consumed by a network of devices over time. We start with the simple setting of optimizing power flows in a static network, and then proceed to the case of optimizing dynamic power flows, i.e., power flows that change with ti…
Research proposes an ensemble learning model for efficient software defect prediction.
In order to satisfy safety conditions, an agent may be constrained from acting freely. A safe controller can be designed a priori if an environment is well understood, but not when learning is employed. In particular, reinforcement learned (RL) controllers require exploration, which can be hazardous in safety critical …
Traditional control methods are inadequate in many deployment settings involving control of Cyber-Physical Systems (CPS). In such settings, CPS controllers must operate and respond to unpredictable interactions, conditions, or failure modes. Dealing with such unpredictability requires the use of executive and cognitive…
Improved software flaw detection using NAS on multimodal DL models.
Software Defined Networking (SDN) achieves programmability of a network through separation of the control and data planes. It enables flexibility in network management and control. Energy efficiency is one of the challenging global problems which has both economic and environmental impact. A massive amount of informati…
Azure (the cloud service provided by Microsoft) is composed of physical computing units which are called nodes. These nodes are controlled by a software component called Fabric Controller (FC), which can consider the nodes to be in one of many different states such as Ready, Unhealthy, Booting, etc. Some of these state…
Software development effort estimation is considered a fundamental task for software development life cycle as well as for managing project cost, time and quality. Therefore, accurate estimation is a substantial factor in projects success and reducing the risks. In recent years, software effort estimation has received …
Existing language models such as n-grams for software code often fail to capture a long context where dependent code elements scatter far apart. In this paper, we propose a novel approach to build a language model for software code to address this particular issue. Our language model, partly inspired by human memory, i…
This paper tackles co-design of neural hardware and software to improve efficiency.
The public package registry npm is one of the biggest software registry. With its 216 911 software packages, it forms a big network of software dependencies. In this paper we evaluate various methods for finding similar packages in the npm network, using only the structure of the graph. Namely, we want to find a way of…
Although software analytics has experienced rapid growth as a research area, it has not yet reached its full potential for wide industrial adoption. Most of the existing work in software analytics still relies heavily on costly manual feature engineering processes, and they mainly address the traditional classification…
The purpose of this study is to introduce new design-criteria for next-generation hyperparameter optimization software. The criteria we propose include (1) define-by-run API that allows users to construct the parameter search space dynamically, (2) efficient implementation of both searching and pruning strategies, and …
Survey of software developers' experience with Github Copilot tool.
Recent research on Software-Defined Networking (SDN) strongly promotes the adoption of distributed controller architectures. To achieve high network performance, designing a scheduling function (SF) to properly dispatch requests from each switch to suitable controllers becomes critical. However, existing literature ten…
Existing malware detectors on safety-critical devices have difficulties in runtime detection due to the performance overhead. In this paper, we introduce PROPEDEUTICA, a framework for efficient and effective real-time malware detection, leveraging the best of conventional machine learning (ML) and deep learning (DL) te…
A deep-learning inference accelerator is synthesized from a C-language software program parallelized with Pthreads. The software implementation uses the well-known producer/consumer model with parallel threads interconnected by FIFO queues. The LegUp high-level synthesis (HLS) tool synthesizes threads into parallel FPG…
Software helps teach latent variable methods in multivariate data analytics.
Deep learning is extremely computationally intensive, and hardware vendors have responded by building faster accelerators in large clusters. Training deep learning models at petaFLOPS scale requires overcoming both algorithmic and systems software challenges. In this paper, we discuss three systems-related optimization…
The generation of artificial data based on existing observations, known as data augmentation, is a technique used in machine learning to improve model accuracy, generalisation, and to control overfitting. Augmentor is a software package, available in both Python and Julia versions, that provides a high level API for th…
Software estimates inequality in random systems with changing communities.
AEC Games model represents software MARL environments better than POSGs.
Scoping review and benchmarking of synthetic EHR data generation methods.
Modern physics has demonstrated that matter behaves very differently as it approaches the speed of light. This paper explores the implications of modern physics to the operation and regulation of financial markets. Information cannot move faster than the speed of light. The geographic separation of market centers means…
With the rise of social media like Twitter and of software distribution platforms like app stores, users got various ways to express their opinion about software products. Popular software vendors get user feedback thousandfold per day. Research has shown that such feedback contains valuable information for software de…
The paper proposes a new framework for accurate uncertainty representation and propagation.