Background. The instantaneous pressure gradient between the left ventricle and left atrium during systole can be calculated from the mitral regurgitation Doppler velocity curve. The purpose of our study was to determine the accuracy of measuring the time constant of relaxation (TAU) derived from the Doppler mitral regurgitation signal by comparing it with simultaneous high-fidelity left ventric...

We study a family of coalescent processes that undergo “simultaneous multiple collisions,” meaning that many clusters of particles can merge into a single cluster at one time, and many such mergers can occur simultaneously. This family of processes, which we obtain from simple assumptions about the rates of different types of mergers, essentially coincides with a family of processes that Möhle ...

Simultaneous ground-based observations of O3, HCl, N2O, and CH4 over Toronto, Canada by three Fourier transform spectrometers with different resolutions D. Wunch, J. R. Taylor, D. Fu, P. Bernath, J. R. Drummond, C. Midwinter, K. Strong, and K. A. Walker Department of Physics, University of Toronto, Toronto, ON, M5S 1A7, Canada Department of Chemistry, University of Waterloo, Waterloo, ON, N2L 3...

Yices is an SMT solver developed by SRI International. The first version of Yices was released in 2006 and has been continuously updated since then. In 2007, we started a complete re-implementation of the solver to improve performance and increase modularity and flexibility. We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms...

We show that every n-vertex planar graph admits a simultaneous embedding without mapping and with fixed edges with any (n/2)vertex planar graph. In order to achieve this result, we prove that every n-vertex plane graph has an induced outerplane subgraph containing at least n/2 vertices. Also, we show that every n-vertex planar graph and every n-vertex planar partial 3-tree admit a simultaneous ...

We prove the first fundamental theorem of invariant theory for the action of the special orthogonal group on m tuples of matrices by simultaneous conjugation. A basic relation between polynomial invariants is also studied.

There is no question that the last decade has been a remarkable success story for SMT. Yet, many challenges remain that are obstacles to unlocking the full potential of this technology. In this talk, I will take a look at what has brought SMT to this point, including some notable success stories. Then I will discuss some of the remaining challenges, both technical and non-technical, and suggest...

This paper describes an automated postediting submission to the DiscoMT 2015 shared task on pronoun translation. Postediting is achieved by applying pronounspecific rules to the output of an Englishto-French phrase-based SMT system.