Results 31 to 40 of about 677,578 (177)

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, Tarik Safa Kaya, Selin Sariyer, Hümeyra Nur Kaleli, Asim Onal, Ugur Berkay Caliskan, Murat Hasanreisoğlu, Rezan Demir‐Cakan, Sedat Nizamoglu   +8 more
wiley   +1 more source

Analyzing logic programs with dynamic scheduling [PDF]

, 1994
Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in ...
García de la Banda, M., Hermenegildo, Manuel V., Marriott, K.   +2 more
core   +2 more sources

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, Alban Morelle, Michele Masseroni, Shelly Ben‐David, Sara Martí‐Sánchez, Victor Boureau, Alok Rudra, Thomas Ihn, Jordi Arbiol, W. Craig Carter, Klaus Ensslin, Anna Fontcuberta i Morral   +11 more
wiley   +1 more source

A Refinement Calculus for Logic Programs [PDF]

, 2002
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs.
Colvin, Robert, Hayes, Ian, Hemer, David, Nickson, Ray, Strooper, Paul   +4 more
core   +2 more sources

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, Yun Sun, Dong‐Ming Sun, Hui‐Ming Cheng   +3 more
wiley   +1 more source

Correctness and completeness of logic programs [PDF]

, 2015
We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method which should be well known but is often neglected.
Drabent, Włodzimierz
core   +1 more source

Self‐Poled Halide Perovskite Ruddlesden‐Popper Ferroelectric‐Photovoltaic Semiconductor Thin Films and Their Energy Harvesting Properties

Advanced Functional Materials, EarlyView.
Low‐dimensional halide perovskite thin films, (BA)2(MA)n‐1PbnBr3n+1 (n = 1, 2), exhibit both semiconducting and ferroelectric properties, enabling mechanical and light energy harvesting. Using Cr/Cr₂O₃ or PCBM as barrier layers ensures reproducible ferroelectricity.
Raja Sekhar Muddam, Shaoyang Wang, Nirmal Prashanth Maria Joseph Raj, Qingping Wang, Philip Wijesinghe, Julia Payne, Matthew S. Dyer, Chris Bowen, Lethy Krishnan Jagadamma   +8 more
wiley   +1 more source

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory

, 2015
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the ...
BART BOGAERTS, Cadoli, Darwiche, Fierens, GUY VAN DEN BROECK, Janhunen, Lin, Pelov, Strass   +8 more
core   +1 more source

Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA

Advanced Functional Materials, EarlyView.
It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das, Naupada Preeyanka, Suryakant Mishra, Yutao Sang, Claudio Fontanesi   +4 more
wiley   +1 more source

Dynamic Networks via Polymerizable Deep Eutectic Monomers for Uniform Li+ Transport at Interfaces in Lithium Metal Batteries

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, Seonho Kim, Puji Lestari Handayani, Sungyeb Jung, Jae Hyun Park, U Hyeok Choi   +5 more
wiley   +1 more source