Results 141 to 150 of about 1,932,015 (306)
A case study in formal methods : specification and validation of the OM/RR protocol [PDF]
, 2000 This paper reports on the results of the application of formal methods in the development of an industrial, mission-critical system, called the Operator Support System.
Klomp, Arjen +9 more
core
Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells
FEBS Open Bio, EarlyView.Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim +4 more
wiley +1 more source
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj
Pathways and pitfalls: a qualitative study of student experiences in biomedical science education
FEBS Open Bio, EarlyView.Biomedical science students from underrepresented backgrounds face barriers including financial strain, disrupted laboratory access and cultural exclusion. Peer networks provide vital support when institutional systems are difficult to navigate. To create inclusive learning environments and achieve academic success, educators should blend active, hands‐
Olivia J. Russell +8 more
wiley +1 more source
Cutaneous Melanoma Drives Metabolic Changes in the Aged Bone Marrow Immune Microenvironment
Aging and Cancer, EarlyView.Melanoma, the deadliest form of skin cancer, increasingly affects older adults. Our study reveals that melanoma induces changes in iron and lipid levels in the bone marrow, impacting immune cell populations and increasing susceptibility to ferroptosis.
Alexis E. Carey +12 more
wiley +1 more source
Towards a formal specification of multi-paradigm modelling
, 2019 The notion of a programming paradigm is used to classify programming languages and their accompanying workflows based on their salient features.
Rensink, Arend +17 more
core +1 more source
Aging and Cancer, EarlyView.This study aimed to evaluate the prognostic value of ELN2017 in predicting survival outcomes and to assess the impact of clinical and molecular factors such as age, FLT3 and NPM1 mutations, and allogeneic hematopoietic stem cell transplantation (allo‐HSCT).
Mobina Shrestha +4 more
wiley +1 more source
Long‐Term Follow‐Up of Chemotherapy‐Associated Biological Aging in Women With Early Breast Cancer
Aging and Cancer, EarlyView.Women threated with adjuvant chemotherapy for early breast cancer have sustained long‐term increase in p16INK4a,, a robust marker of cell senescence, suggesting a chemotherapy‐associated age acceleration. p16INK4a as well as other biomarkers may identify patients at greatest risk for senescence‐related diseases of aging.
Hyman B. Muss +12 more
wiley +1 more source
Multi-modal document classification in AEC asset management
Intelligent Systems with ApplicationsThe digitalization of asset management within the architecture, engineering and construction (AEC) sector is in need of effective methods for the automatic classification of documents.
Floor Rademaker +2 more
doaj +1 more source
Aging and Cancer, EarlyView.This systematic review synthesizes prognostic models for survival and recurrence in resected non‐small cell lung cancer. While many models demonstrate moderate to good discrimination, few are externally validated and reporting quality is variable, limiting clinical applicability and highlighting the need for robust, transparent model development ...
Evangeline Samuel +4 more
wiley +1 more source