s Editor John Boyle Mississippi State University The Journal of the Mississippi Academy of Sciences (ISSN 0076-9436) is published in January (annual meeting abstracts), April, July, and October, by the Mississippi Academy of Sciences. Members of the Academy receive the journal as part of their regular (nonstudent) membership. Information regarding subscriptions, availability of back issues, and...

Petri net extended with resource and message factors, RMWF-Net for short, is proposed to model collaborative emergency response processes with various collaboration patterns. Correctness of a RMWF-Net is formally defined and verified using reachability analysis. A running case of collaborative fire emergency response processes is given to validate the approach.

The theory of fuzzy measures and fuzzy integrals was introduced by S u g e n o [16] and intensively studied. Monographs [15] and [18] are dedicated to this topic. Recently, several classical inequalities were generalized to fuzzy integral. F l o r e sF r a n u l i č and R o m á n-F l o r e s [11] provided a Chebyshev type inequality for fuzzy integral of continuous and strictly monotone functio...

In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.

The progress of image search engines still proceeds, but there are some challenges yet in complex queries. In this paper, we present a new semantic image search system, which is capable of multiple object retrieval using only visual content of the images. We have used the state-of-the-art image processing methods prior to the search, such as Fisher-vector and C-SVC classifier, in order to seman...

Lack of up-to-date software documentation hinders the software evolution and maintenance processes, as simply the outdated software structure and code could be easily misunderstood. One approach to overcoming such problems is using software modularization, in which the software architecture is extracted from the available source code; such that developers can assess the reconstructed architectu...

Playing computer games is a predominantly emotional than rational process. Video games with affect-based adaptation measure player’s behavior signals and recognize player’s emotional states in order to adapt specific game features in a dynamic manner and to improve player’s engagement, immersion, excitement, and challenge. The present review deals with models for the presentation of emotions, t...

Functional programming is among paradigms used for the real-world parallel application development. PSI of RAS during a considerable period of time develops the T-System approach based on functional programming. This paper briefly describes the architecture of the ACCT compiler system targeted at performing transformations of the TSystem programs. An algorithm for nonlocal optimizing transforma...

Cloud computing has emerged as the most dominant computational paradigm in recent times. There are tremendous benefits for enterprises adopting cloud technologies. It provides resources and services on demand, pay-as-you go basis. This includes infrastructure, platform and software services. But there are still a number of security threats and challenges associated with utilizing cloud computin...