Results 121 to 130 of about 205,593 (312)

Improving the Robustness of Visual Teach‐and‐Repeat Navigation Using Drift Error Correction and Event‐Based Vision for Low‐Light Environments

Advanced Robotics Research, EarlyView.
Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley   +1 more source

TreeSpider: In‐Canopy Exploration With Tether‐Based Aerial Modular Arms

Advanced Robotics Research, EarlyView.
A tethered drone with perching arms and a 360° ring enables unprecedented maneuverability within dense forest canopies. By dynamically adjusting tether length and decoupling pitch from the frame, it navigates between branches, senses multiple trees, and interacts physically with foliage.
Luca Romanello, Tian Lan, Salaheldin Hassan, Maximilian Leutschafft, Erdem Ekinci, Sophie F. Armanini, Mirko Kovac, Basaran Bahadir Kocer   +7 more
wiley   +1 more source

Top‐Down Fabricated Wood‐Derived Pressure and Strain Sensors: A Review

Advanced Science, EarlyView.
This review focuses on wood‐derived pressure/strain sensors fabricated via top‐down strategies. It analyzes wood's structural composition, examines processing techniques, discusses sensor types and sensing mechanisms, and reviews existing research. The article concludes with future directions for enhancing performance and scalability.
Yi Ren, Fuyao Liu, Yanan Zhong, Shengbo Ge, Zhipeng Shi, Siling Lin, Hongli Song, Yingying Zhang, Wei Fan   +8 more
wiley   +1 more source

CellPolaris: Transfer Learning for Gene Regulatory Network Construction to Guide Cell State Transitions

Advanced Science, EarlyView.
CellPolaris decodes how transcription factors guide cell fate by building gene regulatory networks from transcriptomic data using transfer learning. It generates tissue‐ and cell‐type‐specific networks, identifies master regulators in cell state transitions, and simulates TF perturbations in developmental processes.
Guihai Feng, Xin Qin, Jiahao Zhang, Wuliang Huang, Yiyang Zhang, Wentao Cui, Yao Chen, Shirui Li, Wenhao Liu, Yao Tian, Yana Liu, Jingxi Dong, Ping Xu, Zhenpeng Man, Guole Liu, Zhongming Liang, Xinlong Jiang, Xiaodong Yang, Pengfei Wang, Ge Yang, Hongmei Wang, Xuezhi Wang, Ming‐Han Tong, Yuanchun Zhou, Shihua Zhang, Yiqiang Chen, Yong Wang, Xin Li   +27 more
wiley   +1 more source

Rapid Microfluidic Drug Sensitivity Testing Within 5 Days Using Minimal Clinical Tumor Samples

Advanced Science, EarlyView.
This study develops the air‐punched fabrication approach for nanoliter‐scale microcavity arrays with ultra‐smooth microcavity surfaces, with which rapid formation and 3D culture of tumor cell spheroids from small numbers of cell samples, as well as high‐throughput drug sensitivity testing can be achieved within 5 days.
Yi‐Xue Chen, Yi Zhang, Yu‐Jie Yan, Meng‐Ting Zhang, Jian‐Bo Chen, Yi‐Rong Jiang, Jie Wu, Hui‐Feng Wang, Jian‐Zhang Pan, Zhi‐Gang Chen, Jian Huang, Qun Fang   +11 more
wiley   +1 more source

Construction of PANoptosis‐Inhibiting Carbonized Polymer Dots via Machine Learning Potential for Mitigating Chemodrug‐Induced Nephrotoxicity

Advanced Science, EarlyView.
An enhanced sampling method is developed for molecular dynamics based on trained machine learning force fields to guide the construction of PANoptosis‐inhibiting carbonized polymer dots (Lu‐CDs) derived from a flavonoid compound for treating chemodrug‐induced nephrotoxicity.
Xinchen Liu, Jiaxin Zhang, Xiangyu Yan, Nuo Li, Yu‐Chao Dong, Zihao Wang, Daowei Li, Yong Du, Huan Wang   +8 more
wiley   +1 more source

Comments on "A deficiency of natural deduction" [PDF]

, 1987
Balsters, H.
core   +3 more sources

Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation [PDF]

, 2016
Richard Moot, Christian Retoré
openalex   +1 more source

Remote Modulation of Single‐Atom Catalyst Boosts High‐Valent Cobalt–Oxo Species Generation for Water Purification and Detoxification

Advanced Science, EarlyView.
This study develops a phosphorus‐doped cobalt single‐atom catalyst that enhances high‐valent cobalt–oxo species generation for water purification. This atomic‐level tuning boosts the catalyst's activity by 3.5 times, enabling efficient pollutant degradation. A continuous‐flow reactor achieves high, long‐term removal efficiency, producing water with low
Wen‐Min Wang, Zheng‐Wei Yang, De‐Xiu Wu, Wen‐Long Wang, Qian‐Yuan Wu   +4 more
wiley   +1 more source

Teaching natural deduction in the right order with Natural Deduction Planner

, 2015
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M.
Seligman, Jeremy, Thompson, Declan
openaire   +2 more sources