In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructive) algebraic hierarchy of groups, rings, fields, etcetera. For the reals we have then defined the notion of real number structure, which is basically a Cauchy complete Archimedean ordered field. This boils down to axiomatizing ...

The increasing complexity of the e-business systems urges the improvement of existing methods of system analysis in order to reduce the likelihood that important threats remain unidentified. Such an improvement can be achieved by combining risk analysis methodologies with the architecture centric system design process. Existing methods are inherently deficient as far as vulnerability analysis f...

When the failure probability of a system is extremely small or necessary statistical data from the system is scarce, it is very difficult or impossible to evaluate its reliability and safety with conventional fault tree analysis (FTA) techniques. New techniques are needed to predict and diagnose such a system’s failures and evaluate its reliability and safety. In this paper, we first provide a ...

During 1982-5 the 19S (IgM) fluorescent treponemal antibody absorption (19S (IgM) FTA-ABS) test gave positive results in 19 children. The parental histories were analysed. As five of the children were adopted, 14 pregnancies were evaluated. Mothers of foreign origin and extramarital pregnancies were found to be over-represented. Of 13 women who attended for pregnancy checkup, three were not ser...

The EU has indicated that after 2008 its trade relationships with developing countries will be dominated by the development of preferential trade agreements. Although not a consequence of the Cotonou Agreement, the free trade agreement between the EU and the Republic of South Africa (EU RSA FTA) is clearly one of the first fruits of this approach to trade relationships. However, there is no evi...

Grid computing environment due to its scale and heterogeneous nature is more vulnerable to faults. To store and analyze fault and workload information, FTA Fault Trace Archive and GWA Grid Workload Archive are used. Previously researchers have analyzed FTA and GWA as separate research problems but in this research paper we have proposed a method for conducting a combined analysis of FTA and GWA...

In wireless sensor networks, the node faults often occurred in scenes because of severe disturbance, harsh environment and inherent weakness of the networks. In this paper, a fault tolerance directed diffusion protocol, termed fault-tolerant algorithm with recoverable nodes (FTA-RN), is proposed to extend the lifetime of the wireless sensor network based on recoverable host nodes, in which a he...

OBJECTIVE To assess adverse pregnancy outcome associated with maternal syphilis and congenital syphilis rate based on FTA-ABS-19s-IgM. DESIGN Descriptive cross-sectional study. SETTING Pumwani Maternity Hospital (PMH), the largest maternity unit in Nairobi, Kenya. SUBJECTS Rapid Plasma Reagin reactive women and their live born infants. MAIN OUTCOME MEASURES Syphilis serology in pregnant...

With the prevalence of the commodity depth cameras, the new paradigm of user interfaces based on 3D motion capturing and recognition have dramatically changed the way of interactions between human and computers. Human action recognition, as one of the key components in these devices, plays an important role to guarantee the quality of user experience. Although the model-driven methods have achi...