Search results

The purpose of this paper is to demonstrate that process verification has matured to a level where it can be used in practice. This paper reports on new verification techniques that can be used to assess the correctness of real‐life models.

The proposed approach relies on using formal methods to determine the correctness of business processes with cancellation and OR‐joins. The paper also demonstrates how reduction rules can be used to improve the efficiency. These techniques are presented in the context of the workflow language yet another workflow language (YAWL) that provides direct support for 20 most frequently used patterns found today (including cancellation and OR‐joins). But the results also apply to other languages with these features (e.g. BPMN, EPCs, UML activity diagrams, etc.). An editor has been developed that provides diagnostic information based on the techniques presented in this paper.

The paper proposes four properties for business processes with cancellation and OR‐joins, namely: soundness, weak soundness, irreducible cancellation regions and immutable OR‐joins and develop new techniques to verify these properties. Reduction rules have been used as a means of improving the efficiency of the algorithm. The paper demonstrates the feasibility of this verification approach using a realistic and complex business process, the visa application process for general skilled migration to Australia, modelled as a YAWL workflow with cancellation regions and OR‐joins.

Business processes sometimes require complex execution interdependencies to properly complete a process. For instance, it is possible that certain activities need to be cancelled mid‐way though the process. Some parallel activities may require complex “wait and see” style synchronisation depending on a given context. These types of business processes can be found in various domains, such as application integration, B2B commerce, web service composition and workflow systems. Even though cancellation and sophisticated join structures are present in many business processes, existing verification techniques are unable to deal with such processes. Hence, this paper plays an important role in making process verification a reality.

The purpose of this paper is to explore the creative city discourse expanding on current tangible and intangible strategies, by integrating recent placemaking tactics to develop a multidimensional framework for designing creative places.

The methodology is based on a framework analysis and critical meta-review of current research on creative city and placemaking.

The findings show that there are three additional factors related to placemaking tactics in the established literature: institutional factors, human factor and arts and design factor emerging from the intersection of creative city and placemaking frameworks.

The findings of this study can inform a more holistic approach to placemaking in creative cities in both theory and practice, namely, a multidimensional place management framework for creative environments of today.

This paper contributes to the current trends in creative city and the development of placemaking guidelines. It provides a simplified view of an exhaustive list of existing literature.

In order to develop high-strength, high-toughness and high-wear-resistance rails suitable for the development and application of heavy-haul railways.

Based on the trial production of 60 kg·m⁻¹ bainite rails, the Zeiss inverted optical microscope, transmission electron microscope and static hydraulic universal tester were used to test the microstructure and property of rail base metal and welded joints. Meanwhile, a trial laying of rails, wing rails of frogs and switch rails for turnouts was performed to systematically analyze their strength, toughness and wear resistance.

The results show that the base metal of 60 kg·m⁻¹ bainite rail is of a uniform microstructure, with a carbide-free bainite matrix, a few of stable residual austenite and M/A islands, and it features high hardness, good wear resistance and good strength-toughness balance. The welded joint is of a uniform microstructure and has good properties.

A bainite rail, laid in a curve section of heavy-haul railway is able to serve for 48 months with a gross traffic tonnage of nearly 600 million tons, whose service life is more than one time longer than that of pearlite rail; the service life of the wing rail of frog and the switch rail for turnout with 60 kg·m⁻¹ bainite rails is 3–4 times longer than that with U75V rails, and no serious damage occurs. The bainite rails also have strong peeling and spalling resistance.

The purpose of this paper is to evaluate the usefulness of an educational game to develop soft skills (also known as pervasive skills), from the perspectives of three groups of role-players (student participants, student committee members and employer companies). The game was designed to provide students with the opportunity to develop soft skills and to determine whether students applied the pervasive skills required by the South African Institute of Chartered Accountants.

Action research was conducted according to a parallel convergent mixed-method research design. Both qualitative and quantitative data were gathered using questionnaires and focus group interviews to determine the usefulness of the educational game.

