One way to deal with the liar paradox is the paracomplete approach to theories of truth, which gives up proofs by contradiction, and the law of the excluded middle. This allows one to reject both the liar sentence and its negation. The simplest paracomplete theory of truth is |$\textit {KFS}$| due to Saul Kripke. At face value, this theory suffers from the problem that it cannot say anything about

We investigate the stochastic processes obtained as the fractional Riemann-Liouville integral of order α∈(0,1) of Gauss-Markov processes. The general expressions of the mean, variance and covariance functions are given. Due to the central role, for the fractional integral of standard Brownian motion and of the non-stationary/stationary Ornstein-Uhlenbeck processes, the covariance functions are carried

In this paper first we consider eigenvalue problems for the weighted (p,q)-Laplacian and prove the existence of a continuous spectrum and determine its infimum. Then we deal with perturbations of the eigenvalue problem. We consider the case of sublinear and superlinear perturbations.

We consider a general mathematical model which describes the quasistatic contact of a deformable body with an obstacle, the so-called foundation. The material’s behaviour is modeled with a visco-elastic-type constitutive law and the contact is described with a general interface law associated to a version of Coulomb’s law of dry friction. We list the assumptions on the data and provide relevant examples

This paper is devoted to study a new nonlinear system involving a parabolic variational inequality, a history-dependent hemi-variational inequality and a differential equation in Banach spaces. By employing the surjectivity argument and Banach’s fixed point theorem, we derive a unique solvability theorem for such a problem under some mild conditions. Moreover, the main results are applied to obtain

Ordinary differential equation (ODE) models of cancer growth are often used to predict tumor growth and form the basis for more complex models used in personalized medicine. Unfortunately, ODE models provide predictions of the average behaviour of the cell population neglecting the fact that cells are discrete objects subject to discrete events. This kind of stochasticity can dramatically change the

Fuzzy logic has shown to be a suitable framework to handle contradictions in which, unsurprisingly, the notion of inconsistency can be defined in different ways. This paper starts with a short survey of different ways to define the notion of inconsistency in fuzzy logic systems. As a result, we provide a first notion of inconsistency by means of the absence of models. Subsequently, we define two measures

In this paper, we study the semilinear beam equation with a locally distributed nonlinear damping on a smooth bounded domain. We first construct approximate solutions, and we show that the aforementioned approximate solutions decay uniformly in the weak phase space by using an observability inequality associated to the linear problem and a unique continuation property. Then, we prove the global existence

We consider a stationary boundary value problem describing a radiative‐conductive heat transfer in a system consisting of one absolutely black body and several semitransparent bodies. To describe the radiative transfer, the integro‐differential radiative transfer equation is used. We do not take into account the dependence of the radiation intensity and the properties of semitransparent materials on

We analyze the disease control and prevention strategies in a susceptible‐infectious‐quarantined‐diseased (SIQD) model with a quarantine‐adjusted incidence function. We have established the closed‐form solutions for all the variables of SIQD model with a quarantine‐adjusted incidence function provided β ≠ γ + α by utilizing the classical techniques of solving ordinary differential equations (ODEs)

In this paper, we consider the Cauchy problem to the two‐dimensional Navier–Stokes–Korteweg system with nonvacuum and general pressure laws and establish the global well‐posedness of strong solution for general initial data in the framework of Sobolev spaces.

This work is devoted to investigating formation of singularities of solutions to the weakly coupled system of semilinear Moore–Gibson–Thompson equations with power nonlinearities |v|p, |u|q, derivative nonlinearities |vt|p, |ut|q, mixed nonlinearities |v|q, |ut|p, and combined nonlinearities | v t | p 1 + | v | q 1 , | u t | p 2 + | u | q 2 , respectively. Upper bound lifespan estimates of solutions

This paper aims to share some completeness theorems related with a boundary value problem generated by a system of equations and non‐self‐adjoint (dissipative) boundary conditions. Indeed, we consider a system of equations that contains a continuous analogous of the orthogonal polynomials on the unit circle. Constructing the characteristic function of the related dissipative operator, we share some

This article disputes the study of convective flow for improved nanofluid along with an erect heated plate via Prabhakar‐like energy transport. The governing equations for this mathematical model are obtained by Prabhakar fractional derivative. To attain the generalized results for dimensionless velocity profile and temperature profile, a scheme of Laplace transform is applied. By applying the conditions

This paper presents a methodology to deal with the randomness associated to ecological modelling. Data variability makes it necessary to analyse the impact of random perturbations on the fitted model parameters. We conduct such analysis for the logistic growth model with a certain sigmoid functional form of the carrying capacity, which was proposed in the literature for the study of parasite growth

In this paper, we consider the initial boundary value problem for time‐fractional subdiffusive equations with Caputo derivative. Our problem has many applications in population dynamics. The source function is given in the logarithmic form. We examine the existence, uniqueness of local solutions, and their ability to continue to a maximal interval of existence. The main tool and analysis here are of

