Towards algorithmic analytics for large-scale datasets by Bzdok, D, Nichols, T, Smith, S

“…Some main messages we find are that modern analysis approaches (1) tame complex data with parameter regularization and dimensionality-reduction strategies, (2) are increasingly backed up by empirical model validations rather than justified by mathematical proofs, (3) will compare against and build on open data and consortium repositories, as well as (4) often embrace more elaborate, less interpretable models to maximize prediction accuracy.…”

Matrices and linear systems by Ahmad, Nazihah, Ibrahim, Hawa, Mat Kasim, Maznah

“…It focuses on the computational part of the linear algebra course.It helps students to have sufficient proficiency to overcome their initial anxiety in reading and writing simple mathematical proofs in a more theoretical part of the course later.Basic concepts are presented along with sufficient computational examples which allow students to follow through the step-by-step solutions at their own pace.Supplementary exercises are included at the end of most chapters, so that students can assess their understanding for the entire corresponding chapter.There is also a guidance in the use of the Microsoft EXCEL software in solving the computational exercises in the last chapter. …”

Positioning the Adjacent Buried Objects Using UWB Technology Combine with Levenberg Marquardt Algorithm by Nguyen Thi Huyen, Duong Duc Ha, Hiep Thanh Pham

“…The analytical method is validated by mathematical proofs and Matlab simulations, and the position errors are used to assess the performance of proposed method. …”
Get full text

Investigation of Prospective Mathematics Teachers’ Proof Completion Processes Supported By Key Ideas by Aysun Yesilyurt Cetin, Ramazan Dikici

“… The aim of this research was to examine prospective mathematics teachers’ completion processes of mathematical proofs supported by key ideas in the field of abstract algebra. …”
Get full text

Cryptanalysis of NTRU: a post quantum algorithm by Arora, Kanupriya

“…The paper employs practical implementation of these attacks, supplemented by mathematical proofs, to evaluate their effectiveness against the NTRU cryptosystem. …”
Get full text

Qualified analysis b/w ESB(s) using Analytical Hierarchy Process (AHP) method by Abdul Hanan, Abdullah, Siddiqui, Zeeshan, Khan, Muhammad Khurram

“…We have performed this analysis on the basis of tabular and mathematical proofs by comparing commercially known ESB i.e. …”

Tracing proof schemes: some patterns and new perspectives by Yasemin Yılmaz Akkurt, Soner Durmuş

“…Also it is about to show how mathematical proofs are handled in these studies by considering Harel and Sowder's classification of proof schemes with specific examples. …”
Get full text

Proposing a Method Reducing UGR Calculations for LED Luminaires with Diffusers in Indoor Applications by Reza Abbasinejad, Dariusz Kacprzak

“…Also, the luminaires are put through a test and the results from the tests are presented and the feasibility of the method separately from mathematical proofs is examined. The proof and case studies both indicate that the method can be used accurately for luminaires with diffusers. …”
Get full text

Fractional-Order Edge Detection Masks for Diabetic Retinopathy Diagnosis as a Case Study by Samar M. Ismail, Lobna A. Said, Ahmed H. Madian, Ahmed G. Radwan

“…In this work, two novel central fractional-order masks are proposed with their detailed mathematical proofs. The fractional-order parameter gives an extra degree of freedom in designing different masks. …”
Get full text

A grid‐based searching algorithm for observer‐based multiobjective control of T–S fuzzy stochastic jump‐diffusion systems by Chien‐Feng Wu, Chi‐Kwang Hwang, Wei‐Yu Chiu

“…To automatically select a preferred Pareto controller, the minimum Manhattan distance (MMD) approch is applied. Mathematical proofs are given to show that the obtained Pareto optimal controller can concurrently stabilize the associated NSJDS and achieve the desired performance indices. …”
Get full text

A secure visual framework for multi-index protection evaluation in networks by Xiang Wu, Huanhuan Wang, Yongting Zhang, Ruirui Li

“…Finally, we verify the availability and privacy of MQE through mathematical proofs, analyze the hospital medical waste detection system that actually applies the framework, and the experimental results have showed the effectiveness and practicality of the proposed platform.…”
Get full text

Challenges of PBFT-Inspired Consensus for Blockchain and Enhancements over Neo dBFT by Igor M. Coelho, Vitor N. Coelho, Rodolfo P. Araujo, Wang Yong Qiang, Brett D. Rhodes

“…Blockchain technology has seen the introduction of different sorts of consensus mechanism, ranging from tasks of heavy computation to the subtle mathematical proofs of Byzantine agreements. This paper presents the pioneer Delegated Byzantine Fault Tolerance (dBFT) protocol of Neo Blockchain, which was inspired by the Practical Byzantine Fault Tolerance (PBFT). …”
Get full text

A direct power conversion topology for grid integration of hybrid AC/DC energy resources by Liu, Xiong, Loh, Poh Chiang, Wang, Peng, Blaabjerg, Frede

“…Their proper dispatches are guaranteed by the proposed control and modulation schemes, which also help maintain near-sinusoidal input and output current waveforms. Mathematical proofs, simulation, and experimental results have shown that the VMC can indeed operate as intended.…”
Get full text
Get full text
Get full text

Formalizing mathematics in LEAN by Liu, Yufei

“…A notable achievement of this project is the integration of the matrix determinant lemma into the official mathlib, enhancing the library’s functionality and demonstrating the practicality of LEAN4 in handling complex mathematical proofs. Furthermore, the development of HTML documentation provides an interactive platform to present this project, enhancing the engagement and comprehension of mathematics formalization.…”
Get full text

The mathematics of shock reflection-diffraction and von Neumann's conjectures by Chen, G-QG, Feldman, M

“…This book offers a survey of recent developments in the analysis of shock reflection-diffraction, a detailed presentation of original mathematical proofs of von Neumann's conjectures for potential flow, and a collection of related results and new techniques in the analysis of partial differential equations (PDEs), as well as a set of fundamental open problems for further development. …”

Misconceptions in the use of the General Linear Model applied to functional MRI: a tutorial for junior neuro-imagers by Cyril R Pernet

“…The goal is not to present mathematical proofs but to educate using examples and computer code (in Matlab). …”
Get full text

AC Losses in Windings: Review and Comparison of Models With Application in Electric Machines by Taha El Hajji, Sami Hlioui, Francois Louf, Mohamed Gabsi, Anouar Belahcen, Guillaume Mermaz-Rollet, M'hamed Belhadi

“…Moreover, two important properties concerning circulating currents are stated as well as their mathematical proofs.…”
Get full text

Performance Analysis of Endorsement in Hyperledger Fabric Concerning Endorsement Policies by Xuefeng Piao, Hao Ding, Huihui Song

“…We summarize three theorems and give corresponding mathematical proofs based on the definition of the endorsement policy. …”
Get full text

CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks by Uffe Thomas Jankvist, Morten Misfeldt

“…Results suggest both potential problems with using CAS as an integrated part of deductive mathematical proofs in textbooks, since it appears to promote undesired proof schemes with the students, and difficulties with understanding these problems using the constructs of epistemic and pragmatic mediations that are often adopted in the literature regarding CAS use in mathematics teaching and learning.…”
Get full text

On the proof of the theorems of foundations of geometry using Isabelle/HOL by Takahashi, Tadashi, Iwama, Fumiya

“…The advantage of the theorem proving support system represented by Isabelle/HOL is that it mechanically guarantees the “correctness” of both human-written programs and mathematical proofs. It can allow us to clearly understand mathematical concepts and can minimize the burden of operation opportunities. …”
Get full text
Get full text