Search

Search Funnelback University

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

  2. 1 Complexity and the Expressive Power of Logics Anuj ...

    https://www.cl.cam.ac.uk/~ad260/talks/cuspomms.pdf
    9 Mar 2007: Anuj Dawar March 2007. 24. In Summary. • Model-theoretic methods concerned with studying the expressive power oflogical languages. •
  3. Technical ReportNumber 701 Computer Laboratory UCAM-CL-TR-701ISSN…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-701.pdf
    25 Oct 2007: According to Eurosmart (an industry driven consortium of major players ofthe smart-card industry), the volume of smart-cards being sold has been steadily growingby around 20-24% every year. ... 24. 2.2 Requirements for Security Devices. Input : m, p, q,
  4. Natural language processing for information retrieval David D.…

    https://www.cl.cam.ac.uk/archive/ksj21/ksjdigipapers/cacm96.pdf
    8 Jan 2007: The importance of proper weighting methods. To appear in ARPA Workshop onHuman Language Technology (March 21–24, Plainsboro, NJ). ... Fashionable trends and feasible strategies in information management. Inf.Process. Manage., 24, 6 (1988), 703–711.
  5. arX iv:0 704. 0873 v1 [ astr o-ph ] ...

    https://people.ast.cam.ac.uk/~wyatt/gfwb07.pdf
    18 Apr 2007: hot Jupiter –0.08 to 0.39 1.7–5 [500–1600] 70–200 1 % 2 1 %cool Jupiter –0.44 to 0.40 0.24–1.7 [75–500] ... 200 8 % 9 (5–11) %. planet & debris –0.13 to 0.27 0.10–0.24 [30–75] 5–30 5 % 3 1 %debris –0.52 to 0.18
  6. GDP Festschrift ENTCS, to appear Nominal Equational Logic Ranald ...

    https://www.cl.cam.ac.uk/~amp12/papers/nomel/nomel.pdf
    5 Feb 2007: 25). Combining (22), (24) and (25) with the fact (21) that M JK is an equivariantfunction, we get:. ... have been identified in the literature [24,14,34,13,16] and which are listed in the.
  7. 4 Apr 2007: The log prior may be expressed as. (24). where is the general form defined in (15). ... 24] M. J. F. Gales, “Acoustic factorization,” presented at the ASRU Conf.,2001.
  8. IEEE TRANS. ON SAP, VOL. ?, NO. ??, ????? ...

    mi.eng.cam.ac.uk/~mjfg/kai_ASP07.pdf
    23 Apr 2007: It is also interesting to compare N-Best supervisionto the standard 1-Best supervision adaptation approaches suchas iterative MLLR [24]. ... Zθ(O, H)can be simply calculated using the forward algorithm withp̃(ot|θt),. Zθ(O, H) =. θ. P (θ|M). t.
  9. UNIVERSITYOF CAMBRIDGE Floating Point Computation A four-lecture…

    https://www.cl.cam.ac.uk/teaching/0708/FPComp/fpcomp07slides.pdf
    10 Nov 2007: The. biggest mantissa is 1.111.111 (24 bits in total, including the implicit. ... Decoded, this is 24 1.100 1100 11012, or116 (20 21 24 25 223).
  10. FRPRCS-8 Full Paper Format

    www-civ.eng.cam.ac.uk/cjb/concplas/02ashraf.pdf
    11 Jul 2007: 24. Table 2 Comparisons between experimental and predicted load capacities. Source Supporting condition No. ... under Bending and Shear’’, IABSE Periodica, Zurich, 36-II, 1976, 105–120. [24] Exner, H., "On the Effectiveness Factor in Plastic
  11. ComparativeArchitectures CST Part II, 16 lectures Lent Term 2006 ...

    https://www.cl.cam.ac.uk/teaching/2005/CompArch/djgnotes.pdf
    4 Jan 2007: Replicate sign bitchar a; int b;lsl b a, #24asr b b, #24. • ... 40%55%. 32%. 39%17%. 43%. 11%3%. 24%. 6%16%. 0%. 1%6%. 1%TeXspicegcc. TeXspicegcc.
  12. 22 Feb 2007: 20. 25. 30. Cambridge UniversityEngineering Department. ICASSP 2006 Tutorial 24. Recent Progress in LVCSR: An HTK Perspective cMark Gales & Phil Woodland, 2006. ... generate a lattice when recognising the adaptation data– accumulate statistics over the
  13. Scaling Mount Concurrency: scalability and progress in concurrent…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-697.pdf
    8 Aug 2007: Onceagain, the collided state is not shown. See Figure 5.24 for a moredetailed diagram. ... 86. 5.24 Conditions on state changes in the compacting hybrid value re-placement model.
  14. arX iv:0 704. 3369 v1 [ astr o-ph ] ...

    https://people.ast.cam.ac.uk/~wyatt/mlpw07.pdf
    26 Apr 2007: 24). In Figure 4 we compare models having5 MJ between the planets with and without disc matter lo-cated inside the inner planet. ... The mass distributionfollows equation (24) and the outer disc mass is varied bychanging parameter Σ0out.
  15. Digital Signal Processing Markus Kuhn Computer Laboratory…

    https://www.cl.cam.ac.uk/teaching/0708/DSP/slides-2up.pdf
    25 Oct 2007: Why? 24. Direct form I and II implementations. z1. z1. z1 z1.
  16. Digital Signal Processing Markus Kuhn Computer Laboratory…

    https://www.cl.cam.ac.uk/teaching/0708/DSP/slides-4up.pdf
    25 Oct 2007: Why? 24. Direct form I and II implementations. z1. z1. z1 z1.
  17. 1 Preservation Theorems in Finite Model Theory Anuj DawarUniversity…

    https://www.cl.cam.ac.uk/~ad260/talks/volos.pdf
    20 Jul 2007: Anuj Dawar July 2007. 24. Homomorphism Preservation on Wide Classes. Show that if ϕ is preserved by homomorphisms, then a minimal model cannothave a large scattered set.
  18. 842 Publications of the Astronomical Society of the Pacific, ...

    https://people.ast.cam.ac.uk/~wyatt/mghw07.pdf
    18 Sep 2007: stellar luminosities. TheA stars (dark blue) are a sample of 46 detected at both 24 and 70mm (Wyattet al. ... A0, 3.6–24.8 pc for G0, and 1.8–8.6 pc for M0.
  19. Bubble Rap: Forwarding in small world DTNs in ever decreasing circles

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-684.pdf
    10 May 2007: Other kind of methodscan be found in the survey paper [24].
  20. Space–time percolation Geoffrey R. Grimmett Abstract. The…

    www.statslab.cam.ac.uk/~grg/papers/cperc.pdf
    22 Jun 2007: Theorem 2.4 and the preceding discussion). Seealso [24]. 6. The mean-field continuum model. ... 24] D. S. Fisher. Critical behavior of random transverse-field Ising spin chains.
  21. Information Retrieval Lecture 7: Question Answering Computer Science…

    https://www.cl.cam.ac.uk/teaching/2006/InfoRtrv/lec7.2.pdf
    24 Apr 2007: At the other end of the spectrum: the Microsoft system 24. • ... IR engine4. Improvement: Expected answer type filter (24% improvement). • No full-fledged named entity recognition.
  22. 3 May 2007: dropped. 9. where. c(i) = c(m)c(k) (23)µ(i) = A(m)1(µ(k) b(m)) (24)Σ(i) = A(m)1Σ(k)A(m)T1 (25). ... 24] J Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference.Morgan Kaufmann, 1988.
  23. Information Retrieval Lecture 3: Evaluation methodology Computer…

    https://www.cl.cam.ac.uk/teaching/2006/InfoRtrv/lec3.2.pdf
    24 Apr 2007: point. 11 point average precision: interpolation, Q1 24. Recall0 0.1 0.2 0.3 0.4 0.5 0.6 0.7. ... Ad Hoc 18 24 26 23 28 31 42 41Routing 16 25 25 15 16 21Interactive 3 11 2 9 8 7 6 6 6Spanish 4 10 7Confusion 4 5Database Merging
  24. 1 On the Descriptive Complexity of Linear Algebra Anuj ...

    https://www.cl.cam.ac.uk/~ad260/talks/aachen2.pdf
    19 Dec 2007: These two representations are inter-definable. Anuj Dawar December 2007. 24. Computing over Finite Fields.
  25. ˜ Lecture IV ˜Block-structured procedural languages Algol and Pascal…

    https://www.cl.cam.ac.uk/teaching/2006/ConceptsPL/Algol-Pascal.pdf
    9 Mar 2007: Proc(Second => ’h’, First => 24);? What about in ML? Can it be simulated? ... 24. Algol 60 procedure typesa. In Algol 60, the type of each formal parameter of a procedure must begiven.
  26. ROTATIONAL MOTION INSENSORLESS FREEHAND 3D ULTRASOUND R. J. Housden,…

    mi.eng.cam.ac.uk/reports/svr-ftp/housden_tr587.pdf
    5 Oct 2007: Ultrasonic Imaging, 24(1):1–12, January 2002. [14] L. Mercier, T. Langø, F. ... Ultrasound inMedicine and Biology, 24(9):1243–1270, December 1998. [18] M. O’Donnell and S.
  27. The Rationality of Science | Faraday

    https://www.faraday.cam.ac.uk/resources/multimedia/the-rationality-of-science-2/
    Thumbnail for The Rationality of Science | Faraday 20 Jul 2007: 480x360. 1.24 GB. WebM. 480x360. 441.66 MB. MPEG-4 Video. 480x360. 331.96 MB.
  28. s-Proof

    https://www.cl.cam.ac.uk/teaching/0607/CompArch/ibmz90-schwarz.pdf
    28 Jan 2007: The z900processor supports 24-, 31-, and 64-bit addressing and32- and 64-bit arithmetic. ... Inz/Architecture mode, all three addressing modes arepossible: 24-, 31-, or 64-bit addressing.
  29. ESO Public Surveys Proposal Form Phase 1 1 Title: ...

    https://people.ast.cam.ac.uk/~rgm/vhs/v4/PS-VHS-v4p0.pdf
    5 Jun 2007: To demonstrate the power of adding the VISTA IR data to the planned DESoptical data, we have constructed mock magnitude-limited galaxy samples (with 20 < i < 24 and redshifts0 < z < 2)
  30. http://nanoarchitecture.net/article/of-beer-and-bottles

    www-g.eng.cam.ac.uk/nms/highlights-press/NanoarchitectureBeer.pdf
    10 Apr 2007: military (24). molecular manufacturing (49). nano-emissive displays (15). nanocomposites (18). nanofibers (17). ... education, technology and business. development. Of Beer and Bottles. 24 December 2006, 10:30.
  31. ESO Public Surveys Proposal Form Phase 1 1 Title: ...

    https://people.ast.cam.ac.uk/~rgm/vhs/v4/PS-VHS-v4p1.pdf
    5 Jun 2007: To demonstrate the power of adding the VISTA IR data to the planned DESoptical data, we have constructed mock magnitude-limited galaxy samples (with 20 < i < 24 and redshifts0 < z < 2)
  32. Comparative Architectures CST Part II, 16 lectures Lent Term ...

    https://www.cl.cam.ac.uk/teaching/0607/CompArch/mainnotes/comparch-1.pdf
    23 Feb 2007: 8bit values to 32bit values. – Replicate sign bit. char a; int b;lsl b a, #24. ... sextb r1 r2 e.g. lsl r1 r2, #24;. asr r1 r1, #24. •
  33. CGIP problems

    https://www.cl.cam.ac.uk/teaching/0607/CompGraph/CGIPexercises2007.pdf
    14 Feb 2007: He proposes to use three inks in three panels to make a 24-bit colour display: a red-tinted panel,. ... efficients of your eight basis functions from the previous part for the following one-dimensional image data: 12 16 20 24 24 16 8 8 Explain why, in
  34. CGIP problems

    https://www.cl.cam.ac.uk/teaching/2006/CompGraph/CGIPexercises2007.pdf
    14 Feb 2007: He proposes to use three inks in three panels to make a 24-bit colour display: a red-tinted panel,. ... efficients of your eight basis functions from the previous part for the following one-dimensional image data: 12 16 20 24 24 16 8 8 Explain why, in
  35. eCube: Hypercube Event for Efficient Filteringin Content-Based…

    https://www.cl.cam.ac.uk/~ey204/pubs/2007_GADA.pdf
    3 Oct 2007: A similar idea to the eCube is CAN-based multicast [24]. In [19], Z-ordering [22] isused for the implementation of CAN multicast. ... Topic-based publish/subscribe is realised by a basic DHT-based multicastmechanism in [35], [36], [24].
  36. Microsoft PowerPoint - wyattpub

    https://people.ast.cam.ac.uk/~wyatt/wyatt_kobe06.pdf
    24 Apr 2007: stars at 24,70,160μm• Akari (2006-) currently doing all-sky survey 2-180μm• Herschel (2008-) observations at 60-670μm• Spica (2017+) planned 5-200μm. ... Structure is wavelength dependent!850μm. (Holland et al. 2006)24 and 70μm. (Su et al.
  37. 24 Jun 2007: Could generalise to F theory with ds2 = g(2,2) dx82. Dunajski (DAMTP, Cambridge) ASD in ( ) 27 March 2007 24 / 26.
  38. 5 Mar 2007: Logarithmic approach to long-time:. value depends on initial condition. Pipemix - Damtp 2007 – p.24/25.
  39. HYBRID SYSTEMS FORRECONSTRUCTION OF FREEHAND 3D ULTRASOUND DATA R. ...

    mi.eng.cam.ac.uk/reports/svr-ftp/housden_tr574.pdf
    30 Mar 2007: In theplane of the images, the offset is found using standard image registration and motion trackingtechniques [2, 24].
  40. Information Retrieval Lecture 5: Information Extraction Computer…

    https://www.cl.cam.ac.uk/teaching/2006/InfoRtrv/lec5.2.pdf
    24 Apr 2007: Text Example (MUC-5) 8. <DOC><DOCNO> 0592 </DOCNO><DD> NOVEMBER 24, 1989, FRIDAY </DD><SO>Copyright (c) 1989 Jiji Press Ltd.;</SO><TXT>BRIDGESTONE SPORTS CO. ... Mikheev et al – After Step 2 (Probabilistic Match) 24. MURDOCH SATELLITE CRASH UNDER
  41. 8 Dynamic optimization for long-run average costs We show ...

    www.statslab.cam.ac.uk/~james/Lectures/oc8.pdf
    22 Nov 2007: and apply the preceding two propositions with θ = Vk. 24.
  42. FRPRCS-8 Full Paper Format

    www-civ.eng.cam.ac.uk/cjb/concplas/10ibell.pdf
    25 Jul 2007: Figure 24 demonstrates its implementation. This system was shown to be practical and even more effective than the equivalent near-surface mounted (NSM) strengthening scheme due to there being no possibility ... Drilled holes Injected paste. Strengthening
  43. Choiceless Polynomial Time, Counting and the Cai–Fürer–Immerman…

    https://www.cl.cam.ac.uk/~ad260/papers/CPT-CFI.pdf
    13 Aug 2007: Lemma 24 Let x1,. ,xn be the connected components of a set x. ... Then µ(x′) 6 µ(x). PROOF. StabG(x) StabG(x′) by Lemma 24. By the orbit–stabilizer the-.
  44. An Empirical Analysis of the Current State of Phishing ...

    https://www.cl.cam.ac.uk/~rnc1/weis07-phishing.pdf
    12 May 2007: column at the end of the graph). 58% of non-rock-phish sites are removed within 24 hours of. ... that the phish is reported. On the next day, another 24 responses are expected.
  45. Presettable synchronous 4-bit binary up/down counter

    https://www.cl.cam.ac.uk/teaching/0708/Hardware/datasheets/74hc193.pdf
    22 Nov 2007: CPD power dissipation capacitance per package notes 1 and 2 24 26 pF. ... th hold timeCPU to CPD, CPD to CPU. 16 7 20 24 ns 4.5 Fig.13.
  46. mobiarch.dvi

    https://www.cl.cam.ac.uk/~ey204/pubs/2007_MOBIARCH.pdf
    13 Jun 2007: Here we introduce the similarity by using the classicJaccard index [24] which was proposed by Jaccard over hun-dred years ago to evaluate the similarity of two communities. ... 24] P.Jaccard.Bulletin de la Societe Vaudoise des SciencesNaturelles, 37:547,
  47. slides.dvi

    https://www.cl.cam.ac.uk/~jrh13/slides/tpholsr-19aug02/slides.pdf
    2 Jul 2007: 1 1/22 1/32 1/42 = π2/6. 1 1/24 1/34 1/44 = π4/90. ... appropriate interval. John Harrison Intel Corporation, 19 August 2002. Real numbers in Real Applications 24.
  48. slides.dvi

    https://www.cl.cam.ac.uk/~jrh13/slides/arith-17jun03/slides.pdf
    2 Jul 2007: distribute factors of 2128 δ. for δ {24, 23,. , 23, 24}.
  49. Probab. Theory Relat. Fields (2007) 138:411–449DOI…

    www.statslab.cam.ac.uk/~nickl/Site/__files/ptrf07.pdf
    9 Apr 2007: Richard Nickl. Received: 24 September 2005 / Revised: 14 September 2006 / Published online: 24 October 2006 Springer-Verlag 2006. ... bracket-size) upon noting that Ws2 (R, λ |R ) coincideswith the Besov space Bs22 (R, λ |R ) defined in [24] and upon
  50. paper.dvi

    https://www.cl.cam.ac.uk/~awm22/publications/moore2005discriminators.pdf
    31 May 2007: Our data is based upon a 24-hour, full-duplex trace of this research facility. ... Section 2 describes how we subsample the 24-hour period, creating 10 separate data sets each from adifferent period of the 24-hour day.
  51. slides.dvi

    https://www.cl.cam.ac.uk/~jrh13/slides/arg-05jun97/slides.pdf
    2 Jul 2007: Trivially, for example,the negation and absolute value functions arealways exact:|- Finite(a)=) Finite(abs(a)) (Val(abs(a)) = abs(Val(a)))Also, if a result only has 24 signicant ... modulo some care in the denormal case), then itis exactly representable:|

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.