As people grow a custom to effortless outdoor navigation there is a rising demand for similar possibility indoors as well. Unfortunately, indoor localization, being one of the necessary requirements for navigation, continues to be problem without a clear solution. In this article we are proposing a method for an indoor positioning system using a single image. This is made possible using small preprocessed database of images with known control points as the only preprocessing needed. Using feature detection with SIFT algorithm we can look through the database and find image which is the most similar to the image taken by user. Pair of images is then used to find coordinates of database image using PnP problem. Furthermore, projection and essential matrices are determined allowing for the user image localization ~ determining the position of the user in indoor environment. Benefits of this approach lies in the single image being the only input from user and no requirements for new onsite infrastructure and thus enables a simpler realization for the building management.

Given the complexity and variability of gastrointestinal polyps, there is a growing need for more accurate machine-learning algorithms that can assist medical professionals in decision-making processes. In our study, we employed machine learning (ML) techniques to classify gastrointestinal polyps seen in colonoscopy images, that present a risk of colon cancer, affecting a large portion of the population. The dataset used in the research comprised 152 instances and included three types of lesions, totaling 76 polyps. The study consisted of applying Logistic Regression (LR) to classify gastrointestinal images. The principal motivation for choosing this algorithm consists in the fact that is preferred by many medical researchers. Another motivation consisted in the fact to compare the polyps classification accuracy of physicians and LR with optimized hyperparameters. The approached model performance was evaluated with the following metrics: Accuracy, Precision, Recall, F1_Score and Macro-average. We used the Multiclass Logistic Regression (mLR) classifier to classify polyps into hyperplastic (27.63%), serrated (19.74%), and adenoma lesions (52.63%). It should be noted that serrated polyps are hard to diagnose, even by physicians, because they have characteristics of both hyperplastic and adenoma ones. One of the objectives consisted in the study of the hyperparameters tunning of the Logistic Regression to find the best-fitted model. To check the influence of the data mix on the results obtained, for the two best models (LR with liblinear solver, L1 penalty and C = 0.01), it was performed a comprehensive statistical analysis. Based on an algorithm that admits obtaining accurate results. Such analyses are mistakenly applied in the scientific literature. The model with optimized hyperparameters achieved an accuracy score of 70.39%, indicating a reasonable level of prediction, surpassing both beginner and expert physicians and obtaining results similar to those obtained by Random Subspace and Random Forest. The model successfully classifies the hyperplastic and adenoma polyps but showed to have a more limited ability to predict the serrated ones.

This article presents a combined route and path planning strategy to guide Skid-Steer Mobile Robots (SSMRs) in scheduled harvest tasks within expansive crop rows with complex terrain conditions. The proposed strategy integrates: i) a global planning algorithm based on the Traveling Salesman Problem under the Capacitated Vehicle Routing approach and Optimization Routing (OR-tools from Google) to prioritize harvesting positions by minimum path length, unexplored harvest points, and vehicle payload capacity, and ii) a local planning strategy using Informed Rapidly-exploring Random Tree (IRRT*) to coordinate scheduled harvesting points while avoiding low-traction terrain obstacles. The global approach generates an ordered queue of harvesting locations, maximizing the crop yield in a workspace map. In the second stage, the IRRT* planner avoids potential obstacles, including farm layout and slippery terrain. The path planning scheme incorporates a traversability model and a motion model of SSMRs to meet kinematic constraints. Experimental results in a generic fruit orchard demonstrated the effectiveness of the proposed strategy. In particular, the IRRT* algorithm outperformed RRT and RRT* with 96.1% and 97.6% smoother paths, respectively. The IRRT* also showed improved navigation efficiency, avoiding obstacles and slippage zones, making it suitable for precision agriculture.

In real-life scenario, there are many mathematical tools to handle the incomplete and imprecise data. One of them is the fuzzy approach. This article aims to contribute to the literature of fuzzy multi-objective dynamic programming issues involving the fuzzy objective functions. The piecewise quadratic fuzzy numbers characterize these fuzzy parameters. Some basic notions in the problem under the α-pareto optimal solution concept is redefined and analyzed to study the stability of the problem. Furthermore, a technique, named as enhancing decomposition approach, is presented for achieving a subset for the parametric space that contains the sameα-pareto optimal solution. For a better understanding and comprehension of the suggested concept, a numerical example is provided.

