Filters








2,472 Hits in 2.3 sec

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
2016 SIGPLAN notices  
C remains central to our computing infrastructure. It is notionally defined by ISO standards, but in reality the properties of C assumed by systems code and those implemented by compilers have diverged, both from the ISO standards and from each other, and none of these are clearly understood. We make two contributions to help improve this errorprone situation. First, we describe an in-depth analysis of the design space for the semantics of pointers and memory in C as it is used in practice. We
more » ... rticulate many specific questions, build a suite of semantic test cases, gather experimental data from multiple implementations, and survey what C experts believe about the de facto standards. We identify questions where there is a consensus (either following ISO or differing) and where there are conflicts. We apply all this to an experimental C implemented above capability hardware. Second, we describe a formal model, Cerberus, for large parts of C. Cerberus is parameterised on its memory model; it is linkable either with a candidate de facto memory object model, under construction, or with an operational C11 concurrency model; it is defined by elaboration to a much simpler Core language for accessibility, and it is executable as a test oracle on small examples. This should provide a solid basis for discussion of what mainstream C is now: what programmers and analysis tools can assume and what compilers aim to implement. Ultimately we hope it will be a step towards clear, consistent, and accepted semantics for the various use-cases of C.
doi:10.1145/2980983.2908081 fatcat:ayro2e7g7ve73jrr47agcjjeea

Galaxy Zoo Builder: Four-component Photometric Decomposition of Spiral Galaxies Guided by Citizen Science

Timothy K. Lingard, Karen L. Masters, Coleman Krawczyk, Chris Lintott, Sandor Kruk, Brooke Simmons, Robert Simpson, Steven Bamford, Robert C. Nichol, Elisabeth Baeten
2020 Astrophysical Journal  
https://help.zooniverse.org/best-practices/ The Astrophysical Journal, 900:178 (18pp), 2020 September 10 Lingard et al.  ...  https://github.com/zooniverse/panoptes-python-client 6 The Astrophysical Journal, 900:178 (18pp), 2020 September 10 Lingard et al.  ... 
doi:10.3847/1538-4357/ab9d83 fatcat:musitgoikvbffnwf57btc4ub2m

Clinical exercise physiology students learning with older adults: an innovative simulation-based education programme

Louise Horstmanshof, Robert G. Lingard, Sonja Coetzee, Louise P. Waddell
2016 Advances in Simulation  
We also wish to thank Jesse Morgan and Mark Roberts who supervised the students on this project. Lastly, we thank Dr Monique Lewis who transcribed the interviews and attended the coding workshop.  ... 
doi:10.1186/s41077-016-0012-3 pmid:29449980 pmcid:PMC5806354 fatcat:pyepzqqdbvaojmfhcxf75wughm

Galaxy Zoo Builder: Four Component Photometric decomposition of Spiral Galaxies Guided by Citizen Science [article]

