In this paper, we consider a class of bilevel programming problems (abbreviated as, BLPP). Exploiting the generalized approximate convexity assumptions, we investigate the relations among the solutions of approximate Minty (respectively, Stampacchia) type variational inequalities (abbreviated as, AMTVI (respectively, ASTVI)), and the local ϵ-quasi solutions of the BLPP. Moreover, by employing the generalized Knaster–Kuratowski–Mazurkiewicz (abbreviated as, KKM)-Fan’s lemma, we derive some existence results for the solutions of approximate variational inequalities (abbreviated as, AVI), namely, AMTVI and ASTVI. A non-trivial example is given to highlight the importance of the established results. To the best of our knowledge, there is no research paper available in the literature that establishes relationships between the AVI and the BLPP under the assumptions of generalized approximate convexity in terms of limiting subdifferentials.

The focus of this paper is on analyzing the role and the choice of parameters in sociophysics diffusion models, by leveraging the potentialities of sociophysics from a mathematical programming perspective. We first present a generalised version of Galam’s opinion diffusion model (see, e.g. , ). For a given selection of the coefficients in our model, this proposal yields the original Galam’s model. The generalised model suggests guidelines for possible alternative selection of its parameters that allow to foster diffusion. Examples of the parameters selection process as steered by numerical optimisation, taking into account various objectives, are provided.

We prove an analog of the removable singularity theorem for bounded harmonic functions on stratified sets. The harmonic functions are understood in the sense of the soft Laplacian. The result can become one of the main technical components for extending the well-known Poincaré–Perron’s method of proving the solvability of the Dirichlet problem for the soft Laplacian.

In the field of 2-D image processing and computer vision, accurately detecting and segmenting objects in scenarios where they overlap or are obscured remains a challenge. This difficulty is worse in the analysis of shoeprints used in forensic investigations because they are embedded in noisy environments such as the ground and can be indistinct. Traditional Convolutional Neural Networks (CNNs), despite their success in various image analysis tasks, struggle with accurately delineating overlapping objects due to the complexity of segmenting intertwined textures and boundaries against a background of noise. This study introduces employs the YOLO (You Only Look Once) model enhanced by edge detection and image segmentation techniques to improve the detection of overlapping shoeprints. By focusing on the critical boundary information between shoeprint textures and the ground, our method demonstrates improvements in sensitivity and precision, achieving confidence levels above 85% for minimally overlapped images and maintaining above 70% for extensively overlapped instances. Heatmaps of convolution layers were generated to show how the network converges towards successful detection using these enhancements. This research may provide a potential methodology for addressing the broader challenge of detecting multiple overlapping objects against noisy backgrounds.

Ultrasound (US) scans of the inferior vena cava (IVC) provide useful information on the volume status of a patient. However, their investigation is user-dependent and prone to measurement errors. An important technical problem is the objective difficulty in studying a very compliant blood vessel like IVC, which makes large respirophasic movements and shows a complicated three dimensional geometry. Using bi-dimensional (2D) B-mode views either in long or short axis has improved the characterization of IVC dynamics compared to a measurement along a single direction (M-mode). However, specific movements of the IVC can challenge also the information provided by these 2D sections. Thus, these two orthogonal views, provided by an US system in X-plane, are here integrated by an innovative method. It is tested on simulated videos of the IVC performing complicated movements, that are compensated by the new method, overcoming the biased measurements provided by 2D scans. The method is then applied on example experimental data.

We present an open-source Star Tracker (ST) for Attitude Determination. Our implementation makes use of open source software of common usage in astronomy running on a Raspberry Pi 2 platform. The developed platform is open and available for parties interested in further development. Evaluation of the system showed that the ST is suitable for Cubesats of 2U or larger. The ST platform is capable of solving the Lost-In-Space (LIS) problem. Currently, the average accuracy reached of the algorithm is close to 5 seconds of arc with an average processing time of 75 seconds. However, a average accuracy of about 3 minutes of arc can be reached with 35 seconds in average processing time. We also describe the evaluation procedure, the found conclusions of this procedure, in particular the section of the algorithm where most of the processing time is spent and other possible source of errors not included in this study.

In this article, we consider a class of nonsmooth interval-valued multiobjective semi-infinite programming problems with vanishing constraints (in short, NIMSIPVC). We introduce the VC-Abadie constraint qualification (in short, VC-ACQ) for NIMSIPVC and employ it to establish Karush-Kuhn-Tucker (in short, KKT)-type necessary optimality conditions. Related to NIMSIPVC, we formulate interval-valued vector Lagrange type dual and scalarized Lagrange type dual problems. Subsequently, we establish weak, strong, and converse duality results relating NIMSIPVC and corresponding dual problems. In addition, we introduce the notions of saddle points for interval-valued vector Lagrangian and scalarized Lagrangian of NIMSIPVC. Moreover, we establish the saddle point optimality criteria for NIMSIPVC. Various non-trivial examples are provided to demonstrate the validity of established results. To the best of our knowledge, optimality conditions, Lagrange type duality, and saddle point optimality criteria for NIMSIPVC have not been investigated yet via Clarke subdifferentials.

Deep learning neural networks require an immense amount of computation, especially in the training phase of the network when networks with multiple layers of intermediate neurons need to be built. In this paper, we will focus on the PSO algorithm with the aim of significantly accelerating the DLNN training phase by taking advantage of the GPGPU architecture and the Apache Spark analytics engine for large-scale data processing tasks. PSO is a bio-inspired stochastic optimization method whose goal is to iteratively improve the solution to a (usually complex) problem by attempting to approximate a given objective. However, parallelizing an efficient PSO is not a straightforward process due to the complexity of the computations performed on the swarm of particles and the iterative execution of the algorithm until a solution close to the objective with minimal error is achieved. In the present work, two parallelizations of the PSO algorithm have been implemented , both designed for a distributed execution environment. The synchronous parallel PSO implementation ensures consistency at the cost of potential idle time due to global synchronization, while the asynchronous parallel PSO approach improves execution time by reducing the need for global synchronization, making it more suitable for large datasets and distributed environments such as Apache Spark. Both variants of PSO have been implemented to distribute the computational load supported by this algorithm –due to the costly fitness evaluation and updating of particle positions– across the different Spark cluster executor nodes to effectively achieve coarse-grained parallelism, resulting in a significant performance increase over current sequential variants of PSO.

This research introduces a hybrid feature extraction approach that combines Linear Discriminant Analysis (LDA) and Multilayer Perceptron (MLP) methods to address the challenges of reducing feature vector dimensionality and accurately classifying smartphone-based human activities. Moreover, to refine activity classification accuracy, Support Vector Machine (SVM) optimization with Stochastic Gradient Descent (SGD) is employed. LDA, a statistical tool, is leveraged to derive a new feature space for data projection, enhancing class separation and test feature label prediction. The proposed approach, named LMSS, was evaluated using the UCI-HAR dataset and compared with state-of-the-art models. The results demonstrate that the proposed approach outperformed the best-performing method over this dataset. It achieved an accuracy rate of 99.52%, precision of 99.55%, recall of 99.53%, and an F1-score of 99.54%, highlighting the effectiveness of the proposed method in accurately classifying the data.

This paper offers an integrated approach for correlated storage assignment strategy (CSAS) to optimize travel distance by considering item correlation, picking frequency, zoning, and slot constraints to improve operational efficiency in distribution centers. We simplify the mixed integer non-linear programming (MINLP) model and incorporate integrated heuristic procedures for faster convergence. We introduce positive and negative centroid deviations as techniques to guide the model convergence and explore different scenarios. In the second stage of item assignment, we prioritize items within zones using a ranking formula that is optimal for both single-item and multiple-item orders. By analyzing the distribution of correlated item across zones and the impact of their picking frequency on optimizing travel distance, we propose an improved CSAS that minimize travel distance by strategically placing items based on their proximity to the depot. Our model reduces trips in distant zones by prioritizing larger average order sizes, while maximizing trips for frequently ordered smaller lists in closer zones. This method significantly reduces travel distance by minimizing the need for pickers in distant zones to frequently travel to the depot. Simulation results show reductions of up to 36.75% for fitted data and 33.59% for recent data.

This paper details the comprehensive activities conducted in a laboratory setting to assess the Structural Health Monitoring (SHM) of prefabricated building envelopes. Aimed at enhancing the structural evaluation of buildings, the focus of this research lies in employing nondestructive sensors for SHM with the objective to advance in the understanding and assessment of facade conditions. The paper outlines the methodologies employed, starting with a modal analysis to define the structural vibration's modal frequency. Subsequently, tests were defined and executed to validate building envelope compliance in case of stress typical of high-rise building. Throughout these tests, continuous monitoring of the façade was conducted using both conventional (accelerometers, extensimeter washers) and non-conventional sensors (Fiber Optic Sensing) The gathered data underwent thorough processing and analysis to provide an overall perspective on the structure's behavior during the stress test. The investigation aimed to identify whether specific physical phenomena correlate with distinct signals and to evaluate if continuous façade monitoring over the building's lifespan aids in preventing potential structural damage. Moreover, two modal analyses were conducted to compare final data and frequencies with earlier data, enabling the detection of any structural alterations. The results from compliance testing and structural analysis yielded noteworthy insights contributing to the evolving field of structural health monitoring, offering valuable findings that advance our ability to proactively manage and maintain the integrity of building structures.

Let BT4l denotes a subclass of bounded turning functions connected with a four-leaf-type domain. The goal of the study is to probe into coefficients of |b6|, |b7|, |b8|, the bounds of the logarithmic coefficients and the third-order determinants of H3,1, H3,2, H3,3 for functions in this class.

Every finite simple group P can be generated by two of its elements. Pairs of generators forP are available in the Atlas of finite group representations as (not necessarily minimal) permutation representations P . It is unusual but significant to recognize that a P is a Grothendieck’s dessin d’enfant D and that a wealth of standard graphs and finite geometries G - such as near polygons and their generalizations - are stabilized by a D. In our paper, tripods P − D − G of rank larger than two,corresponding to simple groups, are organized into classes, e.g. symplectic, unitary, sporadic, etc (as in the Atlas). An exhaustive search and characterization of non-trivial point-line configurationsdefined from small index representations of simple groups is performed, with the goal to recognize their quantum physical significance. All the defined geometries G's have a contextuality parameterclose to its maximal value 1.

