Dependability analyses in the design phase are common IEC 60300 standards to assess reliability, risk, maintainability, and maintenance supportability of specific physical assets. Reliability risk assessment uses well-known methods such as failure modes, effects, criticality analysis (FMECA), fault tree (FTA), event (ETA)to identify critical components modes based on rate, severity, detectabili...

Background and Purpose: Survival tree model is a nonparametric method which can be used to identify the affecting factors from a specific time to the onset of an event. In this method, the categories are selected according to the most important factors. The purpose of this study was to determine the factors affecting the duration of breastfeeding in mothers and introduce the homogeneous subgrou...

The multiplicity dependence of the pseudorapidity density charged particles in proton-proton (pp) collisions at centre-of-mass energies $\sqrt{s}$ = 5.02, 7 and 13 TeV measured by ALICE is reported. analysis relies on track segments midrapidity range ($|\eta| < 1.5$). Results are presented for inelastic events having least one particle produced interval $|\eta|<1$ ($\mathrm{INEL}_{>0}$). pseudo...

We introduce a method to evaluate untyped lambda terms by combining the theory of traversals, a term-tree traversing technique inspired from Game Semantics, with judicious use of the eta-conversion rule of the lambda calculus. The traversal theory of the simply-typed lambda calculus relies on the eta-long transform to ensure that when traversing an application, there is a subterm representing e...

OBJECTIVE Endothermal ablation (ETA) of the great saphenous vein (GSV) is associated with a small but definite risk of endothermal heat-induced thrombosis (EHIT) extending into the common femoral vein. Follow-up duplex ultrasound imaging to detect EHIT after ETA is considered standard of care, although the exact timing of duplex ultrasound imaging to detect EHIT after ETA remains unclear. We hy...

Truncation is a term, which defines cutting off the negligible contribution of the results of the fault tree/event tree analysis, when evaluating complex facilities. This paper shows that consideration of requirements from Probabilistic Risk Assessment Procedures Guide at the largest acceptable truncation may lead to more than 40% differences from the results with no truncation at results for F...

We introduce a method to evaluate untyped lambda terms by combining the theory of traversals,a term-tree traversing techniques inspired from Game Semantics [12, 8], with judicious use of theeta-conversion rule of the lambda calculus.The traversal theory of the simply-typed lambda calculus relies on the eta-long transform toensure that when traversing an application, there is...

The weight of a randomly chosen link in the shortest path tree on the complete graph with exponential i.i.d. link weights is studied. The corresponding exact probability generating function and the asymptotic law are derived. As a remarkable coincidence, this asymptotic law is precisely the same as the distribution of the cost of one “job” in the random assignment problem. We also show that the...

Toxic gas leakage represents a type of major process accident scenario threatening human life. Technical and non-technical safety barriers are employed to prevent toxic accidents or mitigate the possible catastrophic consequences. Evacuation must be executed in severe release scenarios. The performance assessment technical evacuations these scenarios, although very important, has never been inv...

Cisplatin, a widely used chemotherapeutic agent, has been implicated in the induction of secondary tumors in cancer patients. This drug is presumed to be mutagenic because of error-prone translesion synthesis of cisplatin adducts in DNA. Oxaliplatin is effective in cisplatin-resistant tumors, but its mutagenicity in humans has not been reported. The polymerases involved in bypass of cisplatin a...