Academic Articles & Research Papers

Carrier-independent deep optical watermarking algorithm

With the development of multimedia techniques, the demand for copyright protection of digital products has also gradually risen.Digital watermarking is an effective means to protect the copyright of digital products.It is generally made by ...

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...

Transit-Based Emergency Evacuation with Transit Signal Priority in Sudden-Onset Disaster

This study presents methods of transit signal priority without transit-only lanes for a transit-based emergency evacuation in a sudden-onset disaster. Arterial priority signal coordination is optimized when a traffic signal control system p...

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...

Chaotic outbreak in discrete epidemic model with vaccination and quarantine interventions and limited medical resources

The spread of infectious diseases can be analyzed dynamically using a discrete dynamic system. The characteristics of the infectious disease phenomenon are interesting to study as parameters considered in a dynamic system. Some of these inc...

Existence and multiplicity of homoclinic solutions for p(t)-Laplacian systems with subquadratic potentials

By using the genus properties, we establish some criteria for the second-order p(t)-Laplacian system $$ \frac{d}{dt}\big(|\dot{u}(t)|^{p(t)-2}\dot{u}(t)\big)-a(t)|u(t)|^{p(t)-2}u(t) +\nabla W(t, u(t))=0 $$ to have at least one, and i...

Mathematical Capabilities of ChatGPT

We investigate the mathematical capabilities of two iterations of ChatGPT (released 9-January-2023 and 30-January-2023) and of GPT-4 by testing them on publicly available datasets, as well as hand-crafted ones, using a novel methodology. In...

Mathematics without Numbers

Abstract Develops a structuralist understanding of mathematics, as an alternative to set‐ or type‐theoretic foundations, that respects classical mathematical truth while minimizing Platonist commitments to abstract entities. Modal logic is ...

A Mathematical Theory of Evidence

Both in science and in practical affairs we reason by combining facts only inconclusively supported by evidence. Building on an abstract understanding of this process of combination, this book constructs a new theory of epistemic probabilit...

Wireless Link-Quality Estimation in Smart Grid Environments

Recently, wireless sensor networks (WSNs) have gained great attention from the research community for various smart grid applications, including advanced metering infrastructure (AMI), power outage detection, distribution automation, towers...

Global quantum correlations in finite-size spin chains

We perform an extensive study of the properties of global quantum correlations in finite-size one-dimensional quantum spin models at finite temperature. By adopting a recently proposed measure for global quantum correlations (Rulli and Sara...

Realism, Mathematics and Modality

Fictionalism, epistemology and modality realism and anti-realism about mathematics is mathematical knowledge just logical knowledge? on conservativeness and incompleteness Platonism for cheap? - Crispin Wright on Frege's context principle c...

Education of staff in preschool aged classrooms in child care centers and child outcomes: A meta-analysis and systematic review.

Staff education is considered key to quality of early childhood education and care (ECEC) programs. However, findings about associations between staff education and children's outcomes have been inconsistent. We conducted a systematic revie...

Epistemologies of Mathematics and of Mathematics Education

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...

Общая модель и методы иерархического планирования функционирования сложных организационно-производственных систем с ограниченными

На основании исследования особенностей построения и реализации модели автоматизированного иерархического планирования мелкосерийного производства в условиях рынка формализована общая математическая модель иерархического планирования, учитыв...

Концептуальна модель інформаційної системи "Наукові дослідження" НАПН України

Представлено принципи побудови концептуальної моделі IC "Наукові дослідження" для автоматизації менеджменту наукових досліджень в НАПН України. Описано результати дослідження щодо формування полів та автоматизації обробки документів в інтег...

A Robust and Space-Efficient Stack Management Method for Wireless Sensor Network OS with Scarce Hardware Resources

Due to such requirements as low power consumption and low cost, sensor nodes commonly do not include advanced H/W features. The absence of the features such as the memory management unit enforces several tasks to share a memory address doma...

The Mathematics of Marriage

Divorce rates are at an all-time high. But without a theoretical understanding of the processes related to marital stability and dissolution, it is difficult to design and evaluate new marriage interventions. The Mathematics of Marriage pro...

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...