Results 51 to 60 of about 551,500 (277)
FEBS Open Bio, EarlyView.CAF‐mediated immunosuppression in ovarian cancer is driven by IDO1, reducing T‐cell function. Inhibiting IDO1 restores T‐cell proliferation and cytotoxicity, increases cancer cell apoptosis, and may help overcome CAF‐induced immune suppression in high‐grade serous ovarian cancer. Targeting IDO1 may improve antitumor immunity.
Hyewon Lee +3 more
wiley +1 more source
Shape predicates allow unbounded verification of linearizability using canonical abstraction [PDF]
, 2014 Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification.
Friggens, David, Groves, Lindsay
core +1 more source
Bounded Quantifier Instantiation for Checking Inductive Invariants
, 2019 We consider the problem of checking whether a proposed invariant $\varphi$ expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code.
Feldman, Yotam M. Y. +4 more
core +1 more source
FEBS Open Bio, EarlyView.This study addressed how a senior research thesis is perceived by undergraduate students. It assessed students' perception of research skills, epistemological beliefs, and career goals in Biochemistry (science) and BDC (science‐business) students. Completing a thesis improved confidence in research skills, resilience, scientific identity, closed gender‐
Celeste Suart +4 more
wiley +1 more source
Computer signal processing for ultrasonic attenuation and velocity measurements for material property characterizations [PDF]
Instrumentation and computer programming concepts that were developed for ultrasonic materials characterization are described. Methods that facilitate velocity and attenuation measurements are outlined.
Vary, A.
core +1 more source
Automatically Discovering, Reporting and Reproducing Android Application Crashes
, 2017 Mobile developers face unique challenges when detecting and reporting crashes in apps due to their prevailing GUI event-driven nature and additional sources of inputs (e.g., sensor readings).
Bernal-Cárdenas, Carlos +4 more
core +1 more source
FEBS Open Bio, EarlyView.This research protocol outlines a workflow for nuclear magnetic resonance (NMR)‐based metabolomics in the agri‐food sector. Using two case studies—strawberry leaves (solid matrix) and wine (liquid matrix)—it details the procedures for sample preparation, data acquisition, and processing.
Andrea Fernández‐Veloso +4 more
wiley +1 more source
Transmitter data collection using Ada [PDF]
A data collection system installed on the 400 kilowatt X-band transmitter of the Goldstone Solar System Radar is described. The data collection system is built around the off-the-shelf IEEE 488 instrumentation, linked with fiber optics, controlled by an ...
Conroy, B. L.
core +1 more source
Application of Virtual Instrumentation in Nuclear Physics Experiments
, 2011 The new way in the design of computer-based measurement systems can be seen in the use of up-to-date measurement, control and testing systems based on reliable devices.
J. Pechoušek
semanticscholar +1 more source
Age‐Related Changes in Myeloid Cells and Their Impact on Subcutaneous Melanoma Growth in Mice
Aging and Cancer, EarlyView.Our findings reveal that age‐related changes in subcutaneous melanoma growth and immunotherapy response are context‐dependent. In models where tumor growth and treatment resistance increase with age, this effect is partly driven by enhanced immunosuppression from myeloperoxidase‐active Gr‐1⁺ myeloid cells.
Kaitlyn M. Landreth +7 more
wiley +1 more source