Results 31 to 40 of about 46,994 (285)
A 100 KS/s 8–10-Bit Resolution-Reconfigurable SAR ADC for Biosensor Applications
Micromachines, 2022 A DAC switching scheme that combines energy efficiency and resolution reconfigurability is proposed. Compared with the conventional switching scheme, the proposed scheme achieves 93.8%, 96.1%, and 97.3% switching energy saving in 8-bit, 9-bit, and 10-bit
Yunfeng Hu +5 more
doaj +1 more source
Clausal resolution in a logic of rational agency
Artificial Intelligence, 2002 AbstractA resolution based proof system for a Temporal Logic of Possible Belief is presented. This logic is the combination of the branching-time temporal logic CTL (representing change over time) with the modal logic KD45 (representing belief).
Dixon, C., Fisher, M., Bolotov, A.
openaire +3 more sources
Classical Resolution for Many-Valued Logics
Electronic Notes in Theoretical Computer Science, 2016 AbstractWe present a resolution-based proof method for finite-valued propositional logics based on an algorithmic reduction procedure that expresses these logics in terms of bivalent semantics. Our approach is hybrid in using some elements which are internal and others which are external to the many-valued logic under consideration, as we embed its ...
João Marcos, Cláudia Nalon
openaire +3 more sources
A new redundancy resolution for underwater vehicle–manipulator system considering payload
International Journal of Advanced Robotic Systems, 2017 For the motion coordination problem between the underwater vehicle and manipulator of the underwater vehicle–manipulator system, a new redundancy resolution method is proposed and investigated. The proposed method mainly has two parts: a fuzzy logic part
Yaoyao Wang +4 more
doaj +1 more source
Biointerfacing with AgBiS2 Quantum Dots for Pseudocapacitive Photostimulation
Advanced Functional Materials, EarlyView.It is demonstrated that AgBiS2 quantum dots exhibit unique photoinduced pseudocapacitive charge transfer properties, enabling efficient light‐to‐electrical energy conversion. These quantum dots facilitate enhanced light absorption and transduction when integrated with ZnO nanowires, which serve as an effective charge transport medium.
Ridvan Balamur +8 more
wiley +1 more source
Resolution method for some class of formulas of modal logic S4
Lietuvos Matematikos Rinkinys, 2004 There is not abstract.
Stanislovas Norgėla
doaj +1 more source
Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy
Advanced Functional Materials, EarlyView.Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan +11 more
wiley +1 more source
Carbon Nanotube 3D Integrated Circuits: From Design to Applications
Advanced Functional Materials, EarlyView.As Moore's law approaches its physical limits, carbon nanotube (CNT) 3D integrated circuits (ICs) emerge as a promising alternative due to the miniaturization, high mobility, and low power consumption. CNT 3D ICs in optoelectronics, memory, and monolithic ICs are reviewed while addressing challenges in fabrication, design, and integration.
Han‐Yang Liu +3 more
wiley +1 more source
Advanced Functional Materials, EarlyView.The PDEM‐based SIGPE provides a dynamic nanophase from Li+‐bridged molecular self‐association, enhancing electrochemical stability and facilitating uniform Li+ ion flux at the interface. This unique solvation structure results in a hetero species‐driven inorganic‐rich SEI and long‐term cycle stability, suggesting that a PFAS‐free Li+‐containing monomer
Susung Yun +5 more
wiley +1 more source
Structural Resolution for Logic Programming
, 2015 in ICLP 2015 Technical ...
Johann, Patricia +2 more
openaire +2 more sources