Results 101 to 110 of about 16,571,812 (297)
Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms [PDF]
, 2008 Integrating heterogeneous data from sources as diverse as web pages, digital libraries, knowledge bases, the Semantic Web and databases is an open problem.
Price, S, Flach, PA
core +1 more source
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 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
Advanced Functional Materials, EarlyView.Inspired by skeletal muscles’ precision and endurance, CoilLCE integrates a self‐sensing liquid crystal elastomer/graphene artificial muscle with an embedded Joule‐heating copper coil, enabling closed‐loop multistage actuation with programmable intermediate states (strain accuracy of 2%), and antagonistic coordination (32% total strain). These features
Ziyun Zhang +9 more
wiley +1 more source
Separation Logic for Higher-Order Store [PDF]
, 2006 Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap structures, thus facilitating the verification of programs with pointers.
Bernhard Reus, Jan Schwinghammer
openaire +1 more source
Advanced Functional Materials, EarlyView.Advanced ink systems for solution‐processed textile triboelectric nanogenerators are systematically summarized, spanning conductive, tribo‐negative, and tribo‐positive layers. By connecting ink chemistry, deposition methods, and device function, the present review reveals the key governing principles of solution development and highlights practical ...
Xinlong Sun, Stephen Beeby
wiley +1 more source
Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites
Advanced Functional Materials, EarlyView.Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto +4 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
Ten Theses on Logic Languages for the Semantic Web [PDF]
, 2005 This articles discusses the logic, or logic-based, languages required for a full deployment of the SemanticWeb. It presents ten theses addressing 1. the kinds of logic languages needed, 2. data and data processing, 3. semantics, and 4.
Massimo Marchiori +4 more
core +1 more source
Covalent Functionalization of 2D Semiconductors: A Roadmap to Advanced Electronic Devices
Advanced Functional Materials, EarlyView.This Review presents recent advances in the covalent functionalization strategies for two‐dimensional semiconductors and their implementation in modern technologies. Layered materials are modified through diverse molecular chemistries (e.g., thiols, diazonium salts, alkyl halides, and electron‐deficient species) to tailor their surface properties ...
Ramiro Quirós‐Ovies +2 more
wiley +1 more source