Related papers: Technical Report: Using Loop Scopes with for-Loops
Applying the loop variable proposal to a sigma model (with boundary) in a curved target space, we give a systematic method for writing the gauge and generally covariant interacting equations of motion for the modes of the open string in a…
In the present work, we consider nonlinear control systems for which there exist structural obstacles to the design of classical continuous backstepping feedback laws. We conceive feedback laws such that the origin of the closed-loop system…
This talk describes how a combination of symbolic computation techniques with first-order theorem proving can be used for solving some challenges of automating program analysis, in particular for generating and proving properties about the…
A simple formula for one-loop logarithmic divergences on the background of a two-dimensional curved space-time is derived for theories for which the second variation of the action is a nonminimal second order operator with small nonminimal…
We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as functions of program input values. The algorithm is primarily…
We extend discrete Morse-Bott theory to the setting of loop-free (or acyclic) categories. First of all, we state a homological version of Quillen's Theorem A in this context and introduce the notion of cellular categories. Second, we…
The objective of this paper is to present general, mechanically verified, refinement rules for reasoning about recursive programs and while loops in the context of concurrency. Unlike many approaches to concurrency, we do not assume that…
We present a new class of particle methods with deformable shapes that converge in the uniform norm without requiring remappings, extended overlapping or vanishing moments for the particles. The crux of the method is to use polynomial…
Sound is one of the most informative and abundant modalities in the real world while being robust to sense without contacts by small and cheap sensors that can be placed on mobile devices. Although deep learning is capable of extracting…
Perturbative superstring theory is revisited, with the goal of giving a simpler and more direct demonstration that multi-loop amplitudes are gauge-invariant (apart from known anomalies), satisfy space-time supersymmetry when expected, and…
In this paper we show that cut-free derivations in the epsilon format of sequent calculus provide for a non-elementary speed-up w.r.t. cut-free proofs in usual sequent calculi in first-order language.
Medical conversations between patients and medical professionals have implicit functional sections, such as "history taking", "summarization", "education", and "care plan." In this work, we are interested in learning to automatically…
This paper studies the 1-loop approximation for a massless spin-1/2 field on a flat four-dimensional Euclidean background bounded by two concentric 3-spheres, when non-local boundary conditions of the spectral type are imposed. The use of…
Motivated by successful classical models for noise reduction, we suggest a quantum technique for filtering noise out of quantum states. The purpose of this paper is twofold: presenting a simple construction of quantum cross-correlations…
Partial incorrectness logic (partial reverse Hoare logic) has recently been introduced as a new Hoare-style logic that over-approximates the weakest pre-conditions of a program and a post-condition. It is expected to verify systems where…
In this paper we extend a recent idea of formulating and regularizing inverse problems as minimization problems, so without using a forward operator, thus avoiding explicit evaluation of a parameter-to-state map. We do so by rephrasing…
The encoder-decoder models for unsupervised sentence representation learning tend to discard the decoder after being trained on a large unlabelled corpus, since only the encoder is needed to map the input sentence into a vector…
Like text, programs have styles, and certain programming styles are more desirable than others for program readability, maintainability, and performance. Code style transfer, however, is difficult to automate except for trivial style…
State-of-the-art anomalous sound detection systems often utilize angular margin losses to learn suitable representations of acoustic data using an auxiliary task, which usually is a supervised or self-supervised classification task. The…
Gyroscope for rotation sensing plays a key role in inertial navigation systems. Developing more precise gyroscopes than the conventional ones bounded by classical shot-noise limit by using quantum resources has attracted much attention.…