Search
Search Funnelback University
- Refined by:
- Date: 2002
251 -
300 of
596
search results for news
Fully-matching results
-
UNIX AND X by Frank H. King An Introduction ...
https://www.cl.cam.ac.uk/teaching/2001/FoundsProg/ses1.pdf10 Jul 2002: 7 –. • Try some experiments but conclude with the new xterm window on top. ... some instructions for creating a new file. In all Emacs documentation the abbreviation. – -
UNIX AND X by Frank H. King An Introduction ...
https://www.cl.cam.ac.uk/teaching/2002/FoundsProg/ses1.pdf2 Oct 2002: Click thisentry and the window iconifies again. • Try some experiments but leave the new window deiconified. ... 7 –. • Try some experiments but conclude with the new xterm window on top. -
An investigation into the behaviour of pressed-in piles
www-civ.eng.cam.ac.uk/geotech_new/publications/abstracts/abst-white.htm27 Jun 2002: A new system for deformation measurement in plane strain modelling and other forms of geotechnical testing has been developed. -
Scientific Computing on the Itanium TM Processor ∗ Bruce ...
https://www.cl.cam.ac.uk/~jrh13/papers/super.pdf2 May 2002: The features of the Itanium architecture provide new oppor-tunities for the compiler to optimize applications. ... 3Described as “phenomenal” by Stephen Shankland, Ita-nium scores high in performance tests, CNET News.com,May 30, 2001, 12:50 p.m. -
report.dvi
https://www.cl.cam.ac.uk/~aac10/papers/dbrep.pdf27 Sep 2002: Chapter 5 presents test examples, illustrating the perfor-mance of the new front end. ... It therefore seemedreasonable to completely reimplement the system based on these new approaches. -
25th January 2002 Regulating 1rnc1…
https://www.cl.cam.ac.uk/~rnc1/notes/3_regulating.pdf23 Jan 2002: New Labour’s position paper on encryption mysteriously disappearedfrom their website after their election. ... IOCA 85 and new powers to access “traffic data”which related to telecommunications. -
TR050.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-50.pdf26 Sep 2002: We can start a new LCF theory and storethese types by issuing the commands. ... The function traversesboth expressions (to build new ones) and substitutions (to find variables). -
cases.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-503.pdf27 Sep 2002: 1{x 7 0} @ [Squeeze(1)]. [[e1? e2 : e3]]σdef= let l and l′ be new labels in. ... in data_write(inc_SP, alu2(op_rand, v1, v2));. SMachine (a1, new_PC, inc_SP) end end. -
Murphy's law, the fitness of evolving species, and the limits of…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-471.pdf30 Sep 2002: However, the software’soverall failure rate will then be dominated by terms that correspond to new code,and this will limit the achievable reliability gain. ... However, while Murphy’s law is good news for anevolving species, it is rather bad news -
UNITY-states.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-507.pdf27 Sep 2002: Some proof tools allow record types to becombined, easily expressing new record types. ... The setproject set h A is the result of ignoring the new variables. -
javacase.dvi
https://www.cl.cam.ac.uk/teaching/2002/JavaCaseStudy/javacase.pdf4 Dec 2002: System.out.println("SunDial: calling new Model()");. model = new Model(); // Create the model. ... System.out.println("SunDial: calling new Viewer()");. // Create a viewer for this model. -
THE IMPORTANCE OF MATHEMATICS W. T. Gowers It is ...
https://www.dpmms.cam.ac.uk/~wtg10/importance.pdf12 Sep 2002: 1,000,000. Now let us modify our problem slightly. Figure 2 shows a new network. ... a new shape with volume 1/n times that of the original pyramid. -
29th November 2002 Regulating 1rnc1…
https://www.cl.cam.ac.uk/~rnc1/notes/AT02_regulating.pdf17 Nov 2002: New Labour’s position paper on encryption mysteriously disappearedfrom their website after their election. ... IOCA 85 and new powers to access “traffic data”which related to telecommunications. -
problems.dvi
https://www.cl.cam.ac.uk/teaching/2002/FoundsProg/problems.pdf2 Oct 2002: Person[] p = {new Person("George", 34, 1.71f),. new Person("Betty", 22, 1.76f),. ... p = n%2! =0? new BigNo(m) : new BigNo(1);. s = new BigNo(m);. -
problems.dvi
https://www.cl.cam.ac.uk/teaching/2001/FoundsProg/problems.pdf2 Oct 2002: Person[] p = {new Person("George", 34, 1.71f),. new Person("Betty", 22, 1.76f),. ... p = n%2! =0? new BigNo(m) : new BigNo(1);. s = new BigNo(m);. -
Semantic optimization of OQL queries
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-547.pdf11 Oct 2002: 130. 13. 14. 7.4 Cost of sorting initial and new path annotations. ... 132. 7.5 Cost of finding new combinations in step 2.2. 134. -
Business Studies for Computer Scientists, or "How to Start and…
https://www.cl.cam.ac.uk/teaching/2001/Business/Bl1.ppt20 Mar 2002: Everett M Rogers; Diffusion of Innovation, 4th Edition Free Press, New York 1995 ISBN 0-02-926671. ... Futures: some emerging areas for new computer businesses. Why are you doing it? -
TR192.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-192.pdf26 Sep 2002: Whenever a new subgoal is produced, Folderol tries to change it to a basicsequent. ... It tries to solve each new goal rather than simplyadding it to the goaltable. -
Chaffinch: Confidentiality in the Face of Legal Threats
https://www.cl.cam.ac.uk/~rnc1/Chaffinch.pdf18 Sep 2002: Clearly there are solutions to this, by choosing new session valuesand ordering the way in which misidentifications are checked for. ... Alternatively, both forward and reverse secrecy can be achieved bycreating new keys that are a result of encrypting a -
TR133.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-133.pdf26 Sep 2002: Two signatures can be combined into a new one provided their critical symbols. — ... names and axioms are strings. Each axiom is parsed under the new signature. -
OASIS: Architecture, Model and Management of Policy Ken Moody ...
https://www.cl.cam.ac.uk/~km10/UofHull-talk.pdf6 Oct 2002: LNCS 1795, Springer-Verlag, Heidelberg and New York, April 2000, pp. 107-123. ... LNCS 1995, Springer-Verlag, Heidelberg and New York, Jan 2001, pp. 107-119. -
csaa.dvi
https://www.cl.cam.ac.uk/teaching/2002/ConcSys/csaa-2002.pdf16 Sep 2002: return new TelephoneEntry(name, number);15. }16. }17. Programming with objects Slide 2-2. ... B[] is a sub-type of A[]. A[] array1 = new A[2];1. -
HCI-notes-4-0
https://www.cl.cam.ac.uk/teaching/2002/HCI/HCI2002.pdf28 Aug 2002: Software that is usable for its purpose is sometimes described by programmers as "intuitive" (easy to learn, easy to remember, easy to apply to new problems) or "powerful" (efficient, effective). ... Others required new research which was conducted in -
nature structural biology . volume 5 number 6 . june 1998
https://www2.mrc-lmb.cam.ac.uk/groups/JYL/PDF/nsb1998.pdf14 Jan 2002: Lloyd, C.W. Microtubules (Wiley-Liss, New York, 1993). 2. 3m. 4C. ... Hol, W.G. Crystal structure of glycosomal glyceraldehyde-3-. phosphate dehydrogenase from Leishmania mexicana: implications for structure-based drug design and new position for the -
Measurement-based management of network resources
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-528.pdf28 Mar 2002: network resources with minimal prior characterisation of new flows. However, there have been. ... 21. 1.1. MOTIVATION CHAPTER 1. INTRODUCTION. new flows as the capacity allows. -
TR082.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-82.pdf26 Sep 2002: For i = 1, 2,. , let hi(x1,. ,xp)be a new variable of appropriate type. ... It hashes disagreement sets to determine whether a new set is subsumedby an older one. -
aint2000v2.dvi
https://www.cl.cam.ac.uk/~swm11/research/papers/aint2000.pdf19 Mar 2002: S. R. Q. circuitSynchronous. New_data. CConsumed. clken. clk. DataAsynchronous. RC ACn n. ... the asynchronousinterface to respond by lowering New data whichresults in Consumed going low, all ready to receivesome more data. -
TR308-jf10008-co-induction.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-308.pdf26 Sep 2002: In other words the new correspondencerelation is a co-inductive relation defined by two rules. ... Using the new formulation, consistency is proved by using the inductionrule on τ te. -
Models for Name-Passing Processes: Interleaving and Causal Gian Luca…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-505.pdf26 Sep 2002: In π-calculus, name-binding introduces new depen-dencies, as thoroughly discussed in [18]. ... is a transition B fP fxfz fQ. For output of a new name, i.e. -
CUnibig.eps
https://www.cl.cam.ac.uk/~mgk25/em-eaves.pdf12 Jun 2002: are increasingly interested in new/unorthodox access techniques.2. Early use of compromising emanations. ... Licence enforcement applications Search for further new vulnerabilities and emanation channels Stimulate FOI release of past military research. -
23rd January 2002 Traceability 1rnc1…
https://www.cl.cam.ac.uk/~rnc1/notes/2_finding.pdf23 Jan 2002: For some news servers,even these can be suspect! The X-Trace line is usually the most reliable header. ... It will indicatewhich “proper” news machine first accepted the article. The format is notstandardised. -
TR409.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-409.pdf26 Sep 2002: 3. S generates a new session key Kab and packages it separately for A and B. ... So the spy can learn nothing new byseeing X again when B responds to this message. -
networker
https://www.cl.cam.ac.uk/~jac22/talks/networker.pdf23 Sep 2002: Develop evolutionary process that is future-proof against new applications. 2001, Cisco Systems, Inc. ... There is nothing new under the Sun” (William Shakespeare). 2001, Cisco Systems, Inc. -
Microsoft PowerPoint - Software Engineering-1-0
https://www.cl.cam.ac.uk/teaching/2001/SWEng1/SoftwareEng1aNotes.pdf29 Jan 2002: Software reuse increases safety using the same software in a new environment is. ... of some interfaces, e.g. to customer Managers often loath to believe bad news. -
smeg02.dvi
https://www.cl.cam.ac.uk/teaching/2002/AdvGraph/smeg.pdf7 Nov 2002: This is a veryhandy way to make a new vector which is guaranteed perpendicular to a given vector. ... Connecting all the new vertices together, in the appropriate order, producesa more refined control polygon. -
slides.dvi
https://www.cl.cam.ac.uk/teaching/2001/OpSys/slides.pdf11 Apr 2002: There are a number of occasions when wecan/must choose a new process to run:. ... use base and limit registers in MMU. { update values when a new processes is scheduled. { -
Hello Worldor Kαληµέρα κόσµεor Rob PikeKen Thompson AT&T Bell…
https://www.cl.cam.ac.uk/~mgk25/ucs/UTF-8-Plan9-paper.pdf9 Dec 2002: Hello Worldor. Kαληµέρα κόσµεor. Rob PikeKen Thompson. AT&T Bell LaboratoriesMurray Hill, New Jersey 07974. ... We proposed a modification to the new UTF that would addressour synchronization problem. -
UNITY.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-467.pdf27 Sep 2002: Then, hemodifies the refinement to obtain a new program. Figure 3 presents the final UNITYprogram. ... p s}. The two new subgoals both follow by the corresponding ensures property. -
An Architecture for Distributed OASIS Services John H Hine ...
https://www.cl.cam.ac.uk/~km10/MW2000-talk.pdf17 Jan 2002: grant entry to a new ROLE conditionally on. OTHER ROLEs held constraints on their parameters. • ... create a new Credential Record for each certificate issued. maintain the Credential Record graph , linking CRs by pre-condition. -
TR189.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-189.pdf26 Sep 2002: Ex-tending a logic with new constants and axioms creates a new theory. ... In the new proof state, subgoal 1 is P Q under the assumption P. -
1 Switchlets and Resource-Assured MPLS NetworksMay 2000 Richard…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-510.pdf26 Sep 2002: At a switch2 the label serves to indexinto a LIB (Label Information Base), a table containingthe next forwarding hop and a new label. ... When new reachability informationis received, the Domain Manager attempts to form routesacross the VPN, and creates -
draft
https://www.cl.cam.ac.uk/~jac22/out/mo-d.pdf27 May 2002: This paper presents a new paradigm addressing the aforementioned shortcomings of existing real-time networked applications, namely online games and virtual environments. ... 19. How often do you meet new players in games and play with them in future -
D:\Current_work\Calladine Conference\Proceedings\contents_etc.dvi
www-civ.eng.cam.ac.uk/contents.pdf19 Jun 2002: NEW APPROACHES TO STRUCTURAL MECHANICS,. SHELLS AND BIOLOGICAL STRUCTURES. Edited by H.R Drew and S. -
The representation of group denoting nouns in alexical knowledge ...
https://www.cl.cam.ac.uk/~aac10/papers/groups.pdf8 Jun 2002: University of Cambridge Computer Laboratory. New Museums Site, Pembroke Street, Cambridge, CB2 3QG, UK. ... P. Kim-. ball (ed.), Syntax and Semantics IV, Academic Press, New York, pp. -
C formalised in HOL
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf4 Feb 2002: Bell Telephone Laboratories. C’s rôle was as the system implementation. language for the new Unix operating system. ... It is a. typed language, and its types can be extended by the construction of new. -
TR069.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-69.pdf26 Sep 2002: equations and show that the new equations hold. Thus they have at least one. ... The function symbol norm is declared, and a new axiom asserts its definition. -
Extensible virtual machines
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-525.pdf24 Jan 2002: of this meant that Pascal could be made available on a new system by merely. ... The new. structure avoids one level of indirection on most object-based operations but. -
Optical Time-Domain Eavesdropping Risks of CRT Displays
https://www.cl.cam.ac.uk/~mgk25/ieee02-optical.pdf21 May 2002: mgk25@cl.cam.ac.uk. Abstract. A new eavesdropping technique can be used to readcathode-ray tube (CRT) displays at a distance. ... 8. Countermeasures. Once the nature of a new eavesdropping technique is un-derstood, it is possible to suggest a range of -
HCCdistribution
https://www.cl.cam.ac.uk/~afb21/publications/HCC02a.pdf10 Dec 2002: When the macro is executed again in a new context, the results will be different. ... In E. Dyson (ed.) Release 1.0 number 3, New York, EDventure Holdings, pp. -
article.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-406.pdf26 Sep 2002: Each definition may involve new notation,new laws to be proved and new reasoning methods for those laws. ... P Q = X. by two new subgoals of the form P = X and Q = X.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.