Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Randomising Realizability

Autor: Carl, M., Galeotti, L., Passmann, R., De Mol, L., Weiermann, A., Manea, F., Fernández-Duque, D.

Publikováno v: Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings, 82-93
STARTPAGE=82;ENDPAGE=93;TITLE=Connecting with Computability
Lecture Notes in Computer Science ISBN: 9783030800482

We consider a randomised version of Kleene’s realizability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positive probability. In particular, we show that (i) the set of randomly r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b384cce9d6d0d98f7942b3f44f1a6e83
https://dare.uva.nl/personal/pure/en/publications/randomising-realizability(b4916e18-c6ef-4a0e-972d-6fa1db3422b7).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Overview of TAE technologies' HHFW project on LAPD.

Autor: Yang, X., Binderbauer, M., Song, Y., Carter, T., Goulding, R., Yang, Q., Chen, G., Schroeder, J., DeHaas, T., Compernolle, B. Van, Ceccherini, F., Galeotti, L., Allfrey, I., Dettrick, S., Sibley, A., Feng, P., Valentine, T., Waggoner, W., Lau, C., Shiraiwa, S.

Publikováno v: AIP Conference Proceedings; 2020, Vol. 2254 Issue 1, p1-4, 4p, 1 Diagram, 4 Graphs