Browsing Cambridge University by Title
Now showing items 1-20 of 1268
-
3-manifolds everywhere
A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This ...
-
60th anniversary programme
(2008-07-29)Programme for the presentations given at the 60th anniversary
-
A $C^0$ discontinuous Galerkin formulation for thin shells
(2007)This paper presents a C 0 discontinuous Galerkin formulation for the simulation of thin shells. The method is based on Koiter’s shell model and allows finite element solutions to be obtained by using standard $C^0$ Lagrange ...
-
A 2-adic automorphy lifting theorem for unitary groups over CM fields
(SpringerMathematische Zeitschrift, 2016)We prove a ‘minimal’ type automorphy lifting theorem for 2-adic Galois representations of unitary type, over imaginary CM fields. We use this to improve an automorphy lifting theorem of Kisin for GL_2.
-
A 3-manifold group which is not four dimensional linear
(ElsevierJournal of Pure and Applied Algebra, 2014-01-28)We give examples of closed orientable graph 3-manifolds having a fundamental group which is not a subgroup of GL(4, F) for any field F. This answers a question in the Kirby problem list from 1977 which is credited to the ...
-
A biosynthetic approach to the discovery of novel bioactive peptides
(University of CambridgeDepartment of Chemical Engineering and Biotechnology, 2012-05-08)Peptides represent a source of novel therapeutics for recalcitrant human diseases, but screening for bioactivity from natural or synthetic sources can be uneconomic. In contrast, in vivo expression of peptides from DNA ...
-
A combined experimental-numerical study to tensile behaviour of limestone
(Proceedings of the 3rd International Conference on Emerging Technologies in Non Destructive TestingProceedings of the 3rd International Conference on Emerging Technologies in Non Destructive Testing, 2003-01-01)In this paper, a combined experimental-computational study of double-edge notched stone specimen subject to cyclic tensile loading is presented. In the experimental part, the load-deformation response and the local ...
-
A comparative perspective on the evolution of Romance clausal structure
(John Benjamins PublishingDiachronica, 2016-12-19)This article presents a comparative analysis of the diachronic evolution of Romance clausal structure from Classical Latin through to the late medieval period, with particular reference to the Verb Second (V2) property. ...
-
A comparison and user-based evaluation of models of textual information structure in the context of cancer risk assessment
(2011-03-08)Abstract Background Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the study in question. Several schemes ...
-
A comparison of computational methods for detecting bursts in neuronal spike trains and their application to human stem cell-derived neuronal networks
(American Physiological SocietyJournal of Neurophysiology, 2016-04-20)Accurate identification of bursting activity is an essential element in the characterization of neuronal network activity. Despite this, no one technique for identifying bursts in spike trains has been widely adopted. ...
-
A continuous/discontinuous Galerkin formulation for a strain gradient-dependent damage model
(4th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS)4th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS), 2004)The numerical solution of strain gradient-dependent continuum problems has been hindered by continuity demands on the basis functions. The presence of terms in constitutive models that involve gradients of the strain field ...
-
A continuous/discontinuous Galerkin formulation for a strain gradient-dependent damage model: 2D results
(Proceedings of the 6th World Congress on Computational Mechanics in Conjunction with theputational Mechanics 2nd Asian-Pacific Congress on Computational MechanicsProceedings of the 6th World Congress on Computational Mechanics in Conjunction with theputational Mechanics 2nd Asian-Pacific Congress on Computational Mechanics, 2004)The numerical solution of strain gradient-dependent continuum problems has been hindered by continuity demands on the basis functions. The presence of terms in constitutive models which involve gradients of the strain eld ...
-
A Counter Example to Cercignani’s Conjecture for the d Dimensional Kac Model
(SpringerJournal of Statistical Physics, 2012-08-21)Kac’s d dimensional model gives a linear, many particle, binary collision model from which, under suitable conditions, the celebrated Boltzmann equation, in its spatially homogeneous form, arise as a mean field limit. The ...
-
A cybernetic perspective on methods and process models in collaborative designing
(2012-05)Cybernetic thinking provides a framework to understand the issues in creating and using methods and process models during collaborative designing. It can help understand what takes place while the creation and use is ...
-
A Data-Driven Feature Extraction Method for Enhanced Phonocardiogram Segmentation
In this work, we present a method to extract features from heart sound signals in order to enhance segmentation performance. The approach is data-driven, since the way features are extracted from the recorded signals is ...
-
A finite dimensional approach to Donaldson's J-flow
Consider a projective manifold with two distinct polarisations $L_1$ and $L_2$. From this data, Donaldson has defined a natural flow on the space of Kähler metrics in $c_1$($L_1$), called the J-flow. The existence of a ...
-
A formulation of the autoregressive HMM for speech synthesis
(Department of Engineering, University of Cambridge, 2009-08-31)We present a formulation of the autoregressive HMM for speech synthesis and compare it to the standard HMM synthesis framework and the trajectory HMM. We give details of how to do efficient parameter estimation and synthesis ...
-
A Fully Automatic Theorem Prover with Human-Style Output
(SpringerJournal of Automated Reasoning, 2016-06-11)This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.
-
A Functional Approach to Deconvolve Dynamic Neuroimaging Data
(Taylor & FrancisJournal of the American Statistical Association, 2015-11-20)Positron Emission Tomography (PET) is an imaging technique which can be used to investigate chemical changes in human biological processes such as cancer development or neurochemical reactions. Most dynamic PET scans are ...
-
A generalisation of the Malgrange-Ehrenpreis theorem to find fundamental solutions to fractional PDEs
(ELECTRONIC JOURNAL OF QUALITATIVE THEORY OF DIFFERENTIAL EQUATIONS, 2017)