Results 141 to 150 of about 4,158,085 (300)
A natural deduction approach to dynamic logic
, 1996 Furio Honsell, Marino Miculan
openalex +2 more sources
A New Connective in Natural Deduction, and its Application to Quantum Computing
, 2022 Alejandro Díaz-Caro, Gilles Dowek
openalex +1 more source
Advanced Science, EarlyView.The most elaborate known example of β‐oxidation‐like pathway recruitment in fungi is reported, involving a 10‐step oxidative chain‐shortening cascade catalyzed by five dedicated enzymes to generate the pharmacophore of mycophenolic acid (MPA)—a novel clinical immunosuppressant. Our findings illustrate how nature repurposes catabolic enzymes for complex
Baoqiang Fan +5 more
wiley +1 more source
Advanced Science, EarlyView.A customizable manufacturing approach is established for polyamide (PA) membrane with an original programmable electrospray 3D printer, coupled polymerization method and a numerical prediction model. The printed PA layers has ultrathin thickness, programmable crosslinking degree, and smooth surface.
Xieyang Xu +10 more
wiley +1 more source
Natural Deduction for Modal Logic with a Backtracking Operator [PDF]
, 2014 Jonathan Payne
openalex +1 more source
Advanced Image‐Guidance and Surgical‐Navigation Techniques for Real‐Time Visualized Surgery
Advanced Science, EarlyView.This review comprehensively summarizes advances in surgical navigation, covering both established and emerging intraoperative imaging technologies. It highlights mechanisms, advantages, limitations, and clinical applications, while emphasizing interdisciplinary collaboration.
Xiaoxiao Fan +9 more
wiley +1 more source
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic [PDF]
, 2022 Martín Figallo
openalex +1 more source
Advanced Science, EarlyView.In this study, by incorporating 4‐nitrophenyl phosphate (PNPP) into [4‐(3,6‐dimethyl‐9H‐carbazol‐9‐yl)butyl]phosphonic acid (Me‐4PACz), an efficient co‐assembled monolayer (Co‐SAM) is constructed to modulate the bottom interface region, thereby developing highly efficient and stable inverted flexible perovskite solar cells.
Chunlong Wang +16 more
wiley +1 more source
A kinematically Bifurcated Metamaterial for Integrated Logic Operation and Computing
Advanced Science, EarlyView.A family of 2n‐side kinematic polygonal modules with n decoupled inputs and 2n extreme configurations via kinematic bifurcation is proposed. It allows integrating seven basic logic gates on a quadrilateral module. Moreover, a minimized Parallel Computing Sum of Products function is developed, enabling all 2‐bit arithmetic (including division ...
Kaili Xi +6 more
wiley +1 more source
Advanced Science, EarlyView.In this study, an “all‐in‐one” engineered anaerobic bacterial system (PDAEcN/COS) is developed for the treatment of immunologically “cold” TNBC. This nanoplatform is capable of colonizing tumor cell surfaces and implementing “self‐blocking” of immune checkpoints, while simultaneously suppressing tumor cells' “don't eat me” signals and delivering “eat ...
Xuanxiang Zhai +6 more
wiley +1 more source