Academic Articles & Research Papers

IWT and RSA based asymmetric image encryption algorithm

An asymmetric image encryption algorithm based on integer wavelet transformation (IWT) and Rivest-Shamir-Adleman (RSA) algorithm is proposed. Firstly, two plain characteristic parameters (PCP) of the plain image are extracted and two random...

Computer Science and Its Relation to Mathematics

(1974). Computer Science and its Relation to Mathematics. The American Mathematical Monthly: Vol. 81, No. 4, pp. 323-343....

DAF-UNet: Deformable U-Net with Atrous-Convolution Feature Pyramid for Retinal Vessel Segmentation

Segmentation of retinal vessels from fundus images is critical for diagnosing diseases such as diabetes and hypertension. However, the inherent challenges posed by the complex geometries of vessels and the highly imbalanced distribution of ...

A Truncated-Kernel Mollification Method for the Cauchy Problem of the Modified Helmholtz Equation

This paper addresses the Cauchy problem for the multi-dimensional modified Helmholtz equation, a classical and severely ill-posed problem. A truncated-kernel mollification method is proposed as an effective regularization approach. Both the...

All Near Neighbor GraphWithout Searching

Given a collection of n objects equipped with a distance function d(·, ·), the Nearest Neighbor Graph (NNG) consists in finding the nearest neighbor of each object in the collection. Without an index the total cost of NNG is quadratic. Usin...

System 2 Thinking in OpenAI’s o1-Preview Model: Near-Perfect Performance on a Mathematics Exam

The processes underlying human cognition are often divided into System 1, which involves fast, intuitive thinking, and System 2, which involves slow, deliberate reasoning. Previously, large language models were criticized for lacking the de...

Introduction to Mathematical Logic.

is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and...

Robustness of a bisimulation-type faster-than preorder

TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating th...

MATHEMATICS AND THE NATURAL SCIENCES

Read: https://www.bookdepository.com/Mathematics-Natural-Sciences-Physical-Singularity-Life-Giuseppe-Longo/9781848166936?ref=grid-view&qid=1628083851263&sr=1-3#Introduction in free access : https://www.di.ens.fr/users/longo/files/BaLoSingBo...

Survey of Hybrid Cloud Workflow Scheduling

In the context of data explosion,traditional cloud computing is faced with the dilemma of insufficient local cloud resources and high expansion cost.However,the newly emerging hybrid cloud combining resource-rich public cloud and data-sensi...

An Introduction to Mathematical Logic

Logic, the systematic study of reasoning, is one of the oldest branches of mathematics. For example, the notion of a syllogism was important to the ancient Greeks, and the phrase “Aristotelian logic” is still commonly used. But the flowering...

بناء نظام للتعرف على الأشخاص بالاعتماد على الأبعاد الهندسیة للید البشریة

Implementation of a Transform-Minutiae Fusion-Based Model for Fingerprint Recognition

Biometrics consists of scientific methods of using a person’s unique physiological or behavioral traits for electronic identification and verification. The traits for biometric identification are fingerprint, voice, face, and palm print rec...

Methods of solving of the optimal stabilization problem for stationary smooth control systems. Part I

In this article some ideas of Hamilton mechanics and differential-algebraic Geometry are used to exact definition of the potential function (Bellman-Lyapunov function) in the optimal stabilization problem of smooth finite-dimensional system...

Induction Motor Parameter Identification Using a Gravitational Search Algorithm

The efficient use of electrical energy is a topic that has attracted attention for its environmental consequences. On the other hand, induction motors represent the main component in most industries. They consume the highest energy percenta...

Mathematics and Visualization

Rule Quality Measures Settings in a Sequential Covering Rule Induction Algorithm - an Empirical Approach

Design Recommendations for Immersive Virtual Reality Application for English Learning: A Systematic Review

The growing popularity of immersive virtual reality (iVR) technologies has opened up new possibilities for learning English. In the literature, it is possible to find several studies focused on the design, development, and evaluation of imm...

Existence results and Ulam-Hyers stability for a sequential deformable fractional initial value problem

Abstract In this study, we establish existence and Ulam-Hyers results for nonlinear sequential fractional differential equations involving the deformable derivative. We employ the Banach contraction principle and Krasnoselskii’s theorem to ...

Understanding older adults’ continuance intention toward smart locks: a socio-technical study based on the Expectation-Confirmation Model of Information Systems and Task-Technology Fit Model

Background As aging populations continue to grow, smart home technologies—such as smart locks—have become increasingly essential to support older adults’ independent living. Long-term use remains a challenge, however, with most studies focu...