نتایج جستجو برای: bruce ladder
تعداد نتایج: 13594 فیلتر نتایج به سال:
We present two modelling approaches for the application of model checking to verify railway interlockings. The first translates so-called Ladder Logic into Scade language, the second models a segment of railway from scratch. The verification tool used is Scade.
A link between matroid theory and p-branes is discussed. The Schild type action for p-branes and matroid bundle notion provide the two central structures for such a link. We use such a connection to bring the duality concept in matroid theory to p-branes physics. Our analysis may be of particular interest in M-theory and in matroid bundle theory.
The chain ladder (volume-weighted average development factor) is perhaps the most widely used of the link ratio (age-to-age development factor) techniques, being popular among actuaries in many countries. The chain ladder technique has a number of interesting properties. We present one such property, which indicates that the chain ladder doesn’t distinguish between accident years and developmen...
The DNA damage response (DDR) is crucial for genomic integrity. BRIT1 (breast cancer susceptibility gene C terminus-repeat inhibitor of human telomerase repeat transcriptase expression), a tumor suppressor and early DDR factor, is recruited to DNA double-strand breaks (DSBs) by phosphorylated H2A histone family, member X (γ-H2AX), where it promotes chromatin relaxation by recruiting the switch/...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید