Search Results - "Derrick, John"

Brothers of the Quill : Oliver Goldsmith in Grub Street

Authors: Norma Clarke

Resource Type: eBook.

Subjects: Hack writers--England--London--History--18th century, Authors, Irish--Biography

Categories: LITERARY CRITICISM / European / English, Irish, Scottish, Welsh, HISTORY / Europe / Great Britain / General, HISTORY / Modern / 18th Century

Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.

Authors: Derrick, John Dongol, Brijesh Edmonds, Chelsea et al.

Source: Journal of Automated Reasoning; Dec2025, Vol. 69 Issue 4, p1-64, 64p

Mechanically Verified Proof Obligations for Linearizability.

Authors: Derrick, John Schellhorn, Gerhard Wehrheim, Heike

Source: ACM Transactions on Programming Languages & Systems; 2011, Vol. 33 Issue 1, p4-1-4-43, 43p

Tibial loading and damage accumulation in recreational and competitive male runners during a demanding 10 km run.

Authors: Rice, Hannah Mai, Patrick Sanno, Max et al.

Source: European Journal of Sport Science. Jan2024, Vol. 24 Issue 1, p79-87.

Peak and Per-Step Tibial Bone Stress During Walking and Running in Female and Male Recreational Runners.

Authors: Meardon, Stacey A. Derrick, Timothy R. Willson, John D. et al.

Source: American Journal of Sports Medicine. Jul2021, Vol. 49 Issue 8, p2227-2237.

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.

Authors: SCHELLHORN, GERHARD DERRICK, JOHN WEHRHEIM, HEIKE

Source: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-37, 37p

Refinement in Z and object‐Z: Foundations and Advanced Applications.

Authors: Boiten, Eerke¹

Source: Journal of Logic & Computation. Apr2003, Vol. 13 Issue 2, p313-314. 2p.

Subjects: Refinement in Z & Object-Z: Foundations & Advanced Applications (Book), Boiten, Eerke, Derrick, John, Mathematics education, Nonfiction

Verifying Linearisability: A Comparative Survey.

Authors: DONGOL, BRIJESH DERRICK, JOHN

Source: ACM Computing Surveys. Nov2015, Vol. 48 Issue 2, p19:1-19:43. 43p. 21 Diagrams, 4 Charts.

Introduction.

Authors: Bolognesi, Tommaso Derrick, John

Source: Software & Systems Modeling; Jul2005, Vol. 4 Issue 3, p234-235, 2p

ASGR1 and ASGR2, the Genes that Encode the Asialoglycoprotein Receptor (Ashwell Receptor), Are Expressed in Peripheral Blood Monocytes and Show Interindividual Differences in Transcript Profile.

Authors: Harris, Rebecca Louise Van den Berg, Carmen Wilma Bowen, Derrick John

Source: Molecular Biology International. 2012, p1-10. 10p. 1 Chart, 5 Graphs.

The Year's Publications for 2009: A Selected List.

Authors: Cuthbert, Alexander J.¹

Source: Scottish Literary Review; Spring/Summer2010, Vol. 2 Issue 1, p171-178, 8p

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.

Authors: DUPONT, GUILLAUME AIT-AMEUR, YAMINE SINGH, NEERAJ KUMAR et al.

Source: ACM Transactions on Embedded Computing Systems; Jul2021, Vol. 20 Issue 4, p1-37, 37p

Modelling concurrent objects running on the TSO and ARMv8 memory models.

Authors: Winter, Kirsten Smith, Graeme Derrick, John

Source: Science of Computer Programming; Oct2019, Vol. 184, pN.PAG-N.PAG, 1p

Waiting for asteroid 35396.

Authors: Derrick, John

Source: Embedded Systems Design. Nov2008, Vol. 21 Issue 11, p36-38. 2p.

Subjects: Systems engineering, Technological innovations, Creative ability in technology, Industrial research, High technology

Concede or Deny: Do Management Persuasion Tactics Affect Auditor Evaluation of Internal Control Deviations?

Authors: Wolfe, Christopher J. Mauldin, Elaine G. Diaz, Michelle Chandler

Source: Accounting Review. Nov2009, Vol. 84 Issue 6, p2013-2037. 25p. 1 Diagram, 5 Charts, 1 Graph.

Texas Water Safari : The World's Toughest Canoe Race

Authors: Bob Spain Joy Emshoff

Resource Type: eBook.

Subjects: Texas Water Safari--History, Texas Water Safari--Biography, Texas Water Safari (1st : 1963 : San Marcos, Tex.--, Canoe racing--History.--Texas, Canoes and canoeing--History.--Texas, Rivers--Recreational use--Texas

Categories: SPORTS & RECREATION / Water Sports / Canoeing, SPORTS & RECREATION / History, SPORTS & RECREATION / Water Sports / General

Assessment of Effectiveness of Cool Coat in Reducing Heat Strain among Workers in Steel Industry.

Authors: Parameswarappa, S. B. Narayana, J.

Source: Indian Journal of Occupational & Environmental Medicine. Jan-Apr2017, Vol. 21 Issue 1, p29-35. 7p. 1 Color Photograph, 1 Diagram, 4 Charts, 1 Graph.

Sports Physical Therapy Section Abstracts: Poster Presentations SPO1-SPO119.

Source: Journal of Orthopaedic & Sports Physical Therapy. Jan2016, Vol. 46 Issue 1, pA158-A208.

FINANCE.

Source: Reference & Research Book News. Feb2005, Vol. 20 Issue 1, p130-136. 7p.

Unsolved Civil Rights Murder Cases, 1934-1970

Authors: Michael Newton

Resource Type: eBook.

Subjects: Racism--United States--History--20th century, Civil rights movements--United States--History--20th century, African Americans--Crimes against--History--20th century, Murder--United States--History--20th century, Hate crimes--United States--History--20th century

Categories: SOCIAL SCIENCE / Criminology