Search results

The purpose of this study is to explore the negative consequences of human resource analytics applications using the privacy calculus approach.

By using the existing literature and privacy calculus theory, a theoretical model has been developed. This model helps to examine the benefits and risks associated with HR analytics applications. The theoretical model was validated using the partial least square structural equation modeling (PLS-SEM) technique with 315 respondents from different organizations.

HR analytics provides multiple benefits to employees and organizations. But employee privacy may be compromised due to unauthorized access to employee data. There are also security concerns about the uncontrolled use of these applications. Tracking employees without their consent increases the risk. The study suggests that appropriate regulation is necessary for using HR analytics.

This study is based on cross-sectional data from a specific region. A longitudinal study would have provided more comprehensive results. This study considers five predictors, including other boundary conditions that could enhance the model’s explanative power. Also, data from other countries could improve the proposed model.

The proposed model is useful for HR practitioners and other policymakers in organizations. Appropriate regulations are important for HR analytics applications. The study also highlights various employee privacy and security-related issues emerging from HR analytics applications. The study also discusses the role of leadership support for the appropriate usage of HR analytics.

Only a few research studies have explored the issues of HR analytics and its consequences. The proposed theoretical model is the first to consider the negative consequence of HR analytics through privacy calculus theory. In this perspective, the research is considered to be novel.

Multimedia applications such as digital audio and video have stringent quality of service (QoS) requirement in mobile ad hoc network. To support wide range of QoS, complex routing protocols with multiple QoS constraints are necessary. In QoS routing, the basic problem is to find a path that satisfies multiple QoS constraints. Moreover, mobility, congestion and packet loss in dynamic topology of network also leads to QoS performance degradation of protocol.

In this paper, the authors proposed a multi-path selection scheme for QoS aware routing in mobile ad hoc network based on fractional cuckoo search algorithm (FCS-MQARP). Here, multiple QoS constraints energy, link life time, distance and delay are considered for path selection.

The experimentation of proposed FCS-MQARP is performed over existing QoS aware routing protocols AOMDV, MMQARP, CS-MQARP using measures such as normalized delay, energy and throughput. The extensive simulation study of the proposed FCS-based multipath selection shows that the proposed QoS aware routing protocol performs better than the existing routing protocol with maximal energy of 99.1501 and minimal delay of 0.0554.

This paper presents a hybrid optimization algorithm called the FCS algorithm for the multi-path selection. Also, a new fitness function is developed by considering the QoS constraints such as energy, link life time, distance and delay.

Modern enterprises face a strong economical pressure to increase competitiveness, to operate on a global market, and to engage in alliances of several kinds. In order to meet the requirements and challenges of participating in such alliances, companies must be able to cooperate effectively and efficiently. The purpose of this paper is to provide an overview of some major directions in inter‐organizational cooperation.

In order to cope with the challenges of inter‐organizational cooperation, to share innovative research issues and to facilitate profound discussions about them, the authors organized a series of workshops on Modeling Inter‐Organizational Systems (MIOS‐CIAO!) starting at the annual OTM Federated Conference and Continuing at the Annual CAiSE Conference. This paper summarizes the results of the workshops.

This paper provides an overview of what has been established and what is going on regarding the cooperation of enterprises in networks. The focus has been on the modeling of cooperation, from the business level down to the implementation level.

This overview is a useful source of knowledge for those who want to have a quick insight in the relevant aspects of cooperation, and in many well‐known modeling approaches and techniques. It is also an inspiring source for those who want to investigate yet unsolved or unsatisfactorily solved problems. Although developments, both in theory and in practice, will go on, no landslides are expected. Particularly for practice, the value of this report will therefore last for a considerable time.

Several core notions in the area of inter‐organizational cooperation are clarified, such as collaboration, cooperation, enterprise network, choreography, and orchestration. The whole process of developing or investigating an enterprise network is covered.

A general framework for mobile Web services ‐ which are Web services with the ability to migrate from one host to another ‐ is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migration behavior descriptions using simple but expressive rules. The semantics of the descriptions are defined using Mobile Ambients, namely, a formal model of concurrent mobile processes. With this framework, it is thus possible to add or change migration behaviors without having to modify the BPEL process.

