## Search

Now showing items 21-30 of 121

#### Hypersolver: a graphical tool for commonsense set theory

(Elsevier, 1995)

This paper investigates an alternative set theory (due to Aczel) called the Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called ...

#### On the stabilization and stability robustness against small delays of some damped wave equations

(IEEE, 1995)

In this note we consider a system which can be modeled by two different one-dimensional damped wave equations in a bounded domain, both parameterized by a nonnegative damping constant. We assume that the system is fixed ...

#### Pipelined fission for stream programs with dynamic selectivity and partitioned state

(Academic Press, 2016)

There is an ever increasing rate of digital information available in the form of online data streams. In many application domains, high throughput processing of such data is a critical requirement for keeping up with the ...

#### Evaluation of army corps food supply system using simulation

(IEEE, 2003)

The Food Supply System is one of the main elements of the Army Logistics System. The ultimate objective in a food supply system is to provide the food at the right time and in the right amount at the right place. If this ...

#### Prediction of protein subcellular localization based on primary sequence data

(IEEE, 2004)

Subcellular localization is crucial for determining the functions of proteins. A system called prediction of protein subcellular localization (P2SL) that predicts the subcellular localization of proteins in eukaryotic ...

#### Integrated lot sizing and tool management in automated manufacturing systems

(IIE, 1997)

We propose a new algorithm to solve lot sizing, tool allocation and machining conditions optimization problems simultaneously to minimize total production cost in a CNC environment. Most of the existing lot sizing and tool ...

#### Formulations and valid inequalities for the heterogeneous vehicle routing problem

(Springer, 2006)

We consider the vehicle routing problem where one can choose among vehicles with different costs and capacities to serve the trips. We develop six different formulations: the first four based on Miller-Tucker-Zemlin ...

#### Integration of reasoning systems in architectural modeling activities

(Elsevier Science, 1998)

In the first phase of a design process, the designer understands the problem and assimilates it to a conceptual framework that is already known to him. Due to the nature of design problems, the reasoning methods and ...

#### A model-based scheme for anticontrol of some chaotic systems

(World Scientific Publishing, 2003)

We consider a model-based approach for the anticontrol of some continuous time systems. We assume the existence of a chaotic model in an appropriate form. By using a suitable input, we match the dynamics of the controlled ...

#### Solving the hazmat transport network design problem

(Pergamon Press, 2008)

In this paper, we consider the problem of network design for hazardous material transportation where the government designates a network, and the carriers choose the routes on the network. We model the problem as a bilevel ...