Results 31 to 40 of about 29,394,877 (347)
Gelfond's Method for Algebraic Independence [PDF]
Transactions of the American Mathematical Society, 1975 This paper extends Gelfond’s method for algebraic independence to fields K K with transcendence type ⩽ τ \leqslant \tau . The main results show that the elements of a transcendence basis for K K and at least two more numbers from a prescribed set are algebraically independent over
openaire +1 more source
Method for solving quantifier linear equations based on the algebra of linear predicate operations
Радіоелектронні і комп'ютерні системиThe subject involves structured approaches that extend the existing set of mathematical tools for processing complex relationships within databases and computational systems.
Zoya Dudar, Volodymyr Liashyk
doaj +1 more source
An Analysis of Fifth and Sixth Graders' Algebraic Thinking about Reverse Fraction Problems
Journal of Educational Research in Mathematics, 2020 In light of a growing emphasis on the relationship between fractional knowledge and algebraic thinking, the purpose of this study was to compare algebraic thinking about reverse fraction problems between fifth graders who had not been taught fraction ...
JeongSuk Pang, SeonMi Cho, Minsung Kwon
doaj +1 more source
An application of algebraic geometry in optimization
آموزش مهندسی ایران, 2019 Algebraic geometry is one of the dynamic branches of pure mathematics, which has received a large part of the current research of mathematical experts in the world. In this branch of science, geometric issues are expressed in algebraic language. With the
Dawood Hassanzadeh Lelekaami
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces an adaptive human pilot model that captures pilot time‐delay effects in adaptive control systems. The model enables the prediction of pilot–controller interactions, facilitating safer integration and improved design of adaptive controllers for piloted applications.
Abdullah Habboush, Yildiray Yildiz
wiley +1 more source
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +1 more source
Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules
Advanced Functional Materials, EarlyView.A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang +7 more
wiley +1 more source
Backbone Heterojunction Photocatalysts for Efficient Sacrificial Hydrogen Production
Advanced Functional Materials, EarlyView.Herein, a ‘single‐component’ organic semiconductor photocatalyst is presented in which a molecular donor is bonded to a polymer acceptor. The resultant material demonstrates exceptional photocatalytic activity for hydrogen evolution in aqueous triethylamine with an outstanding external quantum efficiency of 38% at 420 nm.
Richard J. Lyons +11 more
wiley +1 more source
The Lie group Euler methods of multibody system dynamics with holonomic constraints
Advances in Mechanical Engineering, 2018 The Euler methods on Lie group are developed for the differential–algebraic equations of multibody system dynamics with holonomic constraints. The implicit Euler method is used to solve the differential–algebraic equations as Euler–Lagrange equations on ...
Jieyu Ding, Zhenkuan Pan
doaj +1 more source