相关论文: Report on workshop A1: Exact solutions and their i…

Large development projects and programs are conducted using agile development methods, with an increasing body of advice from practitioners and from research. This sixth workshop showed in increasing interest in scaling frameworks and in…

This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences…

Here, we attempt to summarize the activities of Track 3 of the 17th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2016).

The effective properties of composites and review literature on the methods of Rayleigh, Natanzon--Filshtinsky, functional equations and asymptotic approaches are outlined. In connection with the above methods and new recent publications…

With machine learning conferences growing ever larger, and reviewing processes becoming increasingly elaborate, more data-driven insights into their workings are required. In this report, we present the results of a survey accompanying the…

Proceedings of the 1st Workshop on Robotics Challenges and Vision (RCV2013)

This is the Proceedings of the 2017 ICML Workshop on Human Interpretability in Machine Learning (WHI 2017), which was held in Sydney, Australia, August 10, 2017. Invited speakers were Tony Jebara, Pang Wei Koh, and David Sontag.

We relate the non-perturbative exact results in supersymmetry to perturbation theory using several different methods: instanton calculations at weak or strong coupling, a method using gaugino condensation and another method relating strong…

This is an expanded set of notes based on two lectures given by the author at the 2022 IHES summer school on the Langlands program, on explicit techniques for the construction of automorphic representations.

This report describes an initial replication study of the PRECISE system and develops a clearer, more formal description of the approach. Based on our evaluation, we conclude that the PRECISE results do not fully replicate. However the…

Powerful methods based on supersymmetry allow one to find exact solutions to certain problems in strong coupling gauge theories. The inception of some of these methods (holomorphy in the gauge coupling and other chiral parameters, in…

A global picture is drawn tying together most exact cosmological solutions of gravitational theories in four or more spacetime dimensions.

On example of tasks of class NP the questions concerning accuracy of work of already existing and possible in the future algorithms for the solution of tasks on discrete structures are considered.

Since the 1980s, many exact results have been discovered in $2d$ CFT, from critical exponents to correlation functions to complete solutions of certain models. In $d>2$, there is a wealth of numerical results as well as promising analytic…

These are the notes for my lecture ``Resolution of Sigularities in Charcteristic 0" given at the AMS Summer Institute at Seattle. It gives a self contained proof of the strong Hironaka resolution theorem.

This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences…

We report on progress in our work on obtaining high precision standard model predictions for the Higgsstrahlung reaction at a linear collider.

We summarize the results presented in the `Physics at large p_T^2 and Q^2' working group at the DIS'2002 Workshop. Higgs searches, precision measurements as well as searches for physics beyond the Standard Model at current and future…

Proceedings of the BMVC 2019 Workshop on Interpretable and Explainable Machine Vision, Cardiff, UK, September 12, 2019.

I give an overview of recent theoretical results for exclusive Higgs-production cross sections, focusing in particular on processes where precise predictions will be relevant in the near future.