In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory \(\rm S_2 ^1(PV)\) has bounded model companion then \(\rm NP=coNP\). We also study bounded versions of some other related notions such as Stone topology.

There are many studies conducted on recommendation systems, most of which are focused on recommending items to users and vice versa. Nowadays, social networks are complicated due to carrying vast arrays of data about individuals and organizations. In today’s competitive environment, companies face two significant problems: supplying resources and attracting new customers. Even the concept of supply-chain management in a virtual environment is changed. In this article, we propose a new and innovative combination approach to recommend organizational people in social (...) networks based on organizational communication and SCM. The proposed approach uses a hybrid strategy that combines basic collaborative filtering and demographic recommendation systems, using data mining, artificial neural networks, and fuzzy techniques. The results of experiments and evaluations based on a real dataset collected from the LinkedIn social network showed that the hybrid recommendation system has higher accuracy and speed than other essential methods, even substantially has eliminated the fundamental problems with such systems, such as cold start, scalability, diversity, and serendipity. (shrink)

Making proper decisions in today’s complex world is a challenging task for decision makers. A promising approach that can support decision makers to have a better understanding of complex systems is agent-based modeling. ABM has been developing during the last few decades as a methodology with many different applications and has enabled a better description of the dynamics of complex systems. However, the prescriptive facet of these applications is rarely portrayed. Adding a prescriptive decision-making aspect to ABM can support the (...) decision makers in making better or, in some cases, optimized decisions for the complex problems as well as explaining the investigated phenomena. In this paper, first, the literature of DM with ABM is inquired and classified based on the methods of integration. Performing a scientometric analysis on the relevant literature lets us conclude that the number of publications attempting to integrate DM and ABM has not grown during the last two decades, while analysis of the current methodologies for integrating DM and ABM indicates that they have serious drawbacks. In this regard, a novel nature-inspired model articulation called optimal agent framework has been proposed to ameliorate the disadvantages and enhance the realization of proper decisions in ABM at a relatively low computational cost. The framework is examined with the Bass diffusion model. The results of the simulation for the customized model developed by OAF have verified the feasibility of the framework. Moreover, sensitivity analyses on different agent populations, network structures, and marketing strategies have depicted the great potential of OAF to find the optimal strategies in various stochastic and unconventional conditions which have not been addressed prior to the implementation of the framework. (shrink)

Publication date: 26 January 2017 Source: Author: Abolfazl Mohammadi, Javad Momeni Angela Carter in her famous short story, The Bloody Chamber, depicts a protagonist whose identity seems to be a predetermined sign in a signifying loop from which she can make no escape. In the first part of our paper, we attempt to show how The protagonist’s ensuing psychological tension is aggravated by the conflict which she feels between her ideal ego and her ego-ideal and which leads her to (...) unrelenting introspection and interior dialogue with her existential states. Such interior dialogue provides the protagonist with an existential ground on which she empties all her life events of their presence by signifying them through Derridean Differance. Therefore, her interior dialogue results in non-identity in her subjectivization both in the realm of signs and of events. Then, we focus on the protaganist’s paradoxical urges spontaneously outflowed from within which, by resisting symbolization, provide her with the possibility of becoming what she thinks she has never been and allow for her moments of self-determination. Finally, we illustrate how such psychological odyssey takes shape in the Gothic setting which arouses, in Lacanian terminology, pre-symbolic tendencies and which involves the coincidence of Gothic horror with the horrors of social reality. (shrink)

One of the most important problems in philosophy especially after Mulla Sadra is Philosophical explanation of corporeal resurrection. Aqa Ali Modarres as a post Sadraian philosopher has a new theory which is based on some philosophical principles among them we can mention these: Soul by departure from body leaves some features in body components which are in harmony with its existence. These features create a substantial motion in body components and put them in an existential evolution. Finally a new body (...) which is made up through this existential evolution connects to the soul again in hereafter. The substantial motion of body is in a way that every body solely matches its own soul which had in its previous life. So, on the basis of Modarres' theory it will be possible to have a new perspective on life after death which is more compatible with Quran and Sunna and is away from the difficulties of Dashtaki's theory. (shrink)

