中文
相关论文

相关论文: Towards New Characterizations of Small Circuit Cla…

200 篇论文

In this paper, we provide a uniform framework for investigating small circuit classes and bounds through the lens of ordinary differential equations (ODEs). Following an approach recently introduced to capture the class of polynomial-time…

计算复杂性 · 计算机科学 2025-07-01 Melissa Antonelli , Arnaud Durand , Juha Kontinen

The paper proposes an implicit (i.e., machine-independent) complexity approach to studying computation by polynomial-size, constant-depth circuits with gates counting modulo a constant through the lens of discrete ordinary differential…

计算复杂性 · 计算机科学 2026-05-25 Melissa Antonelli , Arnaud Durand , Rui Li

This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…

计算机科学中的逻辑 · 计算机科学 2022-09-27 Olivier Bournez , Arnaud Durand

This papers studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs). It presents a new framework using discrete ODEs as a central tool for computation and provides several implicit characterizations…

计算机科学中的逻辑 · 计算机科学 2018-10-09 Olivier Bournez , Arnaud Durand , Sabrina Ouazzani

In a recent article, the class of functions from the integers to the integers computable in polynomial time has been characterized using discrete ordinary differential equations (ODE), also known as finite differences. Doing so, we pointed…

计算复杂性 · 计算机科学 2022-10-04 Manon Blanc , Olivier Bournez

The class of functions from the integers to the integers computable in polynomial time has been characterized recently using discrete ordinary differential equations (ODE), also known as finite differences. In the framework of ordinary…

计算复杂性 · 计算机科学 2022-11-17 Manon Blanc , Olivier Bournez

Ordinary differential equations (ODEs) are the primary means to modelling dynamical systems in many natural and engineering sciences. The number of equations required to describe a system with high heterogeneity limits our capability of…

数学软件 · 计算机科学 2017-07-17 Andrea Vandin

We consider Continuous Ordinary Differential Equations (CODE) y'=f(y), where f is a continuous function. They are known to always have solutions for a given initial condition y(0)=y0, these solutions being possibly non unique. We restrict…

计算复杂性 · 计算机科学 2020-01-22 Olivier Bournez , Sabrina Ouazzani

Classical neural ordinary differential equations (ODEs) are powerful tools for approximating the log-density functions in high-dimensional spaces along trajectories, where neural networks parameterize the velocity fields. This paper…

最优化与控制 · 数学 2025-01-30 Mo Zhou , Stanley Osher , Wuchen Li

Classical neural ODEs trained with explicit methods are intrinsically limited by stability, crippling their efficiency and robustness for stiff learning problems that are common in graph learning and scientific machine learning. We present…

机器学习 · 计算机科学 2024-12-17 Hong Zhang , Ying Liu , Romit Maulik

An efficient approximate version of implicit Taylor methods for initial-value problems of systems of ordinary differential equations (ODEs) is introduced. The approach, based on an approximate formulation of Taylor methods, produces a…

Discrete Differential Equations (DDEs) are functional equations that relate polynomially a power series $F(t,u)$ in $t$ with polynomial coefficients in a "catalytic" variable $u$ and the specializations, say at $u=1$, of $F(t,u)$ and of…

符号计算 · 计算机科学 2023-05-01 Alin Bostan , Hadrien Notarantonio , Mohab Safey El Din

We prove that functions over the reals computable in polynomial time can be characterised using discrete ordinary differential equations (ODE), also known as finite differences. We also provide a characterisation of functions computable in…

计算复杂性 · 计算机科学 2024-02-15 Manon Blanc , Olivier Bournez

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

范畴论 · 数学 2020-07-01 Saugata Basu , M. Umut Isik

This short, self-contained article seeks to introduce and survey continuous-time deep learning approaches that are based on neural ordinary differential equations (neural ODEs). It primarily targets readers familiar with ordinary and…

机器学习 · 计算机科学 2024-01-09 Lars Ruthotto

Most classical results in circuit complexity theory concern circuits over the Boolean domain. Besides their simplicity and the ease of comparing different languages, the actual architecture of computers is also an important motivating…

计算复杂性 · 计算机科学 2026-04-24 Piotr Kawałek , Jacek Krzaczkowski

Neural ordinary differential equations (ODEs) have attracted much attention as continuous-time counterparts of deep residual neural networks (NNs), and numerous extensions for recurrent NNs have been proposed. Since the 1980s, ODEs have…

机器学习 · 计算机科学 2022-10-17 Kazuki Irie , Francesco Faccio , Jürgen Schmidhuber

The data-driven discovery of interpretable models approximating the underlying dynamics of a physical system has gained attraction in the past decade. Current approaches employ pre-specified functional forms or basis functions and often…

机器学习 · 计算机科学 2025-07-30 Rahul Golder , M. M. Faruque Hasan

Fractional Differential Equations (FDEs) are essential tools for modelling complex systems in science and engineering. They extend the traditional concepts of differentiation and integration to non-integer orders, enabling a more precise…

机器学习 · 计算机科学 2025-03-27 C. Coelho , M. Fernanda P. Costa , L. L. Ferrás

We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. We completely…

计算复杂性 · 计算机科学 2020-05-08 Arnaud Durand , Anselm Haak , Juha Kontinen , Heribert Vollmer
‹ 上一页 1 2 3 10 下一页 ›