Search
Search Funnelback University
- Refined by:
- Date: 2008
251 -
300 of
901
search results for katalk:za33 24
where 0
match all words and 901
match some words.
Results that match 1 of 2 words
-
doi:10.1016/j.biocel.2008.08.010
https://www2.mrc-lmb.cam.ac.uk/groups/JYL/PDF/cytomotive2008Lowe.pdf17 Sep 2008: Bacterial DNA segregation dynamicsmediated by the polymerizing protein ParF. EMBO J 2005;24:1453–64. ... Coexistence of tubulins andftsZ in different Prosthecobacter species. Mol Biol Evol 2007;24:1439–42. -
ASTlecture_05
https://www.cl.cam.ac.uk/teaching/0708/AdvSysTop/ASTlecture_05.pdf10 Feb 2008: 15 56. 192.44.78.0/24. AS 4. AS 3AS 2. AS 1. 10FLAP. ... 192.44.78.0/24. 192.44.78.0/24MED = 15. 192.44.78.0/24MED = 56 OR 10. 56. 10FLAP. -
Technical ReportNumber 709 Computer Laboratory UCAM-CL-TR-709ISSN…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-709.pdf5 Feb 2008: The two hashes are. 24. then XORed to generate the combination key:. -
pit.dvi
https://www.cl.cam.ac.uk/~amp12/papers/opebtp/opebtp.pdf15 Jan 2008: F) x (2.24) P : 0 ) P =gnd0 hfst(P); snd(P)i (2.25)Unfolding recursive terms; x : M : ) x x : M =gnd M[x x : M=x] -
GeOpps: Geographical Opportunistic Routing for Vehicular Networks…
https://www.cl.cam.ac.uk/~cm542/papers/aoc07.pdf29 Feb 2008: 260,000 vehicles over real road maps in the canton of Zurichwithin a period of 24 hours. -
The Semantics of x86 Multiprocessor Machine Code Supplementary…
https://www.cl.cam.ac.uk/~pes20/weakmemory/examples.pdf30 Oct 2008: 1University of Cambridge 2INRIA. http://www.cl.cam.ac.uk/users/pes20/weakmemory. October 24, 2008. Abstract. This note contains supplementary details for the paper The Semantics of x86 MultiprocessorMachine Code ... iiid: 〈proc:2;po:2〉. R [100]=1. -
˜ Topic IV ˜Block-structured procedural languages Algol and Pascal ...
https://www.cl.cam.ac.uk/teaching/0708/ConceptsPL/Algol-Pascal.pdf11 Feb 2008: 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. -
˜ Lecture VIII ˜Keywords: tree-based data structures; binary search…
https://www.cl.cam.ac.uk/teaching/0708/IntroFProg/l08.pdf12 Feb 2008: in. siftdown( w , r , t ). end. end ;. end ;. end ;. / 24. Heap sort. fun heapTOlist h. = -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/hs99.pdf22 Aug 2008: R x if and only if ju xj 1.Girard's Coheren e spa es [24,28 are essentially G?(Rel) for this orthogona-17. ... Springer Verlag, 1993.[16 G.M. Bierman. On intuitionisti linear logi. Te hni al Report 346, Universityof Cambridge Computer Laboratory, August -
Q Lecture Notes on Denotational Semantics for Part II ...
https://www.cl.cam.ac.uk/teaching/0809/DenotSem/notes.pdf22 Oct 2008: The terminology ‘exponential cpo/domain’ issometimes used instead of ‘function cpo/domain’. 24 3 CONSTRUCTIONS ON DOMAINS. ... Slide 24. The intended meaning of the various syntactic forms is as follows. • -
Searching for EvilRichard Clayton Joint work withTyler Moore & ...
https://www.cl.cam.ac.uk/~rnc1/talks/080306-searching.pdf9 Mar 2008: amateur “vigilantes”– monitored take-downs during Oct-Dec 2007– 696 sites, 222 hours, 24.5 median. • -
The RUNES Middleware: A ReconfigurableComponent-based Approach to…
https://www.cl.cam.ac.uk/~cm542/papers/pimrc05.pdf29 Feb 2008: Vigna, “Understanding Code Mobility,”IEEE Transactions on Software Engineering, vol. 24, no. -
˜ Lecture II ˜Keywords: mosml; sml; value declarations; static ...
https://www.cl.cam.ac.uk/teaching/0708/IntroFProg/l02.pdf12 Feb 2008: 24. Evaluation of expressions. Execution is the evaluation (or reduction) of an expression toits value, replacing equals by equals. -
Adaptable Mobile Applications: ExploitingLogical Mobility in Mobile…
https://www.cl.cam.ac.uk/~cm542/papers/mata03.pdf29 Feb 2008: IEEE Trans.on Software Engineering, 24(5). 6. C. Mascolo, L. Capra, S. -
Astronomy & Astrophysicsmanuscript no. 8719 c© ESO 2008April 28,…
https://people.ast.cam.ac.uk/~wyatt/swd08.pdf29 Apr 2008: 3.1.1. TIMMI2. The observations on TIMMI2 were taken over three runs on 11-12 September 2003, 19-21 November 2003 and 24-26 January2005 (proposals 71.C-0312, ... 123356d G1V O(0.1)e 20.9 14+ 1270 (53) 3 615 (56)128400 G5V 0.3i 20.4 260+ 178 (24) 61+ 64 -
No Job Name
www-klinowski.ch.cam.ac.uk/pdfs/464.pdf10 Jul 2008: tion) reveals that initially several crystalline seeds evolve.23,24. These have alternating (-Zn-S-Zn-S-Zn-S-) six-mem-. ... On the other hand,. (24) Lu, D.; Katou, T.; Uchida, M.; Kondo, J. -
UpgradeJ: Incremental typechecking for class upgrades
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-716.pdf30 Apr 2008: Technical ReportNumber 716. Computer Laboratory. UCAM-CL-TR-716ISSN 1476-2986. UpgradeJ:Incremental typechecking. for class upgrades. Gavin M. Bierman, Matthew J. Parkinson,James Noble. April 2008. 15 JJ Thomson Avenue. Cambridge CB3 0FD. United -
ANALYSIS II EXAMPLES 1 Michaelmas 2005 J. M. E. ...
https://www.dpmms.cam.ac.uk/~jmeh1/Teaching/an05-1.pdf19 Mar 2008: ANALYSIS II EXAMPLES 1. Michaelmas 2005 J. M. E. Hyland. The Basic Questions are cover examinable material from the course. The Additional Questions arefor those wishing to take things a bit further. The questions are not all equally difficult; I -
Particle Flow Calorimetry and ILC Detector Design
https://www.hep.phy.cam.ac.uk/~thomson/talks/Thomson.pdf11 Sep 2008: EJETσE/E = α/Ejj|cosθ|<0.7. σE/Ej. 45 GeV 24.9 % 3.7 %. 100 GeV 30.7 % 3.1 %. 180 GeV 43.0 % 3.2 %. 250 GeV 52.2 % ... ILD Workshop, 11/9/2008 Mark Thomson 24. Conclusions. Over to you…. Particle Flow and ILD Detector Optimisation Studies. -
On using fuzzy data in security mechanisms
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-715.pdf21 Apr 2008: 24. 3.3.2 Hadamard codes. A Hadamard code is generated by an nn Hadamard matrix, a square orthogonal matrixwith elements 1 and 1. -
doi:10.1016/j.neuropsychologia.2007.12.029
www.memlab.psychol.cam.ac.uk/pubs/Turner2008%20Npsygia.pdf8 May 2008: 6 21 51 3.97 27Left lateral premotor cortex (BA 6) 27 12 60 4.47 86Left lateral inferior parietal cortex (BA 40) 39 54 45 5.24 530Right lateral inferior ... eft anterior cingulate cortex (BA 24) 6eft dorsolateral PFC (BA 9) 21ight medial PFC (BA 8) 6ight -
Effect of the sp2 carbon phase on n-type conduction ...
www-g.eng.cam.ac.uk/nms/publications/pdf/Ikeda_JAP2008.pdf20 Oct 2008: for further N2 addi-tion up to 20%;22,24 ii electron mobility increases slightlywith N2 10%–20%;. ... 0 TM1/2, following Ref. 24, with VRH0 independent of TM. However, the slopes for. -
Energy-Efficient Sentient Computing
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-722.pdf9 Jul 2008: 2.2 Sensor Network Scalability. 24. 2.2.1 The Role of the DAPH. ... DCA) [24] also uses weights to select cluster-heads. While the motivation for clustering. -
Some improvements to 4-descent on an elliptic curve Tom ...
https://www.dpmms.cam.ac.uk/~taf1000/papers/fourdesc.pdf2 Feb 2008: 2, 304315. 2. J.W.S. Cassels, Lectures on elliptic curves, LMS Student Texts, 24, CUP, Cam-bridge, 1991. ... Symbolic Comput. 24 (1997), no. 3-4, 235265. TheMagma home page is at http://magma.maths.usyd.edu.au/magma/. -
Linear Analysis T. W. Körner January 8, 2008 Small ...
https://www.dpmms.cam.ac.uk/~twk10/LA.pdf8 Jan 2008: 24. Theorem 10.6. [Bessel’s inequality] Consider an inner product space V. -
˜ Topic III ˜LISP : functions, recursion, and lists ...
https://www.cl.cam.ac.uk/teaching/0708/ConceptsPL/LISP.pdf11 Feb 2008: T ’(CountFrom 0) ). ( FunnyOrelse ’nil ’T ). / 24. -
slides.dvi
https://www.cl.cam.ac.uk/~jrh13/slides/bpr-14jul08/slides.pdf14 Jul 2008: 24. The obviousness mismatch. Can also automate some purely logical reasoning such as this:. ... Format name p Emin Emax. Single 24 -126 127. Double 53 -1022 1023. -
What is a key? This voluminous correspondence records the ...
https://www.cl.cam.ac.uk/~km10/IEEE_membership_JeanBacon.pdf25 Apr 2008: 41:24 -0500. ... computer.orgDate: Wed, 10 Jan 2001 08:23:24 -0500. -
sig-004.dvi
mi.eng.cam.ac.uk/~mjfg/mjfg_NOW.pdf19 Mar 2008: Foundations and Trends R inSignal ProcessingVol. 1, No. 3 (2007) 195–304c 2008 M. Gales and S. YoungDOI: 10.1561/2000000004. The Application of Hidden Markov Modelsin Speech Recognition. Mark Gales1 and Steve Young2. 1 Cambridge University -
THE CARTESIAN CLOSED BICATEGORY OFGENERALISED SPECIES OF STRUCTURES…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/fghw08.pdf19 Aug 2008: Each of these corresponds tothe composition of associated formal power series (see, e.g., [23, 24, 40, 6, 38,37, 7]). ... 1981), 1–82. 24. , Foncteurs analytiques et espèces de structures, Combinatoire Énumérative,Lecture Notes in Mathematics, vol -
Prolog lecture 6 ● Solving Sudoku puzzles● Constraint Logic ...
https://www.cl.cam.ac.uk/teaching/0809/Prolog/Prolog08ML6R2.pdf2 Dec 2008: already had their domains updated. 24. {1,2,3}{1,2,3}. {1,2,3}. {1,2,3,4}. {1,2,3}{1,2,3}{1,2,3,4}. ... Slide 22. Slide 23. Slide 24. Slide 25. Slide 26. Slide 27. -
Ethical Aspects of Science Policy | Faraday
https://www.faraday.cam.ac.uk/resources/multimedia/ethical-aspects-of-science-policy/19 Feb 2008: 320x240. 227.24 MB. MPEG-4 Video. 480x360. 227.59 MB. 384x288. 382.37 MB.
-
xmiddle: A Data-Sharing Middleware for Mobile Computing Cecilia…
https://www.cl.cam.ac.uk/~cm542/papers/xmiddle.pdf29 Feb 2008: xmiddle: A Data-Sharing Middleware for Mobile. Computing. Cecilia Mascolo, Licia Capra,Stefanos Zachariadis and Wolfgang EmmerichDept. of Computer ScienceUniversity College LondonGower Street, London WC1E 6BT, -
All your mailserverare belong to us Dr Richard Clayton ...
https://www.cl.cam.ac.uk/~rnc1/talks/080211-mailserver.pdf9 Mar 2008: email contents are available for inspection• /32 may not propagate, so /24 may be better. – -
P Lecture Notes on ComputationTheory for the Computer Science ...
https://www.cl.cam.ac.uk/teaching/0809/CompTheory/comt00.pdf30 Sep 2008: 1. Exercises in register machine programming:. (a) Produce register machine programs for the functions mentioned on page 24. -
1 — A SINGLE RANDOM VARIABLE Questions involving probability ...
https://www.cl.cam.ac.uk/teaching/0708/Probabilty/prob01.pdf23 Jan 2008: 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}). -
˜ Lecture III ˜Keywords:types; polymorphism; curried functions;…
https://www.cl.cam.ac.uk/teaching/0708/IntroFProg/l03.pdf12 Feb 2008: 24. Deep patterns. Patterns can be as deep or as shallow as required. -
The Space and Motion of Large Informatic Systems Visions ...
https://www.cl.cam.ac.uk/archive/rm135/Visions-Slides.pdf5 Nov 2008: C. C. H G. RA. B. C. A. R. C. 24. -
UNIX AND X by Frank H. King An Introduction ...
https://www.cl.cam.ac.uk/teaching/0809/LongVac/ses1.pdf9 Sep 2008: 2.24 The ls command once more. • Focus on the xterm window and give the ls command again:. -
p302-capra.dvi
https://www.cl.cam.ac.uk/~cm542/papers/fse02-mobile.pdf29 Feb 2008: to decide which problem solv-ing tasks to undertake (e.g., [25] [24]). -
Digicom II 2008-2009
https://www.cl.cam.ac.uk/teaching/0809/DigiCommII/dcii.pdf24 Sep 2008: circuits. Bandwidth. DS0 1 64 Kbps. DS1 24 24 1.544Mbps. DS2 4 96 6.312 Mbps. ... class A: 8 bits network, 24 bits hostclass A: 8 bits network, 24 bits host. "" -
Supersymmetry and Extra Dimensions Lectures by: Fernando Quevedo,…
www.damtp.cam.ac.uk/user/fq201/susynotes.pdf8 Apr 2008: 23. 2.2.4 N = 1 Supersymmetry Representations. 24. 2.2.5 Massless Supermultiplet. ... i.e. as predicted 16 = 24 states in total. Notice that these multplets are much larger than the. -
Modular fine-grained concurrency verification
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-726.pdf15 Jul 2008: In contextlogic, septraction corresponds to , whereas in ambient logic it corresponds to fusion (). The name‘septraction’ is due to Matthew Parkinson. 24. There are a few classes of assertions have useful -
flm021.dvi
www.itg.cam.ac.uk/people/heh/Paper209.pdf14 May 2008: 21. 22. 23. 24. 25. 26. 27. 28. V (µm s–1). -
PII: 0304-3991(84)90197-9
https://www2.mrc-lmb.cam.ac.uk/groups/nu/pdf/ultram84.pdf26 Oct 2008: The capacity of the Dewar is sufficient to give a running time of about 24 h under these conditions. -
Spontaneous Rotating Vortex Lattices in a Pumped Decaying Condensate…
www.damtp.cam.ac.uk/user/ngb23/publications/polariton.pdf11 Aug 2008: 24,25]. By studying the stability of these steady-state solutions, one finds that with homogeneous pumpingthese solutions become unstable to breaking of rotationalsymmetry. ... 24] M. A. Porras, A. Parola, D. Faccio, A. Dubietis, and P. -
Sustainable Climate and Energy Use | Faraday
https://www.faraday.cam.ac.uk/resources/multimedia/sustainable-climate-and-energy-use/26 Jun 2008: 320x240. 157.70 MB. 480x360. 310.24 MB. MP3. 44100 Hz. 84.37 MB.
-
Media Sharing based on Colocation Predictionin Urban Transport Liam…
https://www.cl.cam.ac.uk/~cm542/papers/mobicom08.pdf14 Jul 2008: 10. 12. 14. 16. 18. 20. 22. 24. 26P. asse. nger. ... be a fine-grained 1 hour(thus 24 slots in a given period). -
Bi-directional Quality of Service for an IP tunnel
https://www.cl.cam.ac.uk/~mas90/publications/dissertation.pdf24 Nov 2008: An exampleaddress in CIDR notation would be 131.111.228.52/24; the “/24” indi-cates that the first 24 bits (131.111.228) are the network address, and theremainder is ... 2.5.1 APIs for tunnelling. Linux includes a driver — the Universal TUN/TAP -
1 2 Chapter 1 Grammatical Assimilation Ted Briscoe 1.1 ...
https://www.cl.cam.ac.uk/~ejb1/ga-review.pdf15 Apr 2008: 1. 2. Chapter 1. Grammatical Assimilation. Ted Briscoe. 1.1 Introduction. In this paper, I review arguments for and against the emergence and maintenanceof an innate language acquisition device (LAD) via genetic assimilation. By aLAD, I mean nothing
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.