We study the notion of 𝒥-MAD families where 𝒥 is a Borel ideal on ω. We show that if 𝒥 is any finite or countably iterated Fubini product of the ideal of finite sets Fin, then there are no analytic infinite 𝒥-MAD families, and assuming Projective Determinacy and Dependent Choice there are no infinite projective 𝒥-MAD families; and under the full Axiom of Determinacy + V=L(ℝ) or under AD+ there

In the multicast network, network coding has proven to be an effective technique to approach maximum flow capacity. Although network coding has the advantage of improving performance, encoding nodes increases the cost and delay in wireless networks. Therefore, minimizing encoding nodes is of great significance to improve the actual network’s performance under a maximum multicast flow. This paper seeks

The aim of the present paper is to provide oscillation conditions for fourth-order damped differential equations with advanced term. By using the Riccati technique, some new oscillation criteria, which ensure that every solution oscillates, are established. In fact, the obtained results extend, unify and correlate many of the existing results in the literature. Furthermore, two examples with specific

Graphs are often used as models to solve problems in computer science, mathematics, and biology. A pancake sorting problem is modeled using a pancake graph whose classes include burnt pancake graphs, signed permutation graphs, and restricted pancake graphs. The network cost is degree × diameter. Finding a graph with a small network cost is like finding a good sorting algorithm. We propose a novel recursively

The neural-network-based human activity recognition (HAR) technique is being increasingly used for activity recognition in virtual reality (VR) users. The major issue of a such technique is the collection large-scale training datasets which are key for deriving a robust recognition model. However, collecting large-scale data is a costly and time-consuming process. Furthermore, increasing the number

Interplanetary interactions are the largest forces in our Solar System that disturb the planets from their elliptical orbits around the Sun, yet are weak (<10−3 Solar). Currently, these perturbations are computed in pairs using Hill’s model for steady-state, central forces between one circular and one elliptical ring of mass. However, forces between rings are not central. To represent interplanetary

This paper analyses the model of Black–Scholes option pricing from the point of view of the group theoretic approach. The study identified new independent variables that lead to the transformation of the Black–Scholes equation. Furthermore, corresponding determining equations were constructed and new symmetries were found. As a result, the findings of the study demonstrate of the integrability of the

We provide a lower bound for the blow up time of the H2 norm of the entropy solutions of the inviscid Burgers equation in terms of the H2 norm of the initial datum. This shows an interesting symmetry of the Burgers equation: the invariance of the space H2 under the action of such nonlinear equation. The argument is based on a priori estimates of energy and stability type for the (viscous) Burgers equation

Let G=(V(G),E(G)) be a simple, finite and undirected graph of order n. Given a bijection f:V(G)→{1,…,n}, and every edge uv in E(G), let S=f(u)+f(v) and D=|f(u)−f(v)|. The labeling f induces an edge labeling f′:E(G)→{0,1} such that for an edge uv in E(G), f′(uv)=1 if gcd(S,D)=1, and f′(uv)=0 otherwise. Such a labeling is called an SD-prime labeling if f′(uv)=1 for all uv∈E(G). We provide SD-prime labelings

This experimental study defines the usage of a computer-aided surgical simulation process that is effective, safe, user-friendly, and low-cost, that achieves a detailed and realistic representation of the anatomical region of interest. The chosen tools for this purpose are state-of-the-art Computer Aided Design (CAD) software for mechanical design, and are the fundamental application dedicated to parametric

We describe recent work on the physics of the Higgs boson and breaking of the electroweak symmetry at future muon colliders. Starting from the low-energy muon collider at the Higgs boson pole we extend our discussion to the multi-TeV muon collider and outline the physics case for such machines about the properties of the Higgs boson and physics beyond the Standard Model that can be possibly discovered

Zero-point fluctuations are a universal consequence of quantum theory. Vacuum fluctuations of electromagnetic field have provided crucial evidence and guidance for QED as a successful quantum field theory with a defining gauge symmetry through the Lamb shift, Casimir effect, and spontaneous emission. In an accelerated frame, the thermalisation of the zero-point electromagnetic field gives rise to the

Using normalized Hermite functions, we construct bases in the space of square integrable functions on the unit circle (L2(C)) and in l2(Z), which are related to each other by means of the Fourier transform and the discrete Fourier transform. These relations are unitary. The construction of orthonormal bases requires the use of the Gramm–Schmidt method. On both spaces, we have provided ladder operators

An alternative method to analyze a class of nonlinear systems in a bond graph approach is proposed. It is well known that the analysis and synthesis of nonlinear systems is not a simple task. Hence, a first step can be to linearize this nonlinear system on an operation point. A methodology to obtain linearization for consecutive points along a trajectory in the physical domain is proposed. This type

