Results 31 to 40 of about 311,159 (279)
ML4PG in Computer Algebra verification
, 2013 ML4PG is a machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development. In this paper, we use ML4PG to find proof patterns in the CoqEAL library -- a library that was devised to verify the ...
Heras, Jónathan +1 more
core +1 more source
Report on the First DES Fixed Points for Non-Weak Keys: Case-Study of Hacking an IoT Environment
IEEE Access, 2022 Fixed points can be defined as $\mathcal {E}_{K}(P)=P$ for a key $K$ and plaintext $P$ where $\mathcal {E}$ is the encryption function. For the Data Encryption Standard (DES) algorithm there are four weak keys, such that $\mathcal {E}_{K ...
Norbert Tihanyi
doaj +1 more source
A New Best Approximation Result in (S) Convex Metric Spaces
International Journal of Mathematics and Mathematical Sciences, 2020 Consider a self-mapping T defined on the union of p subsets of a metric space, and T is said to be p cyclic if TAi⊆Ai+1 for i=1,…,p with Ap+1=A1. In this article, we introduce the notion of S convex structure, and we acquire a best proximity point for p ...
M. Sabiri +3 more
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
The convective cover of the stellar model having the chemical composition: X = 0.628 and Z = 0.047 [PDF]
Serbian Astronomical Journal, 2004 In this paper the way the integrated equations describe the structure of the convective cover is presented. Also given are the numerical results of the convective cover considering null and not-null conditions at the surface of the star.
Tatomir E.
doaj +1 more source
Behavioral Sciences, 2022 Computer-based testing is an emerging method to evaluate students’ mathematics learning outcomes. However, algebra problems impose a high cognitive load due to requiring multiple calculation steps, which might reduce students’ performance in computer ...
Jing-Fong Wang +2 more
doaj +1 more source
A double-edged sword: Use of computer algebra systems in first-year Engineering Mathematics and Mechanics courses [PDF]
, 2019 Many secondary-level mathematics students have experience with graphical calculators from high school. For the purposes of this paper we define graphical calculators as those able to perform rudimentary symbolic manipulation and solve complicated ...
Ewart, Paul, Khanna, Jai, Louie, Ken
core
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
School algebra and the computer [PDF]
, 1993 How are we to use the computer in the teaching and learning of algebra? In the longterm the new technology is introducing new possibilities that may radically change the algebra curriculum.
Tall, David
core
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