Results 31 to 40 of about 318,184 (274)
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
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
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
Advanced Engineering Materials, EarlyView.A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
Best Proximity Point for Generalized and S-Geraphty Contractions
Abstract and Applied Analysis, 2021 This paper introduces a new class of mappings called S-Geraphty-contractions and provides sufficient conditions for the existence and uniqueness of a best proximity point for such mappings. It also presents the best proximity point result for generalized
Abdelhafid Bassou +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
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
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
Advanced Materials Technologies, EarlyView.A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +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