Search results

The potential growth in cryptocurrencies has raised serious ethical and religious issues leading to a new investment rethinking. This paper aims to identify the influence of religiosity on cryptocurrency acceptance through an extended technology acceptance model (TAM) model.

In the first phase, this research develops a conceptual model that extends the theory of the TAM by integrating the religiosity component. In the second phase, the proposed model is tested using search volume queries in daily frequencies from 01/01/2018 to 31/12/2022 and structural equation modeling (SEM).

The empirical results demonstrate a significant positive effect of religiosity on the intention to use cryptocurrency, the users' perceived usefulness (PU) and ease of use (PEOU). Besides, the authors note that PEOU positively influences the intention. Furthermore, religiosity indirectly affects the intention through the PEOU and positively impacts the intention through the PU. In the same way, PEOU has a considerable indirect effect on the intention through PU.

This study has practical and theoretical contributions by providing insights into the cryptocurrency acceptance factors. In other words, it contributes to the literature by extending TAM models. Practically, it helps managers determine factors affecting the intention to use cryptocurrencies. Therefore, they can adjust their industry according to the suitable characteristics for creating successful projects.

Identifying the effect of religiosity on cryptocurrency users' choices and decisions has a social added value as it provides an understanding of the evolution of psychological variants.

The findings emphasize the importance of integrating big data to analyze users' attitudes. Besides, most studies on cryptocurrency acceptance are investigated based on one kind of religion, such as Christianity or Islam. Nevertheless, this paper integrates the effect of five types of faith on the users' intentions.

The anticipation of organizational change and the transition process often creates uncertainty for employees and can lead to stress and anxiety. It is therefore essential for all organizations, especially those that operate in high-demand working environments, to support the well-being of staff throughout the change process.

Research on how employees respond to the organizational change of relocating to a new work space is limited. To fill this gap in the research, we present a case study examining the well-being of clinical and health care employees before and after a disruptive change: relocation in workplace facilities. In addition, factors that enabled successful change in this high-stress, high-demand working environment were investigated. Interviews were conducted with 20 participants before the relocation and 11 participants after relocation. Following an inductive approach, data were analyzed using thematic analysis to identify key themes.

Our findings suggest that a supportive team, inclusive leadership and a psychologically safe environment, may buffer negative employee well-being outcomes during disruptive organizational change.

This research contributes to the literature on successful organizational change in health care by highlighting the resources which support well-being throughout the change process and enabling the successful transition to a new facility.

The purpose of this paper is to develop a software-library in the R programming language that implements the concepts of the interpretive coordinate, interpretive axis and interpretive plane. This allows for the automatic and reliable interpretation of results from the multiple correspondence analysis (MCA) as previously proposed and published. Consequently, the users can seamlessly apply these concepts to their data, both via R commands and a corresponding graphical interface.

Within the context of this study, and through extensive literature review, the advantages of developing software using the Shiny library were examined. This library allows for the development of full-stack applications for R users without the need for knowledge of the corresponding technologies required for the development of complex applications. Additionally, the structural components of a Shiny application were presented, leading ultimately to the proposed software application.

Software utilizing the Shiny library enables nonexpert developers to rapidly develop specialized applications, either to present or to assist in the understanding of objects or concepts that are scientifically intriguing and complex. Specifically, with this proposed application, the users can promptly and effectively apply the scientific concepts addressed in this study to their data. Additionally, they can dynamically generate charts and reports that are readily available for download and sharing.

The proposed package is an implementation of the fundamental concepts of the exploratory MCA method. In the next step, discoveries from the geometric data analysis will be added as features to provide more comprehensive information to the users.

The practical implications of this work include the dissemination of the method’s use to a broader audience. Additionally, the decision to implement it with open-source code will result in the integration of the package’s functions by other third-party user packages.

The proposed software introduces the initial implementation of concepts such as interpretive coordination, the interpretive axis and the interpretive plane. This package aims to broaden and simplify the application of these concepts to benefit stakeholders in scientific research. The software can be accessed for free in a code repository, the link to which is provided in the full text of the study.

