Results 141 to 150 of about 10,648 (267)

CS 7120: Functional and Logic Programming

, 2013
Krishnaprasad Thirunarayan
openalex   +1 more source

The Basic Scheme for the Evaluation of Functional Logic Programs

, 2000
Arthur Peters
openalex   +2 more sources

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

Prototissues: Assembly strategies, collective behaviors, and emerging applications. [PDF]

Bioact Mater
Liu Z, Wang Y, Pei W, Huo YX, Lu Y.
europepmc   +1 more source

Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations

Advanced Robotics Research, EarlyView.
Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley   +1 more source

Synaptic Plasticity Engineering for Neural Precision, Temporal Learning, and Scalable Neuromorphic Systems. [PDF]

Nanomicro Lett
Liu Z, Fang Y, Liu Q, Tian B, Zhao C.
europepmc   +1 more source

Functional Logic Program Transformations

Hanus Michael, Steven Libby
openalex   +1 more source

Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots

Advanced Robotics Research, EarlyView.
This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu, Chunlong Wang, Xiaohang Sun, Hongwei Guo, Jiayao Ma, Yan Chen   +5 more
wiley   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Functional computations in logic programs [PDF]

, 1989
Saumya Debray, David S. Warren
openalex   +1 more source