نتایج جستجو برای: taxonomy of scott
تعداد نتایج: 21167415 فیلتر نتایج به سال:
The primary focus of my research is the computer-aided verification and validation of computer systems, including concurrent and distributed systems; security, network and wireless protocols; software systems; biological systems; and safety-critical and embedded systems. Throughout my career I have been interested in both the computational complexity and algorithmica of verification, striving t...
We give an exposition of Delzant’s ideas extending the notion of Scott complexity of finitely generated groups to surjective homomorphisms from finitely presented groups.
The erythrocytes from a patient with Scott syndrome, a bleeding disorder characterized by an isolated defect in expression of platelet procoagulant activity, have been studied. When incubated with the calcium ionophore A23187, Scott syndrome red blood cells (RBCs) expressed less than 10% of the prothrombinase (enzyme complex of coagulation factors Va and Xa) activity of A23187-treated RBCs obta...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید