Search
Search Funnelback University
- Refined by:
- Date: 2002
201 -
250 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
-
An open source grammar development environment and…
https://www.cl.cam.ac.uk/~aac10/papers/lrec2000.pdf8 Jun 2002: every dog probably chased some white cat. Full notation:266664. TOPh1. LZT <. prpstn relHNL h1SOAh21. ;. 24. every relHNL h3BV x4RESTRh5BODY h6. 35;. ... dog relHNL h8INST x4. ;. probably rel. HNL h9ARG h10. ;. 2664. chasev relHNL h12. EVENT e2h. -
Formal verification of floating pointtrigonometric functions John…
https://www.cl.cam.ac.uk/~jrh13/papers/fmcad00.pdf2 May 2002: However, IA-64 supports several floating-point precisions: singleprecision (24 significand bits), double precision (53) and double-extended preci-sion (64), and the target precision significantly affects the design choices. ... MCLAURIN_COS_POLY_RULE 2 35 -
Internet traffic engineering
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-532.pdf6 Apr 2002: Technical ReportNumber 532. Computer Laboratory. UCAM-CL-TR-532ISSN 1476-2986. Internet traffic engineering. Richard Mortier. April 2002. JJ Thomson Avenue. Cambridge CB3 0FD. United Kingdom. phone 44 1223 763500. http://www.cl.cam.ac.uk/. c 2002 -
TR320.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-320.pdf26 Sep 2002: 24 November 1997. Abstract. This paper presents a fixedpoint approach to inductive definitions. ... The package has been implemented in Isabelle [29, 25] using zf set theory[24, 26]; part of it has since been ported to Isabelle/hol (higher-order -
��������� �� ������������������������������� �"! #�$% �&��!� …
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-495.pdf17 Dec 2002: $/ @) :;J -L'D'"#. B+ ". $/- G-J %'L'Q( <! = = ". $/- 8MA ""#$&%' &) "! " 24 ,5%!H/" - 3! -
D:\Current_work\Stiffened Springback ESTEC\paper.dvi
www-civ.eng.cam.ac.uk/dsl/publications/springback_paper.pdf27 Aug 2002: 20 16 4.130 24 5.340 33 5.9. 6. Table 3: Tested configurations. ... Configuration Cuts Slits α β γ w(deg) (deg) (deg) (mm). O - - - - - -A 2 2 - 4 50 20B - 4 8 24 90 20. -
Sheet1
https://www2.mrc-lmb.cam.ac.uk/groups/JYL/WWWrobots/LMB%20plates/LMB%2012.xls20 Mar 2002: B12. 24. 15% PEG 6K, 0.15M KSCN, 0.1M Na Acetate at pH 5.5. ... F12. 24. 15% PEG 6K, 0.15M KSCN, 0.1M TRIS at pH / (HOAc) 7.5. -
MINIMAL ENTROPY AND COLLAPSING WITH CURVATUREBOUNDED FROM BELOW…
https://www.dpmms.cam.ac.uk/~gpp24/minent02.pdf9 Sep 2002: MINIMAL ENTROPY AND COLLAPSING WITH CURVATUREBOUNDED FROM BELOW. GABRIEL P. PATERNAIN AND JIMMY PETEAN. Abstract. We show that if a closed manifold M admits an F-structure (not nec-essarily polarized, possibly of rank zero) then its minimal entropy -
MilnerFeschrift.dvi
https://www.cl.cam.ac.uk/archive/mjcg/papers/HolHistory.pdf19 Jun 2002: TechnicalReport 123, Computer Laboratory, University of Cambridge, UK, 1988. [24] Formal Methods in System Design, volume 3, number 1/2. ... FormalMethods in System Design, 3(1/2):7–24, August 1993. [32] Thomas F. Melham and Juanito Camilleri, editors. -
Channel Islands -joining the dotsbetween contentdistribution &…
https://www.cl.cam.ac.uk/~jac22/talks/net2k-ci.pdf17 May 2002: Channel Islands -joining the dotsbetween contentdistribution &. multicast. Jon Crowcroft. Jon.Crowcroft@cl.cam.ac.uk. http://www.cl.cam.ac.uk/homes/jac22. May 21, 2002. Networks 2002. Channel IslandsThis is a two part talk. Part I is about -
Sheet1
https://www2.mrc-lmb.cam.ac.uk/groups/JYL/WWWrobots/LMB%20plates/LMB%2011.xls20 Mar 2002: B12. 24. 0.8M NaFormate, 8% PEG 20K+ 8% PEG550 MME, 0.1M NaCacodylate / (HOAc)at pH 6.5. ... H12. 24. 15% PEG 6K, 0.15M KSCN, 0.1M Na Acetate at pH 4.5. -
Depth Perception in Computer Graphics
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-546.pdf27 Sep 2002: Technical ReportNumber 546. Computer Laboratory. UCAM-CL-TR-546ISSN 1476-2986. Depth perception in computer graphics. Jonathan David Pfautz. September 2002. 15 JJ Thomson Avenue. Cambridge CB3 0FD. United Kingdom. phone 44 1223 763500. -
Chaffinch: Confidentiality in the Face of Legal Threats
https://www.cl.cam.ac.uk/~rnc1/Chaffinch.pdf18 Sep 2002: which leadsto three possible message constructions, but occurs more rarely. This combineswith the mechanism already identified to give a further, 128 times less common,binomial distribution of 3, 6, 12, 24. -
cases.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-503.pdf27 Sep 2002: Instruction memory here --------------------- ). ( The following codes: f(x) = if x then xf(x-1) else 0; ). ( i.e. it computes triangular numbers ). fun load_instruction (address:16):24 = case address of. ... Stack Machine Instance ----------------------- -
Optical Time-Domain Eavesdropping Risks of CRT Displays
https://www.cl.cam.ac.uk/~mgk25/ieee02-optical.pdf21 May 2002: Mp(t) = %Ep(t). (24). For a uniformly diffusing (“Lambertian”) surface, we haveto divide the radiant exitance byπ [16] to obtain the corre-sponding radiance (power per solid angle per area). -
2. Money and Tools for it's management
https://www.cl.cam.ac.uk/teaching/2001/Business/Bl2.ppt20 Mar 2002: 24,000. 5,500. 4,500. 7,500. 5,500. 4,500. 7,500. 4,500. 51,500. Balance at start. -
Microsoft PowerPoint - lecture4+
https://www.cl.cam.ac.uk/teaching/2002/CompDesig/lecture4.pdf6 Nov 2002: 24. Later Workshops. Make sure you use procedure call standard correctly. -
UNIX AND X by Frank H. King An Introduction ...
https://www.cl.cam.ac.uk/teaching/2001/FoundsProg/ses1.pdf10 Jul 2002: Iconify Emacs now. Click the button. 2.24 Some Emacs commands. • -
UNIX AND X by Frank H. King An Introduction ...
https://www.cl.cam.ac.uk/teaching/2002/FoundsProg/ses1.pdf2 Oct 2002: Iconify Emacs now. Click the button. 2.24 Some Emacs commands. • -
Chapter 8 letter /5
https://www-keeler.ch.cam.ac.uk/lectures/Irvine/chapter8.pdf12 Mar 2002: 13. 23 0 3. 11. 24 0 2. 112. 22 0 2. ... 11. 24 0 3. 24. 24 2 4. 23. 22 2 1. ( ) ( ) ( ) ( ). ( ) ( ) ( ) ( ). -
Infinite and Finite Model TheoryPart II Anuj Dawar Computer ...
https://www.cl.cam.ac.uk/~ad260/modth/slides.pdf11 Mar 2002: NP =. NTIME(f(n)),. where f ranges over all polynomials. 3/2002 24. -
CSMExamples.dvi
https://www.cl.cam.ac.uk/teaching/2002/CompSysMod/CSMExamples.pdf25 Oct 2002: number of devices average service demand. A 48 48 msB 24 24 msC 18 18 ms. -
prob01.dvi
https://www.cl.cam.ac.uk/teaching/2002/Probability/prob01.pdf21 Oct 2002: List the 24 possibleelementary events. Assume the 24 are equiprobable. Let Ai be the event ‘digit iappears in its natural place’ (note i {1, 2, 3, 4}). -
Anforderungen an die gesetzliche Regulierung zumSchutz digitaler…
https://www.cl.cam.ac.uk/~mgk25/dmmv-gutachten.pdf27 Mar 2002: Anforderungen an die gesetzliche Regulierung zumSchutz digitaler Inhalte unter Berücksichtigung derEffektivität technischer Schutzmechanismen. Eine Studie im Auftrag des Deutschen Multimediaverbandes (dmmv) e.V. und desVerbandes Privater -
DiscMaths 2002
https://www.cl.cam.ac.uk/teaching/2002/DiscMaths/DiscMaths.pdf11 Nov 2002: Base case: a1 = 24 32 = 16 9 = 25, which is divisible by 5. ... 12(|64152. Proof: Consider p = 641, so p = 625 16 = 54 24 and 24 –54 (mod p). -
TR409.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-409.pdf26 Sep 2002: 24. 6 Conclusions 24. ii CONTENTS. 1. 1 Introduction. Cryptographic protocols are intended to let agents communicate securelyover an insecure network. ... 24 6 CONCLUSIONS. then the server has sent a message of the correct form, for some Nb. -
TR205.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-205.pdf26 Sep 2002: Nested implication falls outside the framework of monotone inductivedefinitions (as remarked above) but programs can be understood as partial in-ductive definitions [24]. -
LATERAL SPREADING OF SLOPES
www-civ.eng.cam.ac.uk/geotech_new/publications/TR/TR317.pdf28 Feb 2002: Figure 23: Pore pressures measured in test SKH-11 35 Figure 24: Accelerations measured in test SKH-12 37. ... of approximately 20% magnitude. No significant ground displacement was measured. The results of test SKH-12 are plotted in Figure 24. -
Ternary and Three-point Univariate Subdivision Schemes M F Hassan∗and …
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-520.pdf26 Sep 2002: 3 S2 = 1. For b =. 29. α(2) = [. , 0, 0, 1, 2, 1, 2, 1, 0, 0,. ] (24)(α(2))2 = [. , 0, 0, 1, 4, 2, 0, 11, 0, 2, 4, -
complangs.dvi
https://www.cl.cam.ac.uk/teaching/2002/CompProgLangs/complangs.pdf4 Dec 2002: 2. =! (20002). =! 2002. = 24. 6.8 BCPL Streams. LET next(s) = (s!0)(s). ... 24 CHAPTER 6. BCPL. 6.12 BCPL Coroutine Implementation. The implementation is as follows:. --------------------->------------------. | |. ----------------------------------------- -
Logic and Proof Computer Science Tripos Part IBMichaelmas Term ...
https://www.cl.cam.ac.uk/teaching/2002/LogicProof/notes.pdf13 Sep 2002: It costs 24.95 from Amazon. It covers most aspects of this course with the ex-ception of resolution theorem proving. ... Ben-Ari covers resolution and much else relevant toLogic and Proof. Thecurrent Amazon price is 24.50. -
TR-jf10008-co-induction-in-sabe
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-359.pdf26 Sep 2002: 24. Constants. elab fun :: (TyEnvExTy) set (TyEnvExTy) setelab rel :: (TyEnvExTy) set( = ) :: [TyEnv,Ex,Ty] bool. ... elab rel lfp(elab fun);te e = τ 〈〈te,e〉,τ〉 elab rel;. Figure 24: Elaboration in HOL. -
sheet3.PDF
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/sheet3.pdf18 Sep 2002: 24 25. 3 of 11 include/net/sock.h. This structure is initialised in the following sequence: 26 27 At the end of net/ipv4/af_inet.c you will see -
LATERAL SPREADING OF SLOPES
www-civ.eng.cam.ac.uk/geotech_new/publications/TR/TR318.pdf4 Mar 2002: 4.5 Test SKH-17 The results of test SKH-17 are plotted in Figures 21-24. ... PPT2259. PPT6669. PPT6794. PPT6260. Max= 7.18. Min= 4.92. Max= 64.1. Min= 24.2. -
r.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-512.pdf27 Sep 2002: and Cambridge LCF [24]. The version of HOL used in the production of this report is HOL98 Taupo-. -
sheet6.PDF
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/sheet6.pdf18 Sep 2002: 3 of 19 Fib structures. struct netlink_skb_parms req); 24 int (tb_dump)(struct fib_table table, struct sk_buff skb, 25. -
awf247 2523..2536
www.memlab.psychol.cam.ac.uk/pubs/Simons2002%20Brain.pdf29 Oct 2002: Tests Mean SD Mean SD Mean SD Mean SD. Semantic memoryPicture naming (64) 28.8 22.4 24.9 18.0 63.0 1.0 62.3 1.6Wordpicture matching (64) ... Source 1 0.52 0.37 0.11 0.71 0.21 0.08Source 2 0.27 0.64 0.09 0.24 0.70 0.06Novel foil 0.05 -
sheet4.PDF
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/sheet4.pdf18 Sep 2002: 24 skb->csum is undefined. 25. 3 of 16 include/linux/skbuff.h. 26 UNNECESSARY: device parsed packet and wouldbe verified checksum. -
University of AmsterdamDept. of Social Science Informatics (SWI)…
https://www.cl.cam.ac.uk/~mr10/prologman.pdf21 Feb 2002: 984.23 Representing text in strings. 1004.24 Operators. 1014.25 Character Conversion. 1024.26 Arithmetic. ... 24 CHAPTER 2. OVERVIEW! Repeat last query!nr. Repeat query numbered〈nr〉!str. Repeat last query starting with〈str〉!str. -
Evaluating similarity-based visualisations as interfaces for image…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-543.pdf20 Sep 2002: As a result, interest in evaluation is growing [24]. Leuski and Allan [68] found in a simple experiment that “users have no dif-ficulty grasping the idea of spatial proximity as ... 24 Background and related work. Researchers in the fields of computer -
The acquisition of a unification-based generalised categorial grammar
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-533.pdf10 Apr 2002: 2 Literature Review 232.1 Universal Grammar. 24. 2.1.1 Triggers. 272.1.2 Negative evidence. ... 714.23 Traditional Encoding for Intransitive Verbs. 714.24 Traditional Encoding for Transitive Verbs. -
misc
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/misc.pdf18 Sep 2002: Jon.Crowcroft@c l.cam.ac.uk DigiComm II-24. DigiComm II. Performance. • Getting data from source to destination(s) as fast as possible. • ... label Exp S TTL. 0 20 23 24 31. The shim header sits between the IP header and level 2 header. -
The Two Cultures of Mathematics. W. T. Gowers In ...
https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf12 Sep 2002: 1985), 24-41. [CGW] F. Chung, R. L. Graham and R. M. -
qos-serve-api
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/qos-serve-api.pdf18 Sep 2002: So the application needs to be dynamically adaptable. Jon.Crowcroft@c l.cam.ac.uk DigiComm II-24. ... DigiComm II-24. DIFFSERV classification [1]. • Packet marking:• IPv4 ToS byte or IPv6 traffic-class byte• DS byte. • -
Video Augmented Environments
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-419.pdf6 Apr 2002: Video-AugmentedEnvironments. A dissertation submitted for the degree ofDoctor of Philosophy. James Quentin Stafford-Fraser. Gonville & Caius CollegeUniversity of Cambridge. February 1996. ii. To my parents, who taught me to explore,and to my -
Proc. Natl. Acad. Sci. USAVol. 94, pp. 9637–9642, September ...
https://www2.mrc-lmb.cam.ac.uk/groups/rlw/download/publications/9275175.pdf20 Apr 2002: An initial model wasbuilt using the program O (24). Noncrystallographic symmetryrestrained positional and temperature factor refinement werecarried out with the program X-PLOR. ... S. (1993) Acta Crystallogr. D 49,. 129 –147.24. Jones, T. A., Zou, J.-Y. -
21st January 2002 Hiding 1rnc1 ,��³+LGLQJ´$QRQ\PLW\�V\VWHPV…
https://www.cl.cam.ac.uk/~rnc1/notes/1_hiding.pdf23 Jan 2002: 6RPHREYLRXVQHFHVVLWLHV DOOPHVVDJHVHQFUSWHG>RWKHUZLVHUHDGDEOH@ DOOPHVVDJHVWKHVDPHVL]H>RWKHUZLVHWUDFNDEOH@ 0,;RZQHULVKRQHVWDQGGRHVQWUHYHDOORJV. Original paper is straightforward to read:. “Untraceable electronic mail, return addresses, and digital -
Automatic summarising and the clasp system Richard Tucker PhD ...
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-484.pdf26 Sep 2002: 23. 1 summaries and summarisers. 24. 1 summaries and summarisers. 2 previous summarising systems & methodsThis chapter describes the main approaches taken in automatic summarisingfrom the 1950s to the present (1998), using -
23rd January 2002 Traceability 1rnc1…
https://www.cl.cam.ac.uk/~rnc1/notes/2_finding.pdf23 Jan 2002: Nodes are identified by a Media Access Control (MAC)addresses which are supposed to be unique [the first 24 bits is theOrganizationally Unique Identifier (OUI) assigned to a vendor and the -
Workshop Report for IPTPS'02, 1st International Workshop on…
https://www.cl.cam.ac.uk/~rnc1/IPTPS02Report.pdf19 Apr 2002: A: Weonly had 24 SPARCs, though they did all have loads of RAM.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.