Results 91 to 100 of about 1,575,426 (254)

Programming with global analysis [PDF]

open access: yes, 1997
Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity.
Hermenegildo, Manuel V.
core  

Gut microbiota alterations in patients with non‐small‐cell lung cancer undergoing chemoradiotherapy

open access: yesMolecular Oncology, EarlyView.
We investigated the impact of concurrent chemoradiotherapy (CRT) on the gut microbiota in patients with locally advanced non‐small‐cell lung cancer. Overall gut microbiota composition remained largely stable throughout CRT while antibiotic exposure may influence microbial diversity.
Hanne Marte Nymoen   +19 more
wiley   +1 more source

Survey, taxonomy, and emerging paradigms of societal digital twins for public health preparedness

open access: yesnpj Digital Medicine
The emergence of SARS-CoV-2 (COVID-19) has demonstrated the severe impact of infectious diseases on global society, politics, and economies. To mitigate future pandemics, preemptive measures for effectively managing infection outbreaks are essential.
Muhammad Waqas Rehan   +1 more
doaj   +1 more source

Predictive and prognostic biomarkers of Bacillus Calmette‐Guérin therapy failure in bladder cancer patients: A systematic review

open access: yesMolecular Oncology, EarlyView.
High‐risk bladder cancer is typically treated with Bacillus Calmette‐Guérin (BCG), but 30–40% of patients relapse. No FDA‐ or CE‐approved biomarkers currently predict or prognosticate BCG failure. We systematically reviewed the literature and identified 72 eligible studies, revealing several promising biomarkers associated with BCG treatment response ...
Rui Ribeiro‐Pereira   +7 more
wiley   +1 more source

Proving as Programming with DrHOL: A Preliminary Design [PDF]

open access: yes, 2003
We discuss the design of a new implementation of the HOL system aimed at improved graphical user interface support for formal proof. We call our approach Proving as Programming, since we believe that metalanguage programming is a central aspect of proof ...
Konrad Slind   +3 more
core  

Paclitaxel induces NM2‐dependent cellular contraction through GEF‐H1 dissociation from microtubules and RhoA/ROCK activation in cancer cells

open access: yesMolecular Oncology, EarlyView.
Taxanes are widely used chemotherapeutics whose effects on cellular mechanics remain poorly understood. We show that paclitaxel induces rapid cellular contraction by promoting GEF‐H1 dissociation from microtubules and non‐muscle myosin II activation through RhoA/ROCK.
Gloria Asensio‐Juárez   +5 more
wiley   +1 more source

PROGRAMMING IN NATURAL LANGUAGE: PUBLICATIONS REVIEW

open access: yesInformatika, 2016
Paper addresses a number of scientific papers devoted to the issues of programming languages close to natural languages. Description of classical approaches to the design of natural programming languages and new approaches that have made the development ...
E. G. Luttsev
doaj  

Characterization of therapeutic antibodies targeting lymphatic and vascular resistance factor for the treatment of hypervascularized and highly metastatic cancers

open access: yesMolecular Oncology, EarlyView.
LVRF (lymphatic and vascular resistance factor) is a VEGFA splice variant upregulated in response to anti‐angiogenic therapy that fosters tumor adaptation through enhanced vascularization, lymphangiogenesis, and metastatic dissemination. Targeting LVRF with fully human neutralizing antibodies disrupts these processes and limits resistant tumor growth ...
Marion David   +12 more
wiley   +1 more source

Design considerations of an intelligent tutoring system for programming languages [PDF]

open access: yes
The overall goal of the thesis is to attempt to highlight the major topics which must be considered in the design of any Intelligent Tutoring System and to illustrate their application within the particular domain of LISP programming.
Elsom-Cook, Mark
core  

Home - About - Disclaimer - Privacy