Search

17 Apr 2001: The crack-equilibrium model uses an incremental solution procedure. During solution, checks are made to predict the formation of new cracks, and simple failure criteria are applied to each of the

13 Jun 2001: This involves extending the standard semantics and proof techniques of process calculi to deal with the new notions of sites and agents.

29 Mar 2001: new flow-aware' firmware for the Alteon ACEnic Gigabit Ethernet adaptor. a kernel module for Linux 2.3 allowing user-space protocols over IP to coexist with their kernel equivalents.

13 Mar 2001: Migration of applications to a new hardware platform,. Translation of code written in obsolete languages not supported by compiler tools nowadays,.

9 Nov 2001: All that happened in that little store in Waltham that is now a carpet store; the first computer store in New England, I think.

7 Dec 2001: Search. Search. Bill Gates meets the Scholars. News. Bill Gates meets the Scholars..

7 Oct 2001: A new scheme was developed for finding speaker clusters in found speech such as broadcast news. ... managing, manager, managed -> manage). This algorithm is well-established, but known to make errors both in conflation (news->new) and omission

19 Oct 2001: 25 October. Greg Houseman. (Leeds). Thin sheet models of the continental lithosphere: a new class of oscillatory solutions.

18 Sep 2001: 9 November. Andrew Curtis. (Schlumberger). New seismic techniques for lithology/fluid estimation.

13 Jun 2001: The complexity of multi-service network control coupled with the need to introduce new services quickly means that monolithic solutions are inappropriate and other solutions must be found.