We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...

Acknowledgements The order of authorship reflects the relative contribution of individuals to the writing of this article. We would like to thank the following have provided support and/or encouragement for the bat echolocation research reported herein: Charlotte Walters, Lucinda Kirkpatrick, Stuart Parsons, and Alanna Collen. This investigation depended critically on the EchoBank bat echolocat...

1311 Efficacy of a Telehealth Intervention on Colonoscopy Uptake When Cost Is a Barrier: The Family CARE Cluster Randomized Controlled Trial Laurie E. Steffen, Kenneth M. Boucher, Barbara H. Damron, Lisa M. Pappas, Scott T. Walters, Kristina G. Flores, Watcharaporn Boonyasiriwat, Sally W. Vernon, Antoinette M. Stroup, Marc D. Schwartz, Sandra L. Edwards, Wendy K. Kohlmann, Jan T. Lowery, Charle...

Spencer K, Bindra R, Nix ABJ, Heath V, Nicolaides KH. 2003. Delta-NT or NT MoM: Which is the most appropriate method for calculating accurate patient-specific risks for trisomy 21 in the firsttrimester? Ultrasound Obstet Gynaecol 22: 142–148. Wald NJ, Rodeck C, Hackshaw AK, Walters J, Chitty L, Mackinson AM. 2003. Firstand second-trimester antenatal screening for Down syndrome: the results of t...

Citation: Boucek RE, Leone E, Bickford J, Walters-Burnsed S and Lowerre-Barbieri S (2017) More Than Just a Spawning Location: Examining Fine Scale Space Use of Two Estuarine Fish Species at a Spawning Aggregation Site. Front. Mar. Sci. 4:355. doi: 10.3389/fmars.2017.00355 More Than Just a Spawning Location: Examining Fine Scale Space Use of Two Estuarine Fish Species at a Spawning Aggregation Site

We propose the notion of a correct transformation of one rewrite system into another If such a transformation is correct then the normal forms of a term in the original rewrite system can be obtained by computing the normal forms of the interpretation of this term in the transformed rewrite system We show for several transformations from the literature that they are correct most notably for the...

In this paper we study the one-sided shift operator on a state space defined by a finite alphabet. Using a scheme developed by Walters [13], we prove that the sequence of iterates of the transfer operator converges under square summability of variations of the g-function, a condition which gave uniqueness of a g-measure in [7]. We also prove uniqueness of so-called G-measures, introduced by Bro...

Tropical sprue has been described as occurring in both endemic and epidemic forms (Walters, 1947; Ayrey, 1948; Stefanini, 1948; Baker, 1957; Baker, Mathan, and Joseph, 1962). Bahr (1915) mentions 'sprue houses' where successive tenants were attacked with sprue, and records several cases occurring among members of one family. This paper presents epidemiological, clinical and laboratory data on a...

Richard E. Latchaw, MD, Chair; Mark J. Alberts, MD, FAHA; Michael H. Lev, MD, FAHA; John J. Connors, MD; Robert E. Harbaugh, MD, FAHA; Randall T. Higashida, MD, FAHA; Robert Hobson, MD, FAHA†; Chelsea S. Kidwell, MD, FAHA; Walter J. Koroshetz, MD; Vincent Mathews, MD; Pablo Villablanca, MD; Steven Warach, MD, PhD; Beverly Walters, MD; on behalf of the American Heart Association Council on Cardi...