This letter presents a nonlinear disturbance observer-parameterized control barrier function (DOp-CBF) designed for a robust safety control system under external disturbances. This framework emphasizes that the safety bounds are relevant to the distu...
Certifying the safety of nonlinear systems, through the lens of set invariance and control barrier functions (CBFs), offers a powerful method for controller synthesis, provided a CBF can be constructed. This paper draws connections between partial fe...
In this paper we define a notion of gerbed tower, and use this notion to give a geometric representation of cohomological classes....
I see a lot of digs at Define and Maia’s programming on here, especially a ton of non specific comments about “wacky moves” or “combo moves that don’t actually do anything.” What are some ...
We consider implicit definability of the standard part {0,1,...} in nonstandard models of Peano arithmetic (PA), and we ask whether there is a model of PA in which the standard part is implicitly definable. In section 1, we define a certain class o...
We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $Π^1_2$ set of reals containing no ordinal-definable real....
Catalog notes computer translated from Italian: \[Incunabulum - Aldine Press\]. Colonna, Francesco. Hypnerotomachia Poliphili, ubi humana omnia non nisi somnium esse docet. Venice, Aldus Manutius for ...
Catalog notes computer translated from Italian: \[Incunabulum - Aldine Press\]. Colonna, Francesco. Hypnerotomachia Poliphili, ubi humana omnia non nisi somnium esse docet. Venice, Aldus Manutius for ...
Let F be a finite extension of Qp and G be GL(2,F). When V is the tensor product of three infinite dimensional, irreducible, admissible representations of G, the space of G-invariant linear forms has dimension 0 or 1. When a non-zero linear form ex...
Bird’s Bookstore is a design-driven local bookstore and café offering books of all genres, an ever-growing selection of magazines, and a curated assortment of non-book items that promise to delight …
Non-interactive challenges leverage what is called a JavaScript proof-of-work and ask a client to prove that it is running a JavaScript-compatible browser by solving what is essentially a JavaScript math …
For this exceptional 25th anniversary of the QCD-Montpellier series of conferences initiated in 85 with the name "Non-perturbative methods", we take the opportunuity to celebrate the 30 + 1 years of the discovery of the SVZ (also called ITEP, QCD or...
We investigate magnetization induced by mechanical rotation, known as the Barnett effect, in the two-dimensional electron gas. The energy eigenvalues of the rotating system (Barnett levels) are non-degenerate, thereby differ from Landau levels in the...
Barnett relaxation, first described by Purcell in 1979, appears to play a major role in the alignment of grains with the interstellar magnetic field. In 1999, Lazarian and Draine proposed that Barnett relaxation and its relative, nuclear relaxation,...
The quantum theory of rotation angles (S. M. Barnett and D. T. Pegg, Phys. Rev. A, 41, 3427-3425 (1990)) is generalised to non-integer values of the orbital angular momentum. This requires the introduction of an additional parameter, the orientatio...
Point clouds acquired from range scans are often sparse, noisy, and non-uniform. This paper presents a new point cloud upsampling network called PU-GAN, which is formulated based on a generative adversarial network (GAN), to learn a rich variety of p...
The nonlinear Schrödinger (NLS) equation is known as a universal equation describing the evolution of the envelopes of slowly modulated spatially and temporarily oscillating wave packet in various dispersive systems. In this paper, we prove that und...
We study representations of lattices of PU(m,1) into PU(n,1). We show that if a representation is reductive and if m is at least 2, then there exists a finite energy harmonic equivariant map from complex hyperbolic m-space to complex hyperbolic n-s...
Blocking is a mechanism to improve the efficiency of Entity Resolution (ER) which aims to quickly prune out all non-matching record pairs. However, depending on the distributions of entity cluster sizes, existing techniques can be either (a) too aggr...
DTLA Proud is a 501(c)(3) non-profit organization based in and focused on Downtown Los Angeles. On August 5, 2019, the DTLA Proud Gala raised funds for