Results 91 to 100 of about 9,309 (288)

Battery‐Free, Wireless Multi‐Sensing Platform for Comprehensive Management of Pressure Injury and Hygiene

Advanced Functional Materials, EarlyView.
A battery‐free, wireless device for real‐time monitoring of pressure injury and hygiene integrates pressure (≈10 kPa), temperature (≈40 °C), and NH3 gas sensing with antibacterial functionality. Enabled by near‐field communication, it ensures simultaneous, interference‐free mechanical and chemical monitoring, offering a practical solution for pressure ...
Myungwoo Choi, Sunwoo Lee, Sang Won Kim, Ji Yeon Lee, Younghan Kim, Jewook Kim, Gye Hyeon Lee, Saehan Choi, Seonggwang Yoo, Hak‐Young Ahn, Taehoon Kim, Je‐Sang Lee, Weon Gi Min, Inkyu Park, Young‐Seok Shim, Yoon Sung Nam, Seokwoo Jeon, Jeong‐O Lee, Yong Suk Oh, Donghwi Cho   +19 more
wiley   +1 more source

Advancing the Co‐Based Anode Catalysts Using Ionomers in Pure‐Water Anion Exchange Membrane Electrolyzers

Advanced Functional Materials, EarlyView.
The role of ionomers is investigated in advancing cobalt‐based oxygen evolution catalysts in pure‐water anion exchange membrane electrolysers. Using in situ electrochemical analysis, ex situ material characterization, and membrane potential sensing, it is observed surface reconstruction at high currents and mitigated it via ionomer coating, achieving ...
Sanghwi Han, Jinse Woo, Jaehyuk Shim, Sungeun Heo, Sungjun Kim, Jang Yong Lee, Jeyong Yoon   +6 more
wiley   +1 more source

Community Building in a Virtual Teaching Environment

Advances in Social Work, 2016
In 2010, the University of Southern California School of Social Work launched its Virtual Academic Center (VAC) to deliver online MSW programming to students located around the country.
Sara Laura Schwartz, June L. Wiley, Charles D. Kaplan   +2 more
doaj   +1 more source

Mimicking Synaptic Plasticity: Optoionic MoS2 Memory Powered by Biopolymer Hydrogels as a Dynamic Cations Reservoir

Advanced Functional Materials, EarlyView.
Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong, Pietro Tordi, Adrián Tamayo, Bin Han, Massimo Bonini, Paolo Samorì   +5 more
wiley   +1 more source

An Introduction to Programming and Proving with Dependent Types in Coq

Journal of Formalized Reasoning, 2010
Computer proof assistants vary along many dimensions. Among the mature implementations, the Coq system is distinguished by two key features. First, we have support for programming with dependent types in the tradition of type theory, based on dependent ...
Adam Chlipala
doaj  

Functional inductive logic programming with queries to the user [PDF]

, 1993
Francesco Bergadano, Daniele Gunetti
openalex   +1 more source

3D Printing of Functional Mesoporous Silica Monoliths with Embedded Metal and MOF Components

Advanced Functional Materials, EarlyView.
This article presents the development of silica nanocage‐based nano‐inks tailored for digital light processing 3D printing, enabling automated additive manufacturing of mesoporous monoliths. Novel strategies for incorporating metal sites and inducing in situ growth of metal‐organic frameworks are introduced.
Thomas Gaillard, Arianna Bertero, Christine Joly‐Duhamel, Christine Biolley, Bartolomeo Coppola, Nicolas Brun, Anne Galarneau, Tangi Aubert   +7 more
wiley   +1 more source

Electrically Binary and Ternary Convertible CMOS Inverter and Logic Gate Using Complementary Field‐Effect Transistors Based on Vertically Stacked MoS2/WSe2 n‐/p‐ Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee, Dongyoung Kim, Eunyeong Yang, Jiwon Ma, Kibum Kang, Jiwon Chang   +5 more
wiley   +1 more source

The importance of key population community engagement and empowerment in HIV programming: insights from a global survey with local implementing partners

Journal of Global Health Reports, 2020
# Background Community engagement and empowerment are critical components of HIV programming, especially for key population communities affected by HIV, and are increasingly considered determinants of readiness for a locally financed and managed ...
Amita Mehrotra, Dirk A Davis, Emily Evens, Brian White, Rose Wilcher   +4 more
doaj   +1 more source

Inductive synthesis of recursive functional programs (poster abstract) [PDF]

, 1997
Bjarte M. Østvold
openalex   +1 more source