Results 211 to 220 of about 4,158,085 (300)

Efficient translation of sequent calculus proofs into natural deduction proofs

, 2018
Gabriel Ebner, Matthias Schlaipfer
openalex   +1 more source

Triplet Energy Transfer‐Sensitized NIR‐II Luminescent Nanoprobes for Ultrasensitive Detection of Prostate‐Specific Antigen

Aggregate, EarlyView.
Sub‐6 nm NaGdF4:Yb/Er@Cypate nanoprobes leverage triplet energy transfer (TET) to amplify NIR‐II emission by 284‐fold under 808‐nm excitation, achieving an exceptional signal‐to‐background ratio (SBR = 273). Such signal reporters enable ultrasensitive detection of prostate‐specific antigen (PSA) with a limit of detection (LOD) of 98 fg mL−1 through ALP‐
Hang Gao, Yan Liu, Lijuan Liu, Renfu Li, Datao Tu, Yao Lin, Xueyuan Chen   +6 more
wiley   +1 more source

Influence of Polymorphisms in Gene SATB2 on Antipsychotics Response in Chinese Han Population. [PDF]

Neuropsychiatr Dis Treat
Du X, Wang Y, Zhang Q, Gao Y, Wang X, Zhao W, Hu X, Zhang Y, Xu Y, Chen B, Zhang J, Liu S, Li X.   +12 more
europepmc   +1 more source

Problem Posing Support in Natural Deduction by Coordinating Problem Posing and Problem Solving

, 2015
Kazuhisa Miwa, Hitoshi Terai, Shoma Okamoto   +2 more
openalex   +2 more sources

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem

Theoretical Computer Science, 2016
Federico Aschieri, M. Zorzi
semanticscholar   +1 more source

In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR

Advanced Intelligent Discovery, EarlyView.
Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley   +1 more source

Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus

, 2016
Edi Pavlović
openalex   +1 more source

Natural deduction for bi-intuitionistic logic

Journal of Applied Logic, 2017
L. Tranchini
semanticscholar   +1 more source

What to Make and How to Make It: Combining Machine Learning and Statistical Learning to Design New Materials

Advanced Intelligent Discovery, EarlyView.
Combining machine learning and probabilistic statistical learning is a powerful way to discover and design new materials. A variety of machine learning approaches can be used to identify promising candidates for target applications, and causal inference can help identify potential ways to make them a reality.
Jonathan Y. C. Ting, Amanda S. Barnard
wiley   +1 more source

The 8-Factor reasoning styles scale: development, validation, and psychometric evaluation. [PDF]

BMC Psychol
Duran V, Çelık F.
europepmc   +1 more source