QED (text editor)

Known as: QED, Qed text editor 
QED is a line-oriented computer text editor that was developed by Butler Lampson and L. Peter Deutsch for the Berkeley Timesharing System running on… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1969-2018
05010019692018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
ly, the translation module in Sledgehammer and HOLyHammer can be seen as a two-step process: (1) Eliminate the higher-order… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
Is this relevant?
2014
2014
Quantum electrodynamics and electroweak corrections are important ingredients for many theoretical predictions at the LHC. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Today’s call center managers face multiple operational decision-making tasks. One of the most common is determining the weekly… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Database management systems (DBMSs) have largely ignored the task of managing the energy consumed during query processing. Both… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory… (More)
  • figure 4
  • figure 5
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been… (More)
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
This report describes the system developed by the University of Edinburgh and the University of Sydney for the TREC-2005 question… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Here we examine the noncommutative counterpart of QED, which is called as noncommutative QED. The theory is obtained by examining… (More)
Is this relevant?
1999
1999
Is Optimality Theory a constraining theory? A formal analysis shows that it is, if two auxiliary assumptions are made: (1) that… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
It is shown that the generators of two discrete Heisenberg-Weyl groups with irrational rotation numbers θ and −1/θ generate the… (More)
Is this relevant?