Â

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- Stevo Todorcevic
- 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)

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

- Tom D. Lookabaugh, Douglas C. Sicker, David Keaton, Wang Ye Guo, Indrani Vedula
- 2003

Selective encryption exploits the relationship between encryption and compression to reduce encryption requirements, saving inâ€¦Â (More)

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

- John D Wolpert
- Harvard business review
- 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

- In Jae Myung, C. Kim, M. A. Pitt
- Memory & cognition
- 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)

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

- Diederik Aerts
- 1999

We present an analysis of quantum mechanics and its problems and paradoxes taking into account the results that have beenâ€¦Â (More)

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?