Browsing Waterloo Research by Title
Now showing items 474-493 of 2462
-
Curl-Flow: Boundary-respecting pointwise incompressible velocity interpolation for grid-based fluids
(Association for Computing Machinery, 2022-12)We propose to augment standard grid-based fluid solvers with pointwise divergence-free velocity interpolation, thereby ensuring exact incompressibility down to the sub-cell level. Our method takes as input a discretely ... -
The Current and Evolving Landscape of Bibliometric Tools and Technologies
(American Library Association, 2022-11)While bibliometrics has been around for decades, with the recent development of new bibliometric tools, there has been a surge in interest in bibliometric services at academic institutions in North America. Navigating this ... -
Current Research on Gaseous Ammonia Detecting and Capture Technologies
(Elsevier, 2023)Ammonia is currently widely used for fertilizers, and it continues to grow as a potential green fuel source or hydrogen carrier which may result in growing ammonia emissions. Increasing anthropogenic ammonia emissions ... -
Customizable Machine-Learning Models for Rapid Microplastic Identification Using Raman Microscopy
(American Chemical Society, 2022-11-29)Raman spectroscopy is commonly used in microplastics identification, but equipment variations yield inconsistent data structures that disrupt the development of communal analytical tools. We report a strategy to overcome ... -
Cyberheroes: An Interactive Ebook for Improving Children’s Online Privacy
(Scienceopen, 2017-07)We designed, illustrated, and developed Cyberheroes, an educational interactive ebook that teaches children about online privacy. The ebook was evaluated with children and parents, and had positive effects on children’s ... -
Cyberheroes: The Design and Evaluation of an Interactive Ebook to Educate Children about Online Privacy
(Elsevier, 2017-07)We designed an educational interactive ebook called Cyberheroes and evaluated it to assess its effectiveness at increasing children’s online privacy knowledge and behaviour, and supporting child-parent privacy-related ... -
Cyclicity of finite Drinfeld modules
(Wiley, 2009-12)Le tA=Fq[T] be the polynomial ring over the finite field Fq,letk=Fq(T) be the rational function field, and let K be a finite extension of k. For a prime P of K, we denote by OP the valuation ring of P, by MP the maximal ... -
Cycling degradation testing and analysis of a LiFePO4 battery at actual conditions
(Wiley, 2017-12-01)This paper presents a degradation testing of a lithium-ion battery developed using real world drive cycles obtained from an electric vehicle (EV). For this, a data logger was installed in the EV, and real world drive cycle ... -
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 behavioural modelling in Alloy with control state hierarchy
(Springer Nature, 2023-04)We present Dash, an extension to the Alloy language to model dynamic behaviour using the labelled control state hierarchy of Statecharts. From Statecharts, Dash borrows the concepts to specify hierarchy, concurrency, and ... -
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 ...