Rigid origami of thick panels and deployable membranes by Cao, Y

“…Firstly, the hexagonal winding membrane has been validated with a strict mathematical proof that a rigid transition is non-existent. …”

Local and global controllers for decentralized discrete-time variable structure control technique for large-scale systems by Chai, Choong Heng

“…New theorems with mathematical proof for both local and global controllers are presented and simulations are carried out using Matlab for three different types of large-scale systems to test the proposed controllers. …”
Get full text

INVESTMENT DECISION BASED ON ANALYSIS OF MATHEMATICAL INTERRELATION BETWEEN CRITERIA IRR, MIRR, PI by Oleksandr Yankovyi, Yuriy Kozak, Mariia Lyzun, Ihor Lishchynskyy, Yevhen Savelyev, Vitalina Kuryliak

“…The scientific novelty consists in the mathematical proof of the interrelation between the indicators of the internal rate of return and the modified internal rate of return, as well as the interrelation between the criterion of the modified internal rate of return and the profitability index of the investment project. …”
Get full text

An unbiased kinship estimation method for genetic data analysis by Wei Jiang, Xiangyu Zhang, Siting Li, Shuang Song, Hongyu Zhao

“…We justify our improved method with rigorous mathematical proof. We have conducted simulations as well as two real data analyses to compare UKin with scGRM and three other kinship estimating methods: rGRM, tsGRM, and KING. …”
Get full text

Design and Implementation of a New Framework for Post-Synthesis Obfuscation with a Mixture of Multiple Cells with an Integrated Anti-SAT Block by Hamidur Rahman, A. B. M. Harun-ur Rashid, Mahmudul Hasan

“…The results obtained accord with the mathematical proof. The framework minimizes the delay by inserting obfuscation cells (OCs) in the non-critical paths, strengthens the security by using several types of OCs and allows the user to select a design based on justified area, leakage power and total power. …”
Get full text

A Numerical Method to Improve the Representativeness of Real Microstructure Cut-Outs Applied in Finite Element Simulations by Yanling Schneider, Werner Wasserbäch, Siegfried Schmauder, Zhangjian Zhou, Reiner Zielke, Wolfgang Tillmann

“…From our axisymmetric finite element (FE) simulations (ABAQUS ) applied with 2D real microstructures, it shows that the volume ratios of microstructural phases, as a function of the structure position to the symmetric axis, converge to phase area ratios in the 2D cut-out, even though the axisymmetric element volume is position dependent. A mathematical proof provides the reason for the aforementioned convergence. …”
Get full text

Low-rank and global-representation-key-based attention for graph transformer by Kong, Lingping, Ojha, Varun, Gao, Ruobin, Suganthan, Ponnuthurai Nagaratnam, Snášel, Václav

“…Additionally, we provide mathematical proof showing the efficient feature update in our proposed method. …”
Get full text

Performance enhancement of AIMD algorithm for congestion avoidance and control by Jasem, Hayder Natiq

“…In addition to theoretical (mathematical) proof and to provide laboratory confirmation,this research has also used NCTUns to conduct tests and experiments to measure different performance metrics of the new algorithm such as end-to-end delay, link utilization, efficiency and fairness, and compared the results with the results of the same tests on older versions. …”
Get full text

Development of priority oriented scheduling method to increase the efficiency and reliability for automotive job by Nojabaei, Seyedehfarzaneh

“…Besides the mentioned simulated algorithm, there is a mathematical proof to prove the enhancement of reliability. …”
Get full text

High-Accuracy Height-Independent 3D VLP Based on Received Signal Strength Ratio by Yihuai Xu, Xin Hu, Yimao Sun, Yanbing Yang, Lei Zhang, Xiong Deng, Liangyin Chen

“…To quickly verify the proposed scheme, we conduct theoretical analysis with mathematical proof and experimental results with real data, which confirm that the proposed scheme can achieve high position accuracy without known information of the receiver’s height and LED’s emission power. …”
Get full text

On the Inertial Range Bounds of K-41-like Magnetohydrodynamics Turbulence by Tesfalem Abate Tegegn

“…The spectral slope of magnetohydrodynamic (MHD) turbulence varies depending on the spectral theory considered; <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>−</mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></semantics></math></inline-formula> is the spectral slope in Kraichnan–Iroshnikov–Dobrowolny (KID) theory, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>−</mo><mn>5</mn><mo>/</mo><mn>3</mn></mrow></semantics></math></inline-formula> in Marsch–Matthaeus–Zhou and Goldreich–Sridhar theories, also called Kolmogorov-like (K-41-like) MHD theory, the combination of the <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>−</mo><mn>5</mn><mo>/</mo><mn>3</mn></mrow></semantics></math></inline-formula> and <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>−</mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></semantics></math></inline-formula> scales in Biskamp, and so on. A rigorous mathematical proof to any of these spectral theories is of great scientific interest. …”
Get full text

The sandwich technique to treat aortoiliac aneurysms: How to size the parallel graft by Bilal Koussayer, Louai Zaidan, Anas Atassi, Bassam Khalil, Samer Koussayer

“…Methods: We have developed a mathematical proof that depends on the arterial circumferences to size the three stents needed for the sandwich technique: D≅[0.68*(d1+d2)]+2. …”
Get full text

Intra- and interchain interactions in (Cu1/2Au1/2)CN, (Ag1/2Au1/2)CN, and (Cu1/3Ag1/3Au1/3)CN and their effect on one-, two-, and three-dimensional order by Hibble, SJ, Chippindale, AM, Zbiri, M, Rees, NH, Keeble, DS, Heribert, W, d’Ambrumenil, S, Seifert, D

“…In (Cu1/2Au1/2)CN and (Ag1/2Au1/2)CN, there is a preference for unlike metal atoms occurring as nearest neighbors within the metal sheets. A general mathematical proof shows that the maximum average number of heterometallic nearest-neighbor interactions on a hexagonal lattice with two types of metal atoms is four. …”

Cryptanalysis on the modulus N=p2q and design of rabin-like cryptosystem without decryption failure by Asbullah, Muhammad Asyraf

“…In order to engage with this problem and to refine the existing works, further analysis subjected to mathematical proof are needed. This thesis concentrates on an investigation into a new method to overcome all the existing drawbacks of the previous effort to refine the Rabin cryptosystem. …”
Get full text

Estimation of Synaptic Activity during Neuronal Oscillations by Catalina Vich, Rafel Prohens, Antonio E. Teruel, Antoni Guillamon

“…In a previous work, we presented a mathematical proof-of-concept that exploits the analytical knowledge of the period function of the model. …”
Get full text

Regulated bacterial interaction networks: A mathematical framework to describe competitive growth under inclusion of metabolite cross-feeding. by Isaline Guex, Christian Mazza, Manupriyam Dubey, Maxime Batsch, Renyi Li, Jan Roelof van der Meer

“…Two different cross-feeding options were considered, which either lead to constant metabolite cross-feeding, or to a regulated form, where metabolite utilization is activated with rates according to either a threshold or a Hill function, dependent on metabolite concentration. Both mathematical proof and experimental data indicate regulated cross-feeding to be the preferred model to constant metabolite utilization, with best co-culture growth predictions in case of high Hill coefficients, close to binary (on/off) activation states. …”
Get full text

Efficient Pairing in Unknown Environments: Minimal Observations and TSP-Based Optimization by Naoki Fujita, Nicolas Chauvet, Andre Rohm, Ryoichi Horisaki, Aohan Li, Mikio Hasegawa, Makoto Naruse

“…The minimum number of observations under these conditions is also discussed, along with its mathematical proof. The second is the combination phase, by which a pairing with a large total reward is determined heuristically. …”
Get full text

Development of a Five-Parameter Model to Facilitate the Estimation of Additive, Dominance, and Epistatic Effects with a Mediating Using Bootstrapping in Advanced Generations of Whe... by Ahmed E. A. Khalaf, Mohamed A. M. Eid, Kamal H. Ghallab, Sherif R. M. El-Areed, Ahmed A. M. Yassein, Mostafa M. Rady, Esmat F. Ali, Ali Majrashi

“…To estimate five types of gene action (e.g., mean effects, additive, dominance, additive × additive, and dominance × dominance), five formulas were developed from with algebraic solution, algebraic proof, and mathematical proof. Besides, to test adequate of a simple additive-dominance model, three formulas <i>A</i>, <i>B</i>, and <i>C</i> scaling test were developed. …”
Get full text

VVAF - Worst case and safety analysis tools for autonomous rendezvous system by Paulino, N, Di Sotto, E, Salehi, S, Kron, A, Hamel, J, Wang, W, Menon, P, Bates, D, Papachristodoulou, A, Maier, C

“…Two classes of frameworks are investigated in the VVAF project: integrated VandV frameworks (IVVF) supported by simulation based analysis techniques, either integrated or with local analysis techniques to establish the global system properties; and enhanced VandV frameworks (EVVF), based on mathematical proof. Two EVVF techniques are explored: Barrier-construction and Reachability-set analysis. …”

Robust offset-free control of nonlinear systems using model predictive control and integral action by Hermansson, Ayman William

“…The Robust MPC-I was proven to be stable through mathematical proof, as well as showing improvement compared to the min-max MPC-I. …”
Get full text