Search
Search Funnelback University
- Refined by:
- Date: 2000
161 -
180 of
382
search results for news
Fully-matching results
-
https://www.hep.phy.cam.ac.uk/~lester/dtm662/preXml07022000/preXml/src…
https://www.hep.phy.cam.ac.uk/~lester/dtm662/preXml07022000/preXml/src/New.SCT.geo.cc7 Feb 2000: agdd::Box sol = new agdd::Box; //HGFHGFbarrelSection.addVolume(sol); sol-setName(isUpper? "sct_facingCooledUpperPart1": "sct_facingCooledLowerPart1"); //sol-setMaterial("cheese"); const double wA = isUpper? ... 0.5:-0.5)solz); facPtr-addSolidPos(pos); } { -
An AGDD “XmlFileBuilder” Christopher.Lester@cern.ch
https://www.hep.phy.cam.ac.uk/~lester/agdd/talks/AGDD_XmlFileBuilder/index.htm24 Sep 2000: An AGDD “XmlFileBuilder” Christopher.Lester@cern.ch. 24/09/00. Table of Contents. Author: Zhelezov. Email: Christopher.Lester@cern.ch. -
Topping out ceremony | University of Cambridge
https://www.cam.ac.uk/news/topping-out-ceremony1 Nov 2000: Roof is on at Computer Laboratory. The skyline of West Cambridge is quickly taking shape as the first of the new buildings, celebrated its structural completion yesterday (31 October 2000). ... The Computer Laboratory is currently housed in cramped -
Honorary Degrees | University of Cambridge
https://www.cam.ac.uk/news/honorary-degrees13 Jul 2000: Search. Search. Honorary Degrees. News. Honorary Degrees.. -
CUMIS Public Lecture | University of Cambridge
https://www.cam.ac.uk/news/cumis-public-lecture17 Nov 2000: The "Brain Opera" premiered at the Lincoln Center Festival in New York in 1996, before touring in North America, Europe and Asia. ... The final version - with an additional "Future Music Blender" - is now permanently installed in Vienna, Austria, at the -
CMI Forges Ahead | University of Cambridge
https://www.cam.ac.uk/news/cmi-forges-ahead30 Nov 2000: Search. Search. CMI Forges Ahead. News. CMI Forges Ahead.. ... The BT agreement, worth £2.5 million over five years, will enable the University of Cambridge and MIT to undertake joint research and teaching projects in new IT and Telecommunications -
Physics at Work | University of Cambridge
https://www.cam.ac.uk/news/physics-at-work8 Sep 2000: Search. Search. Physics at Work. News. Physics at Work.. -
University Sermons | University of Cambridge
https://www.cam.ac.uk/news/university-sermons14 Apr 2000: Search. Search. University Sermons. News. University Sermons.. -
https://www.hep.phy.cam.ac.uk/~lester/agdd/ageSCT.v1.cc
https://www.hep.phy.cam.ac.uk/~lester/agdd/ageSCT.v1.cc3 Aug 2000: agdd::Compos barrelCompos = new agdd::Compos(); barrelCompos-setName("sct_barrel_barrel"); barrelSection-setTopVol(barrelCompos); theAGDD-addSection(barrelSection); // Here is a Wafer. ... agdd::Box wafer = new agdd::Box; wafer-setName("sct_barrel_wafer") -
Conclusions
https://www.cl.cam.ac.uk/~afb21/publications/masters/node88.html17 Nov 2000: The second is the field of robotics, where the significance of the methods is that they provide new techniques for the type of reasoning that robots usually do. ... From either point of view, it is necessary to define some criteria by which the -
Automated Reasoning Group Old FTP Area for HOL
https://www.cl.cam.ac.uk/research/hvg/old/FTP/FTP.html17 Oct 2000: To build it you will needis the previous supported release. To build it you will need Standard ML of New Jersey version 0.93. ... Lecture Notes in Computer Science volume 780, Springer-Verlag, 1994. A New Interface for HOL - Ideas, Issues and -
Introduction
https://www.cl.cam.ac.uk/~afb21/publications/masters/node3.html17 Nov 2000: The work described draws on past research in both of these fields, and has resulted in the development of a new technique for qualitative representation of shape and space, together with ... I intend that the results presented here should be useful in -
https://www.cl.cam.ac.uk/~pes20/confer2-paris.txt
https://www.cl.cam.ac.uk/~pes20/confer2-paris.txt28 Aug 2000: A Logical Framework for the spi calculus Emilio Tuosto We provide a new LTS presentation of the spi calculus proving it equivalent to the original presentation of the calculus. ... Also, inspired by the connection between simply typed $lambda$-calculus -
Representation Issues in Qualitative Robot Reasoning
https://www.cl.cam.ac.uk/~afb21/publications/masters/node37.html17 Nov 2000: new robot reasoning systems. ... 3. Assignment of properties to groups of features. People are able to assign an abstract description to a whole set of shape features, and then make statements about the new abstraction, -
2. Formulation of the problem
www.tcm.phy.cam.ac.uk/~pdh1001/papers/paper5/node2.html11 Jul 2000: 8). When Eq. (7) is solved, a new output electron density. ... is obtained and a new input electron density for the next iteration can be constructed by a linear (or more sophisticated [18]) mixing scheme e.g. -
Speaker Clustering Using Direct Maximisation of the MLLR-Adapted…
mi.eng.cam.ac.uk/reports/full_html/johnson_icslp98.html/8 Mar 2000: Use of these new clustering schemes has been shown to improve word error rates on the Hub4 1997 broadcast news evaluation data. ... M A Siegler, U Jain, B Raj & R M Stern. Automatic Segmentation, Classification and Clustering of Broadcast News [pp. -
The Cambridge University Multimedia Document Retrieval Demo System
mi.eng.cam.ac.uk/reports/full_html/tuerk_riao00demo.html/14 Aug 2000: The system gives a word error rate of 15.9% on the 1998 Hub4 broadcast news evaluation data. ... Also a windowing system is being developed that allows automatic content dependent segmentation of news broadcasts. -
Footnotes
https://www.cl.cam.ac.uk/~afb21/publications/masters/footnode.html17 Nov 2000: A LISP atom can have any number of properties, and new properties be defined dynamically (defstructs must be explicitly defined by the programmer). -
Solution Notes -- Example Problem Set 4
https://www.cl.cam.ac.uk/teaching/2000/ContMaths/Exercises/node14.html20 Oct 2000: 1. The new Fourier Transform will be:. 2. The new Fourier Transform will be:. ... 3. The new Fourier Transform will be:. 4. The Fourier Transform. -
8. Conclusions
www.tcm.phy.cam.ac.uk/~pdh1001/papers/paper4/node8.html7 Jan 2000: 8. Conclusions. We have presented a new method for performing FFTs on parallel computers which scales to a larger number of nodes than the traditional method due to the reduced latency ... The new method automatically satsifies the demand of load
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.