Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process model at runtime. To facilitate such dynamic process changes we have adopted techniques from casebased reasoning (CBR). In particular, our existing approach allows to capture the semantics of ad-hoc changes, to support their memorization, and to enable their reuse in upcoming exceptional situations. To further improve change reuse this paper presents an approach for discovering dependencies between ad-hoc modifications from change history. Based on this information better user assistance can be provided when dynamic process changes have to be made.
We have employed first-principles electronic structure calculations to examine the hypothetical (but plausible) oxide spinel, LiCr2O4 with the d 2.5 electronic configuration. The cell (cubic) and internal (oxygen position) structural parameters have been obtained for this compound through structural relaxation in the first-principles framework. Within the one-electron band picture, we find that LiCr2O4 is magnetic, and a candidate half-metal. The electronic structure is substantially different from the closely related and well known rutile half-metal CrO2. In particular, we find a smaller conduction band width in the spinel compound, perhaps as a result of the distinct topology of the spinel crystal structure, and the reduced oxidation state. The magnetism and half-metallicity of LiCr2O4 has been mapped in the parameter space of its cubic crystal structure. Comparisons with superconducting LiTi2O4 (d 0.5 ), heavy-fermion LiV2O4 (d 1.5 ) and charge-ordering LiMn2O4 (d 3.5 ) suggest the effectiveness of a nearly-rigid band picture involving simple shifts of the position of EF in these very different materials. Comparisons are also made with the electronic structure of ZnV2O4 (d 2 ), a correlated insulator that undergoes a structural and antiferromagnetic phase transition.PACS numbers: 71.15.Nc,
At the EUROSAM Conference 1974 it was conjectured that there exist probably no canonical forms for polynomial expressions under polynomial side relations. In 1965, however,Buchberger had already implemented a reduction algorithm solving the problem over fields. Positive results were also attained independently since 1974 by R. Shtokhamer and the author. In this note a general theorem on canonical representatives is obtained and by application to Buchberger's and Shtokhamer's algorithms it is proven that the stated problem is solved .
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. However, the added value of PMS strongly depends on their ability to support business process changes which can affect the process type as well as the process instance level. This does not only impose challenging conceptual issues (e.g., correctness of process schemata after changes) but also requires sophisticated implementation concepts with respect to efficient algorithms, flexible architectures, and reasonable treatment of resources. In this paper we sketch the general implementation concepts for representing process type and process instance data as well as for realizating process schema evolution. All these concepts have been developed and are currently implemented in the ADEPT2 prototype within the AristaFlow project.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.