Results 251 to 260 of about 1,241,249 (316)

Correction: Protection through early knowledge: clinical onset of type 1 diabetes in children and adolescents with and without early T1D detection programmes. [PDF]

open access: yesBMC Pediatr
Kordonouri O   +9 more
europepmc   +1 more source

The Sex of Donor and Recipients in Solid Organ Transplantation: An in Depth Analysis Across the Council of Europe Member States. [PDF]

open access: yesTranspl Int
Cozzi E   +14 more
europepmc   +1 more source

A discrete time simulation model for kidney allocation in Germany. [PDF]

open access: yesTranspl Int
Kakavand N   +10 more
europepmc   +1 more source

An Intrinsically-Typed Solution for the List-Machine Benchmark

Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity, 2020
Formal models are important tools in the programming language research community. However, such models are full of intricacies and, due to that, they are subject to subtle errors. Such failures motivated the usage of tools to ensure the correctness of these formalisms. One way to eliminate such errors is to encode models in a dependently-typed language
Samuel Feitosa, Rodrigo Ribeiro
openaire   +1 more source

Typed list of prints

2021
Typescript list of Cuala Press Prints. The list describes prints where the Cuala Press catalogue numbers are unknown, or the prints could not be found. List likely created by the donor before the collection was handed over to the Manuscripts and Archives Research Library.
openaire   +1 more source

Home - About - Disclaimer - Privacy