Non-standard model of arithmetic

Identification of Non-Linear RF Systems Using Backpropagation

Andreas Peter Burg, Alexios Konstantinos Balatsoukas Stimming, Andreas Toftegaard Kristensen

In this work, we use deep unfolding to view cascaded non-linear RF systems as model-based neural networks. This view enables the direct use of a wide range of neural network tools and optimizers to efficiently identify such cascaded models. We demonstrate ...

IEEE2020

Interpolation for Synthesis on Unbounded Domains

Viktor Kuncak, Régis William Blanc

Synthesis procedures compile relational specifications into functions. In addition to bounded domains, synthesis procedures are applicable to domains such as mathematical integers, where the domain and range of relations and synthesized code is unbounded. ...

Ieee2013

Linear Arithmetic with Stars

Viktor Kuncak, Ruzica Piskac

We consider an extension of integer linear arithmetic with a “star” operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We show that the satisfiability problem for this extended language remains in NP (and th ...

Springer2008

Observational manifestations of anomaly inflow

Mikhail Chapochnikov, Alexey Boyarsky, Oleg Ruchayskiy

In theories with chiral couplings, one of the important consistency requirements is that of the cancellation of a gauge anomaly. In particular, this is one of the conditions imposed on the hypercharges in the standard model. However, anomaly cancellation c ...

American Physical Society2005