Igniting Pathways for Land-Based Healing: Possibilities for Institutional Accountability

Autor: Diana Melendez, Diana Ballesteros, Cameron Rasmussen, Alexis Jemal

Publikováno v: Genealogy, Vol 7, Iss 3, p 62 (2023)

U.S. based post-secondary educational institutions usually have violent origin stories that include land theft, genocide, and the participation in slavery. Schools of social work are no exception. In recent years, colleges and universities, including

Externí odkaz: https://doaj.org/article/ee89484d4f9d4f808937fe06261acaa7

Abolition and Social Work : Possibilities, Paradoxes, and the Practice of Community Care

Autor: Mimi Kim, Cameron Rasmussen, Durrell M. Washington

A critical anthology exploring the debates, conundrums, and promising practices around abolition and social work in academia and within impacted communities.Within social work—a profession that has been intimately tied to and often complicit in the

Understanding and Extending Incremental Determinization for 2QBF

Autor: Leander Tentrup, Markus N. Rabe, Cameron Rasmussen, Sanjit A. Seshia

Publikováno v: Computer Aided Verification ISBN: 9783319961415
CAV (2)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification-30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determinization as a set of inference rules to help understand the design sp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88ba71111d41f7edd853826b71936ce3
https://doi.org/10.1007/978-3-319-96142-2_17