Results 91 to 100 of about 4,442,858 (282)
Tópicos, 2014 Fichte uses profusely different versions of the social contract when drafting his doctrine of right in the Foundations of the Natural Right (1796). This usage, which seems to follow a typical strategic reasoning of the hobbesian contractarianism, seems ...
Felipe Schwember Augier
doaj +1 more source
Advanced Science, EarlyView.Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen +12 more
wiley +1 more source
Advanced Science, EarlyView.Different kirigami patterns are proposed and the parameters are optimized by comparing the out‐of‐plane deformation behavior. Then, the proposed patterns are fabricated on PVDF film using laser technology. The deformed kirigami‐cut PVDF is embedded into PDMS to construct pressure senor.
Xiaodong Huang +6 more
wiley +1 more source
Tackling ”until induction” in natural deduction for PLTL
, 2008 We investigate the problem of induction in the natural deduction construction of propositional linear-time temporal logic. The well known induction with the “always in the future” operator has been an obstacle in our previous developments of the proof ...
Bolotov, A.
core
Advanced Science, EarlyView.This study maps out the hierarchical ordering in 1:2 B‐site complex perovskite ceramics using a comprehensive multiscale characterization route. It turns out that intradomain strain, oxygen vacancies, and Mg disorder within the ordered domains act as strong phonon scatterers.
Qingqiao Fu +6 more
wiley +1 more source
Meaning is Use: the Case of Propositional Identity
Bulletin of the Section of LogicWe study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj +1 more source
Peirce's Rule in Natural Deduction
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction
Advanced Science, EarlyView.CLRe uses a contrastive difficulty score to order pretrained seq2seq fine‐tuning for retrosynthesis. Reaction embeddings define the ranking score, and a cumulative easy‐to‐hard schedule expands from the easiest subset to the full training set while earlier examples remain active.
Tianhao Su +5 more
wiley +1 more source
Supposition: No Problem for Bilateralism
Bulletin of the Section of LogicIn a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts.
Ryan Simonelli
doaj +1 more source
Parallelismo tra la dialettica socratica e l'e-learning
Studi sulla Formazione, 2015 What is a general methodology of science? What is a general theory of method? The article examines the two questions and summarizes the passages that connect – not only in a separate but also in a unified way – recognition, understanding, reasoning and ...
Barbara Todini
doaj +1 more source