Results 51 to 60 of about 450,827 (278)
Improving the efficiency of using multivalued logic tools: application of algebraic rings
Scientific Reports, 2023 It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov +3 more
doaj +1 more source
Methods of algebraic manipulation in perturbation theory [PDF]
, 2012 We give a short introduction to the methods of representing polynomial and trigonometric series that are often used in Celestial Mechanics.
Giorgilli, Antonio, Sansottera, Marco
core +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Discrete Cartesian Coordinate Transformations: Using Algebraic Extension Methods
Applied SciencesIt is shown that it is reasonable to use Galois fields, including those obtained by algebraic extensions, to describe the position of a point in a discrete Cartesian coordinate system in many cases. This approach is applicable to any problem in which the
Aruzhan Kadyrzhan +3 more
doaj +1 more source
Counting and computing regions of $D$-decomposition: algebro-geometric approach
, 2012 New methods for $D$-decomposition analysis are presented. They are based on topology of real algebraic varieties and computational real algebraic geometry.
B.T. Polyak +18 more
core +1 more source
Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System
Advanced Science, EarlyView.A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu +15 more
wiley +1 more source
Extension of the Poincaré Symmetry and Its Field Theoretical Implementation
Symmetry, Integrability and Geometry: Methods and Applications, 2006 We define a new algebraic extension of the Poincaré symmetry; this algebra is used to implement a field theoretical model. Free Lagrangians are explicitly constructed; several discussions regarding degrees of freedom, compatibility with Abelian gauge ...
Adrian Tanasa
doaj
Enumeration of three term arithmetic progressions in fixed density sets [PDF]
, 2014 Additive combinatorics is built around the famous theorem by Szemer\'edi which asserts existence of arithmetic progressions of any length among the integers. There exist several different proofs of the theorem based on very different techniques.
Sjöland, Erik
core
The Algebraic Intersection Type Unification Problem
, 2017 The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems.
Dudenhefner, Andrej +2 more
core +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