Results 81 to 90 of about 902,991 (274)

A Pan‐Methylome Framework for Population‐Scale Bacterial Epigenomics

Advanced Science, EarlyView.
A scalable quantitative framework unlocks population‐level comparative epigenomics in bacteria. By transforming site‐level data into standardized traits, this approach reconstructs methylation‐informed phylogenies and defines the core epigenome.
Bin Ma, Huimin Gong, Ran Zhuo, Zaixiao Rao, Yanxi Wan, Mingyang Wang, Zahra Zeinalzadeh, Yuan Gao, Aohan Guan, Xinrun Li, Wanting Chen, Xiliang Wang, Yun Wan, Sihua Zhang, Yuncai Xiao, Qi Huang, Paul R. Langford, Xiangru Wang, Rui Zhou, Rui Luo, Hongbo Zhou, Chengliang Zhu, Hui Jin   +22 more
wiley   +1 more source

Gödel justification logics and realization

Logic Journal of the IGPL, 2021
AbstractWe study the topic of realization from classical justification logics in the context of the recently introduced Gödel justification logics. We show that the standard Gödel modal logics of Caicedo and Rodriguez are not realized by the Gödel justification logics and moreover, we study possible extensions of the Gödel justification logics, which ...
openaire   +1 more source

A Dual‐Modal Wearable PPG Smartwatch with AI‐Enhanced Correction for High‐Accuracy and Continuous AF Burden Assessment

Advanced Science, EarlyView.
ABSTRACT Atrial fibrillation (AF) increases the risk of stroke and heart failure, yet accurate quantification of AF burden in daily life remains difficult. Although smartwatch photoplethysmography (PPG) supports continuous monitoring, complex rhythms and signal noise can impair burden estimation.
Song Zuo, Jinglei Wang, Xin Wang, Han Feng, Yize Zhao, Fadong Li, Shaobin Wei, Le Zhou, Zixu Zhao, Songjie Chen, Xiangyi Kong, Jue Wang, Liu He, Shijun Xia, Xin Li, Junmeng Zhang, Xiaoxia Liu, Xueyuan Guo, Ning Zhou, Songnan Li, Chenxi Jiang, Ribo Tang, Caihua Sang, Deyong Long, Xin Du, Jianzeng Dong, Wenwu Zhu, Changsheng Ma   +27 more
wiley   +1 more source

Wright o myšlienke teórie logického poznania (Wright on the Idea of Theory of Logical Knowledge )

Ostium, 2017
This paper is concerned with Wright’s attempt to say ‘anything‘ about our – presumed – knowledge of the validity of the most fundamental laws of logic. His account of this basic cognitive achievement is not concerned with the first-order question, ‘how ...
Tomáš Čana
doaj  

Foreword

Legal Education Review, 2017
This article poses an unjust case problem and proceeds to demonstrate how case problems often do not give students a chance to question unjust, immoral or outdated laws.
Kate Galloway
doaj   +1 more source

The Place of Informal Logic in Philosophy

Informal Logic, 2000
We argue that informal logic is epistemological. Two central questions concern premise acceptability and connection adequacy. Both may be explicated in tenns of justification, a central epistemological concept.
James B. Freeman
doaj   +1 more source

The Internalized Disjunction Property for Intuitionistic Justification Logic [PDF]

, 2018
In intuitionistic justification logic, evidence terms represent intuitionistic proofs, thatis a formula r:A means r is an intuitionistic proof of A. A natural principle in thiscontext is the internalized disjunction property (IDP), which is: for each ...
Marti, Michel, Studer, Thomas
core  

Light‐Absorbing‐Layer‐Free Flash Lamp Annealing for High‐Throughput Fabrication of All‐Solution‐Processed Oxide Electronics

Advanced Science, EarlyView.
A flash lamp annealing strategy using a mullite chuck enables rapid conversion of sol–gels to metal oxides on silicon and ultra‐thin glass without extra light‐absorbing layers. Direct light absorption initiates the transformation, and the low thermal conductivity of mullite promotes heat accumulation.
Zetong Li, Wei He, Guangji Wang, Jingwei Zhang, Zhimin Chai, Xinchun Lu   +5 more
wiley   +1 more source

Decidability for Justification Logics Revisited [PDF]

, 2013
Justification logics are propositional modal-like logics that instead of statements A is known include statements of the form A is known for reason t where the term t can represent an informal justification for A or a formal proof of A. In our present work, we introduce model-theoretic tools, namely: filtrations and a certain form of generated ...
Samuel Bucheli, Roman Kuznets, Thomas Studer   +2 more
openaire   +4 more sources

Metabolic Memory in Cardiovascular Disease: Encoding, Propagation, and Therapeutic Targeting

Advanced Science, EarlyView.
Cardiovascular risk often persists after metabolic abnormalities are corrected. This conceptual Review frames such persistence as metabolic memory, encoded through a narrowing therapeutic window from reversible marks to irreversible damage, with continuous input from peripheral organs.
Cheng Cheng, Minghui Tang, Zhaobo Zhang, Ruoyi Qu, Jianfei Pei, Tian Liu, Siyao Qu, Shilong You, Shenshen Cui, Wenke Wang, Rui Zhao, Yingxian Sun, Naijin Zhang   +12 more
wiley   +1 more source