Filters








2 Hits in 3.2 sec

Fab ous Interoperability for ML and a Linear Language [chapter]

Gabriel Scherer, Max New, Nick Rioux, Amal Ahmed
2018 Lecture Notes in Computer Science  
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

Julien Michel Ghaye
2015
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