4,651 research outputs found
Some Formal Structures in Probability (Invited Talk)
No full textThis invited talk will discuss how developments in the Formal Structures for Computation and Deduction can also suggest new directions for the foundations of probability theory. I plan to focus on two aspects: abstraction, and laziness. I plan to highlight two challenges: higher-order random functions, and stochastic memoization
Probability Theory from a Programming Perspective (Invited Paper)
No full textA leading idea is to apply techniques from verification and programming theory to machine learning and statistics, to deal with things like compositionality and various notions of correctness and complexity. Probabilistic programming is an example of this. Moreover, this approach leads to new foundational methods in probability theory. This is particularly true in the "non-parametric" aspects, for example in higher-order functions and infinite random graph models
Enrichment in Categorical Quantum Foundations
No full textContains fulltext :
199721.pdf (Publisher’s version ) (Open Access)Radboud University, 09 januari 2019Promotor : Jacobs, B.P.F. Co-promotor : Staton, Samv, 143 p
Categorical approaches to computations in contextuality and causality
No full textContains fulltext :
208548.pdf (Publisher’s version ) (Open Access)Radboud University, 11 november 2019Promotor : Jacobs, B.P.F. Co-promotores : Kissinger, A.R., Staton, Samix, 193 p
Letter from Hayao (Sam) Chuman to the American Friends Service Committee
No full textA letter from Hayao (Sam) Chuman to the American Friends Service Committee, donating a portion of his redress check from the U.S. government to the Committee.The Chuman (Hayao "Sam" and Toshiko) Papers documents the World War II experiences of Hayao "Sam" and Toshiko Chuman, who were Kibei Nisei born in the United States but grew up and completed school in Japan, and then returned to the U.S. prior to the war. It chronicles the Chuman's incarceration from the Santa Anita Assembly Center, through Jerome, Rohwer, Tule Lake camps, and the Santa Fe and Crystal City internment camps as well as their struggle for restoring their U.S. citizenships in the 1960s. The digital collection consists of mostly textual material, including correspondence, affidavits, incarceration camp records, lease agreements, financial documents, receipts, pamphlets, and booklets
Letter from Hayao (Sam) Chuman to Earl Warren and "Attorney General Clark"
No full textA letter from Hayao (Sam) Chuman to Chief Justice of the Supreme Court Earl Warren and "Attorney General Clark". The letter is a request to regain his citizenship after renouncing his U.S. citizenship and requesting repatriation to Japan during his time incarcerated in World War II.The Chuman (Hayao "Sam" and Toshiko) Papers documents the World War II experiences of Hayao "Sam" and Toshiko Chuman, who were Kibei Nisei born in the United States but grew up and completed school in Japan, and then returned to the U.S. prior to the war. It chronicles the Chuman's incarceration from the Santa Anita Assembly Center, through Jerome, Rohwer, Tule Lake camps, and the Santa Fe and Crystal City internment camps as well as their struggle for restoring their U.S. citizenships in the 1960s. The digital collection consists of mostly textual material, including correspondence, affidavits, incarceration camp records, lease agreements, financial documents, receipts, pamphlets, and booklets
Recursion and sequentiality in categories of sheaves
No full textWe present a fully abstract model of a call-by-value language with higher-order functions, recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired by the fully abstract models of O'Hearn, Riecke and Sandholm, and Marz and Streicher. In contrast with semantics based on cpo’s, we treat recursion as just one feature in a model built by combining a choice of modular components
Sam "Kangaroo"
No full textabstract: Sam left Sudan when he was six years old. He also witnessed many people die when they tried to cross the Gilo river.
“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: 23Region: Upper Nile (Bor)This picture and bio was donated to the "Lost Boys Found" oral history project from The Arizona Lost Boys Cente
the beat report piece detailing author Sam Pfeifle\u27s wishes for local music fo
No full textthe beat report piece detailing author Sam Pfeifle\u27s wishes for local music for 2004, mentioning radio stations WCYY and WCLZ, local band 6gig, and the Musicians Resource League
- …
