40 research outputs found
Engineering hydrophobin DewA to generate surfaces that enhance adhesion of human but not bacterial cells
Symbolic Object Code Analysis
Current software model checkers quickly reach their limit when being applied to verifying pointer safety properties in source code that includes function pointers and inlined assembly. This paper introduces an alternative technique for checking pointer safety violations, called Symbolic Object Code Analysis (SOCA), which is based on bounded symbolic execution, incorporates path-sensitive slicing, and employs the SMT solver Yices as its execution and verification engine. Extensive experimental results of a prototypic SOCA Verifier, using the Verisec suite and almost 10,000 Linux device driver functions as benchmarks, show that SOCA performs competitively to current source-code model checkers and that it also scales well when applied to real operating systems code and pointer safety issues. SOCA effectively explores semantic niches of software that current software verifiers do not reach
Biologisch-statistische Untersuchungen über den Einfluß der Funktionsregler nach Fränkel auf die Kieferbasisentwicklung und Zahnkippung
Gastroenteritisausbruch durch Salmonella Enteritidis nach Weihnachtsfeier im Landkreis Fürth 2006 - retrospektive Kohortenstudie mit elektronischer Fragebogenzustellung
High-pressure phase transition of
The high-pressure behaviour of Bi2Fe4O9 was analysed by in situ powder and single-crystal x-ray diffraction and Raman spectroscopy. Pressures up to 34.3(8) GPa were generated using the diamond anvil cell technique. A reversible phase transition is observed at approximately 6.89(6) GPa and the high-pressure structure is stable up to 26.3(1) GPa. At higher pressures the onset of amorphization is observed. The crystal structures were refined from single-crystal data at ambient pressure and pressures of 4.49(2), 6.46(2), 7.26(2) and 9.4(1) GPa. The high-pressure structure is isotypic to the high-pressure structure of Bi2Ga4O9. The lower phase transition pressure of Bi2Fe4O9 with respect to that of Bi2Ga4O9 (16 GPa) confirms the previously proposed strong influence of cation substitution on the high-pressure stability and the misfit of Ga3+ and Fe3+ in tetrahedral coordination at high pressure. A fit of a second-order Birch–Murnaghan equation of state to the p–V data results in K0 = 74(3) GPa for the low-pressure phase and K0 = 79(2) GPa for the high-pressure phase. The mode Grüneisen parameters were obtained from Raman-spectroscopic measurements