Browsing Waterloo Research by Subject "modeling"
Now showing items 1-6 of 6
-
ALDB: Debugging Alloy Models of Behavioural Requirements
(IEEE, 2020-08)Declarative modelling languages, such as Alloy, are becoming popular for describing behavioural requirements very early in system development because automated analysis of these models provides valuable feedback. Typically, ... -
An experimental test of deviant modeling
(SAGE, 2016)Objectives: Test the effect of deviant peer modeling on theft as conditioned by verbal support for theft and number of deviant models. Methods: Two related randomized experiments in which participants were given a chance ... -
Implications of inherent inhomogeneities in thin carbon fiber-based gas diffusion layers: A comparative modeling study
(Elsevier, 2019-02-01)Thin porous media are present in multiple electrochemical energy devices, where they provide key transport and structural functions. The prototypical example is gas diffusion layers (GDLs) in polymer-electrolyte fuel cells ... -
A modeling and experimental study of capacity fade for lithium-ion batteries
(Elsevier, 2020-11)Lithium-ion batteries are extensively used in electric vehicles, however, their significant degradation over discharge and charge cycles results in severe capacity fade, limiting driving ranges of electric vehicles over ... -
Modeling of carbon dioxide dissolution in an injection well for geologic sequestration in aquifers
(Elsevier, 2021-04-15)Carbon dioxide (CO2) sequestration is considered to be one of the most effective technologies of mitigating greenhouse gas emissions. In this technology, single phase supercritical CO2 is injected into an underground ... -
A randomized trial testing deviant modeling, peer gender, and theft: replication and extension
(2019)Objectives: Replicate previous experimental findings on the causal effect of deviant peer modeling and assess whether the gender of peer models is an important determinant of theft. Methods: A randomized control trial ...