In this non-exhaustive review, we discuss the importance of invariant vectors in atomic physics, such as the Laplace-Runge-Lenz vector, the Redmond vector in the presence of an electric field, the Landau-Avron-Sivardière vector when the system is subject to a magnetic field, and the supergeneralized Runge-Lenz vector for the two-center problem. Application to Stark and Zeeman effects are outlined. The existence of constants of motion in the charge-dyon system is also briefly mentioned.

In this paper, I give readers an idea of what some scholars are interested in, what I found interesting, and what may be of future interest in the philosophy of emotion. I begin with a brief overview of the general topics of interests in the philosophy of emotion. I then discuss what I believe to be some of the most interesting topics in the contemporary discourse, including questions about how philosophy can inform the science of emotion, conceptions of the mind and the mind-body problem, concerns about perception, cognition, and emotion, along with questions about the place of 4E approaches and meta-semantic pluralist approaches in the embodied cognitive tradition. Finally, I discuss the emerging field of cultural evolution, the import of a dual-inheritance theory in this emerging field, and I propose a possible way to integrate the frameworks of dual-inheritance theory and meta-semantic pluralism to demonstrate at least one way in which the philosophy of emotion can contribute to the emerging field of cultural evolution.

It is claimed that classical mechanics (CM) in terms of its equivalent Koopman-von Neumann formulation (KvN) is indeed a ’real’ quantum theory since the formalism of quantum mechanics (FQM) does not, nor need it, exclude it as a such. This claim is made manifest by suggesting a common structure of which both KvN and ordinary quantum mechanics (OQM) correspond to unitary representations of, although unitarily inequivalent such. It is shown that OQM is obtained by enforcing the extra physical condition of quantized energy levels, which by itself does not constitute the ’quantum mystery’. It is furthermore shown that KvN in a physically realizable sense contain the hallmark quantum behavior of quantum interference. It is hence concluded that both CM and OQM are subjected to the same foundational issues. As the central part of both KvN and OQM is the introduction of probabilities via FQM it is suggested that the foundational issues regarding FQM are less about FQM itself and more about the concept of probability.

The article discusses determinants of living environment in Central and Eastern Europe. As an example, the city of Radzionkow was chosen, with 16 thousand inhabitants, located in the Silesia agglomeration in southern Poland, in the area where hard coal has been mined for almost two hundred years, which largely serves as a source of heating for houses and flats. 360 buildings in 6 groups of 60 buildings were examined in the selected city, which allowed to distinguish 3 different areas in terms of the quality of the living environment depending on the technical condition of buildings, the method of heating and location. To a large extent, determinants are the existing spatial and geophysical conditions of a given location. Many research and reports on the living environment do not take into account the factors mentioned, focusing only on the statistical data of pollution, excluding spatial factors. In the research presented, the author, taking into account location variables, shows differences in the measurements of air pollution in relation to the designated location zones depending on the morphological structure of the building, the degree of its modernization and the types of heating used in buildings.

Mereology stands for the philosophical concept of parthood and is based on a sound set of fundamental axioms and relations. One of these axioms relates to the existence of a universe as a thing having part all other things. The present article formulates this logical expression first as an algebraic inequality and eventually as an algebraic equation reading in words: The universe equals the sum of all things. “All things” here are quantified by a “number of things”. Eventually this algebraic equation is normalized leading to an expression The whole equals the sum of all fractions. This introduces “1” or “100%” as a quantitative – numerical - value describing the “whole”. The resulting “basic equation” can then be subjected to a number of algebraic operations. Especially squaring this equation leads to correlation terms between the things implying that the whole is more than just the sum of its parts. Multiplying the basic equation (or its square) by a scalar allows for the derivation of physics equations like the entropy equation, the ideal gas equation, an equation for the Lorentz-Factor, conservation laws for mass and energy, the energy-mass equivalence, the Boltzmann statistics, and the energy levels in a Hydrogen atom. It further allows deriving a “contrast equation” which may form the basis for the definition of a length and a time scale. Multiplying the basic equation with vectors, pseudovectors, pseudoscalars and eventually hypercomplex numbers opens up the realm of possibilities to generate many further equations.