Timothy K. Lingard, Karen L. Masters, Coleman Krawczyk, Chris Lintott, Sandor Kruk, Brooke Simmons, Robert Simpson, Steven Bamford, Robert C. Nichol, Elisabeth Baeten
2020 arXiv   pre-print
This project was partially funded by a Google Faculty Research Award to Karen Masters (https://ai.google/research/ outreach/faculty-research-awards/), and Timothy Lingard acknowledges studentship funding  ... 
arXiv:2006.10450v2 fatcat:ojncwyjmfje6jo33bxifq2zdou

Research in Progress at the Information Sciences Institute, University of Southern California

Robert Balzer, Lee Erman, Martin Feather, Neil Goldman, Philip London, David Wile, David Wilczynski, Robert Lingard, William Mark, William Mann, James Moore, Mel Pirtle (+6 others)
2017 The AI Magazine  
Cooperative Interactive Systems David Wilczynski, Robert Lingard, and William Mark Current interactive systems must be made more habitable for a wide variety of users, especially those having little experience  ...  Robert Berwick has developed a theory and system that can learn a substantial part of the syntax of English, based on a theory of syntactic recognition developed in the laboratory by Mitchell Marcus.  ... 
doi:10.1609/aimag.v1i1.88 fatcat:b3nu7roabvbwdfjc5adz4otuky

Focused transesophageal echocardiography for emergency physicians—description and results from simulation training of a structured four-view examination

Robert Arntfield, Jacob Pace, Shelley McLeod, Jeff Granton, Ahmed Hegazy, Lorelei Lingard
2015 Critical Ultrasound Journal  
Transesophageal echocardiography (TEE) offers several advantages over transthoracic echocardiography (TTE). Despite these advantages, use of TEE by emergency physicians (EPs) remains rare, as no focused TEE protocol for emergency department (ED) use has been defined nor have methods of training been described. Objective: This study aims to develop a focused TEE examination tailored for the ED and to evaluate TEE skill acquisition and retention by TEE-naïve EPs following a focused 4-h
more » ... Methods: Academic EPs were invited to participate in a 4-h didactic and simulation-based workshop. The seminar emphasized TEE principles and views obtained from four vantage points. Following the training, participants engaged in an assessment of their abilities to carry out a focused TEE on a high-fidelity simulator. A 6-week follow-up session assessed skill retention. Results: Fourteen EPs participated in this study. Immediately following the seminar, 14 (100 %; k = 1.0) and 10 (71.4 %, k = 0.65) successfully obtained an acceptable mid-esophageal four-chamber and mid-esophageal long-axis view. Eleven (78.6 %, k = 1.0) participants were able to successfully obtain an acceptable transgastric short-axis view, and 11 (78.6 %, k = 1.0) EPs successfully obtained a bicaval view. Twelve participants engaged in a 6-week retention assessment, which revealed acceptable images and inter-rater agreement as follows: mid-esophageal four-chamber, 12 (100 %; k = 0.92); mid-esophageal long axis, 12 (100 %, k = 0.67); transgastric short-axis, 11 (91.7 %, k = 1.0); and bicaval view, 11 (91.7 %, k = 1.0). Conclusion: This study has illustrated that EPs can successfully perform this focused TEE protocol after a 4-h workshop with retention of these skills at 6 weeks.
doi:10.1186/s13089-015-0027-3 pmid:26123608 pmcid:PMC4485663 fatcat:ez55ck4t2fcoxaffqh5c3wilai

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
C remains central to our computing infrastructure. It is notionally defined by ISO standards, but in reality the properties of C assumed by systems code and those implemented by compilers have diverged, both from the ISO standards and from each other, and none of these are clearly understood. We make two contributions to help improve this errorprone situation. First, we describe an in-depth analysis of the design space for the semantics of pointers and memory in C as it is used in practice. We
more » ... rticulate many specific questions, build a suite of semantic test cases, gather experimental data from multiple implementations, and survey what C experts believe about the de facto standards. We identify questions where there is a consensus (either following ISO or differing) and where there are conflicts. We apply all this to an experimental C implemented above capability hardware. Second, we describe a formal model, Cerberus, for large parts of C. Cerberus is parameterised on its memory model; it is linkable either with a candidate de facto memory object model, under construction, or with an operational C11 concurrency model; it is defined by elaboration to a much simpler Core language for accessibility, and it is executable as a test oracle on small examples. This should provide a solid basis for discussion of what mainstream C is now: what programmers and analysis tools can assume and what compilers aim to implement. Ultimately we hope it will be a step towards clear, consistent, and accepted semantics for the various use-cases of C.
doi:10.1145/2908080.2908081 dblp:conf/pldi/MemarianMLNCWS16 fatcat:g6qx6ivfn5hpvavfbx5fqt5xsu

Galaxy zoo builder: Morphological dependence of spiral galaxy pitch angle

Timothy Lingard, Karen L Masters, Coleman Krawczyk, Chris Lintott, Sandor Kruk, Brooke Simmons, William Keel, Robert C Nichol, Elisabeth Baeten
2021 Monthly notices of the Royal Astronomical Society  
This project was partially funded by a Google Faculty Research Award to Karen Masters (https://ai.google/research/ outreach/faculty-research-awards/), and Timothy Lingard acknowledges studentship funding  ...  Clustering of drawn spiral arms and cleaning of points was then performed as detailed in Lingard et al. (2020) .  ...  Section 3.2 of Lingard et al. (2020) presents a comparison of these classifications to investigate volunteer consistency.  ... 
doi:10.1093/mnras/stab1072 fatcat:pi53afma6zb7hguszzpnelfisu

In-Street Wind Direction Variability in the Vicinity of a Busy Intersection in Central London

Ahmed A. Balogun, Alison S. Tomlin, Curtis R. Wood, Janet F. Barlow, Stephen E. Belcher, Robert J. Smalley, Justin J. N. Lingard, Sam J. Arnold, Adrian Dobre, Alan G. Robins, Damien Martin, Dudley E. Shallcross
2010 Boundary-layer Meteorology  
doi:10.1007/s10546-010-9515-y fatcat:qsceg55z4ng6bhwvssp5wwtc7y

Dispersion Experiments in Central London: The 2007 DAPPLE project

Curtis R. Wood, Samantha J. Arnold, Ahmed A. Balogun, Janet F. Barlow, Stephen E. Belcher, Rex E. Britter, Hong Cheng, Adrian Dobre, Justin J. N. Lingard, Damien Martin, Marina K. Neophytou, Fredrik K. Petersson (+6 others)
2009 Bulletin of The American Meteorological Society - (BAMS)  
James e. tate, alison s. tomlin, and iain r. White
doi:10.1175/2009bams2638.1 fatcat:fe65ndow6rdi5nsrpc5xprly2i

Performance characteristics of methods for quantifying spontaneous intracerebral haemorrhage: data from the Efficacy of Nitric Oxide in Stroke (ENOS) trial

Kailash Krishnan, Siti F Mukhtar, James Lingard, Aimee Houlton, Elizabeth Walker, Tanya Jones, Nikola Sprigg, Lesley A Cala, Jennifer L Becker, Robert A Dineen, Panos Koumellis, Alessandro Adami (+3 others)
2015 Journal of Neurology, Neurosurgery and Psychiatry  
doi:10.1136/jnnp-2014-309845 pmid:25575847 pmcid:PMC4680163 fatcat:qvpnowebcjc2hek2yotplpnwmy

Influenza vaccination for immunocompromised patients: summary of a systematic review and meta-analysis

Charles R Beck, Bruce C McKenzie, Ahmed B Hashim, Rebecca C Harris, Arina Zanuzdana, Gabriel Agboado, Elizabeth Orton, Laura Béchard-Evans, Gemma Morgan, Charlotte Stevenson, Rachel Weston, Mitsuru Mukaigawara (+32 others)
2013 Influenza and Other Respiratory Viruses  
Van-Tam, JS (2013) Influenza vaccination for immunocompromised patients: summary of a systematic review and metaanalysis. Influenza and other respiratory viruses, 7 Suppl 2. pp.
doi:10.1111/irv.12084 pmid:24034488 pmcid:PMC5909396 fatcat:posbjcdvejeqdmv5uyfoyx7dvy

Improving the Teaching of Teamwork Skills in Engineering and Computer Science

Robert Lingard
unpublished
It is important that engineering and computer science students learn teamwork skills as an integral part of their educational development. These skills are often not explicitly taught, but rather it is expected that students learn them on their own through participation in various team projects. Furthermore, the actual skills that students are expected to learn are usually not well articulated, or even understood. The approach outlined here attempts to address these problems by first
more » ... g a process for defining what is meant by teamwork, by using this definition to assess the extent to which students are learning teamwork skills, and by using the assessment results to formulate approaches to improve student learning with respect to these skills. Specific attempts at the definition, assessment, and instruction improvement process are discussed.
fatcat:5g5vjs5w5jamjcxxelnh4hdcnm

Influenza Vaccination for Immunocompromised Patients: Systematic Review and Meta-Analysis from a Public Health Policy Perspective

Charles R. Beck, Bruce C. McKenzie, Ahmed B. Hashim, Rebecca C. Harris, Arina Zanuzdana, Gabriel Agboado, Elizabeth Orton, Laura Béchard-Evans, Gemma Morgan, Charlotte Stevenson, Rachel Weston, Mitsuru Mukaigawara (+33 others)
2011 PLoS ONE  
Roberts J. Rosser ST DW NW. Risk of bias assessments and acquisition of data: LL YV HH. transplant vaccination with pandemic influenza A/H1N1 vaccine in pediatric heart transplant recipients.  ... 
doi:10.1371/journal.pone.0029249 pmid:22216224 pmcid:PMC3245259 fatcat:qdjafpbmrvdf7jypm7wspcpoti

Assessing The Effectiveness Of Computer Literacy Courses

Roberta Madison, Gloria Melara, Robert Lingard
2002 Annual Conference Proceedings   unpublished
Computer literacy is growing in importance for all university students and is especially important for students pursuing technical and engineering courses of study. While an increasing number of today's students enter the university with an adequate level of computer knowledge and skill, there are many who do not. Large numbers of students, especially from economically disadvantaged communities, lack the computer skills necessary to be successful in most engineering programs. Therefore, it is
more » ... rticularly important for universities to offer computer literacy courses to accommodate the needs of such students. In order to ensure the effectiveness of educational programs in computer literacy, assessment must be done on a continuing basis. Such assessment has been difficult due to varying definitions of computer literacy and the lack of tools to adequately assess such programs. This paper describes a pilot study conducted at California State University, Northridge that was done as an experimental attempt to assess the effectiveness of computer literacy courses. The specific instruments used as well as others investigated are discussed, and the methods of conducting the assessment are explained. The results of the pilot study are presented along with recommendation for the development of improved instruments and methods for computer literacy assessment.
doi:10.18260/1-2--10834 fatcat:xktg7xg74rg4jjvutapyvca3zi
« Previous Showing results 1 — 15 out of 2,472 results