1,051 results on '"Hayes, Ian"'
Search Results
152. Refinement Calculus for Logic Programming in Isabelle/HOL
153. Visitors' knowledge of the broad-headed snake in Royal National Park
154. Real-Time Program Refinement Using Auxiliary Variables
155. Reasoning about Non-terminating Loops Using Deadline Commands
156. Structuring Real-Time Object-Z Specifications
157. Rare causes of abdominal pain: a primer for the admitting general surgeon.
158. Capabilities for Java: Secure Access to Resources
159. The Unconstitutionality of Section 8(b)(4)(ii)(B) and the Supreme Court's Unique Treatment of Union Speech
160. Balancing expressiveness in formal approaches to concurrency
161. Novel PPP1R13L variant expands the phenotype of a rare cardiocutaneous syndrome
162. Urachal sinus presenting as an acute umbilical infection
163. Further characterization of Borjeson‐Forssman‐Lehmann syndrome in females due to de novo variants in PHF6
164. Towards Real-Time Object-Z
165. Further characterization of Borjeson-Forssman-Lehmann syndrome in females due to de novo variants in PHF6
166. Structural operational semantics through context-dependent behaviour
167. Prospective, population-based long QT molecular autopsy study of postmortem negative sudden death in 1 to 40 year olds
168. A semantics for Behavior Trees using CSP with specification commands
169. A formal semantics for a language with type extension
170. T‐stage downstaging of locally advanced rectal cancer after neoadjuvant chemoradiotherapy is not associated with reduced recurrence after adjusting for tumour characteristics
171. Is increasing nodal count associated with improved recurrence‐free and overall survival following standard right hemicolectomy for colon cancer?
172. An Algebra of Synchronous Atomic Steps
173. Reasoning about goal-directed real-time teleo-reactive programs
174. “We need a community of care in place of EU neoliberalism”
175. Towards Libraries for Z
176. Association between post-operative mobility restrictions and acute colonic pseudo-obstruction after spinal fixation in major trauma patients: A retrospective cohort study.
177. A Case Study in Timed Refinement: A Central Heater
178. Interpretations of Z Schema Operators
179. Using Continuous Real Functions to Model Timed Histories
180. Applications of Angelic Nondeterminism
181. Perforated jejunal diverticulitis requiring resection: operative technical challenges
182. Standardized practices for RNA diagnostics using clinically accessible specimens reclassifies 75% of putative splicing variants
183. Resilience building to COVID-19 in the Pacific : a Cook Islands case study
184. A Generalisation of Bags in Z
185. Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
186. The role of dietary fibre in diverticular disease - a historical perspective
187. Operative intervention rates for acute diverticulitis: a multicentre state-wide study
188. Comparing Oncological Outcomes of Laparoscopic Versus Open Surgery for Colon Cancer: Analysis of a Large Prospective Clinical Database
189. Ubiquitous spin freezing in the superconducting state of UTe2.
190. Ian Russell and Anna Kearney Guigne (eds.). Crossing Over: Fiddle and Dance Studies from Around the North Atlantic 3
191. ‘Radical’ gallbladder avulsion due to blunt trauma
192. Evaluation of Low- and Middle-Income Country Authorship in the Global Orthopedics Literature
193. Colorectal cancer databases and registries in Australia: what data is available?
194. 'You have to strike that balance between sharing and charging': Cape Breton fiddling and intellectual property rights
195. Enzyme Replacement Therapy for Mucopolysaccharidoses: Opinions of Patients and Families
196. A timeband framework for modelling real-time systems
197. De Novo Variants in CNOT1, a Central Component of the CCR4-NOT Complex Involved in Gene Expression and RNA and Protein Stability, Cause Neurodevelopmental Delay
198. Clinical and radiological findings in Schinzel–Giedion syndrome
199. Delayed ileostomy closure increases the odds of Clostridium difficile infection
200. Algebraic reasoning for probabilistic action systems and while-loops
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.