Zobrazeno 1 - 10
of 493
pro vyhledávání: '"Young, Thomas P."'
We study entanglement growth in a harmonic oscillator chain subjected to the weak measurement of observables which have been smeared-out over a length scale $R$. We find that entanglement grows diffusively ($S \sim t^{1/2}$) for a large class of init
Externí odkaz:
http://arxiv.org/abs/2403.04022
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.
We propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Separation logic with abstract predicates enforces a resource discipline
Externí odkaz:
http://arxiv.org/abs/1702.02972
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.
Autor:
Diaz, Alejandro A., Young, Thomas P., Maselli, Diego J., Martinez, Carlos H., Gill, Ritu, Nardelli, Pietro, Wang, Wei, Kinney, Gregory L., Hokanson, John E., Washko, George R., San Jose Estepar, Raul
Publikováno v:
In Chest June 2017 151(6):1255-1262
