Results 151 to 160 of about 71,357 (311)

Dose‐Dependent Reprogramming of Chromatin Accessibility by SOX4 Drives the Transcriptional Response to Iron Overload

Advanced Science, EarlyView.
This study demonstrates that iron overload triggers widespread chromatin compaction and transcriptional repression in human granulosa cells, recapitulating features of endometriosis. The epigenetic reprogramming is orchestrated by a TFEB‐SOX4‐SWI/SNF axis, with SOX4 acting as a central, dosage‐sensitive regulator.
Feifei Li, Yaoqiu Wu, Guangyu Yang, Jingyi Lai, Xiaoyue Sun, Liyan Wang, Xiaoli Li, Jing Zhang, Qingxue Zhang, Hui Chen, Haiyan Lin, Bingxiang Xu, Junfeng Zhang, Hailong Wang, Anming Meng, Chunwei Cao   +15 more
wiley   +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, Yadong Yang, Yongsheng Wang, Guirui Yu   +3 more
wiley   +1 more source

Maximal traces and path-based coalgebraic temporal logics

, 2011
This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems.
Cirstea, Corina, Corina Cîrstea
core   +1 more source

Multi‐Omics Insights Into the Mechanisms of Early Muscle Fiber Difference and Transformation Between Lean‐Type and Chinese Indigenous Pigs

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, Hainan Wu, Min Liu, Kunpeng Wu, Shuntao Huang, Zulfiqar Ahmed, Lenox Pius, Mengjin Zhu, Dequan Xu   +8 more
wiley   +1 more source

Nanozymes for Advanced Hemoglobin‐Based Oxygen Carriers: Applications in Blood Substitution, Wound Healing, Antitumor Therapy, and Beyond

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, Ana María Pablo‐Sainz‐Ezquerra, Eva Jakljevič, Niki Ktena, Leticia Hosta‐Rigau   +4 more
wiley   +1 more source

Prescribed Performance Control for Signal Temporal Logic Specifications

, 2017
Motivated by the recent interest in formal methods-based control for dynamic robots, we discuss the applicability of prescribed performance control to nonlinear systems subject to signal temporal logic specifications.
Verginis, Christos,, Verginis, Christos, Dimarogonas, Dimos V., Christos K. Verginis, Dimos V. Dimarogonas, Lindemann, Lars, Lars Lindemann, Lindemann, Lars,, Dimarogonas, Dimos V.,   +8 more
core   +1 more source

Toward Prostate Cancer Early Warning with a Self‐Powered Wearable Biosensing Platform Integrated with Machine Learning

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, Hanxiao Chen, Qichen Yuan, Liucun Yin, Yifang Tao, Hong Wang, Yuquan Xue, Delai Fu, Huan Pang, Tie Chong, Li Xue   +10 more
wiley   +1 more source

Labelled Tableaux for Distributed Temporal Logic

, 2009
The distributed temporal logic DTL is a logic for reasoning about temporal properties of discrete distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous ...
VIGANO', Luca, CALEIRO C., RAMOS J., BASIN D.   +3 more
core   +1 more source

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., Montanari A., Peron A., Sala P.   +3 more
openaire   +5 more sources

Ethical Precision in Nanoscale Brain Interfacing

Advanced Science, EarlyView.
As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley   +1 more source