Results 61 to 70 of about 194,477 (284)
The GHZ/W-calculus contains rational arithmetic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation.
Bob Coecke +3 more
doaj +1 more source
A calculus for intuitionistic fuzzy values
, 2023 We introduce ⊕ calculus and ⊗ calculus for intuitionistic fuzzy values and prove some basic theorems by using multiplicative calculus which has useful tools to represent the concepts of introduced calculi.
ENES YAVUZ, YAVUZ, ENES
core +1 more source
dynoGP: Deep Gaussian Processes for Dynamic System Identification
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces a novel class of deep models for system identification, dynamical deep Gaussian processes, which combine the strengths of data‐driven methods, such as those based on neural network architectures, with the ability to output a probability distribution for uncertainty representation.
Alessio Benavoli +3 more
wiley +1 more source
Numerical Approximation Methods using Multiplicative Calculus [PDF]
, 2015 Doctor of Philosophy in Applied Mathematics and Computer Science. Thesis (Ph.D.)--Eastern Mediterranean University, Faculty of Arts and Sciences, Dept. of Mathematics, 2015. Supervisor: Assist. Prof. Dr.
Aktöre, Hatice
core
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.ErB4 and NdB4 nanostructured powders are produced by mechanochemical synthesis. 5 h mechanical alloying and 4 M HCl acid leaching are used in the production. ErB4 and NdB4 powders exhibit maximum magnetization of 0.4726 emu g−1 accompanied with an antiferromagnetic‐to‐paramagnetic phase transition at about TN = 18 K and 0.132 emu g−1 with a maximum at ...
Burçak Boztemur +5 more
wiley +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Low‐cycle fatigue damage in Mn–Mo–Ni reactor pressure vessel steel is examined using a combined electron backscatter diffraction and positron annihilation lifetime spectroscopy approach. The study correlates texture evolution, dislocation substructure development, and vacancy‐type defect formation across uniform, necked, and fracture regions, providing
Apu Sarkar +2 more
wiley +1 more source
Posterior analysis for some classes of nonparametric models [PDF]
Recently, James [15, 16] has derived important results for various models in Bayesian nonparametric inference. In particular, he dened a spatial version of neutral to the right processes and derived their posterior distribution. Moreover, he obtained the
Antonio Lijoi +2 more
core
On some Hermite-Hadamard integral inequalities in multiplicative calculus [PDF]
, 2019 In this paper, we establish some new Hermite-Hadamard integral inequalities for log--convex and -convex functions in the framework of multiplicative calculus.
Zafar, Azhar Ali +2 more
core
Multiple-Conclusion System as Communication Calculus
Electronic Notes in Theoretical Computer Science, 2000 AbstractFollowing the so-called inversion principle of Gentzen-Prawitz, we demonstrate that multiple-conclusion system of classical logic can be naturally regarded as a communication calculus. For the motivation, we first introduce a hierarchical structure for representing an abstract structure of classical proofs.
openaire +2 more sources