Search
Now showing items 81-90 of 206
Second-order algebraic theories
(University of CambridgeFaculty of Computer Science and Technology, 2011-11-08)
Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work
completes ...
Autoregressive clustering for HMM speech synthesis
(ISCA (International Speech Communication Association)Proceedings of the 11th Annual Conference of the International Speech CommunicationProceedings of the 11th Annual Conference of the International Speech Communication, 2011)
The autoregressive HMM has been shown to provide efficient parameter estimation and high-quality synthesis, but in previous experiments decision trees derived from a non-autoregressive system were used.
In this paper we ...
Thin-walled composite deployable booms with tape-spring hinges
(University of CambridgeDepartment of EngineeringWolfson College, 2011-07-12)
Deployable structures made from ultra-thin composite materials can
be folded elastically and are able to self-deploy by releasing the
stored strain energy. Their lightness, low cost due to smaller
number of components, ...
Acoustics and manufacture of Caribbean steelpans
(University of CambridgeDepartment of EngineeringWolfson CollegeInstitute for Manufacturing, 2011-03-15)
The Caribbean steelpan is a pitched percussion instrument that originated in Trinidad and Tobago
during the Second World War. Despite several research initiatives to improve the making of this
relatively new instrument, ...
Social network support for data delivery infrastructures
(University of CambridgeFaculty of Computer Science and TechnologyComputer Laboratory, 2011-10-11)
Network infrastructures often need to stage content so that it is accessible to consumers. The standard solution, deploying the content on a centralised server, can be inadequate in several situations.
Our thesis is ...
The role and contribution of the Chief Technology Officer
(University of CambridgeDepartment of EngineeringIfM Centre for Technology ManagementDarwin College, 2011-10-11)
The Role and Contribution of the Chief Technology Officer
The role of the Chief Technology Officer (CTO) came about because of new organisational demands on technology leaders in the 1980s. The initial research objective ...
Software lock elision for x86 machine code
(University of CambridgeFaculty of Computer Science and TechnologyComputer Laboratory, 2011-07-12)
More than a decade after becoming a topic of intense research there is no
transactional memory hardware nor any examples of software transactional memory
use outside the research community. Using software transactional ...
Vibration from underground railways: considering piled foundations and twin tunnels
(University of CambridgeDepartment of Engineering, 2011-02-08)
Accurate predictions of ground-borne vibration levels in the vicinity of an underground railway are greatly sought after in modern urban centers. Yet the complexity involved in simulating the underground environment means ...
A model personal energy meter
(University of CambridgeFaculty of Computer Science and TechnologyComputer Laboratory, 2011-10-11)
Every day each of us consumes a significant amount of energy, both directly through transport, heating and use of appliances, and indirectly from our needs for the production of food, manufacture of goods and provision of ...
Generalised Bayesian matrix factorisation models
(University of CambridgeDepartment of EngineeringSt John's College, 2011-03-15)
Factor analysis and related models for probabilistic matrix factorisation are of central importance to the unsupervised analysis of data, with a colourful history more than a century long. Probabilistic models for matrix ...