The objective of this study is to improve quality and reliability of safety-critical software in the nuclear industry. It is accomplished by focusing on the following two areas: Formulation of a standard extensive integrated software testing strategy for safety-critical software,…

Background: Local adaptation of guidelines may increase compliance with guidelines that have been developed at a national level and are often not used in practice because of contextual factors. We have developed a representation scheme known as HieroGLIF, that facilitates…

Firm boundaries have been the subject of much scholarly interest in recent years, as firms increasingly hire external, "contingent" workers and outsource previously core activities. However, little empirical research has directly studied what happens differently inside the firm's boundaries, versus…

(cont.) members. The experimental program for RC beams involves qualitative and quantitative observation of the changes in the debonding behavior and load capacity of the beams with various configurations of shear and/or flexural strengthening and anchorage conditions in four evolutionary…

(cont.) visualize complex geometric arrangements. Finally, the tools developed represent an alternative to what learning technology has always done; transmit academic knowledge to the student. These tools are an example of how IT can be used to go beyond the…

(cont.) of free methionine. Therefore, the environments surrounding different methionine sites in G-CSF mainly provide spatial restriction to the access to the solvent but do not affect oxidation in a specific manner, consistent with the good correlation between 2SWCN's and…

(cont.) with recombinant material. The in vitro system established in this study will facilitate the investigation of platinum-DNA damage by DNA repair processes and help elucidate the role of specific post-translational modification in NER of platinum-DNA adducts at the physiologically…

(cont.) to variations in the way functional elements interact with verbal roots. Overall, my work not only contributes to our understanding of how events are syntactically represented, but also explicates interactions at the syntax-semantics interface, clarifying the relationship between surface…

(cont.) which are then applied to developmentally acquire new object representations. The humanoid robot therefore sees the world through the caregiver's eyes. Building an artificial humanoid robot's brain, even at an infant's cognitive level, has been a long quest which…

(cont.) Packing/Covering problems, we prove upper and lower bounds on the adaptivity gap depending on the dimension. We also design polynomial-time algorithms achieving near-optimal approximation guarantees with respect to the adaptive optimum. Finally, we prove complexity-theoretic results regarding optimal adaptive…