Search
Search Funnelback University
- Refined by:
- Date: 2002
201 -
250 of
436
search results for katalk:za33 24
where 0
match all words and 436
match some words.
Results that match 1 of 2 words
-
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 -
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 -
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 -
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. -
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 -
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. -
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 ----------------------- -
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. -
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. • -
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). -
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. -
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. -
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}). -
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). -
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 -
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. -
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. -
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]. -
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:. --------------------->------------------. | |. ----------------------------------------- -
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. -
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, -
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 -
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-. -
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 -
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. -
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. -
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. -
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. • -
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. -
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. -
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. -
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 -
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 -
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 -
Models for Name-Passing Processes: Interleaving and Causal Gian Luca…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-505.pdf26 Sep 2002: The literature contains also testing-basedmodels [24, 4]. The precise relationships with these and other models defined in the literature,e.g. -
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
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
- `Sidgwick Ave` (0) · moments ago
Recent searches
Your search history is empty.