A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Fab ous Interoperability for ML and a Linear Language
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
language with linear types and linear state. ...
We propose a formal specification for what it means for a given language in a multi-language system to be usable without leaks: it should embed into the multi-language in a fully abstract way, that is, ...
We thank our anonymous reviewers for their feedback, as well as Neelakantan Krishnaswami, François Pottier, Jennifer Paykin, Sylvie Boldot and Simon Peyton-Jones for our discussions on this work. ...
doi:10.1007/978-3-319-89366-2_8
fatcat:kpu6p5exhfdphdxzfkszurbskm
Image processing on reconfigurable hardware for continuous monitoring of fluorescent biomarkers in cell cultures
2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
An antibody features two distinct regions called the Fab region and the Fc region. The Fab region (the two arms of the Y) features the antigen binding sites. ...
a linear translation of the incoherent PSF. ...
doi:10.5075/epfl-thesis-6652
fatcat:dlelm6vcprbwdipsrhj3hu3kxy