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.

In order to quickly develop a multi ship collaborative collision avoidance plan in multi ship encounter scenarios, a multi ship collision avoidance decision model is proposed in accordance with the requirements of the International Maritime Collision Avoidance Regulations, taking into account the collision avoidance operations in multi ship encounter scenarios. Firstly, the collision risk between ships is determined by the closest encounter distance (DCPA) and closest encounter time (TCPA). Secondly, a decision objective function is established based on rules, degree of ship deviation, and ship risk. Finally, the prediction mechanism is used to calculate the minimum value of the objective function and complete the collision avoidance decision. The simulation results show that in the scenario of multiple ship encounters, the collision avoidance model can achieve safe collision avoidance with a smaller steering frequency and a shorter col-lision avoidance time. The proposed multi ship collision avoidance model can provide reference for collision avoidance decision-making in multi ship encounter scenarios, which helps to im-prove the collision avoidance efficiency in multi ship collision avoidance

The previous two parts of the paper (correspondingly, https://philpapers.org/rec/PENFLT-2 and https://philpapers.org/rec/PENFLT-3) demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart.

In Functional Analysis as well as Topology, we frequently encounter sets, say $X$, that contain elements close to each other. These sets display a defining "finite-ness" property: for all open cover $\mathcal{O}$ of $X$, there exists a finite subcollection $\mathcal{U}\subseteq\mathcal{O}$ such that $\mathcal{U}$ covers $X$. Such spaces $X$ are called $\textbf{compact}$, and the above "finite-ness" property afford us great convenience, because we can always investigate $X$ by investigating its finite open cover $\mathcal{U}$Arzela-

This paper presents a framework for the motion planning and control of redundant manipulators with the added task of collision avoidance. The algorithms that were previously studied and tested by the authors for planar cases are here extended to full mobility redundant manipulators operating in a three-dimensional workspace. The control strategy consists of a combination of off-line path planning algorithms with on-line motion control. The path planning algorithm is used to generate trajectories able to avoid fixed obstacles, detected before the robot starts to move; it is based on the potential fields method combined with a smoothing interpolation that exploits Bézier curves. The on-line motion control is designed to compensate for the motion of the obstacles and to avoid collisions along the kinematic chain of the manipulator; it is realized by means of a velocity control law based on the null space method for redundancy control. A term of the control law takes into account the speed of the obstacles as well as their position. In order to test the algorithms, a set of simulations are presented: the robot KUKA LBR iiwa is controlled in different cases, where fixed or dynamic obstacles interfere with its motion. Simulations are also used to estimate the required computational effort in order to verify the transferability to a real system.

Reinforcement Learning (RL) has demonstrated considerable potential in solving challenges across various domains, notably in autonomous driving. Nevertheless, implementing RL in autonomous driving comes with its own set of difficulties, such as the overestimation phenomenon, extensive learning time, and sparse reward problems. Although solutions like Hindsight Experience Replay (HER) have been proposed to alleviate these issues, the direct utilization of RL in autonomous vehicles remains constrained due to the intricate fusion of information and the possibility of system failures during the learning process. In this paper, we present a novel RL-based autonomous driving system technology that combines Obstacle Dependent Gaussian (ODG) RL, Soft Actor-Critic (SAC), and meta-learning algorithms. Our approach addresses key issues in RL, including the overestimation phenomenon and sparse reward problems, by incorporating prior knowledge derived from the ODG algorithm. We evaluated our proposed algorithm on official F1 circuits, using high-fidelity racing simulations with complex dynamics. The results demonstrate exceptional performance, with our method achieving up to 89% faster learning speed compared to existing algorithms in these environments.

This paper describes the development of a laser-based people detection and obstacle avoidance algorithm for a differential-drive robot, which is used for transporting materials along a reference path in hospital domains. Detecting humans from laser data is an important functionality for the safety of navigation in the shared workspace with people. Nevertheless, traditional methods normally utilize machine learning techniques on hand-crafted geometrical features extracted from individual clusters. Moreover, the datasets used to train the models are usually small and need to manually label every laser scan, increasing the difficulty and cost of deploying people detection algorithms in new environments. To tackle these problems, (1) we propose a novel deep learning-based method, which uses the deep neural network in a sliding window fashion to effectively classify every single point of a laser scan. (2) To increase the speed of inference without losing performance, we use a jump distance clustering method to decrease the number of points needed to be evaluated. (3) To reduce the workload of labeling data, we also propose an approach to automatically annotate datasets collected in real scenarios. In general, the proposed approach runs in real-time, performs much better than traditional methods, and can be straightforwardly extended to 3D laser data. Secondly, conventional pure reactive obstacle avoidance algorithms can produce inefficient and oscillatory behaviors in dynamic environments, making pedestrians confused and possibly leading to dangerous reactions. To improve the legibility and naturalness of obstacle avoidance in human crowded environments, we introduce a sampling-based local path planner, similar to the method used in autonomous driving cars. The key idea is to avoid obstacles by switching lanes. We also adopt a simple rule to decrease the number of unnecessary deviations from the reference path. Experiments carried out in real-world environments confirmed the effectiveness of the proposed algorithms.

I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of ±2 on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of ±2 it sets out to prove. Once this oversight is ameliorated from Bell's argument, the bounds on the Bell-CHSH sum of expectation values work out to be ±2√2 instead of ±2, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by the Bell-test experiments is not local realism but the additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with.

Autonomous Underwater Vehicles (AUVs) are emerging as pivotal tools in underwater applications such as seafloor exploration and the inspection of pipelines or cables. Traditional land-based avoidance methods prove insufficient when applied to the complex underwater environment, largely due to the unique constraints presented by marine environments and the specific dynamics of AUVs. In this study, we introduce an improved stream function-based obstacle avoidance algorithm specifically tailored for autonomous underwater vehicles. The proposed algorithm is based on a stream function that is derived from the stream function. The stream function is characterized by a radial histogram for the cost function. In addition, constraints related to the maximum path curvature are discussed to optimize the utility of the path. Our exhaustive simulation cases validate the robustness and adaptability of the proposed algorithm, demonstrating its ability to produce feasible and optimized avoidance paths in a variety of scenarios.

Model predictive control (MPC) is a multi-objective control technique that can handle 2 system constraints. However, the performance of an MPC controller highly relies on a proper 3 prioritization weight for each objective, which highlights the need for a precise weight tuning 4 technique. In this paper, we propose an analytical tuning technique by matching the MPC 5 controller performance with the performance of a linear quadratic regulator (LQR) controller. The 6 proposedmethodology derives the transformation of LQRweightingmatrixwith a fixedweighting 7 factor using discrete algebraic Riccati equation (DARE) and designs MPC controller using the 8 idea of discrete time linear quadratic tracking problem (LQT) in the presence of constraints. 9 The proposed methodology ensures the optimal performance between unconstrained MPC and 10 LQR controller and provides a sub-optimal solution while the constraints are active during 11 transient operations. The resultingMPC behaves as the discrete time LQR by selecting appropriate 12 weighting matrix in the MPC control problem and ensures the asymptotic stability of the system. 13 In this paper, the effectiveness of the proposed technique is investigated in the application of 14 a novel vehicle collision avoidance system which is designed in the form of linear inequality 15 constraints within MPC. The simulation results confirm the potency of the proposed MPC control 16 technique in performing a safe, feasible and collision free path while respecting the inputs, states 17 and collision avoidance constraints.

Plants have evolved two opposing strategies in response to competition for light: shade tolerance and shade avoidance. To detect the presence of neighboring vegetation, shade-avoiding plants have evolved the ability to perceive and integrate multiple signals. Among them, changes in light quality and quantity are central to elicit and regulate the shade avoidance response. Here, we describe recent advances in the understanding of photoperception and downstream signaling mechanisms underlying the shade avoidance response, focusing on Arabidopsis because most of our knowledge derives from studies conducted in this model plant. Shade avoidance is an adaptive response, resulting in phenotypes with high relative fitness in natural dense communities. However, it contributes to reduction in crop plant productivity, and the design of new strategies aimed at attenuating shade avoidance in a stage- and/or organ- specific manner in high-density crop plantings is a major challenge for the future. For this reason, in this review, we also report on recent advances in the molecular description of the shade avoidance response in crops, such as maize and tomato, and discuss similarity and differences with Arabidopsis.

The general theory of relativity (GR) is symmetric under smooth coordinate transformations also known as diffeomorphisms. The general coordinate transformation group has a linear subgroup denoted the Lorentz group of symmetry which is maintained also in the weak field approximation to GR. The dominant operator in the weak field equation of GR is thus the d'Alembert (wave) operator which has a retarded potential solution. Galaxy Clusters are huge physical systems having dimensions of many hundreds of millions of light years. Thus any change at the cluster center will be noticed at the rim only hundreds of millions of years later. Those retardation effects are neglected in present day cluster modelling and in particular are neglected in virial calculations used to relate mass and velocities on the cluster. The significant differences between the predictions of Newtonian instantaneous action at a distance and observed velocities are usually explained by either assuming dark matter or by modifying the laws of gravity (MOND). In this paper we will show that taking general relativity seriously without neglecting retardation effects one can explain the velocities in a galactic cluster without postulating dark matter. It should be stressed that the current approach does not require that velocities, $v$ are high, in fact the vast majority of cluster bodies are substantially subluminal. In other words, the ratio of $\frac{v}{c} \ll 1$. Typical velocities in galaxies are less than ~1000 km/s, which makes this ratio $0.01$ or smaller. However, one should consider the fact that every gravitational system even if it is made of subluminal bodies has a retardation distance, beyond which the retardation effect cannot be neglected. Every natural system such as stars and galaxies and even galactic clusters exchange mass with its environment. For example, the sun losses mass through the solar wind and galaxies accrete gas from the intergalactic medium. This means that all natural gravitational systems have a finite retardation distance. The question is thus quantitative, how large is the retardation distance? The change of mass of the sun is quite small and thus the retardation distance of the solar system is quite large allowing us to neglect retardation effects within the solar system. However, for galaxies and galaxy clusters the retardation distance is within the system itself and cannot be neglected.

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

A careful examination of the fundamentals of electromagnetic theory shows that due to the underlying mathematical assumptions required for Stokes' Theorem, global charge conservation cannot be guaranteed in topologically non-trivial spacetimes. However, in order to break the charge conservation mechanism we must also allow the electromagnetic excitation fields D, H to possess a gauge freedom, just as the electromagnetic scalar and vector potentials $\varphi$ and A do. This has implications for the treatment of electromagnetism in spacetimes where black holes both form and then evaporate, as well as extending the possibilities for treating vacuum polarisation. Using this gauge freedom of D, H we also propose an alternative to the accepted notion that a charge passing through a wormhole necessarily leads to an additional (effective) charge on the wormhole's mouth.

In this paper, we derive and prove, by means of Binomial theorem and Faulhaber's formula, the following identity between $m$-order polynomials in $T$ $$\sum_{k=1}^{\ell}\sum_{j=0}^m A_{m,j}k^j(T-k)^j=\sum_{k=0}^{m}(-1)^{m-k}U_m(\ell,k)\cdot T^k=T^{2m+1}, \ \ell=T\in\mathbb{N}.$$

Some wind farms have implemented automated camera\textendash based monitoring systems e.g. IdentiFlight to mitigate the impact of wind turbines on protected raptors. These systems have effectuated the collection of large amounts of data that can be used to describe flight behavior in a novel way. This data uniquely provides both flight trajectories and images of individual birds throughout their flight trajectories. The aim of this study was to evaluate how this unique data could be used to create a robust quantitative behavioral analysis, that could be used to identify risk prone flight behavior and avoidance behavior thereby in the future assess collision risk. This was attained through a case study at a wind farm on the Swedish island Gotland, where golden eagles (Aquila chrysaetos), white-tailed eagles (Haliaeetus albicilla), and red kites (Milvus milvus), were chosen as the selected bird species. The results demonstrate that flight trajectories and bird images can be used to identify high risk flight behavior and thereby also used to evaluate collision risk and avoidance behavior. This study presents a promising framework for future research, demonstrating how data from camera\textendash based monitoring systems can be utilized to quantitatively describe risk prone behavior and thereby assess collision risk and avoidance behavior.

As the number of ships for marine transportation increases with the advancement of global trade, encountering multiple ships in marine traffic becomes common. This situation raises the risk of collision of the ships; hence this paper proposes a novel Fuzzy-logic based intelligent conflict detection and resolution algorithm, where the collision courses and possible avoiding actions are analyzed by considering ship motion dynamics and the input and output fuzzy membership functions are derived. As a conflict detection module, the Collision Risk (CR) is measured for each ship by using a scaled nondimensional Distance to the Closest Point of Approach (DCPA) and Time to the Closest Point of Approach (TCPA) as inputs. Afterwards, the decisions for collision avoidance are made based on the calculated CR, encountering angle and relative angle of each ship measured from others. In this regard, the rules for the Fuzzy interface system are defined in accordance with the COLREGs, and the whole system is implemented on the MATLAB Simulink platform. In addition, to deal with the multiple ship encounters, the paper proposes a unique maximum-course and minimum-speed change approach for decision making, which has been found to be efficient to solve Imazu problems, and other complicated multiple-ship encounters.

In the case that ship operators may not be aware of the potential risks of environmental factors in situation of high causation probability during the initial stage of the geometric probability analysis process, it is likely that higher-grade collision accident measures will not be taken. However, if any risks is told to the ship operators, more effective and intentional measures can be taken in time. Moreover, if the causation probability corresponding to environmental factors is no less than the risk early warning critical value calculated based on historical collision accident data, there would be a high-risk level that a collision may occur. A new method is put forward based on quantitative analysis of environmental factors and previous collision statistics to provide early warning of any accident risk, and a risk early-warning critical value (REWCV) can be obtained based on this simple but highly operational and practical method. A case study of Three Gorges Reservoir in China indicates that the range of environmental factors where the probability of collision accident grows rapidly is consistent with environmental limits defined by Chinese maritime standards. In addition, the relationship between the risk early-warning critical value and the number of previous collision accident is also clarified.

Jacobian theta function identities are related to the Addition formula for the Weierstrass 1 Sigma function. In this paper, from the Addition formula for Weierstrass Sigma function, new and 2 simple proofs of four square sums theorem are given. Using the addition formula of the theta func- 3 tions, we also give simple proofs of two square sums and eight square sums theorem.

A well-known result of Posner’s second theorem states that if the commutator of each element in a prime ring and its image under a nonzero derivation is central, then the ring is commutative. In the present paper, we extend this bluestocking theorem to an arbitrary ring with involution involving prime ideals. Further, apart from proving several other interesting and exciting results, we establish *-version of Vukman’s theorem [48, Theorem 1]. Precisely, we describe the structure of quotient ring A/L, where A is an arbitrary ring and L is a prime ideal of A. Further, by taking advantage of the *-version of Vukman’s theorem, we show that if a 2-trosion free semiprime ring A with involution admits a nonzero *-centralizing derivation, then A contains a nonzero central ideal. This result is in a spirit of the classical result due to Bell and Martindale [19, Theorem 3]. As the applications, we extends and unify several classical theorems proved in [6],[25,[42], and [48] . Finally, we conclude our paper with a direction for further research.

Remotely Piloted Aircraft Systems (RPAS) are increasingly becoming relevant actors flying through the airspace and will assume much more importance in the future perspective. In order to allow their safe integration with manned conventional traffic in non-segregated airspaces, in accordance with the overall Air Traffic Management (ATM) paradigm, specific enabling technologies are needed. As well known, among the enabling technologies identified as crucial for RPAS integration into the overall ATM system, the Detect and Avoid (DAA) technology is fundamental. In the meantime, to support extended surveillance, the universal introduction on-board of aircraft of cooperative Automatic Dependent Surveillance – Broadcast (ADS-B) is increasingly implemented, having the potential to allow coverage of the whole airspace also in remote areas not usually covered by conventional radar surveillance. In this paper, the experimental results are presented and discussed that have been obtained through the real-time validation, with hardware and human in the loop (RTS-HIL) simulations, of an automatic ADS-B based Separation Assurance and Collision Avoidance System aimed to support RPAS automatic operations as well as remote pilot decision making. In the paper, after an introductory outline of the Concept of Operations (ConOps) of the system and of its architectural organization, while also providing basic information about the main system functionalities, the description is reported of the tests that have been carried out and the obtained results are described and discussed, in order to emphasize the performances and limitations of the proposed system. In particular, not only the quantitative performances obtained are reported and commented but also the feedbacks received by the pilots in order to improve the system are described, for instance in terms of preferred typology of conflict resolution manoeuver elaborated by the system.

Infants’ avoidance of drop-offs has been described as an affordance learning that is not transferable between different locomotor postures. In addition, there is evidence that infants perceive and act similarly around real and water cliffs. This cross-sectional study investigated the effects of specific locomotor experiences on infants’ avoidance behaviour using the Real Cliff / Water Cliff paradigm. The experiments included 102 infants, 58 crawling, but pre-walking, infants (M_age= 11.57 months, SD = 1.65) with crawling experience ranging between 0.03 and 7.4 months (M = 2.16, SD = 1.71) and 44 walking infants (M_age = 14.82 months, SD = 1.99), with walking experience ranging between 0.13 and 5.2 months (M = 1.86, SD = 1.28). The association between crawling experience and crawlers’ avoidance of the real and water cliffs was confirmed. Importantly, crawling and total self-produced locomotor experience, and not walking experience, were associated with walkers’ avoidance behaviour on both cliffs. These results suggest that some degree of perceptual learning acquired through crawling experience was developmentally transferred to the walking posture. A longer duration of crawling experience facilitates a more rapid recalibration to the new walking capability. In addition, there was no difference in infants’ avoidance of falling on the real and the water cliff. However, infants explored the water cliff more than the real cliff, revealing more enticement to examine bodies of water than for drop-offs.

This paper presents a new approach to a different proof of "Fermat's Last Theorem.” For the proof of the theorem, it is proposed to use a more straightforward geometrical approach. A special family of curves, the Elba curves, is introduced to facilitate the proof. This approach makes the proof easier to comprehend by mathematicians and those interested in the subject.

Bell's theorem can be refuted by presenting a counterexample which predicts correctly the expectation values of QM. As Bell has only ruled out noncontextual models a contextual model with hidden variables would refute his theorem. Such a model is presented able to explain the spin measurement results with entangled photons or electrons. It is not ruled out by the Kochen-Specker Theorem. Consequences for the feasibility of quantum computers are discussed.

In this short paper we study some properties of the lines associated with van Aubel’s theorem in the special case when squares are replaced with equilateral triangles constructed on the sides of an arbitrary quadrilateral.

Autonomous mobile robots are essential to the industry, and human-robot interactions are becoming more common nowadays. These interactions require that the robots navigate scenarios with static and dynamic obstacles in a safely manner, avoiding collisions. This paper presents a physical implementation of a method for dynamic obstacle avoidance using a Long Short-Term Memory (LSTM) neural network that obtains information from the mobile robot’s LiDAR for it to be capable of navigating through scenarios with static and dynamic obstacles while avoiding collisions and reaching its goal. The model is implemented using a TurtleBot3 mobile robot within an OptiTrack Motion Capture (MoCap) system for obtaining its position at any given time. The user operates the robot through these scenarios, recording its LiDAR readings, target point, position inside the MoCap system, and its linear and angular velocities, all of which serve as the input for the LSTM network. The model is trained on data from multiple user-operated trajectories across five different scenarios, outputting the linear and angular velocities for the mobile robot. Physical experiments prove that the model is successful in allowing the mobile robot to reach the target point in each scenario while avoiding the dynamic obstacle, with a validation accuracy of 98.02%.

This paper addresses the pressing concern of corporate tax evasion recognized by several nations, employing insights from public choice theory and tax compliance theory. The research aims to evaluate the ramifications of corporate tax evasion on public revenue, public expenditures, tax rates, and the prevailing budget deficit. Methodologically, the study utilizes questionnaire data and employs structural equation modeling for analysis. The findings indicate that tax evasion is significantly influenced by multiple factors, encompassing tax income, public expenditures, tax rates, and the budget deficit. The article offers a comprehensive exploration of both theoretical frameworks and practical implications, contributing valuable insights to the ongoing discourse on corporate tax evasion and its multifaceted impact on fiscal dynamics.

Kinematic control of redundant serial manipulators has been carried out for the past half century based primarily on a generalized inverse velocity formulation that is known to have mathematical deficiencies. A recently developed inverse kinematic position mapping is extended to an operational configuration space differentiable manifold formulation for kinematic control with obstacle avoidance is employed to resolve deficiencies in the generalized inverse velocity formulation. Output trajectory tracking with obstacle avoidance for four and twenty degree of redundancy manipulators is carried out to demonstrate the effectiveness of the differentiable manifold approach and that it resolves deficiencies of the conventional generalized inverse velocity formulation.

Despite the popularity of infant swimming programs, no evidence exists to determine whether they influence infants’ judgements and behavior when confronted with bodies of water. In the current study we examined whether the total number of swimming sessions an infant had participated in predicted whether they avoided a body of water they could enter via an edge (n = 101 infants) or a slope (n = 77 infants). An initial regression analysis revealed no association between the number of sessions and avoidance of the water via either type of entry. However, a secondary analysis of infants who had participated in fewer or more than 10 sessions revealed a significant interaction between number of sessions and type of entry into the water. Infants who participated in more than 10 sessions were more likely to avoid the water if they could access it via an edge but significantly more likely to enter the water if they could access it via a slope. Because we tested the two groups of infants in different countries, further research is warranted to determine if cultural differences in child rearing practices or variations in the content and/or teaching of the swimming programs might explain these intriguing findings.

Obstacle-avoidance robots have become an essential field of study in recent years. This paper analyzes two cases that extend reactive systems focused on obstacle detection and its avoidance. The scenarios explored get data from their environments through sensors and generate information for the models based on artificial intelligence to obtain a reactive decision. The main contribution is focused on the discussion of aspects that allow comparing both approaches, such as the heuristic approach implemented, requirements, restrictions, response time, and performance. The first case presents a mobile robot that applies fuzzy logic to achieve soft turning basing its decision on depth image information. The second case introduces a mobile robot based on multi-layer perceptron and ultrasonic sensors to decide how to move in an uncontrolled environment. The analysis of both options offers perspectives to choose between reactive obstacle-avoidance systems based on ultrasonic or Kinect sensors, models that infer optimal decisions applying fuzzy logic or artificial neural networks, with key elements and methods to design mobile robots with wheels. Therefore, we show how AI or Fuzzy Logic techniques allow us to design mobile robots that learn from their “ experience ” by making them safe and adjustable for new tasks, unlike traditional robots that use large programs to perform a specific task.

In this work, we propose an approach for the autonomous navigation of mobile robots using fusion of sensor data by a Double Deep Q-Network with collision avoidance by detecting moving people via computer vision techniques. We evaluate two data fusion methods for the proposed autonomous navigation approach: Interactive and Late fusion strategy. Both are used to integrate mobile robot sensors through the following sensors: GPS, IMU and, an RGB-D camera. The proposed collision avoidance module is implemented along with the sensor fusion architecture in order to prevent the autonomous mobile robot from colliding with moving people. The simulation results indicate a significant impact on the success of completing the proposed mission by the mobile robot with the fusion of sensors, indicating a performance increase (success rate) of 27% in relation to navigation without sensor fusion. With the addition of moving people in the environment, deploying the people detection and collision avoidance security module has improved about 14% the success rate when compared to that of the autonomous navigation approach without the security module. Video was developed with robot navigation using the DDQN-Late Fusion https://www.loom.com/share/684afa6a5b0148afadc9a200ab9f3483.

Formation avoidance is one of the critical technologies for autonomous underwater vehicle (AUV) formations. To this end, a cooperative obstacle avoidance algorithm based on an improved artificial potential field and a consistency protocol is proposed in this paper. A cooperative obstacle avoidance algorithm based on the improved artificial potential field method and consistency protocol is proposed for the local obstacle avoidance problem of AUV formation. Firstly, for the disadvantage that the traditional artificial potential field method is easy to fall into local minima, an auxiliary potential field perpendicular to the AUV moving direction is designed to solve the problem that AUVs are easy to have zero combined force in the potential field and local minima. Secondly, the control law of AUV formation that keeps the speed and position consistent is designed for the problem that the formation will change during the local obstacle avoidance of the formation system. The control conflict problem of the combined algorithm of the artificial potential field law and the consistency protocol is solved by adjusting the desired formation of the consistency protocol through the potential field force. Finally, the bounded energy function demonstrates system convergence's stability. The simulation verification confirmed that the AUV formation could achieve the convergence of the formation state under local obstacle avoidance.

For a set of closed curved surfaces that resemble a Langmuir monolayer an energy is defined that depends only on the curvature of the surfaces interacting with the dimensions normal to the surfaces, that is, the thickness of these surfaces. The thickness, or depth, of the surfaces originates because of surface-particles with chains, that move freely on the inside of the surfaces at a certain depth. This is a purely geometrical description that does not depend on the introduction of ad hoc constants like the elastic constant. With a statistical mechanical model the equations of state are calculated for a gas of non-connected sphere-like surfaces in a volume. There are two states of which the lower temperature state is depending mostly on the interaction energy and surface properties, and the higher temperature state is depending mostly on sphere kinetic and volume properties. This results in aggregation of the sphere-like surfaces from many small ones to few large ones when lowering temperature and vice versa. The model allows for the calculation of the partition function and, when the emergence of the curvature - depth interaction is described as a phase-transformation, for the application of Noether’s theorem. Because of these properties the model is interesting in its own right apart from being an addition to existing elastic descriptions of surfaces.

The paper is a continuation of another paper (https://philpapers.org/rec/PENFLT-2) published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The relevant mathematical structure is Hilbert arithmetic in a wide sense (https://dx.doi.org/10.2139/ssrn.3656179), in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem.

There are no theorems (proven theories) in the biological sciences. We propose that the 3 31 nt minihelix tRNA evolution theorem be universally accepted as one. The 3 31 nt minihelix theorem completely describes evolution of type I and type II tRNAs from ordered precursors (RNA repeats and inverted repeats). Despite diversification of tRNAome sequences, statistical tests overwhelmingly support the theorem. Furthermore, the theorem relates the dominant pathway for the origin of life on Earth, specifically, how tRNAomes and the genetic code may have coevolved. Alternate models for tRNA evolution (i.e., 2 minihelix, convergent and accretion models) are falsified. In the context of the pre-life world, tRNA was a molecule that via mutation could modify anticodon sequences and teach itself to code. We relate the clearest history to date of the chemical evolution of life on Earth. From analysis of tRNA evolution, ribozyme-mediated RNA ligation was a primary driving force in evolution of complexity during the pre-life to life transition on Earth.

The theoretical limit of link prediction is a fundamental problem in this field. Taking the network structure as object to research this problem is the mainstream method. This paper proposes a new viewpoint that link prediction methods can be divided into single or combination methods, based on the way they derive the similarity matrix, and investigates whether there a theoretical limit exists for combination methods. We propose and prove necessary and sufficient conditions for the combination method to reach the theoretical limit. The limit theorem reveals the essence of combination method that is to estimate probability density functions of existing links and nonexistent links. Based on limit theorem, a new combination method, theoretical limit fusion (TLF) method, is proposed. Simulations and experiments on real networks demonstrated that TLF method can achieve higher prediction accuracy.

This paper proposes a high-performance and low-cost in-flight collision avoidance system based on background subtraction for unmanned aerial vehicles (UAVs). The pipeline of proposed in-flight collision avoidance system is as follows: (i) dynamic background subtraction to remove the background and to detect moving objects, (ii) denoise using morphology and binarization methods, (iii) Euclidean clustering to cluster the moving object and to remove noise blobs, (iv) distinguish independent objects and track the movement using Kalman filter, and (v) collision avoidance using proposed decision-making techniques. This work focuses on the design and the demonstration of a vision-based fast moving object detection and tracking system with decision-making capabilities to perform evasive maneuvers to replace high vision system such as event camera. The development of high-performance, low-cost unmanned aerial vehicles paired with rapid progress in vision-based perception systems herald a new era of autonomous flight systems with mission-ready capabilities. One of the key features of an autonomous UAV is a robust mid-air collision avoidance strategy. The novelty of our method lies in the motion-compensating moving object detection framework, which accomplishes the task with background subtraction via 2-D transformation approximation. Clustering and tracking algorithms process detection data to track independent objects, and stereo-camera-based distance estimation is conducted to estimate the 3-D trajectory, which is then used during decision-making procedures. The examination of the system is conducted with a quadrotor UAV test vehicle, and appropriate algorithm parameters for various requirements are deduced.

In this paper, we calculate the deflection angle of photon by Casimir wormhole in the weak field limit approximation. First we calculate Gaussian optical curvature with the help of optical spacetime geometry and so we use the Gauss-Bonnet theorem on the Gaussian optical metric. Then we find the deflection angle of photon by Casimir wormhole. Moreover, we calculate the photon's deflection angle in the presence of plasma medium and we also see the graphical nature of deflection angle in both cases. Second, we move towards the shadow of Casimir wormhole. After the observations of Event Horizon Telescope, the study of shadow become very important so that we plot the shapes of shadow of Casimir wormhole, and we calculate the photon geodesic around the Casimir wormhole.

In this paper we use Toeplitz quantization to extend in a very natural way Kostant's theorem for the group $SU(m)$ to the group of symplectomorphisms of the unit sphere and we also give another proof of the infinite dimensional version of Schur and Horn theorem for the sphere based on Schur and Horn theorem for Hermitian matrices.

The typically qualitative treatment of evidence underlying different causal hypotheses that attempt to explain singular historic events is criticized. Instead of using ad hoc qualitative arguments, it is here advocated to use Bayes theorem to assess how well evidence either support or weaken a specific causal hypothesis. It is argued that such a practice will enable scientists who study singular historic events to discuss, compare and aggregate different beliefs in a meaningful way.

Background: Exposure to environmental tobacco smoke (ETS) presents substantial health risks for pregnant women and newborn infants. Measurements of ETS include invasive and expensive biochemical tests as well as less invasive and lower-cost self-reported exposure and avoidance measures. Better understanding of self-report measures will help to select ETS assessments for evaluation. Methods: This analysis was conducted within the context of a tailored video intervention to reduce tobacco smoking and ETS exposure during pregnancy and after delivery, in the control group sample of 147 nonsmoking women. Measurements of salivary cotinine concentration, self-reported ETS exposure and avoidance behaviors were captured at 32 weeks gestation and 6 months postpartum. Results: Salivary cotinine concentration was significantly related to ETS avoidance among pregnant nonsmokers at 32 weeks gestation, but not ETS exposure. At 6 months postpartum, both the reported ETS exposure of the infant and maternal avoidance behaviors to reduce her infant’s exposure were associated with the infant’s salivary cotinine concentration. At 32 weeks gestation and 6 months postpartum, avoidance behaviors decreased as exposure increased. Discussion: This study suggests that for nonsmoking women during pregnancy, report of tobacco smoke avoidance is more valid than report of exposure. After delivery, self-reported ETS exposure or avoidance are associated with each other and biochemical measurement of salivary cotinine. These results provide researchers and clinicians with evidence to support inclusion of avoidance behaviors in the selection of ETS measure.

The ignorance of or lack of knowledge about cybersecurity aspects causes a critical problem regarding confidentiality and privacy. This security problem will continue to exist even if the user possesses less expertise in information security. The modern IT technologies are well developed, and almost everyone uses the features of IT technologies and services within the Internet. However, people are being affected due to cybersecurity threats. People can adhere to the recommended cybersecurity guidelines, rules, adopted standards, and cybercrime preventive measures. However, it is not possible to entirely avoid cybercrimes. Cybercrimes often lead to sufficient business losses and spread forbidden themes (hatred, terrorism, child porn, etc.). Therefore, to reduce the risk of cybercrimes, a web-based Blockchain-enabled cybersecurity awareness program (WBCA) process is introduced in this paper. The proposed web-based cybersecurity awareness program trains users to improve their security skills. The proposed program helps with understanding the common behaviors of cybercriminals and improves user knowledge of cybersecurity hygiene, best cybersecurity practices, modern cybersecurity vulnerabilities, and trends. Furthermore, the proposed WBCA uses the Blockchain technology to protect the model from the potential threats. The proposed model is validated and tested using real-world cybersecurity topics with real users and cybersecurity experts. We anticipate that the proposed program can be extended to other domains, such as national or corporate courses, to increase the cybersecurity awareness level of users.

This paper presents a theory on graph topological structure and graph coloring, proving that for any N-order graph structure (with a topological structure similar to ), the maximum number of colors required for coloring is less than or equal to . The Four Color Theorem is just one special case of this theory, with the maximum structure size for a four-color graph being a 4-order structure graph, hence requiring only a maximum of 4 colors for coloring.

The paper proves a theorem about the structure of the distribution function on which the extremum of fractionally linear functional is reached in the presence of an uncountable number of linear constraints. The problem of finding an extremal distribution function arises when determining the optimal control strategy in a class of Markov homogeneous randomized control strategies. The structure of extremal functions is described by a finite number of parameters, hence the problem is greatly simplified since it is reduced to the search for an extremum of some function.

Considering the current needs of industry 4.0, especially in the condition of systems linked to artificial intelligence, this multidisciplinary concept work and difficult to execute, proposes the main idea of recognizing patterns using mathematical concepts of simple access and logical resolution of great potential. The objective of this work is to demonstrate a process for pattern recognition by applying the Fibonacci concept to vibration signals of hybrid dynamical systems. For this to be possible, it was necessary to use the concepts of preprocessing in a vector for pattern recognition, together with the concepts of the golden rule of Fibonacci, finally, all applied in the theorem of Jeffcott Rotors. The general result, from a technical point of view, demonstrates positivity and relationship of patterns, because, considering the aspect of the location between the values of the experimental and numerical result, both signs have similarities.

This paper presents a new approach to a different proof of "Fermat's Last Theorem.” For the proof of the theorem, it is proposed to use a more straightforward geometrical approach. A special family of curves, the Elba curves, is introduced to facilitate the proof. This approach makes the proof easier to comprehend by mathematicians and those interested in the subject.

An evolutionary game is introduced which considers game-theoretic strategies in the context of non-linear population matrix models. This game considers the states and actions of the organisms of the evolving population, and a notion of dynamic equilibrium between strategies is described. The game’s formalism is expounded and a proof about equilibrium is given; specifically that any stable equilibrium can be described by proportions of pure strategies; particularly when population matrices are not defective.

The main goal of this paper is to study the weak gravitational lensing by Horndeski black hole in weak field approximation. In order to do so, we exploit the Gibbons-Werner method to the optical geometry of Horndeski black hole and implement the Gauss-Bonnet theorem to accomplish the deflection angle of light in weak field region. Furthermore, we have endeavored to extend the scale of our work by comprising the impact of plasma medium on the deflection angle as properly. Later, the graphical influence of the deflection angle of photon on Horndeski black hole in plasma and non-plasma medium is examined.

This review seeks to explain four features of viral respiratory illnesses that have perplexed generations of virologists: (1) the seasonal timing of respiratory illness; (2) the common viruses causing respiratory illness worldwide, including year-round disease in the Tropics; (3) the rapid response of outbreaks to weather, specifically temperature; (4) the rapid arrival and termination of epidemics caused by influenza and other viruses. The inadequacy of the popular explanations of seasonality is discussed, and a simple hypothesis is proposed, called Temperature Dependent Viral Tropism (TDVT), that is compatible with the above features of respiratory illness. TDVT notes that viruses can transmit themselves more effectively if they moderate their pathogenicity (thereby maintaining host mobility) and suggests that endemic respiratory viruses accomplish this by developing thermal sensitivity within a range that supports organ-specific viral tropism within the human body, whereby they replicate most rapidly at temperatures below body temperature. This allows them to confine themselves to the upper respiratory tract and to avoid infecting the lungs, heart, gut etc. Biochemical and tissue-culture studies show that “wild” respiratory viruses show such natural thermal sensitivity. The typical early autumn surge of colds and the existence of respiratory illness in the Tropics year-round at intermediate levels are explained by the tendency for strains to adapt their thermal sensitivity to their local climate and season. The TDVT hypothesis has important practical implications for preventing and treating respiratory illness including Covid-19. TVDT is testable with many options for experiments to increase our understanding of viral seasonality and pathogenicity.

The paper primarily demonstrates that the three internal triangles formed by connecting any point on a midsegment with the vertices of a generic triangle satisfy the geometric Proof of the Pythagorean theorem in Euclidean geometry. Moreover, this study elucidates the Pythagorean relationships inherent within three-dimensional geometric constructs resulting from the arrangement of three-dimensional spatial triangles. This geometric relationship, akin to a generalized extension of the Pythagorean theorem, unveils a unique spatial region characterized by this harmonious area interrelation among triangles.

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

In this article the possible impact on the present state of particle physics theory is discussed of two unrecognized theoretical elements. These elements are the awareness that (a) the quark is a Dirac particle with a polarisable dipole moment in a scalar field and that (b) Dirac’s wave equation for fermions, if derived from Einstein’s geodesic equation, reveals a scaling theorem for quarks. It is shown that recognition of these elements proves by theory quite some relationships that are up to now only empirically assessed, such as for instance, the mass relationships between the elementary quarks, the relationship between the bare mass and the constituent mass of quarks, the mass spectrum of hadrons and the mass values of the Z boson and the Higgs boson.

This paper presents experimental results of static and dynamic obstacle avoidance methods for a two-wheel mobile robot with independent control using a deep Q-learning (DQL) reinforcement learning algorithm. This is an alternative method that combines the Q-learning (QL) algorithm with a neural network. Neural networks in the DQL algorithm act as Q matrix table approximators for each pair (State - Action). The effectiveness of the proposed solution was verified through simulations, programming, and experimentation. This DQL algorithm is compared to the QL algorithm. First, the mobile robot communicated with the control script using the robot operating system (ROS). The mobile robot is code programmed using a Python in the ROS operating system combined with the DQL controller in Gazebo software. The mobile robot then performed experiments in a workshop with many different experimental scenarios. This DQL controller is improved in term of the computation time, convergence time, planning trajectory accuracy, and obstacles avoidance. Therefore, the DQL controller solved the path optimization problems for mobile robots better than the Q-learning controller.

Ptolemy’s Theorem in Euclidean geometry, named after the Greek astronomer and mathematician Claudius Ptolemy, is well known. We translate Ptolemy’s Theorem from analytic Euclidean geometry into the Poincar´e ball model of analytic hyperbolic geometry, which is based on M¨obius addition. The translation of Ptolemy’s Theorem from Euclidean geometry into hyperbolic geometry is achieved by means of the hyperbolic trigonometry, called gyrotrigonometry, to which the Poincar´e ball model gives rise, and by means of the duality of trigonometry and gyrotrigonometry.

In this review, various researches on finding the bending angle of light deflected by a massive gravitating object which regard the Gauss-Bonnet theorem as the premise have been revised. Primarily, the Gibbons and Werner method is studied apropos of the gravitational lensing phenomenon in the weak field limits. Some exclusive instances are deliberated while calculating the deflection angle, beginning with the finite-distance corrections on non-asymptotically flat spacetimes. Effects of plasma medium is then inspected to observe its contribution to the deflection angle. Finally, the Jacobi metric is explored as an alternative method, only to arrive at similar results. All of the cases are probed in three constructs, one as a generic statement of explanation, one for black holes, and one for wormholes, so as to gain a perspective on every kind of influence.

Different aspects in applying the nucleation theorem to the description of crystallization of liquids are analyzed. It is shown that, by employing the classical Gibbs' approach in the thermodynamic description of heterogeneous systems and assuming that the basic assumptions of classical nucleation theory commonly employed in application to crystallization hold, a general form of the nucleation theorem can be formulated valid not only for one-component but generally for multi-component systems. This result is taken then as the starting point for the derivation of particular forms of this theorem for the cases that the deviation from equilibrium is caused by variations of either composition of the liquid phase, temperature, or pressure. In this procedure, recently developed by us expressions for the curvature dependence of the surface tension, respectively, the dependence of the surface tension on pressure and/or temperature are employed. It is shown that the formulation of the nucleation theorem as proposed by Kashchiev [J. Chem. Phys. 76, 5098-5102 (1982)] holds also for multi-component systems as far as mentioned above assumptions are fulfilled. In the application of classical nucleation theory to crystallization processes it is assumed as one of its basic ingredients that the bulk properties of the critical clusters are widely identical to the properties of the newly evolving crystal phase. This assumption is, however, in general, it is not true. This limitation of the theoretical description can be overcome by the application of the generalized Gibbs approach for the specification of the dependence of the properties of critical crystal clusters on the degree of metastability of the liquid phase. Applying this method, it is demonstrated that a similar formulation of the nucleation theorem as derived based on classical nucleation theory holds true also in cases when a dependence of the state parameters of the critical clusters on the degree of deviation from equilibrium is appropriately accounted for.

When an edge is removed, a cycle graph Cn becomes a n-1 tree graph. This observation from extremal set theory leads us to the realm of set theory, in which a topological manifold of genus-1 turns out to be of genus-0. Starting from these premises, we prove a theorem suggesting that a manifold with disjoint points must be of genus-0, while a manifold of genus-1 cannot encompass disjoint points.

In modern mathematics, many concepts and ideas are described in terms of category theory. From this viewpoint, it is desirable to analyze what can be determined if, instead of the basic category of sets, we consider a similar category of fuzzy sets. In this paper, we describe a natural fuzzy analog of the category of sets and functions, and we show that, in this category, fuzzy relations (a natural fuzzy analogue of functions) can be determined in category terms -- of course, modulo 1-1 mapping of the corresponding universe of discourse and 1-1 re-scaling of fuzzy degrees.

This paper introduces a rigorous and comprehensive approach for the assessment of marine shafting systems through the utilization of an advanced Pi-Theorem based scaling methodology. Integrating journal bearing similarity assessment and shaft-line scaling methodology with advanced dimensional analysis, the study aims to provide a methodology foundation for systematic replication and analysis of marine shafting systems through scaled models. The proposed scaling methodology ensures geometric and mechanical similarity in terms of shaft-line deflection, considering key scaling parameters such as shaft length, diameter, weight, loads, rotational speed, material properties, bearing locations, and offsets. The advanced dimensional analysis computes specific non-dimensional ratios to guarantee a close resemblance between a real-size system and a scaled lab model, enabling meaningful experimentation. The methodology is analytically derived and validated with numerical simulations for a case study, conducting comparative analysis, evaluating discrepancies, and utilizing the integrated framework for experimentation.

Exercising surds to represent figures is a common practice in scientific and Engineering fields, especially in scripts where calculators are banned or unapproachable. Peter Chew Theorem make result becomes simple when dealing with converting Quadratic Surds. The substance of the Peter Chew Theorem lies in enabling the forthcoming generation to simple break problems related to Quadratic Surds more effectively, easing a direct comparison with contemporary results. By employing the Peter Chew Theorem, one can streamline the tutoring and literacy of math, particularly concerning second- order direct equations with constant portions. This theorem's objective aligns with Albert Einstein's famed quotation Everything should be made as simple as possible, but not simpler.

In this article, we demonstrate the weak gravitational lensing in the context of Bocharova-Bronnikove-Melnikov-Bekenstein (BBMB) black hole. To this desire, we derive the deflection angle of light in a plasma medium by BBMB black hole using the Gibbons and Werner method. First, we obtain the Gaussian optical curvature and implement the Gauss-Bonnet theorem to investigate the deflection angle for spherically symmetric spacetime of BBMB black hole. Moreover, we also analyze the graphical behavior of deflection angle by BBMB black hole in the presence of plasma medium.

Evolutionary, sequence and structural analyses of tRNA variable (V) loops provides a new understanding. Type I tRNA V loops have a primordial length of 5 nt, and type II tRNA V loops have a primordial length of 14 nt. Sequence-based alignments of type I and type II V loops gave deceptive results. Type II V loops are characterized by the trajectory of the V arm, the size and sequence of the loop and the first and last V loop nucleotides and their known contacts. Depending on the V arm trajectory, type II V stems and loops can be interaction sites for aminoacyl-tRNA synthetases. So, type II V arms for tRNALeu, tRNASer and tRNATyr (found in Bacteria) were coevolved and selected to distinguish determinants to support cognate tRNA charging. The alignment of type I and type II V loops was adjusted based on tRNA evolution. Results are consistent with Archaea being an older and simpler life form than Bacteria. TRNAome sequences were derived from radiation of an ordered tRNAPri (Pri for primordial) sequence comprised of known RNA repeats and inverted repeats. V loop and tRNA sequences, therefore, convey a history of the primary successful pathway in the origin of life.

Matiyasevich's theorem states that there is no algorithm to decide whether or not a given Diophantine equation has a solution in non-negative integers. Smorynski's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. We prove: (1) Smorynski's theorem easily follows from Matiyasevich's theorem, (2 ) Hilbert's Tenth Problem for Q has a negative solution if and only if the set of all Diophantine equations with a finite number of rational solutions is not recursively enumerable.

This paper discovers that current variational principle and Noether theorem for different physics systems with (in)finite freedom systems have missed the double extremum processes of the general extremum functional that both is deduced by variational principle and is necessarily taken in deducing all the physics laws, but these have not been corrected for over a century since Noether's proposing her famous theorem, which result in the crisis deducing relevant mathematical laws and all physics laws. This paper discovers there is the hidden logic cycle that one assumes Euler-Lagrange equations, and then he finally deduces Euler-Lagrange equations via the equivalent relation in the whole processes in all relevant current references. This paper corrects the current key mistakes that when physics systems choose the variational extreme values, the appearing processes of the physics systems are real physics processes, otherwise, are virtual processes in all current articles, reviews and (text)books. The real physics should be after choosing the variational extreme values of physics systems, the general extremum functional of the physics systems needs to further choose the minimum absolute extremum zero of the general extremum functional, otherwise, the appearing processes of physics systems are still virtual processes. Using the double extremum processes of the general extremum functionals, the crisis and the hidden logic cycle in current variational principle and current Noether theorem are solved. Furthermore, the new mathematical and physical double extremum processes and their new mathematical pictures and physics for (in)finite freedom systems are discovered. This paper gives both general variational principle and general Noether theorem as well as their classical and quantum new physics, which would rewrite all relevant current different branches of science, as key tools of studying and processing them.

This paper presents an approach to the elastic analysis of beams subjected to Saint-Venant torsion using Green’s theorem and the finite difference method (FDM). The Saint-Venant torsion of beams, also called free torsion or unrestrained torsion, is characterized by the absence of axial stresses due to torsion; only shear stresses are developed. A solution to this torsion problem consists of finding a stress function that satisfies the governing equation and the boundary conditions. The FDM is an approximate method for solving problems described with differential equations; it does not involve solving differential equations, equations are formulated with values at selected nodes of the structure. In this paper, the beam’s cross-section was discretized using a two-dimensional grid and additional nodes were introduced on the boundaries. The introduction of additional nodes allowed us to apply the governing equations at boundary nodes and satisfy the boundary conditions. Beams with solid sections as well as multiply connected cross-sections were analyzed using this model; shear stresses and localized stresses at reentrant corners, torsion constant, and warping displacements were determined. Furthermore, beams with thin-walled closed sections, single-cell or multiple-cell, were analyzed using the Prandtl stress function whereby a linear distribution of the shear stresses over the thickness was considered; closed-form solutions for shear stresses and torsion constant were derived. The results obtained in this study showed good agreement with the exact results for rectangular cross-sections, and the accuracy was increased through a grid refinement. For thin-walled closed sections, the shear stresses obtained at the centerline using the closed-form solutions were in agreement with the values using Bredt’s analysis but the maximal values in the cross-section, which did not necessarily occur at the position with the smallest thickness, were higher; in addition, the results using the closed-form solutions were in good agreement with those using FDM.

The principal objective of this project is to investigate the gravitational lensing by asymptotically flat black holes in the framework of Horndeski theory in weak field limits. To achieve this objective, we utilize the Gauss-Bonnet theorem to the optical geometry of asymptotically flat black holes and applying the Gibbons-Werner technique to achieve the deflection angle of photons in weak field limits. Subsequently, we manifest the influence of plasma medium on deflection of photons by asymptotically flat black holes in the context of Horndeski theory. We also examine the graphical impact of deflection angle on asymptotically flat black holes in the background of Horndeski theory in plasma as well as non-plasma medium.

The central limit theorem (CLT) and its generalization to stable distributions have been widely described in literature. However, many variations of the theorem have been defined and often their applicability in practical situations is not straightforward. In particular, the applicability of the CLT is essential for a derivation of heterogeneous ensemble of Brownian particles (HEBP). Here, we analyze the role of the CLT within the HEBP approach in more detail and derive the conditions under which the existing theorems are valid.

Fluctuation theorems are a class of equalities each of which links a thermodynamic path functional such as heat and work to a state function such as entropy and free energy. Jinwoo and Tanaka [L. Jinwoo and H. Tanaka, Sci. Rep. 5, 7832 (2015)] have shown that each microstate of a fluctuating system can be regarded as an ensemble (or a 'macrostate') if we consider trajectories that reach each microstate. They have revealed that local forms of entropy and free energy are true thermodynamic potentials of each microstate, encoding heat, and work, respectively, within an ensemble of paths that reach each state. Here we show that information that is characterized by the local form of mutual information between two subsystems in a heat bath is also a true thermodynamic potential of each coupled state and encodes the entropy production of the subsystems and heat bath during a coupling process. To this end, we extend the fluctuation theorem of information exchange [T. Sagawa and M. Ueda, Phys. Rev. Lett. 109, 180602 (2012)] by showing that the fluctuation theorem holds even within an ensemble of paths that reach a coupled state during dynamic co-evolution of two subsystems.

The present paper introduces a method of basis transformation of vector fields that is specifically applicable to polynomials space and differential equations with certain polynomials solutions such as Hermite, Laguerre and Legendre polynomials. The method based on separated transformation of vector space basis by a set of operators that are equivalent to the formal basis transformation and connected to it by linear combination with projection operators. Applying the Forbenius covariants yields a general method that incorporates the Rodrigues formula as a special case in polynomial space. Using the Lie algebra modules, specifically , on polynomial space results in isomorphic algebras whose Cartan sub-algebras are Hermite, Laguerre and Legendre differential operators. Commutation relations of these algebras and Baker-Campbell-Hausdorff formula gives new formulas for special polynomials

Our previous studies showed pure blue (B) spectra from LEDs can promote shade avoidance responses (SARs). However, it is unknown whether SARs vary among different peak wavelengths (λpeak) of B or how they compare with other photomorphologically-important wavebands, such as ultraviolet-A and far-red. To answer these questions, mustard (Brassica juncea, ‘Ruby Streaks’) and arugula (Brassica eruca, ‘Rocket’) seedlings, grown to the cotyledon unfolding stage under the following narrowband spectrum treatments: UVA (λpeak = 385 nm), B1 (λpeak = 404 nm), B2 (λpeak = 440 nm), B3 (λpeak = 455 nm), and FR (λpeak = 730 nm). Both red (R, λpeak = 660 nm) and dark (D) were used as control treatments. The spectrum treatments were provided at 50 μmol m−2 s−1 on a continuous basis. There were no differences among the B treatments except for reduced mustard fresh weight (FWt) in B3. Compared with R, the B treatments promoted hypocotyl elongation, reduced cotyledon size, and increased petiole length in arugula and B1 increased petiole length in mustard. Compared with the B treatments, UVA inhibited hypocotyl and petiole elongation, similar to or greater than R in both species. Compared with the other LED treatments, seedlings grown under FR generally had the lowest hypocotyl and petiole elongation and the smallest cotyledons. Compared to the LED treatments, D substantially promoted hypocotyl elongation and reduced cotyledon size, except compared to FR in arugula. Among the spectrum treatments, the three B treatments had the greatest SAR promotion effects in both species. Despite having the lowest phytochrome activity, FR inhibited SARs normally associated with high FR environments. Legacy parameters used to estimate SAR-promoting effects of spectrum treatments may not be appropriate for characterizing narrowband spectra from LEDs – new approaches must be developed.

In applied mathematics, statistics, operation research, physics, and engineering mathematics, confluent representations of hypergeometric functions in one and two variables are known to exist, and their occurrence in a variety of applications is also well recognised. In this article, we intend to present a new derivation of the extended Watson summation theorem for the Kim et al. given series 4F3. We assessed four attractive integrals involving generalized hypergeometric function as an application. With a few particular cases, this note will come to an end. In the results given above, symmetry appears on its own.

In this paper, we study the gravitational lensing by some black hole classes within the non-linear electrodynamics in weak field limits. First, we calculate an optical geometry of the non-linear electrodynamics black hole then we use the Gauss-Bonnet theorem for finding deflection angle in weak field limits. The effect of non-linear electrodynamics on the deflection angle in leading order terms is studied. Furthermore, we discuss the effects of the plasma medium on the weak deflection angle.

Maxwell's fish eye has been known to be a perfect lens in optics. In this letter, using the Gibbons-Werner method, namely Gauss-Bonnet theorem on optical geometry of black hole, we extend the calculation of the weak gravitational lensing within the Maxwell's fisheye as a perfect lensing in medium composed of an isotropic refractive index that near-field information can be obtained from far-field distances. Moreover, these results provide an excellent tool to observe compact massive object by weak gravitational lensing within the dark matter medium and to understand the nature of the dark matter that may effect the gravitational waves. Moreover, we show that Gauss-Bonnet theorem is a global effect and this method can be used as a new tool on any optical geometry of compact objects in dark matter medium.

In this note, we demonstrate the quantum no-hiding theorem of Braunstein and Pati [Phys. Rev. Lett. 98, 080502 (2007)] using the IBM 5Q quantum processor. We also analyze the circuit using the ZX calculus of Coecke and Duncan [New J Phys. 13(4), 043016 (2011)], which provides a pictorial/category-theoretic demonstration of the no-hiding theorem.

This paper discovers that current canonical variational principle and canonical Noether theorem of (in)finite freedom systems for different physics systems have neglected doublet extreme value processes of the general extreme value functional that both is derived by variational principle and is necessarily be taken in deriving all ( quantum ) physics laws in phase space, but which have not been done for over one century since Noether's showing her distinguished theorem, which lead to the crisis deriving all (quantum) physics laws (necessary) in phase space. We discover there is the hidden logic cycle that people assume canonical equations, and then they finally deduce canonical equations by the equivalent relation in the whole processes in all current references. We correct the current key mistake concepts that when physics systems take the variational extreme values, the appearing processes of the physics systems are real physics processes, otherwise, are virtual processes in all current references. The real physics should be what after taking the physics systems' variational extreme values, the physics systems' general extremum functional needs to further take the general extremum functional's minimum absolute extremum zero, otherwise, the appearing processes of physics systems still are virtual processes. Conservation current equations and conservation currents, in phase space, of general canonical variational principle and general canonical Noether theorem are, respectively, deduced for the first time. Using the general extremum functionals' doublet extreme value processes, the hidden logic cycle and the crisis in current canonical variational principle and current canonical Noether theorem are solved. Consequently, the new mathematical pictures, classical and quantum new physics in phase space and the new mathematical and physical doublet extremum processes for (in)finite freedom systems are discovered. General canonical variational principle and general canonical Noether theorem naturally are given, which would rewrite all the different sciences in phase space, as key tools of studying and dealing with them.

A quantitative description of the second law of thermodynamics in small scale systems and over short time scales comes from various fluctuation theorems. The applicability of the transient fluctuation theorem in particular to small scale systems perturbed from an initial equilibrium steady-state distribution has been demonstrated both theoretically and experimentally in several works over the past few decades. In addition, some experimental works in the past have also made successful attempts to demonstrate the applicability of the fluctuation theorem to small scale systems evolving from a certain nonequilibrium steady-state distribution over relatively long time scales. To this end, this paper seeks to demonstrate the transient fluctuation theorem for a Brownian particle confined within a power-law trapping potential by following the trajectory of the particle that itself is translating linearly along one dimension with constant acceleration in a viscous fluid. Considered herein is an idealized version of this model, in that it is assumed that the force of the trapping potential is only felt by the translating Brownian particle confined within the trap, and that this Brownian particle moves relative to the fluid molecules that are held stationary. The results presented herein show that the transient fluctuation theorem applies not only to equilibrium steady-state distributions but also to nonequilibrium steady-state distributions of an ideal colloidal system in an accelerated frame of reference in the asymptotic (long-time) limit.

In this paper, first we use the optical metrics of black-bounce traversable wormholes to calculate the Gaussian curvature. Then we use the Gauss-Bonnet theorem to obtain the weak deflection angle of light from the black-bounce traversable wormholes. Then we investigate the effect of dark matter medium on weak deflection angle using the Gauss-Bonnet theorem. We show how weak deflection angle of wormhole is affected by the bounce parameter $a$. Using the Gauss-bonnet theorem for calculating weak deflection angle shows us that light bending can be thought as a global and topological effect.

We prove general stability theorems for $n$-dimensional quartic-cubic-quadratic-additive type functional equations of the form \begin{eqnarray*} \sum_{i=1}^\ell c_i f \big( a_{i1}x_1 + a_{i2}x_2 + \cdots + a_{in}x_n \big) = 0 \end{eqnarray*} by applying the direct method. These stability theorems can save us much trouble of proving the stability of relevant solutions repeatedly appearing in the stability problems for various functional equations.

In a previous paper (https://dx.doi.org/10.2139/ssrn.3648127 ), an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it.

The paper focuses on the application of a multilevel, integrative and territorial approach to the protection of cultural heritage through planning instruments in Serbia. It points out the problems of the sectoral approach and discusses international recommendations that can be integrated into the planning methodology. The case study is the area of Djerdap National Park, which has an already established international and national importance. The research suggests that the cultural heritage in the area, with the exception of the Roman limes, is still recognized at the level of individual localities. The study emphasizes the importance of aligning all levels of governance to safeguard the whole spatial entity rather than focusing solely on its particular areas. The interna-tional and national importance of the planning area contributes to the strengthening of awareness of heritage and its institutional protection. However, the vitality of the area, which is key to its sustainable development, comes from the local level. Planning documents contribute to the inte-gration of local values and local communities into development programs and projects.

Glycosidic linkage analysis was conducted on the unfractionated polysaccharides in the alcohol-insoluble residues (AIRs) prepared from six red seaweeds (Gracilariopsis sp., Prionitis sp., Mastocarpus papillatus, Callophyllis sp., Mazzaella splendens, and Palmaria palmata) using GC-MS/FID analysis of partially methylated alditol acetates (PMAAs). The cell walls of P. palmata primarily contained mixed-linkage xylans and small amounts of sulfated galactans and cellulose. In contrast, the unfractionated polysaccharides of the other five species were rich in galactans displaying diverse 3,6-anhydro-galactose and galactose linkages with varied sulfation patterns. Different levels of cellulose were also observed. This glycosidic linkage method offers advantages for cellulose analysis over traditional monosaccharide analysis that is known for underrepresenting glucose in crystalline cellulose. Relative linkage compositions calculated from GC-MS and GC-FID measurements showed that anhydro sugar linkages generated more response in the latter detection method. This improved linkage workflow presents a useful tool for studying polysaccharide structural variations across red seaweed species. Furthermore, for the first time, relative linkage compositions from GC-MS and GC-FID measurements, along with normalized FID and total ion current (TIC) chromatograms without peak assignments, were analyzed using principal component analysis (PCA) as a proof-of-concept demonstration of the technique's potential to differentiate various red seaweed species.

Background: Educating college students about the importance of good sleep habits could lead to the adoption of healthier sleep routines, including sufficient sleep duration and sleep quality. The current pre-post study examines the impact of completing a sleep education program called “Sleep 101” on (1) sleep hygiene practices, (2) sleep quality, and (3) weekday and weekend sleep behaviors among college students. “Sleep 101” is an interactive online course developed to educate college students about the importance of sleep by addressing basic sleep physiology, the impact of sleep on mood, academic and physical performance, the interactions between sleep and various substances, and common sleep disorders. Methods: 338 college students were recruited from a midsized public university in the US and invited to participate in “Sleep 101”, of which 25 participants completed the baseline and post-intervention questionnaire. The Sleep Hygiene Index (SHI) was utilized to evaluate sleep hygiene practices, while standard questions were employed to assess weekday and weekend sleep behaviors and overall sleep quality. Results: Those who completed the study demonstrated a significant increase in weekday sleep duration and were less likely to engage in negative prior bedtime activities. In addition, 40% of those who completed baseline and post-intervention assessments noticed improvements in their sleep quality. Conclusion: These findings suggest that a brief online program is beneficial in improving sleep behaviors among college and could be a scalable approach to addressing current sleep issues and preventing future sleep problems in college students.

The profile of secondary metabolites occurring in apple cuticular layer is not only characteristic for particular apple cultivar, but also dynamically reflects various external factors in growing environment. In this study, the possibility to authenticate apple samples based on analysis of their cuticular layer extracts was investigated. Ultra-high-performance liquid chromatography coupled to high resolution tandem mass spectrometry (UHPLC-HRMS/MS) was employed for obtaining metabolomic fingerprints. In total, 274 authentic apple samples, four cultivars harvested within the seasons 2020 to 2022 in the Czech Republic and Poland were analysed. The generated complex data processed by univariate and multivariate statistical methods enabled to build classification models for discrimination of apple cultivars as well as their geographical origin. The models showed very good performance in differentiation of Czech and Polish samples for three of four cultivars: ‘Gala’, ‘Golden Delicious’ and ‘Idared’, moreover, the validity of the models was verified over harvest seasons. The diagnostic markers, besides metabolites of triterpene biosynthetic pathway, mainly represented wax esters. ‘Jonagold’, which is known to be susceptible to mutations, was the only cultivar for which the unambiguous classification of geographical origin was not possible.

Strawberry root rot caused by Neopestalotiopsis clavispora is one of the main diseases of strawberry and significantly impacts the yield and quality of strawberry fruit. There are now no effective control techniques available except for fungicide sprays, which may directly impact consumers. Biological control is becoming an alternative method for the control of plant diseases to replace or decrease the application of traditional synthetic chemical fungicides. Trichoderma is widely used as a biological agent for controlling strawberry root rot. In order to provide resources for screening the highly effective biocontrol fungus for controlling strawberry root rot caused by Neopestalotiopsis clavispora, the biocontrol mechanism,the control effects of Trichoderma asperellum CMT10 against strawberry root rot and growth-promoting effects on strawberry seedlings were investigated by plate culture, microscopy observation and root drenching methods.The results showed that CMT10 had obvious competitive, antibiotic and hyperparasitism effects on Neopestalotiopsis clavispora CMGF3. The CMT10 could quickly occupy nutritional space, and the inhibition rates of CMT10 against CMGF3 in confrontation culture on 7 d was 65.49%. The inhibition rates of volatile metabolite and fermentation metabolite produced by CMT10 against CMGF3 were 79.67% and 69.84%, respectively. The mycelium of strain CMT10 can act as hyperparasites by making contacting, winding and penetrating hyphae of CMGF3. Pot experiment showed that the biocontrol efficacy of CMT10 on strawberry root rot caused by Neopestalotiopsis clavispora was 63.00%. CMT10 had obvious promotion effect on strawberry growth, the plant height, root length, total fresh weight, root fresh weight, stem fresh weight and root dry weight, with the promotion rates were 20.09%, 22.39%, 87.11%, 101.58%, 79.82% and 72.33%, respectively. Overall, this study showed the ability of Trichoderma asperellum CMT10 to control strawberry root rot and their potential to develop as novel biocontrol agents to replace chemical fungicides for eco-friendly, sustainable agriculture.

Apis mellifera, especially weak ones, are highly vulnerable to Carpoglyphus lactis mites, which can rapidly infest and consume stored pollen, leading to weakened colonies and potentially colony collapse. This study aimed to ascertain and investigate the prevalence of this mite in honeybee colonies across 9 provinces in the Republic of Korea (ROK). A total of 615 honeybee colonies were collected, from 66 apiaries during the spring and 58 apiaries during the summer of 2023. A 1,242 bp segment of the the Cytochrome c oxidase subunit 1 (COI) gene was amplified using the polymerase chain reaction method. The detection levels of C. lactis in the honeybees were compared between winter and summer. Based on the COI sequence analysis, the nucleotide sequence similarity of C. lactis mites isolated in the ROK with those from China (NC048990.1) was found to be 99.5%, and with those from the United Kingdom (KY922482.1) was 99.3%. This study is the first report of C. lactis in Korean apiaries. The findings in this study demonstrate a significantly higher detection rate in winter, which is 4.1 times greater than that in summer (p < 0.001). Furthermore, the results underscore the usefulness of molecular diagnostic techniques for detecting C. lactis mites.

COX II containing a dual core CuA active site is one of the three core subunits of mitochondrial Cco, which plays a significant role in the physiological process. In this report, the full-length cDNA of COXⅡ gene was cloned from Sitophilus zeamais, which had an ORF of 684 bp encoding 227 amino acids residues. The predicted COXⅡ protein had a molecular mass of 26.2 kDa with pI value of 6.37, and multiple sequence alignment and phylogenetic analysis indicated that Sitophilus zeamais COXⅡ had high sequence identity 78.51% with the COXⅡ of other insect species, especially similarity to sitophilus oryzae. This gene was subcloned into the prokaryotic expression vector pET-32a, and induced by IPTG in E.coli Transetta (DE3) expression system. Finally the COXⅡ with 6-His tag was purified using affinity chromatography with Ni²⁺-NTA agarose. WB showed the recombinant COXⅡ was about 44 kD, and the concentration of fusion protein was 50μg/mL. UV-spectrophotometer and infrared spectrometer analysis showed that recombinant COXⅡ could catalyze the oxidation of substrate Cytc, and influenced by AITC. It was found that AITC could form a hydrophobic region with COXⅡ protein via molecular docking, besides, a sulfur atom of AITC structure could form a length of 2.9 Å hydrogen bond with Leu-31. These results will provide valuable information for elucidating the role of COXⅡ in Sitophilus zeamais responses to AITC, meanwhile, it will helpful to carry out a point mutation in AITC binding sites for the future research.

The properties of the annual, semiannual and triennial oscillations (AO, SAO and TO) in the middle atmosphere have been investigated using the TIMED/SABER temperature data. The Lomb-Scargle and wavelet spectra were used to determine the dominant oscillations in the background temperature field. The AO is prominent at the mid-latitudes. The AO amplitudes present an asymmetry between the two Hemispheres, being larger in the mesosphere than in the stratosphere. The SAO dominates the tropical regions, with three amplitude maxima at altitudes of 45, 75, and 85 km. The SAOs in the upper mesosphere (75 km) are out of phase with those in the mesopause (85 km) in the tropical regions, which can generate an enhancement of 11 K at each equinox, contributing to the lower mesospheric inversion layer. The TO is significant in the tropical region, with amplitude being maximum at 35, 45 and 85 km. Result shows that there may be potential interaction by the TO with SAO at 85km at the equator. The relation between ENSO and TO has also been discussed. The ENSO signal may modulate the amplitude of the TO, mainly in the lower stratosphere. The real origin of the TO may lie in the wave-mean-flow interaction.

This paper is focused on typical rural settlements in the Stara Planina Mountain area in Serbia. They are distinguished by their authenticity, identity and character, and they have still not been destroyed by inappropriate development as is the case in some other mountain areas in Serbia, where the effects of urbanization, globalization and homogenization are obvious. Consequently, there is a need to prevent these effects in mountain areas where there is a threat of disbalance between development and the inherited natural and cultural values. The paper starts from several important concepts that relate contemporary approaches to cultural heritage preservation, place morphology and planning future development. The concept definitions from recent documents from related fields are used. These concepts are then applied to the area of Stara Planina Mountain and its rural settlements. The necessity for an integrative approach to planning this area with significant natural and anthropogenic potential is pointed out, including its integration into international programs of sustainable development.

The research reported on this paper was aimed at improving the overall efficiency of a PDO certified artisanal cheese production process. Being a PDO certified foodstuff by the EU, it is considered to have properties and qualities determined by the geographical environment in which is made, with its production taking place in a specific and determined geographical location, in this case the Serra da Estrela region. In that sense, the authors conducted a mapping according to a systemic perspective of the processes involved in the context of manufacturing and distribution of certified Serra da Estrela cheese. Numerous methods were used throughout the process, such as a systemic design analysis, and techniques derived from ethnographic methods, which led to the collection of data in the field and consequently provided the immersion of the researcher in genuine work situations. Critical points were identified and emphasized in the systemic map with the purpose of encouraging initiatives to address and overcome the gaps and inefficiencies detected. The systemic design analysis triggered the development of design work. Observations following an ethnographic approach identified ergonomic risks in cheese making during the process of cutting excess chips, fostering the emergence of musculoskeletal disorders at the wrist. A tool that fits best to the task at hand was developed. A prototype of the new tool enabled collecting feedback from use in the work context, in order to inform product development. The domains of agricultural production and microbiology, considering the specific microorganisms developed trough the ripening process of the cheese, turned out to be aspects of high importance for the issue under focus, contributing to a broader understanding of the ripening process and its risks, simultaneously improving the efficiency and success of cheese production. If it were not for the systemic analysis, which served as a link between the boundaries of distinct domains such as the risk of microorganism contamination, ergonomics, energy efficiency, legislation and regulation policies, transportation challenges and economic viability, approached throughout the research. Simultaneously creating bridges between them, the various problems might not have been detected in the first place, as they are usually addressed in specialized disciplines, predetermined by the restrictions of each specific area of knowledge. As a consequence of the development of this research, which was based on an analysis that sought to establish possible connections between various disciplines and tried to constantly maintain a holistic perspective, making new connections and observing the issues from a new angle, apart from the already established methodologies. All this allowed to lay out the seeds for the development of a plan to tackle the critical points identified by the systemic analysis reported in this paper.

Promoting green development has become an important way to optimize the ecological and economic structure and promote sustainable development. The Yangtze River Economic Belt is an important economic corridor in China, and it remains to be examined whether the implementation of environmental regulations has enhanced the green total factor productivity (GTFP) of cities. This paper calculates the green total factor productivity of 107 cities within the Yangtze River Economic Belt by using the super-efficient SBM model and the GML index with Chinese city panel data from 2007-2019 and measures the intensity of environmental regulations through textual analysis. The bidirectional fixed-effects model constructed in this paper suggests an inverted U-shaped relationship between environmental regulation and GTFP, which is confirmed by a series of robustness tests. Green technology innovation and advanced industrial structure play a mechanism role in this. In regions with lower levels of green technology and industrial structure, the inverted U-shaped relationship between environmental regulation and green total factor productivity is more significant. In addition, the phenomenon of GTFP rising and then falling because of environmental regulation is more obvious in cities in the middle and upper reaches of the Yangtze River and outside the urban agglomerations. Therefore, when formulating environmental regulation policies, it is necessary to balance the relationship between economic development and environmental protection and harmonize the environment and economic development of the entire Yangtze River Basin.

The wetlands in northeastern Bangladesh are home to some of the most prolific and valuable ecosystems on the planet, offering a wide range of benefits to both the local and wider communities. A limited number of research on this topic have been carried out in various wetlands in coastal hilsa, but none have been located in the northeastern region of Bangladesh. Thus, the goal of this study was to better understand the most commercially relevant species (anadromous hilsa) in northeastern Bangladesh as well as to assess the wetland ecosystem services more thoroughly with the contribution of their fish genetic resources. In addition to laboratory studies, fieldwork was done in the fishing settlements along the Surma River, Hakaluki Haor, and Tanguar Haor. The study classified 77 fish species into 21 subcategories of ecosystem services, of which 56% were not threatened, 17% were vulnerable, and 10% were highly endangered. The species Hilsa was found to be the most economically significant, accounting for 1% of the GDP overall. The study determined if the hilsa stock of the examined wetlands maintains a single or several subpopulations in comparison to other parts of the country when they migrate from saline water to northeastern Bangladesh (freshwater). But when compared to other groups, the FST score was between 0.000 to 0.017, indicating that the populations are identical and that there is genetic material sharing between them. Additionally, these statistics imply that the Sylhet haor and adjacent river systems contain a single stock of Hilsa fish. Nevertheless, a number of stresses and risks, including overexploitation, illicit and destructive fishing, siltation, and natural disasters like flash floods, have been linked to changes in the supply of hilsa and other ecosystem services. This study also emphasizes the necessity of policy attention and research to address the concerns.

In this paper, we introduce a specialized, fully automated experimental arrangement designed for assessing the effectiveness of augmented and virtual reality technologies in healthcare setting and explore its design principles focusing on depth sensor characterization. The main goal of this project is to establish a robust benchtop platform for the quantitative evaluation of extended reality technologies in a controlled environment, emphasizing the practical assessment of augmented reality head-mounted devices. We outline a design concept and considerations for an experimental configuration aimed at creating a realistic testing environment. This apparatus comprises an observation platform mounted on a three-degree-of-freedom motorized system and a test phantom stage. Focusing on real-case scenarios, we utilized a range of sensors, including readily available range-sensing cameras and commercial augmented reality headsets, such as the Intel RealSense L515 LiDAR camera, mounted on the motion control system. The setup enabled automated data collection and facilitates controlled assessments and validation of various facets of augmented reality technologies, including object, hand, and head tracking, as well as static and dynamic image registration. This paper describes the system architecture, the process of automated data collection, and presents several evaluation studies conducted with this setup, providing insights into the quality and temporal noise associated with static or moving objects or observers in augmented reality applications.

To conduct high-precision and high-resolution numerical simulation of complex flow structures in turbomachinery, a high-order finite volume weighted essentially non-oscillatory (WENO) scheme for the large eddy simulation (LES) is improved and embedded into the three-dimensional viscous unsteady CFD solver NUAA-Turbo. Firstly, the spectral characteristics and unsteady convergence of the improved WENO scheme are studied. Compared with the classical WENO scheme, the improved WENO scheme has better dissipation and dispersion characteristics and faster convergence speed. Then, the coefficient CW of the Wall-Adapting Local Eddy-viscosity (WALE) model is calibrated by decaying homogeneous isotropic turbulence (DHIT) test case. Finally, the scheme is applied to conduct high-precision LES calculations of turbulent boundary layer flow, supersonic compression corner flow, and low-pressure turbine cascade separation flow. The numerical simulation results show that this WENO scheme has excellent shock wave capture ability and turbulence resolution and can capture more flow field details with less mesh size, greatly reducing the computational cost and laying a foundation for large-scale engineering application of LES.

To secure logic circuits against the illegal copying the insertion of the so-called key bit inputs using XOR/XNOR gates has been proposed in . The inserted gates modify (lock) the behavior of the original circuit and only the correct choice of the secret key bits guarantees the equivalent behaviour of the locked circuit to the original circuit. To break this kind of security, i.e. to find the secret key bits, there was a SAT solver based attack proposed in . The aim of this work is to experimentally verify this attack on several locked circuits with various number of primary inputs and outputs and with various number of gates. Except for the random placement of the key gates we evaluate also the positioning with chaining elimination. The obtained and presented results show that we were able to unlock 10 of 11 circuits within few minutes on a common PC.

Intermetallic compounds are increasingly being expected to utilize in tribological environments, but to date the works are hindered by insufficient ductility at low and medium temperature. This paper presents a novel multiphase intermetallic alloy with the chemical composition of Mo-40Ni-13Si (at.%). Microstructure characterization reveals that a certain amount of ductile Mo phases formed during the solidification process of ternary Mo-Ni-Si alloy melt, which is undoubtedly beneficial to the ductility improvement of intermetallic alloy. Tribological properties of the designed alloy, including wear resistance, friction coefficient and metallic tribological compatibility, were evaluated under dry sliding wear test conditions at room temperature. Results suggested that the multiphase alloy possesses an excellent property for room-temperature wear applications, which is attributed to the unique microstructural features and thereby good combination in hardness and ductility. The corresponding wear mechanism is also reported by observing the worn surface, subsurface and wear debris of alloy, which to be found is soft abrasive wear.

With the integrated development of the Internet, wireless sensor technology, cloud computing, and mobile Internet, there has been a lot of attention given to research about and applications of the Internet of Things. A Wireless Sensor Network (WSN) is one of the important information technologies in the Internet of Things; it integrates multi-technology to detect and gather information in a network environment by mutual cooperation, using a variety of methods to process and analyze data, implement awareness, and perform tests. This paper mainly researches the localization algorithm of sensor nodes in a wireless sensor network. Firstly, a multi-granularity region partition is proposed to divide the location region. In the range-based method, the RSSI (Received Signal Strength indicator, RSSI) is used to estimate distance. The optimal RSSI value is computed by the Gaussian fitting method. Furthermore, a Voronoi diagram is characterized by the use of dividing region. Rach anchor node is regarded as the center of each region; the whole position region is divided into several regions and the sub-region of neighboring nodes is combined into triangles while the unknown node is locked in the ultimate area. Secondly, the multi-granularity regional division and Lagrange multiplier method are used to calculate the final coordinates. Because nodes are influenced by many factors in the practical application, two kinds of positioning methods are designed: the unknown node is in the positioning unit or not. When the unknown node is on the side of the positioning unit, we use the method of vector similarity. Moreover, we use the centroid algorithm to calculate the ultimate coordinates of unknown node. When the unknown node is not on the side of the positioning unit, we establish a Lagrange equation containing the constraint condition to calculate the first coordinates. Furthermore, we use the Taylor expansion formula to correct the coordinates of the unknown node. In addition, this localization method has been validated by establishing the real environment.

The electroencephalogram (EEG) is a record of brain activity. Brain Computer Interface (BCI) technology formed by the EEG signal has become one of the hotspots at present. How to extract the feature signal of EEG is the most basic research of BCI technology. In this paper, A new method of recognizing fatigue, conscious, concentrated state of human brain is proposed by the combination of discrete wavelet transform and the neural network based on EEG signal. First of all, the law signal is preprocessed by the wavelet denoising method because the law EEG signal contains a large number of high frequency noise, which is decomposed into multi-layer high frequency signal and low frequency signal. thus, δ wave, θ wave, α wave, β wave are obtained by the wavelet transform. And then, frequency band energy of the different wave is regards as the feature signal of EEG. In the experiment, the feature signal is classified by radial basic function (RBF) and annealed chaotic competitive learning network (ACCLN). RBF and ACCLN networks are trained with 500 sets of sample data and are tested by 100 sets of samples in different mental states. The experimental results show that the average accuracy of RBF network under three conditions are 88.75%, 88.25%, 88.5%, respectively, and the correct rate of ACCLN network is 97%, 98%, 98%, respectively.

Early discharge after childbirth has led to a rise in neonatal readmission, becoming a major concern in recent decades. Our research aimed to identify the risk factors and incidence of neonatal readmission, as well as explore preventive measures. Our study at the Clinical Hospital of Pediatrics in Ploiești, Romania included 108 neonates admitted during the neonatal period. This accounted for 2.06% of all admissions (5226). The most prevalent cases were malnutrition (25%), fever (20.3%) and bronchiolitis (17.5%). Diarrhea and infectious gastroenteritis were also observed (14.8%), along with acute rhinoconjunctivitis (9.2%) and late onset sepsis (3.7%). No deaths were recorded. The most significant characteristics identified were number of children (p<0.001) and age at maternity discharge (p<0.001). By following the prevention rules, malnutrition, feeding errors, and infections can be avoided. This includes practicing proper hand hygiene for both mothers and medical staff, as well as educating and demonstrating to mothers the benefits of breastfeeding. In addition, all newborns discharged from the maternity ward should benefit from follow-up at 7-10 days of life. Our results confirm the effectiveness of a multidisciplinary team and endorse promoting breastfeeding. Implementing quality control measures and regularly evaluating the surveillance program will help improve its effectiveness.

Wearable technology has been proposed as a potential tool to change the way of human life, such as the smart bracelet and the Google Glass. In the wearable technology, the inertial sensor has great significance in tracking the object movements. The paper focused on detecting the movements of user’s finger based on the inertial sensor to give the control signals. Firstly, the attitude matrix, which represented the transformation relation of carrier coordinate system and the navigation coordinate system, was obtained. Secondly, the attitude matrix was expressed based on the quaternions. Thirdly, the finger gesture was processed by the attitude matrix to get the attitude angle. Finally, the robot was controlled by attitude angle to make the moving action. The experimental results showed the detection of the finger movement is effective.

Two interesting compounds such as quaternary ammonium lignin(QAL) and 2-ethylhexyl phosphoric acid mono-2-ethylhexyl ester (P507) were synthesized as ionic liquids(QP-ILs) for the extraction of metal ions. The extraction behavior of Co(II) and Ni(II) from chloride solution was compared between QP-ILs and P507. The results showed that the extraction rates of Co(II) and Ni(II) in the two solutions varied with the extraction conditions, but QP-ILs has stronger extractability for cobalt than P507, while Ni is on the contrary. Under the same conditions, the Co/Ni separation performance(βCo/Ni) in QP-ILs is superior to that in p507. At pH4.0, 55℃, concentration of 20%, extraction time of 10 minutes, the βCo/Ni of QP-ILs reached to 2703, while that of P507 was only 164. In conclusion, QP-ILs was more efficient than P507 for separating Co from mixed solutions.