Results 151 to 160 of about 104,670 (289)

Logical consequence inside out

, 2010
Tarski’s definition of logical consequence for an interpreted language rests on the distinction between extra-logical symbols, whose interpretation is allowed to vary across models, and logical symbols, aka logical constants, whose interpretation remains
Westerståhl, Dag,, Bonnay, Denis
core  

Magnetoelectric Nanoparticle‐Based Wireless Brain–Computer Interface: Underlying Physics and Projected Technology Pathway

Advanced Science, EarlyView.
Magnetoelectric nanoparticles (MENPs) enable fully wireless, minutely invasive neuromodulation, and potentially neural recording, by converting magnetic into electric and, conversely, electric into magnetic fields, respectively, at high spatiotemporal resolution.
Elric Zhang, Max Shotbolt, Mostafa Abdel‐Mottaleb, Shawnus Chen, Victoria Andre, Jieyuan Tian, Jonathan Shulgach, Max Murphy, Brian Noga, Ping Liang, Darcy Griffin, Douglas Weber, Marta Pardo, Salvador Pane, Sakhrat Khizroev   +14 more
wiley   +1 more source

Journal of Global Health's GUidelines for Authors on Requesting and DIsclosing changes in Authorship Nominations (GUARDIAN). [PDF]

J Glob Health
Ursić L, Campbell H, Rudan I.
europepmc   +1 more source

Logical properties of Natural Language Inference - Experiments with Synthetic Data to Study Consequence Relations in LSTMs [PDF]

Natural language inference (NLI) datasets are great resources to train and benchmark models that infer entailment relations. However, these datasets are known to have issues such as lexical biases that affect the behaviour of the models trained on them.
Monteiro, Hélder
core  

Schooling Trajectories and the Development of Brain Dynamics: A Comparative Study of Montessori and Traditional Education

Advanced Science, EarlyView.
We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua, Anira Escrichs, Yonatan Sanz Perl, Morten L. Kringelbach, Adele Diamond, Solange Denervaud, Gustavo Deco   +6 more
wiley   +1 more source

Interplay Between Vertical and Horizontal Schemes of Computation: From Bayesian Inference to Quantum Logic via Gluing Boolean Algebras. [PDF]

Entropy (Basel)
Gunji YP, Nakamura K, Sasai K, Tani I, Kuroki M, Chiolerio A, Adamatzky A, Khrennikov A.   +7 more
europepmc   +1 more source

Type‐II Dirac Fermions in Monolayer In2O: Interplay of Magnetotransport, Spin Hall Effect, and Superconductivity

Advanced Science, EarlyView.
First‐principles calculations reveal that monolayer In2O${\rm In}_2{\rm O}$ hosts type‐II Dirac fermions near the Fermi level, which split into Weyl points under spin‐orbit coupling. The material exhibits negative and giant magnetoresistance, a pronounced spin Hall effect, and phonon‐mediated superconductivity at 1.5 K, establishing it as a unique ...
Qing‐Bo Liu, De‐Ming Feng, Wen‐Neng Zhao, Yu‐Yang Zhao, Lun Xiong, Xing‐Yi Tan, Hua‐Hua Fu   +6 more
wiley   +1 more source

Dynamic Properties in a Collisional Model for Confined Granular Fluids: A Review. [PDF]

Entropy (Basel)
Brito R, Soto R, Garzó V.
europepmc   +1 more source

From Semi-Abstract Argumentation to Logical Consequence

, 2018
The concept of “argumentative consequence” is introduced, involving only the attack relations in Dung-style abstract argumentation frames. Collections of attack principles of different strength, referring to the logical structure of claims of arguments ...
Corsi Esther Anna, Fermueller Christian
core  

High‐Throughput Screening and Interpretable Machine Learning for Rational Design of Bimetallic Catalysts for Methane Activation

Advanced Science, EarlyView.
ABSTRACT Methane's efficient catalytic removal is vital for sustainable development. Bimetallic catalysts, though promising for methane activation, pose a design challenge due to their complex compositional space. This work introduces an integrated framework that combines high‐throughput density functional theory (DFT) and interpretable machine ...
Mingzhang Pan, Tian Zhang, Jiawei Dong, Yubao Xie, Kaifeng Zhong, Wei Guan, Haiqiao Wei, Changcheng Fu, Yaqiong Su   +8 more
wiley   +1 more source