Search

Your search keyword '"Alexander, Perry"' showing total 217 results

Search Constraints

Start Over You searched for: Author "Alexander, Perry" Remove constraint Author: "Alexander, Perry"
217 results on '"Alexander, Perry"'

Search Results

1. An Infrastructure for Faithful Execution of Remote Attestation Protocols

2. A Framework for Policy Based Negotiation

4. Design of a Multicenter, Randomized Controlled Trial for the Treatment of Peripheral Neuropathic Pain (COMFORT Study) with a Micro-Implantable Pulse Generator.

5. An Infrastructure for Faithful Execution of Remote Attestation Protocols

6. Orchestrating Layered Attestations

7. Predictors of biochemical recurrence after robot-assisted radical prostatectomy: single-centre analysis.

10. 100 Years of Software - Adapting Cyber-Physical Systems to the Changing World

11. Systemic Inflammatory Mediators Are Effective Biomarkers for Predicting Adverse Outcomes in Clostridioides difficile Infection

12. Digital home-lessness: Exploring the links between public Internet access, technological capital, and social inequality.

13. Formally verified bundling and appraisal of evidence for layered attestations.

14. Kuznetsov’s Fano threefold conjecture via K3 categories and enhanced group actions

16. X-Ray absorption spectroscopy of H3O+

19. The integral Hodge conjecture for two-dimensional Calabi–Yau categories

20. The Clinical Impact of Implementation of a Multidisciplinary Endocarditis Team

21. A Predictive Model to Identify ComplicatedClostridiodes difficileInfection

22. Stateless Higher-Order Logic with Quantified Types

23. Verifying a Privacy CA Remote Attestation Protocol

25. Monad Factory: Type-Indexed Monads

27. Writing Composable Software with InterpreterLib

28. External Validation and Comparison of Clostridioides difficile Severity Scoring Systems

33. A Predictive Model to Identify Complicated Clostridiodes difficile Infection

34. A formal framework for specifying and verifying time warp optimizations

35. A brief summary of VSPEC

36. The Role of Coronary Catheterization with Angiography in Surgically Managed Infectious Endocarditis

38. Large scale active networks simulation

39. Physician perceptions of a multidisciplinary endocarditis team

43. A Soft Robot for Peripheral Lung Cancer Diagnosis and Therapy

46. Heart murmur in a young man

48. Comparison of Neutron Organ and Effective Dose Coefficients for PIMAL Stylized Phantoms in Bent Postures in Cranial and Caudal Irradiation Geometries

Catalog

Books, media, physical & digital resources