The compliance checking of Building Information Modeling (BIM) models is crucial throughout the lifecycle of construction. The increasing amount and complexity of information carried by BIM models have made compliance checking more challenging, and manual methods are prone to errors. Therefore, this study aims to propose an integrative conceptual framework for automated compliance checking of BIM models, allowing for the identification of errors within BIM models.

This study first analyzed the typical building standards in the field of architecture and fire protection, and then the ontology of these elements is developed. Based on this, a building standard corpus is built, and deep learning models are trained to automatically label the building standard texts. The Neo4j is utilized for knowledge graph construction and storage, and a data extraction method based on the Dynamo is designed to obtain checking data files. After that, a matching algorithm is devised to express the logical rules of knowledge graph triples, resulting in automated compliance checking for BIM models.

Case validation results showed that this theoretical framework can achieve the automatic construction of domain knowledge graphs and automatic checking of BIM model compliance. Compared with traditional methods, this method has a higher degree of automation and portability.

This study introduces knowledge graphs and natural language processing technology into the field of BIM model checking and completes the automated process of constructing domain knowledge graphs and checking BIM model data. The validation of its functionality and usability through two case studies on a self-developed BIM checking platform.

The acceleration of globalized commerce and economic activities has meant that conventional and Shariah (Islamic law) compliant organizations transact and negotiate among themselves. Therefore, this study aims to explore the concept of corporate negotiation and the communicative principles that guide the negotiation process among Shariah-compliant organizations.

The study uses a qualitative method through an inductive interpretative approach by conducting 20 in-depth interviews among four groups of experts. These consist of three muftis, ten academicians in Islamic assets, finance and asset jurisprudence; three practitioners in charge of inter-organizational negotiation and decision-making; and four shariah board members of selected Islamic banks.

The findings reported that business negotiation is used by Islamic organizations for reconciliation, consultation, resolving disagreements and as a means of achieving spiritual satisfaction. Furthermore, the key communicative principles of the negotiation process consist of the credibility of informational exchange, flexible interactions and the openness and truthful disclosure of information.

The empirical data discussed in this study supports the claim that macro-environmental factors and social and cultural values should be considered when examining business negotiating behaviors. However, this study focuses only on the banking/service organization negotiation. Therefore, future research should focus on the Islamic negotiation process in the context of diplomatic and international relations.

The findings reported in this study offer insight for negotiators operating among Islamic organizations to understand the principles and process of negotiation in the purview of Shariah standards and principles.

In terms of theoretical implications, this study reveals a clear conceptual difference between the conventional concept and the Islamic perspective of corporate negotiation. Also, this study highlights the impact of organizational culture, specifically Islamic management strategies, on the business negotiation process and business communication principles.

This chapter of the book aims to introduce multiobjective linear programming (MLP) as an optimum tool to find the best quality engineering techniques (QET) in the main domains of supply chain management (SCM). The importance of finding the best quality techniques in SCM elements in the shortest possible time and at the least cost allows all organizations to increase the power of experts’ analysis in supply chain network (SCN) data under cost-effective conditions. In other words, this chapter aims to introduce an operations research model by presenting MLP for obtaining the best QET in the main domains of SCM. MLP is one of the most determinative tools in this chapter that can provide a competitive advantage. Under goal and system constraints, the most challenging task for decision-makers (DMs) is to decide which components to fund and at what levels. The definition of a comprehensive target value among the required goals and determining system constraints is the strength of this chapter. Therefore, this chapter can guide the readers to extract the best statistical and non-statistical techniques with the application of an operations research model through MLP in supply chain elements and shows a new innovation of the effective application of operations research approach in this field. The analytic hierarchy process (AHP) is a supplemental tool in this chapter to facilitate the relevant decision-making process.

Reducing the number of generated mutants by clustering redundant mutants, reducing the execution time by decreasing the number of generated mutants and reducing the cost of mutation testing are the main goals of this study.

In this study, a method is suggested to identify and prone the redundant mutants. In the method, first, the program source code is analyzed by the developed parser to filter out the effectless instructions; then the remaining instructions are mutated by the standard mutation operators. The single-line mutants are partially executed by the developed instruction evaluator. Next, a clustering method is used to group the single-line mutants with the same results. There is only one complete run per cluster.

