Related papers: Report on workshop A1: Exact solutions and their i…
This is a summary of the projects undertaken by the Working Group I on High Energy Collider Physics at the Eighth Workshop on High Energy Physics Phenomenology (WHEPP8) held at the Indian Institute of Technology, Mumbai, January 5-16, 2004.…
Accuracy and Availability computations for a GNSS System - or combination of Systems - through Service Volume Simulations take considerable time. Therefore, the computation of the accuracy in 2D and 3D are often simplified by an approximate…
We derive an exact expression for the Green's functions in the time domain of the reversible diffusion-influenced ABCD reaction $A+B\leftrightarrow C+D$ in two space dimensions. Furthermore, we calculate the corresponding survival and…
Group Relative Policy Optimization (GRPO), which is widely adopted by R1-like reasoning models, has advanced mathematical reasoning. Nevertheless, GRPO faces challenges in reward sparsity, verbosity, and inadequate focus on problem…
A system that could reliably identify and sum up the most important points of a conversation would be valuable in a wide variety of real-world contexts, from business meetings to medical consultations to customer service calls. Recent…
The explicit evaluation of the partition function in the Schwarzian theory is presented.
Reasoning about real number expressions in a proof assistant is challenging. Several problems in theorem proving can be solved by using exact real number computation. I have implemented a library for reasoning and computing with complete…
A review is given of the theoretical expectations of the self couplings of gauge bosons and of the present experimental information on the couplings. The possibilities for future measurements are also discussed.
We give a methodology for solving the chiral equations $(\alpha g_{,z} g^{-1})_{,\overline z} + (\alpha g_{,\overline z} g^{-1})_{,z} \ = \ 0 $ where $g$ belongs to some Lie group $G$. The solutions are writing in terms of Harmonic maps.…
ICOOOLPS'2006 was the first edition of ECOOP-ICOOOLPS workshop. It intended to bring researchers and practitioners both from academia and industry together, with a spirit of openness, to try and identify and begin to address the numerous…
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens,…
This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…
I comment on some theoretical work presented at QCD Moriond 2006.
Homepage of the workshop proceedings, with links to all individually archived papers
The complete list of definitions for quantities relevant in the analysis of SLD/LEP-1 results around the Z-resonance is given. The common set of conventions adopted by the programs TOPAZ0 and ZFITTER, following the recommendations of the…
This paper has inappropriate amounts of overlap with the following papers also written by the authors or their collaborators: gr-qc/0506135, gr-qc/0207026, gr-qc/0502059, gr-qc/0502061, gr-qc/0510037, and others.
This report synthesizes findings from the November 2024 Community Workshop on Practical Reproducibility in HPC, which convened researchers, artifact authors, reviewers, and chairs of reproducibility initiatives to address the critical…
This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second workshop on Formal and Model-Driven Techniques for Developing…
We show that the equations underlying the $GW$ approximation have a large number of solutions. This raises the question: which is the physical solution? We provide two theorems which explain why the methods currently in use do, in fact,…
My assignment at this conference is to assess where we are in high-energy physics and speculate on where we might be going. This frees me from any obligation to summarize all that went on here and allows me to talk just about those topics…