Results 51 to 60 of about 26,770 (264)

A Non-Classical Logic for Information Retrieval [PDF]

The Computer Journal, 1986
Implicit in many information retrieval models is a logic. These logics are hardly ever formalized. This paper formalizes a non-classical logic underlying information retrieval. It shows how a particular conditional logic is the `right' logic to do Information Retrieval. Its relationship to existing retrieval mechanisms is investigated. The semantics of
openaire   +2 more sources

Isotopically Selected Co‐Doping of 121Sb and 123Sb Pairs in Silicon

Advanced Materials, EarlyView.
Pairs of 121Sb and 123Sb atoms are doped into silicon using single cluster implantation and found to reside substitutionally within the crystal lattice due to self‐annealing with a Sb‐to Sb separation of ≈2 nm. Molecular dynamics simulations reproduce the observed experimental results and single ion cluster detection efficiencies of 94% are ...
Mason Adshead, Maddison Coke, Evan Tillotson, Tomas F Bouvier, Artem Mkrtychyan, Kexue Li, Sam Sullivan‐Allsop, Ricardo Egoavil, William Thornley, Yi Cui, Christopher M. Gourlay, Katie L Moore, Flyura Djurabekova, Sarah J Haigh, Richard J Curry   +14 more
wiley   +1 more source

From Copper Nanoparticles to Alumina Encapsulated Porous Layers With Enhanced Mechanical Stability

Advanced Materials Interfaces, EarlyView.
This study analyzes the synthesis‐structure relation of individual Cu nanoparticles and highly porous nanoparticle‐based Cu films using different sputtering‐based nanoparticle sources. The inherent mechanical instability of the films is tackled with Al2O3 encapsulation through atomic layer deposition, enabling 4‐fold increase in critical force in ...
Dominik Gutnik, Daniele Casari, Laszlo Pethö, Michael Burtscher, Anna M. Hofer‐Roblyek, Christian Mitterer, Barbara Putz   +6 more
wiley   +1 more source

Interfaces in Large Area 2D Materials Integration: From Epitaxial Growth and Clean Transfer to Interface‐Dominated Performance

Advanced Materials Interfaces, EarlyView.
This Review proposes an interface‐centric framework for large‐area 2D materials integration, linking wafer‐scale single‐crystal epitaxy, clean transfer and deterministic stacking, and interface‐dominated structure–property–device correlations. We summarize how interfacial symmetry and energetics govern nucleation/coalescence and adhesion‐controlled ...
Han Chen, Chen Ji, Yiyang Xu, Huaze Zhu, Wei Kong   +4 more
wiley   +1 more source

Truth as a Mathematical Object

Principia: An International Journal of Epistemology, 2010
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj  

A Neighbourhood Semantics for the Logic TK

Principia: An International Journal of Epistemology, 2011
The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK.
Hércules de Araújo Feitosa, Cezar A. Mortari   +1 more
doaj   +3 more sources

On the Succinctness of Atoms of Dependency [PDF]

Logical Methods in Computer Science, 2019
Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence, independence, inclusion, exclusion and anonymity can be expressed in it, but for all atoms except dependence only exponential translations ...
Martin Lück, Miikka Vilander
doaj   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Philosophical Foundations of Intuitionistic Logic [PDF]

Metaphysics, 2013
Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics.
L Nabavi, MA Hojati, H Alaeenezhad
doaj   +1 more source

Recent Advances of Slip Sensors for Smart Robotics

Advanced Materials Technologies, EarlyView.
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source