Search

Search Funnelback University

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

  2. Pseudo-commutative monads and pseudo-closed 2-categories⋆ ⋆⋆ Martin…

    https://www.dpmms.cam.ac.uk/~martin/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.
  3. mlics.dvi

    https://www.dpmms.cam.ac.uk/~martin/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).
  4. Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …

    https://www.dpmms.cam.ac.uk/~martin/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).
  5. 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);
  6. Electronic Notes in Theoretical Computer Science 83 (2004)URL:…

    https://www.dpmms.cam.ac.uk/~martin/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).
  7. Lent Term 2008 J. M. E. Hyland Set Theory ...

    https://www.dpmms.cam.ac.uk/~martin/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).
  8. 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
  9. COMPLEX DIFFERENTIAL EQUATIONS – Example Sheet 2 (For…

    https://www.dpmms.cam.ac.uk/~tkc/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,.
  10. COMPLEX DIFFERENTIAL EQUATIONS – Example Sheet 2TKC Lent 2008 ...

    https://www.dpmms.cam.ac.uk/~tkc/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:.
  11. Pi-Calculus, Dialogue Games and PCF�J. M. E. Hylandy C.-H. ...

    https://www.dpmms.cam.ac.uk/~martin/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!
  12. 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.
  13. 3 Jul 2008: φν (φν B)) (B φν Bφν) (60)where. J νi = φν iφν κνφνi j j uν (61)uν = ( jφν σ). ... η (φ φ (φ φ)) η((φ (φ B)) (B φ Bφ)) = 0.
  14. Combining computational effects: commutativityand sum Martin Hyland,1 …

    https://www.dpmms.cam.ac.uk/~martin/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′).
  15. Lect List 2008 215309

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/01/pdfs/classics.pdf
    18 Sep 2008: 12. (8L, weeks 1–4)DR R. B. B. WARDYHellenistic and Roman Ethics. ... M.SCHOFIELD AND DR R. B. B. WARDY. Aristotle on nature and change [B2].
  16. 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).
  17. 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).
  18. 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.
  19. 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.
  20. Proof Theory in the Abstract J. M. E. Hyland ...

    https://www.dpmms.cam.ac.uk/~martin/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.
  21. 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

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.