Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Being new to grounded theory the onus to understand the methodology and the various versionscan be daunting.Learning and… Expand
Review
2004
Review
2004
The role that affective states play in learning was investigated from the perspective of a constructivist learning framework. We… Expand
Highly Cited
2004
Highly Cited
2004
  • S. Shanker
  • Minds and Machines
  • 2004
  • Corpus ID: 26058082
The Greeks had a ready answer for what happens when the mind suddenly finds the answer to a question for which it had been… Expand
Highly Cited
2004
Highly Cited
2004
  • A. Ireland
  • Journal of Automated Reasoning
  • 2004
  • Corpus ID: 1299479
Proof by mathematical induction gives rise to various kinds of eureka steps, e.g., missing lemmata and generalization. Most… Expand
  • figure 2
  • figure 8
  • figure 13
  • table 1
  • table II
Highly Cited
2002
Highly Cited
2002
An organization’s most valuable knowledge—its essential intellectual capital—is not limited to the information in ofŽcial… Expand
Highly Cited
1996
Highly Cited
1996
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
1995
Highly Cited
1995
Three experiments examined whether group cognitions generate a product that is not easily ascribed to the cognitions that similar… Expand
  • table 1
Highly Cited
1994
Highly Cited
1994
iBM signs usD 15 million outsourcing agreement with eureka Forbes IBM has signed a five-year IT outsourcing agreement worth USD… Expand
Highly Cited
1993
Highly Cited
1993
  • W. Chin
  • PEPM '93
  • 1993
  • Corpus ID: 15411495
The tupling transformation strategy can be used to merge loops together by combining recursive calls and also to eliminate… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1991
Highly Cited
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For… Expand