16 results
Somatic multicomorbidity and disability in patients with psychiatric disorders in comparison to the general population: a quasi-epidemiological investigation in 54,826 subjects from 40 countries (COMET-G study)
- Konstantinos N. Fountoulakis, Grigorios N. Karakatsoulis, Seri Abraham, Kristina Adorjan, Helal Uddin Ahmed, Renato D. Alarcón, Kiyomi Arai, Sani Salihu Auwal, Michael Berk, Sarah Bjedov, Julio Bobes, Teresa Bobes-Bascaran, Julie Bourgin-Duchesnay, Cristina Ana Bredicean, Laurynas Bukelskis, Akaki Burkadze, Indira Indiana Cabrera Abud, Ruby Castilla-Puentes, Marcelo Cetkovich, Hector Colon-Rivera, Ricardo Corral, Carla Cortez-Vergara, Piirika Crepin, Domenico De Berardis, Sergio Zamora Delgado, David De Lucena, Avinash De Sousa, Ramona Di Stefano, Seetal Dodd, Livia Priyanka Elek, Anna Elissa, Berta Erdelyi-Hamza, Gamze Erzin, Martin J. Etchevers, Peter Falkai, Adriana Farcas, Ilya Fedotov, Viktoriia Filatova, Nikolaos K. Fountoulakis, Iryna Frankova, Francesco Franza, Pedro Frias, Tatiana Galako, Cristian J. Garay, Leticia Garcia-Álvarez, Maria Paz García-Portilla, Xenia Gonda, Tomasz M. Gondek, Daniela Morera González, Hilary Gould, Paolo Grandinetti, Arturo Grau, Violeta Groudeva, Michal Hagin, Takayuki Harada, Tasdik M. Hasan, Nurul Azreen Hashim, Jan Hilbig, Sahadat Hossain, Rossitza Iakimova, Mona Ibrahim, Felicia Iftene, Yulia Ignatenko, Matias Irarrazaval, Zaliha Ismail, Jamila Ismayilova, Asaf Jakobs, Miro Jakovljević, Nenad Jakšić, Afzal Javed, Helin Yilmaz Kafali, Sagar Karia, Olga Kazakova, Doaa Khalifa, Olena Khaustova, Steve Koh, Svetlana Kopishinskaia, Korneliia Kosenko, Sotirios A. Koupidis, Illes Kovacs, Barbara Kulig, Alisha Lalljee, Justine Liewig, Abdul Majid, Evgeniia Malashonkova, Khamelia Malik, Najma Iqbal Malik, Gulay Mammadzada, Bilvesh Mandalia, Donatella Marazziti, Darko Marčinko, Stephanie Martinez, Eimantas Matiekus, Gabriela Mejia, Roha Saeed Memon, Xarah Elenne Meza Martínez, Dalia Mickevičiūtė, Roumen Milev, Muftau Mohammed, Alejandro Molina-López, Petr Morozov, Nuru Suleiman Muhammad, Filip Mustač, Mika S. Naor, Amira Nassieb, Alvydas Navickas, Tarek Okasha, Milena Pandova, Anca-Livia Panfil, Liliya Panteleeva, Ion Papava, Mikaella E. Patsali, Alexey Pavlichenko, Bojana Pejuskovic, Mariana Pinto Da Costa, Mikhail Popkov, Dina Popovic, Nor Jannah Nasution Raduan, Francisca Vargas Ramírez, Elmars Rancans, Salmi Razali, Federico Rebok, Anna Rewekant, Elena Ninoska Reyes Flores, María Teresa Rivera-Encinas, Pilar Saiz, Manuel Sánchez de Carmona, David Saucedo Martínez, Jo Anne Saw, Görkem Saygili, Patricia Schneidereit, Bhumika Shah, Tomohiro Shirasaka, Ketevan Silagadze, Satti Sitanggang, Oleg Skugarevsky, Anna Spikina, Sridevi Sira Mahalingappa, Maria Stoyanova, Anna Szczegielniak, Simona Claudia Tamasan, Giuseppe Tavormina, Maurilio Giuseppe Maria Tavormina, Pavlos N. Theodorakis, Mauricio Tohen, Eva Maria Tsapakis, Dina Tukhvatullina, Irfan Ullah, Ratnaraj Vaidya, Johann M. Vega-Dienstmaier, Jelena Vrublevska, Olivera Vukovic, Olga Vysotska, Natalia Widiasih, Anna Yashikhina, Panagiotis E. Prezerakos, Daria Smirnova
-
- Journal:
- CNS Spectrums / Volume 29 / Issue 2 / April 2024
- Published online by Cambridge University Press:
- 25 January 2024, pp. 126-149
-
- Article
-
- You have access Access
- HTML
- Export citation
-
Background
The prevalence of medical illnesses is high among patients with psychiatric disorders. The current study aimed to investigate multi-comorbidity in patients with psychiatric disorders in comparison to the general population. Secondary aims were to investigate factors associated with metabolic syndrome and treatment appropriateness of mental disorders.
MethodsThe sample included 54,826 subjects (64.73% females; 34.15% males; 1.11% nonbinary gender) from 40 countries (COMET-G study). The analysis was based on the registration of previous history that could serve as a fair approximation for the lifetime prevalence of various medical conditions.
ResultsAbout 24.5% reported a history of somatic and 26.14% of mental disorders. Mental disorders were by far the most prevalent group of medical conditions. Comorbidity of any somatic with any mental disorder was reported by 8.21%. One-third to almost two-thirds of somatic patients were also suffering from a mental disorder depending on the severity and multicomorbidity. Bipolar and psychotic patients and to a lesser extent depressives, manifested an earlier (15–20 years) manifestation of somatic multicomorbidity, severe disability, and probably earlier death. The overwhelming majority of patients with mental disorders were not receiving treatment or were being treated in a way that was not recommended. Antipsychotics and antidepressants were not related to the development of metabolic syndrome.
ConclusionsThe finding that one-third to almost two-thirds of somatic patients also suffered from a mental disorder strongly suggests that psychiatry is the field with the most trans-specialty and interdisciplinary value and application points to the importance of teaching psychiatry and mental health in medical schools and also to the need for more technocratically oriented training of psychiatric residents.
Social Isolation of Older Adults Living in a Neighbourhood of Montreal: A Qualitative Descriptive Study of the Perspectives of Older Adults and Community Stakeholders
- Roxane DeBroux Leduc, Nathalie Bier, Mélanie Couture, Ana Inès Ansaldo, Sylvie Belleville, Nouha Ben Gaied, Sophie Chesneau, Patricia Belchior, Raquel Fonseca, Shannon Hebblethwaite, Gonia Jarema, Adriana Lacerda, Jacqueline Rousseau, Cécile Van De Velde, Johanne Filiatrault
-
- Journal:
- Canadian Journal on Aging / La Revue canadienne du vieillissement / Volume 42 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 27 February 2023, pp. 434-445
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
The purpose of this study was to describe the social isolation of older adults in the Côte-des-Neiges neighbourhood (Montreal, Canada) from the perspectives of older adults and community stakeholders. To do so, a descriptive qualitative study was conducted, involving community-dwelling older adults and a variety of key stakeholders from the neighbourhood. Seven focus groups were held, with a total of 37 participants. Focus group transcripts were analyzed using the approach of Miles, Huberman, and Saldaña. Participants reported that social isolation of older adults is characterized by gaps in social interactions (scarcity of social interactions, lack of social support, and unsatisfying relationships) as well as by low social participation that can be depicted in three ways: (1) exclusion by society, (2) self-restriction of participation, and (3) low eagerness to socialize. This study highlights that there is a diversity in how social isolation of older adults manifests itself. It can be the result of a deliberate choice (or not), as well as being desired (or not). These aspects of the phenomenon of social isolation of older adults are still not well described. However, they offer relevant avenues for rethinking approaches to intervention development.
Comparison of Predictors and Mortality Between Bloodstream Infections Caused by ESBL-Producing Escherichia coli and ESBL-Producing Klebsiella pneumoniae
- Oded Scheuerman, Vered Schechner, Yehuda Carmeli, Belen Gutiérrez-Gutiérrez, Esther Calbo, Benito Almirante, Pier-Luigy Viale, Antonio Oliver, Patricia Ruiz-Garbajosa, Oriol Gasch, Monica Gozalo, Johann Pitout, Murat Akova, Carmen Peña, Jose Molina, Alicia Hernández-Torres, Mario Venditti, Nuria Prim, Julia Origüen, German Bou, Evelina Tacconelli, Maria Tumbarello, Axel Hamprecht, Ilias Karaiskos, Cristina de la Calle, Federico Pérez, Mitchell J. Schwaber, Joaquin Bermejo, Warren Lowman, Po-Ren Hsueh, Carolina Navarro-San Francisco, Robert A. Bonomo, David L. Paterson, Alvaro Pascual, Jesus Rodríguez-Baño, the REIPI/ESGBIS/INCREMENT investigators
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 39 / Issue 6 / June 2018
- Published online by Cambridge University Press:
- 05 April 2018, pp. 660-667
- Print publication:
- June 2018
-
- Article
- Export citation
-
OBJECTIVE
To compare the epidemiology, clinical characteristics, and mortality of patients with bloodstream infections (BSI) caused by extended-spectrum β-lactamase (ESBL)-producing Escherichia coli (ESBL-EC) versus ESBL-producing Klebsiella pneumoniae (ESBL-KP) and to examine the differences in clinical characteristics and outcome between BSIs caused by isolates with CTX-M versus other ESBL genotypes
METHODSAs part of the INCREMENT project, 33 tertiary hospitals in 12 countries retrospectively collected data on adult patients diagnosed with ESBL-EC BSI or ESBL-KP BSI between 2004 and 2013. Risk factors for ESBL-EC versus ESBL-KP BSI and for 30-day mortality were examined by bivariate analysis followed by multivariable logistic regression.
RESULTSThe study included 909 patients: 687 with ESBL-EC BSI and 222 with ESBL-KP BSI. ESBL genotype by polymerase chain reaction amplification of 286 isolates was available. ESBL-KP BSI was associated with intensive care unit admission, cardiovascular and neurological comorbidities, length of stay to bacteremia >14 days from admission, and a nonurinary source. Overall, 30-day mortality was significantly higher in patients with ESBL-KP BSI than ESBL-EC BSI (33.7% vs 17.4%; odds ratio, 1.64; P=.016). CTX-M was the most prevalent ESBL subtype identified (218 of 286 polymerase chain reaction-tested isolates, 76%). No differences in clinical characteristics or in mortality between CTX-M and non–CTX-M ESBLs were detected.
CONCLUSIONSClinical characteristics and risk of mortality differ significantly between ESBL-EC and ESBL-KP BSI. Therefore, all ESBL-producing Enterobacteriaceae should not be considered a homogeneous group. No differences in outcomes between genotypes were detected.
CLINICAL TRIALS IDENTIFIERClinicalTrials.gov. Identifier: NCT01764490.
Infect Control Hosp Epidemiol 2018;39:660–667
VP190 A Review Of Best Practices In Five Mental Disorders In Youth
- Ionela Gheorghiu, Alain Lesage, Leila Ben Amor, Patricia Conrod, Marie-Claude Geoffroy, Janusz Kackzorowski, Carmen Moga, Nina Mombo, Johanne Renaud, Helen-Maria Vasiliadis, Adam Mongodin
-
- Journal:
- International Journal of Technology Assessment in Health Care / Volume 33 / Issue S1 / 2017
- Published online by Cambridge University Press:
- 12 January 2018, p. 237
-
- Article
-
- You have access Access
- Export citation
-
INTRODUCTION:
In order to support service planning of the youth program of the East of Montreal Health and Social Services Board, and potentially of the other twenty-five programs across the Quebec province, our hospital-based Health Technology Assessment (HTA) unit was asked to bring evidence of the effective interventions for five most common mental disorders in children and young populations, namely anxio-depressive disorders, attention deficit and hyperactivity disorder, oppositional and conduct disorders, substance abuse disorders, and suicide attempts.
METHODS:A review of reviews was conducted for the five disorders in young populations aged 6 to 25 years. This was based exclusively on systematic reviews and meta-analysis of a minimum two randomized-controlled trials. The review was completed with examples of Quebec's good practices in youth mental health gathered from personal research experience of clinical researchers involved in the project. The project involved collaboration with three other hospital units and provincial HTA agencies.
RESULTS:No review supporting screening and early detection for the five disorders was identified. Prevention, however, was better covered in the literature, and a clear distinction was made between universal, targeted and indicated interventions. In general, targeted and indicated prevention interventions were effective in the case of anxio-depressive (1) and substance use disorders, while universal prevention strategies seemed to reduce suicide attempts and suicide ideation (2). Effective treatments also exist for these mental disorders. In general, psychotherapies dominated for anxio-depressive and substance use disorders; parental skills dominated in oppositional disorders, whilst pharmacological treatment dominated in attention deficit and hyperactivity disorder (3). Evidence was limited for suicide attempts. The overview of Quebec's good practices allowed identification of interventions or practices already in use in the province.
CONCLUSIONS:The review summarized effective interventions for five most common mental disorders in young populations. It also permitted to identify several research gaps, and therefore research recommendations were formulated for the province's health research agency.
Interleaving data and effects
- Part of
- ROBERT ATKEY, PATRICIA JOHANN
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 20 November 2015, e20
-
- Article
-
- You have access Access
- Export citation
-
The study of programming with and reasoning about inductive datatypes such as lists and trees has benefited from the simple categorical principle of initial algebras. In initial algebra semantics, each inductive datatype is represented by an initial f-algebra for an appropriate functor f. The initial algebra principle then supports the straightforward derivation of definitional principles and proof principles for these datatypes. This technique has been expanded to a whole methodology of structured functional programming, often called origami programming.
In this article we show how to extend initial algebra semantics from pure inductive datatypes to inductive datatypes interleaved with computational effects. Inductive datatypes interleaved with effects arise naturally in many computational settings. For example, incrementally reading characters from a file generates a list of characters interleaved with input/output actions, and lazily constructed infinite values can be represented by pure data interleaved with the possibility of non-terminating computation. Straightforward application of initial algebra techniques to effectful datatypes leads either to unsound conclusions if we ignore the possibility of effects, or to unnecessarily complicated reasoning because the pure and effectful concerns must be considered simultaneously. We show how pure and effectful concerns can be separated using the abstraction of initial f-and-m-algebras, where the functor f describes the pure part of a datatype and the monad m describes the interleaved effects. Because initial f-and-m-algebras are the analogue for the effectful setting of initial f-algebras, they support the extension of the standard definitional and proof principles to the effectful setting.
Initial f-and-m-algebras are originally due to Filinski and Støvring, who studied them in the category Cpo. They were subsequently generalised to arbitrary categories by Atkey, Ghani, Jacobs, and Johann in a FoSSaCS 2012 paper. In this article we aim to introduce the general concept of initial f-and-m-algebras to a general functional programming audience.
List of contributors
-
- By Sefanja Achterberg, James A. Adams, Angelika Alonso, Bettina Anders, Ana Patrícia Antunes, Johannes Binder, Manuel Bolognese, Louis R. Caplan, Paolo Costa, Sofie De Blauwe, Exuperio Díez-Tejedor, Philipp Eisele, Alex Förster, Blanca Fuentes, Ruth Geraldes, Martin Griebe, Valentin Held, Gregory Helsen, Michael G. Hennerici, Eva Hornberger, Micha Kablau, L. Jaap Kappelle, Rolf Kern, Patricia Martínez-Sánchez, Tilman Menzel, Nadja Meyer, Caroline Ottomeyer, Suzanne Persoon, Alessandro Pezzini, Miriam M. Pfeiffer, Björn Reuter, Katlijn Schotsmans, Christopher Schwarzbach, Markus Stürmlinger, Kristina Szabo, Tiago Teodoro, Ralph Werner, Johannes C. Wöhrle, Marc Wolf
- Edited by Michael G. Hennerici, Ruprecht-Karls-Universität Heidelberg, Germany, Rolf Kern, Ruprecht-Karls-Universität Heidelberg, Germany, Louis R. Caplan, Kristina Szabo, Ruprecht-Karls-Universität Heidelberg, Germany
-
- Book:
- More Case Studies in Stroke
- Published online:
- 05 June 2014
- Print publication:
- 15 May 2014, pp ix-xii
-
- Chapter
- Export citation
19 - The Work Practice Center of Excellence
-
- By Luke Plurkowski, Palo Alto Research Center, USA, Margaret H. Szymanski, Palo Alto Research Center, USA, Patricia Wall, Xerox Research Center Webster, USA, Johannes A. Koomen, Xerox Research Center Webster, USA
- Edited by Margaret H. Szymanski, Jack Whalen
-
- Book:
- Making Work Visible
- Published online:
- 05 August 2012
- Print publication:
- 31 March 2011, pp 336-343
-
- Chapter
- Export citation
-
Summary
In late 2005, a Xerox business group, Creative and Technical Communication (CTC), began to sell its services and solutions to clients outside of Xerox. This transition to the external market would require consulting skills, yet the subject matter experts inside of CTC had very little, if any, experience working with clients other than Xerox. Additionally, because CTC would be a new player in the external market, it needed a distinct way to differentiate itself from its older, more experienced competitors in order to gain traction and increase revenue.
Tom Hurysz, Vice President of CTC, recognized the need to invest in work practice training for his consultants and to establish a center of excellence in his organization that could support their external marketing efforts. Historically, work practice researchers had helped CTC (see Sprague et al., this volume) and other business units with various customer-facing projects; in these engagements, subject-matter experts would work alongside work practice analysts. So Hurysz was familiar with the value of work practice study; and a recent rental car client engagement confirmed the value that work practice could bring (Sprague et al., this volume). Hurysz was quick to champion a work practice study training effort in his organization, stating, “I want work practice study to be a part of the consulting methodology because I think it reveals issues and opportunities that a normal process engineering method is not going to get at” (personal communication, 2008).
15 - Designing Document Solutions for Airline Maintenance Advisories
-
- By Patricia Wall, Xerox Research Center Webster, USA, Johannes A. Koomen, Xerox Research Center Webster, USA
- Edited by Margaret H. Szymanski, Jack Whalen
-
- Book:
- Making Work Visible
- Published online:
- 05 August 2012
- Print publication:
- 31 March 2011, pp 285-298
-
- Chapter
- Export citation
-
Summary
Introduction
At the turn of the 21st century, Xerox Global Services (XGS) was looking to build on Xerox's traditional strengths in product development and solutions sales by providing business process consulting and outsourcing services for large enterprise customers. This would expand the value Xerox could bring to its large customer base by helping customers reduce operating costs and improve processes. XGS was deploying conventional approaches such as Lean Six Sigma (LSS) as well as developing a set of assessment tools to help guide and define their consulting practices.
One area of interest to XGS was the ethnographic-based Work Practice approach, already in use in Xerox Research for several years. Prior to the existence of XGS, extensive studies of field service technician work (Orr, 1996, 2006; Bobrow and Whalen, 2002, Whalen and Bobrow, this volume) illustrated the value of applying work practice methods to understand technical work to inform the design of technology solutions intended to support that work. XGS recognized that the qualitative Work Practice approach was an ideal complement to the quantitative nature of LSS studies. Although the facts and figures resulting from a LSS study are necessary to demonstrate and justify the need for new or changed processes and technologies, they do not sufficiently support all complex consulting engagements. In many cases, a deep understanding of the social and cultural aspects of a work process is necessary to define not only what needs to change, but how best to make those changes so that they fit in the social context of the work and are adopted by the workers with minimal disruption.
Contributors
-
- By Rose Teteki Abbey, K. C. Abraham, David Tuesday Adamo, LeRoy H. Aden, Efrain Agosto, Victor Aguilan, Gillian T. W. Ahlgren, Charanjit Kaur AjitSingh, Dorothy B E A Akoto, Giuseppe Alberigo, Daniel E. Albrecht, Ruth Albrecht, Daniel O. Aleshire, Urs Altermatt, Anand Amaladass, Michael Amaladoss, James N. Amanze, Lesley G. Anderson, Thomas C. Anderson, Victor Anderson, Hope S. Antone, María Pilar Aquino, Paula Arai, Victorio Araya Guillén, S. Wesley Ariarajah, Ellen T. Armour, Brett Gregory Armstrong, Atsuhiro Asano, Naim Stifan Ateek, Mahmoud Ayoub, John Alembillah Azumah, Mercedes L. García Bachmann, Irena Backus, J. Wayne Baker, Mieke Bal, Lewis V. Baldwin, William Barbieri, António Barbosa da Silva, David Basinger, Bolaji Olukemi Bateye, Oswald Bayer, Daniel H. Bays, Rosalie Beck, Nancy Elizabeth Bedford, Guy-Thomas Bedouelle, Chorbishop Seely Beggiani, Wolfgang Behringer, Christopher M. Bellitto, Byard Bennett, Harold V. Bennett, Teresa Berger, Miguel A. Bernad, Henley Bernard, Alan E. Bernstein, Jon L. Berquist, Johannes Beutler, Ana María Bidegain, Matthew P. Binkewicz, Jennifer Bird, Joseph Blenkinsopp, Dmytro Bondarenko, Paulo Bonfatti, Riet en Pim Bons-Storm, Jessica A. Boon, Marcus J. Borg, Mark Bosco, Peter C. Bouteneff, François Bovon, William D. Bowman, Paul S. Boyer, David Brakke, Richard E. Brantley, Marcus Braybrooke, Ian Breward, Ênio José da Costa Brito, Jewel Spears Brooker, Johannes Brosseder, Nicholas Canfield Read Brown, Robert F. Brown, Pamela K. Brubaker, Walter Brueggemann, Bishop Colin O. Buchanan, Stanley M. Burgess, Amy Nelson Burnett, J. Patout Burns, David B. Burrell, David Buttrick, James P. Byrd, Lavinia Byrne, Gerado Caetano, Marcos Caldas, Alkiviadis Calivas, William J. Callahan, Salvatore Calomino, Euan K. Cameron, William S. Campbell, Marcelo Ayres Camurça, Daniel F. Caner, Paul E. Capetz, Carlos F. Cardoza-Orlandi, Patrick W. Carey, Barbara Carvill, Hal Cauthron, Subhadra Mitra Channa, Mark D. Chapman, James H. Charlesworth, Kenneth R. Chase, Chen Zemin, Luciano Chianeque, Philip Chia Phin Yin, Francisca H. Chimhanda, Daniel Chiquete, John T. Chirban, Soobin Choi, Robert Choquette, Mita Choudhury, Gerald Christianson, John Chryssavgis, Sejong Chun, Esther Chung-Kim, Charles M. A. Clark, Elizabeth A. Clark, Sathianathan Clarke, Fred Cloud, John B. Cobb, W. Owen Cole, John A Coleman, John J. Collins, Sylvia Collins-Mayo, Paul K. Conkin, Beth A. Conklin, Sean Connolly, Demetrios J. Constantelos, Michael A. Conway, Paula M. Cooey, Austin Cooper, Michael L. Cooper-White, Pamela Cooper-White, L. William Countryman, Sérgio Coutinho, Pamela Couture, Shannon Craigo-Snell, James L. Crenshaw, David Crowner, Humberto Horacio Cucchetti, Lawrence S. Cunningham, Elizabeth Mason Currier, Emmanuel Cutrone, Mary L. Daniel, David D. Daniels, Robert Darden, Rolf Darge, Isaiah Dau, Jeffry C. Davis, Jane Dawson, Valentin Dedji, John W. de Gruchy, Paul DeHart, Wendy J. Deichmann Edwards, Miguel A. De La Torre, George E. Demacopoulos, Thomas de Mayo, Leah DeVun, Beatriz de Vasconcellos Dias, Dennis C. Dickerson, John M. Dillon, Luis Miguel Donatello, Igor Dorfmann-Lazarev, Susanna Drake, Jonathan A. Draper, N. Dreher Martin, Otto Dreydoppel, Angelyn Dries, A. J. Droge, Francis X. D'Sa, Marilyn Dunn, Nicole Wilkinson Duran, Rifaat Ebied, Mark J. Edwards, William H. Edwards, Leonard H. Ehrlich, Nancy L. Eiesland, Martin Elbel, J. Harold Ellens, Stephen Ellingson, Marvin M. Ellison, Robert Ellsberg, Jean Bethke Elshtain, Eldon Jay Epp, Peter C. Erb, Tassilo Erhardt, Maria Erling, Noel Leo Erskine, Gillian R. Evans, Virginia Fabella, Michael A. Fahey, Edward Farley, Margaret A. Farley, Wendy Farley, Robert Fastiggi, Seena Fazel, Duncan S. Ferguson, Helwar Figueroa, Paul Corby Finney, Kyriaki Karidoyanes FitzGerald, Thomas E. FitzGerald, John R. Fitzmier, Marie Therese Flanagan, Sabina Flanagan, Claude Flipo, Ronald B. Flowers, Carole Fontaine, David Ford, Mary Ford, Stephanie A. Ford, Jim Forest, William Franke, Robert M. Franklin, Ruth Franzén, Edward H. Friedman, Samuel Frouisou, Lorelei F. Fuchs, Jojo M. Fung, Inger Furseth, Richard R. Gaillardetz, Brandon Gallaher, China Galland, Mark Galli, Ismael García, Tharscisse Gatwa, Jean-Marie Gaudeul, Luis María Gavilanes del Castillo, Pavel L. Gavrilyuk, Volney P. Gay, Metropolitan Athanasios Geevargis, Kondothra M. George, Mary Gerhart, Simon Gikandi, Maurice Gilbert, Michael J. Gillgannon, Verónica Giménez Beliveau, Terryl Givens, Beth Glazier-McDonald, Philip Gleason, Menghun Goh, Brian Golding, Bishop Hilario M. Gomez, Michelle A. Gonzalez, Donald K. Gorrell, Roy Gottfried, Tamara Grdzelidze, Joel B. Green, Niels Henrik Gregersen, Cristina Grenholm, Herbert Griffiths, Eric W. Gritsch, Erich S. Gruen, Christoffer H. Grundmann, Paul H. Gundani, Jon P. Gunnemann, Petre Guran, Vidar L. Haanes, Jeremiah M. Hackett, Getatchew Haile, Douglas John Hall, Nicholas Hammond, Daphne Hampson, Jehu J. Hanciles, Barry Hankins, Jennifer Haraguchi, Stanley S. Harakas, Anthony John Harding, Conrad L. Harkins, J. William Harmless, Marjory Harper, Amir Harrak, Joel F. Harrington, Mark W. Harris, Susan Ashbrook Harvey, Van A. Harvey, R. Chris Hassel, Jione Havea, Daniel Hawk, Diana L. Hayes, Leslie Hayes, Priscilla Hayner, S. Mark Heim, Simo Heininen, Richard P. Heitzenrater, Eila Helander, David Hempton, Scott H. Hendrix, Jan-Olav Henriksen, Gina Hens-Piazza, Carter Heyward, Nicholas J. Higham, David Hilliard, Norman A. Hjelm, Peter C. Hodgson, Arthur Holder, M. Jan Holton, Dwight N. Hopkins, Ronnie Po-chia Hsia, Po-Ho Huang, James Hudnut-Beumler, Jennifer S. Hughes, Leonard M. Hummel, Mary E. Hunt, Laennec Hurbon, Mark Hutchinson, Susan E. Hylen, Mary Beth Ingham, H. Larry Ingle, Dale T. Irvin, Jon Isaak, Paul John Isaak, Ada María Isasi-Díaz, Hans Raun Iversen, Margaret C. Jacob, Arthur James, Maria Jansdotter-Samuelsson, David Jasper, Werner G. Jeanrond, Renée Jeffery, David Lyle Jeffrey, Theodore W. Jennings, David H. Jensen, Robin Margaret Jensen, David Jobling, Dale A. Johnson, Elizabeth A. Johnson, Maxwell E. Johnson, Sarah Johnson, Mark D. Johnston, F. Stanley Jones, James William Jones, John R. Jones, Alissa Jones Nelson, Inge Jonsson, Jan Joosten, Elizabeth Judd, Mulambya Peggy Kabonde, Robert Kaggwa, Sylvester Kahakwa, Isaac Kalimi, Ogbu U. Kalu, Eunice Kamaara, Wayne C. Kannaday, Musimbi Kanyoro, Veli-Matti Kärkkäinen, Frank Kaufmann, Léon Nguapitshi Kayongo, Richard Kearney, Alice A. Keefe, Ralph Keen, Catherine Keller, Anthony J. Kelly, Karen Kennelly, Kathi Lynn Kern, Fergus Kerr, Edward Kessler, George Kilcourse, Heup Young Kim, Kim Sung-Hae, Kim Yong-Bock, Kim Yung Suk, Richard King, Thomas M. King, Robert M. Kingdon, Ross Kinsler, Hans G. Kippenberg, Cheryl A. Kirk-Duggan, Clifton Kirkpatrick, Leonid Kishkovsky, Nadieszda Kizenko, Jeffrey Klaiber, Hans-Josef Klauck, Sidney Knight, Samuel Kobia, Robert Kolb, Karla Ann Koll, Heikki Kotila, Donald Kraybill, Philip D. W. Krey, Yves Krumenacker, Jeffrey Kah-Jin Kuan, Simanga R. Kumalo, Peter Kuzmic, Simon Shui-Man Kwan, Kwok Pui-lan, André LaCocque, Stephen E. Lahey, John Tsz Pang Lai, Emiel Lamberts, Armando Lampe, Craig Lampe, Beverly J. Lanzetta, Eve LaPlante, Lizette Larson-Miller, Ariel Bybee Laughton, Leonard Lawlor, Bentley Layton, Robin A. Leaver, Karen Lebacqz, Archie Chi Chung Lee, Marilyn J. Legge, Hervé LeGrand, D. L. LeMahieu, Raymond Lemieux, Bill J. Leonard, Ellen M. Leonard, Outi Leppä, Jean Lesaulnier, Nantawan Boonprasat Lewis, Henrietta Leyser, Alexei Lidov, Bernard Lightman, Paul Chang-Ha Lim, Carter Lindberg, Mark R. Lindsay, James R. Linville, James C. Livingston, Ann Loades, David Loades, Jean-Claude Loba-Mkole, Lo Lung Kwong, Wati Longchar, Eleazar López, David W. Lotz, Andrew Louth, Robin W. Lovin, William Luis, Frank D. Macchia, Diarmaid N. J. MacCulloch, Kirk R. MacGregor, Marjory A. MacLean, Donald MacLeod, Tomas S. Maddela, Inge Mager, Laurenti Magesa, David G. Maillu, Fortunato Mallimaci, Philip Mamalakis, Kä Mana, Ukachukwu Chris Manus, Herbert Robinson Marbury, Reuel Norman Marigza, Jacqueline Mariña, Antti Marjanen, Luiz C. L. Marques, Madipoane Masenya (ngwan'a Mphahlele), Caleb J. D. Maskell, Steve Mason, Thomas Massaro, Fernando Matamoros Ponce, András Máté-Tóth, Odair Pedroso Mateus, Dinis Matsolo, Fumitaka Matsuoka, John D'Arcy May, Yelena Mazour-Matusevich, Theodore Mbazumutima, John S. McClure, Christian McConnell, Lee Martin McDonald, Gary B. McGee, Thomas McGowan, Alister E. McGrath, Richard J. McGregor, John A. McGuckin, Maud Burnett McInerney, Elsie Anne McKee, Mary B. McKinley, James F. McMillan, Ernan McMullin, Kathleen E. McVey, M. Douglas Meeks, Monica Jyotsna Melanchthon, Ilie Melniciuc-Puica, Everett Mendoza, Raymond A. Mentzer, William W. Menzies, Ina Merdjanova, Franziska Metzger, Constant J. Mews, Marvin Meyer, Carol Meyers, Vasile Mihoc, Gunner Bjerg Mikkelsen, Maria Inêz de Castro Millen, Clyde Lee Miller, Bonnie J. Miller-McLemore, Alexander Mirkovic, Paul Misner, Nozomu Miyahira, R. W. L. Moberly, Gerald Moede, Aloo Osotsi Mojola, Sunanda Mongia, Rebeca Montemayor, James Moore, Roger E. Moore, Craig E. Morrison O.Carm, Jeffry H. Morrison, Keith Morrison, Wilson J. Moses, Tefetso Henry Mothibe, Mokgethi Motlhabi, Fulata Moyo, Henry Mugabe, Jesse Ndwiga Kanyua Mugambi, Peggy Mulambya-Kabonde, Robert Bruce Mullin, Pamela Mullins Reaves, Saskia Murk Jansen, Heleen L. Murre-Van den Berg, Augustine Musopole, Isaac M. T. Mwase, Philomena Mwaura, Cecilia Nahnfeldt, Anne Nasimiyu Wasike, Carmiña Navia Velasco, Thulani Ndlazi, Alexander Negrov, James B. Nelson, David G. Newcombe, Carol Newsom, Helen J. Nicholson, George W. E. Nickelsburg, Tatyana Nikolskaya, Damayanthi M. A. Niles, Bertil Nilsson, Nyambura Njoroge, Fidelis Nkomazana, Mary Beth Norton, Christian Nottmeier, Sonene Nyawo, Anthère Nzabatsinda, Edward T. Oakes, Gerald O'Collins, Daniel O'Connell, David W. Odell-Scott, Mercy Amba Oduyoye, Kathleen O'Grady, Oyeronke Olajubu, Thomas O'Loughlin, Dennis T. Olson, J. Steven O'Malley, Cephas N. Omenyo, Muriel Orevillo-Montenegro, César Augusto Ornellas Ramos, Agbonkhianmeghe E. Orobator, Kenan B. Osborne, Carolyn Osiek, Javier Otaola Montagne, Douglas F. Ottati, Anna May Say Pa, Irina Paert, Jerry G. Pankhurst, Aristotle Papanikolaou, Samuele F. Pardini, Stefano Parenti, Peter Paris, Sung Bae Park, Cristián G. Parker, Raquel Pastor, Joseph Pathrapankal, Daniel Patte, W. Brown Patterson, Clive Pearson, Keith F. Pecklers, Nancy Cardoso Pereira, David Horace Perkins, Pheme Perkins, Edward N. Peters, Rebecca Todd Peters, Bishop Yeznik Petrossian, Raymond Pfister, Peter C. Phan, Isabel Apawo Phiri, William S. F. Pickering, Derrick G. Pitard, William Elvis Plata, Zlatko Plese, John Plummer, James Newton Poling, Ronald Popivchak, Andrew Porter, Ute Possekel, James M. Powell, Enos Das Pradhan, Devadasan Premnath, Jaime Adrían Prieto Valladares, Anne Primavesi, Randall Prior, María Alicia Puente Lutteroth, Eduardo Guzmão Quadros, Albert Rabil, Laurent William Ramambason, Apolonio M. Ranche, Vololona Randriamanantena Andriamitandrina, Lawrence R. Rast, Paul L. Redditt, Adele Reinhartz, Rolf Rendtorff, Pål Repstad, James N. Rhodes, John K. Riches, Joerg Rieger, Sharon H. Ringe, Sandra Rios, Tyler Roberts, David M. Robinson, James M. Robinson, Joanne Maguire Robinson, Richard A. H. Robinson, Roy R. Robson, Jack B. Rogers, Maria Roginska, Sidney Rooy, Rev. Garnett Roper, Maria José Fontelas Rosado-Nunes, Andrew C. Ross, Stefan Rossbach, François Rossier, John D. Roth, John K. Roth, Phillip Rothwell, Richard E. Rubenstein, Rosemary Radford Ruether, Markku Ruotsila, John E. Rybolt, Risto Saarinen, John Saillant, Juan Sanchez, Wagner Lopes Sanchez, Hugo N. Santos, Gerhard Sauter, Gloria L. Schaab, Sandra M. Schneiders, Quentin J. Schultze, Fernando F. Segovia, Turid Karlsen Seim, Carsten Selch Jensen, Alan P. F. Sell, Frank C. Senn, Kent Davis Sensenig, Damían Setton, Bal Krishna Sharma, Carolyn J. Sharp, Thomas Sheehan, N. Gerald Shenk, Christian Sheppard, Charles Sherlock, Tabona Shoko, Walter B. Shurden, Marguerite Shuster, B. Mark Sietsema, Batara Sihombing, Neil Silberman, Clodomiro Siller, Samuel Silva-Gotay, Heikki Silvet, John K. Simmons, Hagith Sivan, James C. Skedros, Abraham Smith, Ashley A. Smith, Ted A. Smith, Daud Soesilo, Pia Søltoft, Choan-Seng (C. S.) Song, Kathryn Spink, Bryan Spinks, Eric O. Springsted, Nicolas Standaert, Brian Stanley, Glen H. Stassen, Karel Steenbrink, Stephen J. Stein, Andrea Sterk, Gregory E. Sterling, Columba Stewart, Jacques Stewart, Robert B. Stewart, Cynthia Stokes Brown, Ken Stone, Anne Stott, Elizabeth Stuart, Monya Stubbs, Marjorie Hewitt Suchocki, David Kwang-sun Suh, Scott W. Sunquist, Keith Suter, Douglas Sweeney, Charles H. Talbert, Shawqi N. Talia, Elsa Tamez, Joseph B. Tamney, Jonathan Y. Tan, Yak-Hwee Tan, Kathryn Tanner, Feiya Tao, Elizabeth S. Tapia, Aquiline Tarimo, Claire Taylor, Mark Lewis Taylor, Bishop Abba Samuel Wolde Tekestebirhan, Eugene TeSelle, M. Thomas Thangaraj, David R. Thomas, Andrew Thornley, Scott Thumma, Marcelo Timotheo da Costa, George E. “Tink” Tinker, Ola Tjørhom, Karen Jo Torjesen, Iain R. Torrance, Fernando Torres-Londoño, Archbishop Demetrios [Trakatellis], Marit Trelstad, Christine Trevett, Phyllis Trible, Johannes Tromp, Paul Turner, Robert G. Tuttle, Archbishop Desmond Tutu, Peter Tyler, Anders Tyrberg, Justin Ukpong, Javier Ulloa, Camillus Umoh, Kristi Upson-Saia, Martina Urban, Monica Uribe, Elochukwu Eugene Uzukwu, Richard Vaggione, Gabriel Vahanian, Paul Valliere, T. J. Van Bavel, Steven Vanderputten, Peter Van der Veer, Huub Van de Sandt, Louis Van Tongeren, Luke A. Veronis, Noel Villalba, Ramón Vinke, Tim Vivian, David Voas, Elena Volkova, Katharina von Kellenbach, Elina Vuola, Timothy Wadkins, Elaine M. Wainwright, Randi Jones Walker, Dewey D. Wallace, Jerry Walls, Michael J. Walsh, Philip Walters, Janet Walton, Jonathan L. Walton, Wang Xiaochao, Patricia A. Ward, David Harrington Watt, Herold D. Weiss, Laurence L. Welborn, Sharon D. Welch, Timothy Wengert, Traci C. West, Merold Westphal, David Wetherell, Barbara Wheeler, Carolinne White, Jean-Paul Wiest, Frans Wijsen, Terry L. Wilder, Felix Wilfred, Rebecca Wilkin, Daniel H. Williams, D. Newell Williams, Michael A. Williams, Vincent L. Wimbush, Gabriele Winkler, Anders Winroth, Lauri Emílio Wirth, James A. Wiseman, Ebba Witt-Brattström, Teofil Wojciechowski, John Wolffe, Kenman L. Wong, Wong Wai Ching, Linda Woodhead, Wendy M. Wright, Rose Wu, Keith E. Yandell, Gale A. Yee, Viktor Yelensky, Yeo Khiok-Khng, Gustav K. K. Yeung, Angela Yiu, Amos Yong, Yong Ting Jin, You Bin, Youhanna Nessim Youssef, Eliana Yunes, Robert Michael Zaller, Valarie H. Ziegler, Barbara Brown Zikmund, Joyce Ann Zimmerman, Aurora Zlotnik, Zhuo Xinping
- Edited by Daniel Patte, Vanderbilt University, Tennessee
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
Replacing foods high in saturated fat by low-saturated fat alternatives: a computer simulation of the potential effects on reduction of saturated fat consumption
- Bilbo Schickenberg, Patricia van Assema, Johannes Brug, Janneke Verkaik-Kloosterman, Marga C. Ocké, Nanne K. de Vries
-
- Journal:
- British Journal of Nutrition / Volume 102 / Issue 3 / 14 August 2009
- Published online by Cambridge University Press:
- 13 January 2009, pp. 478-483
- Print publication:
- 14 August 2009
-
- Article
-
- You have access Access
- HTML
- Export citation
-
This simulation study aimed to assess the change in saturated fat intake achieved by replacing one to three of the products contributing most to individual saturated fat intake by alternative products low in saturated fat. Food consumption data of 750 participants (aged 19–30 years) from a recent Dutch food consumption survey were used. For each participant, the three products (from different product groups) that contributed most to their saturated fat intake were ranked in order of diminishing contribution. These products were sequentially replaced by lower saturated fat alternatives that were available in Dutch supermarkets. Mean percentage energy (en%) from saturated fat and energy intake in kJ per d were calculated before and after each of the three replacements. Dutch cheese, meat (for dinner) and milk were the main contributors to saturated fat intake for most participants. Starting at a mean en% from saturated fat of 12·4, the three replacements together resulted in a mean reduction of 4·9 en% from saturated fat. The percentage of participants meeting the recommendation for saturated fat ( < 10 en%) increased from 23·3 % to 86·0 %. We conclude that the replacement of relatively few important high-saturated fat products by available lower-saturated fat alternatives can significantly reduce saturated fat intake and increase the proportion of individuals complying with recommended intake levels.
Krachtvoer†: effect evaluation of a Dutch healthful diet promotion curriculum for lower vocational schools
- Marloes K Martens, Patricia Van Assema, Theo GWM Paulussen, Gerard Van Breukelen, Johannes Brug
-
- Journal:
- Public Health Nutrition / Volume 11 / Issue 3 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 271-278
-
- Article
-
- You have access Access
- HTML
- Export citation
-
Objective
The aim of this study was to assess the behavioural effects of a school-based healthful diet promotion intervention implemented in lower vocational schools.
DesignA cluster-randomised pre-test–post-test experimental design was used, and data were collected by means of written questionnaires.
SettingStudents of 18 Dutch lower vocational schools.
SubjectsThe final sample consisted of 10 experimental schools with 13 teachers, 37 classes and 879 students, and eight control schools with 10 teachers, 31 classes and 734 students (total n = 1613).
ResultsFixed regression analyses revealed beneficial effects on the behavioural measures relating to fruit intake (as assessed by a food frequency measure and fruit consumption during the previous day), and most behavioural measures related to high-fat snack intake (food frequency measure, and number of snacks and total fat intake from snacks during the previous day). The behavioural effects relating to breakfast habits were limited. Some positive behavioural effects occurred in the total target population, others mainly or only among students with more unfavourable intakes at baseline. Mixed regression analysis found comparable regression coefficients for the behavioural outcomes, but the effects related to fruit intake were no longer statistically significant.
ConclusionsAlthough we did not find the expected effects on all outcome indicators, the total pattern of results suggest that Krachtvoer offered a surplus value over existing curricula. However, some programme elements need to be revised to improve effectiveness and prevent negative effects, and more information is needed about the long-term effects of the programme.
Monadic augment and generalised short cut fusion
- NEIL GHANI, PATRICIA JOHANN
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 731-776
-
- Article
-
- You have access Access
- Export citation
-
Monads are commonplace programming devices that are used to uniformly structure computations; in particular, they are often used to mimic the effects of impure features such as state, error handling, and I/O. This paper further develops the monadic programming paradigm by investigating the extent to which monadic computations can be optimised by using generalisations of short cut fusion to eliminate monadic structures whose sole purpose is to “glue together” monadic program components. Ghani, Uustalu, and Vene have recently shown that every inductive type has an associated build combinator and an associated short cut fusion law. They have also used the notion of a parameterised monad to describe those monads that give rise to inductive types, and have shown that the standard augment combinators and cata/augment fusion rules for algebraic data types can be generalised to fixed points of all parameterised monads. We revisit these augment combinators and generalised short cut fusion rules for such types but consider them from a functional programming perspective, rather than a categorical one. In addition to making the category-theoretic ideas of Ghani, Uustalu, and Vene more easily accessible to a wider audience of functional programmers, we demonstrate their practical applicability by developing nontrivial application programs and performing modest benchmarking on them. We also show how the cata/augment rules can serve as the basis for deriving additional generic fusion laws, thus opening the way for an algebra of fusion. Finally, we offer deep theoretical insights, arguing that the augment combinators are monadic in nature, and thus that the cata/build and cata/augment rules are arguably the best generally applicable fusion rules obtainable.
High-speed photography of the development of microdamage in trabecular bone during compression
- Philipp J. Thurner, Blake Erickson, Zachary Schriock, John Langan, Jeff Scott, Maria Zhao, James C. Weaver, Georg E. Fantner, Patricia Turner, Johannes H. Kindt, Georg Schitter, Daniel E. Morse, Paul K. Hansma
-
- Journal:
- Journal of Materials Research / Volume 21 / Issue 5 / May 2006
- Published online by Cambridge University Press:
- 01 May 2006, pp. 1093-1100
- Print publication:
- May 2006
-
- Article
- Export citation
-
The mechanical properties of healthy and diseased bone tissue were extensively studied in mechanical tests. Most of this research was motivated by the immense costs of health care and social impacts due to osteoporosis in post-menopausal women and the aged. Osteoporosis results in bone loss and change of trabecular architecture, causing a decrease in bone strength. To address the problem of assessing local failure behavior of bone, we combined mechanical compression testing of trabecular bone samples with high-speed photography. In this exploratory study, we investigated healthy, osteoarthritic, and osteoporotic human vertebral trabecular bone compressed at high strain rates. Apparent strains were found to transfer into to a broad range of local strains. Strained trabeculae were seen to whiten with increasing strain. Comparison of whitened regions seen in high-speed photography sequences with scanning electron micrographs showed that the observed whitening was due to the formation of microcracks. From the results of a motion energy filter applied to the recorded movies, we saw that the whitened areas are, presumably, also areas of high deformation. In summary, high-speed photography allows the detection of microdamage in real time, leading toward a better understanding of the local processes involved in bone failure.
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
- PATRICIA JOHANN
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 2 / April 2005
- Published online by Cambridge University Press:
- 14 March 2005, pp. 201-229
-
- Article
- Export citation
-
A number of program transformations currently of interest can be derived from Wadler's ‘free theorems’ for calculi approximating modern functional languages. Although delicate but fundamental issues arise in proving the correctness of free theorems-based program transformations, these issues have usually been left unaddressed in the correctness proofs appearing in the literature. As a result, most such proofs are incomplete, and most free theorems-based transformations are applied to programs in calculi for which they are not actually known to be correct.
The purpose of this paper is three-fold. First, we raise and clarify some of the issues that must be addressed when constructing correctness proofs for free theorems-based program transformations. Second, we offer a principled approach to developing such proofs. Third, we use Pitts' recent work on parametricity and observational equivalence to show how our approach can be used to give the first proof that transformations based on the Acid Rain theorems preserve observational equivalence of programs in a polymorphic lambda calculus supporting FPC-style fixpoints and algebraic data types. Correctness of the foldr-build rule, the destroy-unfoldr rule, and the hylofusion program transformation for this calculus follows immediately. The same approach is expected to yield complete correctness proofs for free theorems-based transformations in calculi that even more closely resemble languages with which programmers are concerned in practice.
High-Speed Photography of Human Trabecular Bone during Compression
- Philipp J. Thurner, Blake Erikson, Zachary Schriock, John Langan, Jeff Scott, Maria Zhao, Georg E. Fantner, Patricia Turner, Johannes H. Kindt, Georg Schitter, Paul K. Hansma
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 874 / 2005
- Published online by Cambridge University Press:
- 01 February 2011, L1.2
- Print publication:
- 2005
-
- Article
- Export citation
-
The mechanical properties of healthy and diseased bone tissue are extensively studied in mechanical tests. Most of this research is motivated by the immense costs of health care and social impacts due to osteoporosis in post-menopausal women and the aged. Osteoporosis results in bone loss and change of trabecular architecture, causing a decrease in bone strength. To address the problem of assessing local failure behavior of bone, we combined mechanical compression testing of trabecular bone samples with high-speed photography. In this exploratory study, we investigated healthy, osteoarthritic, and osteoporotic human vertebral trabecular bone compressed at high strain rates simulating conditions experienced in individuals during falls. Apparent strains were found to translate to a broad range of local strains. Moreover, strained trabeculae were seen to whiten with increasing strain. We hypothesize that the effect seen is due to microcrack formation in these areas, similar to stress whitening seen in synthetic polymers. From the results of a motion energy filter applied to the recorded movies, we saw that the whitened areas are, presumably, also of high deformation. We believe that this method will allow further insights into bone failure mechanisms, and help toward a better understanding of the processes involved in bone failure.
Short cut fusion is correct
- PATRICIA JOHANN
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 797-814
-
- Article
-
- You have access Access
- Export citation
-
Fusion is the process of removing intermediate data structures from modularly constructed functional programs. Short cut fusion is a particular fusion technique which uses a single, local transformation rule to fuse compositions of list-processing functions. Short cut fusion has traditionally been treated purely syntactically, and justifications for it have appealed either to intuition or to “free theorems” – even though the latter have not been known to hold in languages supporting higher-order polymorphic functions and fixpoint recursion. In this paper we use Pitts' recent demonstration that contextual equivalence in such languages is parametric to provide the first formal proof of the correctness of short cut fusion for them. In particular, we show that programs which have undergone short cut fusion are contextually equivalent to their unfused counterparts.