Browsing by Title

Now showing items 41-60 of 4783

  • A formulation of the autoregressive HMM for speech synthesis 

    Shannon, Matt; Byrne, William (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 

    Ganesalingam, M; Gowers, William Timothy (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 

    Jiang, CR; Aston, John Alexander; Wang, JL (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 general mechanism for tuning: Gain control circuits and synapses underlie tuning of cortical neurons 

    Unknown author (2004-12-31)
    Tuning to an optimal stimulus is a widespread property of neurons in cortex. We propose that such tuning is a consequence of normalization or gain control circuits. We also present a biologically plausible neural circuitry ...

  • A generalisation of the Malgrange-Ehrenpreis theorem to find fundamental solutions to fractional PDEs 

    Baleanu, Dumitru; Fernandez, Arran (ELECTRONIC JOURNAL OF QUALITATIVE THEORY OF DIFFERENTIAL EQUATIONS, 2017)

  • A gluing operator for the ambitwistor string 

    Roehrig, KA; Skinner, David Benjamin
    We present a new operator in the ambitwistor string which glues together correlators with fewer points or of lower genus. It underpins the recursive construction of tree-level CHY scattering amplitudes by Dolan & Goddard, ...

  • A Lattice Boltzmann model for diffusion of binary gas mixtures 

    Bennett, Sam (University of CambridgeDepartment of Engineering, 2010-10-12)
    This thesis describes the development of a Lattice Boltzmann (LB) model for a binary gas mixture. Specifically, channel flow driven by a density gradient with diffusion slip occurring at the wall is studied in depth. The ...

  • A Liouville hyperbolic souvlaki 

    Carmesin, Johannes; Federici, B; Georgakopoulos, A (Institute of Mathematical StatisticsElectronic Journal of Probability, 2017-04-25)
    We construct a transient bounded-degree graph no transient subgraph of which embeds in any surface of finite genus. Moreover, we construct a transient, Liouville, bounded-degree, Gromov–hyperbolic graph with trivial ...

  • A lower bound on the positive semidefinite rank of convex bodies 

    Fawzi, Hamza; Din, Mohab Safey El
    The positive semidefinite rank of a convex body $C$ is the size of its smallest positive semidefinite formulation. We show that the positive semidefinite rank of any convex body $C$ is at least $\sqrt{\log d}$ where $d$ is ...

  • A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique 

    Unknown author (2006-05-11)
    Executing untrusted code while preserving security requires that thecode be prevented from modifying memory or executing instructionsexcept as explicitly allowed. Software-based fault isolation (SFI) or"sandboxing" enforces ...

  • A Markov Model of a Limit Order Book: Thresholds, Recurrence, and Trading Strategies 

    Kelly, Francis Patrick; Yudovina, E
    We analyze a tractable model of a limit order book on short time scales, where the dynamics are driven by stochastic fluctuations between supply and demand. We establish the existence of a limiting distribution for the ...

  • A matrix model for WZW 

    Dorey, Nicholas; Tong, David; Turner, Carl (SpringerJournal of High Energy Physics, 2016-08-01)
    We study a U($\small N$) gauged matrix quantum mechanics which, in the large $\small N$ limit, is closely related to the chiral WZW conformal field theory. This manifests itself in two ways. First, we construct the left-moving ...

  • A model for the effects of germanium on silica biomineralization in choanoflagellates 

    Marron, Alan Oliver; Chappell, Helen; Ratcliffe, Sarah; Goldstein, Raymond Ethan (Royal Society PublishingJournal of the Royal Society Interface, 2016-09-21)
    Silica biomineralization is a widespread phenomenon of major biotechnological interest. Modifying biosilica with substances like germanium (Ge) can confer useful new properties, although exposure to high levels of Ge ...

  • A model personal energy meter 

    Hay, Simon (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 ...

  • A molecular mechanism for the topographic alignment of convergent neural maps 

    Savier, E; Eglen, Stephen John; Bathélémy, A; Perraut, M; Pfrieger, FW; Lemke, G; Reber, M (eLife Sciences Publications LtdeLife, 2017-03-14)
    Sensory processing requires proper alignment of neural maps throughout the brain. In the superficial layers of the superior colliculus of the midbrain, converging projections from retinal ganglion cells and neurons in ...

  • A More General Pandora Rule? 

    Olszewski, Wojciech; Weber, Richard (ElsevierJournal of Economic Theory, 2015-11-02)
    In a model introduced by Weitzman an agent called Pandora opens boxes sequentially, in whatever order she likes, discovers prizes within, and optimally stops. Her aim is to maximize the expected value of the greatest ...

  • A multi-timescale analysis of phase transitions in precessing black-hole binaries 

    Gerosa, Davide; Kesden, Michael; Sperhake, Ulrich; Berti, Emanuele; O'Shaughnessy, Richard (APSPhysical Review D, 2015-09-14)
    The dynamics of precessing binary black holes (BBHs) in the post-Newtonian regime has a strong timescale hierarchy: the orbital timescale is very short compared to the spin-precession timescale which, in turn, is much ...

  • A new biologically motivated framework for robust object recognition 

    Unknown author (2004-11-14)
    In this paper, we introduce a novel set of features for robust object recognition, which exhibits outstanding performances on a variety ofobject categories while being capable of learning from only a fewtraining examples. ...

  • A new class of de Sitter vacua in type IIB large volume compactifications 

    Gallego, Diego; Marsh, Carl Marc; Vercnocke, Bert; Wrase, Timm (JOURNAL OF HIGH ENERGY PHYSICS, 2017-10-26)

  • A new method for isolating turbulent states in transitional stratified plane Couette flow 

    Taylor, John Ryan; Deusebio, E; Caulfield, Colm-cille Patrick; Kerswell, Richard Rodney (Cambridge University PressJournal of Fluid Mechanics, 2016-10-26)
    We present a new adaptive control strategy to isolate and stabilize turbulent states in transitional, stably stratified plane Couette flow in which the gravitational acceleration (non-dimensionalized as the bulk Richardson ...