Results 71 to 80 of about 249,312 (242)

An analogue in certain unique factorization domains of the Euclid-Euler theorem on perfect numbers

International Journal of Mathematics and Mathematical Sciences, 1990
We show that there exists a natural extention of the sum of divisors function to all unique factorization domains F having a finite number of units such that if a perfect number in F is defined to be an integer η whose proper divisors sum to η, then the ...
Wayne L. McDaniel
doaj   +1 more source

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling

Advanced Robotics Research, EarlyView.
A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang, Ganesh Arivoli, Huzaifa Unjhawala, Luning Bakke, Radu Serban, Dan Negrut   +5 more
wiley   +1 more source

Integer Factoring with Unoperations

CoRR
This work introduces the notion of unoperation $\mathfrak{Un}(\hat{O})$ of some operation $\hat{O}$. Given a valid output of $\hat{O}$, the corresponding unoperation produces a set of all valid inputs to $\hat{O}$ that produce the given output. Further, the working principle of unoperations is illustrated using the example of addition.
openaire   +3 more sources

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

Factorization of cubic vertices involving three different higher spin fields

Nuclear Physics B, 2014
We derive a class of cubic interaction vertices for three higher spin fields, with integer spins λ1, λ2, λ3, by closing commutators of the Poincaré algebra in four-dimensional flat spacetime.
Y.S. Akshay, Sudarshan Ananth
doaj   +1 more source

A Reduction of Integer Factorization to Modular Tetration [PDF]

International Journal of Foundations of Computer Science, 2020
Let [Formula: see text]. By [Formula: see text] and [Formula: see text], we denote the [Formula: see text] th iterate of the exponential function [Formula: see text] evaluated at [Formula: see text], also known as tetration. We demonstrate how an algorithm for evaluating tetration modulo natural numbers [Formula: see text] could be used to compute the
openaire   +4 more sources

Nonnegative factorization and the maximum edge biclique problem [PDF]

Nonnegative matrix factorization (NMF) is a data analysis technique based on the approximation of a nonnegative matrix with a product of two nonnegative factors, which allows compression and interpretation of nonnegative data. In this paper, we study the
GILLIS, Nicolas, GLINEUR, François
core  

Helix Alignment, Chevrons, and Edge Dislocations in Twist‐Bend Ferroelectric Nematics

Advanced Science, EarlyView.
The recently discovered twist‐bend ferroelectric nematic (NTBF) is the new member of the multiferroic family, representing a fluid with an oblique helicoidal (heliconical) periodic structure of spontaneous electric polarization. The work presents a thorough exploration of the material properties of this phase, how the periodic modulation of ...
Bijaya Basnet, Priyanka Kumari, Sathyanarayana Paladugu, Damian Pociecha, Jakub Karcz, Przemysław Kula, Nataša Vaupotič, Ewa Górecka, Oleg D Lavrentovich   +8 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