Search

Search Funnelback University

Search powered by Funnelback
Did you mean "bob"?
21 - 70 of 133 search results for b&b
  1. Fully-matching results

  2. 4 OFFICERS NUMBER–LENT TERM 2008 [SPECIAL NO. 13 PA ...

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/13/part2.pdf
    3 Mar 2008: N O M I NAT I N G A N D A P P O I N T I N G B O D I E S : A B B R ... W. R. Cornish, M (Chair), 2009; [GB] Dr S. B. Bayly, CHR, Prof.
  3. Lent Term 2008 J. M. E. Hyland Set Theory ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Teaching/stl07ex3.pdf
    6 Mar 2008: 1. Which of the following propositions are tautologies?(a) (A B) (B A). ... b) A A.(c) (A B) (B A). (d) (A B) ((A B) A).
  4. Abstract and ConcreteModels for Recursion Martin HYLANDDPMMS, CMS,…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/acmr08.pdf
    22 Jan 2008: fixBgf = g.fixCf(Ag). • (Diagonal)For f : AB B B. fixB(fixBf) = fixBB(B.f). ... When f : A B B we show the variables by writing f(a,b).
  5. 16 Feb 2008: 8vfi b b(hxo!kjetljvfs KKKKKKKKKK : V: 6 imaljehoxpgjvfetz&rCi l iiJpH bE!$6BKKKKKK : : 6S6 qfss mak KKKKKKKKKKKK ;. Y - F 3F $! PA X FG$H/ - 1+; 6 etgj{ ... pfi oxkgl1ehpvfiJc%mnljl=etJi ( KKKKKK = ;>; 6 8vi - pfi 'oxkjgl(etpfvfic maljljehi
  6. Pseudo-commutative monads and pseudo-closed 2-categories⋆ ⋆⋆ Martin…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hp02.pdf
    29 Sep 2008: 6. unit- [B,AB]. [e, 1]. 6. k- [[B,B], [B,AB]]. [[B,e], 1]. ... If T is pseudo-commutative this map hasa section. Proposition 12. Given a T-algebra B = (B,b) and a small category X, thecomposite.
  7. www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/fl…

    www-mdp.eng.cam.ac.uk/web/library/enginfo/aerothermal_dvd_only/aero/flutter.txt
    3 Jan 2008: i=1:100, A=masspolarI-crossIcrossI; B=0.5rhoVVSCla(crossIxacmass)-Kamass-KhpolarI; C=Kh(Ka-0.5rhoVVSClaxac); % % w1=(-Bsqrt(BB-4.0AC))/(2.0A);
  8. 5 Dec 2008: x µy) (x µy) = 0 , x = |a|2b |b|2a , (2x y) (a b) = λ. ... 2. (a) Show that. a (b c) = b (c a) = c (a b).
  9. COMPLEX DIFFERENTIAL EQUATIONS – Example Sheet 2TKC Lent 2008 ...

    https://www.dpmms.cam.ac.uk/~tkc10/ComplexDE/Exercise_2.pdf
    9 Jun 2008: f (z) = 1 ab. cz. a(a 1) b(b 1)1 2 c(c 1). ... b) (1 z)a = F (a, b, b; z).(c) sin1 z = zF ( 12 ,. 12 ,. 32 ; z. 2).6. Consider the matrix form of the Riemann hypergeometric differential equation:.
  10. mlics.dvi

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hs02.pdf
    13 Aug 2008: Soc < a if and only if there exists b B with c < b < a. ... F ,F) : (A+,A) - (B+,B) and(G+,G) : (B+,B) - (C+,C).
  11. Ion Beam Doping of Silicon NanowiresAlan Colli,*,† Andrea Fasoli,‡ ...

    www-g.eng.cam.ac.uk/nms/publications/pdf/Colli_NL2008b.pdf
    20 Aug 2008: Figure 7. Effective core diameter distribution of as-grown (black),implanted (red) and annealed (green) SiNWs for (a) P-implantationand (b) B-implantation. ... E. Phys. ReV. B 1973, 7, 3685.(29) (a) Li, B. B.; Yu, D.
  12. Pi-Calculus, Dialogue Games and PCF�J. M. E. Hylandy C.-H. ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho95.pdf
    21 Aug 2008: This easily reduces to(x)(x(b):b(d):chd i j! x(a00):a00h 2i). 1. 2. 3. ... c. d. e. f. (((, ), )),Figure 5: Trace of G.which is to(x)(x(b):b(d):ch di j x(a00):a00h 2i j!
  13. Electronic Notes in Theoretical Computer Science 83 (2004)URL:…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2003/chp03.pdf
    19 Aug 2008: T f - T B. µB? β T B. @@. @@. @a. R. f̄. @@. @@. @a. R. f̄. @@. @@. @. b. R. A. a? f- B. b? A. f- B. b? ... C(A, B). @@. @@. @. 1HB H h̄ 1. R. C(B, B) C(A, B).
  14. Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/bhru06.pdf
    18 Aug 2008: A; W-L ; ;B W-R ; A;A; A; C-L ; ;B;B ;B C-R :Naturalities implicit in proof nets in tandem with our reduction principle for logicalcuts suggest a ... A B A A B BA;B A BA _ A;B;B A B;A BA _ A;B A B (3).
  15. https://www.hep.phy.cam.ac.uk/theory/webber/camjet/camjet.uu

    https://www.hep.phy.cam.ac.uk/theory/webber/camjet/camjet.uu
    21 Oct 2008: Z8V9?6A,B/Q MPW30QO.GG@O=;:IS'_OB4S[SV9J?]WM_!J/._Y[AC8"VZ']Z]KH__. ... S[WU-R9SMJS41F.7.-B/#OWTIGF0RLK@RQS2NS.%5,$U,AL1$ M-"ZXJ"NES$8N1JBXM2TP2#U#!GH.Y$M1DR5U:8)OJ[KP?,'TEAFI%!
  16. 3 Jul 2008: φν (φν B)) (B φν Bφν) (60)where. J νi = φν iφν κνφνi j j uν (61)uν = ( jφν σ). ... η (φ φ (φ φ)) η((φ (φ B)) (B φ Bφ)) = 0.
  17. Sergei Taraskin's Research

    www.complex-systems.ch.cam.ac.uk/Part3_physics/SP_part3_glass_transition.html
    15 Sep 2008: 3] S.N. Taraskin, and S.R. Elliott,4] S.D. Bembenek and B.B. Laird, Phys.Rev.Lett., 74, 936 (1995).
  18. COMPLEX DIFFERENTIAL EQUATIONS – Example Sheet 2 (For…

    https://www.dpmms.cam.ac.uk/~tkc10/ComplexDE/Exercise_2_answers.pdf
    15 May 2008: cz. a(a 1) b(b 1)1 2 c(c 1). z2. Find a formula for the nth coefficient when c is not an integer. ... b) (1 z)a = F(a,b,b; z).(c) sin1 z = zF( 12,.
  19. LATEX and the Gnuplot Plotting Program David Kotz Principal ...

    www-mdp.eng.cam.ac.uk/web/CD/engapps/gnuplot/latexgnuplot.pdf
    28 Jan 2008: This is a title. Data. Data File. b b b b b b b b bb. ... bb b. b b b b b b b bb3ex. 2+ 1.
  20. Bitext Alignment forStatistical Machine Translation Yonggang Deng A…

    mi.eng.cam.ac.uk/~wjb31/ppubs/YDengDissertationDec05.pdf
    16 Feb 2008: Precision(B, B′) =|B B′||B′| (1.1). Recall(B, B′) =|B B′|. |B| (1.2). ... AER(B, B′) = 1 2 |B B′|. |B′| |B| (1.3). 5.
  21. Combining computational effects: commutativityand sum Martin Hyland,1 …

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hpp02.pdf
    19 Aug 2008: L(A, B) L′(A′, B′) - L(A B′, B B′) L′(A A′, A B′). ... L(A A′, B A′) L′(B A′, B B′)? comp- L(A A′, B B′).
  22. doi:10.1016/j.physe.2008.01.007

    www-g.eng.cam.ac.uk/nms/publications/pdf/Ferrari_PE2008.pdf
    28 May 2008: A.G. Walsh, A.N. Vamivakas, Y. Yin, S.B. Cronin, M.S. Ünlü, B.B. ... 2485Golberg, D. 2551Goldberg, B.B. 2375Goldoni, A. 2238Görnert, P. 2531Granitzer, P. 2517Grecu, M.N.
  23. ex.dvi

    www.statslab.cam.ac.uk/~rrw1/stats/ex1nocom2.pdf
    22 Jan 2008: and that the maximum likelihood estimate of θ is (2a b)/(b 2c). ... Recall example 1(b) above. 6. (Lecture 3, Rao-Blackwell theorem) Suppose X1,. ,
  24. ON THE CARTAN MAP FOR CROSSED PRODUCTS ANDHOPF-GALOIS EXTENSIONS ...

    https://www.dpmms.cam.ac.uk/~sjw47/HopfGalois.pdf
    27 Feb 2008: If M is an A-module and N is a B-module, then. ... in A, the following conditions hold:• if A,C B then B B,• if B,C B then A B.
  25. doi:10.1016/j.neuropsychologia.2008.05.001

    www.memlab.psychol.cam.ac.uk/pubs/Simons2008%20Npsygia%20editorial.pdf
    9 Jun 2008: 1 logia. wdsptpspmtrpjt. blomtioIFinsSuabtadb(aatAhttthaoc. R. A. B. B. C. C. D. ... coville, W. B., & Milner, B. (1957). Loss of recent memory after bilateralhippocampal lesions.
  26. Proof Theory in the Abstract J. M. E. Hyland ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/pta02.pdf
    13 Aug 2008: We write objects as A = (A R), B = (B R) and so on. ... We write objects of RDill as A = (A R), B = (B R) and soon.
  27. Mathematical Tripos Part IA 2007F. Quevedo DIFFERENTIAL…

    www.damtp.cam.ac.uk/user/fq201/DEsummary1.pdf
    8 Apr 2008: From the fundamental theorem of calculus we. have(. Ib. ). c= f (b, c). ... Also, from direct differentiation. (. Ic. ). b=. b. 0. (. fc. ). xdx. Therefore, if. b = b(x), c = c(x), then.
  28. Paper1.dvi

    www.damtp.cam.ac.uk/user/na/NA_papers/NA2008_13.pdf
    30 Oct 2008: We add and subtractf(b),. I[f,g,θ] = f(b). b. a. g(sin[ωθ(x)]) dx. ... b. a. [f(x) f(b)]g(sin[ωθ(x)]) dx. = f(b). b. a. g(sin[ωθ(x)]) dx.
  29. ANALYSIS II EXAMPLES 2 Michaelmas 2005 J. M. E. ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Teaching/an05-2.pdf
    19 Mar 2008: 4. Which of the following subsets of R2 are (a) open, (b) closed? ... 1. 2 ANALYSIS II EXAMPLES 2. 7. If A and B are subsets of Rn, we write A B for the set {a b : a A, b B}.
  30. Lineales Martin Hyland andValeria Paiva1 Thefirst aim ofthisnoteis…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/dph91.pdf
    28 Aug 2008: i)a b b-’-a1by prop 1.1. (ii)aa(a—oI)I-=ao a1Iimpliesaa’—oJa-byprop 1.2. Properties(i) and (ii) are calledby Dunn the Intuitionistic Contraposition. ... defineA 0 B anothertensorproductasfollows:. A a B = (U 0 V ----- X 0 Y).
  31. 8 Apr 2008: F |B〉 = |B〉 , ()F |F〉 = |F〉. The new operator ()F anticommutes with Qα since. ... FQα|F〉 = ()F |B〉 = |B〉 = Qα|F〉 = Qα()F |F〉 ={. ()F , Qα}. = 0. Next, consider the trace. Tr. {. ()F{. Qα , Q̄β̇. }}. = Tr{. ()FQα︸ ︷︷ ︸.
  32. doi:10.1016/j.jcrysgro.2008.04.046

    www.itg.cam.ac.uk/people/grae/85.pdf
    7 Aug 2008: a dashed line, is the computational domain, shown in (b). (b) A schematic of the. ... 5(b). Wehave applied the same numerical method to predict the values of.
  33. Lineales Martin Hyland andValeria Paiva1 Thefirst aim ofthisnoteis…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/dph91.pdf
    28 Aug 2008: i)a b b-’-a1by prop 1.1. (ii)aa(a—oI)I-=ao a1Iimpliesaa’—oJa-byprop 1.2. Properties(i) and (ii) are calledby Dunn the Intuitionistic Contraposition. ... defineA 0 B anothertensorproductasfollows:. A a B = (U 0 V ----- X 0 Y).
  34. 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: ψ Cδ(x)‖Mβ := ‖ψ‖L1β |C|. (7.2). and let B = B(Mβ,Lβ) be a Banach space of continuous linear maps Mβ Lβ. ... and B = B. From (7.7), (7.10) and (7.11) the statement of theorem follows.
  35. On full abstra tion for PCF:I. Models, observables and ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho00.pdf
    22 Aug 2008: A:a;f = a;g : 1! B;we say that the model is extensional. ... A:a;f 6 a;g : 1! B;we say that the model is order-extensional.
  36. GB-9-7-229-Amos_9.qxd

    https://www2.mrc-lmb.cam.ac.uk/groups/JYL/PDF/gb-2008-9-7-229.pdf
    4 Aug 2008: The A-tubuleand B-tubule [73] can be distinguished even after the loss of accessory structures. ... 2 nm10 nmA. A B. B. AA B. B. AA BB.
  37. Topological GroupsPart III, Spring 2008 T. W. Körner March ...

    https://www.dpmms.cam.ac.uk/~twk10/Topg.pdf
    8 Mar 2008: Our first step is to obtain the missing part (iii)b of Lemma 9.3.
  38. 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: A:a;f = a;g : 1! B;we say that the model is extensional. ... A:a;f 6 a;g : 1! B;we say that the model is order-extensional.
  39. doi:10.1016/j.jcrysgro.2008.04.046

    www.itg.cam.ac.uk/people/heh/Paper212.pdf
    7 Aug 2008: a dashed line, is the computational domain, shown in (b). (b) A schematic of the. ... 5(b). Wehave applied the same numerical method to predict the values of.
  40. 29 Oct 2008: Sq H $#(w &y"w } 2tH &D4 B-B } 2tH &w%wt&'u. ... xK.ucw (! sv"8=ds-B-B-8&'u#xh+.144 s w64! udw H.
  41. Microstructural studies for rheology

    www.damtp.cam.ac.uk/user/hinch/teaching/cemracs2008.pdf
    25 Jul 2008: Spheroid: axes a, b, b, aspect ratio r = ab. rod r > 1 disk r < 1. ... A B C. r r 22(ln 2r3. 2). 6 ln 2r11r 2.
  42. Mathematical Tripos: IA Vector Calculus Contents 0 Introduction i ...

    www.damtp.cam.ac.uk/user/sjc1/teaching/VC_2000.pdf
    17 Jan 2008: a.b = b.a = a1b1 a2b2 a3b3 , (0.7a)a b a b = b a (0.7b). =. ... 0.8). Alternatively, if a = |a|, b = |b| and θ is the angle between a and b, then.
  43. Mich. 2008 ANALYSIS II—EXAMPLES 4 PAR 1. Show that ...

    https://www.dpmms.cam.ac.uk/study/IB/AnalysisII/2008-2009/08sheet4.pdf
    30 Nov 2008: around (a, b), and that D2f exists at (a, b).Show that f is differentiable at (a, b).(b) Suppose instead that D1f exists and is bounded on some open ball ... around (a, b), and that for fixed xthe function y 7 f (x, y) is continuous.
  44. 26 Jun 2008: $. "5A "%. "",5,. $! "!$! %. 5,!B"B"B"7$,B! 3! C. ""$ "%. 5,",. "!$"! %. 5,B,B! $ 36. 5,7$,. ($ -$ 5 895A 23. ... $! "!$! %. 5,!B"B"B"7$,B! 3! C. ""$ "%. 5,",. "!$"! %. 5,B,B! $ 36. 5,7$,! "# #. $%& $''(')$) $). J2J-2T2-222E? 2 3 88
  45. 4 Dec 2008: "#$ %&('"#) ,. -. / 01 2. 3456 789;: <: =>?@ =. A @ B: =: <?C => <D BE<93. >F =@ <EG>? ... L U=SS= BL :UFN J= Ë:F QK. H9; JM y=P;F BA JM;F;; B= B=> BAMN?=MU= KKAP= B; KKÞ U IF :<A Q=M I<?
  46. The S-replete construction J.M.E. Hyland M.Hyland@pmms.cam.ac.uk…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/hm95.pdf
    21 Aug 2008: p = cod: B B).The first case is of interest in the context of Classical Domain Theory, while the second one istypical of SDT. ... Example 1.12 Given a quasi-topos B, let p = cod: B B (and CI = B/I), then:. •
  47. No Job Name

    https://www2.mrc-lmb.cam.ac.uk/groups/JYL/PDF/vandenent2008ftsq.pdf
    4 Mar 2008: The topology of thea-domain is b-a-a-b-b, where the third b-strand is packedin between the first and the second strands. ... coli FtsQ (green) on the b-domain of DivIB from G. stearothermophilus (blue).
  48. doi:10.1016/j.neuropsychologia.2008.02.026

    www.memlab.psychol.cam.ac.uk/pubs/Ally2008%20Npsygia.pdf
    31 May 2008: B.A. Ally et al. / Neuropsychologia 46 (2008) 1800–1812 1801. f stud. ... 1806 B.A. Ally et al. / Neuropsychologia 46 (2008) 1800–1812. ic per.
  49. MATERIALS DATA _2003_ version 3

    www-mdp.eng.cam.ac.uk/web/library/enginfo/cueddatabooks/materials.pdf
    3 Jan 2008: B. A. B. Le. athe. r D. B. B. B. B. ... E. A. A. B. B. N. atur. al R. ubbe. r (N.
  50. The S-replete construction J.M.E. Hyland M.Hyland@pmms.cam.ac.uk…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/hm95.pdf
    21 Aug 2008: p = cod: B B).The first case is of interest in the context of Classical Domain Theory, while the second one istypical of SDT. ... Example 1.12 Given a quasi-topos B, let p = cod: B B (and CI = B/I), then:. •
  51. Linear Analysis T. W. Körner January 8, 2008 Small ...

    https://www.dpmms.cam.ac.uk/~twk10/LA.pdf
    8 Jan 2008: a‖ = max1jn. |aj|. defines a norm on Fn.(iii) Show that, if a, b Fn, then. ... f (a) = 1 when a A. f (b) = 0 when b B.

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.