- UHRA Home
- Browsing by Author
Browsing by Author "Centre for Future Societies Research"
Now showing items 81-100 of 1294
-
Austerity urbanism, local government debt-drive, and post COVID predicaments in Britain
Dagdeviren, Hulya (2024-01-01)Conditions of local governance in the aftermath of the global financial crisis are often discussed as reflections of ‘austerity urbanism’. What forms of mutations have taken place in austerity urbanism after the initial ... -
Autapses enable temporal pattern recognition in spiking neural networks
Yaqoob, Muhammad; Steuber, Volker; Wróbel, Borys (BioRxiv, 2023-11-17)Most sensory stimuli are temporal in structure. How action potentials encode the information incoming from sensory stimuli remains one of the central research questions in neuroscience. Although there is evidence that the ... -
Automated formal verification and testing of C programs for embedded systems
Kandl, Susanne; Kirner, Raimund; Puschner, Peter (Institute of Electrical and Electronics Engineers (IEEE), 2007)In this paper, we introduce an approach for automated verification and testing of ANSI C programs for embedded systems. We automatically extract an automaton model from the C code of the SUT (system under test). This ... -
An automated software development for analysis of the morphological-tensile property relationship in egg shell bio-based particulate composites using machine learning algorithms
Rani, G. E.; Murugeswari, R.; Vairamuthu, S.; Rajini, N.; Mohammad, F.; Siengchin, S.; Ismail, S. O.; Senthilkumar, K. (2023-03-01)This work explored the importance of quantitative observation through imaging methods of optical and electron microscopies on the mechanical properties of particulate polymeric composites. Egg shell powder (ESP) reinforced ... -
Automatic calculation of coverage profiles for coverage-based testings
Kirner, Raimund; Haas, W. (2009)Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also used for the development of ... -
Automatic for the people? Problematising the potential of digital planning
Potts, Ruth; Lord, Alex; Sturzaker, John (2024-04-15)This article contributes to the small but growing corpus of literature which analyses the increasing use of digital technologies as part of spatial planning activities. Much of that existing literature focuses on the ... -
Automatic timing model generation by CFG partitioning and model checking
Wenzel, I; Rieder, B; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2005)We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of ... -
Automotive Forensics - Can You Trust Your Car? (Keynote Talk)
Kirner, Raimund (2021-11-17)The issue We tend to have good memories of our exploits and adventures in our car, as our car became a close companion in our daily life. However, have you thought about what your car knows about you, perhaps even secrets ... -
Autophagy in spinal muscular atrophy: from pathogenic mechanisms to therapeutic approaches
Rashid, Saman; Dimitriadi, Maria (2024-01-08)Spinal muscular atrophy (SMA) is a devastating neuromuscular disorder caused by the depletion of the ubiquitously expressed survival motor neuron (SMN) protein. While the genetic cause of SMA has been well documented, the ... -
Avoiding timing anomalies using code transformations
Kadlec, A.; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2010)Divide-and-conquer approaches to worst-case execution-time analysis (WCET analysis) pose a safety risk when applied to code for complex modern processors: Interferences between the hardware acceleration mechanisms of these ... -
Avoiding timing problems in real-time software
Puschner, P.; Kirner, Raimund (Institute of Electrical and Electronics Engineers (IEEE), 2003)To safely establish the correct timing of a real-time processing node, adequate architectural structures have to be used. This refers to the hardware architecture of the processing node as well as the software architecture ... -
Barriers and Enablers to Shared Decision Making in Psychiatric Medication Management: A Qualitative Investigation of Clinician and Service Users' Views
Kaminskiy, Emma; Zisman-Ilani, Yaara; Ramon, Shulamit (2021-06-17)Shared decisionmaking (SDM) is a recommended health communication approach in mental health settings. Yet, implementation of SDM in psychiatric consultations discussing medication management is challenging. Insufficient ... -
Barriers to Successful Adoption of Design for Manufacture and Assembly in Nigeria
Wusu, Godoyon; Alaka, Hafiz; Ajayi, Saheed; Oseghale, Raphael; Yusuf, Wasiu (Obafemi Awolowo University, Ile-Ife, 2021-07-08)Shelter, since time immemorial, has been and will continue to be a vital basic human need. Notably, the need for shelter will continue to increase following increase in world population. However, the current traditional ... -
The BASES Expert Statement on Aerobic Training for Older and Clinical Groups using Arm Crank Ergometry
Bottoms, Lindsay (2015-08-01)The BASES Expert Statement on Aerobic Training for Older and Clinical Groups using Arm Crank Ergometry Lindsay Bottoms1, Paul M. Smith*2, Garry Tew3 and Mike Price4 1University of Hertfordshire, 2Cardiff Metropolitan ... -
Bases expert statement on the use of music for movement among people with Parkinson's
Karageorghis, Costas; Rose, Dawn C.; Annett, Lucy; Bek, Judith; Bottoms, Lindsay; Lovatt, Peter; Poliakoff, Ellen; Schultz, Benjamin; Whyatt, Caroline; Young, William R; Delevoye-Turrell, Yvonne (2020-02-11)Music is an artistic auditory stimulus that unfolds over time. It can prime specific actions and prompt engagement in physical activity as well as heighten motivation during motor tasks (Karageorghis, 2020). Contrastingly, ... -
The BdGAMYB protein from Brachypodium distachyon interacts with BdDOF24 and regulates transcription of the BdCathB gene upon seed germination
González-Calle, Virginia; Iglesias-Fernández, Raquel; Carbonero, Pilar; Barrero-Sicilia, Cristina (2014-09-30)Main conclusion: BdDOF24 interacting with BdGAMYB regulates the BdCathB gene upon germination. During barley seed germination, hydrolytic enzymes (α-amylases, proteases, etc.) synthesized in the aleurone layer in response ... -
BeeZee Bodies Embedded Ethnography Evaluation Project
Newman, Han; Brady, Louca-Mai; Almack, Kathryn; Mathie, Elspeth; Wills, Wendy (University of Hertfordshire, 2023-02-07)The Centre for Research in Public Health and Community Care, University of Hertfordshire (UH) were commissioned by BeeZee Bodies (BZB) to bring academic insights and support BZB’s development of future services. This work ... -
BeeZee Bodies Evaluation: Summary Report
Newman, Han; Brady, Louca-Mai; Almack, Kathryn; Mathie, Elspeth; Wills, Wendy (University of Hertfordshire, 2023-02-07) -
Behavior of RC beams retrofitted with CARDIFRC after thermal cycling
Farhat, Farhat A.; Nicolaides, Demetris; Kanellopoulos, Antonios; Karihaloo, Bhushan Lal (2010-01)This study investigates the effect of thermal cycling on the performance of concrete beams retrofitted with CARDIFRC, a new class of high performance fiber-reinforced cement-based material that is compatible with concrete. ... -
Behaviour Change Strategies to Influence Antimicrobial Stewardship During COVID-19 Pandemic in acute care settings.
Abdelsalam Elshenawy, Rasha; Umaru, Nikkie; Aslanpour, Zoe (2021-06-22)This research explores the effectiveness of Antimicrobial Stewardship (AMS) interventions, focusing on behavioural change strategies during the COVID-19 pandemic in acute care settings. Employing a systematic literature ...