Large values and gradients of stresses and deformations, triggering concentrations of stresses and deformations, arise in the corner areas of a structure. The action of forced deformations, leading to the finite rupture of the contact between the elements of a structure, also triggers the concentration of stresses, while the rupture reaches an irregular point, a line on the area boundary. The theoretical analysis of the stress-strain state (SSS) of areas with angular cutouts in the boundary under the action of discontinuous forced deformations is reduced to the study of singular solutions to the homogeneous problem of the elasticity theory that has power-related features. The calculation of stress concentration coefficients in the domain of a singular solution to the elastic problem makes no sense. It is experimentally proven that the zone, that is close to the vertex of the angular cutout in the area boundary, has substantial deformations, rotations, and it corresponds to rising values of the first and second derivatives of displacements along the radius in cases of sufficiently small radii in the neighbourhood of the irregular point of the boundary. For such areas, it is necessary to consider the plane problem of the elasticity theory, taking into account the geometric nonlinearity under the action of forced deformations. This will allow analyzing the effect of relations between orders of values of deformations, rotations, and forced deformations on the form of the equation of equilibrium. The purpose of this work is to analyze the effect of relations of deformation orders, rotations, forced deformations on the form of the equilibrium equation in the polar coordinate system for a V-shaped area under the action of forced temperature-induced deformations with regard for the geometrical non-linearity and physical linearity.

This paper presents a new methodology to derive and analyze strategies for a fully decarbonized urban transport system which combines conceptual vehicle design, a large-scale agent-based transport simulation, operational cost analysis, and life cycle assessment for a complete urban region. The holistic approach evaluates technical feasibility, system cost, energy demand, transportation time and sustainability-related impacts of various decarbonization strategies. In contrast to previous work, the consequences of a transformation to fully decarbonized transport system scenarios are quantified across all traffic segments, considering procurement, operation and disposal. The methodology can be applied to arbitrary regions and transport systems. Here, the metropolitan region of Berlin is chosen as a demonstration case. First results are shown for a complete conversion of all traffic segments from conventional propulsion technology to battery electric vehicles. The transition of private individual traffic is analyzed regarding technical feasibility, energy demand and environmental impact. Commercial goods, municipal traffic and public transport are analyzed with respect to system cost and environmental impacts. We can show a feasible transition path for all cases with substantially lower greenhouse gas emissions. Based on current technologies and today’s cost structures our simulation shows a moderate increase in total systems cost of 13-18%.

The following system of equations {x_1 \cdot x_1=x_2, x_2 \cdot x_2=x_3, 2^{2^{x_1}}=x_3, x_4 \cdot x_5=x_2, x_6 \cdot x_7=x_2} has exactly one solution in ({\mathbb N}\{0,1})^7, namely (2,4,16,2,2,2,2). Hypothesis 1 states that if a system of equations S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,7}} \cup {2^{2^{x_j}}=x_k: j,k \in {1,...,7}} has at most five equations and at most finitely many solutions in ({\mathbb N}\{0,1})^7, then each such solution (x_1,...,x_7) satisfies x_1,...,x_7 \leq 16. Hypothesis 1 implies that there are infinitely many composite numbers of the form 2^{2^{n}}+1. Hypotheses 2 and 3 are of similar kind. Hypothesis 2 implies that if the equation x!+1=y^2 has at most finitely many solutions in positive integers x and y, then each such solution (x,y) belongs to the set {(4,5),(5,11),(7,71)}. Hypothesis 3 implies that if the equation x(x+1)=y! has at most finitely many solutions in positive integers x and y, then each such solution (x,y) belongs to the set {(1,2),(2,3)}. We describe semi-algorithms sem_j (j=1,2,3) that never terminate. For every j \in {1,2,3}, if Hypothesis j is true, then sem_j endlessly prints consecutive positive integers starting from 1. For every j \in {1,2,3}, if Hypothesis j is false, then sem_j prints a finite number (including zero) of consecutive positive integers starting from 1.

