We present cTI, a system for bottom-up termination inference. Termination inference is a generalization of termination analy-sis/checking. Traditionally, a termination analyzer tries to prove that a given class of queries terminates. This class must be provided to the system, requiring user annotations. With termination inference such annotations are not necessary. Instead, all provably termina...

Title of Document: BOTTOM-UP MULTIFERROIC NANOSTRUCTURES. Shenqiang Ren, Doctor of Philosophy, 2009 Directed By: Professor Manfred Wuttig Department of Materials Science and Engineering Multiferroic and especially magnetoelectric (ME) nanocomposites have received extensive attention due to their potential applications in spintronics, information storage and logic devices. The extrinsic ME coupl...

In this paper, we present a new method for propositionalization that works in a bottom-up, data-driven manner. It is tailored for biochemical databases, where the examples are 2-D descriptions of chemical compounds. The method generates all frequent fragments (i.e., linearly connected atoms) up to a user-specified length. A preliminary experiment in the domain of carcinogenicity prediction show...

In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We present our algorithm as an inference system for computing Hoare triples summarizing heap manipulating programs. Our inference rules are compositional: Hoare triples for a compound statement are computed from the Hoare tr...

This paper describes a series of experiments aimed at producing a bot tom-up parser that will produce partial parses suitable for use in robust interpretation and still be reasonably efficient. In the course of these experiments, we improved parse times by a factor of 18 over our first a t tempt, ending with a system that was twice as fast as our previous parser, which relied on strong top-down...

In this paper, the construction and analysis of multiple input multiple output (MIMO) subnets is presented. Hierarchical Time-Extended Petri Nets (H-EPNs), allow for the generation of MIMO subnets through bottom-up synthesis techniques similar to those discussed in PN literature [3]. A simple transformation of these MIMO subnet structures into equivalent single input single output (SISO) subnet...