Publications by authors named "S Giora Shoham"
Background: The Association for the Advancement of Blood and Biotherapies guidelines recommend the use of high-titer COVID-19 convalescent plasma (CCP) for patients with SARS-CoV-2 at high risk of disease progression, including those who are immunocompromised. We hypothesized that conventional plasma units have comparable neutralizing antibody levels to CCP.
Study Design And Methods: Conventional plasma and CCP units were obtained from blood suppliers.
Measuring whole-brain distributed functional activity is an important unmet need in neuroscience, requiring high temporal resolution and cellular specificity across large volumes. Functional optoacoustic neuro-tomography (FONT) with genetically encoded calcium ion indicators is a promising approach towards this goal. However, it has not yet been applied in the near-infrared (NIR) range that provides deep penetration and low vascular background optimal for neuroimaging.
View Article and Find Full Text PDFArticle Synopsis
- SMT-based model checkers, particularly IC3-style, are currently the top techniques for verifying infinite state systems by finding inductive invariants through step-by-step analysis of the transition relation.
- To improve the model checking process, the authors propose a new approach that incorporates global reasoning into IC3-style algorithms, addressing issues linked to local reasoning.
- Their implementation, called GSpacer, demonstrates improved effectiveness over previous methods, showing higher stability and efficiency in verification tasks without being affected by interpolation techniques.