Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Verifying the Option Type with Rely-Guarantee Reasoning
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software EngineeringPages 367–380https://doi.org/10.1145/3691620.3695036Many programming languages include an implementation of the option type, which encodes the absence or presence of values. Incorrect use of the option type results in run-time errors, and unstylistic use results in unnecessary code. Researchers and ...
- doctoral_thesisJanuary 2020
Burnout, Hardiness, and Intent to Turnover among U.S. Healthcare Ancillary Managers
AbstractThe healthcare industry has many challenges that increases the likelihood of burnout among employees to include emotional fatigue because of caring for sick patients, long work hours, and the physical demands of the job. The purpose of this ...
- doctoral_thesisJanuary 2020
Embracing Live Stream Video: A Virtual Conundrum
AbstractRelationships develop between people. In their infancy they are cautious and experimental, but upon maturation they become trusting and reliable. Businesses are interested in hastening this process, as commerce is also an event occurring between ...
- ArticleJuly 2018
Healthy Hankerings: Motivating Adolescents to Combat Obesity with a Mobile Application
Human-Computer Interaction. Interaction in ContextPages 185–194https://doi.org/10.1007/978-3-319-91244-8_15AbstractObesity has become a major public health issue in most countries around the world. In addition, adolescent obesity is increasing in an alarming rate all over the world. Many attempts have been made to address this issue that ranges from doing ...
- bookMay 2018
3D Printing and Biofabrication
This volume provides an in-depth introduction to 3D printing and biofabrication and covers the recent advances in additive manufacturing for tissue engineering. The book is divided into two parts, the first part on 3D printing discusses conventional ...