Results 21 to 30 of about 251 (176)

A correct-by-construction conversion from lambda calculus to combinatory logic [PDF]

, 2023
This pearl defines a translation from well-typed lambda terms to combinatory logic, where both the preservation of types and the correctness of the translation are enforced ...
Swierstra, Wouter
core  

An Injectable Electroactive Hydrogel Engineered for Stable Bioelectronic Interfaces

Advanced Materials Interfaces, EarlyView.
Injectable electroconductive hydrogels enable soft, conformal, and stable bioelectronic interfaces for electroceutical therapies. A catechol‐modified hyaluronic acid/alginate/edge‐functionalized graphene platform combines wet adhesion, shear‐thinning injectability, tissue‐matched mechanics, and electrochemical functionality.
Ying Zhou, Peng Zheng, Beverley Cheung, Chien Yu Huang, Greg Ryder, Jonathan R Clark, D S Abdullah Al Maruf, Yi‐Hui Wu, Ming‐Dou Ker, Xufeng Huang, Gordon G Wallace, Xiao Liu   +11 more
wiley   +1 more source

Tracking Redexes in the Lambda Calculus [PDF]

, 2022
Residuals of redexes keep track of redexes along reductions in the lambda calculus. Families of redexes keep track of redexes created along these reductions.
Levy, Jean-Jacques
core  

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

Detection of Protein–Protein Interactions in Escherichia coli With Single Molecule Sensitivity

Advanced Science, EarlyView.
This article describes a regulatory circuit in Escherichia coli able to detect protein–protein interactions with exquisite sensitivity. The interaction between two hybrid proteins fused to Bordetella pertussis adenylate cyclase and its activator calmodulin triggers a potent cyclic AMP signaling cascade.
Marilyne Davi, Daniel Ladant
wiley   +1 more source

Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production

Advanced Science, EarlyView.
ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du, Changyu Pi, Kai Hong, Le Gao, Xin Wu   +4 more
wiley   +1 more source

A Toolkit for Targeted Neuromodulation of Striatal Direct Pathway Neurons Rescues Parkinsonian Motor Deficits in Mice

Advanced Science, EarlyView.
An adeno‐associated virus (AAV) toolkit enables selective anatomical and functional targeting of striatal D1‐MSNs through retrograde transduction. Enhanced capsids and engineered enhancers drive robust transgene expression across murine and primate models.
Zexuan Hong, Yujing Zhang, Junjiao Zhang, Hanhe Liu, Qiwei Liu, Yanglei Li, Lixin Yang, Lixia Li, Zhongjie Liu, Zhen Yuan, Zhonghua Lu, Yefei Chen, Yuantao Li, Yuwu Jiang, Taian Liu   +14 more
wiley   +1 more source

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

Polarization‐Enabled Piezoelectric Tellurium–Selenium (TexSe1–x) Thin Films for Memory Switching and Artificial Synaptic Functions

Advanced Science, EarlyView.
Here, we demonstrate and investigate polarization‐enabled electromechanical responses in cryogenic physical vapor deposition (cryogenic PVD)‐deposited TexSe1‐x thin films, a tellurium‐based compound with a tunable bandgap and enhanced non‐centrosymmetry.
Chia‐Chen Chung, Mayur Chaudhary, Chia‐Hung Lo, Po‐Chien Lai, You‐Jie Lin, Ruei‐Hong Cyu, Yu‐Ren Peng, Bing‐Ni Gu, Zhao‐Feng Lou, Quynh Thi Le, Yi‐Jen Yu, Yen‐Fu Lin, Min‐Hung Lee, Ying‐Hao Chu, Chang‐Hong Shen, Der‐Hsien Lien, Yu‐Lun Chueh   +16 more
wiley   +1 more source

Engineering of Crystal and Domain Structures in Epitaxial Y:HfO2 Thin Films by YSZ Substrate Miscut

Advanced Science, EarlyView.
We investigate how YSZ substrate miscut influences crystal structure and domain formation in epitaxial Y‐doped HfO2 thin films. Using magnetron sputtering, high‐resolution X‐ray diffraction, atomic‐resolution scanning transmission electron microscopy, and first‐principles calculations, we systematically examine the characteristics of thickness‐ and ...
Jun Young Lee, Hyung‐Jin Choi, Kun Hee Ye, Haneul Choi, Byeong‐hyeon Lee, Min‐Seok Kim, Dong‐Hun Han, June Hyuk Lee, Sung Ok Won, Tae Heon Kim, Hye Jung Chang, Jung‐Hae Choi, Seung‐Hyub Baek   +12 more
wiley   +1 more source