Results 51 to 60 of about 103,546 (243)
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
Molecular Oncology, EarlyView.The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 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
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
Molecular Oncology, EarlyView.Nanosecond infrared laser (NIRL) low‐volume sampling combined with shotgun lipidomics uncovers distinct lipidome alterations in oropharyngeal squamous cell carcinoma (OPSCC) of the palatine tonsil. Several lipid species consistently differentiate tumor from healthy tissue, highlighting their potential as diagnostic markers.
Leonard Kerkhoff +11 more
wiley +1 more source
Molecular Oncology, EarlyView.We show that the majority of the 18 analyzed recurrent cancer‐associated ERBB4 mutations are transforming. The most potent mutations are activating, co‐operate with other ERBB receptors, and are sensitive to pan‐ERBB inhibitors. Activating ERBB4 mutations also promote therapy resistance in EGFR‐mutant lung cancer.
Veera K. Ojala +15 more
wiley +1 more source
On Verifying Resource Contracts using Code Contracts
, 2014 In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints.
Castaño, Rodrigo +4 more
core +2 more sources
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
The development of an instrument for evaluating computer assisted language programs
, 2012 published_or_final_version ; Education ; Master ; Master of ...
openaire +2 more sources
Quality-aware model-driven service engineering [PDF]
, 2008 Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration.
Barrett, Ronan +3 more
core
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