Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Henry DeYoung"'
Publikováno v:
Wilderness & Environmental Medicine. 32:508-510
Stingray envenomation is common in coastal regions around the world and may result in intense pain that can be challenging to manage. Described therapies involve hot water immersion and potentially other options such as opioid and nonopioid analgesic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e3194a12a4df9e8ef0b0ea4c5388bc0d
https://doi.org/10.1016/j.wem.2021.06.001
https://doi.org/10.1016/j.wem.2021.06.001
Publikováno v:
Programming Languages and Systems ISBN: 9783030993351
Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities medi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49ca77e2b1beb1f3be457eb4f4342a7e
https://doi.org/10.1007/978-3-030-99336-8_16
https://doi.org/10.1007/978-3-030-99336-8_16
Publikováno v:
Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030720186
ESOP
Programming Languages and Systems ISBN: 9783030720186
ESOP
Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is not fully understood in the context of session types. In this paper,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b5bbbdd0c3aeebed19ae03d2c2c8965
Publikováno v:
Aerospace Medicine and Human Performance. 89:1008-1012
BACKGROUND: Spontaneous pneumothorax (PTX) is a diagnostic challenge in aviators given the common occurrence of musculoskeletal pain after flight and notorious underreporting of symptoms of other diseases in this group.CASE REPORT: A 24-yr-old active
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d82c13ef073c8a6dc0a5a5bd0f43ba0a
https://doi.org/10.3357/amhp.5145.2018
https://doi.org/10.3357/amhp.5145.2018
Publikováno v:
Anesthesia & Analgesia. 132:e102-e102
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b04449d4955db553cfb6a658bb6064c3
https://doi.org/10.1213/ane.0000000000005539
https://doi.org/10.1213/ane.0000000000005539
Publikováno v:
BMJ case reports. 2017
A previously healthy 48-year-old active duty man, who had been treated for an elbow abscess 3 weeks earlier, presented to an emergency department in Bahrain with tachycardia, pericardial friction rub and jugular venous distention. Cardiac tamponade w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c582f9d24ab7ca08cb5e8150fc99e711
https://pubmed.ncbi.nlm.nih.gov/29018016
https://pubmed.ncbi.nlm.nih.gov/29018016
Autor:
Henry DeYoung, Frank Pfenning
Publikováno v:
Programming Languages and Systems ISBN: 9783319479576
APLAS
APLAS
We present subsingleton logic as a very small fragment of linear logic containing only \(\oplus \), \(\mathbf {1}\), least fixed points and allowing circular proofs. We show that cut-free proofs in this logic are in a Curry–Howard correspondence wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06812f73f67c42facc842d1dba44913b
https://doi.org/10.1007/978-3-319-47958-3_1
https://doi.org/10.1007/978-3-319-47958-3_1
Autor:
Carsten Schürmann, Henry DeYoung
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642327469
VOTE-ID
VOTE-ID
Current approaches to electronic implementations of voting protocols involve translating legal text to source code of an imperative programming language. Because the gap between legal text and source code is very large, it is difficult to trust that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35d6fce811f5b399cf5a79b0339ec290
https://doi.org/10.1007/978-3-642-32747-6_4
https://doi.org/10.1007/978-3-642-32747-6_4
Autor:
Henry DeYoung, Anupam Datta, Dilsun Kaynar, Deepak Garg, Jeremiah Blocki, Limin Jia, Nicolas Christin, Arunesh Sinha
Publikováno v:
Information Systems Security ISBN: 9783642255595
ICISS
ICISS
Privacy has become a significant concern in modern society as personal information about individuals is increasingly collected, used, and shared, often using digital technologies, by a wide range of organizations. Certain information handling practic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d802fd3e5e551b81aaf6376c31d556d3
https://doi.org/10.1007/978-3-642-25560-1_1
https://doi.org/10.1007/978-3-642-25560-1_1
Publikováno v:
WPES
Despite the wide array of frameworks proposed for the formal specification and analysis of privacy laws, there has been comparatively little work on expressing large fragments of actual privacy laws in these frameworks. We attempt to bridge this gap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21d6dc7053cb5c742afa32515375f744
https://doi.org/10.1145/1866919.1866930
https://doi.org/10.1145/1866919.1866930