We develop an action principle for producing a single fluid, two-constituent system with dissipation in general relativity. The two constituents in the model are particles and entropy. The particle flux creation rate is taken to be zero, while the entropy creation rate is non-zero. Building on previous work, it is demonstrated that a new term (the proper time derivative of the matter space ``metric'') is required in the Lagrangian in order to produce terms typically associated with bulk and shear viscosity. Equations of motion, entropy creation rate, and energy-momentum-stress tensor are derived. Using an Onsager approach of identifying thermodynamic ``forces'' and ``fluxes'' a model is produced which delivers the same entropy creation rate as the standard, relativistic Navier-Stokes equations. This result is then contrasted with a model generated in the spirit of the action principle, which takes as its starting point a specific Lagrangian and then produces the equations of motion, entropy creation rate, and energy-momentum-stress tensor. Unlike the equations derived from Onsager reasoning, where the analogs of the bulk and shear viscosity coefficients are prescribed ``externally'', we find that the form of the coefficients in the second example are a direct result of the specified Lagrangian. Furthermore, the coefficients are shown to satisfy evolution equations along the fluid worldline; also a product of the specific Lagrangian.

The importance of XAI is undeniable in the current scenario and thus it's importance in considerable. Unfortunately, there are a couple of scenarios where the current XAI models fail. Additionally, attackers seek vulnerabilities in these models. This review paper is intended to cover some of the important scenarios where the existing XAI models may fail and some progresses made which shows their vulnerabilities and how to secure them.

A method for calibrating models of agricultural production and resource use presented by Howitt [1] for policy analysis is proposed to leverage multidisciplinary agricultural research at the National Center for Alluvial Aquifer Research (NCAAR). An illustrative example for Sunflower County, MS is presented to show how plot-level research can be extended to draw systemic region or basin wide implications. A hypothetical improvement in yields for dryland soybean varieties is incorporated to the model and shown to have a positive impact on aquifer outcomes and producer profits. The example illustrates that a change in one practice-crop combination can have system-wide impacts as evidenced by the change in acreages for all crops and practices.

The advancement of autonomous capabilities in maritime navigation has gained significant attention, with a trajectory moving from decision support systems to full autonomy. This push towards autonomy has led to extensive research focusing on collision avoidance, a critical aspect of safe navigation. Among the various possible approaches, Dynamic Programming is a promising tool for optimizing collision avoidance maneuvers. This paper presents a DP formulation for collision avoidance of autonomous vessels. We set up the problem framework, formulate it as a multi-stage decision process, define cost functions and constraints focusing on the actual requirements a marine maneuver must comply with, and propose a solution algorithm leveraging parallel computing. Additionally, we present a greedy approximation to reduce algorithm complexity. Through case studies, we demonstrate the effectiveness of the proposed approach in navigating complex scenarios, contributing to the future of autonomous maritime navigation. Through case studies, we show the efficacy of our approach in navigating complex scenarios.

Feature selection is predominantly used in machine learning tasks, such as classification and regression. It selects a subset of features (relevant attributes of data points) from a larger set that contributes as optimally as possible to the informativeness of the model. There are exponentially many subsets of a given set, and thus, the exhaustive search is only practical for problems with at most a few dozen features. In the past, there have been attempts to reduce the search space using dynamic programming. However, models that consider similarity in pairs of features besides the quality of individual features do not provide the required optimal substructure. As a result, algorithms, which we will call suboptimal dynamic programming algorithms, find a solution that may deviate significantly from the optimal one. In this paper, we propose a dynamic programming algorithm with an iterative upgrade where the order of feature processing is inverted in each iteration. Such an alternating approach allows for improving the optimization function by using the score from the previous iteration to estimate the contribution of unprocessed features. The iterative process is proven to converge and terminate when the solution does not change in three successive iterations or when the number of iterations reaches the threshold. Results in more than 90 % of tests align with those of the exhaustive search, being competitive and often superior to the reference greedy approach. The validation was done by comparing the scores of output feature subsets and examining the accuracy of different classifiers learned on these features. In the context of feature selection, the proposed algorithm can be characterized as a filter method. However, we expect that the idea of alternating suboptimal optimization will soon be generalized to tasks beyond feature selection.

The goal of the project was to understand how topography/bathymetry is imported and used in GeoFlood with an aim towards improving efficiency and computational cost of bathymetry handling in GeoFlood.GeoFlood is a software to simulate overland flooding basing on shallow water equations.Numerical methods and programming were used for this study.The GeoFlood was ran on a given data set (Malpasset data) and it was found out that indeed topography handling during simulations has to be improved to minimise the computational time and also improve the efficiency.Through this research, we also looked at the the shallow water equations, and the numerical techniques used to solve the equations

Eddy-driven jets are of importance in the ocean and atmosphere, and to a first approximation are governed by Rossby wave dynamics. This study addresses the time-dependent flux of fluid and potential vorticity between such a jet and an adjacent eddy, with specific regard to determining zonal and meridional wavenumber dependence. The flux amplitude in wavenumber space is obtained, which is easily computable for a given jet geometry, speed and latitude, and which provides instant information on the wavenumbers of the Rossby waves which maximize the flux. This new tool enables the quick determination of which modes are most influential in imparting fluid exchange, which in the long term will homogenize the potential vorticity between the eddy and the jet. The results are validated by computing backward- and forward-time finite-time Lyapunov exponent fields, and also stable and unstable manifolds; the intermingling of these entities defines the region of chaotic transport between the eddy and the jet. The relationship of all of these to the time-varying transport flux between the eddy and the jet is carefully elucidated. The flux quantification presented here works for general time-dependence, whether or not lobes (intersection regions between stable and unstable manifolds) are present in the mixing region, and is therefore also easily computable for wave packets consisting of infinitely many wavenumbers.

The studied solar pot is a recent invention, which gained a utility model protection in 2021 from the Hungarian Intellectual Property Office under patent number 5489. The device is made for environmentally friendly cooking or heating (by utilizing solar energy) of foods and liquids. Its structure is similar to a double pipe heat exchanger, it has an outer mantle and an inner cooking tank. The goals of the paper are proposing a new physically-based mathematical model describing the solar pot and carrying out computer experiments with it, assembling an experimental system of the pot connected with a solar collector and performing measurements on it. Based on the results, the solar pot can successfully be used for cooking or sterilizing foods or liquids during the studied time period, in Hungary.

Mathematical optimization offers a valuable approach to tackle Industry scheduling problems. By formulating the scheduling challenge as a mathematical problem, mathematical optimization enables efficient and effective decision-making processes. Mathematical optimization is particularly beneficial in complex scheduling scenarios, such as in networked manufacturing environments, where multiple jobs and resources need to be coordinated. By leveraging optimization models and algorithms, it becomes possible to generate optimal process plans, considering factors like job dependencies, resource availability, and timing constraints. Through mathematical optimization, organizations can achieve improved efficiency, reduced lead times, and enhanced utilization of resources. Rigorous mathematical formulations and optimization techniques enables to surpass traditional manual planning methods and brings forth powerful computational capabilities. By optimizing various scheduling objectives, from minimizing makespan to maximizing resource utilization, mathematical optimization provides organizations with valuable insights and actionable plans. The purpose of this study is to discuss scheduling solutions for multiple jobs in a networked manufacturing setting based on mathematical optimization process. The study analyses a solver-based approach to generate the optimal process plans for multiple jobs and compare it with a more traditional game-theoretic approach. The objectives aim to develop two solver-based model using Z3 and Gurobi to generate optimal process plans; implement a game-theoretic model to solve for the same set of scheduling problems, and compare the computational time, solution quality, and efficiency of both approaches. To achieve this, the methodology will start with the problem definition. Multiple jobs are to be scheduled on a set of parallel machines. Each job has predefined processing times, deadlines, and priorities. The objective is to minimize the total completion time and maximize machine utilization while meeting all deadlines.

Advancements in computing technology have resulted in significant changes in education, healthcare, and manufacturing fields. Thus, personnel training in computer-related fields is directly related to national competitiveness. Therefore, the importance of programming education has been emphasized worldwide. Programming education has been conducted since the 1980s, however beginners often find programming tedious and difficult because of the cognitive burden of using text commands. Therefore, block-based programming environments, such as Scratch and Code.org, and beginner-oriented programming environments, such as Blockly and Pencil Code, have been de-veloped. However, they have limitations when transitioning from block to text-based programming. In this study, we conducted one semester of classes for 128 middle school, high school, and uni-versity students to determine whether an environment that allows using a text-based programming language in a block-based programming environment aids beginners’ understanding of program-ming instructions, command usage confidence, and programming usefulness. The results confirm that the usability of a block-based environment positively influences programming perception. This study is significant because it verifies the necessity and effectiveness of a block-based environment that employs a text-based programming language in programming education for beginners.

The software industry has adopted component-based software development (CBSD) to rapidly build and deploy large and complex software systems with significant savings at minimal engineering effort, cost, and time. However, CBSD encounters issues on security trust, mainly with respect to dependability attributes. A system is considered dependable when it can produce the outputs for which it was designed with no adverse effect on its intended environment. Dependability consists of several attributes that imply availability, confidentiality, integrity, reliability, safety, and maintainability. Dependability attributes must be embedded in a CBSD model to develop dependable component software. Motivated by the importance of these attributes, this paper pursues two objectives: to design a model for developing a dependable system that mitigates the vulnerabilities of software components, and to evaluate the proposed model. The model proposed in this study is labelled as developing dependable component-based software (2DCBS). To develop this model, the CBSD architectural phases and processes must be framed and the six dependability attributes embedded according to the best practice method. The expert opinion approach was applied to evaluate 2DCBS framing. In addition, the 2DCBS model was applied to the development of an information communication technology (ICT) portal through an empirical study method. Vulnerability assessment tools (VATs) were employed to verify the dependability attributes of the developed ICT portal. Results show that the 2DCBS model can be adopted to develop web application systems and to mitigate the vulnerabilities of the developed systems. This study contributes to CBSD and facilitates the specification and evaluation of dependability attributes throughout model development. Furthermore, the reliability of the dependable model can increase confidence in the use of CBSD for industries.

We study certain function algebras and their operator algebra completions on r-discrete abelian groupoids, the corresponding conditional expectations, maximal abelian subalgebras (masa) and eigen-functionals.

In this article, a generalization of the geometry of Grassmannian chain complex of free abelian groups generated by the projective configuration of points and Cathelineau's infinitesimal complex of polylogarithmic groups is proposed. Firstly, homomorphisms for weight n =2 up to weight n=6 will be introduced to connect sub-complexes of Grassmannian and Cathelineau. Lately, generalization of these morphisms will be shown for weight n=N. The associated diagrams will also be proven to be commutative and bi-complex.

Panel data of our interest consist of a moderate number of panels, while the panels contain a small number of observations. An estimator of common breaks in panel means without a boundary issue for this kind of scenario is proposed. In particular, the novel estimator is able to detect a common break point even when the change happens immediately after the first time point or just before the last observation period. Another advantage of the elaborated change point estimator is that it results in the last observation in situations with no structural breaks. The consistency of the change point estimator in panel data is established. The results are illustrated through a simulation study. As a by-product of the developed estimation technique, a theoretical utilization for correlation structure estimation, hypothesis testing, and bootstrapping in panel data is demonstrated. A practical application to non-life insurance is presented as well.

