Results 101 to 110 of about 201,623 (302)
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]
J Autom Reason, 2022 Divasón J, Thiemann R.
europepmc +1 more source
Cut-elimination in functional higher-order logic [PDF]
, 2016 It is known that there can be no elementary (reductive) proof of cut-elimination for a sequent calculus of higher-order logic, since this would provide an elementary proof of consistency of PA. Thus the cut-elimination proofs for higher-order calculi are
Pona, Nika
core +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source
Fuzzy Logic and Education: Teaching the Basics of Fuzzy Logic through an Example (by Way of Cycling)
Education Sciences, 2013 Fuzzy logic dates back to 1965 and it is related not only to current areas of knowledge, such as Control Theory and Computer Science, but also to traditional ones, such as Philosophy and Linguistics.
Alejandro Sobrino
doaj +1 more source
Fragments of Spider Diagrams of Order and their Relative Expressiveness [PDF]
, 2010 Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are
Simon Thompson +7 more
core +1 more source
Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors
Advanced Materials, EarlyView.A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi +11 more
wiley +1 more source
Jurnal Penelitian dan Evaluasi Pendidikan, 2016 Tujuan penelitian ini adalah mendeskripsikan kemampuan berpikir tingkat tinggi (Higher Order Thinking Skills/HOTS) siswa dalam menyelesaikan soal PISA berdasarkan indikator yang telah disusun.
Dian Kurniati +2 more
doaj +1 more source
Logic program synthesis in a higher-order setting
, 2000 We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been implemented within the proof planning system λClam.
Richardson, J +5 more
core +1 more source