Results 141 to 150 of about 226,250 (290)

Schottky Barrier Engineering in n‐Type Organic Source‐Gated Transistors Enabling High Conductance

Advanced Materials Technologies, EarlyView.
This study introduces a modified source electrode architecture for n‐type organic source‐gated transistors (OSGTs). By integrating Schottky and Ohmic contact regions, the design achieves a thinner depletion envelope, enhancing mobility nearly tenfold and reducing threshold voltage.
Yonghee Kim, Jae Won Lee, Wonbeen Jeong, Eun Kwang Lee, Jiyoul Lee   +4 more
wiley   +1 more source

Explicit substitutions, logic and normalization

, 2004
Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation. L'objet de cette thèseest l'étude de leurs propriétés de normalisation forte et de préservation de la normalisation forte.
openaire   +1 more source

Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites

Advanced Materials Technologies, EarlyView.
Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang, Peter Zalar, Vishva Bhate, Takeo Furukawa, Hidekazu Kodama, Yijun Liu, Yuanyuan Zhou, Chuang Hou, Siyuan Liu, Naoji Matsuhisa   +9 more
wiley   +1 more source

Eliminating the substitution axiom from Unity logic

, 1990
The UNITY substitution axiom, "if (x=y) is an invariant of a program, then x can be replaced by y in any property of the program", is problematic for several reasons. In this paper, dual predicate transformerssst andwst are introduced that allow the strongest invariant of a program to be expressed, and these are used to give new definitions for the ...
openaire   +2 more sources

Multilevel Optical Programming of Intrinsic Vacancies in Solution‐Processed MoS2 Films for Retinomorphic Color Differentiation

Advanced Optical Materials, EarlyView.
Solution‐processed MoS2 films with intrinsic sulfur‐vacancy traps are used to integrate light sensing and memory in a simple two‐terminal pixel. Successive optical pulses program persistent, multilevel conductance states, while oxygen exposure enables rapid erasure.
Jihyun Kim, Jiyong Yoon, Gwang Ya Kim, Kijeong Nam, Jaewon Heo, In Soo Kim, Dongjoon Rhee, Donghee Son, Joohoon Kang   +8 more
wiley   +1 more source

A Proof‐of‐Concept Assessment of a Novel Wearable Eyelid Muscle Device: A Pre‐Clinical Animal Cadaver Study for Eyelid Closure Restoration

Advanced Robotics Research, EarlyView.
This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino, Phuoc Thien Phan, James Davies, Bibhu Sharma, Tianruo Guo, Chi Cong Nguyen, Nigel H. Lovell, Thanh Nho Do   +7 more
wiley   +1 more source

Auto‐Routing Fluidic Printed Circuit Boards

Advanced Robotics Research, EarlyView.
This work introduces (STREAM) software tool for routing efficiently advanced macrofluidics, an open‐source software tool for automating the design of 3D‐printable fluidic circuit boards. STREAM streamlines tube routing and layout, enabling the rapid fabrication of fluidic networks for soft robotics, lab‐on‐a‐chip devices, microfluidics, and biohybrid ...
Savita V. Kendre, Lehong Wang, Haotian Liu, Markus P. Nemitz   +3 more
wiley   +1 more source

Strong‐Magnetic Flexible Composites for Magnetically Responsive Soft Robots

Advanced Robotics Research, EarlyView.
This perspective provides an overview of the performance mechanisms, preparation methods, and applications of strong magnetic flexible composite materials in soft actuators (such as gripping, movement, and sensing), and further explores current opportunities and challenges.
Wenwen Li, Shuai Liu, Xinyi Wang, Xinglong Gong, Shouhu Xuan   +4 more
wiley   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

What Did the Cross Achieve? The Logic of Penal Substitution

Tyndale Bulletin, 1974
J. I. Packer
doaj   +1 more source