125 research outputs found
Diversification and Intensification in Parallel {SAT} Solving
International audienceIn this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an important role in several search algorithms including local search, and appear to be a key point in modern parallel SAT solvers. To study their trade-off, we define two roles for the computational units. Some of them classified as Masters perform an original search strategy, ensuring diversification. The remaining units, classified as Slaves are there to intensify their master's strategy. Several important questions have to be answered. The first one is what information should be given to a slave in order to intensify a given search effort? The second one is, how often, a subordinated unit has to receive such information? Finally, the question of finding the number of subordinated units along their connections with the search efforts has to be answered. Our results lead to an original intensification strategy which outperforms the best parallel SAT solver, and solves some open SAT instances
Gender Equality and Corporate Social Responsibility in the Middle East
This chapter focuses on corporate social responsibility (CSR) in relation to gender equality in the Arab Middle East. It examines the relationship between CSR and gender in the workplace whilst exploring the link between CSR and human resource management (HRM) policies and practices. The chapter first presents some seminal work on gender equality and diversity management, looking at the business case for gender equality within the CSR and HRM contexts, before engaging with relevant work on gender equality in the Arab Middle East. It concludes by offering recommendations on advancing the equality agenda at the macro- and meso-levels, within a framework which recognises the centrality of agency of women, as well as the potential of positive changes through corporations being seen as âagents of changeâ. The chapter advocates for organisational and governmental policies to promote gender equality in the Arab Middle East
Photovoltaic properties of thermally-grown selenium-doped silicon photodiodes for infrared detection applications
The state of HRM in the Middle East:Challenges and future research agenda
Based on a robust structured literature analysis, this paper highlights the key developments in the field of human resource management (HRM) in the Middle East. Utilizing the institutional perspective, the analysis contributes to the literature on HRM in the Middle East by focusing on four key themes. First, it highlights the topical need to analyze the context-specific nature of HRM in the region. Second, via the adoption of a systematic review, it highlights state of development in HRM in the research analysis set-up. Third, the analysis also helps to reveal the challenges facing the HRM function in the Middle East. Fourth, it presents an agenda for future research in the form of research directions. While doing the above, it revisits the notions of âuniversalisticâ and âbest practiceâ HRM (convergence) versus âbest-fitâ or context distinctive (divergence) and also alternate models/diffusion of HRM (crossvergence) in the Middle Eastern context. The analysis, based on the framework of cross-national HRM comparisons, helps to make both theoretical and practical implications
Adsorção de cromo (VI) por carvĂŁo ativado granular de soluçÔes diluĂdas utilizando um sistema batelada sob pH controlado
Increased pro-inflammatory cytokines, glial activation and oxidative stress in the hippocampus after short-term bilateral adrenalectomy
Forecasting the load of electrical power systems in midâ and longâterm horizons: a review
- âŠ