Borland Reflex is a flat-file database management system for DOS. It was the first commercial PC database to use the mouse and graphics mode, andâ€¦Â (More)

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

2017

2017

In this chapter, we highlight how recent advances in influenza epidemiology can inform strategies for disease control. Given theâ€¦Â (More)

Is this relevant?

Review

2012

Review

2012

- X. Xie, Tian Ling Chen, +6 authors Wei Jia
- 2012

Oral cancer is the sixth most common human cancer, with a high morbidity rate and an overall 5year survival rate of less than 50â€¦Â (More)

Is this relevant?

2010

2010

- M. N. Kashid, Albert Renken, Liubov Kiwi-Minsker
- 2010

Microreactor technology, an important method of process intensification, offers numerous potential benefits for the processâ€¦Â (More)

Is this relevant?

2010

2010

- Bertrand Russell
- 2010

This thesis is based on the following papers, which are referred to in the text by their Roman numerals. Extraction ofâ€¦Â (More)

Is this relevant?

2006

2006

- Helen M. Walker
- 2006

Abraham de Moivre (1667-1754) left France at the revocation of the Edict of Nantes and spent the rest of his life in Londonâ€¦Â (More)

Is this relevant?

2005

2005

- Daniel G. Campos, Douglas E Anderson, +5 authors C. Charles Sanders
- 2005

ing from their actual experience with games of chance, a collection of possible outcomes of aleatory trials. This does not meanâ€¦Â (More)

Is this relevant?

2003

2003

- Walter D Conway
- 2003

Engelsma M, KokWT and Smit HC (1990) Selective determination of trace levels of phenol in river water using electrochemicalâ€¦Â (More)

Is this relevant?

2003

2003

- GÃ¶te Johansson
- 2003

(1997) Analytica Chimica Acta 344: 241}249. 23. Llompart MP, Lorenzo RA, Cela R, PareH JRJ, BeH langer JMR and Li K (1997â€¦Â (More)

Is this relevant?

1996

1996

- Andrej Bauer, Edmund M. Clarke, Xudong Zhao
- Journal of Automated Reasoning
- 1996

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in the Mathematica languageâ€¦Â (More)

Is this relevant?

1992

1992

- Edmund M. Clarke, Xudong Zhao
- CADE
- 1992

Current automatic theorem provers, particularly those based on some variant of resolution, have concentrated on obtaining everâ€¦Â (More)

Is this relevant?