2 citations
2 papers
cs.LO2023★ 2 cited
Compositional Confluence Criteria
Kiraku Shintani, Nao Hirokawa
We show how confluence criteria based on decreasing diagrams are generalized to ones composable with other criteria. For demonstration of the method, the confluence criteria of ort…
physics.acc-ph2009★ 1 cited
Beam Polarization at the ILC: the Physics Impact and the Accelerator Solutions
B. Aurand, I. Bailey, C. Bartels +21
In this contribution accelerator solutions for polarized beams and their impact on physics measurements are discussed. Focus are physics requirements for precision polarimetry near…