UH Research Archive: Recent submissions
Now showing items 2721-2740 of 11145
-
A Proof System and a Decision Procedure for Equality Logic
(Springer Nature Link, 2004)Equality Logic with uninterpreted functions is used for proving the equivalense or refinement between systems (hardware verification, compiler translation, etc). Current approaches for deciding this type of formulas use a ... -
A Decision Procedure for Equality Logic with Uninterpreted Functions
(Springer Nature Link, 2004)The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced. Since it is based on the DPLL method, the ... -
The Third Wittgenstein Conference
(2009-12) -
Re-shoring & Offshoring Trends: Managing Engineering Multinationals - A comparison of offshoring and outsourcing strategies in UK and German multinational corporations
(2015)UK and German headquartered engineering multinational corporations (MNCs) are compared with a focus on their outsourcing and offshoring initiatives. A novel conceptual framework is developed that uses differing varieties ... -
International management: A conceptual framework for comparison of offshoring and outsourcing strategies by UK and German multinational corporations
(2015)This paper outlines research by a doctoral candidate exploring differences in approach to outsourcing and offshoring by multinational corporations. In particular, a comparison is drawn between German and UK headquartered ... -
Globalization: Managing Multinationals - a comparison of offshoring and outsourcing strategies in UK and German multinational corporations
(2015)This paper outlines research exploring differences in approach to outsourcing and offshoring by multinational corporations. In particular, a comparison is drawn between German and UK headquartered organizations in the ... -
Glucosinolate biosynthesis from amino acids
(CAB International, 2015-04)Glucosinolates are natural plant products that are derived from aliphatic and aromatic amino acids by certain plants. Glucosinolates may be metabolized to a variety of potentially toxic products via myrosinase-catalysed ... -
Development of haemostatic decontaminants for the treatment of wounds contaminated with chemical warfare agents. 2 : Evaluation of in vitro topical decontamination efficacy using undamaged skin
(2015-05-23)The risk of penetrating, traumatic injury occurring in a chemically contaminated environment cannot be discounted. Should a traumatic injury be contaminated with a chemical warfare (CW) agent, it is likely that standard ... -
Eram, ergo sum? : A 1-year retrospective study of General Pharmaceutical Council fitness to practise hearings
(2015-06)The principal aims of this research were: to assess whether aggravating and mitigating circumstances considered by the General Pharmaceutical Council (GPhC) when imposing sanctions are considered when determining impairment ... -
Molecular dynamics simulation study of rheological properties of CuO–water nanofluid
(2015-06-01)Nanoparticle (NP) dispersion in engineering fluids holds significant characteristics that impact the quality and performance of liquid fluidic systems, like in biomedical fluids, contaminated water system, heat and energy ... -
Impairment and sanction in Medical Practitioners Tribunal Service fitness to practise proceedings
(2015-03)The principal aims of this research were to assess whether, when imposing sanctions, the aggravating and mitigating circumstances considered by the General Medical Council are first considered when determining impairment ...