Business process workflow is a design conceptualization to automate the sequence of activities to achieve a business goal with involved participants and a predefined set of rules. Regarding this, a formal business workflow model is a prime requisite to implement a consistent and rigorous business process. In this context, majority of the existing research works are formalized structural features and have not focused on functional and behavioral design aspects of business processes. To address this problem, this paper aims to propose a formal model of business process workflow called as business process workflow using typed attributed graph (BPWATG) enriched with structural, functional and behavioral characteristics of business processes.

Typed attributed graph (ATG) and first-order logic have been used to formalize proposed BPWATG to provide rigorous syntax and semantics towards business process workflows. This is an effort to execute a business workflow on an automated machine. Further, the proposed BPWATG is illustrated using a case study to show the expressiveness of proposed model. Besides, the proposed graph is initially validated using generic modelling environment (GME) case tool. Moreover, a comparative study is performed with existing formal approaches based on several crucial features to exhibit the effectiveness of proposed BPWATG.

The proposed model is capable of facilitating structural, functional and behavioral aspects of business process workflows using several crucial features such as dependency conceptualization, timer concepts, exception handling and deadlock detection. These features are used to handle real-world problems and ensure the consistency and correctness of business workflows.

BPWATG is proposed to formalize a business workflow that is required to make a model of business process machine-readable. Besides, formalizations of dependency conceptualization, exception handling, deadlock detection and time-out concepts are specified. Moreover, several non-functional properties (reusability, scalability, flexibility, dynamicity, reliability and robustness) are supported by the proposed model.

The purpose of this paper is to offer the theory of a parametrical regulation of market economy development, and the results of the theory development and usage.

Theoretical results of the abstract have been obtained by way of applying the theory of ordinary differential equations, geometrical methods in variation tasks and the theory of dynamic systems. These results have been used for solving a number of practical tasks.

The market economy development parametrical regulation theory structure has been offered. The approach to parametrical regulation of a nonlinear dynamic system's development has been suggested. An assumption about the existence of solution to the task of calculus of variations on the choice of the optimum laws of parametrical regulation within the given finite set of algorithms has been set forward. An assumption about the conditions sufficient for the existence of an extremal's bifurcation point of the task of calculus of variations on the choice of the optimum laws of parametrical regulation within the given finite set of algorithms is presented, formulated and proved. Theory application samples have been provided.

Future papers would be focused on studies of rigidness of other mathematic models of economic systems.

The research findings could be applied to the choice and realization of an effective budget and tax as well as monetary and loan state policy.

The market economy development parametrical regulation theory has been offered for consideration for the first time.

The purpose of this paper is to consider the logical specification, and automated verification, of high‐level robotic behaviours.

The paper uses temporal logic as a formal language for providing abstractions of foraging robot behaviour, and successively extends this to multiple robots, items of food for the robots to collect, and constraints on the real‐time behaviour of robots. For each of these scenarios, proofs of relevant properties are carried out in a fully automated way. In addition to automated deductive proofs in propositional temporal logic, the possibility of having arbitrary numbers of robots involved is considered, thus allowing representations of robot swarms. This leads towards the use of first‐order temporal logics (FOTLs).

The proofs of many properties are achieved using automatic deductive temporal provers for the propositional and FOTLs.

Many details of the problem, such as location of the robots, avoidance, etc. are abstracted away.

Large robot swarms are beyond the current capability of propositional temporal provers. Whilst representing and proving properties of arbitrarily large swarms using FOTLs is feasible, the representation of infinite numbers of pieces of food is outside of the decidable fragment of FOTL targeted, and practically, the provers struggle with even small numbers of pieces of food.

The work described in this paper is novel in that it applies automatic temporal theorem provers to proving properties of robotic behaviour.

