The ever greater pressure of competition to which enterprises are subjected has made the process continuous improvement a crucial issue today. For this reason it should be useful to compose the business processes reusing previously modeled business process parts characterizing them according to the current market needs. This work presents an approach based on the use of Business Process Lines (...

We investigate the complexity of the model checking problem for intuitionistic and modal propositional logics over transitive Kripke models. More specific, we consider intuitionistic logic IPC, basic propositional logic BPL, formal propositional logic FPL, and Jankov’s logic KC. We show that the model checking problem is P-complete for the implicational fragments of all these intuitionistic log...

Broadband over powerline (BPL) is a technology that allows connectivity to internet connection riding via the low tension (LT) power line communication (PLC). A hybrid BPL was proposed rural area of Sarawak as an alternative option expand without need reform new pathway for connectivity. The data signal transmitted tower access point(s) mounted on electricity pole provides voltage (LV) line. Th...

Software Product Lines (SPL) and Service-Oriented Architectures (SOA) are two emerging approaches to the software development currently receiving great attention both in research and in practice. Our work suggests an approach to transfer the main peculiarities of the SPL (i.e. asset reuse and variation mechanisms) to the SOA systems development, in order to realize a SOA systems line. In this w...

From the viewpoints of relative deprivation and social comparison jealousy, this article reports on a study that investigated the effects of choice on subsequent appropriate feeling and appreciation for another person who is superior to subjects in the same or different field. A 2 x 2 between-groups design was used to determine the effects of choice (present or absent) and field (same or differ...

Hypertension is a complex trait of unknown cause in humans. Mice of the inbred strain BPH/2 serve as a rodent model of human hypertension and display elevated blood pressure compared with the hypotensive strain BPL/1. An F2 intercross of BPH/2 and BPL/1 and 2 backcrosses of BPL/1 with Mus spretus were used to perform interval linkage mapping for systolic blood pressure in a genome scan. Signifi...

Heterogeneity correction algorithms can have a large impact on the dose distributions of stereotactic body radiation therapy (SBRT) for lung tumors. Treatment plans of 20 patients who underwent SBRT for lung tumors with the prescribed dose of 48 Gy in four fractions at the isocenter were reviewed retrospectively and recalculated with different heterogeneity correction algorithms: the pencil bea...

In this paper we present a new multilevel information sharing strategy within a swarm to handle single objective, constrained and unconstrained optimization problems. A swarm is a collection of individuals having a common goal to reach the best value (minimum or maximum) of a function. Among the individuals in a swarm, there are some better performers (leaders) those that set the direction of s...

Under investigation is a forced extended Korteweg–de Vries equation with variable coefficients, which can describe the atmospheric blocking phenomenon. The nonisospectral Lax pair for this equation is constructed via symbolic computation, and new integrable conditions are given. Oneand two-soliton solutions are derived explicitly through the binary-Bell-polynomial method under the integrable co...

Broussonetia papyrifera has increasingly been used as a high-quality feedstuff for ruminants due to its advantageous characteristics. The storage temperature can influence the fermentation quality of silage; however, effect on B. leaves (BPL) silage not reported. In present study, and bacterial community BPL, stored at 15 °C 30 °C, were investigated during ensiling (day 3, 7, 14, 30) with or wi...