Modifying standard gradient boosting by replacing the embedded weak learner in favor of a strong(er) one, we present SyRBo: Symbolic-Regression Boosting. Experiments over 98 regression datasets show that adding small number stages -- between 2--5 to symbolic regressor, statistically significant improvements can often be attained. We note coding SyRBo on top any regressor is straightforward, and...

The paper describes a framework for the synthesis of protocols for distributed and multi-agent systems from specifications that give a program structure that may include variables in place of conditional expressions, together with specifications in a temporal epistemic logic that constrain the values of these variables. The epistemic operators are interpreted with respect to an observational se...

This paper examines the Pakistani state’s shift from the accommodation to exclusion of the heterodox Ahmadiyya community, a self-defined minority sect of Islam. In 1953, the Pakistani state rejected demands by a religious movement that Ahmadis be legally declared non-Muslim. In 1974 however, the same demand was accepted. This paper argues that this shift in the state’s policy toward Ahmadis was...