Let {$\Gamma(k)$} denote {$(k-1)!$}, and let {$\Gamma_{n}(k)$} denote {$(k-1)!$}, where {$n \in \{3,\ldots,16\}$} and {$k \in \{2\} \cup [2^{\textstyle 2^{n-3}}+1,\infty) \cap \mathbb N$}. For an integer {$n \in \{3,\ldots,16\}$}, let $\Sigma_n$ denote the following statement: if a system of equations {${\mathcal S} \subseteq \{\Gamma_{n}(x_i)=x_k:~i,k \in \{1,\ldots,n\}\} \cup \{x_i \cdot x_j=x_k:~i,j,k \in \{1,\ldots,n\}\}$} with $\Gamma$ instead of $\Gamma_{n}$ has only finitely many solutions in positive integers {$x_1,\ldots,x_n$}, then every tuple {$(x_1,\ldots,x_n) \in (\mathbb N \setminus \{0\})^n$} that solves the original system ${\mathcal S}$ satisfies {$x_1,\ldots,x_n \leqslant 2^{\textstyle 2^{n-2}}$}. Our hypothesis claims that the statements {$\Sigma_{3},\ldots,\Sigma_{16}$} are true. The statement {$\Sigma_6$} proves the following implication: if the equation {$x(x+1)=y!$} has only finitely many solutions in positive integers $x$ and $y$, then each such solution {$(x,y)$} belongs to the set {$\{(1,2),(2,3)\}$}. The statement {$\Sigma_6$} proves the following implication: if the equation {$x!+1=y^2$} has only finitely many solutions in positive integers $x$ and $y$, then each such solution {$(x,y)$} belongs to the set {$\{(4,5),(5,11),(7,71)\}$}. The statement {$\Sigma_9$} implies the infinitude of primes of the form {$n^2+1$}. The statement {$\Sigma_9$} implies that any prime of the form {$n!+1$} with {$n \geqslant 2^{\textstyle 2^{9-3}}$} proves the infinitude of primes of the form {$n!+1$}. The statement {$\Sigma_{14}$} implies the infinitude of twin primes. The statement {$\Sigma_{16}$} implies the infinitude of Sophie Germain primes.

The mind-body problem is the central issue in both of philosophy and life science for several centuries. To date, there is still no conclusive theory to interpret the relation between the mind and the body, even just the mind alone. Here, we promote a novel model, a derived mathematic equation called the entropic system equation, to describe the innate characters of the mind and the mechanism of the mind-body coupling phenomenon. As the semi-open thermodynamic systems far from equilibrium, the living organisms could be logically considered as an entropic system. In the living organisms or the entropic systems, there also are three essential existing elements including mass, energy and information, in which the mind and the body are hypothetically coupled by free energy and entropic force.

In this paper, a short survey of the existed results concerning the Jacobian Conjecture is first given. Then the 3-fold linear type polynomial map will be analyzed in detail. The expansion of the Jacobian condition is deduced to obtain its equivalent algebraic equations, and the Jacobian condition will be analyzed to derive two coordinate transformations that can maintain the invariance of the Jacobian condition. Finally, it is proved by mathematical induction method that one general chain expression presented in this paper is just the inverse polynomial map of 3-fold linear type polynomial map, i.e. LJC(n,[3]) holds such that the Jacobian Conjecture holds.

