Search
Search Funnelback University
- Refined by:
- Date: 2002
151 -
200 of
432
search results for katalk:PC53 24 /
where 0
match all words and 432
match some words.
Results that match 1 of 2 words
-
paper.dvi
https://www.cl.cam.ac.uk/~jac22/out/infocomgprs.pdf6 Dec 2002: Sender side packet bursts can. 3. Retransmit (after 3rd dupack). 24 dupacks from pkts inflight. ... 10. Proposals SNOOP[18] M-TCP[22] & Freeze-TCP[24] FDA[26] WTCP[23] W-TCP[15] TCP [20] . -
Chart2
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/mckeown-pratt.ppt22 Nov 2002: 4.24. 4.24. CINT95. Digital Equipment Corp. DEC 3000 Model 900. 1. ... 24.6. 21.5. CINT95. Compaq Computer Corportation. Professional Workstation XP900. 1. 466 MHz Alpha 21264. -
https://people.ast.cam.ac.uk/~xmmssc/internal/xsrc_select/xsrc_hr2-err…
https://people.ast.cam.ac.uk/~xmmssc/internal/xsrc_select/xsrc_hr2-err_gt0_b14.txt28 Mar 2002: 0.3004 16.5737 -45.55 0.6 1.3 1.3 1.00 3.15 0.27 0.16 0.04 0.24 -0.99 4.41 0 0.0 ... 0.39 0.09 0.04 0.09 -0.59 0.20 1 -0.1 0.1 0.00 0 21.84 1 21.24 1 21.39 1 0.00 -
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/ukirt0210/xsrc_hr2-…
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/ukirt0210/xsrc_hr2-err_gt-02_sortfxid.txt19 Oct 2002: zmag zc 1 2587 1 7 16954.1 22.4740 -5.3059 -49.58 11.1 11.9 24.2 0.94 0.01 0.13 0.02 -0.39 ... 21.24 -2 20.12 -3 19.66 -1 4 3068 51 3 157.8 23.5258 20.1409 -38.92 4.7 2.7 -5.5 0.94 0.07 -
CU-HTK April 2002 Switchboard System Phil Woodland, Gunnar Evermann,…
mi.eng.cam.ac.uk/reports/svr-ftp/woodland_rt02.pdf5 Jun 2002: 16 20 24 2833. 33.5. 34. 34.5. 35. 35.5. 36. 36.5. ... Cambridge UniversityEngineering Department. Rich Transcription Workshop 2002 24. Woodland, Evermann, Gales, Hain, Liu, Moore, Povey & Wang: CU-HTK April 2002 Switchboard system. -
https://people.ast.cam.ac.uk/~xmmssc/internal/xsrc_select/xsrc_hr3-err…
https://people.ast.cam.ac.uk/~xmmssc/internal/xsrc_select/xsrc_hr3-err_gt0_b14.txt28 Mar 2002: zmag zc 1 96 35 7 174.2 23.9926 -25.1327 -78.19 1.7 1.8 10.3 0.43 0.15 -0.57 0.11 0.24 ... 0 5 1745 108 5 39.5 13.5035 24.2526 80.81 0.4 1.1 0.4 0.75 4.60 -0.60 0.20 0.53 0.46 -
The representation of group denoting nouns in alexical knowledge ...
https://www.cl.cam.ac.uk/~aac10/papers/groups.pdf8 Jun 2002: The representation of group denoting nouns in alexical knowledge base. Ann Copestake. University of Cambridge Computer Laboratory. New Museums Site, Pembroke Street, Cambridge, CB2 3QG, UK. Ann.Copestake@cl.cam.ac.uk. Abstract. In this paper we -
Hard XMM sources
https://people.ast.cam.ac.uk/~xmmssc/internal/xsrc_select/xsrc_hr2-err_gt0_b14.html28 Mar 2002: Hard XMM sources. Notes:. Flag of detection: 7 - PNM1M2; 6 - PNM2; 5 - PNM1; 4 - PN; 3 - M1M2; 2 - M2; 1 - M1. Source selection criteria:. Detection flag = 7,6,5. Flux (4.5-7.5keV) > 1.E-14 erg/s/cm2. HR2 - Error_HR2 > 0. Units of X-ray fluxes: E-14 -
D:\Papers\Amplitude_of_wrinkles\paper.dvi
www-civ.eng.cam.ac.uk/dsl/publications/amplitude_of_wrinkles.pdf3 Jun 2002: Ub =Et3. 24(1 ν2). (12Hλ. 2H0. λ0. κ2ηdξdη. )=. Et3. 24(1 ν2)π4A2. ... U =(1 ν)Etγ. 2. (π2t2. 24(1 ν2)λ2 γλ2. 8H2. )(23). which is minimised by differentiating with respect to λ. -
Towards a ternary interpolating subdivision scheme for the triangular …
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-539.pdf10 Jul 2002: d = 2θ (23). b = η 2κ (24). a = 2η 2θ (25). ... 12 24µ) (39)α = 1. 36(24 24µ) ν (40). Again, we can decompose the interpolating scheme’s mask into convolutionof a smaller mask with the mask of the three-direction -
TR082.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-82.pdf26 Sep 2002: The TPS theorem prover uses sophisticated heuristics in the search for higher-orderunifiers [24]. -
P01-quiz.dvi
https://www.cl.cam.ac.uk/teaching/2002/OSFounds/MemMgtQu.pdf30 Oct 2002: #" $&%(' ),'-$/. 01)324'65&%78%/99:2;.<=,<>?%/@A. BDC% >?2EBF@A.<=HG. IKJ. L'M@$ % >DBN=L)PO17Q. RTS <>?%/@A. CUB2% >&2EBF@A.<= )3V %WNXZY[O!)']%2;@&$1)'=.@L'-52_! S=<5. '6$&%a'b'-$/. c I BF@A@&5d>!)e.<$?%7Cf'6$? RTS <>?%/@A. hgiV?@&735/9. D B24j %>> -
D:DTFA02207.DVI
www.damtp.cam.ac.uk/user/ngb23/publications/sphere.pdf24 Sep 2002: 21r5+. 24. 11r4 10. 21r2. ]P5(cos θ). ). (32). From this we can determine the first function of (18):. ... Wesubstitute r = 1 ξ in (37), expand the solution in powers of , and note that the last term in(24) is O(ξ) for ξ. -
High Resolution Freehand 3D Ultrasound G.M. Treece, A.H. Gee, ...
mi.eng.cam.ac.uk/reports/svr-ftp/treece_tr438.pdf12 Aug 2002: due to cardiac activity) by the use ofan electrocardiogram to gate the acquisition of B-scans [5, 24]. -
TR175.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-175.pdf26 Sep 2002: The logic programming language λProlog, though based on higher-order logic,. forbids quantification over bool [24]. ... Springer, 1989. [24] G. Nadathur. A Higher-Order Logic as the Basis for Logic Programming. -
TR057.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-57.pdf26 Sep 2002: Jan Smith [24] defines Quicksort in Type Theory by first derivingappropriate rules of induction and recursion, using primitive recursion over higher types.The “while rule” of Backhouse and Khamiss [1] is ... l,d〉 = l′ ) l. 24. 12.2 Induction. -
https://people.ast.cam.ac.uk/~xmmssc/xidops/xmmssc_optobs/pcms_summary…
https://people.ast.cam.ac.uk/~xmmssc/xidops/xmmssc_optobs/pcms_summary_20011120.comm10 Feb 2002: reliable? e.g. 0102 0096210101 SAS ERROR (29) Dr Bernd Aschenbach Tycho 00:25:22.0 64:08:24.0 53732 - - - - - - - - - - - No Lockman hole data available! -
Scientific Computing on the Itanium TM Processor ∗ Bruce ...
https://www.cl.cam.ac.uk/~jrh13/papers/super.pdf2 May 2002: c15x. 15 24. Table 2: Optimal latency of polynomial evaluationon the Itanium processor. ... IEEEComputer, 64(7):24–32, July 1998. [3] C. Dulong, R. Krishnaiyer, D. Kulkarni, D. -
The triVM intermediate language reference manual
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-529.pdf7 Feb 2002: 24. 6 The Virtual Instruction Set 276.1 Notation. 276.2 add — integer add. ... 496.23 ldi — load immediate. 506.24 ldw — load word. 516.25 lsl — logical shift left. -
TR050.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-50.pdf26 Sep 2002: Data structures can be infinite (lazy) or finite, andmutually recursive; sometimes you can impose equational constraints and producea quotient type [24]. ... The equivalence rela-tion can be stated as two equations, taking care to avoid inconsistencies -
The memorability and security of passwords -- some empirical results
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-500.pdf30 Sep 2002: Instead, pick something like‘My dog’s first name is Rex’ (MdfniR) or ‘My sister Peg is 24 years old’(MsPi24yo).”. ... random characteror pass phrase group (significant at χ2 = 24.8, p <. 001). The proportion ofpasswords cracked in the -
Equivariant Syntaxand SemanticsAndrew M. Pitts Computer Laboratory…
https://www.cl.cam.ac.uk/~amp12/talks/icalp2002.pdf9 Oct 2002: ICALP 2002 – p.24. Inductive definition of =αa =α a. () =α ()t1 =α t. ... occur in t”ICALP 2002 – p.24. Category of FM-setsFix an infinite set of ‘atoms’ a, b, c. -
Theoretical Physics 1Answers to Examination 2002 Warning — these ...
www.tcm.phy.cam.ac.uk/~cc726/TP1/ExamFiles/exam02sol.pdf24 Jan 2002: f̃(ω) =. dt f(t)eiωt ; f(t) =1. 2π. dω f̃(ω)eiωt (24). ... G(x,t) = dωdk. (2π2). ei(kxωt). ρω2 iγω Tk2(29). A. (24 January 2002) (TURN OVER. -
AC.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-377.pdf26 Sep 2002: Gra̧bczewski has mech-anized the first two chapters of Rubin and Rubin’s famous monograph [24],proving equivalent eight forms of the Well-ordering Theorem and twenty formsof AC. ... 7. Rubin and Rubin’s AC Proofs. Herman and Jean Rubin’s book -
abstract.dvi
https://www.cl.cam.ac.uk/~amp12/talks/icalp2002-abstract.pdf9 Oct 2002: In John Lloyd et al,editors, Computational Logic - CL 2000 First International Conference London,UK, July 24-28, 2000 Proceedings, volume 1861 of Lecture Notes in ArtificialIntelligence, pages 239–253. ... 2002. [24] A. M. Pitts and M. J. Gabbay. A -
The State Based Mixture of Experts HMM with Applications ...
mi.eng.cam.ac.uk/reports/svr-ftp/tuerk_thesis.pdf2 Feb 2002: 3.1 Hidden mode models for HMM’s 24. v. vi. 3.2 Subband and Multi-Stream based models 26. -
networker
https://www.cl.cam.ac.uk/~jac22/talks/networker.pdf23 Sep 2002: 2001, Cisco Systems, Inc. All rights reserved. 24 2001, Cisco Systems, Inc. ... 24. Given Network SLA. • Above Transport Service, we still need an SLA. • -
Partial Differential Equations T. W. Körner after Joshi and ...
https://www.dpmms.cam.ac.uk/~twk10/PDE.pdf12 Oct 2002: Lemma 3.24 (Corollary 2). If f S(Rn) and f(a) = 0 then we can findfj S(Rn) such that. ... problem in redoing our arguments to obtain. Theorem 5.24. We work in R2. -
jcs.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-443.pdf26 Sep 2002: 224.8 Proving a Simplified Protocol. 24. 5 A Public-Key Protocol: Needham-Schroeder 245.1 The Protocol and Lowe’s Attack. ... An exhaustive search checks that all reachable states aresafe. Lowe uses a general-purpose model-checker, FDR [24, 26]; -
Complex quantifier elimination in HOL John Harrison Intel…
https://www.cl.cam.ac.uk/~jrh13/papers/complex.pdf2 May 2002: x21 x22 x. 23 x. 24). 4 = 1840(x1x2x3x4)8+. 15040Σ1i< j<k4(2xi xj xk). ... American Mathematical Society, 1938. 24. R. F. Ritt. Differential Algebra. AMS Colloquium Publications. -
Dynamin-dependent and dynamin-independentprocesses contribute to the…
https://www2.mrc-lmb.cam.ac.uk/groups/hmm/publica/Graham02.pdf29 Apr 2002: an electron-dense core (24).The use of lipophilic FM dyes to follow vesicle cycling has alsosuggested the existence of fast kiss-and-run exocytosis in syn-aptosomes (25) and in ... timedetermined. For control cells, the data are derived from 12 cells and -
Nonlinear Wave Interactions inNonlinear Nonintegrable Systems By…
www.damtp.cam.ac.uk/user/ngb23/publications/paper2.pdf24 Sep 2002: Appl. Math. 99 1 :1]24 1997. 3. J. WEISS, M. TABOR, and G. ... Phys. 24 3 :522]526 1983. Ž. 4. D. J. BENNEY, Long waves on liquid films, J. -
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/obsplan/20020610-in…
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/obsplan/20020610-int/almanacs/20020611.al3 Jun 2002: 04 GDT Moon at civil midnight: illuminated fraction 0.010 1.0 days since new moon, RA and dec: 6 08 57, 24 06.2 The sun is down for -
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/obsplan/20020610-in…
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/obsplan/20020610-int/almanacs/20020612.al3 Jun 2002: 02 GDT Moon at civil midnight: illuminated fraction 0.042 2.0 days since new moon, RA and dec: 7 07 36, 24 21.4 The sun is down for -
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/obsplan/20020610-in…
https://people.ast.cam.ac.uk/~xmmssc/xidops/xidobs/obsplan/20020610-int/almanacs/20020615.al3 Jun 2002: JD 2452441.458 Local Mean Sidereal Time at midnight = 15 24 41.4 Sunset ( 2326 m horizon): 21 19 GDT; Sunrise: 7 05 GDT Evening twilight: 22 45 GDT; LMST at -
Chapter 1 HIGH PRECISION EXTRACTION OF GRAMMATICALRELATIONS John…
https://www.cl.cam.ac.uk/~ejb1/iwpt02-book.pdf27 Sep 2002: 10 86.73 62.47 72.63100 89.59 51.45 65.36. 1000 90.24 46.08 61.00unlimited 90.40 45.21 60.27. ... 24. total 5010 885. Table 1.6. Number of correct GRs in top-ranked parse, and number not in top-ranked parse butin others. -
Real World Patterns of Failure in Anonymity Systems
https://www.cl.cam.ac.uk/~mgk25/ih01-anonymity.pdf8 Jun 2002: This is a similar approach to that taken by Iachello [24], who usedcovert channel analysis to reason about MIX systems. ... Comm. ACM 24(2), 84–88 (1981). [2] Goldberg, I., Shostack, A: Freedom Network 1.0. -
thesis.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-526.pdf26 Sep 2002: 24. 2.6.1 The Graphics Interchange Format (GIF). 25. 2.6.2 Hierarchical Methods. ... images use 24 bits per pixel (8 each for red, green and blue). -
smeg02.dvi
https://www.cl.cam.ac.uk/teaching/2002/AdvGraph/smeg.pdf7 Nov 2002: x2 y2 z2 = 1 (24). In vector arithmetic, this becomes:P P = 1 (25). ... 24–46. 1.3.7 Disc. The disc is similar to the polygon. Both are planar objects. -
COLLECTIVE GEODESIC FLOWS LEO T. BUTLER AND GABRIEL P. ...
https://www.dpmms.cam.ac.uk/~gpp24/cgf_aif.pdf9 Sep 2002: K). The Fourier series (22–24) extend as holomorphic. functions on the strip {τ C : |Im τ| < πK′2K}. ... fj(θ; ω) 0 as ω (see (22–24)). Then:. limω. s1s3 sinh(π. -
INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL ...
www.damtp.cam.ac.uk/user/ngb23/publications/electron.pdf24 Sep 2002: U 2ii. j=0(r2i,2j P2j (cos θ)) (24). and we set each term of the Taylor expansion of φ(r(θ), θ) in U equal to zero. ... to the leading order mainstream condensate. Here n is the outward normal to the surface (24)of the electron. -
LANGUAGE AND INFORMATION : OLD IDEAS, NEW ACHIEVEMENTS Karen ...
https://www.cl.cam.ac.uk/archive/ksj21/GHlect02.pdf6 May 2002: 24. P(Y|X) P(X). P(X|Y) = -----------. P(Y). estimate P(Y|X), P(X) from frequency data. -
TBS may template.qxd
https://www2.mrc-lmb.cam.ac.uk/groups/hmm/publica/EMreview.pdf3 May 2002: In each of thesecases, purified soluble factors and syntheticliposomes are sufficient to reconstitute coatformation [21–24]. ... Proc. Natl. Acad. Sci. U. S. A. 95,11199–11204. 24 Matsuoka, K. -
D:\Papers\Low-cost hinge report\report.dvi
www-civ.eng.cam.ac.uk/dsl/publications/report.pdf12 Jul 2002: 24. 4.4 Equation for ϑ1maxIn this case, the rotations vary approximately in a logarithmic manner. ... X. Z. tape measures. original positions. K zz. 1. Figure 5.24: Definition of extensional stiffness in z-direction. -
Different applications of two-dimensional potential fields for volume …
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-541.pdf29 Aug 2002: Many different blending functions [21, 22] and blending models[23, 24] have been proposed to control the smoothness of the transition region, but the operators remainlimited to the blending and the -
chapter.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-396.pdf26 Sep 2002: 11 The Equivalence of = and 24. 12 Conclusions 25. A Full Proof Script 28. ... Springer, 1995. [24] L. C. Paulson. The foundation of a generic theorem prover. -
sas01.dvi
https://www.cl.cam.ac.uk/~am21/papers/sas01.pdf28 Mar 2002: D-I9IIu.)a.CB9013Y8<29KA.CB4vw=hjB90;3x,C+3U.,C01:7.01) 2OX+-A243i.CBD-/.@:7)2H]2H.01) 24-A8D3C: B9+I9J98<0129K.: BD2901qHJ9+3y- ... 6S+:7J.C0<)2I8;-R3=-: BV3K OX+2.@0;3j3: B9+IJ981+Ia3U+D-A, -/.C+81Rb-/.5:7)OD0<817T.01OX+ =9z&0<24-A818<RE.CB9Y:7)OT90<81+ -
Subcategorization acquisition
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-530.pdf6 Apr 2002: 24 CHAPTER 1. INTRODUCTION. for scfs restricts the performance of hypothesis tests as well as that of other methodsof hypothesis selection which rely on these estimates. -
Deployable Tensegrity Structures for Space Applications
www-civ.eng.cam.ac.uk/dsl/publications/TibertDocThesis.pdf30 Jul 2002: Calladine studies a physical model of a tensegritystructure with 12 joints and 24 bars, which should be loose with 6 degrees of freedom,according to Maxwell’s rule; yet, it is -
problems.dvi
https://www.cl.cam.ac.uk/teaching/2002/FoundsProg/problems.pdf2 Oct 2002: 12 13 14 15 16 17 18. 34 24 23 26 25 28 27. ... 78 46 58 36 15 24 13 2 1 2 2 2 2 1 2.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.