Browsing Waterloo Research by Title
Now showing items 449-468 of 2274
-
Damage Evolution in Complex-Phase and Dual-Phase Steels during Edge Stretching
(Multidisciplinary Digital Publishing Institute, 2017-03-27)The role of microstructural damage in controlling the edge stretchability of Complex-Phase (CP) and Dual-Phase (DP) steels was evaluated using hole tension experiments. The experiments considered a tensile specimen with a ... -
Damage Measurements in Epoxy Structural Adhesives using Microhardness
(Elsevier ScienceDirect, 2018-04)The design of adhesively joined components requires the ability to predict and model the joint response under expected operating conditions, including crash events for vehicle structures. Specifically, quantifying adhesive ... -
Daptomycin forms cation- and size-selective pores in model membranes
(Elsevier, 2014-10)Daptomycin is a lipopeptide antibiotic that is used clinically to treat severe infections caused by Gram-positive bacteria. Its bactericidal action involves the calcium-dependent binding to membranes containing ... -
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems
(IEEE, 2021-09)Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly, but lacks explicit constructs for describing ... -
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
(IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ... -
DASH: Declarative Modelling with Control State Hierarchy (Preliminary Version)
(University of Waterloo, 2018)We present a new language, called DASH, for describing formal behavioural models. DASH combines common modelling constructs to describe abstractly both data and control in an integrated manner. DASH uses the Alloy language ... -
Data Analysis Protocol for the Development and Evaluation of Population Pharmacokinetic Models for Incorporation Into the Web-Accessible Population Pharmacokinetic Service - Hemophilia (WAPPS-Hemo)
(JMIR Publications, 2016-12-07)Background: Hemophilia is an inherited bleeding disorder caused by a deficiency in a specific clotting factor. This results in spontaneous bleeding episodes and eventual arthropathy. The mainstay of hemophilia treatment ... -
Data Envelopment Analysis may Obfuscate Corporate Financial Data: Using Support Vector Machine and Data Envelopment Analysis to Predict Corporate Failure for Nonmanufacturing Firms
(Taylor & Francis, 2017)Corporate failure prediction has drawn numerous scholars’ attention because of its usefulness in corporate risk management, as well as in regulating corporate operational status. Most research on this topic focuses on ... -
Data on removal kinetics of pharmaceutical compounds, artificial sweeteners, and perfluoroalkyl substances from water using a passive treatment system containing zero-valent iron and biochar
(Elsevier, 2019-12)The data presented in this paper relate to the research paper “Removal of pharmaceutical compounds, artificial sweeteners, and perfluoroalkyl substances from water using a passive treatment system containing zero-valent ... -
The data processing pipeline for the Herschel1 - HIFI instrument
(Elsevier, 2019-04)The HIFI data processing pipeline was developed to systematically process diagnostic, calibration and astronomical observations taken with the HIFI science instrument as part of the Herschel mission. The HIFI pipeline ... -
Data related to architectural bone parameters and the relationship to Ti lattice design for powder bed fusion additive manufacturing
(Elsevier, 2021-12)The data included in this article provides additional supporting information on our publication (McGregor et al. [1]) on the review of the natural lattice architecture in human bone and its implication towards titanium ... -
Data related to the effect of specimen geometry and orientation on tensile properties of Ti-6Al-4V manufactured by electron beam powder bed fusion
(Elsevier, 2021-12)Additive manufacturing quality assessment often relies on tensile testing as the preferred methodology to qualify builds and materials. The data included in this article provides additional supporting information on our ... -
Data Scratchpad Prefetching for Real-time Systems
(2017-05-01)In recent years, the real-time community has produced a variety of approaches targeted at managing on- chip memory (scratchpads and caches) in a predictable way. However, to obtain safe Worst-Case Execution Time (WCET) ... -
Debate: what is the best method to monitor surgical performance?
(BioMed Central, 2016-04-05)Background There is considerable recent interest in the monitoring of individual surgeon or hospital surgical outcomes. If one aggregates data over time and assesses performance with a funnel plot, then the detection ... -
Decidability and k-Regular Sequences
(Elsevier, 2020-05)In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from considering • lower and upper bounds on growth rate; in particular boundedness, • images, • ... -
Decoding covert somatosensory attention by a BCI system calibrated with tactile sensation
(Institute of Electrical and Electronics Engineers, 2017-10-12)Objective: We propose a novel calibration strategy to facilitate the decoding of covert somatosensory attention by exploring the oscillatory dynamics induced by tactile sensation. Methods: It was hypothesized that the ... -
Deconvolution of overlapping peaks from differential scanning calorimetry analysis for multi-phase NiTi alloys
(Elsevier, 2018-07-10)An adaptive function capable of fitting the curve of Differential Scanning Calorimetry (DSC) data for any NiTi phase transformation peak has been developed. A novel methodology was applied in conjunction with this new ... -
Decoupling of a neutron interferometer from temperature gradients
(AIP Publishing, 2016-12-16)Neutron interferometry enables precision measurements that are typically operated within elaborate, multi-layered facilities which provide substantial shielding from environmental noise. These facilities are necessary to ... -
Deep Dynamic Stall and Active Aerodynamic Modification on a S833 Airfoil using Pitching Trailing Edge Flap
(SAGE Journals, 2020-08)Due to the dynamic nature of the wind resource, wind turbine blades are subjected to significant variation in flow parameters such as angle of attack. In some cases, the occurrence of dynamic stall on wind turbine blades ... -
Deep Residual Networks for Hyperspectral Image Classification
(Institute of Electrical and Electronics Engineers, 2017-07-25)Deep neural networks can learn deep feature representation for hyperspectral image (HSI) interpretation and achieve high classification accuracy in different datasets. However, counterintuitively, the classification ...