X00 was a popular DOS-based FOSSIL driver which was commonly used in the mid-1980s to the late 1990s and is even still used today. FOSSIL drivers… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2008

2008

- Richard A. Shore
- 2008

We show that there are 5 formulas in the language of the Turing degrees, D, with ,_ and ^, that de
ne the relations x00 y00, x00… (More)

Is this relevant?

2007

2007

- Rahmat Ali Khan
- Applied Mathematics and Computation
- 2007

The upper and lower solutions method and the generalized quasilinearization technique for second order nonlinear m-point boundary… (More)

Is this relevant?

2003

2003

- Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
- Inf. Comput.
- 2003

ions. In the rest of the paper, we write ALTS to denote thatALTS is an abstraction of a labelled transition system LTS. An… (More)

Is this relevant?

2003

2003

- Parmanand Singh
- 2003

What are generally referred to as the Fibonacci numbers and the method for their formation were given by Virahanka (between A.D… (More)

Is this relevant?

2003

2003

- Franic Ikechukwu Njoku, Pierpaolo Omari
- Applied Mathematics and Computation
- 2003

We prove that a periodic solution of the Duffing equation x00 þ cx0 þ gðt; xÞ 1⁄4 hðtÞ; is asymptotically stable if and only if… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Pedro J. Torres
- 2002

This paper is devoted to study the existence of periodic solutions of the second-order equation x00 1⁄4 f ðt; xÞ; where f is a… (More)

Is this relevant?

2002

2002

- Bing Liu, Jian She Yu
- Applied Mathematics and Computation
- 2002

In this paper, we consider the following second-order ordinary differential equation x00 1⁄4 f ðt; xðtÞ; x0ðtÞÞ þ eðtÞ; t 2 ð0; 1… (More)

Is this relevant?

2001

2001

- Petr Slavík, Venu Govindaraju
- IEEE Trans. Pattern Anal. Mach. Intell.
- 2001

ÐNormalization of slant and skew is often used in processing a word image before recognition. In this paper, we prove the… (More)

Is this relevant?

1998

1998

- Ian Pratt-Hartmann, Dominik J. Schoop
- J. Philosophical Logic
- 1998

This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive… (More)

Is this relevant?

1993

1993

- Gilles Kahn, Gordon D. Plotkin
- Theor. Comput. Sci.
- 1993

This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory… (More)

Is this relevant?