Related papers: Report on workshop A1: Exact solutions and their i…
This thesis focuses on developing and analyzing accelerated and inexact first-order methods for solving or finding stationary points of various nonconvex composite optimization (NCO) problems. The main tools mainly come from variational and…
Deep Gaussian Processes (DGPs) combine the expressiveness of Deep Neural Networks (DNNs) with quantified uncertainty of Gaussian Processes (GPs). Expressive power and intractable inference both result from the non-Gaussian distribution over…
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on Theory and Practice of Software. The MARS workshop brings…
This volume contains the proceedings of the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), which took place on 5th September 2009 in Bologna, co-located with CONCUR'09. The EXPRESS workshop series aim at bringing…
We put forth conclusions and suggestions regarding the presentation of the LHC Higgs results that may help to maximize their impact and their utility to the whole High Energy Physics community.
In this paper we show some exact solutions for the Caudrey-Dodd-Gibbon equation (CDG equation). These solutions are obtained via \circledR \emph{Mathematica} 6.0 by the projective Riccati equation method.
An exhaustive version of the thesis to a talk presented at the Groups \& Algebras in Bicocca Conference (GABY), University of Milano-Bicocca (Milan, Italy), June 17 to June 21, 2024.
This is an expanded version of my talk given at the workshop "Hot Topics: Thin Groups and Super-strong Approximation" (MSRI, Berkeley, February 6-10, 2012).
These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary…
Below, the explicit solution to a certain finite-difference equation is given and the required steps for derivation of these results are outlined. Everything is included as Mathematica formulae, so the notebook itself can be used for…
Concluding remarks at the international workshop ``Tracing Cosmic Evolution with Galaxy Clusters", held at Sesto Pusteria, Italy, July 3-6, 2001.
This is the text of a talk given at the conference in memory of Claude Itzykson at Saclay in June 1996. It contains an introductory survey and an account of recent developments in the field theoretic RG approach to reaction-diffusion…
This is the introduction to the collection of review articles "Exact results on N=2 supersymmetric gauge theories". The first three sections are intended to give a general overview over the physical motivations behind this direction of…
The following notes derive from review lectures on the subject of analytic solutions in open string field theory, given at the School for String Field Theory and String Phenomenology at the Harish-Chandra Research Institute in February…
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…
These two lectures cover some of the advances that underpin recent progress in deriving continuum solutions from the exact renormalization group. We concentrate on concepts and on exact non-perturbative statements, but in the process will…
This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".
Quantum correlations can be used as a resource for quantum computing, eg for quantum state manipulation, and for quantum sensing, eg for creating non-classical states which allow to achieve the quantum advantage regime. This review collects…
This is a report of the massive multi-year effort by the author and two graduate students Huilin Chen and Sarah Childs to compute all exact relations and links for two-dimensional thermoelectric composites. At the moment I have no time to…
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK, on April 11th, 2015. Previous editions of the Workshop…