English
Related papers

Related papers: Electronic Appendix to "Input Invariants"

200 papers

This is an expository article for Elsevier's Encyclopedia of Mathematical Physics on the subject in the title. Comments/corrections welcome.

Exactly Solvable and Integrable Systems · Physics 2010-04-19 A. Doliwa , P. M. Santini

This is a technical report, containing all the lemma and proposition proofs in paper "Topological Constraints on Identifying Additive Link Metrics via End-to-end Paths Measurements" by Liang Ma, Ting He, Kin K. Leung, Don Towsley, and…

Networking and Internet Architecture · Computer Science 2021-01-05 Liang Ma , Ting He , Kin K. Leung , Don Towsley , Ananthram Swami

Visual entailment is a recently proposed multimodal reasoning task where the goal is to predict the logical relationship of a piece of text to an image. In this paper, we propose an extension of this task, where the goal is to predict the…

Computer Vision and Pattern Recognition · Computer Science 2022-03-30 Christopher Thomas , Yipeng Zhang , Shih-Fu Chang

In this talk we discuss a class of Feynman integrals, which can be expressed to all orders in the dimensional regularisation parameter as iterated integrals of modular forms. We review the mathematical prerequisites related to elliptic…

High Energy Physics - Phenomenology · Physics 2018-07-04 Luise Adams , Stefan Weinzierl

This is the arXiv index for the electronic proceedings of GD 2019, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

Computational Geometry · Computer Science 2019-09-17 Daniel Archambault , Csaba D. Tóth

These are expanded notes of four introductory talks on A-infinity algebras, their modules and their derived categories.

Rings and Algebras · Mathematics 2007-05-23 Bernhard Keller

This article presents new colored link invariants by introducing the concepts of multi-quandles and topological multi-quandles.

Geometric Topology · Mathematics 2023-09-18 Georgy C Luke , B. Subhash

Informal lecture notes with examples on sheaf theory and the derived category of sheaves; sheaves and Morse theory; perverse sheaves, and some applications to representation theory. Added Oct 2021: cellular perverse sheaves. Proofs are…

Algebraic Geometry · Mathematics 2021-10-12 Mark Goresky

This note is an addendum to the paper ''Mahler's method in several variables and finite automata''. It strengthens part (i) of Theorem 1.1 of the aforementioned paper.

Combinatorics · Mathematics 2024-07-29 Colin Faverjon , Boris Adamczewski

In this note we provide conditions for local invariance of finite dimensional submanifolds for solutions to stochastic partial differential equations (SPDEs) in the framework of the variational approach. For this purpose, we provide a…

Probability · Mathematics 2025-11-21 Rajeev Bhaskaran , Stefan Tappe

Addendum to the paper Combinatorics of the Modular Group II The Kontsevich integrals, hep-th/9201001, by C. Itzykson and J.-B. Zuber (3 pages)

High Energy Physics - Theory · Physics 2008-02-03 C. Itzykson , J. -B. Zuber

Methods for the computation of invariants and symmetries of nonlinear evolution, wave, and lattice equations are presented. The algorithms are based on dimensional analysis, and can be implemented in any symbolic language, such as…

solv-int · Physics 2007-05-23 Unal Goktas , Willy Hereman

Due to space limitations, our submission "Source Separation and Clustering of Phase-Locked Subspaces", accepted for publication on the IEEE Transactions on Neural Networks in 2011, presented some results without proof. Those proofs are…

Machine Learning · Statistics 2011-06-14 Miguel Almeida , Jan-Hendrik Schleimer , José Bioucas-Dias , Ricardo Vigário

We examine versions of the classical inequalities of Paley and Zygmund for functions of several variables. A sharp multiplier inclusion theorem and variants on the real line are obtained.

Classical Analysis and ODEs · Mathematics 2017-02-24 Odysseas Bakas

Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments can support maintainability and help sustain correctness.…

Software Engineering · Computer Science 2019-03-19 Vincent J. Hellendoorn , Premkumar T. Devanbu , Oleksandr Polozov , Mark Marron

The work concerns invariant measures for multivalued McKean-Vlasov stochastic differential equations. First of all, we prove the exponential ergodicity of these equations. Then for a sequence of these equations, when their coefficients…

Probability · Mathematics 2022-12-19 Huijie Qiao

It is oftentimes impossible to understand how machine learning models reach a decision. While recent research has proposed various technical approaches to provide some clues as to how a learning model makes individual decisions, they cannot…

Machine Learning · Computer Science 2017-05-25 Wenbo Guo , Kaixuan Zhang , Lin Lin , Sui Huang , Xinyu Xing

This position paper provides an interim summary on the goals and current state of our ongoing research project on semantic model differencing for software evolution. We describe the basics of semantic model differencing, give two examples…

Software Engineering · Computer Science 2014-09-02 Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe

We study translative integral formulas for certain translation invariant functionals on convex polytopes and discuss local extensions and applications to Poisson processes and Boolean models.

Probability · Mathematics 2013-10-10 Wolfgang Weil

In this paper we extend to the abstract A-framework some existence theorems for differential inclusion problems with Dirichlet boundary conditions.

Analysis of PDEs · Mathematics 2017-03-02 A. C. Barroso , J. Matias , P. M. Santos