The article is devoted to the preliminary concept of the Future Planetary Defense System (FPDS), emphasizing Astroballistics. This paper is intended to support international efforts to improve the planetary security of the Earth. The work covers three areas of knowledge: Astronautics, Astrodynamics, and Astroballistics. The most important part of the presented article is dynamic, contact combat modeling against small, deformable celestial bodies. For these purposes, the original, proprietary hydrocode of the Free Particle Method (HEFPM-G) with gravity was used. The main aim of combat is to redirect the Potentially Hazardous Objects (PHOs) to orbits safe for the Earth or destroy them. This concept's first task is to find, prepare and use dynamic three-dimensional models of celestial bodies' motion and spacecraft or human-crewed spaceships in the Solar System's relativistic frame. The second task is to prepare the FPDS' architecture and computer simulation space missions' initial concepts in the internal part of the solar system. The third and main task covers simulating, using hydrocodes, selected methods of fighting 100 m and 140 m diameter asteroids. The order of the article is as follows. The first part of the article presents an architecture and FPDS' modus operandi. Preliminary design and development of FPDS' space missions, including navigation, mission dynamics simulation, is prepared using an open-source space mission analysis and design tool. E.g., Asterank and Trajectory Browser or GMAT are presented in the second part. The third part of the article is devoted to computer hydrocodes (HEFPM-G) and the modeling and simulation of asteroid–asteroid collision, laser radiation effects on an asteroid, and FPDS spacecraft's warhead contact interaction on the small celestial body. The authors formulated the Main Planetary Defense Problem (MPDP) in this paper. The proposition of this problem solving has been realized by preparing its concepts, architecture, and modus operandi of the FPDS mission. Finally, a series of realistic simulations were made using hydrocode to deflect or destroy dangerous asteroids. The summary and conclusions can be found in the fourth part of the article.

Quantum mechanics could be studied through polynomial algebra, as has been demonstrated by a work (“An approach to first-principles electronic structure calculation by symbolic-numeric computation” by A. Kikuchi). We carry forward the algebraic method of quantum mechanics through algebraic number theory; the basic equations are represented by the multivariate polynomial ideals; the symbolic computations process the ideal and disentangle the eigenstates as the algebraic variety; upon which one canbuild the Galois extension of the number field, in analogy with the univariate polynomial case, to investigate the hierarchy of solutions; the Galois extension is accompanied with the group operations, which permute the eigenstates from one to another, and furnish the quantum system with a non-apparent symmetry. Besides, this sort of algebraic quantum mechanics is an embodiment of the class field theory; some of the important consequences of the latter emerge in quantum mechanics. We shall demonstrate these points through simple models; we will see the use of computational algebra facilitates such sort of analysis, which might often be complicated if we try to solve them manually.

This paper offers a novel geometric and visual approach to the renowned Four Color Map Theorem and K5 non-planarity problem while unveiling their profound connection to the "kissing number" problem in 2D. We represent planar graphs through circles and tangents, simplifying complex structures and shedding light on these classic problems. Our proofs by contradiction, rooted in the kissing number concept, reveal that both the Four Color Map Theorem and K5 non-planarity are fundamentally linked, as they pivot around the concept of coloring. This study bridges the realms of geometry and graph theory, providing fresh insights and emphasizing the significance of the kissing number problem in various fields.

