中文
相关论文

相关论文: Supercritical linear dilaton capping state using I…

200 篇论文

Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tasks include synchronization for multi-agent hybrid systems,…

计算机科学中的逻辑 · 计算机科学 2017-09-22 Sumanth Dathathri , Richard M. Murray

We study the correlations of time delays in a model of chaotic resonance scattering based on the random matrix approach. Analytical formulae which are valid for arbitrary number of open channels and arbitrary coupling strength between…

chao-dyn · 物理学 2015-06-24 N. Lehmann , D. V. Savin , V. V. Sokolov , H. -J. Sommers

The problem of computing Craig Interpolants has recently received a lot of interest. In this paper, we address the problem of efficient generation of interpolants for some important fragments of first order logic, which are amenable for…

计算机科学中的逻辑 · 计算机科学 2009-06-25 Alessandro Cimatti , Alberto Griggio , Roberto Sebastiani

Spatiotemporal data analysis is pivotal across various domains, such as transportation, meteorology, and healthcare. The data collected in real-world scenarios are often incomplete due to device malfunctions and network errors.…

机器学习 · 计算机科学 2024-03-25 Yakun Chen , Kaize Shi , Zhangkai Wu , Juan Chen , Xianzhi Wang , Julian McAuley , Guandong Xu , Shui Yu

We consider a symmetric exclusion process on a discrete interval of $S$ points with various boundary conditions at the endpoints. We study the asymptotic decay of correlations as $S\to\infty$. The main result is asymptotic independence of a…

概率论 · 数学 2011-11-30 V. A. Malyshev , V. A. Shvets

Thick, Charge Coupled Devices (CCDs) have recently been explored for applied physics, such as nuclear explosion monitoring, and dark matter detection purposes. When run in fully-depleted mode, these devices are sensitive detectors for…

仪器与探测器 · 物理学 2022-01-25 C. Britt , E. Church , T. Hossbach , B. Loer , R. Saldanha , N. Sinha , K. Woodruff

Ultracold dipolar hard-core bosons in optical ladders provide exciting possibilities for the quantum simulation of anisotropic XXZ spin ladders. We show that introducing a tilt along the rungs results in a rich phase diagram at unit…

We study dilatonic domain walls specific to superstring theory. Along with the matter fields and metric the dilaton also changes its value in the wall background. We found supersymmetric (extreme) solutions which in general interpolate…

高能物理 - 理论 · 物理学 2009-09-17 Mirjam Cvetic

Inspired by the success of Self-supervised learning (SSL) in learning visual representations from unlabeled data, a few recent works have studied SSL in the context of continual learning (CL), where multiple tasks are learned sequentially,…

计算机视觉与模式识别 · 计算机科学 2023-03-15 Li Yang , Sen Lin , Fan Zhang , Junshan Zhang , Deliang Fan

For a class of Friedmann-Robertson-Walker type string solutions with compact hyperbolic spatial slices formulated in critical dimension, we find the world sheet conformal field theory which involves the linear dilaton and Wess-Zumino-Witten…

高能物理 - 理论 · 物理学 2008-11-26 Dimitri V. Nanopoulos , Dan Xie

We consider a wide class of semi linear Hamiltonian partial differential equa- tions and their approximation by time splitting methods. We assume that the nonlinearity is polynomial, and that the numerical tra jectory remains at least uni-…

数值分析 · 数学 2009-12-16 Erwan Faou , Benoit Grebert

When using optimal linear prediction to interpolate point observations of a mean square continuous stationary spatial process, one often finds that the interpolant mostly depends on those observations located nearest to the predictand. This…

统计理论 · 数学 2012-03-09 Michael L. Stein

After a brief review of critical string theory in trivial backgrounds we begin with introduction to strings in non--trivial backgrounds and noncritical string theory. In particular, we relate the latter to critical string theory in a linear…

高能物理 - 理论 · 物理学 2009-09-29 Arnaud Koetsier

The paper introduces a novel topological method for prediction and modeling for a nonlinear time--series that exhibit recurring patterns. According to the model, global manifold of the reconstructed state--space can be approximated by a few…

混沌动力学 · 物理学 2017-11-21 Sajini Anand P S , Prabhakar G Vaidya

We consider quasi-interpolation with a main application in radial basis function approximations and compression in this article. Constructing and using these quasi-interpolants, we consider wavelet and compression-type approximations from…

数值分析 · 数学 2024-07-09 Martin Buhmann , Feng Dai

In this work, we introduce a compositional framework for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compositional scheme is based on the joint dissipativity-type…

系统与控制 · 计算机科学 2017-10-17 Abdalla Swikir , Antoine Girard , Majid Zamani

In a series of works of ours we have shown that we can represent the critical and tricritical points of the Statistical Physics of critical phenomena as a Dynamical phenomenon expressed by time series produced by the type I intermittency…

混沌动力学 · 物理学 2026-02-26 Yiannis F. Contoyiannis

In this paper we present an efficient algorithm for bivariate interpolation, which is based on the use of the partition of unity method for constructing a global interpolant. It is obtained by combining local radial basis function…

数值分析 · 数学 2014-08-04 Roberto Cavoretto

Temporal interpolation often plays a crucial role to learn meaningful representations in dynamic scenes. In this paper, we propose a novel method to train spatiotemporal neural radiance fields of dynamic scenes based on temporal…

计算机视觉与模式识别 · 计算机科学 2023-03-30 Sungheon Park , Minjung Son , Seokhwan Jang , Young Chun Ahn , Ji-Yeon Kim , Nahyup Kang

String-loop effects may generate very weak matter couplings for a (massless) dilaton. We examine limits on the shift of such a dilaton toward its present equilibrium value from big-bang nucleosynthesis and the binary pulsar. On the other…

高能物理 - 唯象学 · 物理学 2011-05-23 C. E. Vayonakis