Deposition process for thin insulator used in polysilicon gate dielectric of thin film transistors are optimized. Silane and N2O plasma are used to form SiO2 layers at temperatures below 150 ºC. The deposition conditions as well as system operating parameters such as pressure, temperature, gas flow ratios, total flow rate and plasma power are also studied and their effects are discussed.  The p...

The formal expression of pro positional attitudes, especially when nested (iterated), is an important problem for A I . An interesting first-order extensional logical system for such expression has been proposed by Creary. In this system concepts (and concepts of concepts, etc.) are made explicit. The system includes "concept functions", which are special functions which act on and deliver conc...

This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2...

This paper determines the optimal timing of dike heightenings as well as the corresponding optimal dike heightenings to protect against floods. To derive the optimal policy we design an algorithm based on the Impulse Control Maximum Principle. In this way the paper presents one of the first real life applications of the Impulse Control Maximum Principle developed by Blaquière. We show that the ...

Once a landslide dam bursts, its reservoir discharges quickly in a flood which will cause catastrophic damage to life and property downstream. For a specific landslide dam, the peak flow rate and the evolution of downstream flood are influenced by the shape and size of the dike breach when dam-break occurs. According to the general nature of landslide dams and field observations of dike-breach ...