In this chapter we investigate the ownership and control of UK firms using contemporary methods from computational graph theory. Specifically, we analyze a ‘small-world’ model of ownership and control. A small-world is a network whose actors are linked by a short chain of acquaintances (short path lengths), but at the same time have a strongly overlapping circle of friends (high clustering). We simulate a set of corporate worlds using an ensemble of random graphs introduced by Chung and Lu (2002a, 2002b). We find that the corporate governance network structures analyzed here are more clustered (‘clubby’) than would be predicted by the random-graph model. Path lengths, though, are generally not shorter than expected. In addition, we investigate the role of financial institutions: potentially important conduits creating connectivity in corporate networks. We find such institutions give rise to systematically different network topologies.

The purpose is to reduce round-off errors in numerical simulations. In the numerical simulation, different kinds of errors may be created during analysis. Round-off error is one of the sources of errors. In numerical analysis, sometimes handling numerical errors is challenging. However, by applying appropriate algorithms, these errors are manageable and can be reduced. In this study, five novel topological algorithms were proposed in setting up a structural flexibility matrix, and five different examples were used in applying the proposed algorithms. In doing so round-off errors were reduced remarkably.

Five new algorithms were proposed in order to optimize the conditioning of structural matrices. Along with decreasing the size and duration of analyses, minimizing analytical errors is a critical factor in the optimal computer analysis of skeletal structures. Appropriate matrices with a greater number of zeros (sparse), a well structure and a well condition are advantageous for this objective. As a result, a problem of optimization with various goals will be addressed. This study seeks to minimize analytical errors such as rounding errors in skeletal structural flexibility matrixes via the use of more consistent and appropriate mathematical methods. These errors become more pronounced in particular designs with ill-suited flexibility matrixes; structures with varying stiffness are a frequent example of this. Due to the usage of weak elements, the flexibility matrix has a large number of non-diagonal terms, resulting in analytical errors. In numerical analysis, the ill-condition of a matrix may be resolved by moving or substituting rows; this study examined the definition and execution of these modifications prior to creating the flexibility matrix. Simple topological and algebraic features have been mostly utilized in this study to find fundamental cycle bases with particular characteristics. In conclusion, appropriately conditioned flexibility matrices are obtained, and analytical errors are reduced accordingly.

(1) Five new algorithms were proposed in order to optimize the conditioning of structural flexibility matrices. (2) A JAVA programming language was written for all five algorithms and a friendly GUI software tool is developed to visualize sub-optimal cycle bases. (3) Topological and algebraic features of the structures were utilized in this study.

This is a multi-objective optimization problem which means that sparsity and well conditioning of a matrix cannot be optimized simultaneously. In conclusion, well-conditioned flexibility matrices are obtained, and analytical errors are reduced accordingly.

Engineers always finding mathematical modeling of real-world problems and make them as simple as possible. In doing so, lots of errors will be created and these errors could cause the mathematical models useless. Applying decent algorithms could make the mathematical model as precise as possible.

Errors in numerical simulations should reduce due to the fact that they are toxic for real-world applications and problems.

This is an original research. This paper proposes five novel topological mathematical algorithms in order to optimize the structural flexibility matrix.

The purpose of this paper is to report on the Multidisciplinary Sustainability Education Project (MSEP) as a framework using sustainability-themed education modules to introduce students to the need for multidisciplinary approaches to solving twenty-first-century problems while retaining traditional course strengths and content.

The MSEP uses sustainability-themed education models and a multidisciplinary approach to link courses across disciplines. Modules are identified by an overarching question with activities designed to address the overarching question from course-specific perspectives, resulting in students writing short technical reports summarizing their results. Students then read and evaluate technical reports from other classes, and complete a summary activity designed to connect perspectives from different disciplines.

The multi-method assessment identified no loss or gain in discipline-specific learning; increased understanding about the characteristics of twenty-first-century problems, in particular those related to sustainability; and increased students ' favorable perceptions of introductory calculus. Assessment of increased understanding of how different disciplines can work together to understand complex problems was difficult to measure due to limitations of a project-developed assessment instrument.

This paper contributes to undergraduate sustainability education by describing a framework for connecting courses using sustainability-themed modules. By implementing an asynchronous manner where courses use materials from the project Web site and contribute materials to the Web site after implementing a module, it is easy to incorporate a module into existing courses, any educational institution’s existing structure and across institutions. The framework’s flexible design allows new courses from any discipline to connect to a module, allowing for multidisciplinary connections to grow over time.