Functional Logic Programming with Failure: A Set-Oriented View
Logic Programming and Automated Reasoning, 2001 F. J. López-Fraguas +1 more
semanticscholar +1 more source
Demonstration of Vertically Stacked ZnO/Te Complementary Field‐Effect Transistor
Advanced Electronic Materials, EarlyView.This study presents the first experimental demonstration of a vertically stacked complementary field‐effect transistor (CFET) using zinc oxide (ZnO) and tellurium (Te), providing a significant advancement in CFET technology. Furthermore, functional logic gates with a minimal footprint are demonstrated, confirming that vertical integration of CFETs is ...
Kiyung Kim +8 more
wiley +1 more source
Women online: A study of Common Service Centres in India using a capability approach
Asia &the Pacific Policy Studies, Volume 9, Issue 3, Page 268-287, September 2022., 2022 Abstract Income‐generating activities by women are an effective means of reducing gender‐based deprivation and disparities. In the constrained familial and community settings of developing economies, online platforms can be an appropriate means for women to carry out economic activities. In this context, important initiatives taken by the Government of
Meenakshi Rajeev, Supriya Bhandarkar
wiley +1 more source
Neuromorphic Floating-Gate Memory Based on 2D Materials. [PDF]
Cyborg Bionic SystHu C +9 more
europepmc +1 more source
Par means parallel: multiplicative linear logic proofs as concurrent functional programs [PDF]
, 2019 Federico Aschieri, Francesco A. Genco
openalex +1 more source
On the Enhanced p‐Type Performance of Back‐Gated WS2 Devices
Advanced Electronic Materials, EarlyView.A scalable method for directly growing WS2 enables robust and persistent p‐type behavior in back‐gated FETs, independent of metal contacts, thickness, or ambient conditions. Electrical measurements reveal minimal Schottky barrier heights and stable thermionic transport, while first‐principles simulations suggest tungsten vacancies or WO3 species as the
Carlos Marquez +14 more
wiley +1 more source
Rapid character scoring and tabulation of large leaf‐image libraries using Adobe Bridge
Applications in Plant Sciences, Volume 10, Issue 6, November-December 2022., 2022 Abstract Premise Digital image libraries are an integral part of specimen‐based research. However, coding and extracting metadata for hundreds of specimens on a personal computer can be complex. In addition, most existing workflows require downsampling or platform switching and do not link character data directly to the images.
Gabriella Rossetto‐Harris +4 more
wiley +1 more source
Benefits of Using Design Patterns on Microcontrollers in Implemented IoT Applications. [PDF]
Sensors (Basel)Babiuch M, Foltynek P.
europepmc +1 more source
A Declarative Debugging System for Lazy Functional Logic Programs
, 2002 Rafael Caballero +1 more
openalex +1 more source
Screening and Development of Sacrificial Cathode Additives for Lithium‐Ion Batteries
Advanced Energy Materials, EarlyView.This work presents a computational screening approach to identify Li‐rich transition‐metal oxide sacrificial cathode additives and provides experimental validation of antifluorite‐structured Li6MnO4 as a potential candidate. Abstract This work presents a computational screening approach to identify Li‐rich transition‐metal oxide sacrificial cathode ...
Haegyeom Kim +15 more
wiley +1 more source