Zobrazeno 1 - 10
of 505
pro vyhledávání: '"Christopher, Wagner"'
Publikováno v:
BMJ: British Medical Journal, 2000 Aug 01. 321(7258), 455-455.
Externí odkaz:
https://www.jstor.org/stable/25225389
Autor:
Roelof Wolters
Publikováno v:
Tijdschrift voor Psychotherapie. 40:456-458
Dit boek uit een serie van boeken over motiverende gespreksvoering, uitgegeven bij Guilford Press, is het eerste boek waarin deze methode wordt toegepast in groepsbehandeling. In Nederland is motiverende gespreksvoering voornamelijk bekend binnen de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6d301210555e4233b3ec7efe49f353e
https://doi.org/10.1007/s12485-014-0068-2
https://doi.org/10.1007/s12485-014-0068-2
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:172-200
The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The complexity and unboundedness of such systems, however, makes their verific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d9399a9ab7bb3a7b7ba466d2167ef97
https://doi.org/10.1145/3586033
https://doi.org/10.1145/3586033
Publikováno v:
BMJ. 321:454-454
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6cbfe21ef8057a4f4c5c79bcb543b1f
https://doi.org/10.1136/bmj.321.7258.454
https://doi.org/10.1136/bmj.321.7258.454
Publikováno v:
Clinics in Colon and Rectal Surgery. 35:342-348
Mesenteric panniculitis (MP) is the preferred nomenclature for a continuum of inflammatory diseases of the mesentery. The diagnosis of MP is often based on the appearance of a mass-like structure at the root of the mesentery. Characteristic histology
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd19e919430f5b305e94ef50736f0b5f
https://doi.org/10.1055/s-0042-1743588
https://doi.org/10.1055/s-0042-1743588
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Distributed agreement-based (DAB) systems use common distributed agreement protocols such as leader election and consensus as building blocks for their target functionality. While automated verification for DAB systems is undecidable in general, rece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b2763737c6b2f245dfdfa6d520b31cb
https://doi.org/10.1007/978-3-031-30820-8_19
https://doi.org/10.1007/978-3-031-30820-8_19
Publikováno v:
Die Intensivmedizin ISBN: 9783642546754
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0271ed14ce99776830c271ef4f991a1
https://doi.org/10.1007/978-3-642-54675-4_33-2
https://doi.org/10.1007/978-3-642-54675-4_33-2
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-31
The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols and target
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f0c5d1285a14cb97e851ad494e9d1c3
https://doi.org/10.1145/3485534
https://doi.org/10.1145/3485534
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:
Mohammad Hassan Ameri, Fei Wang, Tiark Rompf, Aniket Kate, Benoit Meister, Jeremiah Blocki, Pierre-David Letourneau, Alexander Seto, Roopsha Samanta, Benjamin Delaware, Yuyan Bao, Milind Kulkarni, Nouraldin Jaber, Qianchuan Ye, Jonathan Springer, Christopher Wagner, Kirshanthan Sundararajah, Donghang Lu, Christina Garman, Raghav Malik
Publikováno v:
GPCE
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographic techniques is known as Secure M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c50313d9c8c5d2e1ec8deb3d87885e1a
https://doi.org/10.1145/3486609.3487205
https://doi.org/10.1145/3486609.3487205