We demonstrate and discuss the advantages of bioinformatical workflows which have no side-effects over those which do have them. In particular, we describe a method to give a formal, mathematical semantics to the side-effect-free workflows defined in SCUFL, the workflow definition language of Taverna. This is achieved by translating them into a natural extension of the Nested Relational Calculu...

In this paper, we present a board game: Square War. The game definition of Square War is similar to the classic Chinese board game Go. Then we propose a mathematical problem of the game Square War. Finally, we show that the problem can be solved by using a method of mixed mathematics and computer science.

Efforts have been made recently to reformulate traditional Kaluza-Klein theory by using a generalized definition of a higher-dimensional extended space-time. Both electromagnetism and gravity have been studied in this context. We review some of the models which have been proposed, with a special effort to keep the mathematical formalism to a very minimum.

We suggest a mathematical definition of the notion of master integrals and present a brief review of algorithmic methods to solve reduction problems for Feynman integrals based on integration by parts relations. In particular, we discuss a recently suggested reduction algorithm which uses Gröbner bases. New results obtained with its help for a family of three-loop Feynman integrals are outlined.

Abstract: Soft set theory is a newly emerging mathematical tool to deal with uncertain problems. In this paper, we proposed the definition of T-product of intuitionistic fuzzy soft matrices with examples. Finally, We extend our approach in application of these matrices in decision making problem, by using medical diagnosis.

Introduction Methods Subjects MR Image Processing MRI Acquisition Manual Region of Interest (ROI) Definition by Experts Definition of Subcortical Gray Matter Linear Registration Elastic Matching Data Analysis Results The Similarity Between Automated and Manual Measurements The Correlations Between Pairs of Automated and Manual Measurements The Spatial Overlap Between Automatically Edited and Ma...

The Alternative Subgraphs Assembly Line Balancing Problem (ASALBP) considers assembly alternatives that determine task processing times and/or precedence relations among the tasks. Capacho and Pastor [3] formalized this problem and developed a mathematical programming model (MILP) in which the assembly alternatives are determined by combining all available processing alternatives of each existi...

Abstract: the concepts of “competence”, “professional competence”, “basic professional “mathematical competence” were analyzed. The basic competence and compared. Based on analysis comparison these concepts, definition concept future engineer” was obtained. structural components engineer are characterized.