Considering that cryptocurrencies are now present in practically every financial transaction because they are widely accepted as an alternate means of making payments and exchanging currencies, academics and economists have more opportunities to study cryptocurrency prices. Over the years, investors, traders and investment banks have found it difficult to predict the closing daily price of Ethereum due to its rapid price fluctuation. The daily closing price of cryptocurrency is essential to consider when trading or investing in Ethereum. This report focuses on carrying out a comparative study of the predictive capabilities of deep machine learning algorithms with a stacking ensemble modelling framework using daily historical observations of the price of Ethereum obtained from Coindesk, tweets extracted from Twitter ranging from the 1st of August 2022 to the 8th of August 2022 and other five covariates (closing price lag1, closing price lag2, noltrend, daytype and month) engineered from the closing price of Ethereum. Seven models are used to compute the forecasts for the daily closing price of Ethereum; these are the recurrent neural network, ensemble stacked recurrent neural network, gradient boosting machine, generalized linear model, distributed random forest, deep neural networks and stacked ensemble for gradient boosting machine, generalized linear model, distributed random forest and deep neural networks. The main evaluation metric used is the mean absolute error. According to MAE, RNN forecasts outperform the other model’s forecasts in this study, producing an MAE of 0.0309.

We introduce the notion of generalized contraction on dualistic partial metric spaces. A fixed point theorem for mappings satisfying above mentioned contraction is obtained. Some consequences of our result are obtained. We construct an example to demonstrate the effectiveness of our result among the corresponding results in partial metric spaces. Our results provide substantial generalizations and improvements of several well known results existing in the comparable literature. We discuss an application of our fixed point results to show the existence of solution of functional equations.

The optimal structural design is imperative to minimize material consumption and reduce the environmental impact of construction. Given the complexity in the formulation of structural design problems, the process of optimization is commonly performed using artificial intelligence (AI) global optimization, such as Genetic Algorithm (GA). However, the integration of AI-based optimization together with visual programming (VP) in building information modeling (BIM) projects warrants further investigation. This study proposes a workflow by combining structure analysis, VP, BIM, and GA to optimize trusses. The methodology encompasses several steps including: (i) generation of parametric trusses in Dynamo VP; (ii) performing the finite element modeling (FEM) using Robot Structural Analysis (RSA); (iii) retrieving and evaluating the FEM results interchangeably between Dynamo and RSA; (iv) finding the best solution using GA; and (v) importing the optimized model into Revit, enabling the user to perform simulations and engineering analysis, such as life cycle assessment (LCA) and quantity surveying. The feasibility of the proposed workflow was tested on benchmark problems and compared with open literature. The outcomes of this study offer insight into the opportunities and limitations of combining VP, GA, FEA, and BIM for structural optimization applications, particularly to enhance structural efficiency and sustainability in construction.

Let S be a Fermat surface of degree 5 and let k be an algebraically closed field of characteristic p = 2. We give a fibration ƒ: S → P with upper limit 1 and lower limit k, and investigate the geometric properties of fiber of ƒ. Furthermore, we investigate the fibration-preserving automorphisms group Aut_{Pwith upper limit 1 and lower limit k}(S) of ƒ. We obtain that Aut_{Pwith upper limit 1 and lower limit k}(S) is a p-group of order 256.

This paper investigates the energy dissipation level of a nonlinear vehicle suspension system. The suspension system is modelled as a mass-spring-damper system, which is designed using the output frequency response function (OFRF) method. This method enables the derivation of an explicit relationship, between the system output spectrum (or Performance metric) and the system nonlinear parameters of interest. The OFRF polynomial, of the energy dissipation level, was derived in terms of the nonlinear parameters of interest. The results obtained show that the OFRF model, of the energy dissipation level, could be used to estimate the amount of heat dissipated, for a set of design parameters. This has potentials of providing some insights, in the design of vibration-based energy harvesters, as some of the wasted heat energy could be converted to electrical energy.

In this paper we suggest a first ever construction of fractional integral and differential operators based on signed measures including a vector-valued case. The study focuses on constructing the fractional power of the Riemann-Stieltjes integral with a signed measure, using semigroup theory. The main result is a theorem that provides the exact form of a semigroup for the Riemann-Stieltjes integral with a measure having a countable number of extrema. The article provides examples of semigroups based on integral operators with signed measures and discusses the fractional powers of differential operators with partial derivatives.

In this paper, the transmutation operator method is used to construct an exact solution to the initial boundary value problem for the equation of multidimensional free transverse vibration of a thin elastic plate with a singular Bessel operator acting on geometric variables. We emphasize that multidimensional Erdélyi–Kober operators of fractional order have the property of a transmutation operator, allowing one to transform more complex multidimensional partial differential equations with singular coefficients acting over all variables into simpler ones. If formulas for solutions are known for a simple equation, then we also obtain representations for solutions to the first complex partial differential equation with singular coefficients. In particular, it is successfully applied to the singular differential equations, especially with Bessel-type operators. Using this operator, the considered problem is reduced to a similar problem without the Bessel operator. Based on the solution to the auxiliary problem, an exact solution to the original problem is constructed and analyzed.

In a recent paper, Sarikaya et al. introduced a new analogue of the classical Gamma function which they called, the conformable Gamma function. Motivated by their results, this paper seeks to establish some inequalities for the conformable Gamma and Polygamma functions. Among other analytical tools, the procedure relies on the generalized forms of some classical inequalities.

Asymptotic theories for fractional cointegrations have been extensively studied in the context of time series data, with numerous empirical studies and tests developed. However, most of the previously developed testing procedures for fractional cointegration were primarily designed for time series data. This paper proposes a generalized residual-based test for fractionally cointegrated panels with fixed effects. The test development is based on bivariate panel series with the regressor assumed to be fixed across cross-sectional units. The proposed test procedure accommodates any integration order between [0,1], and it is asymptotically normal under the null hypothesis. Monte Carlo experiments demonstrate that the test exhibits better size and power compared to a similar residual-based test across varying sample sizes.

The philosophy of testing statistical hypothesis is a natural consequence and functional extension of mathematical analysis of Probability. Along with the concept of recurrence when applied to random sequences and functions, it leads to the analysis of a priori and posterior which implies testing statistical hypothesis. Testing statistical hypothesis also involves algebraic, functional and dimensional considerations, which are found in the works of Laplace. Aspects of mathematical analysis such as universality of solutions, Laws of Large Numbers, Entropy, Information, and various functional dependencies are the main factors explained in the five properties that lead to implication of testing statistical hypothesis. Various interesting examples with modern scientific significance from genetics, astrophysics, and other areas give methodological access to answers of different problems and phenomena which are involved in the logic of testing statistical hypothesis.

Under suitable continuity and uniqueness conditions, solutions of an α order Caputo fractional boundary value problem are differentiated with respect to boundary values and boundary points. This extends well-known results for nth order boundary value problems. The approach used is a standard technique and makes heavy use of recent results for differentiation of solutions of Caputo fractional intial value problems with respect to initial conditions and continuous dependence for Caputo fractional boundary value problems.

This paper is motivated by spatio-temporal pattern in the occurrence of Leishmaniasis in Afghanistan and the relatively high number of zero counts. We hold the view that correlations that arise from spatial and temporal sources are inherently distinct. Our method decouples these two sources of correlations, there are at least two advantages in taking this approach. First, it circumvents the need to inverting a large correlation matrix, which is a commonly encountered problem in spatio-temporal analyses. Second, it simplifies the modelling of complex relationships such as anisotropy, which would have been extremely difficult or impossible if spatio-temporal correlations were simultaneously considered. We identify three challenges in the modelling of a spatio-temporal process: (1) accommodation of covariances that arise from spatial and temporal sources; (2) choosing the correct covariance structure and (3) extending to situations where a covariance is not the natural measure of association. Moreover, because the data covers a period that overlaps with the US invasion of Afghanistan, the high number of zero counts may be the result of no disease incidence or lapse of data collection. To resolve this issue, a model truncated at zero built on a foundation of the generalized estimating equations was proposed.

This article discusses the application of thermal quality control methods for plant tissues. The purpose of the work is to determine the optimal parameters of thermal impact on a spherical-shaped plant control object, ensuring the detection of surface and subsurface defects. The authors of the work proposed mathematical models of the temperature field for a spherical body with defects and a flat sample when exposed to the thermal influence of a pulsed source. As a result of the use of mathematical models, the thermophysical characteristics of plant tissues of varying degrees of disease damage were obtained, which made it possible to simulate the temperature field of the control object and obtain an image of classified tissues. The developed recommendations made it possible to select the optimal parameters of the thermal effect on the test object.

Hybrid power plants have recently emerged as reliable and flexible electricity generation stations by combining multiple renewable energy sources, energy storage systems (ESS), and fossil-based output. However, the effective operation of the hybrid power plants to ensure continuous energy dispatch under challenging conditions is a complex task. This paper proposes a dispatch engine (DE) based on mixed-integer linear programming (MILP) for the planning and management of hybrid power plants. To maintain the committed electricity output, the dispatch engine will provide schedules for operation over extended time periods as well as monitor and reschedule the operation in real-time. Through precise prediction of the PV and wind power output, the proposed approach guarantees optimum scheduling. The precise prediction of the PV and wind power are achieved by employing a predictor of Feed-Forward Neural Network (FFNN) type. With such a dispatch engine, the operational cost of the hybrid power plants, and the use of diesel generators (DGs) are both minimized. A case study is carried out to assess the proposed dispatch engine feasibility. A real-time measurement data pertaining to load, wind, and PV power outputs is obtained from different locations in the Sultanate of Oman. The real-time data is utilized to predict the future output power from PV and the Wind farm over 24 hours. The predicted powers are then used in combination with a PV-Wind-DG-ESS-Grid hybrid plant to evaluate the performance of the proposed dispatch engine. The proposed approach is implemented and simulated using MATLAB. The results of the simulation reveal the proposed Feed-Forward Neural Network’s (FFNN) powerful forecasting abilities. In addition, the results demonstrate that adopting the proposed DE can minimize the use of DG units and reduce plant running expenses.

High-precision conical threads are widely used in responsible joints in the drilling of oil and gas wells. Difficult underground drilling conditions due to the occurrence of significant mechanical loads and an aggressive environment in wells require the use of workable materials that are often difficult to machine. The huge need for such connections dictates the use of high-performance cutting tools, which means that high demands are placed on their effective geometric performance. The study describes the theoretical dependence of the profile precision of the tapered drill-string tool-joint threads of all standard sizes on the complex of a cutting tool geometric parameters and cutting tool setting accuracy. The experiments include an assessment of the geometric accuracy of the profile of the obtained NC23 thread connector, depending on the values of the installation angles and the declared tangential displacement of the standard threaded carbide insert.

