Browsing University of Hertfordshire by Title
Now showing items 1605-1624 of 24471
-
Automated formal verification and testing of C programs for embedded systems
(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 individual feedback and marking system : an empirical study
(2011)The recent National Students Survey showed that feedback to students was an ongoing problem in Higher Education. This paper reports on the extension of our past research into the provision of automated feedback for objective ... -
Automated interpretation and accessible presentation of technical diagrams for blind people
(2004-12-01)The EU-supported TeDUB (Technical Drawings Understanding for the Blind) project is developing a software system that aims to make technical diagrams accessible to blind and visually impaired people. It consists of two ... -
Automated Reduction and Calibration of SCUBA Archive Data Using ORAC-DR
(Astronomical Society of the Pacific, 2001)The Submillimetre Common User Bolometer Array (SCUBA) instrument has been operating on the James Clerk Maxwell Telescope (JCMT) since 1997. The data archive is now sufficiently large that it can be used for investigating ... -
An automated software development for analysis of the morphological-tensile property relationship in egg shell bio-based particulate composites using machine learning algorithms
(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 ... -
An Automated tool to detect variable sources in the Vista Variables in the Vía Láctea Survey. The VVV Variables (V^4) catalog of tiles d001 and d002
(2018-08-24)Time-varying phenomena are one of the most substantial sources of astrophysical information, and their study has led to many fundamental discoveries in modern astronomy. We have developed an automated tool to search for ... -
Automated Visual Defect Detection for Flat Steel Surface: A Survey
(2020-01-01)Automated computer-vision-based defect detection has received much attention with the increasing surface quality assurance demands for the industrial manufacturing of flat steels. This article attempts to present a ... -
Automated, unsupervised inversion of multiwavelength lidar data with TiARA : Assessment of retrieval performance of microphysical parameters using simulated data
(2019-06-18)We evaluate the retrieval performance of the automated, unsupervised inversion algorithm, Tikhonov Advanced Regularization Algorithm (TiARA), which is used for the autonomous retrieval of microphysical parameters of ... -
Automatic Analysis of Computation in BioChemical Reactions
(2008)We propose a modeling and analysis method for biochemical reactions based on finite state automata. This is a completely different approach compared to traditional modeling of reactions by differential equations. Our method ... -
Automatic and strategic volitional saccadic eye movements in psychotic patients
(1989)Drug-free schizophrenics were compared with depressive psychotics and normal controls on two saccade initiation tasks which differed with respect to the type of stimulus that initiated a saccadic response. Strategic ... -
Automatic calculation of coverage profiles for coverage-based testings
(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 Code-Generation Techniques for Micro-Threaded RISC Architectures
(2006)There has been an ever-widening gap between processor and memory speeds, resulting in a 'memory wall' where the time for memory accesses dominates performance. To counter this, architectures that use many very small threads ... -
Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones
(2023-08-22)In this paper we explore the extent to which the algebraic structure of a monoid M determines the topologies on M that are compatible withits multiplication. Specifically we study the notions of automatic continuity;minimal ... -
Automatic Differentiation of Algorithms
(2000)We introduce the basic notions of Automatic Differentiation, describe some extensions which are of interest in the context of nonlinear optimization and give some illustrative examples. -
Automatic differentiation of computer programs in a parallel computing environment
(Computational Mechanics, 1997)This paper gives an introduction to a number of methods collectively known as Automatic Differentiation (AD). AD is the systematic application of the rules of calculus to computer programs yielding, as output, programs ... -
Automatic Emotion Recognition in Children with Autism: A Systematic Literature Review
(2022-02-20)The automatic emotion recognition domain brings new methods and technologies that might be used to enhance therapy of children with autism. The paper aims at the exploration of methods and tools used to recognize emotions ... -
Automatic first- and second-order adjoints for truncated Newton
(Polskie Towarzystwo Informatyczne, 2007)The analysis and modification of numerical programs in the context of generating and optimizing adjoint code automatically probably ranges among the technically and theoretically most challenging source transformation ... -
Automatic for the people? Problematising the potential of digital planning
(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 generation of level maps with the do what's possible representation
(Institute of Electrical and Electronics Engineers (IEEE), 2019-09-26)Automatic generation of level maps is a popular form of automatic content generation. In this study, a recently developed technique employing the do what's possible representation is used to create open-ended level maps. ... -
Automatic Hessians by reverse accumulation
(1992)Let n be the number of independent variables of a function f, and let W and S respectively be the time and space bounds for the joint evaluation of {f, f} using automatic differentiation with reverse accumulation. In this ...