Search

Search Funnelback University

Search powered by Funnelback
201 - 250 of 590 search results for katalk:za33 24 where 0 match all words and 590 match some words.
  1. Results that match 1 of 2 words

  2. A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/bbdphtlca93.pdf
    27 Aug 2008: These 100 cases of cuts we will consider as follows: 40 casesof cuts the form (R;D) as we have 4 right rules and 10 others; 24 cases of cuts ofthe ... There are hence 24 remaining cutsof interest.We now summarize the cuts of which we need to take some
  3. Sikhism faith guide

    https://www.equality.admin.cam.ac.uk/files/faith_guide_sikhism.pdf
    4 Mar 2008: BOOK RETAILERS 23. BIBLIOGRAPHY 23. APPENDIX 24 ACKNOWLEDGEMENTS 24. Sikhism. iv. ... Sikhism. 24. APPENDIX. DEFINITION OF A SIKH FROM THE RAHIT MARYADA (CODE OF DISCIPLINE) The code is reproduced in part in Cole and Sambhi (see above) pp.
  4. On Asymptotic Stability of Solitary Waves in Schrödinger Equation ...

    www.damtp.cam.ac.uk/user/dmas2/public_ps/bkks_finalcorrected.pdf
    3 Jul 2008: For the first time, the asymptotics of type (1.2) were established by Soffer and Weinstein[24, 25] (see also [20]) for nonlinear U(1)-invariant Schrödinger equation with small initial ... c(ν)(t s)1/2(‖η(s)‖2Lβ ρ‖η(s)‖Lβ. ), 0 < t s < ν.
  5. Carbon Nanotube Polycarbonate Composites for Ultrafast Lasers

    www-g.eng.cam.ac.uk/nms/publications/pdf/Scardaci_AM2008.pdf
    5 Nov 2008: Published online: September 24, 2008. [1] Y.-C. Chen, N. R. Raravikar, L. ... Appl. Phys. A 2003, 76, 111. [24] S. Singh, Y. Pei, R.
  6. http://hol.sagepub.com The Holocene DOI: 10.1177/095968360601600518…

    https://www.quaternary.group.cam.ac.uk/people/turner/781-a.pdf
    17 Jun 2008: book. Five introductory chapters and five synoptical chapters. towards the end of the book frame the central core of 24.
  7. arX iv:0 812. 2475 v1 [ astr o-ph ] ...

    https://people.ast.cam.ac.uk/~wyatt/pfwb08.pdf
    17 Dec 2008: 3.47F(iii) 700 1 No No 24 49 3 0 11 13 0.27 3.97F(iv) 100 1 No No 44 34 1 1 9 11 0.30
  8. Variations on Realizability: Realizing the Propositional Axiom of…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/vor02.pdf
    13 Aug 2008: 18The treatment of quotients in Jacobs [24] should make clear what is intended. ... Myhill. Choice implies excluded middle. Zeitschriftfür mathematische Logik und Grundlagen der Mathematik, 24:461, 1978.
  9. WFCAM Catalogues Document Number: VDF-SPE-IOA-00009-0001 Version 5…

    https://people.ast.cam.ac.uk/~wfcam/docs/catalogues.pdf
    2 Sep 2008: 24 arcsec diameter45 Error in flux The aperture fluxes can be combined with later-derived aperture.
  10. Sub-100 fs two-color pump-probe spectroscopy of Single Wall Carbon ...

    www-g.eng.cam.ac.uk/nms/publications/pdf/Gambetta_OE2008.pdf
    15 Aug 2008: Ghislanzoni, 24, 23900 Lecco, Italy 2Engineering Department, Cambridge University, 9 JJ Thompson Avenue, Cambridge CB3 0FA United Kingdom. ... Rev. B 70, 241403 (2004). 24. J. Lefebvre, S. Maruyama, and P.
  11. Thesis Chapter 0

    https://www2.mrc-lmb.cam.ac.uk/groups/wschafer/Hardaker.pdf
    10 Jun 2008: UNIVERSITY OF CALIFORNIA, SAN DIEGO. Neural and molecular mechanisms. underlying behavioral state modulation in C. elegans. A thesis submitted in partial satisfaction of the. requirements for the degree Master of Science. in. Biology. by. Laura Anne
  12. nnano.2008.312 738..742

    www-g.eng.cam.ac.uk/nms/publications/pdf/Wang_NNANO2008.pdf
    8 Dec 2008: From the average output power andrepetition rate, the energy per pulse is 24 pJ. ... Received 19 May 2008; accepted 24 September 2008;. published 2 November 2008.
  13. Particle Flow Calorimetry and ILC Detector Design

    https://www.hep.phy.cam.ac.uk/~thomson/talks/DESY2008.pdf
    7 Jul 2008: gaps between Tungsten increase effective RMoliere)• Lateral segmentation: 1cm2 matched to RMoliere• Longitudinal segmentation: 30 layers (24 X0, 0.9λhad)• Typical resolution: σE/E = 0.15/E(GeV). ... From fully reconstructed LDC tracks identify:.
  14. 3 Oct 2008: 24. the three coordinate directions. They span a parallelepiped of volume.
  15. cowley.dvi

    www.damtp.cam.ac.uk/user/sjc1/papers/ictam2000/long.pdf
    25 Sep 2008: For = (ts t) 1 it follows from (3) and (23)that the dimensional blowing velocity has magnitudev̂b = O(U Re12 74 ) : (24)This blowing velocity causes a perturbation to the inviscid ... the continuity equation it follows thatthe perturbation velocity in
  16. Vapor-phase nucleation of individual CdSe nanostructuresfrom…

    www-g.eng.cam.ac.uk/nms/publications/pdf/Fasoli_APL2008.pdf
    21 Jan 2008: on functionalized substrates;22,24 and c they canbe made of the same material of the final NWs, thus, mini-mizing chemical contaminations.20. ... Although nanocrystal-seeded growth has proven viablefor NWs synthesis,10,20,21,24 many fundamental
  17. doi:10.1098/rspa.2007.0130

    www.damtp.cam.ac.uk/user/dmas2/public_ps/RSPA20070130.pdf
    3 Jul 2008: as2@cam.ac.uk. eived 9 March 2007epted 24 July 2007 2753 This journal is q 2007 The Royal Society.
  18. C:\Documents and Settings\Maciej Dunajski\My…

    www.damtp.cam.ac.uk/user/md327/PDElecture_old.pdf
    3 Jun 2008: Consider a single first order PDE. F(x1,. ,xn,u,. u. x1,. ,. u. xn. )= 0. (4.1). 24. This PDE defines a co–dimension one manifold M J1(Rn, R) of
  19. doi:10.1098/rspa.2005.1598

    www-g.eng.cam.ac.uk/advancedstructures/files/pdf/guest2006.pdf
    25 Jan 2008: 24. 35 dq. dĈ. " #C/:. ð4:3ÞTo find equilibrium configurations of the structure, we look for points where. ... K̂ Zv2Û=vq2 v2Û=vq vĈ. v2Û=vq vĈ v2Û=vĈ2. 24. 35; ð4:5Þ. is positive definite.
  20. Statistical Machine Translationand Automatic Speech Recognitionunder…

    mi.eng.cam.ac.uk/~wjb31/ppubs/LMathiasDissDec07.pdf
    16 Feb 2008: 232.8.4 Phrase Extraction from a Lattice. 24. 2.9 ASR Lattice Pruning for Translation. ... or word lattices [24, 25]. N-Best translation is straightforward: a text-based SMT.
  21. Islam Faith Guide

    https://www.equality.admin.cam.ac.uk/files/faith_guide_islam.pdf
    4 Mar 2008: WEBSITES 22. ORGANISATIONS 23. HELPLINES 24. Islam. iv. PREFACE TO THE FAITH GUIDE SERIES.
  22. Nanowire Lithography on SiliconAlan Colli,† Andrea Fasoli,‡ Simone…

    www-g.eng.cam.ac.uk/nms/publications/pdf/Colli_NL2008.pdf
    21 May 2008: Also, a precise control overthe doping concentration and crystallographic direction ofCS-NWs is still lacking,24 while for SOI-NWs these param-eters would be accurately determined by the initial propertiesof ... M. Nano Lett. 2005, 5, 2287.(24) Wu, Y.;
  23. Particle Flow Calorimetry and ILC Detector Design

    https://www.hep.phy.cam.ac.uk/~thomson/talks/BonnFinal.pdf
    31 Jan 2008: gaps between Tungsten increase effective RMoliere)• Lateral segmentation: 1cm2 matched to RMoliere• Longitudinal segmentation: 30 layers (24 X0, 0.9λhad)• Typical resolution: σE/E = 0.15/E(GeV). ... Nightmare from point of view of detector
  24. Chapter 3 Dimensional Analysis 3.1 Power Laws It is ...

    www.damtp.cam.ac.uk/user/reh10/lectures/ia-dyn-chapter3.pdf
    26 Feb 2008: V 2X′ 2 V 2Y ′ 2 V Y ′. 24.
  25. Using APL format

    www-g.eng.cam.ac.uk/nms/publications/pdf/Ferrari_APL1999.pdf
    20 Feb 2008: density of 3.24 g/cm3.15 The dispersionrelations depend on the elastic constants of both the olayer (E,G) surf and the inner layer (E,G) bulk. ... Knapp and co-workers3,24 proposed a finite-element modelovercome the limitations of the Oliver–Pharr1,2
  26. Probab. Theory Relat. Fields (2008) 141:333–387DOI…

    www.statslab.cam.ac.uk/~nickl/Site/__files/ptrf08.pdf
    11 Sep 2008: We recall thatτ = τ1 τ2, the coarsest topology finer than τ1 and τ2, is defined as follows (e.g.,[24, p. ... If (c) holds, by (24) and boundedness of p0, there is c′ < such that.
  27. www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/la…

    www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/labs/ar5.txt
    3 Jan 2008: 0.0242 -0.0003 42.0150 37.21 -25.35 -0.29 -8.66 1082.04 0.0344 -0.0234 -0.0003 42.0206 35.89 -24.32 -0.28 ... 25.04 -10.44 -0.15 -3.62 1088.47 0.0230 -0.0096 -0.0001 42.1454 24.59 -9.28 -0.13 -3.16 1088.34 0.0226
  28. Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/bhru06.pdf
    18 Aug 2008: normalforms to which a proof in the sequent calculus can reduce (seefor example [24, Page127]). ... The project on which we report here was motivated by Urban’s strong normalisationresult ([25] and [24]) for a formulation of classical proof.In [11],
  29. No Job Name

    https://www2.mrc-lmb.cam.ac.uk/groups/JYL/PDF/vandenent2008ftsq.pdf
    4 Mar 2008: FtsQ is a bitopic membraneprotein of 31 kDa (Robinson et al., 1984), consisting of ashort cytoplasmic tail (residues 1–24), a transmembraneregion (25–49) and a periplasmic domain of approximately226 residues
  30. Change Record

    https://people.ast.cam.ac.uk/~wfcam/docs/jul2007_linearity.doc
    20 Jan 2008: 2-24. 0.1. 6. 1.67. 0.04. 2-32. 0.3. 7. 0.96. 0.03. 2-33. ... 10. 0.69. 0.07. 1-27. 0.3. 11. 1.49. 0.04. 1-24. 0.3. 12.
  31. nnano.2008.67 210..215

    www-g.eng.cam.ac.uk/nms/publications/pdf/Das_NN2008.pdf
    7 Apr 2008: A similar behaviour isobserved for the longitudinal optic (LO) G2 peak of dopedmetallic nanotubes8,9,24, for exactly the same reasons. ... Phys. Rev. B 73, 155426 (2006). 24. Tsang, J. C., Freitag, M., Perebeinos, V., Liu, J. &
  32. On full abstra tion for PCF:I. Models, observables and ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho00.pdf
    22 Aug 2008: Thus, Berryand Curien introdu ed sequential algorithms over dss [10 (see also Curien's book[24 for a omprehensive introdu tion). ... 11, 23, 57. Curien's book (se ond edition) [24 provides an ex ellent a ountof the main body of resear h inspired by the
  33. Automatic Speech Recognition and Statistical Machine Translation…

    mi.eng.cam.ac.uk/~wjb31/ppubs/LMathiasDefenseDec07.pdf
    16 Feb 2008: 32. 34. 36. 38. 40. 42. 44. 8 10 12 14 16 18 20 22 24. ... Lambert Mathias 24 / 43. MotivationProblem Definition. Discriminative Objective functionGrowth Transformations for MT.
  34. PRL 95, 036101 (2005) P H Y S I ...

    www-g.eng.cam.ac.uk/nms/publications/pdf/Hofmann_PRL2005.pdf
    26 Jun 2008: In order to getaccurate growth rate measurements, we prepattern thecatalyst by e-beam lithography to get free standing verti-cally aligned CNFs [2], rather than rely on weight gainmeasurements [24] or ... B. K. Teo et al., Nano Lett. 4, 921 (2004).[24] L.
  35. arX iv:0 810. 5087 v1 [ astr o-ph ] ...

    https://people.ast.cam.ac.uk/~wyatt/scwm08.pdf
    3 Nov 2008: Modelling indicates that the extension arises from an edge-on disk of radius0.5 arcsec ( 24 AU).
  36. Linear �-Calculus and Categorical ModelsRevisitedNick Benton1, Gavin…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdphcsl93.pdf
    27 Aug 2008: These 100 cases of cuts we will consider as follows: 40 casesof cuts the form (R; D) as we have 4 right rules and 10 others; 24 cases of cuts ofthe ... There are 24 remainingcuts of interest.We now summarize the cuts of which we need to take some note.
  37. Ion Beam Doping of Silicon NanowiresAlan Colli,*,† Andrea Fasoli,‡ ...

    www-g.eng.cam.ac.uk/nms/publications/pdf/Colli_NL2008b.pdf
    20 Aug 2008: The hysteresis observed in Figure 3a when reversing thegate sweeping direction is generally thought to arise fromcharge trapping at surface states or defects in the oxide.14,23,24. ... E.; Johnson, A. T. Appl. Phys. Lett. 2005, 87, 193104.(24) Weber, W.
  38. DAMTP 2008/NA06 On the convergence of a wide range ...

    www.damtp.cam.ac.uk/user/na/NA_papers/NA2008_06.pdf
    6 May 2008: L. (3.24). By taking logarithms of both sides of expression (3.23), we find the inequality.
  39. Paper1.dvi

    www.damtp.cam.ac.uk/user/na/NA_papers/NA2008_10.pdf
    1 Aug 2008: µ4(ω) =25I0(τ). 2. ωΘ. [2]0 (ω). 8. ω2Φ. [2]0 (ω). 24.
  40. www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/la…

    www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/labs/ar4.txt
    3 Jan 2008: 0.0988 -0.5322 -0.0299 41.0160 8.48 -44.32 -0.35 -6.88 1006.05 0.0936 -0.4895 -0.0257 41.0182 8.24 -42.11 ... 3620 -0.0188 41.0968 6.95 -27.39 -0.23 -4.40 1006.95 0.0767 -0.3022 -0.0167 41.0365 6.73 -24.41 -0.21 -4.03
  41. 1 2 3 4 5 6 7 8 9 ...

    https://www.hep.phy.cam.ac.uk/history/ua2/MPI-PhE-94-04.pdf
    26 Nov 2008: 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33.
  42. Combining algebraic effects with continuations Martin Hyland,1 Paul…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2007/hlpp07.pdf
    7 Aug 2008: Proof. The correspondences between the first two are in [21, 24]: for any T -algebra r : T R R, the monad map is given by dX (γ) = κ RX 7 ... Proof. To give a T -action on x is equivalent to giving a monad map from T to amodified form of xA(,x) with
  43. www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/la…

    www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/labs/swp30f.txt
    3 Jan 2008: 0.0998 0.5622 -0.0015 36.6670 8.58 47.14 -0.02 10.09 805.65 0.1044 0.5737 -0.0018 36.6450 9.05 48.24 ... 35 0.08 14.19 794.25 0.1858 0.7079 0.0061 36.3848 15.79 57.90 0.10 14.62 794.24 0.1949 0.7147 0.0072
  44. J O H N M I L T O ...

    https://www.christs.cam.ac.uk/sites/default/files/inline-files/leaflet.pdf
    4 Jan 2008: 19, 20, 21 June, and in Hall on 22, 24 June.
  45. hop07spec.dvi

    www.damtp.cam.ac.uk/user/na/NA_papers/NA2008_05.pdf
    10 Apr 2008: Re λm (mπ)2. ω4. 2(mπ)2 5/24(mπ)4. ω6+ O(ω8), (3.1). Im λm 2.
  46. On full abstra tion for PCF:I. Models, observables and ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho00.pdf
    22 Aug 2008: Thus, Berryand Curien introdu ed sequential algorithms over dss [10 (see also Curien's book[24 for a omprehensive introdu tion). ... 11, 23, 57. Curien's book (se ond edition) [24 provides an ex ellent a ountof the main body of resear h inspired by the
  47. Chapter 8 Orbits 8.1 Conics Conic sections — first ...

    www.damtp.cam.ac.uk/user/reh10/lectures/ia-dyn-chapter8.pdf
    26 Feb 2008: Mercury has e 0.2 and Pluto has e 0.24. All the other planets have e < 0.1, so the difference betweenthe minor and major axes of their orbits is
  48. QCDlect3.dvi

    https://www.hep.phy.cam.ac.uk/theory/webber/QCDlect3.pdf
    4 Dec 2008: 1 4t0/t t0/t. 24. Quark Sudakov form factor is then. q(t) exp".
  49. Transient buoyancy-driven front dynamics in nearly horizontal tubesT. …

    www.damtp.cam.ac.uk/user/hinch/publications/PhysFluids_19_123603.pdf
    29 Jan 2008: B. PerrinLaboratoire Pierre Aigrain, UMR 8551, CNRS, Ecole Normale Supérieure,Département de Physique, 24 rue Lhomond, 75231 Paris Cedex 05, France. ... Combining Eqs. 21, 24, and 25 leads to the nonlin-ear diffusion equation satisfied by the local
  50. thesis.dvi

    mi.eng.cam.ac.uk/~wjb31/ppubs/VenkataramaniDiss05.pdf
    16 Feb 2008: 233.3.3 Obtaining Confusions from a Lattice. 24. 3.4 Obtaining Relevant Training data for the Binary Classifiers.
  51. www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/la…

    www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/labs/swp30.txt
    3 Jan 2008: 81 809.24 0.0796 -0.4447 -0.0396 36.6052 7.29 -39.76 -0.57 -7.25 809.98 0.0756 -0.4125 -0.0348 36.6219 7.08 ... 0.0634 -0.3000 -0.0233 36.6781 5.95 -26.99 -0.36 -4.59 812.68 0.0615 -0.2791 -0.0218 36.6828 5.77 -24.67

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Your search history is empty.