Browsing by Title
Now showing items 1599-1618 of 24473
-
Autogenous self-healing of cement with expansive minerals-I : Impact in early age crack healing
(2018-12-20)This study investigates the impact of expansive minerals, namely magnesium oxide, bentonite clay, and quicklime on the early age autogenous self-healing capacity of Portland cement (PC) paste. Individual mineral dosage in ... -
Autogenous self-healing of cement with expansive minerals-II : Impact of age and the role of optimised expansive minerals in healing performance
(2019-01-10)This part of the study presents the optimisation of expansive minerals mix proportions and establishes a quantitative and qualitative correlation between self-healing and the cracking age of cementitious materials. The ... -
An automated approach towards detecting complex behaviours in deep brain oscillations
(2014-03-15)Extracting event-related potentials (ERPs) from neurological rhythms is of fundamental importance in neuroscience research. Standard ERP techniques typically require the associated ERP waveform to have low variance, be ... -
Automated external defibrillation in cardiac surgery
(2002-12)Revision open heart surgery may be impeded by a dense network of pericardial adhesions rendering cardiac mobilization laborious or incomplete, and internal defibrillation impossible. External defibrillation, the current ... -
Automated Feedback for a Computer-Adaptive Test: A Case Study.
(Loughborough University, 2005)This paper reports on an empirical study regarding the generation of automated feedback for a computer-adaptive test (CAT) application. In the study reported here, two groups of Computer Science undergraduate students ... -
An automated feedback system based on adaptive testing : extending the model
(2010)The results of the recent national students survey (NSS) revealed that a major problem in HE today is that of student feedback. Research carried out by members of the project team in the past has led to the development of ... -
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.