Results 71 to 80 of about 81,262 (253)

On the connections between PCTL and Dynamic Programming

, 2009
Probabilistic Computation Tree Logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking.
Chatterjee, Debasish, Lygeros, John, Ramponi, Federico, Summers, Sean   +3 more
core   +1 more source

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

Advanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka, Richard T. Osgood, Hidetomi Nitta, Artur A. Indzhykulian   +3 more
wiley   +1 more source

Actual Causation in CP-logic

, 2011
Given a causal model of some domain and a particular story that has taken place in this domain, the problem of actual causation is deciding which of the possible causes for some effect actually caused it.
Hall, JOOST VENNEKENS, Pearl, Riguzzi, Riguzzi, Shafer, Vennekens   +6 more
core   +1 more source

Climate Action Impacts on Steelmaking Emissions of Persistent Organic Pollutants Highlight a Gap Between the Paris Agreement and the Stockholm Convention

Advanced Science, EarlyView.
Emissions of unintentionally produced persistent organic pollutants (UPOPs) and global warming are two major environmental challenges. But their governance has largely evolved in parallel, leaving the toxicity implications of climate‐driven industrial transitions poorly understood.
Yuxiang Sun, Qiuting Yang, Jianghui Yun, Yujue Yang, Junhao Tang, Qian Liu, Minghui Zheng, Guorui Liu   +7 more
wiley   +1 more source

Interval –valued probabilistic logic for logic programs

Journal of Computer Science and Cybernetics, 2016
This paper presents an approximate method for probabilistic entailment problem in knowledge bases where a portion of knowledge is given by a sentence in propositional logic accompanied with an interval presenting its truth probalibity. This method reduces the entailment problem to one  of finding “prime implicants” of the target sentence expressed ...
Phan Dinh Dieu, Phan Hong Giang
openaire   +2 more sources

Postsynaptic Complexin Mediates Constitutive Exocytosis of Nicotinic Acetylcholine Receptor

Advanced Science, EarlyView.
Beyond its established presynaptic role, complexin is identified as a postsynaptic regulator of neurotransmitter receptor trafficking. By promoting constitutive and activity‐dependent exocytosis of nicotinic acetylcholine receptors, complexin controls spontaneous synaptic signaling at the C.
Ya Wang, Yixiang Deng, Nan Xia, Shuzo Sugita, Shangbang Gao   +4 more
wiley   +1 more source

Cis‐ and Trans‐Regulatory Factors Independently Shape Phenotypic Heterogeneity of Retinitis Pigmentosa

Advanced Science, EarlyView.
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, Kotone Nakagawa, Takumi Tateno, Ayaka Dan, Dexin Meng, Yoshihiro Omori, Soma Tomihara, Suzuri Okamoto, Shigeru Sato, Motokazu Tsujikawa   +9 more
wiley   +1 more source

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

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, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source