38 research outputs found

    The Z Files: Reflection on the Practical Implications of Views about Personal Identity

    No full text
    Flyer for Fall 2000 ICS Faculty Fellow Lecture by Marvin Belzer

    The Complexity of Automated Reasoning

    No full text
    This thesis explores the relative complexity of proofs produced by the automatic theorem proving procedures of analytic tableaux, linear resolution, the connection method, tree resolution and the Davis-Putnam procedure. It is shown that tree resolution simulates the improved tableau procedure and that SL-resolution and the connection method are equivalent to restrictions of the improved tableau method. The theorem by Tseitin that the Davis-Putnam Procedure cannot be simulated by tree resolution is given an explicit and simplified proof. The hard examples for tree resolution are contradictions constructed from simple Tseitin graphs. iii Acknowledgements I would like to thank Steven Thomason, Marvin Belzer, David Goodman and William Older for their comments on early drafts of my thesis. I am very grateful to John Bell, James Brown, Hector Levesque, and John Slater for serving on my committee and also to William Seager for his equally interesting comments and his continual encouragemen..

    Pediatric subspecialty healthcare providers' views of recruitment during a randomized controlled trial of a mobile health intervention

    No full text
    Background: Randomized clinical trials (RCTs) enrolling pediatric populations often struggle with recruitment. Engaging healthcare providers in the recruitment process may increase patients' and caregivers' willingness to participate in research. The purpose of this study was to understand the perspectives of pediatric subspecialty healthcare providers considering recruiting patients to participate in an mobile health (mHealth) RCT. Methods: We conducted 9 semi-structured interviews and 1 focus group with a total of N = 11 providers from various disciplines before the initiation of an mHealth RCT addressing medication nonadherence. Then, we conducted 5 follow-up interviews and 1 follow-up focus group with a total of 8 of these providers several months later. We used thematic analysis to generate themes describing providers' views of the RCT and patient recruitment. Results: Providers indicated that they were willing to recruit for this study because they believed that the intervention sought to address a significant problem. They also thought it made sense to intervene using technology for this age group. However, many providers thought that certain patients (e.g., those with mild, shorter-lasting adherence difficulties) were the most appropriate to recruit. They described how keeping the trial front of mind facilitated recruitment, and they advised researchers to use strategies to promote their ongoing awareness of the study if conducting similar research in the future. Conclusion: Pediatric healthcare providers are important stakeholders in mHealth intervention research. Engaging them in participant recruitment is a complex endeavor that might promote patient enrollment, but their views of research and demanding clinical roles are important to understand when designing study procedures

    Examining Recruitment Strategies in the Enrollment Cascade of Youth Living With HIV: Descriptive Findings From a Nationwide Web-Based Adherence Protocol

    No full text
    BackgroundDigital strategies and broadened eligibility criteria may optimize the enrollment of youth living with HIV in mobile health adaptive interventions. Prior research suggests that digital recruitment strategies are more efficient than traditional methods for overcoming enrollment challenges of youth living with HIV in the United States. ObjectiveThis study highlights the challenges and strategies that explain screening and enrollment milestones in a national web-based adherence protocol for youth living with HIV. MethodsBaseline data from a national web-based HIV adherence protocol for youth living with HIV, collected from July 2018 to February 2021, were analyzed. A centralized recruitment procedure was developed, which used web-based recruitment via Online Master Screener; paid targeted advertisements on social media platforms (eg, Facebook and Reddit) and geosocial networking dating apps (eg, Grindr and Jack’d); and site and provider referrals from Subject Recruitment Venues and other AIDS service organizations, website referrals, and text-in recruitment. ResultsA total of 3 distinct cohorts of youth living with HIV were identified, marked by changes in recruitment strategies. Overall, 3270 individuals consented to screening, 2721 completed screening, 581 were eligible, and 83 completed enrollment. We examined sociodemographic and behavioral differences in completing milestones from eligibility to full enrollment (ie, submitting antiretroviral therapy and viral load data and completing the baseline web-based survey). Those with the most recent viral load tests >6 months ago were half as likely to enroll (odds ratio 0.45, 95% CI 0.21-0.94). Moreover, eligible participants with self-reported antiretroviral therapy adherence (SRA) between 50% and 80% were statistically significant (P80%. ConclusionsThe findings add to our knowledge on the use of digital technologies for youth living with HIV before and during the COVID-19 pandemic and provide insight into the impact of expanding eligibility criteria on enrollment. As the COVID-19 pandemic continues and the use of and engagement with social media and dating apps among youth living with HIV changes, these platforms should continue to be investigated as potential recruitment tools. Using a wide variety of recruitment strategies such as using social media and dating apps as well as provider referral mechanisms, increasing compensation amounts, and including SRA in enrollment criteria should continue to be studied with respect to their ability to successfully recruit and enroll eligible participants. International Registered Report Identifier (IRRID)RR2-10.2196/1118
    corecore