Search Results - bit part

"The talking bit of medicine, that's the most important bit": doctors and Aboriginal interpreters collaborate to transform culturally competent hospital care by Vicki Kerrigan, Stuart Yiwarr McGrath, Sandawana William Majoni, Michelle Walker, Mandy Ahmat, Bilawara Lee, Alan Cass, Marita Hefler, Anna P. Ralph

Connect to this object online.

A Bit of Fit: Minimalist Intervention in Adolescents Based on a Physical Activity Tracker by Gaudet, Jeffrey, Gallant, François, Bélanger, Mathieu

Connect to this object online.

Part CM Classical Mechanics by Likharev, Konstantin

Access online version

Designand Implementation of New DES64X and DES128X on 32, 64 Bit Operating System Environments by Ammar H. Jasim

Connect to this object online.

'Perhaps a Bit Different to What We Did Twenty Years Ago': Senior Teachers' Perceptions of Outdoor Adventure within Primary Education in England by Chris Webber, Ashley Hardwell

Connect to this object online.

"A good little tool to get to know yourself a bit better": a qualitative study on users' experiences of app-supported menstrual tracking in Europe by Johanna Levy, Nuria Romo-Avilés

Connect to this object online.

A bit of medical paternalism? A qualitative study on power relations between women and healthcare providers when deciding on mode of birth in five public maternity wards of Argenti... by M. Vila Ortiz, C. Gialdini, C. Hanson, A. P. Betrán, G. Carroli, H. Mølsted Alvesson

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Link to Metadata

Modelling, Dimensioning and Optimization of 5G Communication Networks, Resources and Services

DOAB: download the publication
DOAB: description of the publication

PANDUAN HADITS ARBA'IN DAN SYARAHNYAMENGGUNAKAN JAVAFX(Studi Kasus : SMA Muhammadiyah 8 ) by Dahono, Harry Eka Putra

Connect to this object online

Algorithms and Data Structures With Applications to Graphics and Geometry by Nievergelt, Jurg, Hinrichs, Klaus

Table of Contents: “…Syntax -- 7. Syntax analysis -- Part III: Objects, algorithms, programs. -- 8. Truth values, the data type 'set', and bit acrobatics -- 9. …”
Access online version

Highly Resolved Synthetic Aperture Radar with Beam Steering by Ossowska, Alicja

DOAB: download the publication
DOAB: description of the publication

Sigma metrics calculation in clinical Biochemistry laboratory - pathway for quality improvement by S. Meera, K.N. Nithya

Connect to this object online.

Ethical values in martial arts stories written by chinese beat generation by Muzaki, Ferril Irham

Link Metadata

In This Issue by Michael Scriven

Connect to this object online.

Nurturing newborns in South Sudan series: Essential care for the small baby by Isaac Gawar, Grace J. Soma

Connect to this object online.

Editorial: Keeping an eye on Ebola Virus Disease in South Sudan by Edward Eremugo Kenyi

Connect to this object online.