Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Michael Roberson"'
Autor:
Jeffrey Birnbaum, Michael Roberson, Marlon M Bailey, Martez D R Smith, DeAnne Turner, Han-Zhu Qian, Sangchoon Jeon, Sabina Hirshfield, LaRon E Nelson
Publikováno v:
PLoS ONE, Vol 18, Iss 9, p e0289681 (2023)
Black men who have sex with men (MSM) continue to have the highest incidence of new human immunodeficiency virus (HIV) diagnoses in the United States but are least likely to be engaged in care or to be virally suppressed. Many Black MSM face multiple
Externí odkaz:
https://doaj.org/article/f5c30bd3d7da4ed4b179341a19cd595f
Autor:
Sabina Hirshfield, Jeffrey M. Birnbaum, DeAnne Turner, Michael Roberson, Marlon M. Bailey, Martez D. R. Smith, LaRon E. Nelson
Publikováno v:
Health Promotion Practice. 24:398-400
Black men who have sex with men (MSM) have the highest incidence of new HIV diagnoses compared to other populations and face multiple stigmas. Some have found refuge in the House Ball Community (HBC)—a national network of Black lesbian, gay, bisexu
Autor:
Michael Roberson
Publikováno v:
SSRN Electronic Journal.
This article discusses the limitations of coherent risk measure, specifically the properties of positive homogeneity and subadditivity that impose an infinitely linear scale to amount of risk. In practice, super-additive risks arise from feedback-lin
Publikováno v:
Journal of Gay & Lesbian Mental Health. 9:49-72
Publikováno v:
OOPSLA
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states without explicitly checking them. It is significantly more efficient tha
Publikováno v:
OOPSLA
This paper presents novel techniques for checking the soundness of a type system automatically using a software model checker. Our idea is to systematically generate every type correct intermediate program state (within some finite bounds), execute t
Publikováno v:
LCTES
In previous work on SafeJava we presented a type system extension to the Java source language that statically prevents data races and deadlocks in multithreaded programs. SafeJava is expressive enough to support common programming patterns, its type
Publikováno v:
Medical Imaging: Image Processing
Regularized nonrigid medical image registration algorithms usually estimate the deformation by minimizing a cost function, consisting of a similarity measure and a penalty term that discourages “unreasonable” deformations. Conventional regulariza
Autor:
Marc L. Kessler, Michael Roberson
Publikováno v:
New Technologies in Radiation Oncology ISBN: 3540003215
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87b32c7fc1af615e82f71ad8d7d3476a
https://doi.org/10.1007/3-540-29999-8_5
https://doi.org/10.1007/3-540-29999-8_5
Publikováno v:
Medical Physics. 33:2186-2186
Purpose: Existing methods for deformable image registration typically use homogeneous regularization to encourage global smoothness. Less work has been done to incorporate voxel‐level tissue‐specific elasticity information. Ignoring differences i