Browsing by Title
Now showing items 4671-4690 of 24519
-
A Decision Procedure for Equality Logic with Uninterpreted Functions
(Springer Nature, 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 ... -
Decision support for optimising energy consumption in European greenhouses
(2008)Improving existing greenhouse structures in terms of insulation and other features can save energy with significantly lower investment costs than building new greenhouses. Within the EU Framework VI project GREENERGY a ... -
A decision support system for demand and capacity modelling of an accident and emergency department
(2019-01-06)Accident and emergency (A&E) departments in England have been struggling against severe capacity constraints. In addition, A&E demands have been increasing year on year. In this study, our aim was to develop a decision ... -
A decision support system for environmental management of agriculture.
(1996)The University of Hertfordshire, in collaboration with two UK agricultural establishments are developing a decision support system for environmental management in arable agriculture. The system aims to encourage and promote ... -
A Decision Support Tool for Health Service Re-design
(2012)Many of the outpatient services are currently only available in hospitals, however there are plans to provide some of these services alongside with General Practitioners. Consequently, General Practitioners could soon be ... -
A decision support tool for predicting patients at risk of readmission : a comparison of classification trees, logistic regression, generalized additive models and multivariate adaptive regression splines
(University of Hertfordshire, 2012)The number of emergency (or unplanned) readmissions in the United Kingdom National Health Service (NHS) has been rising for many years. This trend, which is possibly related to poor patient care, places financial pressures ... -
A decision support tool for predicting patients at risk of readmission : a comparison of classification trees, logistic regression, generalized additive models, and multivariate adaptive regression splines
(2014-10-28)The number of emergency (or unplanned) readmissions in the United Kingdom National Health Service (NHS) has been rising for many years. This trend, which is possibly related to poor patient care, places financial pressures ... -
A decision support tool with health economic modelling for better management of DVT patients
(2022-12-26)Background: Responding to the increasing demand for Deep Vein Thrombosis (DVT) treatment in the United Kingdom (UK) at times of limited budgets and resources is a great challenge for decision-makers. Therefore, there is a ... -
Decision-making and future planning for children with life-limiting conditions : A qualitative systematic review and thematic synthesis
(2017-08-07)Background: In the last decade, the number of children with life-limiting and life-threatening conditions in England has almost doubled, and it is estimated that worldwide, there are 1.2 million children with palliative ... -
Declassing the Academy
(2022-04-01) -
Decoding actions and emotions in deaf children: Evidence from a biological motion task
(2012-07-31)This study aimed to explore the recognition of emotional and non-emotional biological movements in children with severe and profound deafness. Twenty-four deaf children, together with 24 control children matched on mental ... -
Decoding odor quality and intensity in the Drosophila brain
(2014-12-16)To internally reflect the sensory environment, animals create neural maps encoding the external stimulus space. From that primary neural code relevant information has to be extracted for accurate navigation. We analyzed ... -
Decoding of Purkinje cell pauses by deep cerebellar nucleus neurons
(BioMed Central (BMC), 2009)The recognition of parallel fibre (PF) input patterns by Purkinje cells has been suggested to underlie cerebellar learning [1,2]. A candidate mechanism for the recognition of PF patterns is the long-term depression (LTD) ... -
Decoding the amplitude and slope of continuous signals into spikes with a spiking point neuron model
(BioRxiv, 2024-05-20)In this study, we harness the signal processing potential of neurons, utilizing the Izhikevich point neuron model to efficiently decode the slope or amplitude of fluctuating continuous input signals. Using biophysically ... -
Decoding the rubric for dissertation writing: a pilot workshop
(2020)Discussion of exemplars of student work is a productive means of explaining tacit knowledge and guiding students into the requirements of academic writing. Through a pilot workshop on dissertation writing, this study ... -
Decoding the spectra of SDSS early-type galaxies : New indicators of age and recent star formation
(2007-12-01)We apply principal component analysis (PCA) to a sample of early-type galaxies from the Sloan Digital Sky Survey (SDSS) in order to infer differences in their star formation histories from their unresolved stellar populations. ...