This report discusses the application of approximate dynamic programming (ADP) and Krylov subspace methods in solving sequential decision-making problems in machine learning. ADP is used when dealing with large state spaces or when the exact dynamics are unknown. The paper explores various ADP methods such as temporal difference learning and least-squares policy evaluation. The authors also focus on the use of Krylov subspace methods for solving the Bellman equation in ADP. The report provides insights into linear approximation, stochastic algorithms, and the Arnoldi algorithm for orthonormal basis. Overall, the paper highlights the theoretical foundation provided by ADP and its connection with Krylov subspace methods, shedding light on their application in computer science.

Managing a portfolio whose value closely tracks an index by trading only in a subset of the index constituents involves an NP-hard optimisation problem. In the prior literature, it has been suggested to solve this problem using sequential Monte Carlo (SMC, a.k.a. particle filter) methods. However, this literature does not take transaction costs into account, although transaction costs are the primary motivation for attempting to replicate the index by trading in a subset, rather than the full set of index constituents. This paper extends the SMC approach to index tracking to allow for proportional transaction costs and implements this extended method on empirical data for a variety stock indices. In addition to providing a more practically useful tracking strategy by allowing for transaction costs, we find that including a penalty for transaction costs in the optimisation objective can actually lead to better tracking performance.

Problem solving is one of the most important components of the human cognition that affects for ages the progress of the human society. Mathematical modelling is a special type of problem solving concerning problems related to science or everyday life situations. The present study is a review of the author’s earlier works on problem solving and mathematical modelling from the scope of Education. Its real goal is that it presents in a systematic way and in a few pages only the results of many years research on the subject. This helps the reader to get a comprehensive idea about a very important topic belonging to the core of Mathematics Education, which is very useful to those wanting to study deeper the subject and get directions for further research in the area.

Anomalous waves and rogue events are closely associated with irregularities and unexpected events occurring at various levels of physics, such as in optics, in oceans and in the atmosphere. Mathematical modeling of rogue waves is a highly actual field of research, which has evolved over the last decades into a specialized part of mathematical physics. The applications of the mathematical models for rogue events is directly relevant to technology development for prediction of rogue ocean waves, and for signal processing in quantum units. In this survey, a comprehensive perspective of the most recent developments in methods for representing rogue waves is given, along with discussion of the devised and forms and solutions. The standard nonlinear Schrödinger equation, the Hirota equation, the MMT equation and further to other models are discussed, and their properties highlighted. This survey shows that the most recent advancement in modeling rogue waves give models which can be used to establish methods for prediction of rogue waves at open seas, which is important for the safety and activity of marine vessels and installations. The study further puts emphasis on the difference between the methods, and how the resulting models form a basis for representing rogue waves in various forms, solitary or with a wave-background. This review has also a pedagogic component directed towards students and interested non-experts, and forms a complete survey of the most conventional and emerging methods published until recently

To curb the impacts arising from the agricultural sector the actions undertaken by policymakers, and ultimately by the farmers, are of paramount importance. However, finding the best strategy to reduce impacts, and especially assessing the effects of the interactions and mutual influence among farmers, is very difficult. To this aim, this paper shows an application of an agent-based model (ABM) coupled with life cycle assessment (LCA), which also includes multi objective optimization of farming activities (including both crop cultivation and livestock breeding) from an economic and environmental perspective. The environmental impacts are assessed using the impact assessment scores calculated with the Environmental Footprint (EF) 3.0 life cycle impact assessment (LCIA) method and the study is conducted “from cradle to farm gate”. The model is applied to all the farms in Luxembourg, whose network is constructed utilizing neighborhood interactions, through which a parameter known as farmer's green consciousness (GC) is updated at each time step. The optimization module is instantiated at the end of each time step, and decision variables (the number of livestock units and land allocation) are assigned based on profitability and specified environmental impact categories. If only profit optimization is considered (i.e. when farmers’ GC is de-activated), the results show a 9% reduction in the aggregated environmental impacts (obtained as EF “single score”) and a 5.5% increase in overall profitability. At the farm level, simulations display a clear trade-off between environmental sustainability and financial stability, with a 25% reduction in overall emissions possible if farming activities are carried using the EF single score impact in the objective function, though this results in an 8% reduction in profitability over ten years.

The article presents a model for optimizing biomass supply chains using the linear programming framework integrated with a Geographic Information System. Based on the distance from a given type of biomass resource, its calorific value, price, and transportation costs, the model identifies the optimal source of biomass, allowing it to cover the demand for the required total energy value with the lowest possible costs. The case study includes the Połaniec power plant in southeastern Poland and potential sources of forest biomass and agricultural straw within 100 km of the plant. Unit costs of biomass varied depending on biomass availability and energy demands. For energy demand on the level of 1 PJ yearly, the lowest unit costs of biomass (4.08 €/MJ) were when all kinds of biomass were available, and the highest (5.47 €/MJ) was when only stacked wood was available. As energy demand increased, unit costs increased, and the ability to meet this demand with just one type of biomass decreased. The energy biomass sector can utilize the model to benefit both biomass producers and their final buyers.

Computer simulation of normal and diseased human heart activity requires a 3D anatomical model of the myocardium, including myofibres. For clinical applications, such a model has to be constructed based on routine methods of cardiac visualisation such as sonography. Symmetrical models are shown to be too rigid, so an analytical non-symmetrical model with enough flexibility is necessary. Based on previously made anatomical models of the left ventricle, we propose a new, much more flexible spline-based analytical model. The model is fully described and verified against DT-MRI data. We show a way to construct it on the basis of sonography data. To use this model in further physiological simulations, we propose a numerical method to utilise finite differences in solving the reaction-diffusion problem together with an example of scroll wave dynamics simulation.

Memristor has attracted a lot of interest due to its high processing speed, low power consumption and high integration ability, which is critical for electronic systems and memory-centric computing. However, the memristor programming circuit and strategy are still inflexible and complex, since the signal generator/collector and stimulate pulse must be carefully matched and designed based on memristor intrinsic characteristics without reconfigurable. Here, a simple and effective circuit only consists a parallel reference-resistor-and-NMOS is designed to program memristor with a more than 99% memristance precision. And the amplitude and width of stimulate pulse are fixed to ±4V and 5ms, respectively. In order to cope with the device variation, such as ±10% tolerance of transition voltage, an optimized programming strategy was proposed and demonstrated great robustness. Additionally, a set of reference resistors and NMOSs have been added to facilitate multi-level memristance operation without requiring any changes to the circuit structure. This program circuit was also employed to program memristor crossbar remains 99% precision. In the end, a memristor-based convolutional neural network which controlled by our optimized programming circuit was used for image recognition, and 89.36% accuracy can be achieved even under 15.8% memristance tolerance. This novel circuit demonstrates a simple and flexible strategy in memristor programming, providing a new way to control memristor crossbar for practical application.

This paper introduces the implementation of a genetic programming (GP)-based procedure to the automatic design and tuning of process controllers. The proposed approach makes a significant contribution to the field of artificial intelligence (AI) in control engineering. Unlike other controller design methods, the GP-based program handles the entire design in the time domain, including differential operations like derivatives and integrals, without the need for intermediate inverse Laplace transformation. This approach not only simplifies the design process but also ensures that all generated controllers are implementable in physical systems. Furthermore, GP’s functions set includes various mathematical operations beyond basic arithmetic operators, such as trigonometric, exponential, and logarithmic operators. The performance and validity of the resulting controllers generated by the proposed GP-based approach are evaluated by verifying whether the generator can replicate the structure and performance of those produced by traditional controller design methods and, in some cases, achieve even better results. As a result, the GP-based approach presents a promising solution for automating the controller design process and addressing control problems in various engineering applications.

Different organisms, cell types, and even similar cell lines can dramatically differ in resistance to genotoxic stress. This testifies to the wide opportunities for genetic and epigenetic regulation of stress resistance. These opportunities could be used to increas the effectiveness of cancer therapy, develop new varieties of plants and animals, and search for new pharmacological targets to enhance human radioresistance, for example, for -manned deep space expeditions. Based on the comparison of transcriptomic studies in cancer cells, in this review we propose that there is a high diversity of genetic mechanisms of development of genotoxic stress resistance. This review focused onpossibilities and limitations of the proposed regulation of the resistance of normal cells whole organisms to genotoxic and oxidative stress by overexpressing of stress-response genes. Moreover, the existing experimental data on the effect of such overexpression on the resistance of cells and organisms to various genotoxic agents has been analyzed and systematized. We suggest that the recent advances in the development of multiplex and highly customizable gene overexpression technology that utilizes the mutant Cas9 protein and the wealth of available data on gene functions and their signal networks open new opportunities for research in this field.

Splines and quasi-interpolation operators are important both in approximation theory and applications. In this paper, we construct a family of quasi-interpolation operators for the bivariate quintic spline spaces S₅³ (∆_mn⁽²⁾). Moreover, the properties of the proposed quasi-interpolation operators are studied, as well as its applications for solving two-dimensional Burgers’ equation and image reconstruction. Some numerical examples show that these methods, which are easy to implement, provide accurate results.

As society becomes more reliant on Lithium-ion (Li-ion) batteries, state-of-health (SOH) estimation will need to become more accurate and reliable. Therefore, SOH modelling is in the process of shifting from using simple and continuous charge/discharge profiles, to more dynamic profiles constructed to mimic real operation, when ageing the Li-ion batteries. However, in most cases, when ageing the batteries, the same exact profile is just repeated until the battery reaches its end-of-life. Using data from batteries aged in this fashion to build a model, there is a very real possibility that the model will rely on the built-in repetitiveness of the profile. Therefore, this work will examine the dependence of the performance of a multiple linear regression on the number of charges used to train the model, and their location within the profile used to age the batteries. The investigation shows that it is possible to build models using randomly selected partial charges while still reaching errors as low as 0.5%. Furthermore, it shows that only two randomly sampled partial charges are needed to achieve errors of less than 1%. Lastly, as the number of randomly sampled partial charges used to create the model increases, then the dependence on particular partial charges tends to decrease.

