Zobrazeno 1 - 10
of 246
pro vyhledávání: '"Boolean circuits"'
Autor:
S.A. Lozhkin, D.S. Kinzhikeyeva
Publikováno v:
Учёные записки Казанского университета: Серия Физико-математические науки, Vol 162, Iss 3, Pp 335-349 (2020)
The step Boolean function is a function of the algebra of logic of n Boolean variables, n = 1, 2, … , reducing to 1 on all of the sets of an n -dimensional unit cube, the ordinal numbers of which are not lower than the given set. In this paper, the
Externí odkaz:
https://doaj.org/article/94b1dcb9ac67462d908d24bff8e72006
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.
Autor:
Bariant, Augustin
Whitebox cryptography aims at protecting standard cryptographic algorithmsthat execute in attacker-controlled environments. In these, the attacker is ableto read a secret key directly from memory. Common implementations mask alldata at runtime and op
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329808
Autor:
Gianluca Curzi, Luca Roversi
Publikováno v:
Theoretical Computer Science. 837:26-53
We introduce $\mathsf{LEM}$, a type-assignment system for the linear $ \lambda $-calculus that extends second-order $\mathsf{IMLL}_2$, i.e., intuitionistic multiplicative Linear Logic, by means of logical rules that weaken and contract assumptions, b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9802bd205be3f4ab4489b702a930335e
https://doi.org/10.1016/j.tcs.2020.05.001
https://doi.org/10.1016/j.tcs.2020.05.001
Conference
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.
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.
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.