Results 81 to 90 of about 114,330 (265)
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
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
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
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
EPiC Series in Computing, 2018 In this paper, we present an embedding of higher-order nominal modal logicinto classical higher-order logic, and study its automation. There exists no automated theorem prover for first-order or higher-order nominal logic at the moment, hence, this is the first automation for this kind of logic.In our work, we focus on nominal tense logic and have ...
Wisniewski, Max, STEEN, Alexander
openaire +3 more sources
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
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
Advanced Materials, EarlyView.We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang +20 more
wiley +1 more source
La metafísica de orden superior: el caso del realismo fregeano
Síntesis. Revista de FilosofíaHigher-order metaphysics is an emerging research program that aims to account for metaphysical problems using the tools of higher-order logic. This critical study shows some of the relevant antecedents that led to this paradigm shift that is occurring in
Felipe Esteban Carrasco Figueroa
doaj +1 more source