The results of experiments on the Java benchmarks indicate that the proposed method causes a 53.51 per cent reduction in the number of mutants and a 57.64 per cent time reduction compared to similar experiments in the MuJava and MuClipse tools.

Developing a classifier that takes the source code of the program and classifies the programs' instructions into effective and effectless classes using a dependency graph; filtering out the effectless instructions reduces the total number of mutants generated; Developing and implementing an instruction parser and instruction-level mutant generator for Java programs; the mutant generator takes instruction in the original program as a string and generates its single-line mutants based on the standard mutation operators in MuJava; Developing a stack-based evaluator that takes an instruction (original or mutant) and the test data and evaluates its result without executing the whole program.

Classical unit root tests are known to suffer from potentially crippling size distortions, and a range of procedures have been proposed to attenuate this problem, including the use of bootstrap procedures. It is also known that the estimating equation’s functional form can affect the outcome of the test, and various model selection procedures have been proposed to overcome this limitation. In this chapter, the authors adopt a model averaging procedure to deal with model uncertainty at the testing stage. In addition, the authors leverage an automatic model-free dependent bootstrap procedure where the null is imposed by simple differencing (the block length is automatically determined using recent developments for bootstrapping dependent processes). Monte Carlo simulations indicate that this approach exhibits the lowest size distortions among its peers in settings that confound existing approaches, while it has superior power relative to those peers whose size distortions do not preclude their general use. The proposed approach is fully automatic, and there are no nuisance parameters that have to be set by the user, which ought to appeal to practitioners.

Prefabricated building has been widely applied in the construction industry all over the world, which can significantly reduce labor consumption and improve construction efficiency compared with conventional approaches. During the construction of prefabricated buildings, the overall efficiency largely depends on the lifting sequence and path of each prefabricated component. To improve the efficiency and safety of the lifting process, this study proposes a framework for automatically optimizing the lifting path of prefabricated building components using building information modeling (BIM), improved 3D-A* and a physic-informed genetic algorithm (GA).

Firstly, the industry foundation class (IFC) schema for prefabricated buildings is established to enrich the semantic information of BIM. After extracting corresponding component attributes from BIM, the models of typical prefabricated components and their slings are simplified. Further, the slings and elements’ rotations are considered to build a safety bounding box. Secondly, an efficient 3D-A* is proposed for element path planning by integrating both safety factors and variable step size. Finally, an efficient GA is designed to obtain the optimal lifting sequence that satisfies physical constraints.

The proposed optimization framework is validated in a physics engine with a pilot project, which enables better understanding. The results show that the framework can intuitively and automatically generate the optimal lifting path for each type of prefabricated building component. Compared with traditional algorithms, the improved path planning algorithm significantly reduces the number of nodes computed by 91.48%, resulting in a notable decrease in search time by 75.68%.

In this study, a prefabricated component path planning framework based on the improved A* algorithm and GA is proposed for the first time. In addition, this study proposes a safety-bounding box that considers the effects of torsion and slinging of components during lifting. The semantic information of IFC for component lifting is enriched by taking into account lifting data such as binding positions, lifting methods, lifting angles and lifting offsets.

The purpose of this column is to inform librarians and other information professionals about prompt engineering (PE) and to challenge them to consider how it relates to the work that they are doing and consider if it might enhance their current ability to serve users.

PE is a new job category in the fields of technology and artificial intelligence. Prompt engineers use various approaches to elicit the best possible outputs from large language module technologies such as ChatGPT. This column examines the various elements present in effective prompts and how the skills, knowledge and abilities relate to the work that librarians already do, where there are disruptions and how the field of library and information science may approach studying the emergence and effectiveness of PE in resolving information needs.

While PE shares many of the goals, procedures and skillsets that librarians already know and use, it is a disruption in information-seeking processes. It is a highly complex undertaking that requires a mix of knowledge, skills and abilities. If done well, PE will allow information seekers to achieve a whole new level of results both in terms of the information retrieved and the content that is produced based on that information.

Librarians are currently generally not considered to be prime candidates for PE positions. However, this column introduces the idea that many librarians already have the knowledge, skills, abilities and aptitude to do PE. This may be as prompt engineers or by integrating PE into their existing professional practice.