Although digital signature has been a fundamental technology for cryptosystems, it still draws considerable attention from both academia and industry due to the recent raising interest in blockchains. This article revisits the subliminal channel existing digital signature and reviews its abuse risk of the constructor’s private key. From a different perspective on the subliminal channel, we find the

For site-specific soil ecological risk assessments (SERAs), an integrated chemical, ecotoxicological, and ecological analysis needs to be performed. The SERA guidelines of international institutions and countries recommend that a SERA be initiated at the screening level to save time and social economic cost; however, they provide no unified test species for this screening level. This study performed

With analytical and numerical methods, dynamic response of a composite laminated buckled beam with a lumped mass and an axial excitation is investigated in this paper. The dynamic equation of the first mode for this model, which is a perturbation of a Hamilton system with both quadratic and cubic nonlinearities as well as external and parametric excitations, is obtained with the Galerkin method. The

The use of machine learning algorithms and modern technologies for automatic segmentation of brain tissue increases in everyday clinical diagnostics. One of the most commonly used machine learning algorithms for image processing is convolutional neural networks. We present a new convolutional neural autoencoder for brain tumor segmentation based on semantic segmentation. The developed architecture

Electrocardiogram (ECG), as a biological signal that contains important information about the cardiac activities of heart, exhibits chaotic characteristics. Since a clean ECG signal is of vital importance in the diagnosis and analysis of heart diseases, we address the task of extracting ECG for a set of noisy observations. Based on the phase space similarity of ECG, we propose an objective called similarity

In this article, we investigate the existence of solutions for Hadamard type two dimensional fractional functional integral equations on [1,b]×[1,c]. We use the concept of measure of non-compactness and Darbo’s fixed point theorem as the main tool to prove our results. Also, with the help of an example, we discuss the validity of our result.

The aim of this study is to establish a precise illustration of the structure of the nonconstant steady state for a Holling-II predator–prey reaction–diffusion system, with prey-taxis. We treat the nonlinear prey-taxis as a bifurcation parameter to discuss the global bifurcation of the system. Furthermore, the prey-taxis term, under a rather natural condition, offers nonconstant steady states. In the

Combined with other signal processing methods, related algorithms are widely used in the diagnosis and identification of rotor faults. In order to solve the problem that the vibration signal of a single sensor is too single, a new multi-source vibration signal fusion method is proposed. This method explores the correlation between vibration sensors at different locations by using multiple cross-correlations

Guided waves have immense potential for structural health monitoring applications in numerous industries including aerospace. It is necessary to evaluate guided wave dispersion characteristics, i.e., group velocity and phase velocity profiles, for using them effectively. For complex structures, the profiles can have highly irregular shapes. In this work, a direct method for calculating the group velocity

Barrier-lookback option stands for a class of exotic options involving both high risky and high payback properties that are popular for many investors, which expresses that the lookback option comes into effect or becomes invalid depending on whether the underlying asset reaches the predetermined barrier level. This paper aims at investigating the pricing formulas for barrier-lookback option in uncertain

The oxygen evolution reaction (OER) is the efficiency-determining half-reaction process of high-demand, electricity-driven water splitting due to its sluggish four-electron transfer reaction. Tremendous effects on developing OER catalysts with high activity and strong acid-tolerance at high oxidation potentials have been made for proton-conducting polymer electrolyte membrane water electrolysis (PEMWE)