This work promotes new methods in Mathematical Modeling, consisting in the use of the methods of Non-standard Analysis in Topoi, having as its main purpose, the mathematical definitions of the pseudoparticles from the title, with arguments from Biology/Physiology (Mathematical Neuroscience), Physics (String Theory and Emergent Quantum Mechanics), and Cybernetics (Global Brain, including Natural and Artificial Intelligence). The connections between brain and mind will be scketched via the genetic/epigenetic interplay. The topoi model the intuitionistic logic (multi-valued) and have been used in Quantum Physics while Non-Standard Analysis in SET (= the Category of sets) has been applied in Mathematical Economics; topics from Theory of Categories were also used in the study of Consciousness; however, the combination topoi - non-standard analysis was never used until now in Applied Mathematics. Another important objective is to produce progress in this aria of Pure Mathematics also - the build of non-standard analysis in classes of topoi, already used in Physics. We propose the logic of non-standard extensions in topoi as a model of the human thinking (based on infons/receptons), these theories representing new top and very difficult results in Abstract Mathematics either.

Keywords: Marine Coasts; Protected Areas; Defense and Conservation; Asbestos Cement Materials; Wastes; Contamination; Human Health Risk; Medical Geology.

This paper presents a case study on using Emacs and Org-mode for literate programming in undergraduate data science courses. Over three academic terms, the author mandated these tools across courses in R, Python, C++, SQL, and more. Onboarding relied on simplified Emacs tutorials and starter configurations. Students gained proficiency after initial practice. Live coding sessions demonstrated the flexible instruction enabled by literate notebooks. Assignments and projects required documentation alongside functional code. Student feedback showed enthusiasm for learning a versatile IDE, despite some frustration with the learning curve. Skilled students highlighted efficiency gains in a unified environment. However, uneven adoption of documentation practices pointed to a need for better incorporation into grading. Additionally, some students found Emacs unintuitive, desiring more accessible options. This highlights a need to match tools to skills levels, potentially starting novices with graphical IDEs before introducing Emacs. Key takeaways include literate programming aids comprehension but requires rigorous onboarding and reinforcement; Emacs excels for advanced workflows but has a steep initial curve. With proper support, these tools show promise for data science education.

Genetic Programming (GP) is a powerful Machine Learning (ML) algorithm that can produce readable white-box models. Although successfully used for solving an array of problems in different scientific areas, GP is still not well known in Remote Sensing. The M3GP algorithm, a variant of the standard GP algorithm, performs Feature Construction by evolving hyper-features from the original ones. In this work, we use the M3GP algorithm on several sets of satellite images over different countries to create hyper-feature from satellite bands to improve the classification of land cover types. We add the evolved hyper-features to the reference datasets and observe a significant improvement of the performance of three state-of-the-art ML algorithms (Decision Trees, Random Forests and XGBoost) on multiclass classifications and no significant effect on the binary classifications. We show that adding the M3GP hyper-features to the reference datasets brings better results than adding the well-known spectral indices NDVI, NDWI and NBR. We also compare the performance of the M3GP hyper-features in the binary classification problems with those created by other Feature Construction methods like FFX and EFS.

Quantum computers are machines that are designed to use quantum mechanics in order to improve upon classical computers by running quantum algorithms. One of the main applications of quantum computing is solving optimization problems. For addressing optimization problems we can use linear programming. Linear programming is a method to obtain the best possible outcome in a special case of mathematical programming. Application areas of this problem consist of resource allocation, production scheduling, parameter estimation, etc. In our study, we looked at the duality of resource allocation problems. First, we chose a real world optimization problem and looked at its solution with linear programming. Then, we restudied this problem with a quantum algorithm in order to understand whether if there is a speedup of the solution. The improvement in computation is analysed and some interesting results are reported.

Genetic similarity determines the extent to which two genotypes share common genetic material. It can be measured in various ways, such as comparing DNA sequences, proteins, or other genetic markers. The significance of genetic similarity is multifaceted and encompasses various fields, including evolutionary biology, medicine, forensic science, animal and plant breeding, and anthropology. Genetic similarity is an important concept with wide application across different scientific disciplines. In the presented study, six measures for calculating genetic similarity were compared: Euclidean, Jaccard, Kulczyński, Sokal and Michener, Nei, and Rogers. The research material included 21 rapeseed genotypes (ten interspecific Brassicaceae hybrids of F2 generation, and 11 of their parental forms) and 146 alleles, obtained using 21 ISSR molecular markers. The results indicate that the research material was divided into two identical groups using any of the proposed methods, despite differences in the values of genetic similarity coefficients. Two of the presented measures of genetic similarity (Sokal and Michener, and Euclidean) were the same.

In this note we introduce the notion of polynions and discuss their mathematical relevance. We note that the well-known mathematical structures like quaternions, octonions and sedenions etc. are special cases of polynions.

This paper is regarding design and program an Micro-controller Arduino Uno board by using Arduino software to work as a photo-sensor(Active) single axial solar tracker system(SASTS). A solar panel, two photo-resistors (LDR) in two sides (north/south) of the photo-voltaic(PV) and a servo motor are connected to the Uno board, which is running a code that prepared by Arduino software IDE in advanced then it works as a tracking system. Here, the LDRs send the signal of presence or absence of the light to the board and based on that sent signal the Uno reflects a new signal to the servo motor to rotate and finds the light source. Lastly, the photo-sensor single axis tracker is made while Continuously, the system tries to face the panel to the sun and whilst changing the irradiance intensity it starts searching to find the angle of highest irradiance. Based on results that are extracted from the data, the tracker system significantly boosts the output efficiency of the solar panel. By using the Micro-controller Uno board, LDRs, servo motor and special designed mechanical base, the tracking system is constructed, based on acquired data the influence of the STS on the increasing the solar panel efficiency is more obvious. Significantly, the tracker system rises the efficiency of the PV .

Vulnerability is the big issue of the small inland urban centers exposed to the risk of depopulation. In the climate and in the context of an increasing seismic risk in the center-northern part of Italy, seismic vulnerability can become the determinant cause of the final abandonment of a small town. In some Italian regions, as well as Emilia Romagna, municipalities are implementing seismic vulnerability reduction policies based on the Emergency Limit Condition that has become a basic reference for ordinary land planning. This study proposes a valuation planning approach to the seismic vulnerability reduction carried out within the general planning framework concerning the Faentina Union, a group of five small towns located in the south-western part of the Province of Ravenna, Italy. The approach consists of three main stages: knowledge – the typological, constructive and technological description of the buildings specifically concerning their vulnerability degree; interpretation – the analyses aimed to outline a range of hypotheses about the damages in case of seism; planning – identifying the works intended to definitely reduce the vulnerability of the buildings. This stage includes a cost modelling tools aimed at outlining the trade-off between the extension and the intensity of the vulnerability reduction works, given the budget.

Students in their first year of computer science (CS1) at universities typically struggle to grasp programming concepts. This paper covers research using a Java programming language-guided visual execution environment (VEE) to teach CS1 students about programming concepts. The topics covered include input and output, conditionals, loops, functions, arrays, recursion, and files, all of which are covered in an introductory programming course. The VEE walks beginner programmers through the fundamentals of programming, utilizing visual metaphors to explain and direct interactive Java tasks. The primary goal of this study is to determine whether a cohort of 105 CS1 students from four different groups who are enrolled in two universities—one in Madrid, Spain, and the other in Galway, Ireland—can advance their programming abilities under the guidance of the VEE. Second, does the improvement vary depending on the programming concept? The findings demonstrate that students' programming knowledge has greatly increased. This improvement is significant for all programming concepts, while it is more pronounced for some topics than others, such as operators, conditionals, and loops. Additionally, it demonstrates that students had little prior understanding of files and recursion. The most well-known concept to them was the sequence concept.

Investigation of functional magnetic resonance imaging (fMRI) data with machine learning (ML) techniques, including also deep learning (DL) methods, have been widely used to study Autism Spectrum Disorder (ASD). This disorder is characterized by symptoms that affect the individual’s behavioral aspects and social relationships. Early diagnosis is crucial for intervention, but the complexity of ASD poses challenges for treatment development. This study compares traditional ML techniques with deep learning (DL) methods in the analysis of functional connectivity measures obtained from the time series of multicentric ABIDE dataset. Specifically, Support Vector Machines (SVM) classifiers, with both linear and Radial Basis Function (RBF) kernels, as well as eXtreme Gradient Boosting (XGBoost) classifiers, are compared against the TabNet classifier, which is a DL architecture customized for tabular data analysis and a Multi Layer Perceptron (MLP). The findings suggest that DL classifiers may not be optimal for the type of data analyzed, as their performance trails behind that of standard classifiers. SVMs achieve performances, in terms of AUC, around 75%, compared to the best TabNet and MLP results, which are 65% and 71%, respectively. Additionally, this work investigates the brain regions that contribute most to the classification task, which are found to be those primarily responsible for sensory and spatial perception, as well as attention modulation, known to be altered in ASD.

Sharing confidential information is a critical concern in today’s world. Secret sharing schemes facilitate the sharing of secrets in a way that ensures only authorized participants (shareholders) can access the secret using their allocated shares. Hierarchical secret sharing schemes (HSSSs) build upon Shamir’s scheme by organizing participants into different levels based on priority. Within HSSS, participants at each level can reconstruct the secret if a specified number, denoted as the threshold value (t), or more of them are present. Each level has a predetermined threshold value. If the number of participants falls below the threshold at any level, higher-level participants must be involved in reconstructing the secret at lower levels. Our paper proposes schemes that implement hierarchical access structures and enable the sharing of multiple secrets. Additionally, our proposed scheme includes share verification. We have analyzed potential attacks and demonstrated the scheme’s resistance against them. Through security analysis and comparison with existing schemes, we highlight the novelty and superiority of our proposed approach, contributing to advancements in secure information sharing practices.

The main purpose of this paper is to present a comprehensive view of the application mathematical models in the designing and implementing SSCM beside to solving problems and making decision. The research questions are: what mathematical models are used for designing and implementing sustainable supply chain management, how to use them, which industries implemented in, what modules of SSCM depth in and finally finding the gaps of researches. The methodology of research is Systematic Literature review through peer review papers which are published in high ranking journals. In this paper, First, we search all papers through scientific data bases like Scopus, science direct, MDPI, Springer, Google Scholar, then, screening papers based on the criteria such as subject of paper, journals impact factor which is published in-should be peer review journal- and relative content of the papers. Finally, we selected 245 papers with three steps screening through 2806 papers that they have enough quality and relative to our research goals for context analysis. Through context analysis, first we categorized the information of the papers and drew the current situation of researches in the framework of our topic. Then, we evaluate and compare the goals of sustainability and current situation and found the gapes, then, offered new suggestions like implementing SSCMs models in pollutant industries like casting industry, Heavy industry, coal Industry and so on. On the other hand, there are gaps in researches in some modules of SSCM such as packaging, designing products, etc.

