scholarly journals FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-29
Author(s):  
Ana Milanova
Author(s):  
Jens Dietrich ◽  
Lijun Chang ◽  
Long Qian ◽  
Lyndon M. Henry ◽  
Catherine Mccartin ◽  
...  

2009 ◽  
Vol 19 (12) ◽  
pp. 3111-3121 ◽  
Author(s):  
Hai-Bin ZHANG ◽  
Zhen-Hua DUAN

2013 ◽  
Vol 33 (5) ◽  
pp. 1289-1293
Author(s):  
Jin ZOU ◽  
Wang LIN ◽  
Yong LUO ◽  
Zhenbing ZENG

Entropy ◽  
2021 ◽  
Vol 23 (8) ◽  
pp. 934
Author(s):  
Yuxuan Zhang ◽  
Kaiwei Liu ◽  
Wenhao Gui

For the purpose of improving the statistical efficiency of estimators in life-testing experiments, generalized Type-I hybrid censoring has lately been implemented by guaranteeing that experiments only terminate after a certain number of failures appear. With the wide applications of bathtub-shaped distribution in engineering areas and the recently introduced generalized Type-I hybrid censoring scheme, considering that there is no work coalescing this certain type of censoring model with a bathtub-shaped distribution, we consider the parameter inference under generalized Type-I hybrid censoring. First, estimations of the unknown scale parameter and the reliability function are obtained under the Bayesian method based on LINEX and squared error loss functions with a conjugate gamma prior. The comparison of estimations under the E-Bayesian method for different prior distributions and loss functions is analyzed. Additionally, Bayesian and E-Bayesian estimations with two unknown parameters are introduced. Furthermore, to verify the robustness of the estimations above, the Monte Carlo method is introduced for the simulation study. Finally, the application of the discussed inference in practice is illustrated by analyzing a real data set.


Blood ◽  
1983 ◽  
Vol 62 (4) ◽  
pp. 754-757 ◽  
Author(s):  
JT Prchal ◽  
WM Crist ◽  
M Roper ◽  
VP Wellner

Abstract The clinical and laboratory features of a 3-mo-old black male infant with glutathione (GSH) synthetase deficiency of the generalized type was evaluated. Partial albinism, brisk hemolytic anemia, recurrent febrile episodes, and mental retardation were noted. Also, severe recurrent metabolic acidosis and marked oxoprolinemia and oxoprolinuria were found in the proband but not in his first-degree relatives. The relationship of these disease manifestations to the underlying metabolic defect is discussed.


Sign in / Sign up

Export Citation Format

Share Document