Mathematics topic list of research papers
-
Energy-Efficient Target Tracking in Wireless Sensor Networks: A Quantized Measurement Fusion Framework2014 / Yan Zhou, Dongli Wang, Tingrui Pei, Yonghong Lan
-
Near-field imaging of small perturbed obstacles for elastic waves2015 / Peijun Li, Yuliang Wang
-
Optimized Robust Filter for Uncertain Discrete Time System and Its Application to Flight Test
Abstract An optimized robust filtering algorithm for uncertain discrete-time systems is presented. To get a series of computational equations, the uncertain part generated by the uncertain systematic matrix in the expression of the error-covariance...
2011 / Zhong-ke SHI -
Solving Matrix Games with I-fuzzy Payoffs: Pareto-optimal Security Strategies Approach
Abstract A recent research work of Clemente et al. [12] on Pareto-optimal security strategies (POSS) in matrix games with fuzzy payoffs is extended to I-fuzzy scenario. Besides, the membership and the non-membership functions of the I-fuzzy values...
2014 / A. Aggarwal, S. Chandra, A. Mehra -
Finite element analysis of heat and mass transfer by MHD mixed convection stagnation-point flow of a non-Newtonian power-law nanofluid towards a stretching surface with radiation
Abstract Magnetohydrodynamic mixed convection boundary layer flow of heat and mass transfer stagnation-point flow of a non-Newtonian power-law nanofluid towards a stretching surface in the presence of thermal radiation is investigated numerically....
2015 / Macha Madhu, Naikoti Kishan -
Uncertainty relations expressed by Shannon-like entropies2006 / V. Majerník, Eva Majerníková, S. Shpyrko
-
Second-order schemes for solving decoupled forward backward stochastic differential equations2014 / WeiDong Zhao, Yang Li, Yu Fu
-
Stability Analysis and Stabilization of Systems Presenting Nested Saturations2006 / S. Tarbouriech, C. Prieur, J.M. Gomes Da Silva
-
Multivalued backward stochastic differential equations with time delayed generators2014 / Bakarime Diomande, Lucian Maticiuc
-
Transient analysis of a two-heterogeneous servers queue with impatient behavior
Abstract Recently, [1] have obtained the transient solution of multi-server queue with balking and reneging. In this paper, a similar technique is used to drive a new elegant explicit solution for a two heterogeneous servers queue with impatient...
2013 / Sherif I. Ammar -
On Two Squares of Opposition: the Leśniewski’s Style Formalization of Synthetic Propositions2012 / Andrew Schumann
-
On a discretization process of fractional-order Logistic differential equation
Abstract In this work we introduce a discretization process to discretize fractional-order differential equations. First of all, we consider the fractional-order Logistic differential equation then, we consider the corresponding fractional-order...
2013 / Z.F. El Raheem, S.M. Salman -
Stability characteristic of hypersonic flow over a blunt wedge under freestream pulse wave2014 / Xiaojun Tang, Hongqing Lv, Xiangnan Meng, Zhenqing Wang, Qin Lv
-
Fast Bayesian parameter estimation for stochastic logistic growth models
Abstract The transition density of a stochastic, logistic population growth model with multiplicative intrinsic noise is analytically intractable. Inferring model parameter values by fitting such stochastic differential equation (SDE) models to data ...
2014 / Jonathan Heydari, Conor Lawless, David A. Lydall, Darren J. Wilkinson -
Unsteady Double Diffusive Natural Convection in Porous Media-Application to CO2 Storage in Deep Saline Aquifer Reservoirs
Abstract Storage capacity of carbon dioxide (CO2) in deep saline aquifers is a challenging task. However, an assessment must be performed to determine whether there is sufficient capacity in a storage site for any CO2 sequestration project. We...
2013 / S. Bouzgarrou, H.S. Harzallah, K. Slimi -
Subclasses of bi-univalent functions defined by convolution
Abstract In this paper, we introduced two new subclasses of the function class Σ of bi-univalent functions analytic in the open unit disc defined by convolution. Furthermore, we find estimates on the coefficients ∣a 2∣ and ∣a ...
2013 / R.M. El-Ashwah -
A Novel PF-LSSVR-based Framework for Failure Prognosis of Nonlinear Systems with Time-varying Parameters
Abstract Particle filtering (PF) is being applied successfully in nonlinear and/or non-Gaussian system failure prognosis. However, for failure prediction of many complex systems whose dynamic state evolution models involve time-varying parameters,...
2012 / Xiongzi CHEN, Jinsong YU, Diyin TANG, Yingxun WANG -
Regularized Robust Filter for Spacecraft Attitude Determination
Abstract A modified regularized robust filter is proposed for spacecraft attitude determination in the presence of relative misalignment of attitude sensors. The filter is designed to minimize the worst-possible residual norm on condition that there ...
2011 / Kai XIONG, Liangdong LIU, Yiwu LIU -
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems
Abstract This paper present a new sequent calculus for Pure Type Systems (PTS). The calculus proposed is equiconsistent to the standard formulation (natural deduction like). The corresponding cut-free fragment makes it possible to introduce a notion ...
2004 / Francisco Gutiérrez, Blas Ruiz -
A Note on Formal Iterated Function Systems
Abstract Edalat has introduced the notion of weakly hyperbolic iterated function systems [3] and showed that it allows for natural domain theoretic proofs (also for the probabilistic case). This note tries to analyse some of these arguments from the ...
2005 / Thierry Coquand