Results 101 to 110 of about 1,394,777 (330)
Learnable Diffusion Framework for Mouse V1 Neural Decoding
Advanced Science, EarlyView.We introduce Sensorium‐Viz, a diffusion‐based framework for reconstructing high‐fidelity visual stimuli from mouse primary visual cortex activity. By integrating a novel spatial embedding module with a Diffusion Transformer (DiT) and a synthetic‐response augmentation strategy, our model outperforms state‐of‐the‐art fMRI‐based baselines, enabling robust
Kaiwen Deng +2 more
wiley +1 more source
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
, 2010 This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models.
A. Al-Nayeem +25 more
core +2 more sources
Modalizing commitment space semantics
Sinn und Bedeutung 24, 2020 Proceedings of Sinn und Bedeutung, Vol 24 No 2 (2020): Proceedings of Sinn und Bedeutung ...
openaire +1 more source
Advanced Science, EarlyView.Renal fibrosis, a hallmark of CKD, lacks effective treatments. Herein, we developed a multimodal AI model (TCM‐SPred) to identify anti‐fibrotic agents and found that dehydrocostus lactone (DCL) targets IQGAP1 to inhibit Wnt signaling, blocking the interaction between IQGAP1 and CCT3, demonstrating potent anti‐fibrotic activity in vitro and in vivo ...
Weijiang Lin +12 more
wiley +1 more source
On the Semantics of Imperatives in Persian [PDF]
مطالعات زبانها و گویشهای غرب ایران, 2018 The present paper aims to analyze the imperatives in Persian form a formal semantics viewpoint. Basically, as well as the ‘directive’ meaning as their default reading, the imperatives express a variety of other illocutionary forces.
Hossein Moghani
doaj
, 2018 I want to see the concert, but I don’t want to take the long drive. Both of these desire ascriptions are true, even though I believe I’ll see the concert if and only if I take the drive.Yet they, and strongly conflicting desire ascriptions more generally,
Phillips-Brown, Milo
core
Completeness of Flat Coalgebraic Fixpoint Logics
, 2010 Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P. +3 more
core +1 more source
Advanced Science, EarlyView.Microbial synthesis of nanomaterials (NMs) is eco‐friendly, but the screening of microorganisms is limited by inefficient traditional methods (currently only involving∽400 microorganisms/90 NMs). We propose AI framework MicrobeDiscover, integrating a knowledge graph of microbe‐NM interactions.
Ludi Wang +12 more
wiley +1 more source
The Relevant Logic E and Some Close Neighbours: A Reinterpretation [PDF]
, 2017 This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference.
Mares, Edwin, Standefer, Shawn
core
Complexity of validity for propositional dependence logics
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +2 more sources