48 citations · 56 across the 3 of their papers we have counts for
3 papers
Herb.jl: A Unifying Program Synthesis Library
Tilman Hinnerichs, Reuben Gardos Reid, Jaap de Jong +6
Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and the dream of many programmer…
Trustchain -- Trustworthy Decentralised Public Key Infrastructure for Digital Credentials
Tim Hobson, Lydia France, Sam Greenbury +2
The sharing of public key information is central to the digital credential security model, but the existing Web PKI with its opaque Certification Authorities and synthetic attestat…
Comparative evaluation of instrument segmentation and tracking methods in minimally invasive surgery
Sebastian Bodenstedt, Max Allan, Anthony Agustinos +17
Intraoperative segmentation and tracking of minimally invasive instruments is a prerequisite for computer- and robotic-assisted surgery. Since additional hardware like tracking sys…