13 results
Chapter 8 - Drift
- Edited by Joshua Davies, King's College London, Caroline Bergvall, Queen Mary University of London
-
- Book:
- Caroline Bergvall's Medievalist Poetics
- Published by:
- Amsterdam University Press
- Published online:
- 20 February 2024
- Print publication:
- 30 November 2023, pp 77-80
-
- Chapter
- Export citation
-
Summary
CONSIDER THE FATE of the thorn (þ) and the yogh (È), two Gothic letters that fell out of use in the late Middle Ages, done to death by the printing press. Chaucer did not need them, but his contemporary, the Gawain poet, did. My computer repeats this his-tory of loss on a smaller scale. It trips seamlessly through the “Knight’s Tale” (though it does not always care for Chaucer’s spelling), but Word deforms Sir Gawain and the Green Knight. While the Palatino typeface that I prefer accommodates the thorn as a special symbol, it stumbles on the yogh, which it replaces, somewhat mysteriously, with a colon.
An old joke tells us that a dialect is a language without an army. The same can be said of letters. As we all know, Chaucer’s English—the language of London and the Court—won the day, while the Gawain poet’s Midland dialect, with its Old English archaisms and its thorns, lost. Modern readers will be able to recognize the Canterbury Tales as English poetry. The same cannot be said for Sir Gawain. Let a single line—one of my favourites—serve as an example of the difficulties that the poem presents. Even without the yogh, it is a rather tough little nugget:
þe snawe snitered ful snart, þat snayped þe wylde
[The snow fell sharply, and bit the wild beasts.]
Modern readers will have a hard time sounding out most of the words here and will find it harder still to understand them. What is more, the alliteration that marks the poem—the very bedrock of its prosody—will seem unfamiliar or even tasteless, the stuff of outliers like Hopkins or Dylan Thomas.
Caroline Bergvall’s latest book, Drift, is haunted by the loss of the thorn, the yogh, and Old English generally. As a creature of hyphens and interstices, Bergvall is fascinated by what gets lost and found in the gaps. She is French by birth; half-Norwegian by par-entage; she is now English to the extent that she has lived for decades in Britain. She is a poet, a visual and performance artist, and a willing collaborator in complicated installa-tions and events. Drift is a product of these affiliations and activities.
Divided Images: How the English Perceive Nationhood and How This Shapes Voting and Opinion
- Eric Kaufmann, David L. Leal, Joe R. Tafoya
-
- Journal:
- PS: Political Science & Politics / Volume 56 / Issue 4 / October 2023
- Published online by Cambridge University Press:
- 10 August 2023, pp. 579-589
- Print publication:
- October 2023
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
Do people’s political beliefs alter the emphasis they place on different symbols when constructing their “personal” national identity (Cohen 1996)? Does the content of their national identity affect how they vote? These are the central questions we address in this article, focusing on England but using the United States as a comparative case to demonstrate common dynamics.
The use of the abuse policy narrative in asylum debates and its effects on citizens’ opinion formation
- David Kaufmann, Laurent Bernhard
-
- Journal:
- Journal of Public Policy / Volume 43 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 12 December 2022, pp. 307-325
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
Asylum seekers are often portrayed as “bogus refugees” who try to abuse a destination country’s generosity and protection. We scrutinise the use and effect of such a constructed abuse policy narrative in Swiss asylum referendums by examining the conveyance of this narrative by political elite actors (meso-level) and its effect on citizens’ opinion formation (micro-level). On the meso-level, our analysis shows that political organisations rely more strongly on the abuse policy narrative (1) if a referendum proposal contains more tightening as opposed to streamlining policies and (2) if their political ideology is to the right. While the first finding also applies at the micro-level, voters from both the right and the centre are likely to base their decision on the abuse policy narrative. The fact that this narrative is convincing for centrist voters is particularly important as they usually play a decisive role in the outcome of asylum referendums.
Sanctuary Cities in Europe? A Policy Survey of Urban Policies in Support of Irregular Migrants
- David Kaufmann, Nora Räss, Dominique Strebel, Fritz Sager
-
- Journal:
- British Journal of Political Science / Volume 52 / Issue 4 / October 2022
- Published online by Cambridge University Press:
- 23 September 2021, pp. 1954-1963
- Print publication:
- October 2022
-
- Article
-
- You have access Access
- Open access
- HTML
- Export citation
-
Irregular migrants tend to live in dense urban settings. Cities therefore formulate various policies in support of irregular migrants. Given the US phenomenon of sanctuary cities, the study of these policies has been rather US-centric so far. This letter examines urban policies in support of irregular migrants in Europe's 95 largest cities. Only 27 per cent of European cities formulate these types of policies. We discovered two relevant policy categories: status and services. Only five cities formulate policies that aim to award irregular migrants with a (more) secure status, and 24 cities formulate policies that facilitate access to city services. Our mixed-methods analysis suggests that status policies take advantage of policy-making discretion whereas service policies hinge on the availability of local resources. Yet, there are no simple explanations for the observed policy diversity that is the product of place-based policy-making.
3 - Small and Medium-Sized Towns as Secondary Cities: The Case of Switzerland
- Edited by Mark Pendras, University of Washington, Charles Williams, University of Washington
-
- Book:
- Secondary Cities
- Published by:
- Bristol University Press
- Published online:
- 05 January 2022
- Print publication:
- 03 June 2021, pp 55-78
-
- Chapter
- Export citation
-
Summary
Introduction
The largest cities in Switzerland are not very large, at least from an international comparative perspective: in 2016, Zurich was the biggest Swiss city and was home to 402,762 residents. Geneva had 198,979 residents while Basel counted 171,017. Lausanne and Bern were about the same size, counting 137,810 and 133,115 residents respectively. Among the cities with more than 100,000 residents, there is only Winterthur (109,775) in addition to the ones already mentioned. Four more cities (Biel, Lugano, Lucerne and St. Gallen) make it onto the list of cities with more than 50,000 residents (SSV and BFS, 2018). As a result, the vast majority of Swiss cities need to be considered as small and medium-sized towns (SMSTs). There are a total of 152 SMSTs with a population up to 50,000 residents.
In many cases, these SMSTs take on the role of secondary cities in the context of the larger urban agglomerations. Take, for example, the two case study cities that will be discussed in this chapter, Thun and Wädenswil. The city of Thun had 43,568 residents in 2016 (SSV and BFS, 2018). Because Thun is located only about 30 km south-east of the city centre of Bern, a large majority of Thun residents commute daily for work between Thun and Bern. In addition, there are numerous other close links between these two cities. Yet Thun, historically supported by tourism and military spending, has played a rather inferior role when compared to Bern. From 1384 until 1798, Thun was subordinate to Bern; during this time the latter became the most important city-state north of the Alps. Around the year 1800 writers noted about Thun that this ‘city is only of mediocre size, poorly built, and poorly populated’ and that Thun ‘is neither large nor beautiful, atrophied in its system, Thun is in this regard like many other Swiss small towns’ (Bähler, 2018: 38). The other case study is Wädenswil, a small town of around 21,797 residents that is located on the shore of Lake Zurich, about 25 km south of Zurich's downtown area. Wädenswil's industrial history is rooted in the textile and agricultural industries. Through structural changes in these industries, the city had to reorient its economy and started to focus on research and education in the late 1980s and early 1990s.
Toward an Urban Policy Analysis: Incorporating Participation, Multilevel Governance, and “Seeing Like a City”
- David Kaufmann, Mara Sidney
-
- Journal:
- PS: Political Science & Politics / Volume 53 / Issue 1 / January 2020
- Published online by Cambridge University Press:
- 23 December 2019, pp. 1-5
- Print publication:
- January 2020
-
- Article
- Export citation
Infection Rates in Standard vs. Hydrogel Coated Ventricular Catheters
- Anthony M. Kaufmann, Tara Lye, Gary Redekop, Angela Brevner, Mark Hamilton, Michelle Kozey, David Easton
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 31 / Issue 4 / November 2004
- Published online by Cambridge University Press:
- 02 December 2014, pp. 506-510
-
- Article
-
- You have access Access
- Export citation
-
Background:
Infection related to external ventricular drain (EVD) use is a common neurosurgical complication. Modified catheters with a hydrophilic surface may impede bacterial adherence and thereby reduce catheter related cerebrospinal fluid (CSF) infection.
Methods:A prospective randomized clinical trial compared the occurrence of CSF infection related to use of either standard silastic or hydrogel coated EVD catheters (Bioglide®, Medtronic). Enrolment was available to all adult neurosurgery patients undergoing placement of a first EVD, at three university centers. The catheters were presoaked in a low concentration of bacitracin solution for 5-10 minutes prior to insertion. Bacterial infection was defined by heavy growth in a single CSF sample or light / medium growth in two consecutive samples. A secondary analysis was also conducted for “probable” CSF infection, including patients started on antibiotics after light / medium growth in a single CSF sample. Statistical analyses included Kaplan-Meier survival curve estimates accompanied by Log Rank and Breslow tests.
Results:There were 158 randomized patients available to assess for EVD related infection of CSF. The two study groups had similar clinical characteristics including average duration of EVD use (8±4 days). Definite CSF infection occurred in seven and probable infection in another six (8% total). Infection incidence rose steadily from day 2 (1%) to day 11 (11%). There was no difference of daily occurrence of EVD infection between the two catheter types.
Conclusion:Infection remains a common hazard in the use of EVD, and we found no reduction of infection using the hydrogel-coated catheters when presoaked in low concentration bacitracin solution.
Contributors
-
- By Federica Agosta, Alberto Albanese, Timothy J. Amrhein, A. M. Barrett, Walter S. Bartynski, Felix Benninger, Thomas Brandt, Andrew G. Burke, Michelle Cameron, Elisa Canu, Louis R. Caplan, Christine M. Carr, Daniel J. A. Connolly, Firouz Daneshgari, John DeLuca, Marianne de Visser, Marianne Dieterich, Antonio E. Elia, Joseph H. Feinberg, Massimo Filippi, Lauren C. Frey, Gaëtan Garraux, Andrea Ginestroni, Peter J. Goadsby, Bronwyn E. Hamilton, Simon J. Hickman, Holly E. Hinson, Jon P. Jennings, Jan Kassubek, Horacio Kaufmann, David M. Kaylie, Joanna Kitley, Vladimir S. Kostic, C. T. Paul Krediet, Megan C. Leary, Farooq H. Maniyar, Ken R. Maravilla, Mario Mascalchi, Rajarshi Mazumder, Priyesh Mehta, Jacqueline A. Palace, Raj M. Paspulati, Christopher A. Potter, Angelo Quattrini, Louis P. Riccelli, Nilo Riva, Maria A. Rocca, Mirabelle B. Sajisevi, Richard Salazar-Montero, Nicholas D. Schiff, Jack H. Simon, Israel Steiner, Carl D. Stevens, Bart P. van de Warrenburg, Judith van Gaalen, William J. Weiner, Jane L. Weissman, Jay Yao, G. Bryan Young
- Edited by Massimo Filippi, Jack H. Simon
-
- Book:
- Imaging Acute Neurologic Disease
- Published online:
- 05 October 2014
- Print publication:
- 11 September 2014, pp vi-viii
-
- Chapter
- Export citation
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
Efficient execution in an automated reasoning environment
- Part of
- DAVID A. GREVE, MATT KAUFMANN, PANAGIOTIS MANOLIOS, J STROTHER MOORE, SANDIP RAY, JOSÉ LUIS RUIZ-REINA, ROB SUMNERS, DARON VROON, MATTHEW WILDING
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 15-46
-
- Article
-
- You have access Access
- Export citation
-
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the features supporting this method allow the user to install, in a logically sound way, alternative executable counterparts for logically defined functions. These alternatives are often much more efficient than the logically equivalent terms they replace. These features have been implemented in the ACL2 theorem prover, and we discuss several applications of the features in ACL2.
N-body Simulations of Two-Component, Bar-Unstable Disks
- David E. Kaufmann
-
- Journal:
- International Astronomical Union Colloquium / Volume 157 / 1996
- Published online by Cambridge University Press:
- 12 April 2016, pp. 501-503
- Print publication:
- 1996
-
- Article
-
- You have access Access
- Export citation
-
We present results of numerical simulations of bar-unstable disks that include a dissipative gas component. The simulations have been carried out using a two-dimensional polar grid for the force calculations. The gas component has been modelled as a collection of finite-sized particles that dissipate a fraction of their relative motion during collisions.
The Boyer-Moore prover and Nuprl: an experimental comparison
- from Implementations
-
- By David Basin, Department of Artificial Intelligence, University of Edinburgh, Edinburgh Scotland, Matt Kaufmann, Computational Logic, Inc. Austin, Texas 78703 USA
- Edited by Gerard Huet, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, G. Plotkin, University of Edinburgh
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 89-119
-
- Chapter
- Export citation
-
Summary
Abstract
We use an example to compare the Boyer-Moore Theorem Prover and the Nuprl Proof Development System. The respective machine verifications of a version of Ramsey's theorem illustrate similarities and differences between the two systems. The proofs are compared using both quantitative and non-quantitative measures, and we examine difficulties in making such comparisons.
Introduction
Over the last 25 years, a large number of logics and systems have been devised for machine verified mathematical development. These systems vary significantly in many important ways, including: underlying philosophy, object-level logic, support for meta-level reasoning, support for automated proof construction, and user interface. A summary of some of these systems, along with a number of interesting comments about issues (such as differences in logics, proof power, theory construction, and styles of user interaction), may be found in Lindsay's article. The Kemmerer study compares the use of four software verification systems (all based on classical logic) on particular programs.
In this report we compare two interactive systems for proof development and checking: The Boyer-Moore Theorem Prover and the Nuprl Proof Development System. We have based our comparison on similar proofs of a specific theorem: the finite exponent two version of Ramsey's theorem (explained in Section 2). The Boyer-Moore Theorem Prover is a powerful (by current standards) heuristic theorem prover for a quantifier-free variant of first order Peano arithmetic with additional data types.
The Profession of Theory
- David Kaufmann
-
- Journal:
- PMLA / Publications of the Modern Language Association of America / Volume 105 / Issue 3 / May 1990
- Published online by Cambridge University Press:
- 23 October 2020, pp. 519-530
- Print publication:
- May 1990
-
- Article
- Export citation
-
The recent expansion of literary theory and the invocation of politics in this theory contribute and respond to the tensions sustaining literature departments. Though created and nourished by specialization, the profession bases its legitimation on a generalist ideology that opposes or denies the reification on which the profession depends. This justification claims an important political function for literature departments, but theory's structures of self-presentation, as well as the exigencies of a bureaucratized academy, undermine these political ends. In literary theory, a misleading conflation of institutional and national politics is absolutely unavoidable. To maintain the allimportant fiction of the general utility of literary study, one must elide the difference between the politics of the university and those of the republic. Theory is essential to the institutions sustaining literary study and necessarily more and less political than it might claim.