Results 141 to 150 of about 6,826 (311)
Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy
Advanced Science, EarlyView.Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu +4 more
wiley +1 more source
A family of temporal terminological logics
, 1993 We present a family of temporal terminological logics that share the characteristic of having temporal operators on intervals as concept forming operators.
Claudio Bettini, C. Bettini
core +1 more source
Mapping the “Supply–Demand–Flow” of Ecosystem Services for Ecosystem Management in China
Advanced Science, EarlyView.This study develops a “supply–demand–flow” framework clarifies how ecosystem services move between regions by distinguishing potential and actual supply and demand. Using integrated biophysical–socioeconomic modeling, nine services in China were mapped.
Yikun Zhang +3 more
wiley +1 more source
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
, 2006 We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea +5 more
core
On a Temporal Logic of Prefixes and Infixes.
, 2020 A classic result by Stockmeyer [16] gives a non-elementary lower bound to the emptiness problem for star-free generalized regular expressions. This result is intimately connected to the satisfiability problem for interval temporal logic, notably for formulas that make use of the so-called chop operator. Such an operator can indeed be interpreted as the
Bozzelli L. +3 more
openaire +5 more sources
Advanced Science, EarlyView.Multi‐omics analyses uncover breed‐specific cis‐regulatory landscapes and higher‐order chromatin architectural differences that underlie early postnatal muscle fiber divergence in pigs. A super‐enhancer upstream of PPP3CB recruits MEF2C to activate PPP3CB transcription, while the PPP3CB–MEF2C positive feedback loop promotes oxidative muscle fiber ...
Shuailong Zheng +8 more
wiley +1 more source
A Hierarchy of Temporal Logics with Past
, 1995 We extend the classical hierarchy of branching-time temporal logics between UB and CTL by studying which additional expressive power (if any) stems from the incorporation of past-time modalities.
Schnoebelen, Ph. +3 more
core +1 more source
Azafea: Revista de Filosofía, 2009 RESUMEN: En este artículo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades ...
Carlos ARECES
doaj
Advanced Science, EarlyView.This review explores how hemoglobin‐based oxygen carriers (HBOCs) combined with nanozymes create multifunctional materials that deliver oxygen while maintaining redox homeostasis. Beyond artificial blood substitutes, these constructs enable wound healing with light‐triggered oxygen release, cancer therapy through enhanced oxygenation and reactive ...
Despoina Douka +4 more
wiley +1 more source
Advanced Science, EarlyView.ABSTRACT Current prostate cancer detection methods remain limited in non‐invasiveness and specificity, prompting interest in urinary biomarkers such as sarcosine. Here, we report a urine‐powered wearable platform for non‐invasive sarcosine detection as a proof‐of‐concept for decentralized early warning.
Jing Xu +10 more
wiley +1 more source