We investigate the finite time blow-up and global existence of sign-changing solutions to the Cauchy problem for the inhomogeneous semilinear parabolic system with space-time forcing terms{ut−Δu=|v|p+tσw1(x),x∈RN,t>0,vt−Δv=|u|q+tγw2(x),x∈RN,t>0,(u(0,x),v(0,x))=(u0(x),v0(x)),x∈RN,where N≥1, p,q>1, σ,γ>−1, σ,γ≠0, w1,w2≢0, and u0,v0∈C0(RN). For the finite time blow-up, two cases are discussed under the

This paper presents a case study of three-phase ferroresonance in a low-voltage power factor correction system and investigates the influence of harmonic distortion on the occurrence of ferroresonance. Ferroresonance is an extremely dangerous and rare phenomenon that causes overvoltages and overcurrents in the system and degrades the power quality. The study is carried out on real field measurements

One of the concerns about the use of passive Infrared Thermography (IRT) for structural health monitoring (SHM) is the determination of a favorable period to conduct the inspections. This paper investigates the use of numerical simulations to find appropriate periods for IRT-based detection of subsurface damages in concrete bridge slabs under passive heating along a 1 year of time span. A model was

Prostate cancer (PCa) is one of the most prevalent cancers worldwide. As the demand for prostate biopsies increases, a worldwide shortage and an uneven geographical distribution of proficient pathologists place a strain on the efficacy of pathological diagnosis. Deep learning (DL) is able to automatically extract features from whole-slide images of prostate biopsies annotated by skilled pathologists

Knowledge representation in autonomous robots with social roles has steadily gained importance through their supportive task assistance in domestic, hospital, and industrial activities. For active assistance, these robots must process semantic knowledge to perform the task more efficiently. In this context, ontology-based knowledge representation and reasoning (KR & R) techniques appear as a powerful

With the increasing application of CHP and an industry transition to distributed energy, it is necessary to make a comprehensive economic analysis and comparison of the entire lifetime of CHP from the net present value (NPV), payback period, and cost-saving ratio (CSR). Five systems, including micro-CHP, gas boiler (GB), air-source heat pump (ASHP), domestic gas-fired heater and domestic electric hot

The current study evaluated the effects of a methanol extract from Chaetomorpha aerea (a green alga) on non-specific immune responses and resistance against Edwardsiella tarda infection in Labeo rohita. Different doses of the extract (5, 50 and 500 mg/kg of body weight) were injected into the fish intraperitoneally while a control group was injected with 0.2 mL of sterile physiological salt solution

The present study purpose was to identify the flow characteristics of the drainage filter considering the characteristics of the landfill site, and to study the basic technology for efficient remediation of heavy metals. To this end, copper heavy metal was selected in consideration of landfill characteristics, and a study on flow characteristics was conducted using hydrophobic coated capillary tubes

The Bay of Naples, Italy, is renowned for its archaeological heritage. However, this heritage is threatened by the combination of weathering and the biological activity of microorganisms. Fungi are among the major agents of microbial deterioration of cultural heritage since they can cause cracks and lesions in monuments due to the penetrating force of their hyphae. Such biodeterioration may weaken

Introduction: The finite element method has been extensively used to analyze the mechanical behavior of endodontic rotary files under bending and torsional conditions. This methodology requires elevated computer-aided design skills to reproduce the geometry of the endodontic file, and also mathematical knowledge to perform the finite element analysis. In this study, an automated procedure is proposed

The ability of an agent to accomplish a trajectory during a certain motor task depends on the fit between external (environment) and internal (agent) constraints, also known as affordance. A model of difficulty for a generalized reaching motor task is proposed as an affordance-related measure, as perceived by a specific agent for a given environment and task. By extending the information-based Index

The layout or stake-out is one of the most important assignments of the surveying engineer, and it is of vital importance in the building process, as the designed geometries of the structure ensure the verticality and the correct positioning inside the terrain. The mission of the surveying engineer involves both legal and technical aspects, and the correct planning of the layout process must take into

Current maintenance practices consume significant time, cost, and manpower. Thus, a new technique for maintenance is required. Construction information technologies, including building information modeling (BIM), have recently been applied to the field to carry out systematic and productive planning, design, construction, and maintenance. Although BIM is increasingly being applied to new structures

Hypercholesterolemia is one of the leading causes of cardiovascular disease. Probiotics can help to improve high blood lipid levels in hypercholesterolemia patients. Lactobacillus paracasei has been reported to have beneficial effects in several subjects; however, there is a lack of studies on Thai hypercholesterolemic subjects. Thus, this study was conducted in order to investigate the effect of L

Our previous studies demonstrated that it is possible to perform the classification of both simulated pressed and actual vocally fatigued voice productions versus vocally healthy productions through the pattern recognition of sEMG signals obtained from subjects’ anterior neck. In these studies, the commonly accepted Vocal Fatigue Index factor 1 (VFI-1) was used for the ground-truth labeling of normal

The exponential increase of metabolic syndrome and its association with the risk impact of morbidity and mortality has propitiated the development of tools to diagnose this syndrome early. This work presents a model that is based on prognostic variables to classify Mexicans with metabolic syndrome without blood screening applying machine and deep learning. The data that were used in this study contain

The aim of the present work was focused on optimising the yield and quality of the biocrude obtained by hydrothermal liquefaction (HTL) of Nannochloropsis gaditana. Temperature, reaction time and microalga concentration were the variables used to carry out an experimental factorial design with a central composite design. The responses chosen were the biocrude yield and the nitrogen and oxygen content

Radiofrequency (RF) is a mini-invasive neuromodulation intervention that is commonly used in chronic pain conditions including general musculoskeletal pain related to several diseases, including knee osteoarthritis (KOA). However, to date, few studies investigated synergistic therapeutic approaches combining RF with rehabilitative physical exercise protocols in KOA patients. This prospective cohort

In this paper, we assess the pressure between the overdenture located in the mandible and supported by a bar retained on two implants and the prosthodontic area. For testing, a model of an edentulous mandible was created using a mold by FRASACO with two implants and a “rider” bar inserted. A complete mandibular denture with polypropylene matrices was made. Three types of matrices of various stiffness