“…Besides, we discuss how to generalize our approach to general semi-algebraic formulas. Finally, as an application, we demonstrate how to apply our approach to invariant generation in program verification.…”
Enlace del recurso
Enlace del recurso

“…The conversion matrix from RGB values in a region of interests (ROI) to score values were linear-algebraically determined from the RGB values and score values of the standard solutions. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Finally, the differential and algebraic equations of the virtual model approximate more accurately the actual process of the operation of the vehicle. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…In contrast, if the media have dilute and randomly-distributed correlated disorder, these distributions present non-Gaussian algebraically-decaying tails for large force magnitudes. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Therefore, in order to provide new possibilities for the isolation of variables, we propose a novel family of transcendental functions with new algebraic properties including their integration and differentiation rules. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Fractal groups arise in various fields of mathematics, including the theory of random walks, holomorphic dynamics, automata theory, operator algebras, etc. They have relations to the theory of chaos, quasi-crystals, fractals, and random Schrödinger operators. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Persistent homology is a recently developed theory in the field of algebraic topology to study shapes of datasets. It is an effective data analysis tool that is robust to noise and has been widely applied. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…In this paper, we propose an improved method based on adaptive Laplacian smoothing and algebraic reconstruction technique (ALS-ART). Compared with traditional constant constraints, this method is less dependent on a priori information and adaptive smoothing constraints is closer to the actual situation. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…All binary solvent systems studied exhibited strong positive non-ideal deviations from an algebraic rule of mixing. Additionally, an interesting co-solvency phenomenon was observed with phenacetin solubility in aqueous mixtures with acetonitrile or 1,4-dioxane. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The main goal of this paper is to visualize the cardiovascular system during auricular vagus nerve stimulation (aVNS) using the matrix differences to evaluate the dynamic signal interfaces by cointegrating the initial signal data into the matrices during each case. Algebraic relationships between RR/JT and JT/QRS cardiac intervals are used not only to track the cardiovascular changes during aVNS but also to characterize individual features of the person during the transit through the therapy. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The application of the solution reduces the differential equation to a system of non-linear algebraic equations. We list 10 possible appropriate transformations. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Here, based on CCE, we uncover an algebraic expression for T(2) generalized for host compounds with dilute nuclear spin baths under a magnetic field that enables a quantitative and comprehensive materials exploration with a near instantaneous estimate of the coherence time. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…We briefly discuss one of the most usual models for resonances: the Friedrichs model. Using an algebraic formalism for states and observables, we show that Gamow states cannot be pure states or mixtures from a standard view point. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The network connectivity is measured by algebraic connectivity, and the possibility of opening new shipping links is estimated by an extended gravity model. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The major theme of this analysis is to suggest a new theory in the form of complex picture fuzzy soft (CPFS) information and to initiate their major algebraic laws, score value, and accuracy values. The mathematical form of the CPFS set includes three main functions, called supporting, abstinence, and supporting against terms with a prominent characteristic that the sum of the triplet will lie in the unit interval. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The last three waves of SARS-CoV-2 infections caused by dominant variants Omicron (BA.1), BA.2, and BA.4/BA.5 were accurately foretold by our artificial intelligence (AI) models built with biophysics, genotyping of viral genomes, experimental data, algebraic topology, and deep learning. Based on newly available experimental data, we analyzed the impacts of all possible viral spike (S) protein receptor-binding domain (RBD) mutations on the SARS-CoV-2 infectivity. …”
Enlace del recurso
Enlace del recurso

“…This paper introduces an algebraic method to synthesize the radiation pattern of unequally-spaced arrays. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The proximal layer is characterized by the algebraic monomer concentration profile, [Formula: see text] , due to the self-similar distribution of aligned polymer loops. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The method is based on a reformulation of the backward integration problem to a system of linear algebraic equations. The evaluation of the proposed method using real-world problems shows a speedup of total simulation time by a factor of up to 4.4. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The algebraic properties of flattenings and subflattenings provide direct methods for identifying edges in the true phylogeny—and by extension the complete tree—using pattern counts from a sequence alignment. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso