Results 11 to 20 of about 3,677,137 (333)
This article introduces an abstract interpretation framework that codifies the operations in SAT and SMT solvers in terms of lattices, transformers and fixed points. We develop the idea that a formula denotes a set of models in a universe of structures.
Vijay D'Silva +2 more
openaire +3 more sources
ObjectiveTo examine the prevalence of second-hand smoke exposure (SHS) in indoor public places and the satisfaction to tobacco control in residents two years after the implementation of the Tobacco Control Regulation – 2019 in Hangzhou city of Zhejiang ...
Xin-yue ZHANG, Meng WANG, Feng YU
doaj +1 more source
ASSESSMENT OF LIBRARY USERS’ FEEDBACK USING MODIFIED MULTILAYER PERCEPTRON NEURAL NETWORKS
An attempt has been made to evaluate the feedbacks of library users of four different libraries by using neural network based data mining techniques. This paper presents the results of a survey of users’ satisfactory level on four different libraries ...
K G Nandha Kumar, T Christopher
doaj +1 more source
Nursing student perspectives on clinical instructor performance
The rapid development of higher education in nursing and science and technology in Indonesia is still having problems related to the quality of learning, student graduates, and variations in academic quality that affect the quality of higher education ...
Rizeki Dwi Fibriansari +2 more
doaj +1 more source
An Integrated Model of Patient and Staff Satisfaction Using Queuing Theory [PDF]
This paper investigates the connection between patient satisfaction, waiting time, staff satisfaction and service time. It uses a variety of models to enable improvement against experiential and operational health service goals.
Clarkson, J +3 more
core +3 more sources
The use of internet and smartphone has evolved. The rapid growth of innovation in technology allows them to become a high-functioning service provider through many of the applications available to help out humans fulfilling their needs.
Vania Katherine Hermawan +1 more
doaj +1 more source
BackgroundPatient mental healthcare services satisfaction is a crucial component in evaluating the effectiveness and efficiency of clinical service delivery. It can be explained as the client’s reaction to various aspects of the services they receive and
Mamaru Melkam, Tilahun Kassew
doaj +1 more source
Introduction: The Management of postoperative pain after abdominal surgery is a major challenge to the anesthesiologist. The optimization of postoperative analgesia improves prognosis contributing also to patient satisfaction and reducing morbidity and ...
Rita Araújo +11 more
doaj +1 more source
Histohub software is a way to improve the learning of medical students [PDF]
Background & Objective: Considering the complexity and variety of histological concepts and the positive impact of virtual systems on the teaching of this course, a study was conducted to design, implement, and evaluate the Histohub software in medical ...
Zeynab Gholamnia-Shirvani +4 more
doaj
The Relation of Dental Students’ Learning Styles to Their Satisfaction with E-Learning [PDF]
Background: E-learning is often covered in university curricula.Objectives: The purpose of this research was to identify the learning preferences of students and to look at the connection between learning styles and e-learning pleasure.Methods: All first-
Shima Hamzenejad +2 more
doaj +1 more source

