Results 51 to 60 of about 103,916 (255)
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
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
Molecular Oncology, EarlyView.Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau +8 more
wiley +1 more source
Hijacking emergency granulopoiesis: Neutrophil ontogeny and reprogramming in cancer
Molecular Oncology, EarlyView.Neutrophils are highly plastic innate immune cells; their functions in cancer extend beyond the tumour microenvironment. This Review summarises current understanding of neutrophil maturation and heterogeneity and highlights tumour‐induced granulopoiesis as a systemic programme that expands immature, immunosuppressive neutrophils via tumour‐derived ...
Gabriela Marinescu, Yi Feng
wiley +1 more source
Molecular Oncology, EarlyView.CIN85 is highly expressed in osteosarcoma, particularly in metastatic lesions. Its overexpression increases cell migration and Matrigel invasion, while silencing CIN85 suppresses these behaviors. Transcriptome analysis shows that CIN85 regulates MMP2, COL3A1, and Akt/mTOR signaling. Targeting these pathways reverses CIN85‐induced motility, highlighting
Iryna Horak +10 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
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.Translational cancer research and its implementation through competitively selected Comprehensive Cancer Centers across Europe should be the primary policy focus for addressing the increasing cancer burden in Europe and counteract the present main strategy to convert cancer to a chronic disease.
Manuel Heitor +2 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
Control unit in optical tomography [PDF]
, 2010 Control unit is important part in any process tomography. This unit will ensure the smoothness of overall system. Knowledge in programming the microcontroller is really needed to ensure the success of any project ...
Abdul Rahim, Ruzairi +2 more
core