-
Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study ...
The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution. Also, it... -
Study of the S(Q, w) map of propane/propene adsorbed on non-charged ITQ-29 Ze...
Zeolites are perhaps the most successful microporous materials used for catalysis and separation processes in refineries and chemical industries[1-3]. This is due to the... -
Modes of protein adsorption at polyethylene oxide brushes of various polymer ...
We wish to understand the mechanism to which polymer brushes such as PEO resist the adsorption of protein and thus offer biocompatibility for various surface applications.... -
Texture memory and variant selection for steel and titanium and zirconium alloys
The proposed experiment will focus on determining the level of texture memory and variant selection on both heating and cooling for steel and titanium and zirconium alloys with...