A new framework in quantum chemistry has been proposed recently ("An approach to first principles electronic structure calculation by symbolic-numeric computation'' by A. Kikuchi). It is based on the modern technique of computational algebraic geometry, viz. the symbolic computation of polynomial systems. Although this framework belongs to molecular orbital theory, it fully adopts the symbolic method. The analytic integrals in the secular equations are approximated by the polynomials. The indeterminate variables of polynomials represent the wave-functions and other parameters for the optimization, such as atomic positions and contraction coefficients of atomic orbitals. Then the symbolic computation digests and decomposes the polynomials into a tame form of the set of equations, to which numerical computations are easily applied. The key technique is Grröbner basis theory, by which one can investigate the electronic structure by unraveling the entangled relations of the involved variables. In this article, at first, we demonstrate the featured result of this new theory. Next, we expound the mathematical basics concerning computational algebraic geometry, which are necessitated in our study. We will see how highly abstract ideas of polynomial algebra would be applied to the solution of the definite problems in quantum mechanics. We solve simple problems in "quantum chemistry in algebraic variety'' by means of algebraic approach. Finally, we review several topics related to polynomial computation, whereby we shall have an outlook for the future direction of the research.

We prove: (1) the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable, (2) the set of all Diophantine equations which have at most finitely many solutions in positive integers is not recursively enumerable, (3) the set of all Diophantine equations which have at most finitely many integer solutions is not recursively enumerable, (4) analogous theorems hold for Diophantine equations D(x₁, …, x_p) = 0, where p ∈ N\{0} and for every i ∈ {1, …, p} the polynomial D(x₁, …, x_p) involves a monomial M with a non-zero coefficient such that x_i divides M, (5) the set of all Diophantine equations which have at most k variables (where k ≥ 9) and at most finitely many solutions in non-negative integers is not recursively enumerable.

Synthetic Aperture RADAR (SAR) is a radar imaging technique in which the relative motion of the sensor is used to synthesize a very long antenna and obtain high spatial resolution. Standard SAR raw data processing techniques assume uniform motion of the satellite (or aerial vehicle) and a fixed antenna beam pointing sideway orthogonally to the motion path, assumed rectilinear. Despite SAR data processing is a well established imaging technology that has become fundamental in several fields and applications, in this paper a novel approach has been used to exploit coherent illumination, demonstrating the possibility of extracting a large part of the ancillary data information from the raw data itself, to be used in the focusing procedure. In this work an effort has been carried out to try to focus the raw SAR complex data matrix without the knowledge of anyof the parameters needed in standard focusing procedures as Range Doppler (RD) algorithm, ω - K algorithm and Chirp Scaling (CS) algorithm. All the literature references regarding the algorithms needed to obtain a precise image from raw data use such parameters that refer both to the SAR system acquisition geometry and its radiometric specific parameters. In [12], authors introduced a preliminary work dealing with this problem and able to obtain, in the presence of a strong point scatterer in the observed scene, good quality images, if compared to the standard processing techniques. In this work the proposed technique is described and performances parameters are extracted to compare the proposed approach to RD.

The Hyper-Torus Universe Model (HTUM) proposes a novel framework to unify quantum mechanics, cosmology, and consciousness. This paper introduces HTUM's core concept: a higher-dimensional hyper-torus encompassing all possible states of existence. HTUM suggests that the universe functions as a quantum system where all outcomes are inherently connected, with consciousness playing a significant role in actualizing reality. The model introduces several key innovations, including the universe's 4-dimensional toroidal structure (4DTS), providing a new geometric interpretation of spacetime. HTUM presents dark matter and dark energy as nonlinear probabilistic phenomena within this toroidal framework, offering a unique perspective on their nature and interactions. The model proposes a mechanism for wave function collapse through universal self-observation, bridging quantum mechanics and gravity. It introduces a Topological Vacuum Energy Modulator (TVEM) function, offering a potential resolution to the cosmological constant problem. Furthermore, HTUM integrates consciousness as a fundamental aspect of the universe, influencing quantum state actualization and potentially resolving the hard problem of consciousness. The model explores the implications of a timeless singularity and the emergence of time as a product of causal relationships within the toroidal structure. This framework addresses critical challenges in modern physics, including the nature of quantum entanglement, the origin and fate of the universe, and the relationship between mind and matter. The paper discusses the mathematical formulation of HTUM, its implications for quantum mechanics and cosmology, and its potential to bridge the gap between science and philosophy. We present detailed predictions for the cosmic microwave background (CMB) power spectrum, gravitational wave signatures, and large-scale structure formation, demonstrating how HTUM differs from the standard ΛCDM model. Our analysis reveals distinctive oscillatory patterns in the relative difference between HTUM and ΛCDM predictions, with deviations reaching up to ±20% at certain scales. The paper also explores the unification of fundamental forces within the HTUM framework, proposing novel approaches to particle physics and quantum field theory. It introduces the concept of unified mathematical operations, suggesting a more holistic approach to mathematical thinking that aligns with the model's interconnected view of the universe. Additional testable predictions and proposed experimental approaches are discussed, including advanced space-based tests and laboratory experiments probing quantum gravity effects. These specific, quantifiable predictions offer multiple avenues for empirical validation, highlighting HTUM's potential to be distinguished from ΛCDM and other alternative cosmological models. HTUM represents a significant new perspective in our understanding of the universe, inviting further research and exploration into the nature of reality, consciousness, and the fundamental structure of the cosmos. By providing a comprehensive framework that unifies various aspects of physics, cosmology, and consciousness studies, HTUM offers a promising path toward a more complete understanding of our universe.