Results 121 to 130 of about 6,692,580 (276)

Algorithms for the Shortest Vector Problem in $2$-dimensional Lattices, Revisited

CoRR
Efficiently solving the Shortest Vector Problem (SVP) in two-dimensional lattices holds practical significance in cryptography and computational geometry. While simpler than its high-dimensional counterpart, two-dimensional SVP motivates scalable solutions for high-dimensional lattices and benefits applications like sequence cipher cryptanalysis ...
Lihao Zhao, Chengliang Tian, Jingguo Bi, Guangwu Xu, Jia Yu 0003   +4 more
openaire   +3 more sources

Inapproximability of the Shortest Vector Problem by means of Reed-Solomon codes

, 2023
openLo Shortest Vector Problem (SVP) è il problema di individuare l'elemento più corto di un reticolo. La sua complessità è alla base della sicurezza di numerosi sistemi di criptazione moderni. In questo lavoro dimostriamo che la variante decisionale
FIORINDO, GIACOMO
core  

Enhancing Amphibious Flipper‐Based Locomotion Through Terrain‐Dependent Bayesian Optimization of Central Pattern Generator Control

Advanced Robotics Research, EarlyView.
A sea turtle‐inspired amphibious robot uses simulation‐guided optimization to adapt its flipper coordination to different environments. Sensitivity analysis and multiobjective Bayesian optimization identify terrain‐dependent controllers that are validated on hardware.
Nnamdi C. Chikere, Yasemin Ozkan‐Aydin
wiley   +1 more source

Model Predictive Control for Magnetically Actuated Cellbots

Advanced Robotics Research, EarlyView.
Magnetically actuated cellbots, formed by embedding microrobots in living cells, are steered along precise paths using a model predictive controller enhanced with a Gaussian process disturbance estimator. The data‐efficient method calibrates each cellbot individually, cutting modeling error by roughly 60% and enabling accurate navigation through cell ...
Mehdi Kermanshah, Logan E. Beaver, Max Sokolich, Fatma Ceren Kirmizitas, Ahmad Ahmad, Roberto Tron, Ron Weiss, Sambeeta Das, Calin Belta   +8 more
wiley   +1 more source

Faster exponential time algorithms for the shortest vector problem [PDF]

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010
Daniele Micciancio, Panagiotis Voulgaris
openaire   +3 more sources

Robotic Assistants in the Operating Room: A Systematic Review of Vision‐Based Systems for Nonoperative Tasks

Advanced Robotics Research, EarlyView.
This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo, Pietro Falco, Nicholas Raison, Christos Bergeles, Letizia Gionfrida   +4 more
wiley   +1 more source

Consensus Formation and Change are Enhanced by Neutrality

Advanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag, Janina A. Hoffmann, Tim Rogers, Christian A. Yates   +3 more
wiley   +1 more source

In Situ X‐Ray Tomography and Acoustic Emission Monitoring of Damage Evolution in C/C‐SiC Composites Fabricated by Liquid Silicon Infiltration

Advanced Science, EarlyView.
This study investigates how the internal structure of fiber‐reinforced ceramic composites affects their resistance to damage. By combining 3D X‐ray imaging with acoustic emission monitoring during mechanical testing, it reveals how silicon distribution influences crack formation.
Yang Chen, Renato S. M. Almeida, Stefan Flauder, Guillaume Couégnat, Kamen Tushtev, Jürgen Horvath, Peter Wriggers, Kurosch Rezwan   +7 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Improved Attacks Against Lattice-Based KEMs Using Hints From Hertzbleed

Transactions on Cryptographic Hardware and Embedded Systems
The Number Theoretic Transform (NTT) is widely employed to accelerate computations in lattice-based cryptography. At CHES 2024, Yu et al. introduced a class of side-channel attacks targeting NTT operations in the simplified Kyber and NTTRU schemes ...
Zhiwei Li, Jun Xu, Jun Song, Haomeng Xu, Yan Jia, Yanli Zou, Lei Hu   +6 more
doaj   +1 more source