We propose a novel zero-shot multi-frame image restoration method for removing unwanted obstruction elements (such as rains, snow, and moire patterns) that vary in successive frames. It has three stages: transformer pre-training, restoration, hard patch refinement. Using the pre-trained transformers, our model is able to tell motion difference between true information obstructing elements. For ...

Human lives are increasingly dependent on digital control systems which operate everything from airplanes to power-plants. Consequently, it is crucial that we be able to verify the correctness of these systems. However, “correctness” only makes sense with respect to some specification of their behavior. Formal methods allow for establishing with certainty that digital systems satisfy safety and...

Although the object-oriented paradigm has been gaining wide popularity in recent years, little work has been done on how to test objectoriented software systems. We believe that many special programming features found in the object-oriented paradigm will also play important roles during the testing phase. In this paper, we propose a conformance testing method for object-oriented software system...

It is well-known that severe deformation to metals causes a direct grain refinement of the matrix without special heat-treatments due to the mechanism of dynamic continuous recrystallization (DCR). However, the microstructural revolution during severe deformation is seemed to be different depending on the deformation mode, namely the direction of deformation. In general, multi-directional defor...

Modern vehicle bodies make intensive use of high strength steel grades to meet the contradicting demand of lighter weight and simultaneously better mechanical performance. For many steel grades microalloying by niobium is the key to achieve their characteristic property profile. In HSLA steels niobium enhances the strength primarily by grain refinement. In interstitial free high strength steels...