background: bone-specific alkaline phosphatase (bap) is synthesized by the osteoblasts and is presumed to be involved in the calcification of bone matrix, though its precise role in the formation process is unknown. the aim of the present study was to measure the bap activity in paget's and normal specimens by two different techniques. methods: total alp (tap) as well as bap activity-measu...

factor v (fv) deficiency is a rare bleeding disorder (rbd) that inherit in autosomal recessive manner. diagnosis of fv deficiency (fvd) is made by routine coagulation tests, fv activity and molecular analysis. in patients with fvd, routine coagulation tests including activated partial thromboplastin time (aptt), prothrombin time (pt) and evenbleeding time (bt) are prolongedwhile thrombin time (...

BACKGROUND As emergency contraceptive pills (ECPs) become increasingly available through pharmacies, concerns about potential overuse of this product have emerged. In response, bridging women from ECPs to ongoing contraception was advanced as a solution. STUDY DESIGN We collected information in Ghanaian pharmacies on ECP users' sexual activity, use of contraceptive methods and reasons for buy...

Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single source for all artefacts improves maintenance and offers a high return on investment of the initial modelling effort. Since DSLs can be used to ca...

This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways. The framework is centred around a domain-specific language (DSL) for describing such systems, and provides (1) a graphical editor for creating DSL descriptions, (2) a validator for checking that DSL descriptions are statically wel...

the web site http:llwww.unlv.edulResearch CentedNCACM. method has its merits and deficiencies. Additional infomation can be found on element and meshless methods for several heat transfer test problems. Each finite element scheme that employs h-adaptation are compared with boundary schemes that are especially promising. In this study, solutions obtained using a (handlor p-adaptation), boundary ...

Managing multiple and complex feature models is a tedious and error-prone activity in software product line engineering. Despite many advances in formal methods and analysis techniques, the supporting tools and APIs are not easily usable together, nor unified. In this paper, we report on the development and evolution of the Familiar Domain-Specific Language (DSL). Its toolset is dedicated to th...

Data Types in Event-B – An Application of Generic Instantiation David Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, and Naoto Sato 1 Institute of Information Security, ETH Zurich 2 Yokohama Research Lab, Hitachi Abstract. Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one ...