The objective of the research is to clarify what Blockchain technique is and the developments of its various uses, and identify the accounting perspective of this technique and the possibility of using it in accounting work. It also aims at demonstrating how to utilize its Blockchain technique in accounting information systems, and identify the most important potential effects of the use of tec...

Abstract Over the last two decades, improvements in developing computational tools made significant contributions to the classification of biological specimens` images to their correspondence species. These days, identification of biological species is much easier for taxonomist and even non-taxonomists due to the development of automated computer techniques and systems.  In this study, we d...

1. Abstract Researchers in the area of educational software have always shown a great deal of interest for the automatic synthesis of learning curricula. During the recent years, with the extensive use of metadata and the emergence of the Semantic Web, this vision is gradually turning into a reality. A number of systems for curricula synthesis have been proposed. These systems are based on stro...

Since the early days of programming and automated reasoning, researchers have developed methods for systematically constructing programs from their speci cations. Especially the last decade has seen a urry of activities including the advent of specialized conferences, such as LOPSTR, covering the synthesis of programs in computational logic. In this paper we analyze and compare three state-of-t...

On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting emergent mediators (or Connectors) adapt the interaction protocols run by the connected systems to let them communicate. However, although the mediator concept has been studied and used quite extensively to cope with ma...

1 Setting the Stage This article focuses on an esoteric but practical use of automated reasoning that may indeed be new to many, especially those concerned primarily with veriica-tion of both hardware and software. Speciically, featured are a discussion and some methodology for taking an existing design|of a circuit, a chip, a program , or the like|and reening and improving it in various ways. ...

Bond-Graphs based representation and genetic programming based search and synthesis can be combined for automated design of mechatronic or multi domain dynamic systems. This design scheme can be turned into an intelligent automated design system by introducing a dynamic database or knowledge library of relevant information (gathered through design experience) which tends to help the designer in...