نتایج جستجو برای: analysis formula
تعداد نتایج: 2895889 فیلتر نتایج به سال:
The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as...
this study proposed a new discharge estimation method using a mean velocity formula derived from chiu’s 2d velocity formula of probabilistic entropy concept and the river bed shear stress of channel. in particular, we could calculate the mean velocity, which is hardly measurable in flooding natural rivers, in consideration of several factors reflecting basic hydraulic characteristics such as ri...
We perform a likelihood analysis of the minimal anomaly-mediated supersymmetry-breaking (mAMSB) model using constraints from cosmology and accelerator experiments. We find that either a wino-like or a Higgsino-like neutralino LSP, [Formula: see text], may provide the cold dark matter (DM), both with similar likelihoods. The upper limit on the DM density from Planck and other experiments enforce...
Two new algorithms for use in the analysis of [Formula: see text] collision are developed to identify the flavour of [Formula: see text] mesons at production using pions and protons from the hadronization process. The algorithms are optimized and calibrated on data, using [Formula: see text] decays from [Formula: see text] collision data collected by LHCb at centre-of-mass energies of 7 and 8 T...
In this paper, we provide stability and convergence analysis for a class of finite difference schemes for unsteady incompressibleNavier-Stokes equations in vorticity-stream function formulation. The no-slip boundary condition for the velocity is converted into local vorticity boundary conditions. Thom’s formula, Wilkes’ formula, or other local formulas in the earlier literature can be used in t...
We derive predictions for the Dirac phase [Formula: see text] present in the [Formula: see text] unitary neutrino mixing matrix [Formula: see text], where [Formula: see text] and [Formula: see text] are [Formula: see text] unitary matrices which arise from the diagonalisation, respectively, of the charged lepton and the neutrino mass matrices. We consider forms of [Formula: see text] and [Formu...
The objective of this study is to demonstrate the feasibility of needle-based optical coherence tomography (OCT) and functional analysis of OCT data along the full pullback trajectory of the OCT measurement in the prostate, correlated with pathology. OCT images were recorded using a commercially available C7-XR™ OCT Intravascular Imaging System interfaced to a C7 Dragonfly™ intravascular 0.9-mm...
This paper presents the performance of the ATLAS muon reconstruction during the LHC run with [Formula: see text] collisions at [Formula: see text]-8 TeV in 2011-2012, focusing mainly on data collected in 2012. Measurements of the reconstruction efficiency and of the momentum scale and resolution, based on large reference samples of [Formula: see text], [Formula: see text] and [Formula: see text...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید