Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions by Bahram N. Uchevler, Kjetil Svarstad

“…A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this article, in which partially reconfigurable hardware is used as the implementation platform. …”
Get full text

Pattern-Based Test Suite Reduction Method for Smart Contracts by Tomasz Górski

Subjects: Get full text

A minimal gene set characterizes TIL specific for diverse tumor antigens across different cancer types by Zhen Zeng, Tianbei Zhang, Jiajia Zhang, Shuai Li, Sydney Connor, Boyang Zhang, Yimin Zhao, Jordan Wilson, Dipika Singh, Rima Kulikauskas, Candice D. Church, Thomas H. Pulliam, Saumya Jani, Paul Nghiem, Suzanne L. Topalian, Patrick M. Forde, Drew M. Pardoll, Hongkai Ji, Kellie N. Smith

“…Collectively, we show that MANAscore is a robust tool that can greatly enrich candidate tumor-specific T cells and be used to understand the functional programming of tumor-reactive TIL.…”
Get full text

Impaired Resolution of Inflammation in the Endoglin Heterozygous Mouse Model of Chronic Colitis by Madonna R. Peter, Mirjana Jerkic, Valentin Sotov, David N. Douda, Daniela S. Ardelean, Niousha Ghamami, Flavia Lakschevitz, Meraj A. Khan, Susan J. Robertson, Michael Glogauer, Dana J. Philpott, Nades Palaniyar, Michelle Letarte

Get full text

BACH2 in TRegs Limits the Number of Adipose Tissue Regulatory T Cells and Restrains Type 2 Immunity to Fungal Allergens by Amanda Contreras, Darin L. Wiesner, Brock Kingstad-Bakke, Woojong Lee, John P. Svaren, Bruce S. Klein, M. Suresh

“…In summary, we ascribe vital roles for Bach2 in peripheral Tregs: as a transcriptional checkpoint to limit precocious differentiation into effector Tregs in lymphoid tissues and as a regulator of the functional program that restrains Type 2 but not Type 1 inflammation in lungs. …”
Get full text