Results 141 to 150 of about 265,863 (294)

Reducing redundancy in cut-elimination by resolution

Journal of Logic and Computation, 2014
CERes is a method of cut-elimination that uses resolution proof search to avoid some kinds of redundancies that affect reductive cut-elimination methods. This article shows that, unfortunately, there are also cases where CERes can produce proofs that are more redundant and even exponentially larger than the proofs produced by reductive cut elimination ...
openaire   +2 more sources

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

3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends

Advanced Robotics Research, EarlyView.
Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu, Bin Cui, Xumin Huang, Xiaoyu (Rayne) Zheng, T. Thang Vo‐Doan, Ruirui Qiao   +5 more
wiley   +1 more source

A Review on Sensor Technologies, Control Approaches, and Emerging Challenges in Soft Robotics

Advanced Robotics Research, EarlyView.
This review provides an introspective of sensors and controllers in soft robotics. Initially describing the current sensing methods, then moving on to the control methods utilized, and finally ending with challenges and future directions in soft robotics focusing on the material innovations, sensor fusion, and embedded intelligence for sensors and ...
Ean Lovett, Maxwell Hammond, Niloufar Seyfi, Amirreza Fahim Golestaneh, Venanzio Cichella, Caterina Lamuta   +5 more
wiley   +1 more source

UTact: Underwater Vision‐Based Tactile Sensor with Geometry Reconstruction and Contact Force Estimation

Advanced Robotics Research, EarlyView.
Embedded flexible sensing technologies advance underwater soft robotics, yet most systems still suffer from hysteresis and limited perceptiveness. Instead, vision‐based tactile sensors provide reliable and rapid feedback essential for complex underwater tasks.
Qiyi Zhang, Zonghao Zuo, Haoxuan Wang, Bin Liu, Yilidusi Yilihamu, Li Wen   +5 more
wiley   +1 more source

Ovarian Matrisome Dynamics and αvβ3‐Mediated Regulation in Early Follicular Development

Advanced Science, EarlyView.
The matrisome undergoes dynamic remodeling during early follicular development. Integrin αvβ3 mediates matrisome signals, regulating primordial follicle activation/atresia and secondary follicle growth via Hippo/mTOR pathways, with conserved roles in human ovaries, offering therapeutic targets for ovarian disorders.
Tong Wu, Yanzhi Feng, Qingqing Zhu, Ting Jiang, Yueyue Gao, Kebing Nie, Xianan Tang, Ying Chen, Dianxing Hu, Xudan Yang, Shixuan Wang, Meng Wu, Jinjin Zhang   +12 more
wiley   +1 more source

Machine‐Learning Decomposition Identifies a Big Two Structure in Human Personality with Distinct Neurocognitive Profiles

Advanced Science, EarlyView.
Using machine learning on a mega‐scale global dataset (n = 1,336,840) reveals a robust personality trait architecture beyond the Big Five. A Big Two model, broadly capturing social engagement and internal mentation, defines a geometric space that links personality to neurocognitive profiles.
Kaixiang Zhuang, Ji Chen, Jinfeng Han, Wei Cheng, Jiang Qiu, Jianfeng Feng, Simon Eickhoff, Deniz Vatansever   +7 more
wiley   +1 more source

A Bifunctional T3SS‐Effector Simultaneously Cleaves Host MAP Kinase and Inhibits PPM1A Phosphatase

Advanced Science, EarlyView.
Pathogenic bacteria exploit the metalloprotease effector NleD to subvert host defenses. Structural, biochemical, and infection analyses reveal a bifunctional mechanism by which NleD binds and inhibits the host phosphatase PPM1A while preserving its proteolytic activity against MAPKs.
Yaakov Socol, Lihi Gur‐Arie, Netanel Tzarum, Tamara Wellins, Naama Katsowich, Miriam Ravins, Michal Bejerano‐Sagie, Klil Cohen, Oded Livnah, Joshua N. Adkins, Ernesto Nakayasu, Alexei Savchenko, Yeu Khai Choong, Nikhil Kumar Tulsian, Saturo Machida, Sigal Ben‐Yehuda, Yael Litvak, J. Sivaraman, Ilan Rosenshine   +18 more
wiley   +1 more source

Hierarchical Summary Statistics Encoding Across Primary Visual and Posterior Parietal Cortices

Advanced Science, EarlyView.
This study shows that mouse V1 simultaneously encodes the ensemble mean and variance of motion, providing a robust summary‐statistic representation that persists despite single‐neuron variability. These signals propagate to PPC, where they are transformed into abstract category representations during decision making.
Young‐Beom Lee, Oliver James, Gaeun Jung, Doyun Lee, Yee‐Joon Kim   +4 more
wiley   +1 more source

GATA4‐Driven Transcription of HtrA1 Promotes Cellular Senescence in Ménière's Disease and Age‐Related Audio‐Vestibular Dysfunction

Advanced Science, EarlyView.
This study identifies the HDAC6/GATA4/HtrA1 axis as a critical driver of cellular senescence in the inner ear. GATA4 nuclear translocation, facilitated by HDAC6 downregulation, transcriptionally activates HtrA1, promoting hair cell senescence, SASP, and audio‐vestibular dysfunction in models of Ménière's disease and age‐related audio‐vestibular ...
Na Zhang, Na Li, Yan Wang, Jing Zhang, Jiahui Liu, Lei Chen, Yongdong Song, Yurong Mu, Yuechen Han, Yafeng Lyu, Xiaofei Li, Hanyue Wang, Jing Wang, Yao Lu, Zhaomin Fan, Daogong Zhang, Haibo Wang   +16 more
wiley   +1 more source