Results 61 to 70 of about 421,883 (287)

Named Models in Coalgebraic Hybrid Logic [PDF]

, 2010
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given ...
Dirk Pattinson, Dirk Pattinson, Lutz Schr ¨oder, Lutz Schroeder   +3 more
core   +4 more sources

Persistently Increased Expression of PKMzeta and Unbiased Gene Expression Profiles Identify Hippocampal Molecular Traces of a Long‐Term Active Place Avoidance Memory and “Shadow” Proteins

Advanced Science, EarlyView.
Protein complexes like KIBRA‐PKMζ are crucial for maintaining memories, forming month‐long protein traces in memory‐tagged neurons, but conventional RNA‐seq analysis fails to detect their transcript changes, leaving memory molecules undetected in the shadows of abundantly‐expressed genes.
Jiyeon Han, Alejandro Grau‐Perales, Rayna M. Harris, Edith Lesburguères, Hsin‐Yi Kao, Asit Pal, Juan Marcos Alarcon, Todd C. Sacktor, Stefano Martiniani, Hans A. Hofmann, André A. Fenton   +10 more
wiley   +1 more source

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

Princípios, 2011
This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj  

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

Fuzzy Logic Control of Adaptive ARQ for Video Distribution over a Bluetooth Wireless Link

Advances in Multimedia, 2007
Bluetooth's default automatic repeat request (ARQ) scheme is not suited to video distribution resulting in missed display and decoded deadlines. Adaptive ARQ with active discard of expired packets from the send buffer is an alternative approach. However,
R. Razavi, M. Fleury, M. Ghanbari
doaj   +1 more source

Disjunctive Logic Programs with Inheritance

, 2001
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco, Faber, Wolfgang, Leone, Nicola   +2 more
core   +1 more source

Haplotype‐Resolved 3D Genomic Landscapes and Their Impacts on Agronomic Traits in Grapevine

Advanced Science, EarlyView.
This study presents a haplotype‐resolved 3D genomic landscape of grapevine, revealing that structural variations (SVs) are closely associated with phased topologically associating domain (TAD) boundary transitions. These rearrangements coordinate with allele‐specific DNA methylation (ASM) and allele‐biased gene expression (ASE) to shape key agronomic ...
Yanling Peng, Lianzhu Zhou, Xinyue Fang, Ruoyan Zhao, Qi Xu, Mengrui Du, Ting Hou, Guizhou Huang, Yingchun Zhang, Sheng Yan, Ruo Yang, Zhongxin Jin, Yang Dong, Yanshuai Xu, Hua Xiao, Xiaodong Xu, Yi Liao, Xiping Wang, Yongfeng Zhou   +18 more
wiley   +1 more source

Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic

Studia Universitatis Babes-Bolyai: Series Informatica, 2010
This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system.
Mihaiela Lupea
doaj  

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Exploring Logical Intuition in Base-Rate Problems Using the Instructional Manipulation Paradigm

Behavioral Sciences
The default–interventionist model of dual-process theories proposes that stereotype descriptions in base-rate problems are processed using Type 1 processing, while the evaluation of base rates depends on Type 2 processing.
Debiao Zhu, Ping Lu, Zhujing Hu, Jianyong Yang, Dandan Nie   +4 more
doaj   +1 more source