Eureka (OPAC)

Known as: Eureka, Eureka (search engine) 
Eureka was the user interface for general users of the Research Library Information Network (RLIN), a bibliographic resource containing records from… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1948-2017
0102019482016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
In this paper, we analyze tropospheric O3 together with HNO3 during the POLARCAT (Polar Study using Aircraft, Remote Sensing… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2011
2011
11 Global and regional climate models have highlighted the Arctic as a region of particular sensitivity to climate change1. These… (More)
Is this relevant?
2010
2010
An organization’s most valuable knowledge—its essential intellectual capital—is not limited to the information in of!cial… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We introduce Eureka, a framework for enabling static analysis on Internet malware binaries. Eureka incorporates a novel binary… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2002
2002
0 7 4 0 7 4 5 9 / 0 2 / $ 1 7 . 0 0 © 2 0 0 2 I E E E T he traditional job of the requirements analyst is to talk to users, find… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Proof by mathematical induction gives rise to various kinds of eureka steps, e.g., missing lemmata and generalization. Most… (More)
  • figure 2
  • figure 8
  • figure 13
  • table 1
  • table II
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The tupling transformation strategy can be used to merge loops together by combining recursive calls and also to eliminate… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Knowledge acqusition for expert systems is a purely practical problem to be solved by experiment, independent of philosophy… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
1989
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to… (More)
Is this relevant?