Tsunami is a type of infrequent geohazards with devastating consequences, which makes accurate computer simulations of tsunami waves particularly desirable for hazard assessment and mitigation purposes. The evolution of a typical tsunami involves the generation, propagation and inundation phases. In this survey, we briefly describe the most common types of tsunamigenic sources and give a detailed review of some most widely used mathematical models for describing tsunami propagation. We emphasize the approximations adopted in each mathematical model and point out their most important advantages and disadvantages. Tsunami propagation modeling is computationally demanding, involving a wide span of spatial and temporal scales. While some of the approximate models are sufficiently accurate for describing wave behaviors at certain scales, they might not be applicable at other scales. Effective and efficient tsunami propagation simulations will likely depend upon the proper coupling of different models for different scales.

The identification of fetal cells in the blood and tissues of healthy mothers raised questions about the potential alloreactive origins of various diseases, such as autoimmunity, diabetes, arteriosclerosis, and cancer. However, the extent to which alloreactivity contributes to these diseases remains unverified. This study presents a basic mathematical disease model based on the genes’ origin and immunological interactions. This model, grounded in set theory, classifies these immunological interactions based on their intrinsic, extrinsic, and allogeneic nature. Therefore, this model offers an unexpected common theoretical foundation for understanding alloreactivity, genetic diseases, and infections. Furthermore, this model provides a valuable framework for scrutinizing the role of alloreactivity in health and disease.

The generation and maintenance of membrane potential is considered a fundamental element of the cellular machinery. They are based on elements of physics and chemistry. Mathematics is used to validate the equations and evaluate the results. However, this computation process can lead to a misunderstanding of the phenomena involved or to the masking of crucial events. It is even possible that the calculation no longer corresponds to the hypothesis considered. Membrane theory is no exception to these trivial considerations, which are essential for normal theory validation.

This proposal advocates using energy states as fundamental units for quantum computer programming. Each programming unit is conceptualized as an energy state, manifested as an essence-unit. The essence-unit, defined as the minimal form encapsulating complete uniqueness or specificity, serves as the cornerstone of this paradigm. This approach allows recording various forms of matter on quantum computers in essence-units representing their energy states. Recording energy states is achieved through the creation of four distinct coherent potentials facilitated by quantum dots or crystals. It is crucial to note that these energy states, embodied in essence-units, cannot be subdivided. The study examines the intricate relationship between similarity, fractals, and uniqueness in quantum dot operations, elucidating their profound implications for information transfer efficiency. Normalized entropy quantifies the charge localization in quantum dot impurities in systems exhibiting distortions. Utilizing N-level recording and entropy-fractal dimension equivalence enables this paper to elucidate the potential of quantum dots in reducing transmission time and modeling complex systems. The proposed methodology represents a significant departure from the current state of quantum computing, offering unprecedented potential for overcoming previously intractable challenges.

This research work focused on the risks we are faced with on our day to day activities, either directly or indirectly, which can gradually accumulates and results to communal crisis, religious crisis, socio-economic agitations and tribal crises. Nasarawa Eggon Local Government Area of Nasarawa State was used as case study and a well structure close–ended questionnaire was used for data collection as it relates to Controlled Self Risk Assessment (CSRA) and linear programming technique was used to analyze. The results proved that many of this processes were neglected in these communities, making them to be prone to incessant communal crisis. The study recommend that Government should strongly, as a matter of urgency address the unemployment rate, distribution of political position, schools, primary health care and equip security personnel with the modern technology facilities, which happen to record the highest risk level.

Obesity is a complex chronic disease characterized by excess of body fat. It represents a significant public health problem due to the health-related risk factors. There are growing evidences showing that maternal obesity can program the offspring, which influence neonatal phenotype and predispose offspring to a higher prevalence of metabolic disorders such as obesity. This increased risk may also be epigenetically transmitted across generations. Thus, there is an urgent need to find effective reprogramming approaches in order to resume normal fetal development. Polyphenols are bioactive compounds found in fruits and vegetables that exert their anti-obesity effect through its powerful anti-oxidant and anti-inflammatory activities. Polyphenols supplementation has been proven to counteract the deleterious effects of maternal obesity programming on offspring. Indeed, some polyphenols can cross the placenta and protect the fetal predisposition against obesity. The present review summarizes the effects of dietary polyphenols on obesity-induced maternal reprogramming as an offspring anti-obesity approach.

The main sources of intrinsic noise in excitable cells at the microcircuit and network levels are the stochastic characteristics of ion channel gating and activation of the synaptic conductance. Studies using in vivo, in vitro, and in silico methods to examine the effects of synaptic background activity were not adequately investigated in non-neuronal excitatory cells, where neurotransmitter-based innervation also occurs. We created a mathematical model to replicate the background synaptic noise dynamics in a non-neuronal cell. We utilized the stochastic Ornstein-Uhlenbeck process to represent excitatory synaptic conductance, which was incorporated into a whole-cell model to produce spontaneous and evoked cellular electrical activities. The single-cell model includes many biophysically detailed ion channels represented by a set of ordinary differential equations in Hodgkin-Huxley and Markov formalisms. This paradigm effectively induced irregular spontaneous depolarizations (SDs) and spontaneous action potential (sAP) resembling in vitro-like electrical activity in the cells. The input resistance decreased by multiple factors, and the spontaneous action potential firing rate elevated. The potential to reach the action potential threshold is altered. Background synaptic activity can alter the input/output characteristics of non-neuronal excitatory cells. Suppressing these baseline activities would facilitate the discovery of new pharmaceutical targets for different clinical diseases.

Driven by mounting environmental apprehensions stemming from the over dependence on fossil fuels in energy and transportation sectors, extensive exploration into alternative energy sources, particularly biomass, has stimulated profound research on harnessing the potential of computational and mathematical techniques. This comprehensive survey delves into optimal models and strategies, unveiling their pivotal role in the design of biomass gasification processes.of hydrogen through biomass gasification. In this study, we aim to provide a comprehensive overview of the computational and mathematical techniques employed in optimizing biomass gasification processes, with a specific focus on enhancing hydrogen yield. Through an extensive literature review, various models and strategies will be examined, including thermodynamic analysis, kinetic modeling, reactor design, and process optimization. By uncovering the power of these techniques, we aim to contribute to the advancement of sustainable and efficient biomass utilization for the hydrogen-based future economy.This paper aims to provide an updated and comprehensive coverage of the investigations conducted on the potential of producing hydrogen from biomass through gasification. To achieve this, we incorporate the latest works that have utilized numerical modeling, simulation, optimization techniques, process heat integration, and co-generation in their studies. By encompassing these aspects, we aim to offer a broader and more in-depth re-appraisal of the subject matter. This will ensure that readers gain a holistic understanding of the advances made in the field and the potential for sustainable hydrogen production of biomass gasification.Through a meticulous re-appraisal and analysis of each subject, we can identify their respective strengths and areas that require further research effort. By thoroughly examining numerical modeling, simulation, optimization techniques, process heat integration, and co-generation, we can assess their effectiveness and applicability in the context of biomass gasification for hydrogen production. This analysis shed light on the areas where these techniques excel, as well as pinpoint limitations or gaps in current understanding. By identifying these areas, we can highlight the need for further research and development, enabling us to make significant advancements in biomass gasification processes and pave the way for a sustainable and efficient hydrogen-based future economy..

The impacts of inflation on international finance are generally reflected in the decline of buying power, risks of investment and deposit loss from currency devaluation. For the purpose of optimized allocation and management of asset values, i.e., annual income or research grants, a framework of a three-level model for static financial management is presented to maximize banking interests, bonuses, and the remaining balance after spending necessary expenditures. Meanwhile, in retrospect to higher-level financial inflation, strategies of dynamic investment, i.e., posing regular tests of flipping coins, exploiting variations of the currency exchange rate, as well as applying the theory of broad money, are presented to increase the appreciation rate of net assets in and post the era of COVID-19. Quantitative evaluations in case studies verify the feasibility of improving the financial situation, indicating broader applications for budgeting and investing when US inflation rate is below 3.0%. Besides, combining approaches of static and dynamic strategies, the expected annual growth rate of individual zero-risk asset investment is predicted as within the range of 8.30~9.62% according to budgeted appreciation on net assets in 12 months, which is capable of overcoming negative impacts from higher level annual inflation, i.e., those as highest as 8.01% in the Year 2022.

Globally, zoonotic diseases have been on the rise in recent years. Predictive modelling approaches have been successfully used in the literature to identify the underlying causes of these zoonotic diseases. We examine the latest research in the field of predictive modeling that verifies the growth of zoonotic pathogens and assesses the factors associated with their spread. The results of our survey indicate that popular mathematical models can successfully be used in modeling the growth rate of these pathogens under varying storage temperatures. Additionally, some of them are used for the assessment of the inactivation of these pathogens based on various conditions. Based on the results of our study, machine learning models and deep learning are commonly used to detect pathogens within food items and to predict the factors associated with the presence of the pathogens.

Differential equation models to understand interaction between plant and nutrient solution are presented. The root cells selectively emit H+ ions with active transport consuming ATPs to establish electrical gradient along the cell membrane. It establishes electrical field with Nernst potential to make positively charged ions outside the cell membrane flow into the root cell. Anion influx is also modulated by H+ ion concentration because plant root cell absorbs negatively charged particles with symport. If an anion collides with H+ cell to make net charge as neutral, at symport channel, it can flow through. In this paper, mathematical models for cation and anion absorption are introduced. Cation absorption model was induced from Ohm's law combined with Goldman's equation. Anion absorption model is similar to chemical reaction rate model. Both models have physiological terms influenced by gene expression pattern, species or phenotypes. Cation model also includes terms for ion's kinetic and electrical properties, growth of plant and interaction between the root and the surroundings. Simulation for 20 different sets of coefficients showed that the physiology-related coefficient has important role on nutrition absorption tendencies of plants.

In the paper is described the control electronics for an industrial pneumatic – hydraulic system based on a low-cost PLC. The developed system is a hydraulic pulse system and it generates series of high pressure hydraulic pulses (max. 200 bar). We describe requirements, an overall concept of the embedded control system, user interface, security features and network connectivity. In the description of the software solution we describe implementation of hierarchical ordered program threads (multithreaded program) and main control state machine. At the conclusion, we describe the calibration method of the system and calibration curves and we present the schematic diagram and a photo of a functional prototype of the system.

