3 papers
cs.PL2020
Constraint-Logic Object-Oriented Programming with Free Arrays
Jan C. Dageförde, Herbert Kuchen
Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. The ability to use logic variables, constr…
cs.PL2019
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Jan C. Dageförde, Finn Teegen
In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the n…
hep-ph2018
Bayesian extraction of jet energy loss distributions in heavy-ion collisions
Yayun He, Long-Gang Pang, Xin-Nian Wang
Based on the factorization in perturbative QCD, a jet cross sections in heavy-ion collisions can be expressed as a convolution of the jet cross section in collisions and a je…