The Instruction Set Architecture (ISA) is that part of a computing machine visible for programming, including its native data types, instructions, registers, memory architecture, exception handling and external interfaces. The ISA also includes the specification of the machine’s native language: that is its instructions and their actions. This thesis proposes the use of the Event-B formal notat...

Fernandes et al. used the Iowa Satisfaction with Anesthesia Scale (ISAS) to measure patient satisfaction after cataract surgery. The ISAS generally is appropriate for cataract surgery and has content validity for monitored anesthesia care. Fung et al. showed that the ISAS can be used to measure patient satisfaction with cataract care under topical local anesthesia and monitored sedation. Howeve...

Plant isoamylase-type starch-debranching enzymes (ISAs) hydrolyze alpha-1,6-linkages in alpha-1,4/alpha-1,6-linked polyglucans. Two ISAs, designated PvISA1/2 and PvISA3, were purified from developing seeds of kidney bean by ammonium sulfate fractionation and several column chromatographic procedures. The enzymes displayed different substrate specificities for polyglucans: PvISA1/2 showed broad ...

Regular monitoring of expanding impervious surfaces areas (ISAs) in urban areas is highly desirable. MODIS data can meet this demand in terms of frequent observations but are lacking in spatial detail, leading to the mixed land cover problem when per-pixel classifications are applied. To overcome this issue, this research develops and applies a spatio-temporal sub-pixel model to estimate ISAs o...

I nstruction set architectures have long lifetimes because introducing a new ISA is tremendously disruptive to all aspects of a computer system. However, slowly evolving ISAs eventually become a poor match to the rapidly changing underlying fabrication technology. When that gap eventually grows too large, the benefits gained by renormalizing the architecture to match the underlying technology m...

underwater target imaging using acoustic waves is possible by employing the method used in synthetic aperture radars. in recent years, synthetic aperture sonar has been the subject of several researches. wherein imaging of underwater moving target is required, inverse synthetic aperture sonar (isas) idea can be used but specifications and limitations of underwater channel should be considered. ...

The contamination of surface environments with hydroxide rich wastes leads to the formation of high pH (>11.0) soil profiles. One such site is a legacy lime works at Harpur Hill, Derbyshire where soil profile indicated in-situ pH values up to pH 12. Soil and porewater profiles around the site indicated clear evidence of the presence of the α and β stereoisomers of isosaccharinic acid (ISA) resu...

Interferometric Synthetic Aperture Sonar (ISAS) offers the possibility of high resolution, three-dimensional images of objects on the ocean floor. The height of objects is identified from the phase difference between two synthetic aperture images of the object obtained using two receivers separated by a short distance. A central problem is the need to unwrap the phase difference in the presence...