7,527 research outputs found
Oral history interview with Stephen Cook
No full textTranscript, 30 pp.Cook recounts his early interest in electronics and association with electronic cardiac pacemaker inventor Wilson Greatbatch, and his education at the University of Michigan and Harvard University. He describes his first position as an assistant professor of mathematics at the University of California, Berkeley, and his growing interest in problems of computational complexity preceding an influential 1971 presentation on “The Complexity of Theorem Proving Procedures” at the ACM SIGACT Symposium on the Theory of Computing. Cook discusses his move to the University of Toronto in 1970 and the reception of his work on NP-completeness, leading up to his A.M. Turing Award for “contributions to the theory of computational complexity, including the concept of nondeterministic, polynomial-time completeness.” He also discusses the feasibility of solving the P versus NP Problem.Cook, Stephen Arthur.. (2002). Oral history interview with Stephen Cook. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/107226
An Interview with Stephen A. Cook
No full textStephen A. Cook, winner of the 1982 AM Turing Award, reflects on his career. nature of nP-complete class of problems has been one of the most active and important research activities in computer science.” Cook further discusses the feasibility of solving the P versus nP problem, which has recently received renewed attention given increasingly powerful computational capabilities and the decreasing cost of computing. In a September 2009 Communications article, Lance Fortnow wrote that Cook\u27s work on computational ..
Hoplopleura altaiensis Durden, Robinson, Cook, Bell, Nyamsuren and Greiman 2022
No full text<i>Hoplopleura altaiensis</i> Durden, Robinson, Cook, Bell, Nyamsuren and Greiman, 2022 <p> Ex <i>Alticola barakshin</i> (Gobi mountain vole) (Cricetidae); collection locality: Bayan Olgii Province, Zoolon.</p> <p> Ex <i>Alticola strelzowi</i> (Strelzow’s mountain vole) (Cricetidae); collection locality: Bayan Olgii Province, Huljaa river valley.</p> <p> <i>Notes: Hoplopleura altaiensis</i> is described in this paper.</p>Published as part of <i>Durden, Lance A., Robinson, Chase, Cook, Joseph A., Bell, Kayce C., Nyamsuren, Batsaikhan & Greiman, Stephen E., 2022, Sucking Lice (Phthiraptera: Anoplura) Parasitizing Mongolian Rodents With The Description Of A New Species Of Hoplopleura From Mountain Voles (Alticola Spp.), pp. 353-365 in Journal of Parasitology 108 (4)</i> on page 359, DOI: 10.1645/22-2, <a href="http://zenodo.org/record/7756349">http://zenodo.org/record/7756349</a>
An evaluation of an educational intervention aimed at improving confidence, knowledge and skill of university students to cook
No full textIntroduction - It is well documented that first year university students, often away from home for the first time, have poor dietary habits which are widely accepted to contribute to serious health problems. Research suggests improving confidence, skill and knowledge to cook healthily is important to facilitate healthier eating behaviours amongst the student population. The aim of this study was to evaluate the impact of the educational intervention, Can’t cook, don’t cook on the confidence, skill and knowledge of first year students from the University of Chester to cook healthy foods. Method - Students were recruited to take part in the intervention through the use of posters and flyers. The intervention comprised of three practical cooking sessions that included some classroom-based learning. Those who attended the intervention were asked to participate in the evaluation research, 14 males and 30 females doing so. The evaluation consisted of the completion of two questionnaires, pre- and post-intervention, measuring self-reported confidence, skill and knowledge to cook healthy food. Results - There were significant increases in all aspects of confidence, skill and knowledge from participating in the intervention except for transport access to supermarkets. Students reported achieving five portions of fruit and vegetables a day more frequently post-intervention and there was also a positive increase in the confidence of using various cooking methods post-intervention compared to pre-intervention. There were little differences between genders, the only significant difference was that of females that attaching more importance to healthy eating prior to the intervention that their male counterparts (p=0.003). Conclusion - Participation in the intervention increased the confidence, basic skill and knowledge in university students equipping them with the tools to buy and cook cheap, healthy meals for themselves. A healthier, well balanced diet can help to eliminate the risk of poor health and the onset of disease that literature implies students are at risk of. Although there are many barriers to healthy eating students living in university halls of residence face, engaging, hands-on cooking sessions for this population can help to overcome some of them. The effectiveness of a nutrition educational intervention for university students was demonstrated regardless of their age, gender and degree programme and is a recommendable method to improve the eating behaviours in this group
Language Interoperability and Logic Programming Languages
No full textWe discuss P#, our implementation of a tool which allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#'s graphical, networking and other libraries. P# was developed from a modified port of the Prolog to Java translator, Prolog Cafe. We add language constructs on the Prolog side which allow concurrent Prolog code to be written. We add a primitive predicate which evaluates a Prolog structure on a newly forked thread. Communication between threads is based on the unification of variables contained in such a structure. It is also possible for threads to communicate through a globally accessible table. All of the new features are available to the programmer through new built-in Prolog predicates. We present three case studies. The first is an application which allows several users to modify a database. The users are able to disconnect from the database and to modify their own copies of the data before reconnecting. On reconnecting, conflicts must be resolved. The second is an object-oriented assistant, which allows the user to query the contents of a C# namespace or Java package. The third is a tool which allows a user to interact with a graphical display of the inheritance tree. Finally, we optimize P#'s runtime speed by translating some Prolog predicates into more idiomatic C# code than is produced by a naive port of Prolog Cafe. This is achieved by observing that semi-deterministic predicates (being those which always either fail or succeed with exactly one solution) that only call other semi-deterministic predicates enjoy relatively simple control flow. We make use of the fact that Prolog programs often contain predicates which operate as functions, and that such predicates are usually semi-deterministic
Poems on several occasions: By Stephen Duck.
No full textxl,334,[2]p. ; 4⁰.Includes: 'An account of the author' and a subscription list.The final leaf contains an ode "written since the preceding pages were printed off".Augustan Reprint Society: preliminary leaves and The Thresher's Labour by Stephen Duck only, xxii-xl, 27 p.Reproduction of original from the British Library.English Short Title Catalog, ESTCT90234.Electronic data. Farmington Hills, Mich. : Thomson Gale, 2003. Page image (PNG). Digitized image of the microfilm version produced in Woodbridge, CT by Research Publications, 1982-2002 (later known as Primary Source Microfilm, an imprint of the Gale Group)
Autosub6000: results of its engineering trials and first science missions
No full textIn September 2007 on RRS Discovery, the Autosub6000 Autonomous Underwater Vehicle (AUV)
completed its first deep water engineering trials, and less than a year later, fitted with a multibeam
bathymetric mapping sonar, carried out its first science missions, as part of a geology and
geophysics science cruise onboard the RRS James Cook to investigate potential geo-hazards
(such as tsunami generating landslides) on the European and North African margin. In the spirit of
true AUV autonomy, while the AUV was deployed, we used the ship for seabed coring operations,
and once the AUV was recovered, the high resolution bathymetry which it had obtained guided
the next coring operations. In this paper we will describe how we are tackling the issues that
specifically affect a deep diving AUV capable of operating with true autonomy, and independently
of the mother ship: How to carry enough energy for long endurance and range? How to operate
safely and efficiently with varying buoyancy? How to maintain accurate navigation throughout
missions lasting up to several days
Secularism and the death and return of the author: Rereading the Rushdie affair after Joseph Anton
No full textIn what ways has the contemporary British novel served to contribute to the ethos of secular liberalism that underpins the ideology of the colonial present before and after the “War on Terror”? This article seeks to address this question through a rereading of Salman Rushdie’s The Satanic Verses and its critical reception. Beginning with a discussion of the secularism/theology binary in Roland Barthes’ essay “The Death of the Author”, the paper considers how the ideology of secularism that Barthes attributes to the birth of the reader has shaped and influenced the public understanding of the Rushdie affair before and after 9/11. With close reference to Rushdie’s memoir, Joseph Anton, the essay proceeds to address how Rushdie’s own account of the production and reception of The Satanic Verses in Joseph Anton might be regarded as a particular form of secular misreading that calls the authority of the book’s implied author into question. By addressing questions such as these, this article suggests that Rushdie’s literary reworking of Islamic history in The Satanic Verses and his defence of this reworking in Joseph Anton demand a rethinking of the relationship between the ideology of secularism and postmodern theories of reading. Such a rethinking, I suggest, also demands a consideration of the ways in which the contemporary figure of the emancipated reader is implicated in the secularist ideology of the colonial present.</p
sj-pdf-1-asu-10.1177_0003134821989043 – Supplemental Material for The Effect of Anticoagulation and Antiplatelet Use in Trauma Patients on Mortality and Length of Stay
No full textSupplemental Material, sj-pdf-1-asu-10.1177_0003134821989043 for The Effect of Anticoagulation and Antiplatelet Use in Trauma Patients on Mortality and Length of Stay by Nisha Narula, Savas Tsikis, Sayuri P. Jinadasa, Charles S. Parsons, Charles H. Cook, Bonnie Butt and Stephen R. Odom in The American Surgeon</p
Surviving the climate crisis: Australian perspectives and solutions
No full textAustralian Perspectives and Solutions Stephen M. Turton. Cook, G. (2009) 'Historical perspectives on land use development in northern Australia: with emphasis on the Northern Territory', in P. Stone (ed) Northern Australia Land and ..
- …
