This thesis presents Fide, a hardware design system that uses Goal-oriented programming. Goal-oriented programming is a programming framework to specify open-ended decision logic. This approach relies on two fundamental ...

Users have high-level goals when they browse the Web or perform searches. However, the two primary user interfaces positioned between users and the Web, Web browsers and search engines, have very little interest in users' ...

Companies have been constantly trying for ways and means to improve R&D performance as it is one of the most important competitive advantage tools of an organization. Literature review on R&D performance improvement suggests ...

Meaning provides the individual with a sense of a purpose to live, being himself, and feeling at ease. Finding meaning on a daily basis is paramount. Yet, the search is constant since meaning is lost and regained persistently. ...

Key to low temperature carbon monoxide oxidation on gold-nickel random surface alloys is molecularly (rather than atomically) adsorbed oxygen, and weakly bound carbon monoxide. To characterize these adsorbates, saturation ...

In this thesis, we examine theoretical aspects of the Gomory-Chvátal closure of polyhedra. A Gomory-Chvátal cutting plane for a polyhedron P is derived from any rational inequality that is valid for P by shifting the ...

The main goal of this dissertation is to determine the best theory of de re/de dicto intensionality. Recently, it has become apparent that the traditional scope theory of this phenomenon is inadequate, the most marked ...

The overall goal of this thesis is to apply the theory of Goodwillie calculus to the category Algo of algebras over a spectral operad. Its first part generalizes many of the original results of Goodwillie in [14] so that ...