Ax device

Known as: ax 
 

Topic mentions per year

Topic mentions per year

1950-2017
010203019502016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
We show that 1, w, ax, u x ux and ["iF" are the only cofinal types of directed sets of size S,, but that there exist many cofinal… (More)
Is this relevant?
2006
2006
We show how to express intuitionistic Zermelo set theory in deduction modulo (i.e. by replacing its axioms by rewrite rules) in… (More)
  • table 1
  • table 2
  • table 7
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Machine for Stochastic Pi-Calculus (SPiM) ➢ Formalise how the simulator works (program specification). ➢ Prove properties about… (More)
Is this relevant?
2003
2003
Selective encryption exploits the relationship between encryption and compression to reduce encryption requirements, saving in… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
2002
2002
GOLOG is a high-level programming language for the specification of complex actions. It combines the situation calculus with… (More)
Is this relevant?
2002
2002
In most companies, investments in innovation follow a boom-bust cycle. For a time, the cash flows. Then, as the economy sours or… (More)
Is this relevant?
2000
2000
The power law (y = ax-b) has been shown to provide a good description of data collected in a wide range of fields in psychology… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2000
2000
have finitely or infinitely many solutions in rational integers x and y? Due to the classical theorem of Siegel (see Theorem 10.1… (More)
Is this relevant?
1999
1999
We present an analysis of quantum mechanics and its problems and paradoxes taking into account the results that have been… (More)
  • figure 3
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
1996
1996
Daniel J. Bernstein, Jeffrey C. Lagarias 19960215 Abstra t. The 3x+1 map T and the shift map S are de ned by T (x) = (3x+1)=2 for… (More)
Is this relevant?