Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Cameron Rasmussen"'
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
Autor:
Cameron Rasmussen
Publikováno v:
Journal of Social Work. :146801732311625
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a993065a8e461cc0741ac745e892895
https://doi.org/10.1177/14680173231162552
https://doi.org/10.1177/14680173231162552
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
Publikováno v:
CSF
Transient execution attacks like Spectre, Meltdown and Foreshadow have shown that combinations of microarchitectural side-channels can be synergistically exploited to create side-channel leaks that are greater than the sum of their parts. While both
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::858312e2d2f6f25802ad7cb0bc724d88
https://doi.org/10.1109/csf.2019.00027
https://doi.org/10.1109/csf.2019.00027
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
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
https://doi.org/10.1007/978-3-319-96142-2_17
Autor:
Zhang, Jiliang1 (AUTHOR) zhangjiliang@hnu.edu.cn, Chen, Congcong1 (AUTHOR) chencongcong@hnu.edu.cn, Cui, Jinhua1 (AUTHOR) jhcui@hnu.edu.cn, Li, Keqin2 (AUTHOR) lik@newpaltz.edu
Publikováno v:
ACM Computing Surveys. Jul2024, Vol. 56 Issue 7, p1-40. 40p.
Autor:
Melendez, Diana1 diana.ballest@gmail.com, Ballesteros, Diana1, Rasmussen, Cameron1, Jemal, Alexis1
Publikováno v:
Genealogy (2313-5778). Sep2023, Vol. 7 Issue 3, p62. 27p.
Autor:
GONZÁLEZ, THALIA1
Publikováno v:
Journal of Criminal Law & Criminology. Summer2023, Vol. 113 Issue 3, p541-591. 51p.
Autor:
Immarigeon, Russ
Publikováno v:
Journal of Community Justice; Summer2024, Vol. 33 Issue 4, p9-13, 5p
Autor:
MORGAN, JAMELIA1
Publikováno v:
Connecticut Law Review. Sep2021, Vol. 53 Issue 3, p605-617. 13p.