Results 61 to 70 of about 1,497,677 (335)
Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
An adapted processing for solvent‐free argyrodite solid electrolyte films based on insights into degradation mechanisms of the widely used binder polytetrafluoroethylene is presented. By adapting the dry film processing, long‐term cycling in Si||NMC pouch cells is demonstrated over more than 1000 cycles with a capacity retention of more than 80%, and ...
Maria Rosner +10 more
wiley +1 more source
EBU’L-BEREKAT EL-BAĞDADİ’NİN MANTIK İLMİNE BAKIŞI
This research is about Abul Barakat al Baghdadi’s opinions on Logic. The aim of, functiol of, subject of logic, and its place in the classification of sciences is mentioned in this article.
Ahmet Kamil Cihan
doaj
On the Learnability of Knowledge in Multi-Agent Logics [PDF]
Ionela Georgiana Mocanu
openalex +1 more source
A Note on Parameterised Knowledge Operations in Temporal Logic [PDF]
We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities.
Rybakov, Vladimir
core
The article investigates an evidence-based semantics for epistemic logics in which pieces of evidence are interpreted as equivalence relations on the epistemic worlds. It is shown that the properties of knowledge obtained from potentially infinitely many
Naumov, Pavel, Tao, Jia
core +1 more source
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
اشتراط المنطق في الاجتهاد الأصولي – دراسة مقارنة
هدفت الدراسةُ إلى بحثِ حقيقة علم المنطق والفرقِ بينه وبين الفلسفة، وتحرير حكم الاشتغال به، ودراسة ما اشترطه بعض الأصوليين من العلم بالمنطق لبلوغ رتبة الاجتهاد، وتكمن أهمية الموضوع في بيان وجوه الترابط بين علمي الأصول والمنطق، سواء أكان ذلك الترابط ...
مرفق ناجي مصلح ياسين
doaj +1 more source
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the ...
BART BOGAERTS +8 more
core +1 more source
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak +14 more
wiley +1 more source