Today, computer programming is an essential pillar in the education of individuals. Even though technological evolution has eased the massive need for computer programming, a systematic lit-erature review shows some problems remain with teaching computer programing. To address such issues, in this paper we propose an adapted theory, a method, and a model for teaching some knowledge objects associated with the concepts of variables, expressions, comparisons, loops, and functions in programming fundamentals in computer sciences. The main contribution of this study comprises the extension of the concept of didactic transposition to improve teaching in context; in this paper, the idea is called didactic transposition in extensa sensu. The proposal involves the development of a linguistic corpus based on syllabi, textbooks, reference manuals, and a survey applied to experts in teaching programming fundamentals based on seventy-eight universities worldwide. An adapted theory, a method, and a model for teaching programming fundamentals using computational linguistics are produced. In addition, a template is created for designing teaching practices in this regard. The proposal generates an important alternative for the devel-opment of teaching strategies where the conditions of the context are addressed as a priority; ad-ditionally, several aspects are considered for elaborating teaching strategies using computational linguistic techniques from written documents.

The article presents a new scalable iterative method for linear programming called the “apex method”. The key feature of this method is constructing a path close to optimal on the surface of the feasible region from a certain starting point to the exact solution of linear programming problem. The optimal path refers to a path of minimum length according to the Euclidean metric. The apex method is based on the predictor-corrector framework and proceeds in two stages: quest (predictor) and target (corrector). The quest stage calculates a rough initial approximation of linear programming problem. The target stage refines the initial approximation with a given precision. The main operation used in the apex method is an operation that calculates the pseudoprojection, which is a generalization of the metric projection to a convex closed set. This operation is used both in the quest stage and in the target stage. A parallel algorithm using a Fejér mapping to compute the pseudoprojection is presented. An analytical estimation of the parallelism degree of this algorithm is obtained. Also, an algorithm implementing the target stage is given. The convergence of this algorithm is proven. An experimental study of the scalability of the apex method on a cluster computing system is described. The results of applying the apex method to solve problems from the Netlib-LP repository are presented.

In this work, an algorithm for the scheduling of household appliances to reduce the energy cost and the peak-power consumption is proposed. The system architecture of a home energy management system (HEMS) is presented to operate the appliances. The dynamics of thermal and non-thermal appliances is represented into state-space model to formulate the scheduling task into a mixed-integer-linear-programming (MILP) optimization problem. Model predictive control (MPC) strategy is used to operate the appliances in real-time. The HEMS schedules the appliances in a dynamic manner without any a priori knowledge of the load-consumption pattern. At the same time, HEMS responds to the real-time electricity market and the external environmental conditions (solar radiation, ambient temperature etc). Simulation results exhibit the benefits of proposed HEMS by showing the reduction of up to 47% in electricity cost and up to 48% in peak power consumption.

Quantum computers are machines that are designed to use quantum mechanics in order to improve upon classical computers by running quantum algorithms. One of the main applications of quantum computing is solving optimization problems. For addressing optimization problems, we can use linear programming. Linear programming is a method to obtain the best possible outcome in a special case of mathematical programming. Application areas of this problem consist of resource allocation, production scheduling, parameter estimation, etc. In our study, we look at quantum speedup ratios of HHL Algorithm for different scenarios of linear programming. In a first scenario we look quantum speedup ratio (S(N)) as a function of phase transition and the ratio (κ) between the greatest and smallest eigenvalues of the matrix in linear equation system. As a second scenario, we investigate the changes in S(N) as a function of κ and s, which is the coefficient for defining the matrix as s-sparse.

This study presents review of 7580 papers in 13 academic journals, published from January 2015 to January 2020. After a detailed analysis of all papers, 46 papers were further selected showing research on a student population aged between 6 and 15 years old. In order for the paper to be included in the research, the condition was that the paper deals with teaching at least one of the following content areas: programming languages, game design, computer thinking (CT), algorithmic thinking and robotics programming. This study shows the representation of the listed content area in reviewed papers for the specified time period as well as a detailed analysis of the selected papers. Available data about study, participants and education level, country (first author), learning domain, teaching tools, research questions, hypothesis, pre/post-test results, interviews, control groups, course duration, research design, previous experience, project or grant and re-search purpose in detected papers were analysed. In addition, impact of studying some of the listed content areas on student learning performance, motivation, attitude and perception were investigated.

This paper presents a study about the integration of Piezoelectric Energy Harvesting Systems (PE-EHS) in building envelopes for powering Fiber Bragg Grating (FBG) sensors, enabling efficient and low-consumption monitoring with the objective to leverage Structural Health Monitoring (SHM). The research includes preliminary tests conducted in a real environment to validate the PE-EHS when fully integrated into the façade, capturing mechanical vibrations generated mainly by wind loads. Based on these activities, the final configuration of PE-EHS is defined to provide a complete system for façade monitoring. This integrated system includes the Piezoelectric Generator (PEG), Supercapacitor (SC), Power Conditioner Circuit (PCC), Fibre Optic Sensing (FOS) Interrogator, and the IoT Gateway trans-mitting measurement data within an Internet of Things (IoT) monitoring platform. This configuration is tailored to address the challenges related to the structural integrity of building envelopes. Results demonstrate a potential for a stand-alone solution in the façade sector, but, raising issues for certain limitations, requiring further investigation. In particular, the study emphasizes constraints related to the energy production of PE-EHS for façade integration. It highlights the necessity to carefully consider these limitations within the broader context of their applicability, providing insights for the informed deployment of Piezoelectric Energy Harvesting technology in building envelope monitoring.

This article investigates a proposed new mathematical model that considers the infected individuals using various rate coefficients such as transmission, progression, recovery and vaccination. The fact that the dynamic analysis is completely determined by the basic reproduction number is established. More specifically, local and global stabilities of the disease-free equilibrium and the endemic equilibrium are proved under certain parameter conditions when the basic reproduction number is below or above unity. A realistic computer simulation is performed for better understanding of the variations in trends of different compartments after the outbreak of the disease.

Photogrammetry involves aerial photography of the earth’s surface and subsequently processing the images to provide a more accurate depiction of the area (Orthophotography). It’s used by the Spanish Instituto Geográfico Nacional to update road cartography but requires a significant amount of manual labor due to the need to perform visual inspection of all tiled images. Deep Learning techniques (artificial neural networks with more than one hidden layer) can perform road detection but it is still unclear how to find the optimal network architecture. Our system applies grammar guided genetic programming to the search of deep neural network architectures. In this kind of evolutive algorithm all the population individuals (here candidate network architectures) are constrained to rules specified by a grammar that defines valid and useful structural patterns to guide the search process. Grammar used includes well-known complex structures (e.g. Inception-like modules) combined with a custom designed mutation operator (dynamically links the mutation probability to structural diversity). Pilot results show that the system is able to design models for road detection that obtain test accuracies similar to that reached by state of the art models when evaluated over a dataset from the Spanish National Aerial Orthophotography Plan.

Fractional cointegration in time series data has been explored by several authors, but panel data applications have been largely neglected. A previous study of ours discovered that the Chen and Hurvich fractional cointegration test for time series was fairly robust to a moderate degree of heterogeneity across sections, out of the six tests considered. Therefore, this paper advances a customized version of the Chen and Hurvich methodology to detect cointegrating connections in panels with unobserved fixed effects. Specifically, we develop a test statistic that accommodates variation in the long-term cointegrating vectors and fractional cointegration parameters across observational units. The behaviour of our proposed test is examined through extensive Monte Carlo experiments under various data generating processes and circumstances. The findings reveal that our modified test performs quite well comparatively and can successfully identify fractional cointegrating relationships in panels even in the presence of idiosyncratic disturbances unique to each cross-sectional unit. Furthermore, the proposed modified test procedure established the presence of long-run equilibrium between the exchange rate and labour wage of 36 countries agricultural markets.

As the demands in reliability and high-degree of automation in industrial applications are increasing exponentially, the current Industry 4.0 trend lies in migrating towards smarter technologies that increase flexibility and provide autonomous operation. To tackle this, manufacturers shifted towards Real-Time Ethernet communication which supports autonomous operation, faster sensor/actuator configuration and high degree of determinism. Nevertheless, the uninterrupted operating principle of legacy industrial systems as well as the system complexity and heterogeneity constitutes the transition to Real-Time Ethernet very challenging. This article proposes a novel method allowing to automate the generation of executable code for Real-Time Ethernet architectures based on high-level programming models. The method is based on a programming model and modular code artifacts for the hardware architecture, employing Real-Time Ethernet communication. Through an tool-supported algorithm the high-level model is linked to the architecture's communication primitives and interfaces. The tool-support reduces significantly the development and debugging effort for Real-Time Ethernet applications and increases the application reliability, since the generated code is based on verified programming models. Additionally, the tool creates dedicated files, which allow automated industrial network configuration without any human intervention. Finally, by embedding firewall policies into the code generation process, the method guarantees cyber-resilience for the Real-Time Ethernet architecture. We demonstrate the proposed method in Programmable Logic Controllers (PLCs) of a Public Power Corporation's Hydroelectric Power Plant, which control the temperature and rotor speed of a power generator. The results demonstrate the method's ability to generate rapidly trustworthy and fault-tolerant code for the autonomous plant operation. The hurdles in time and effort for developing, configuring and debugging Real-Time Ethernet applications can be minimized through a high-level programming model that allows automated generation of executable code that is reusable for similar applications. Such time and effort reduction may pave the way towards the Industry 4.0 area.

Studies have shown that in many practical applications, data interpolation by splines leads to better approximation and higher computational efficiency as compared to data interpolation by a single polynomial. Data interpolation by splines can be significantly improved if knots are allowed to be free rather than at a priori fixed locations such as data points. In practical applications, the smallest possible curvature is often desired. Therefore, optimal splines are determined by minimizing a derivative of continuously differentiable functions comprising the spline of the required order. The problem of obtaining an optimal spline is tantamount to minimizing derivatives of a nonlinear differentiable function over a Banach space on a compact set. While the problem of data interpolation by quadratic splines has been accomplished analytically, interpolation by splines of higher orders or in higher dimensions is challenging. In this paper, to overcome difficulties associated with the complexity of the interpolation problem, the interval over which data points are defined, is discretized and continuous derivatives are substituted by their discrete counterparts. It is shown that as the mesh of the discretization approaches zero, a resulting near-optimal spline approaches an optimal spline. Splines with the desired accuracy can be obtained by choosing an appropriate mesh of the discretization. By using cubic splines as an example, numerical results demonstrate that the linear programming (LP) formulation, resulting from the discretization of the interpolation problem, can be solved by linear solvers with high computational efficiency and resulting splines provide a good approximation to the optimal splines.

This paper proposes a model based on gene expression programming for predicting discharge coefficient of triangular labyrinth weirs. The parameters influencing discharge coefficient prediction were first examined and presented as crest height ratio to the head over the crest of the weir (p/y), crest length of water to channel width (L/W), crest length of water to the head over the crest of the weir (L/y), Froude number (F=V/√(gy)) and vertex angle () dimensionless parameters. Different models were then presented using sensitivity analysis in order to examine each of the dimensionless parameters presented in this study. In addition, an equation was presented through the use of nonlinear regression (NLR) for the purpose of comparison with GEP. The results of the studies conducted by using different statistical indexes indicated that GEP is more capable than NLR. This is to the extent that GEP predicts the discharge coefficient with an average relative error of approximately 2.5% in such a manner that the predicted values have less than 5% relative error in the worst model.

