Terminate (software)

Known as: Terminate 
Terminate (terminat.exe) was a shareware modem terminal and host program for MS-DOS and compatible operating systems, developed during the 1990s by… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Temporal abstraction is key to scaling up learning and planning in reinforcement learning. While planning with temporally… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Wireless power transfer via magnetic resonant coupling is experimentally demonstrated in a system with a large source coil and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2008
Review
2008
The adipose tissue-derived hormone leptin acts via its receptor (LRb) in the brain to regulate energy balance and neuroendocrine… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checking… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
When a job-seeker and an employer meet, find a prospective joint surplus, and bargain over the wage, conditions in the outside… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Reheating after inflation occurs due to particle production by the oscillating inflaton field. In this paper we describe the… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Recent developments in the area of reinforcement learning have yielded a number of new algorithms for the prediction and control… (More)
Is this relevant?
Highly Cited
1977
Highly Cited
1977
Of the many possible functions of the macaque monkey primary visual cortex (striate cortex, area 17) two are now fairly well… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1953
Highly Cited
1953
The problem formulated below was motivated by that of determining an interval containing the point at which a unimodal function… (More)
Is this relevant?