All three groups perceived the educational game to be effective in requiring students to apply the full spectrum of soft/pervasive skills. Although all the pervasive skills were perceived to be present in the game, teamwork, communication (listening and verbal) and time management skills were perceived to be most prominent, while written communication, professionalism and ethical awareness were found to be less prominent. Overall, this game can be recommended as an effective and innovative teaching method that can positively contribute to the pervasive skills development of accounting students.

The need to deliver well-rounded accounting graduates demonstrating core technical and soft skills (or pervasive skills and competencies) calls for new and innovative teaching methods. Accounting educators and programmes are continuously challenged regarding which methods to apply to meet these outcomes and substantiate their usefulness.

EVERY now and again, one of the solemn monthly or quarterly magazines, by way of enlivening its pages, inserts a terrific onslaught on municipal libraries, in which the judgment of heaven is called down upon the fiction reader, and the library authorities are condemned as a set of ignorant and inefficient office‐holders, who pander to a depraved public taste. The last assailant of this sort whom we had the pleasure of setting right was Mr. J. Churton Collins, who used the Nineteenth Century and After, as the medium for conveying his accusations. Now comes Mr. W. H. Harwood, who fills six‐and‐a‐half pages of the Westminster Review for February, 1906, with a quantum of twaddle about libraries, which differs from most recent articles of the same sort only in its dulness. In his use of this journalistic cliché, Mr. Harwood displays the customary ignorance of the Public Libraries Acts, by styling his paper “Free Libraries and Fiction,” and by his failure to prove even one of his statements by reference to a single concrete fact. Briefly, Mr. Harwood's position is this:—

Resource sharing is an important element in the national planning of library and information services to meet the needs of information, education and culture of the whole community at all levels. An overview of resource sharing practices is presented, with particular reference to the British scene. It is also argued that, with the approach of the Single Market in 1992, resource sharing should now be considered on a European scale. In conclusion, some problems associated with the practice of resource sharing are considered.

Accounting education is passing through a critical stage. In 1988 the American Institute of Certified Public Accountants (AICPA) voted overwhelmingly to require 150 semester hours of education, including a baccalaureate degree, for new members from the year 2000. AICPA together with the National Association of State Boards of Accounting (NASBA) is working to require the 150 hours education requirement to sit for the CPA examination. Twenty four states have passed various versions of this law; many more are in the process of passing it.

A core challenge in background subtraction (BGS) is handling videos with sudden illumination changes in consecutive frames. In our pilot study published in, Sakkos:SKIMA 2019, we tackle the problem from a data point-of-view using data augmentation. Our method performs data augmentation that not only creates endless data on the fly but also features semantic transformations of illumination which enhance the generalisation of the model.

In our pilot study published in SKIMA 2019, the proposed framework successfully simulates flashes and shadows by applying the Euclidean distance transform over a binary mask generated randomly. In this paper, we further enhance the data augmentation framework by proposing new variations in image appearance both locally and globally.

Experimental results demonstrate the contribution of the synthetics in the ability of the models to perform BGS even when significant illumination changes take place.

Such data augmentation allows us to effectively train an illumination-invariant deep learning model for BGS. We further propose a post-processing method that removes noise from the output binary map of segmentation, resulting in a cleaner, more accurate segmentation map that can generalise to multiple scenes of different conditions. We show that it is possible to train deep learning models even with very limited training samples. The source code of the project is made publicly available at https://github.com/dksakkos/illumination_augmentation

Faced with the obvious impossibility of remaining totally self‐sufficient whilst trying to maintain collections and services in difficult economic times, many librarians have turned to resource sharing as the answer to their problems. This article aims to review the ever growing field of literature on resource sharing in order to try to discover what resource sharing is, what need there is for it, what it is intended or hoped to achieve, what sort of resource sharing plans and schemes have been implemented, and in particular to try to find any evidence in the literature on the real benefits and actual costs involved in resource sharing which could be used as justification for such schemes in comparison with other methods of maximizing access to resources.

A derivative autonomous nonlinear feedback system is suggested as a possible model for physical and biological oscillating systems. Practical conditions for the existence and stability motion are derived.