E-LIB Suche - Ergebnisse für: Blumenfeld, Ian

1

Formalized High Level Synthesis with Applications to Crypto..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Harrison, William ; Blumenfeld, Ian ; Bond, Eric... - p. 332-352 , 2023

Link: https://doi.org/10.1007/..

2

Formal Methods Analysis of the Secure Remote Password Proto..:

, In: Logic, Language, and Security; Lecture Notes in Computer Science,

Sherman, Alan T. ; Lanus, Erin ; Liskov, Moses... - p. 103-126 , 2020

Link: https://doi.org/10.1007/..

3

Estimating Health and Economic Benefits from Using Prescrip..:

Samuel, Stuart ; Peskin, Barbara ; Arondekar, Bhakti...
The American Journal of Cardiology. 108 (2011) 5 - p. 691-697 , 2011

Link: https://doi.org/10.1016/..

4

Long-Term Outcomes in Patients with Severe Hypertriglycerid..:

Arondekar, Bhakti ; Samuel, Stuart ; Blumenfeld, Ian...
Journal of Clinical Lipidology. 4 (2010) 3 - p. 229-230 , 2010

Link: https://doi.org/10.1016/..

5

Cost Effectiveness of Prescription Strength Omega-3 in Indi..:

Arondekar, Bhakti ; Samuel, Stuart ; Blumenfeld, Ian...
Journal of Clinical Lipidology. 4 (2010) 3 - p. 230 , 2010

Link: https://doi.org/10.1016/..

6

Energy doubling of 42 GeV electrons in a metre-scale plasma..:

Blumenfeld, Ian ; Clayton, Christopher E. ; Decker, Franz-Josef...
Nature. 445 (2007) 7129 - p. 741-744 , 2007

Link: https://doi.org/10.1038/..

7

Formal Methods Analysis of the Secure Remote Password Proto..:

Sherman, Alan T ; Lanus, Erin ; Liskov, Moses...
http://arxiv.org/abs/2003.07421. , 2020

Link: http://arxiv.org/abs/200..

8

Thalamic activations in rat brain by fMRI during tactile (f..:

Sanganahalli, Basavaraju G. ; Thompson, Garth J. ; Parent, Maxime...
PLOS ONE. 17 (2022) 5 - p. e0267916 , 2022

Link: https://doi.org/10.1371/..

9

Correction to: Incidence and Risk Factors for Mortality Fol..:

Sakran, Nasser ; Sherf-Dagan, Shiri ; Blumenfeld, Orit...
Obesity Surgery. 28 (2018) 9 - p. 2670-2671 , 2018

Link: https://doi.org/10.1007/..

10

Incidence and Risk Factors for Mortality Following Bariatri..:

Sakran, Nasser ; Sherf-Dagan, Shiri ; Blumenfeld, Orit...
Obesity Surgery. 28 (2018) 9 - p. 2661-2669 , 2018

Link: https://doi.org/10.1007/..

11

Utilizing Light-field Imaging Technology in Neurosurgery:

Chen, BrianR ; Buchanan, Ian A ; Kellis, Spencer...
Cureus. , 2018

Link: https://doi.org/10.7759/..

12

Distributed Analysis in CMS:

Fanfani, Alessandra ; Afaq, Anzar ; Sanches, Jose Afonso...
Journal of Grid Computing. 8 (2010) 2 - p. 159-179 , 2010

Link: https://doi.org/10.1007/..

13

Book Reviews:

Mourell, Mark ; Blumenfeld, Stephen ; Macdonald, Fiona..
Labour & Industry: a journal of the social and economic relations of work. 18 (2007) 1 - p. 137-150 , 2007

Link: https://doi.org/10.1080/..

14

Splenic "Regeneration" after Partial Splenectomy for Gauche..:

Freud, Enrique ; Cohen, Ian J ; Mor, Celia...
Blood Cells, Molecules, and Diseases. 24 (1998) 3 - p. 309-316 , 1998

Link: https://doi.org/10.1006/..

15

Asteroid (101955) Bennu in the laboratory: Properties of th..:

Lauretta, Dante S. ; Connolly Jr, Harold C. ; Aebersold, Joseph E....
Meteoritics & Planetary Science. , 2024

Link: https://doi.org/10.1111/..