9,847 research outputs found
Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact
No full textA Coq artifact accompanying the paper "Mechanized Logical Relations for Termination-Insensitive Noninterference" by Simon Oddershede Gregersen, Johan Bay, Amin Timany, and Lars Birkedal
Charlie May Simon materials
No full textThis collection contains materials relating to Arkansas author Charlie May Simon
E.denticulatum quant BUP
No full textMaxQuant output files (txt folder) from quantitative bottom-up proteomics analysis of two pilot-scale hot-water extracts from E. denticulatum, described in the manuscript "Proteomic characterization of pilot scale hot-water extracts from the industrial carrageenan red seaweed Eucheuma denticulatum"
Extract A is in the data found under the folder/name "A-013-05e" and Extract B under the folder/name ""A-022-05e". Raw MS data are available upon request, but size limitations makes submission to the repository impossible
CodfishHydrolysatesMS
No full textMS raw data, MaxQuant output files, and Table S4 for the manuscript "Biofunctionality of enzymatically derived peptides from codfish (Gadus morhua) frame; Bulk in vitro properties, quantitative proteomics, and bioinformatic prediction
Simon Nyakot
Full text linkabstract: Simon Nyakot left his village when he was six years old.
“Lost Boys Found” is an ongoing, interdisciplinary project that is collecting, recording and archiving the oral histories of the Lost Boys/Girls of Sudan. The collection is a work-in-progress, seeking to record the oral history of as many Lost Boys/Girls as are willing, and will be used in a future book.Age: 27Region: LakeThis picture and bio was donated to the Lost Boys Found project from The Arizona Lost Boys Cente
Cahiers Saint-Simon
No full texthttps://www.persee.fr/renderCollectionCover/simon.pngThe Société Saint-Simon was founded in 1972 in order to promote studies about the Duke of Saint-Simon (1675-1755), namely about the work, life, and thinking of the Mémoires’s author. Each year it issues a Cahier Saint-Simon. It contains the Acts of the annual Journée d’étude in Versailles, but also Notes and Documents, News of the Society and Book reviews.Fondée en 1972, la Société Saint-Simon a pour but de développer les études concernant l'oeuvre, la personne et la pensée du duc de Saint-Simon (1675-1755), l’auteur des Mémoires. Chaque année, paraît un numéro de Cahiers Saint-Simon contenant les actes de la journée annuelle de Versailles, ainsi que des Mélanges, des Notes et Documents et une Chronique bibliographique détaillée
Cahiers Saint-Simon
No full texthttps://www.persee.fr/renderCollectionCover/simon.pngThe Société Saint-Simon was founded in 1972 in order to promote studies about the Duke of Saint-Simon (1675-1755), namely about the work, life, and thinking of the Mémoires’s author. Each year it issues a Cahier Saint-Simon. It contains the Acts of the annual Journée d’étude in Versailles, but also Notes and Documents, News of the Society and Book reviews.Fondée en 1972, la Société Saint-Simon a pour but de développer les études concernant l'oeuvre, la personne et la pensée du duc de Saint-Simon (1675-1755), l’auteur des Mémoires. Chaque année, paraît un numéro de Cahiers Saint-Simon contenant les actes de la journée annuelle de Versailles, ainsi que des Mélanges, des Notes et Documents et une Chronique bibliographique détaillée
Simon Weir - The Sydney Surrealist
No full textExhibition catalogue of "Simon Weir - The Sydney Surrealist", Exhibition at Disorder Gallery, Darlinghurst NSW, Australia, in April 2024. The catalogue contains images of exhibited works and statements by the artist Simon Weir, the gallery Director Elliott Cole, and author and journalist Margie Smithurst
Joan Simon Correspondence
Full text linkEntries include a typed biographical letter from Simon in New York, explaining her relationship to Maine for the purposes of presentation to the Maine Author Collection
- …
