#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1969

2015

- This year (0)
- Last 5 years (4)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Deanna H. Olson, David M. Aanensen, +6 authors Matthew C. Fisher
- PloS one
- 2013

The rapid worldwide emergence of the amphibian pathogen Batrachochytrium dendrobatidis (Bd) is having a profound negative impact on biodiversity. However, global research efforts are fragmented and an overarching synthesis of global infection data is lacking. Here, we provide results from a community tool for the compilation of worldwide Bd presence and… (More)

- K Anders Ericsson, Peter F Delaney, George Weaver, Rajan Mahadevan
- Cognitive psychology
- 2004

After extensive laboratory testing of the famous memorist Rajan, Thompson, Cowan, and Frieman (1993) proposed that he was innately endowed with a superior memory capacity for digits and letters and thus violated the hypothesis that exceptional memory fully reflects acquired "skilled memory." We successfully replicated the empirical phenomena that led them… (More)

- George Weaver, Benjamin R. George
- Math. Log. Q.
- 2005

- George Weaver, Benjamin R. George
- Math. Log. Q.
- 2003

- Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
- Notre Dame Journal of Formal Logic
- 1991

1 In his 1949 paper, "The completeness of the first-order calculus", Henkin developed what is now called the method of (individual) terms to establish that every consistent set of statements of a first-order language L has a model of cardinality α, a the number of statements of L. The idea is to start with such a set S, construct a so-called term-extension… (More)

- J. Chandrakanta Badajena, Chinmayee Rout, +5 authors Kim S. S. Reddy
- 2012

Now-a-days to increase the computation efficiency distributed systems are used in which the computing resources are shared among several systems. Such openness of distributed system leads to increase in potential attacks on the hardware and software by exploration of system vulnerability. This paper presents implementation of Intrusion Detection System… (More)

- George Weaver, Michael Thau, Hugues Leblanc
- Math. Log. Q.
- 1990

- George Weaver
- Studia Logica
- 2000

- John Corcoran, George Weaver
- Notre Dame Journal of Formal Logic
- 1969

- George Weaver
- Notre Dame Journal of Formal Logic
- 1992