Results 11 to 20 of about 3,443,370 (344)
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014 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 +4 more sources
Backdoors to Satisfaction [PDF]
, 2012 A backdoor set is a set of variables of a propositional formula such that fixing the truth values of the variables in the backdoor set moves the formula into some polynomial-time decidable class. If we know a small backdoor set we can reduce the question of whether the given formula is satisfiable to the same question for one or several easy formulas ...
Serge Gaspers, Stefan Szeider
openaire +3 more sources
An Integrated Model of Patient and Staff Satisfaction Using Queuing Theory [PDF]
, 2015 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
ASSESSMENT OF LIBRARY USERS’ FEEDBACK USING MODIFIED MULTILAYER PERCEPTRON NEURAL NETWORKS
ICTACT Journal on Soft Computing, 2017 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
Indirect impact of employees’ social capital on their income at Dong Thap Muoi, Long An Province
Ho Chi Minh City Open University Journal of Science - Economics and Business Administration, 2021 The study aims to examine the direct impact of social capital on the employment and income of workers. The research model is built based on Granovetter’s theory of the strength of weak-ties relationships, Putnam’s social capital theory, and the results ...
Pham Tan Hoa
doaj +1 more source
Acta Médica Portuguesa, 2017 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
International Journal of Adaptive Control and Signal Processing, EarlyView., 2023 Summary In this contribution, we propose a detailed study of interpolation‐based data‐driven methods that are of relevance in the model reduction and also in the systems and control communities. The data are given by samples of the transfer function of the underlying (unknown) model, that is, we analyze frequency‐response data.
Quirin Aumann, Ion Victor Gosea
wiley +1 more source
CUSTOMER PERCEPTION ON SERVICE QUALITY TOWARDS TOURISM CUSTOMER SATISFACTION IN MALAYSIAN MARINE TOURISM SECTOR [PDF]
Geo Journal of Tourism and Geosites, 2021 Marine based tourism has emerged as a subject of concern in the area of ocean and coastal management. Today, demand for marine tourism has increased dramatically and is highlighted as one of the new horizons and fastest-growing sectors in the world’s ...
Mohammad Arije ULFY +3 more
doaj +1 more source
Data‐driven performance metrics for neural network learning
International Journal of Adaptive Control and Signal Processing, EarlyView., 2023 Summary Effectiveness of data‐driven neural learning in terms of both local mimima trapping and convergence rate is addressed. Such issues are investigated in a case study involving the training of one‐hidden‐layer feedforward neural networks with the extended Kalman filter, which reduces the search for the optimal network parameters to a state ...
Angelo Alessandri +2 more
wiley +1 more source
Investigating the relationship between satisfaction of environmental factors and students' academic achievement [PDF]
Fanāvarī-i āmūzish, 2020 Background and Objectives: Satisfaction with the environment is one of the human aspirations, in the other words, satisfaction is an ideal concept that provides an appropriate context for empowering individuals and socializing them in order to ...
Hadi Keshmiri, Khatereh Sajjadi
doaj +1 more source