We introduce a novel cache replacement policy to improve the entire network performance of video delivery over content-centric networking (CCN). In the case of the CCN structure, we argue that: 1) for video multiplexing scenario, general cache strategies that ignore the intrinsic linear time characteristic of video requests are unable to make better use of the cache resources, and 2) it is inad...

In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in the field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal sp...

Ni-based single superalloys play a crucial role in the hottest parts of jet engines. However, due to the complex geometry and macro-segregation during the solidification process, the cast defect such as stray grains is inevitable. Therefore, the transient liquid phase (TLP) bonding which can join several small single crystalline castings together is gradually believed to be an effective method ...

Influenza is a major cause of respiratory infection and has a high mortality rate in the elderly. Neuraminidase (NA) on the surface of the influenza virus and bacterial trypsin-like proteases (TLP) play key roles in influenza virus infections. We investigated the effects of oral care on influenza, evaluating in particular the activities of NA and TLP in saliva, as they may contribute to an incr...

The aim of this study was to determine the efficacy of The Listening Program (TLP) in treating a child with pervasive developmental disorder-not otherwise specified (PDD-NOS). Using a single-subject case study design, one child with PDD-NOS was administered a 20-week TLP intervention focused on improving sensory processing and language function. Data collection included pre- and post-evaluation...

In high-consequence systems, there is a high cost associated with failure. Thus, there should be strong evidence that the systems will not fail in field. Such evidence cannot be obtained by traditional verification methods such as testing. Transformation-oriented programming (TOP) is a promising formal software development technique. In TOP, a source file that represents a correct formal specif...