Results 51 to 60 of about 148,474 (293)

On the complexity of computing with zero-dimensional triangular sets [PDF]

, 2011
We study the complexity of some fundamental operations for triangular sets in dimension zero. Using Las-Vegas algorithms, we prove that one can perform such operations as change of order, equiprojectable decomposition, or quasi-inverse computation with a
Poteaux, Adrien, Schost, Éric
core   +7 more sources

Scalable Task Planning via Large Language Models and Structured World Representations

Advanced Robotics Research, EarlyView.
This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source

Evaluating the Performance of Large Language Models for Geometry and Simulation File Generation in Physics-Based Simulations

Applied Sciences
Finite-element simulations and computer-aided design workflows require complex preprocessing, with geometry creation and simulation setup traditionally demanding significant manual expertise.
Ossama Shafiq, Amin Rahmat, Alessio Alexiadis, Bahman Ghiassi   +3 more
doaj   +1 more source

A complete natural deduction system for the relational calculus [PDF]

, 1975
A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calcu1us, that of ordinary binary relations, was introduced by Tarski in [4].
Wadge, William W.
core  

Stable Imitation of Multigait and Bipedal Motions for Quadrupedal Robots Over Uneven Terrains

Advanced Robotics Research, EarlyView.
How are quadrupedal robots empowered to execute complex navigation tasks, including multigait and bipedal motions? Challenges in stability and real‐world adaptation persist, especially with uneven terrains and disturbances. This article presents an imitation learning framework that enhances adaptability and robustness by incorporating long short‐term ...
Erdong Xiao, Yinzhao Dong, Ji Ma, Peng Lu   +3 more
wiley   +1 more source

A Non-Uniform Offset Algorithm for Milling Toolpath Generation Based on Boolean Operations

Applied Sciences, 2022
In milling, the advancement of CAM strategies has increased the need for tailored algorithms for semi-finished phase computation. In some cases (e.g., thin-wall milling), variable radial engagement of the tool during the toolpath is desired, leading to ...
Giuseppe Venturini, Niccolò Grossi, Lorenzo Morelli, Antonio Scippa   +3 more
doaj   +1 more source

Computing the Boolean product of two n\times n Boolean matrices using O(n^2) mechanical operation

, 2020
We study the problem of determining the Boolean product of two n\times n Boolean matrices in an unconventional computational model allowing for mechanical operations.
Lingas, Andrzej, Persson, Mia
core  

Generating and Searching Families of FFT Algorithms [PDF]

, 2011
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fourier transform (DFT).
Haynal, Heidi, Haynal, Steve
core  

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

PD‐1 Inhibits CD4+ TRM‐Mediated cDC1 Mobilization via Suppressing JAML in Human NSCLC

Advanced Science, EarlyView.
CD4+ tissue‐resident memory T cells (TRMs) in non‐small cell lung cancer recruit conventional type 1 dendritic cells via XCL1‐XCR1 signaling, orchestrating antitumor immunity. The costimulatory molecule JAML is essential for this process. PD‐1 blockade restores JAML expression and cDC1 mobilization, while JAML agonists synergize with anti‐PD‐1 therapy,
Zheyu Shao, Qinyuan Liu, Zhongwei Xin, Zhiyao Zhou, Mingjie Lin, Di Chen, Zhixing Hao, Yongyuan Chen, Wenxuan Wu, Shuyang Zhang, Xiaoke Chen, Xia Xu, Jinfan Li, Wei Lin, Yuhao Lu, Dang Wu, Pin Wu   +16 more
wiley   +1 more source