This paper introduces an application of R programming language for geostatistical data processing with a case study of the Mariana Trench, Pacific Ocean. The formation of the Mariana Trench, the deepest among all hadal oceanic depth trenches, is caused by complex and diverse geomorphic factors affecting its development. Mariana Trench crosses four tectonic plates: Mariana, Caroline, Pacific and Philippine. The impact of the geographic location and geological factors on its geomorphology has been studied by methods of statistical analysis and data visualization using R libraries. The methodology includes following steps. Firstly, vector thematic data were processed in QGIS: tectonics, bathymetry, geomorphology and geology. Secondly, 25 cross-section profiles were drawn across the trench. The length of each profile is 1000-km. The attribute information has been derived from each profile and stored in a table containing coordinates, depths and thematic information. Finally, this table was processed by methods of the statistical analysis on R. The programming codes and graphical results are presented. The results include geospatial comparative analysis and estimated effects of the data distribution by tectonic plates: slope angle, igneous volcanic areas and depths. The innovativeness of this paper consists in a cross-disciplinary approach combining GIS, statistical analysis and R programming.

In this paper mathematical analysis of the HIV/AIDS deterministic model exposed in [Espitia, C. et. al. Mathematical Model of HIV/AIDS Considering Sexual Preferences Under Antiretroviral Therapy, a Case Study in San Juan de Pasto, Colombia, Journal of Computational Biology 29 (2022) 483–493] is made. The objective is to gain insight into the qualitative dynamics of the model determining the conditions for the persistence or effective control of the disease in the community through the study of basic properties such as positiveness and boundedness, calculus of basic reproduction number, stationary points such as disease free equilibrium (DFE), boundary equilibrium (BE) and endemic equilibrium (EE) are calculated, local stability (LAS) of disease free equilibrium. It research allow to conclude that the best way to reduce contagion and consequently to reach a DFE is thought to be the reduction of homosexual partners rate as they are the most affected population by the virus, and are therefore the most likely to become infected and to spread the infection. Increasing the departure rate of infected individuals, leads to a decrease in untreated infected heterosexual men and untreated infected women.

Creative thinking is increasingly recognised as an essential ability that should be part of school curricula. Given the move towards online learning and assessment, we investigate whether mathematical creativity can be assessed at-scale in the Numbers game, an arithmetic game in Math Garden, a popular online math practice platform. In the Numbers game, a generalisation of the 24 Game, children are asked to figure out how to compute a target number using basic arithmetic operations and a given set of numbers. We argue that creative thinking is required when the search space is complex, and propose that the base-pattern, i.e., the sequence of the operations needed to solve a Numbers game item, indicates search space complexity. We then demonstrate that items with disordered base-patterns are more likely to require mathematical creativity to figure out. Specifically, our analysis shows that for items with only one solution sequence, those with disordered base-patterns are more difficult and take longer to solve compared to items with ordered base-patterns. For items where multiple solution sequences are possible, nine times out of ten children choose ordered over disordered base-patterns. We conclude that the Numbers game has potential for assessing mathematical creativity at-scale.

This paper emphasises on the analogous modelling of hardwood (Acacia) pyrolysis. The effect of physical characteristics of hardwood chips on the pyrolysis is examined through the conservation of solid mass fraction of biomass. The chip size of G30 and G50 are used in the pyrolysis reactor. In the analogous situation, the fixed bed is assumed to be a wooden slab with a porosity equivalent to the voidage of bed. The bulk density, the length of the bed and the porosity are some of the physical attributes of a fixed bed used to determine the variation of solid mass of the hardwood across the fixed bed. The four-temperature sensors separated from each other by 80 mm are used to determine the temperature along the length of the pyrolysis unit. The heating element of 2 kWe is used to initiate the pyrolysis of biomass. The experiments are conducted in three different stages. The ONORM standard chips, G30 and G50, and the combination of them are separately pyrolysis to determine the validity of a model for different sizes of chips. The proposed model is also used to establish the relationship between the kinetics of pyrolysis and decomposition of the hardwood.

Inflammation is the body’s response to infection, injury, or other stimuli. Acute inflammation is a crucial component of the immune system’s defense, aimed at eliminating infected or damaged cells and halting disease progression. A subtle interaction between pro- and anti-inflammatory processes determines its progression to inflammation resolution or to chronic inflammation. In this study, we propose a generic model of inflammation through a system of reaction-diffusion equations involving various inflammatory and anti-inflammatory cells and cytokines. We investigate the formation of patterns, determined by the emergence of Turing structures, through linear stability analysis and numerical simulations. These theoretical findings are further supported by observations of similar patterns in skin diseases.

Droughts have negative impacts on agricultural productivity and economic growth. Effective monitoring and accurate forecasting of drought occurrences and trends are crucial for minimizing drought losses and mitigating their spatial and temporal effects. In this study, trend dynamics in monthly total rainfall time series measured at Cape Town International Airport were analyzed using Mann-Kendall (MK) test, Modified Mann-Kendall (MMK) and innovative trend analysis (ITA) were examined. Additionally, we utilized hybrid prediction method that combined the model with the complementary ensemble empirical mode decomposition with adaptive noise (CEEMDAN) technique, the autoregressive integrated moving average (ARIMA) model, the long short-term memory (LSTM) network (i.e. CEEMDAN-ARIMA-LSTM) to forecast SPI values of 6-, 9-, and 12-months using rainfall data between 1995 and 2020 from Cape Town International Airport meteorological rainfall stations. The results demonstrate the following essential points: (1) The trend analysis results of the total monthly rainfall values indicate a significant decreasing trend with the negative z-score (MK= -3.7541 and MMK= - 4.0773). ITA also indicated a significant downwards trend of rainfall in the study area. (2) As the forecasting horizon increases, the prediction accuracy of the models and CEEMDAN-combined models gradually improves, reaching their optimum performance at the 12-month horizon. (3) CEEMDAN efficiently stabilizes time-series data, resulting in greater prediction accuracy in the hybrid model compared to individual models at all timescales. (4) The RMSE and R2 values for the hybrid CEEMDAN-ARIMA-LSTM model at a 12-month forecasting horizon are 0.042 and 0.995, demonstrating the applicability of this hybrid approach for drought forecasting.

The feasibility of recovering bioactive antioxidants from Phyllantus emblica leaves using ethanol -water mixture (0 – 100%) and heat-assisted extraction technology (HAE-T) was investigated in this present study. To this effect, the process parameter of operating temperature (OT: 30 -50 oC), solid -to-liquid ratio (S:L: 1:20 - 1:60 g/mL) and extraction time (ET: 45 - 180 min) were investigated on the extract total phenolic content (TPC, mg GAE/g d.w), yield (EY, %) and antioxidant activity (μM AAE/g d.w) by employing the Box-Behnken experimental design (BBD) available in response surface methodology (RSM). Multi-objective process optimization using the desirability function algorithm to determine set of process variables that simultaneously optimize process responses of TPC, EY and AA was also investigated. The recovery process was thereafter modeled with BBD-RSM and multi gene genetic programming (MGGP) algorithm and model reliability assessment via Monte Carlo simulation were conducted for the best performing set of models for predicting TPC, EY and AA values. The HPLC characterization of the recovered extract was carried out to ascertain the phenolic compound constituents of the Phyllantus emblica leaf extract. The 50% ethanol solution was found to be the best for the optimal extraction of antioxidants from Phyllantus emblica leaves. The HAE-T was suitable for recovering bioactive extract from Phyllantus emblica leaves and investigated process parameters have impacts on the recovery process. The process parameters that simultaneously gave the optimum EY of 21.6565%, TPC of 67.116 mg GAE/g and AA of 3.68583 µM AAE/g were OT of 41.61 oC, S:L of 1:60 g/mL and ET of 180 min. The HPLC extract profiling revealed that the bioactive constituents present in the recovered extract were betulinic acid, gallic acid, chlorogenic acid, caffeic acid, ellagic acid, and ferulic acid. Both the developed BBD-RSM and evolved MGGP-based models predicted the observed process response of TPC, EY and AA satisfactorily with BBD-RSM models marginally better in their predictions. The reliability results showed that the BBD-RSM models predicted TPC, EY and AA values with high certainty of 99.985%, 97.569% and 98.661%, respectively.

The connectivity level of last-generation vehicles is constantly on the rise. The combined use of Vehicle-To-Everything (V2X) connectivity and autonomous driving can provide remarkable benefits through the optimization of the route and speed trajectory. In this framework, this paper focuses on vehicle eco-driving optimization in a connected environment. The virtual test rig of a premium segment passenger car was used for generating the simulation scenarios. The benefits, in terms of energy and time savings, that the introduction of V2X communication, integrated with cloud computing, can have in a real-world scenario were assessed. The Reference Scenario is a pre-defined Real Driving Emissions (RDE) compliant route, while the simulation scenarios were generated by assuming two different penetration levels of V2X technologies. The associated energy minimization problem is formulated and solved by means of a global optimization algorithm, i.e., Dynamic Programming (DP). The optimization framework includes information coming from the surrounding environment, e.g., traffic lights state, speed limits, distance to travel, etc. The simulations show that introducing a smart infrastructure along with optimizing the vehicle speed in a real-world route can potentially reduce the required energy by 54% while shortening the travel time by 38%. Finally, a sensitivity analysis is performed on the bi-objective optimization cost function to find a set of Pareto optimal solutions, between energy and travel time minimization.

Over the last fifty years, management plans have become more descriptive with regard to potential sustainability of forest systems, raising questions about the feasibility of implementing management activities and ensuring sustainability of a wide variety of ecosystem services. To assess this issue, we conducted a survey among forest planning and operation research communities to understand their perceptions regarding the potential of a sample of sustainability statements currently used in forest plans to be incorporated into optimization models or other mathematical operations. The results revealed that only a few statements from the sample were deemed to have relatively mature or firm methodologies and data to enable inclusion in modern mathematical models for land use optimization. These statements were mostly related to economic sustainability, offering quantifiable information such as a non-declining flow of wood products over time and limits on the amount of timber harvested per decade. In contrast, sociocultural and, to some extent, ecological statements regarding sustainability were generally perceived to be more difficult to translate into mathematical modeling efforts. Particularly challenging were statements corresponding to sustaining natural or scenic characteristics of a forest. These findings may be attributed to various factors, including a lack of measurable indicators for sustainability and a potential lack of understanding about the modeling components and their interactions with planned management activities.