Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Riley Mitchell"'
Autor:
Riley, Mitchell
We present an extension of Martin-L\"of Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type theory by
Externí odkaz:
http://arxiv.org/abs/2403.01939
Autor:
Brown, Nico, Cheng, Carson, Jacobi, Tanner, Karpovich, Maia, Merzenich, Matthias, Raucci, David, Riley, Mitchell
In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is called omniperiodic if there exist oscillators of all periods. At the tu
Externí odkaz:
http://arxiv.org/abs/2312.02799
Autor:
Myers, David Jaz, Riley, Mitchell
Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out synthetically. In spa
Externí odkaz:
http://arxiv.org/abs/2301.13780
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal extensions of
Externí odkaz:
http://arxiv.org/abs/2102.04099
For testing patients infected with COVID-19, along with RT-PCR testing, chest radiology images are being used. For the detection of COVID-19 from radiology images, many organizations are proposing the use of Deep Learning. University of Waterloo and
Externí odkaz:
http://arxiv.org/abs/2010.00958
The COVID-19 pandemic has been having a severe and catastrophic effect on humankind and is being considered the most crucial health calamity of the century. One of the best methods of detecting COVID-19 is from radiological images, namely X-rays and
Externí odkaz:
http://arxiv.org/abs/2008.00597
Autor:
Riley, Mitchell
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of symmetric monoida
Externí odkaz:
http://arxiv.org/abs/1809.00738
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2019 Apr 01. 116(14), 7095-7100.
Externí odkaz:
https://www.jstor.org/stable/26698617
