中文
相关论文

相关论文: Data-Driven Dimensional Synthesis of Diverse Plana…

200 篇论文

This paper presents a novel approach for constructing neural networks which model charged particle beam dynamics. In our approach, the Taylor maps arising in the representation of dynamics are mapped onto the weights of a polynomial neural…

神经与进化计算 · 计算机科学 2020-07-08 Andrei Ivanov , Ilya Agapov

This paper introduces a novel model-free approach to synthesize virtual sensors for the estimation of dynamical quantities that are unmeasurable at runtime but are available for design purposes on test benches. After collecting a dataset of…

最优化与控制 · 数学 2021-03-24 Daniele Masti , Daniele Bernardini , Alberto Bemporad

The Dynamic-Mode Decomposition (DMD) is a well established data-driven method of finding temporally evolving linear-mode decompositions of nonlinear time series. Traditionally, this method presumes that all relevant dimensions are sampled…

动力系统 · 数学 2021-01-13 Christopher W. Curtis , Daniel Jay Alford-Lago

Nonlinear constrained optimization problems are encountered in many scientific fields. To utilize the huge calculation power of current computers, many mathematic models are also rebuilt as optimization problems. Most of them have…

最优化与控制 · 数学 2011-10-03 Wei Zhang , Xudong Shi , Liwen Wang

3D human dance motion is a cooperative and elegant social movement. Unlike regular simple locomotion, it is challenging to synthesize artistic dance motions due to the irregularity, kinematic complexity and diversity. It requires the…

图形学 · 计算机科学 2020-06-11 Wenlin Zhuang , Yangang Wang , Joseph Robinson , Congyi Wang , Ming Shao , Yun Fu , Siyu Xia

Structural nonlinearity can be harnessed to program complex functionalities in robotic devices. However, it remains a challenge to design nonlinear systems that will accomplish a specific, desired task. The responses that we typically…

其他计算机科学 · 计算机科学 2025-11-25 Parisa Omidvar , Marc Serra-Garcia

Synthesizing a program that realizes a logical specification is a classical problem in computer science. We examine a particular type of program synthesis, where the objective is to synthesize a strategy that reacts to a potentially…

人工智能 · 计算机科学 2020-01-01 Alberto Camacho , Sheila A. McIlraith

Synthesizing user-intended programs from a small number of input-output examples is a challenging problem with several important applications like spreadsheet manipulation, data wrangling and code refactoring. Existing synthesis systems…

人工智能 · 计算机科学 2018-09-17 Ashwin Kalyan , Abhishek Mohta , Oleksandr Polozov , Dhruv Batra , Prateek Jain , Sumit Gulwani

Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, however, existing methods are unable to synthesize complex…

系统与控制 · 电气工程与系统科学 2022-03-22 Steven Adams , Morteza Lahijanian , Luca Laurenti

A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\eg, time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete)…

计算机科学中的逻辑 · 计算机科学 2014-09-11 Bing Liu , Soonho Kong , Sicun Gao , Paolo Zuliani , Edmund M. Clarke

Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and examples. Examples provide a precise but incomplete…

We present a novel method for training score-based generative models which uses nonlinear noising dynamics to improve learning of structured distributions. Generalizing to a nonlinear drift allows for additional structure to be incorporated…

机器学习 · 统计学 2025-07-10 Jeremiah Birrell , Markos A. Katsoulakis , Luc Rey-Bellet , Benjamin J. Zhang , Wei Zhu

Tabular data is common yet typically incomplete, small in volume, and access-restricted due to privacy concerns. Synthetic data generation offers potential solutions. Many metrics exist for evaluating the quality of synthetic tabular data;…

机器学习 · 计算机科学 2024-04-01 Scott Cheng-Hsin Yang , Baxter Eaves , Michael Schmidt , Ken Swanson , Patrick Shafto

The use of machine learning (ML) methods for development of robust and flexible visual inspection system has shown promising. However their performance is highly dependent on the amount and diversity of training data. This is often…

计算机视觉与模式识别 · 计算机科学 2024-10-22 Juraj Fulir , Natascha Jeziorski , Lovro Bosnar , Hans Hagen , Claudia Redenbach , Petra Gospodnetić , Tobias Herrfurth , Marcus Trost , Thomas Gischkat

In recent years, diffusion models (DMs) have become a popular method for generating synthetic data. By achieving samples of higher quality, they quickly became superior to generative adversarial networks (GANs) and the current…

计算机视觉与模式识别 · 计算机科学 2024-05-14 Denisa Qosja , Simon Wagner , Daniel O'Hagan

In this paper, we consider a control synthesis problem for a class of polynomial dynamical systems subject to bounded disturbances and with input constraints. More precisely, we aim at synthesizing at the same time a controller and an…

最优化与控制 · 数学 2011-07-11 Mohamed Amin Ben Sassi , Antoine Girard

A significant challenge in autonomous racing is to generate overtaking maneuvers. Racing agents must execute these maneuvers on complex racetracks with little room for error. Optimization techniques and graph-based methods have been…

机器人学 · 计算机科学 2025-10-02 Trent Weiss , Amar Kulkarni , Madhur Behl

Determinantal point processes (DPPs) offer a powerful approach to modeling diversity in many applications where the goal is to select a diverse subset. We study the problem of learning the parameters (the kernel matrix) of a DPP from…

机器学习 · 统计学 2014-11-10 Boqing Gong , Wei-lun Chao , Kristen Grauman , Fei Sha

The identification of nonlinear dynamics from observations is essential for the alignment of the theoretical ideas and experimental data. The last, in turn, is often corrupted by the side effects and noise of different natures, so…

机器学习 · 计算机科学 2020-06-08 Anna Shalova , Ivan Oseledets

Presented in this work is a framework for the data-driven determination of multi-scale porous media parametrizations. Simulations of flow and transport in a porous medium at the REV scale, although efficient, require well defined parameters…

数值分析 · 数学 2023-11-27 Edward Coltman , Martin Schneider , Rainer Helmig