Search

Your search keyword '"A. Eades"' showing total 3,479 results

Search Constraints

Start Over You searched for: Author "A. Eades" Remove constraint Author: "A. Eades" Search Limiters Available in Library Collection Remove constraint Search Limiters: Available in Library Collection
3,479 results on '"A. Eades"'

Search Results

2. GraphTrials: Visual Proofs of Graph Properties

3. Investigating Factors That Predict Japanese Science Teachers' Job Satisfaction: Evidence from TIMSS 2019

4. Qualitative study of psychosocial factors impacting on Aboriginal women’s management of chronic disease

5. Exploiting New Properties of String Net Frequency for Efficient Computation

6. Allele-specific dysregulation of lipid and energy metabolism in early-stage hypertrophic cardiomyopathy

7. CelticGraph: Drawing Graphs as Celtic Knots and Links

8. A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)

10. Correction: Can flash glucose monitoring improve glucose management for Aboriginal and Torres Strait Islander peoples with type 2 diabetes? A protocol for a randomised controlled trial

11. Can flash glucose monitoring improve glucose management for Aboriginal and Torres Strait Islander peoples with type 2 diabetes? A protocol for a randomised controlled trial

15. Increasing awareness of sexually transmitted infections (STI) testing and addressing stigma may improve STI testing in Aboriginal and Torres Strait Islander youth: Evidence from the Next Generation Youth Wellbeing Study

16. Combining dependency, grades, and adjoint logic

17. Examining Progression in Mountain Bike Specialization: A Nationwide Study

18. Sublinear-Space Streaming Algorithms for Estimating Graph Parameters on Sparse Graphs

20. Serum B-Cell Maturation Antigen Reflects Disease Status in a Patient Who Developed Nonsecretory Multiple Myeloma: A Case Report

22. Kaat Koort: Study protocol for a pragmatic randomized controlled trial of a multifactorial, multidisciplinary Aboriginal Health Practitioner-led Aboriginal dementia prevention intervention

23. Shape-Faithful Graph Drawings

24. Higher dose corticosteroids in hospitalised COVID-19 patients requiring ventilatory support (RECOVERY): a randomised, controlled, open-label, platform trial

27. The Deadly Details: How Clear and Complete Are Publicly Available Sources of Human Rabies Information?

28. A Dependent Dependency Calculus (Extended Version)

30. Allele-specific dysregulation of lipid and energy metabolism in early-stage hypertrophic cardiomyopathy

31. Intersectoral collaboration for supporting the health and wellbeing of Aboriginal families and children in out-of-home care: perspectives from Western Australian Aboriginal Community Controlled Health Organisations

32. Feasibility and acceptability of the use of flash glucose monitoring encountered by Indigenous Australians with type 2 diabetes mellitus: initial experiences from a pilot study

35. A graded dependent type system with a usage-aware semantics (extended version)

36. Graded Modal Dependent Type Theory

37. New Quality Metrics for Dynamic Graph Drawing

38. Grading Adjoint Logic

41. A mixed methods study of Aboriginal health workers’ and exercise physiologists’ experiences of co-designing chronic lung disease ‘yarning’ education resources

42. Physiotherapy-led restorative care enabling improved frailty measures in adults after starting dialysis in Northern Territory of Australia: The ‘Frailty-to-Fit’ pilot study

44. Unifying graded and parameterised monads

45. A Study of Mental Maps in Immersive Network Visualization

47. A Quality Metric for Symmetric Graph Drawings

48. Multi-level Graph Drawing using Infomap Clustering

49. A Quality Metric for Visualization of Clusters in Graphs

50. On the Lambek Calculus with an Exchange Modality

Catalog

Books, media, physical & digital resources