It’s useful to think of our engagement with algorithms as a social contract. Political theorists have long used the social contract as a device to explain why individuals submit to the authority of a ...

Abstract: Unmanned aerial vehicles (UAV) are becoming more autonomous, rapidly sophisticated and intelligent due to the large on-board computer power, control algorithms and sensor systems. In the ...

Abstract: Aiming at the problems of low path generation efficiency, untargeted expansion direction, slow convergence speed and many redundant nodes of the Bi-RRT algorithm, an improved Bi-RRT ...

block-insertion-theorem is a reproducible reference implementation of a combinatorial result about block insertion and counting linear extensions of posets. The repository provides a formal JSON ...