English
Related papers

Related papers: Iterated club shooting and the stationary-logic co…

200 papers

We present a dynamic model in which the weights are conditioned on an input sample x and are learned to match those that would be obtained by finetuning a base model on x and its label y. This mapping between an input sample and network…

Machine Learning · Computer Science 2023-06-12 Shahar Lutati , Lior Wolf

We study uniform and non-uniform model sets in arbitrary locally compact second countable (lcsc) groups, which provide a natural generalization of uniform model sets in locally compact abelian groups as defined by Meyer and used as…

Dynamical Systems · Mathematics 2020-02-14 Michael Björklund , Tobias Hartnick , Felix Pogorzelski

In this paper, we propose a constructive algorithm to dynamically linearize two-input control systems via successive one-fold prolongations of a control that has to be suitably chosen at each step of the algorithm. Linearization via…

Optimization and Control · Mathematics 2025-05-13 Florentina Nicolau , Witold Respondek , Shunjie Li

We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…

Logic · Mathematics 2015-06-23 Diego Alejandro Mejía

For a locally compact group $G$, we show that it is possible to present the class of continuous unitary representations of $G$ as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how…

Classical Analysis and ODEs · Mathematics 2021-11-05 Itaï Ben Yaacov , Isaac Goldbring

The method of generalized modeling has been applied successfully in many different contexts, particularly in ecology and systems biology. It can be used to analyze the stability and bifurcations of steady-state solutions. Although many…

Dynamical Systems · Mathematics 2015-03-06 Christian Kuehn , Thilo Gross

One widely used technique for the construction of equilibrium models of stellar disks is based on the Jeans equations and the moments of velocity distribution functions derived using these equations. Stellar disks constructed using this…

Astrophysics · Physics 2009-11-11 S. A. Rodionov , N. Ya. Sotnikova

We establish the Strassen's law of the iterated logarithm for independent and identically distributed random variables with $\hat{\mathbb{E}}[X_1]=\hat{\mathcal{E}}[X_1]=0$ and $C_{\mathbb{V}}[X_1^2]<\infty$ under sub-linear expectation…

Probability · Mathematics 2022-12-22 Wang-yun Gu , Li-xin Zhang

One of the most frustrating problems faced by set theorists working with iterated proper forcing is the lack of techniques for producing models in which the continuum has size greater than the second uncountable cardinal. In this paper we…

Logic · Mathematics 2012-08-20 David Asperó , Miguel Angel Mota

An iterative algorithm is adopted to construct approximate representations of matrices describing the scattering properties of arbitrary objects. The method is based on the implicit evaluation of scattering responses from iteratively…

Computational Physics · Physics 2023-04-19 Johan Lundgren , Kurt Schab , Miloslav Capek , Mats Gustafsson , Lukas Jelinek

Iterated admissibility (IA) can be seen as exhibiting a minimal criterion of rationality in games. In order to make this intuition more precise, the epistemic characterization of this game-theoretic solution has been actively investigated…

Logic · Mathematics 2013-04-19 Fernando Tohmè , Gianluca Caterina , Rocco Gangle

Iterated function systems (IFS) can be a surprisingly useful tool for studying structure in data. Here we present results stemming from a 2013 computational study by the author using IFS. The results include fractal patterns that reveal…

Number Theory · Mathematics 2017-01-04 Harlan J. Brothers

We consider a class of continuous-time stochastic growth models on $d$-dimensional lattice with non-negative real numbers as possible values per site. The class contains examples such as binary contact path process and potlatch process. We…

Probability · Mathematics 2009-07-27 Yukio Nagahata , Nobuo Yoshida

An old theorem of Ad\'amek constructs initial algebras for sufficiently cocontinuous endofunctors via transfinite iteration over ordinals in classical set theory. We prove a new version that works in constructive logic, using "inflationary"…

Logic · Mathematics 2022-11-04 Andrew M. Pitts , S. C. Steenkamp

Learning weights in a spiking neural network with hidden neurons, using local, stable and online rules, to control non-linear body dynamics is an open problem. Here, we employ a supervised scheme, Feedback-based Online Local Learning Of…

Neurons and Cognition · Quantitative Biology 2019-02-19 Aditya Gilra , Wulfram Gerstner

Compositional representations are thought to enable humans to generalize across combinatorially vast state spaces. Models with learnable object slots, which encode information about objects in separate latent codes, have shown promise for…

Machine Learning · Computer Science 2024-10-08 Tankred Saanum , Luca M. Schulze Buschoff , Peter Dayan , Eric Schulz

Goal-conditioned planning benefits from learned low-dimensional representations of rich observations. While compact latent representations typically learned from variational autoencoders or inverse dynamics enable goal-conditioned decision…

The latent position cluster model is a popular model for the statistical analysis of network data. This model assumes that there is an underlying latent space in which the actors follow a finite mixture distribution. Moreover, actors which…

Computation · Statistics 2017-02-02 Caitriona Ryan , Jason Wyse , Nial Friel

We consider the dynamics of pattern formation in a system of point defects under sustained irradiation within the framework of the rate theory. In our study we generalize the standard approach taking into account a production of defects by…

Materials Science · Physics 2013-09-25 V. O. Kharchenko , D. O. Kharchenko

We introduce the novel concept of a non-stationary iterated function system by considering a countable sequence of distinct set-valued maps $\{\mathcal{F}_k\}_{k\in \mathbb{N}}$ where each $\mathcal{F}_k$ maps $\mathcal{H}(X)\to…

Dynamical Systems · Mathematics 2019-07-02 Peter Massopust