E-LIB Suche - Ergebnisse für: Tucker, V

1

A national propensity score-matched analysis of emergency l..:

Pucher, P H ; Mackenzie, H ; Tucker, V.
British Journal of Surgery. 108 (2021) 8 - p. 934-940 , 2021

Link: https://doi.org/10.1093/..

2

Infinitary initial algebra specifications for stream algebr..:

, In: Reflections on the Foundations of Mathematics,

Tucker, J. V. ; Zucker, J. I. - p. 228-248 , 2017

Link: https://doi.org/10.1017/..

3

Abstract versus concrete computability: the case of countab..:

, In: Logic Colloquium '03,

Tucker, J. V. ; Zucker, J. I. - p. 377-408 , 2017

Link: https://doi.org/10.1017/..

4

Oracles that measure thresholds: the Turing machine and the..:

Beggs, E. ; Costa, J. F. ; Pocas, D..
Journal of Logic and Computation. 23 (2013) 6 - p. 1155-1181 , 2013

Link: https://doi.org/10.1093/..

5

Continuity of operators on continuous and discrete time str..:

Tucker, J.V. ; Zucker, J.I.
Theoretical Computer Science. 412 (2011) 28 - p. 3378-3403 , 2011

Link: https://doi.org/10.1016/..

6

Effect of delivery method on the efficacy of Salmonella vac..:

Atterbury, R. J. ; Morris, V. ; Harrison, D....
Veterinary Record. 167 (2010) 5 - p. 161-164 , 2010

Link: https://doi.org/10.1136/..

7

Awake Renal Transplantation; A Realistic Alternative to Gen..:

Nicholls, A.J. ; Tucker, V. ; Gibbs, P.
Transplantation Proceedings. 42 (2010) 5 - p. 1677-1678 , 2010

Link: https://doi.org/10.1016/..

8

Computational Complexity with Experiments as Oracles. II. U..:

Beggs, Edwin ; Costa, José Félix ; Loff, Bruno.
Proceedings: Mathematical, Physical and Engineering Sciences. 465 (2009) 2105 - p. 1453-1465 , 2009

Link: https://www.jstor.org/st..

9

Meadows and the equational specification of division:

Bergstra, J.A. ; Hirshfeld, Y. ; Tucker, J.V.
Theoretical Computer Science. 410 (2009) 12-13 - p. 1261-1271 , 2009

Link: https://doi.org/10.1016/..

10

Computations via Newtonian and relativistic kinematic syste..:

Beggs, E.J. ; Tucker, J.V.
Applied Mathematics and Computation. 215 (2009) 4 - p. 1311-1322 , 2009

Link: https://doi.org/10.1016/..

11

Unifying computers and dynamical systems using the theory o..:

Thompson, B.C. ; Tucker, J.V. ; Zucker, J.I.
Applied Mathematics and Computation. 215 (2009) 4 - p. 1386-1403 , 2009

Link: https://doi.org/10.1016/..

12

The rational numbers as an abstract data type:

Bergstra, J. A. ; Tucker, J. V.
Journal of the ACM (JACM). 54 (2007) 2 - p. 7-es , 2007

Link: https://dl.acm.org/doi/1..

13

Experimental Computation of Real Numbers by Newtonian Machi..:

Beggs, E. J. ; Tucker, J. V.
Proceedings: Mathematical, Physical and Engineering Sciences. 463 (2007) 2082 - p. 1541-1561 , 2007

Link: https://www.jstor.org/st..

14

Division Safe Calculation in Totalised Fields:

Bergstra, J. A. ; Tucker, J. V.
Theory of Computing Systems. 43 (2007) 3-4 - p. 410-424 , 2007

Link: https://doi.org/10.1007/..

15

The rational numbers as an abstract data type:

Bergstra, J. A. ; Tucker, J. V.
Journal of the ACM. 54 (2007) 2 - p. 7 , 2007

Link: https://doi.org/10.1145/..