High-Level Abstractions for Low-Level Programming Iavor Sotirov Diatchki Ph.D., OGI School of Science & Engineering at Oregon Health & Science University May 2007 Thesis Advisor: Dr. Mark P. Jones Computers are ubiquitous in modern society. They come in all shapes and sizes: from standard household appliances and personal computers, to safety and security critical applications such as vehicle n...

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jonsson cardinal is weakly compact. On the other hand, w...

ion, in the presence of a number of interacting analysis tools? We believe this to be an important challenge but have not yet made much progress towards solving it. Of course, machines often have trouble answering “why” questions because they usually do not keep track of the reasons that previous decisions were made, and because the correct answer can depend on the frame of mind of a human. We ...

In this paper we prove that testing the cyclic level planarity of a cyclic level graph is a polynomial-time solvable problem. This is achieved by introducing and studying a generalization of this problem, which we call cyclic T -level planarity. Moreover, we show a complexity dichotomy for testing the simultaneous level planarity of a set of level graphs, with respect to both the number of leve...

In this paper we discuss the notion of programming at the knowledge level in the context of distributed AI systems. In particular, we show that although a number of languages defining abstract communication primitives have been proposed in the past few years, knowledge-level programming can only be supported if specific symbol-level requirements are satisfied. To illustrate this problem we form...

ions Abstractions have a cost. File systems and network protocols are generic and not tailored to one particular application. We cannot expect an abstraction to be optimal with respect to every application that uses it. Similarly on the PL side one cannot expect a general purpose PL to provide the exact abstractions needed for one particular application. These abstractions too have a cost: they...

objective: ecosystems with mixed species compared to the ones with pure compositions provide a broader range of options in the fields of biodiversity, conservation, protection and restoration. nearly all forest plantations are established as monocultures, but research has shown that there are potential advantages to be gained by using carefully designed species mixtures in place of monocultures...

background: this study has been conducted on workers from several workplaces where materials containing lead are used during december 2006-april 2007 in eskişehir, a city of the middle anatolian region of turkey. methods: the study and control groups were occured with 403, and 97 men, respectively. after each interview with the individuals, their blood pressures (bp) and complete blood counts (...

noise is defined as unwanted or objectionable sound. human susceptibility to noise varies in terms of intensity, altitude, timbre of sound, personal sensibility, age, and history of ear disorder. noise pollution which is the result of heterogeneous and uncontrolled developments of cities is one the serious problems in large cities of iran. although noise pollution in kerman (located in southeas...