Skip to main content Accessibility help
×
  1. Home
  2. Browse subjects
  3. Computer Science
  4. Content listing

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

49475 results in Computer Science

Page 91 of 2474

  • Bio-inspired controllable adhesion for robotics: mechanisms, design, and future directions

  • Tianhui Sun, Yunxiao Liu, Yu Tian
  • Journal:
    Robotica / Volume 43 / Issue 7 / July 2025
    Published online by Cambridge University Press:
    26 June 2025, pp. 2751-2781

  • Interfacial interactions, including adhesion and friction, directly affect the ability of the robot system to interact with the external environment, such as the realization of operation and motion functions. Bionics provides guidance for the active control of interface forces. Creatures such as geckos, tree frogs, octopuses, and beetles have developed delicate topological structures and smart control strategies during long-term evolution, facilitating their ability to adhere to, manipulate, capture, and traverse various surfaces across diverse environments. Inspired by the advantages of high strength, adaptability, controllability, durability, and no residue, biomimetic controllable adhesion structures, materials, and systems have been developed, showing a wide range of potential applications in reversible attachment, flexible locomotion, and dexterous grasping. In this paper, the mechanisms and theoretical models of various biological reversible adhesion systems in nature are summarized. Then the design criteria, optimization method, and preparation technology of the artificial adhesion structures based on van der Waals interaction, capillary force, negative pressure, and mechanical interlocking mechanisms are reviewed. In particular, the adhesion/load ratio and the switch ratio of adhesive materials and structures are highlighted to evaluate the adhesion ability and controllability of various designs. The applications of biomimetic controllable adhesion structures and systems in robotics manipulation and locomotion are presented. Finally, the conclusion and possible future direction are discussed.

  • 1 - Tensors and Their Subparts

  • from Part I - Tensor Basics
  • Grey Ballard, Wake Forest University, North Carolina, Tamara G. Kolda, MathSci.ai
  • Book:
    Tensor Decompositions for Data Science
    Published online:
    05 June 2025
    Print publication:
    26 June 2025, pp 3-20
    • Chapter
      • You have access
    • PDF
    • Export citation

  • FAILURE OF BETH’S THEOREM IN RELEVANCE LOGICS

  • Part of
  • ALASDAIR URQUHART
  • Journal:
    The Review of Symbolic Logic / Volume 18 / Issue 3 / September 2025
    Published online by Cambridge University Press:
    26 June 2025, pp. 949-962
    Print publication:
    September 2025
    • Article
      • You have access
      • Open access
    • PDF
    • HTML
    • Export citation

  • Beth’s theorem equating explicit and implicit definability fails in all logics between Meyer’s basic logic ${\mathbf B}$ and the logic ${\mathbf R}$ of Anderson and Belnap. This result has a simple proof that depends on the fact that these logics do not contain classical negation; it does not extend to logics such as $\mathbf{KR}$ that contain classical negation. Jacob Garber, however, showed that Beth’s theorem fails for $\mathbf{KR}$ by adapting Ralph Freese’s result showing that epimorphisms may not be surjective in the category of modular lattices. We extend Garber’s result to show that the Beth theorem fails in all logics between ${\mathbf B}$ and $\mathbf{KR}$.

Page 91 of 2474