Results 201 to 210 of about 24,451 (299)
Probabilistic Kleene Algebra with Tests
:In order to improve the expressiveness of Kleene algebra with tests (KAT), which formalizes the behavior of regular programs, a complete theory of probabilistic Kleene algebra with tests (PKAT) for reasoning regular programs with probability was ...
doaj
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. [PDF]
Bernardini S, Fox M, Long D.
europepmc +1 more source
A single‐cell atlas of pancreatic ductal adenocarcinoma development reveals progressive ductal‐fibroblast‐immune crosstalk. Tumor‐derived LAMB3 drives the formation of immunosuppressive LRRC15+ fibroblasts through the ITGB1/FAK/MAPK/FOSL2 signaling. Glycolytic reprogramming upregulates LAMB3 and correlates with LRRC15+ fibroblast enrichment.
Xuqing Shi +23 more
wiley +1 more source
Nanoscale Spatial Organization of ARC High‐ and Low‐Order Assemblies at Excitatory Synapses
ARC (Activity‐Regulated Cytoskeleton‐Associated protein) mediates synaptic plasticity by forming nanoscale assemblies in neurons. Using super‐resolution microscopy and time‐resolved anisotropy with targeted tagging, the study reveals low‐order ARC assemblies at synapses colocalizing with AMPARs, semi‐circular structures at endocytic zones, and 60–80 nm
Martina Damenti +13 more
wiley +1 more source
Musculoskeletal surgeons use mixed reasoning rather than pure Bayesian strategies in clinical practice. [PDF]
Parisien R +5 more
europepmc +1 more source
A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui +9 more
wiley +1 more source
Enhancing context-aware SARS disorder management: a proposed multi-agent simulation framework with machine learning and bio-sensor data integration. [PDF]
Abdullah +7 more
europepmc +1 more source
The ER's continuous tubular network is maintained by ER‐shaping proteins whose mutation or dysregulation contributes to neurodegenerative diseases. Here, we show that ER morphology sets the speed of Ca2+ store replenishment between firing events. Disrupting ER continuity slows intra‐ER Ca2+ redistribution from extracellular refill (SOCE) sites, driving
Valentina Davi +13 more
wiley +1 more source
Explainable neuro-symbolic artificial intelligence for automated interpretation of corneal topography and early keratoconus detection. [PDF]
Wang MH, Qin S.
europepmc +1 more source

