Search Results - Mike Nash~

The Joy of Cryptography by Rosulek, Mike

Access online version

Confidentiality of the medical records of HIV-positive patients in the United Kingdom – a medicolegal and ethical perspective by Mike Williams

Connect to this object online.

Gute Heime - Möglichkeiten der Sichtbarmachung der Qualitäten stationärer Hilfen zur Erziehung by Seckinger, Mike

DOAB: download the publication
DOAB: description of the publication

Gute Heime - Möglichkeiten der Sichtbarmachung der Qualitäten stationärer Hilfen zur Erziehung by Seckinger, Mike

OAPEN Library: download the publication
OAPEN Library: description of the publication

Studien zum Dual Eine Darstellung am niedersorbischen Neuen Testament des Miklawuš Jakubica (1548). Eine sprachwissenschaftliche Analyse by Unger, Mike

DOAB: download the publication
DOAB: description of the publication

Studien zum Dual Eine Darstellung am niedersorbischen Neuen Testament des Miklawuš Jakubica (1548). Eine sprachwissenschaftliche Analyse by Unger, Mike

OAPEN Library: download the publication
OAPEN Library: description of the publication

Predictors of non-use of intrauterine contraception among women aged 18–49 years in a general practice setting in the UK by Walker SH, Newton VL, Hoggart L, Parker MJ

Connect to this object online.

Primary mediastinal large B-cell lymphoma with extensive cardiac involvement by Alma L Pulido, Mike Cusnir, Saberio Lo Presti, Diego Lugo Baruqui, Nicholas Suraci, Orlando Santana

Connect to this object online.

The Mutual Influence of Religion and Science in the Human Understanding and Exploration of Outer Space

Subjects: “…NASA…”
DOAB: download the publication
DOAB: description of the publication

Prospective Evaluation of Surgery vs. Low Dose External Beam Radiotherapy for Painful Thumb Carpometacarpal Osteoarthritis - A Study Protocol by Mike Rüttermann, Alexander Kaltenborn, Annika Trillmann, Andre Gutcke, Robert Michael Hermann

Connect to this object online.

Integrated Surface Water and Groundwater Analysis

Subjects: “…MIKE-11…”
DOAB: download the publication
DOAB: description of the publication

Advances in Sustainable River Management Reconciling Conflicting Interests under Climate Extremes

Subjects: “…river-based tourism…”
DOAB: download the publication
DOAB: description of the publication

Nature-Based Solutions for Restoration of Ecosystems and Sustainable Urban Development

Subjects: “…nature-based solutions…”
DOAB: download the publication
DOAB: description of the publication

Patient safety in ambulance services: a scoping review by Joanne D Fisher, Karoline Freeman, Aileen Clarke, Peter Spurgeon, Mike Smyth, Gavin D Perkins, Mark-Alexander Sujan, Matthew W Cooke

Connect to this object online.

Modelling of Harbour and Coastal Structures

Subjects: “…column-stabilized fish cage…”
DOAB: download the publication
DOAB: description of the publication

Modern Developments in Flood Modelling

Subjects: “…HEC-RAS…”
DOAB: download the publication
DOAB: description of the publication

Developing a core outcome set for the health outcomes for children and adults with congenital oesophageal atresia and/or tracheo-oesophageal fistula: OCELOT task group study protoc... by Nigel J Hall, Anna-may Long, Nick Lansdale, Sebastian King, Lucy Bray, Tom Kovesi, Alex Adams, Jonathan Ducey, Paul Cullis, Shireen A Nah, Lin Yin Ong, Victoria Gray, Paul D Losty, Usha Krishnan, Corne De Vos, Warwick J Teague, Rebecca Thursfield, Sarah Gorst, Nadine Teunissen, Julia Faulkner, Lucia Gutierrez Gammino, Graham Slater, Laura Baird, Julia Brendel, Adam Donne, Eniola Folaranmi, Laura Hopwood, Dan Benscoter, Mike Rutter, Aaron M Zorn

Connect to this object online.

Integrated STEM and STEM Partnerships: Teaching and Learning

DOAB: download the publication
DOAB: description of the publication

Advanced Glasses, Composites and Ceramics for High Growth Industries by Boccaccini, Aldo

DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata