This is a preview. Log in through your library . Abstract A type-structure of partial effective functionals over the natural numbers, based on a canonical enumeration of the partial recursive ...

We introduce and study an infinite random triangulation of the unit disk that arises as the limit of several recursive models. This triangulation is generated by throwing chords uniformly at random in ...

For years, drug developers that apply artificial intelligence (AI) have touted the benefits of the technology—the prospect of speedier development of new treatments at lower cost, thus reducing the ...