To simplify the task of proving termination of term rewriting systems, several elimination methods, such as the dummy elimination, the distribution elimination, the general dummy elimination and the improved general dummy elimination, have been proposed. In this paper, we show that the argument ltering method combining with the dependency pair technique is essential in all the above elimination...

In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’ decomposition and adopting SAT techniques. In our approach, each temporal constraint is replaced by a Boolean indicator variable and the decomposed problem is solved by a tightly integrated STP solver and SAT solver. Se...

Economic literature has identified two potential types of racial discrimination in sports careers: exit discrimination and wage discrimination. The authors test for both types of discrimination in National Basketball Association (NBA) data in two ways. First using a modified Heckman procedure, they control for potential survival bias that may arise from exit discrimination in panel data and cou...

This thesis seeks to understand the relationships between salary, non-monetary factors, and job satisfaction in the labor market. It applies lessons from both economic theory and sociological research as it contextualizes and studies these different aspects of the labor market. In a regression comparing salary and non-monetary factors, only two out of 16 dummy variables are statistically signif...

This paper empirically explores the determinants of corporate research and development (R&D) intensity in the Canadian context with a sample of 134 TSE companies. Specifically we investigate in cross-section the impact of various governance and firm-specific variables on firms’ R&D intensity. We find that, in the case of governance variables, percentage of inside director, Directors’ ownership,...

Microstrip patch antennas have several advantages over conventional antennas including their low profile structure, light weight and low cost. As such, they have been widely used in a variety of applications. However, one of the major drawbacks of this antenna is the low bandwidth. In this paper, bandwidth of a dual patch antenna is improved by etching dummy EBG pattern on the feedline. Effects...

In this paper, we describe a design and an implementation of Self-Evolving Database (SEDB), which manages various digital documents with links of five types and supports document management tasks by automating link generation and repair. The SEDB stores only links in a centralized fashion while documents are left in their native formats at their original locations. Each of the links reflects a ...

Previous research studies have demonstrated that the relationship between remote sensing-derived parameters and aboveground biomass (AGB) could vary across different species types. However, there are few studies that calibrate reliable statistical models for mangrove AGB. This study quantifies the differences of accuracy in AGB estimation between the results obtained with and without the consid...

An indicator variable was developed that may be used to visualize and detect bi–directionality in wind tunnel strain–gage balance calibration data. First, the calculation of the indicator variable is explained in detail. Then, an empirical criterion is proposed that may be used to decide which load components of a balance have bi–directional behavior. The criterion could be used, for example, t...

Let SN(P) be the poset obtained by adding a dummy vertex on each diagonal edge of the N’s of a finite poset P. We show that SN(SN(P)) is N-free. It follows that this poset is the smallest N-free barycentric subdivision of the diagram of P, poset whose existence was proved by P.A. Grillet. This is also the poset obtained by the algorithm starting with P0 := P and consisting at step m of adding a...