Results 231 to 240 of about 480,099 (340)

Elementary formal system as a logic programming language [PDF]

, 1991
Akihiro Yamamoto
openalex   +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 Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

, 1993
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi   +3 more
openalex   +1 more source

Logic programming as the integrator of the Fifth Generation Computer Systems project [PDF]

, 1992
Koichi Furukawa
openalex   +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

Quantum-inspired logic for advanced Transcriptional Programming. [PDF]

Nucleic Acids Res
Milner PT, Kim D, Wilson CJ.
europepmc   +1 more source

Semantics of Horn and disjunctive logic programs

, 1991
Jorge Lobo, Arcot Rajasekar, Jack Minker
openalex   +1 more source

A Skin‐Adherent Magneto‐Inertial Wearable for Real‐Time Joint Motion Analysis

Advanced Sensor Research, EarlyView.
An imperceptible magneto‐inertial wearable couples a skin‐adherent PDMS‐NdFeB patch with a 9‐DoF IMU to track joint kinematics in real time and classify range‐of‐motion (Limited/Normal/Hypermobile) via a 1D‐CNN (95.3% accuracy). Wireless BLE streaming and a mobile app enable feedback.
Montserrat Ramirez‐De Angel, Eckaard le Roux, Khaled N. Salama   +2 more
wiley   +1 more source

The Stable Models of a Predicate Logic Program

, 1994
Victor W. Marek, Anil Nerode, Jeffrey B. Remmel   +2 more
openalex   +1 more source

Type declarations as subtype constraints in logic programming [PDF]

, 1990
Dean Jacobs
openalex   +1 more source