Multidrug-resistant Acinetobacter baumannii is recognized to be among the most difficult antimicrobial-resistant gram negative bacilli to control and treat. One of the major challenges that the pathogenic bacteria face in their host is the scarcity of freely available iron. To survive under such conditions, bacteria express new proteins on their outer membrane and also secrete iron chelators called siderophores. Antibodies directed against these proteins associated with iron uptake exert a bacteriostatic or bactericidal effect against A. baumanii in vitro, by blocking (...) siderophore mediated iron uptake pathways. Attempts should be made to discover peptides that could mimic protein epitopes and possess the same immunogenicity as the whole protein. Subsequently, theoretical methods for epitope prediction have been developed leading to synthesis of such peptides that are important for development of immunodiagnostic tests and vaccines. The present study was designed to in silico resolving the major obstacles in the control or in prevention of the diseases caused by A. baumannii. We exploited bioinformatic tools to better understand and characterize the Baumannii acinetobactin utilization structure of A. baumannii and select appropriate regions as effective B cell epitopes. In conclusion, amino acids 26–191 of cork domain and 321–635 of part of the barrel domain including L4–L9, were selected as vaccine candidates. These two regions contain functional exposed amino acids with higher score of B cell epitopes properties. Majority of amino acids are hydrophilic, flexible, accessible, and favorable for B cells from secondary structure point of view. (shrink)

Infertility is a prevalent worldwide health issue and is defined by the World Health Organization as a global health problem. Considering the importance of the psychological dimensions of infertility, various measurement tools have been used to measure the variables involved in infertility, of which the most widely used are the following: the Symptom Checklist 90, the Brief Symptom Inventory, the State-Trait Anxiety Inventory Form, and the Depression Anxiety Stress Scale. Therefore, given the problems of infertile people in terms of psychological (...) dimensions, the aim of this meta-analysis was to assess the psychological assessment score in infertility. Following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses protocol, we applied an online database with no time restriction. Data were gathered using a random-effect model to estimate the standard mean difference for the evaluation of the strength of association analyses. Our data demonstrated a significant higher SCL90 score, and a non-significant higher DASS score. It is essential to seek for strategies to help infertile patients overcome their infertility-related psychological problems. (shrink)

Order picking, which is collecting a set of products from different locations in a warehouse, has repeatedly been described as one of the most laborious and time-consuming internal logistic processes. Each order is issued to pick some products located at given locations in the warehouse. In this paper, we consider an order picking problem, in which a number of orders with different delivery due dates are going to be retrieved by a limited number of order pickers in multiperiods such that (...) the total tardiness is minimized. The aim is to determine a retrieval plan in terms of order batching and order picker multitrip routing as decision variables. Besides, products are arrived and replenished at the predetermined locations at different periods. Therefore, products sitting in those locations should be delivered soon to provide empty rooms for replenishment. A mixed integer linear programming formulation is proposed for this new problem. The model is optimally solved for small-size problems. For larger instances, grouping metaheuristic algorithms are proposed based on particle swarm optimization and the league championship algorithm that use group-based operators to generate reasonable batches of orders. Improvement heuristics are designed as well. The performance of the MILP formulation and metaheuristic algorithms is analyzed for different problem instances whose designs are based on real data gathered from an auto parts warehouse. Results indicate that our algorithms can stably solve large instances of the problem in a reasonable time. (shrink)

Background:Forgiveness has the potential to resolve painful feelings arising from nurse–patient conflicts. It would be useful to evaluate direct and indirect important factors which are related to forgiveness in order to design interventions that try to facilitate forgiveness.Aim/objective:The purpose of this study was to evaluate the intermediating role of empathy in the cultural competence–forgiveness association among nurses using structural equation modeling.Research design:The research applied a cross-sectional correlational design.Participants and research context:The study included 380 nurses eight hospitals in southern Iran.Ethical considerations:The (...) Ethics and Research Committee of Birjand University of Medical Sciences approved the study protocol. The voluntary nature of participation was explained consent was obtained from participants, and anonymity was guaranteed.Findings:Most of the participants were married and female and fell in the 20- to 30-year-old category. Most of them (89.5%) had a working experience of 1–10 years. The proposed model showed that nurses’ empathy intermediated the association between nurses’ cultural competence and forgiveness which has fitted the data acceptably (root mean square error approximation = 0.070; comparative fit index = 0.993; goodness-of-fit index = 0.983; and χ2/df = 2.85).Conclusion:Empathy skills and cultural competence training were essential for interventions aimed at increasing the tendency to forgive patients. In such interventions, planners should aim at increasing nurses’ cultural competence in order to enhance their empathy toward patients, which can, in turn, lead to a greater wish to forgive patients. (shrink)