Search
Search Funnelback University
- Refined by:
- Date: 2002
301 -
350 of
596
search results for news
Fully-matching results
-
Parallel systems in symbolic and algebraic computation
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-537.pdf2 Aug 2002: symbolic computation software development is lagging behind newhardware technology. in the use of new architectures, including super-computers.”. ... The benefits of developing parallel implementations should therefore outweighthe simple solution of -
Quick Start Guide for ARM tools (SDT 2
https://www.cl.cam.ac.uk/teaching/2002/CompDesig/QuickStart.pdf4 Nov 2002: launch the project manager OPTIONS->DIRECTORIES Enter paths for bin and lib directories Create a new folder ‘myproject’ to hold your files PROJECT->NEW Select your ‘myproject’ directory Enter ‘simple’ as ... OPTIONS->DIRECTORIES. PROJECT->NEW. -
Software Engineering IIComputer Science Tripos Part 1a (50% Option)…
https://www.cl.cam.ac.uk/teaching/2001/SWEng2/notes.pdf28 Aug 2002: When a new version of that function is installed, calls to it fail. ... you use an interactive debugger to step through every line of new code. -
jcs.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-443.pdf26 Sep 2002: The spy can learn nothing new byseeing X again when B responds to this message. ... Its forwarding lemmastates that this act does not add new keys to parts(spies evs). -
Real World Patterns of Failure in Anonymity Systems
https://www.cl.cam.ac.uk/~mgk25/ih01-anonymity.pdf8 Jun 2002: This type of cookie-stealing attack is not entirely new. Similar schemes,though perhaps of more complexity, are described in news reports [10], whichhighlight that perhaps half of all commercial services ... http://www.privada.com/news/maintained.html -
MilnerFeschrift.dvi
https://www.cl.cam.ac.uk/archive/mjcg/papers/HolHistory.pdf19 Jun 2002: 1University of Cambridge Computer Laboratory, New Museums Site, Pembroke Street,Cambridge CB2 3QG, U.K. ... The resulting new LCF system was named“Cambridge LCF” and completed around 1985. -
Compiler Construction supplementary notes for Lent Term 2002 A ...
https://www.cl.cam.ac.uk/teaching/2001/CompConstr/CompConstr0102aux.pdf31 Jan 2002: return new Symbol(sym.LPAREN); }")" { return new Symbol(sym.RPAREN); }[0-9] { return new Symbol(sym.NUMBER,. ... import java_cup.runtime.;. parser code{:public static void main(String args[]). throws Exception{. new parser(new Yylex(System.in)).parse();}: -
TR130.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-130.pdf26 Sep 2002: object-level rule proof state. new proof state. 13. Full resolution involves unification. ... z. [[G(z) H(z)]]. Resolution against a quantified goal requires a new. -
27th November 2002 Finding 1rnc1…
https://www.cl.cam.ac.uk/~rnc1/notes/AT02_finding.pdf17 Nov 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. -
report.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-163.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. -
Foundations of ComputerScience Computer Science Tripos Part 1a…
https://www.cl.cam.ac.uk/teaching/2002/FoundsCS/slides.pdf13 Sep 2002: Any differences between the oldand new processors should be invisible to the program. ... Its meaning within area will persist even if we issue a new valdeclaration for pi afterwards. -
Software Engineering IIComputer Science Tripos Part 1a (50% Option)…
https://www.cl.cam.ac.uk/teaching/2002/SWEng2/slides.pdf19 Sep 2002: When a new version of that function is installed, calls to it fail. ... you use an interactive debugger to step through every line of new code. -
THE PRESSURE OF RICCI CURVATURE GABRIEL P. PATERNAIN AND ...
https://www.dpmms.cam.ac.uk/~gpp24/hvsc.pdf9 Sep 2002: 898 (1981) 243–249. [8] R. Osserman, P. Sarnak, A new curvature invariant and entropy of geodesic flows, Invent. ... Soc. Brasil. Mat. 9 (1978)83–87. [11] P. Walters, An introduction to ergodic theory, Graduate Texts in Mathematics, -
prob11.dvi
https://www.cl.cam.ac.uk/teaching/2002/Probability/prob11.pdf21 Oct 2002: Integration by Substitution of a new Variable. Imagine that a newcomer to integration comes across the following:. ... The previous section informally leads to the general formula for integration by substitutionof a new variable:. -
complangs.dvi
https://www.cl.cam.ac.uk/teaching/2002/CompProgLangs/complangs.pdf4 Dec 2002: BEGIN arrtime := <time of next arrival>;. hold(arrtime);. NEW customer(<initial value of tasks>,. ... Morphic-Window -- Class categories. Graphics-3D. 9.5. DECLARING A NEW CLASS 43. -
What is ‘‘Object-Oriented Programming’’? (1991 revised version)…
https://www.cl.cam.ac.uk/teaching/2002/CompProgLangs/bjarne.pdf4 Dec 2002: Modifying existing code should beavoided as far as possible when adding new facilities to a system. ... cs.push(new Saab37B);. cs.pop()->takeoff(); // fine: a Saab 37B is a planecs.pop()->takeoff();. -
What is ‘‘Object-Oriented Programming’’? (1991 revised version)…
https://www.cl.cam.ac.uk/teaching/2001/CompProgLangs/bjarne.pdf4 Dec 2002: Modifying existing code should beavoided as far as possible when adding new facilities to a system. ... cs.push(new Saab37B);. cs.pop()->takeoff(); // fine: a Saab 37B is a planecs.pop()->takeoff();. -
What is ‘‘Object-Oriented Programming’’? (1991 revised version)…
https://www.cl.cam.ac.uk/teaching/2000/CompProgLangs/bjarne.pdf4 Dec 2002: Modifying existing code should beavoided as far as possible when adding new facilities to a system. ... cs.push(new Saab37B);. cs.pop()->takeoff(); // fine: a Saab 37B is a planecs.pop()->takeoff();. -
yahalom.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-432.pdf26 Sep 2002: our Nb.The message 3 case concerns a new server message containing nonces Na′. ... Calling the specialized tacticnot_bad_tac performs this reasoning, adding a new assumption at the end. [| -
Miscellania Lecture objectives Broader Considerations for real-time…
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/misc.ppt19 Nov 2002: If we add new services in the IP layer, how will they affect this scaling? ... new label assigned. packet forwarded with new label. Saves on conventional look-up at layer 3. -
Resource control in network elements
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-534.pdf10 Apr 2002: build-time: it does not support the dynamic loading of new code modules. ... Its typesystem is fixed, and new types cannot be added at run-time. -
Complex quantifier elimination in HOL John Harrison Intel…
https://www.cl.cam.ac.uk/~jrh13/papers/complex.pdf2 May 2002: If these are not join-able by more rewrites, thenm1 m2 = 0 is itself converted into a new rewrite rule,usually itself generating additional critical pairs, and the process continues. ... A new decision method for elementary algebra.Annals of -
Video Augmented Environments
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-419.pdf6 Apr 2002: to thebackground, and where the background has been obscured by theobject’s new position. ... When a new frame arrives, each pixel of the ‘average’ frame isrecalculated as:. -
misc
https://www.cl.cam.ac.uk/teaching/2002/DigiComm2/misc.pdf18 Sep 2002: If we add new services in the IP layer, how will they affect this scaling? ... payment for qos - see next). Each new QoS component needs a management information base. -
Automatic summarising and the clasp system Richard Tucker PhD ...
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-484.pdf26 Sep 2002: 1. 2. abstract. This dissertation discusses summarisers and summarising in general, andpresents a new summarising system, clasp. ... 3 evaluating summarisers 49. 4 a new summarising system 63. 5 analysis in clasp 87. -
Channel Islands -joining the dotsbetween contentdistribution &…
https://www.cl.cam.ac.uk/~jac22/talks/net2k-ci.pdf17 May 2002: News/Bboard/Mail lists. NNTP is a natural for multicast - in fact this hasbeen noted (c.f. ... For example:. Net News We say we want to read article 27, onbboard alt.foo. -
Different applications of two-dimensional potential fields for volume …
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-541.pdf29 Aug 2002: We present new methods to extendthe freedom and controllability of implicit volume modeling. ... f1 and f2 and create the profile G to generate the new object. -
Towards a Field Theory for Networks Jon CrowcroftUniversity of ...
https://www.cl.cam.ac.uk/~jac22/out/fields.pdf13 Oct 2002: multi-metric multi-path routing schemes etc etc)we want to retain the new model of “networks” - one that captures the dynamics, butis sufficiently simple to be useful. ... 9] “Linked:- The New Science of Networks”, Albert-Lszl Barabsi,Perseus -
The leap second: its history and possible future
https://www.cl.cam.ac.uk/~mgk25/time/metrologia-leapsecond.pdf5 Apr 2002: This measureof time has been succeeded by several new time scalesthat are consistent with the general theory of relativity. ... 7/1, was formed toinvestigate requirements, submit proposals, and x adate for the introduction of the new system. -
A machine-checked theory of floating pointarithmetic John Harrison…
https://www.cl.cam.ac.uk/~jrh13/papers/fparith.pdf2 May 2002: ANSI/IEEE Standard 754-1985, The Institute of Electrical and Electronic Engineers, Inc., 345 East 47thStreet, New York, NY 10017, USA, 1985. ... 17. S. Story and P. T. P. Tang. New algorithms for improved transcendental functionson IA-64. -
TR-jf10008-co-induction-in-sabe
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-359.pdf26 Sep 2002: The section on the formalisation in ZF is new and the conclusionis changed to reflect the extra information obtained. ... Formalising the new correspondence relation is similar to formalising the in-ference systems and just as time consuming. -
6. Quality, maintenance and documentation
https://www.cl.cam.ac.uk/teaching/2001/Business/Bl6.ppt20 Mar 2002: Everett Rogers “The Diffusion of Innovation”. 80% of new product failures are due to new customer acceptance. -
TR441.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-441.pdf26 Sep 2002: This paper describes a new tableau prover and its integra-tion with Isabelle. ... the branch. We now have the ingredients of disaster, because the new goalt? -
chapter.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-396.pdf26 Sep 2002: Most proof checkers provide a separate commandfor each rule; adding new rules often involves programming. ... The quanti-fied formula xφ augments the branch with a new instance of φ. -
Semi-productive polysemy and sense extensionAnn Copestake (University …
https://www.cl.cam.ac.uk/~aac10/papers/jsem.pdf8 Jun 2002: In our new definition, parts of FSs may be defeasible;this is a necessary condition for default unification to be associative. -
The HOL Light manual (1.1) John Harrison University of ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/manual-1.1.pdf14 Aug 2002: i. ii. Preface. HOL Light is a relatively new version of the HOL theorem prover (Gordon andMelham 1993). ... C allows some limited manipulation offunctions via pointers, but does not allow one to create new functions dynamically.FORTRAN does not even -
recur.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-418.pdf26 Sep 2002: Each time, new compo-nents are added to the message and a new message digest is prefixed. ... One then proves that an old, compromised session key cannotlater become associated with new nonces [10]. -
TR143.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-143.pdf26 Sep 2002: The family is evolving:new members are born, others develop and mature, and some disappear. ... The new meta-logic requires no special mechanism for eigenvariables (Paulson, 1989).The quantifier. -
Formal verification of IA-64 division algorithms John Harrison Intel…
https://www.cl.cam.ac.uk/~jrh13/papers/hol00.pdf2 May 2002: Another situation where the new theorems allow us to justify faster algorithms isextended precision division. ... However, using the new theorems, we can justify the following, which is faster byonefma latency. -
article.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-421.pdf27 Sep 2002: finished. Cholera’s treatment oflvalues also requires two new forms. These are Λ and R. ... All of these new formswill be explained further when the rules that use them are discussed. -
Preface This book is for people who have done ...
https://www.cl.cam.ac.uk/teaching/2001/PrologAI/cae1.pdf6 Mar 2002: We simply recur on the tail of the input list, with the new value of the accumulator. ... sqlist([], []).sqlist([X|T], [Y|L]) :- Y is X X, sqlist(T, L). Using mapping we are creating a new list where each member of the new list is a transformed. -
static_alloc.dvi
https://www.cl.cam.ac.uk/~am21/papers/hicss_2003.pdf1 Oct 2002: The approach we have takenhere is to support streams of data as a new data type, ex-tending the language. ... Ifthe loop is unbounded, some form of back-pressure will berequired to prevent new requests until the loop has finished. -
Microsoft PowerPoint - SoftwareEngDesign-1-0
https://www.cl.cam.ac.uk/teaching/2002/SWEngDes/SoftwareEngDesign.pdf25 Oct 2002: automatic vehicle location system added! proviso of packaged solution forgotten! new IS director hired! ... many (>50) hacked upgrades and new methods! The battlefield:! books, CASE tools, training! -
PII: S0028-3932(01)00155-5
www.memlab.psychol.cam.ac.uk/pubs/Nestor2002%20Neuropsygia.pdf14 Jan 2002: More specifically, the hippocampalcomplex helps bind together activated neocortical com-ponents of a recently experienced event and is, there-fore, initially critical for the retrieval of new memories.Over time, repeated ... The patients in the early -
thesis.dvi
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-272.pdf26 Sep 2002: Gordon’s formulation [20] of Church’s higher-order logic [9] allows the constructionof new data types [42]. ... the theory as an open system to which axiomatisations of new typesmay be added [3]. -
27th February 2002 Traceability 1rnc1@cl.cam.ac.uk…
https://www.cl.cam.ac.uk/~rnc1/talks/020227-Traceability.pdf27 Feb 2002: X-Trace: news.demon.co.uk 1009967118 nnrp-07:19862 NO-IDENT happyday.demon.co.uk:158.152.30.53. ... For some news servers, eventhese can be suspect! The X-Trace line is usually the most reliable header. -
An Attack on A Traitor Tracing Scheme Jeff Jianxin ...
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-518.pdf26 Sep 2002: The pirate may reuse original. traitors’ keys, or use new keys generated out of them. ... can construct a valid new key is by taking a convex combination of known keys. -
coind.tex
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-304.pdf26 Sep 2002: Isabelle auto-matically declares the new type; its abstraction and representation functions receivenames of the form Abs X and Rep X. ... A new principle, called corecursion, defines certain infinite lists; coinduction provesthat these lists belong to -
Subcategorization acquisition
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-530.pdf6 Apr 2002: 97. 4.4 Summary. 100. 5 A New Approach to Hypothesis Selection 101. ... 171. B.2 Unclassified test verbs II. 172. C.1 Examples of new alternations. -
GEMMELL LAYOUT
https://www.cl.cam.ac.uk/~jac22/out/msr-pgm.pdf11 Dec 2002: For disk imaging, it can be more effi-cient to carry on with new data, rather than slowing down fora few slow receivers, who can fetch the missing data later viastandard ... SPMs also serve other purposes,some of which we will discuss below (e.g., they
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.