The aim of this article is to study the concept of unique solvability of max-min fuzzy neutrosophic soft matrix equation and strong regularity of fuzzy neutrosophic soft matrices over Fuzzy Neutrosophic Soft Algebra (FNSA). A Fuzzy Neutrosophic Soft Matrix (FNSM) is said to have Strong, Linear Independent (SLI) column (or, in the case of fuzzy neutrosophic soft square matrices, to be strongly r...

We consider the linear-quadratic optimal control problem for a controlled differential algebraic equation (DAE). Under minimal assumptions on the DAE concerning index and regularity it will be possible to prove that the sufficient optimality condition given in papers of G. Kurina and R. März is also a necessary condition. This condition includes the solution of an appropriate boundary value pro...

We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance ...

Given a graph class G, it is natural to ask whether a given graph has a connected or a total dominating set inducing a graph in G and, if so, what is the minimal size of such a set. We give a sufficient condition on G for the intractability of this problem. This condition is fulfilled by a wide range of graph classes.

Spontaneous pneumothorax is a common condition that impacts significantly on healthcare expenditure. Its optimal management, however, remains a subject of considerable controversy. The proven safety and efficacy of minimal access video-assisted thoracic surgery (VATS) has changed the way we manage this condition. We present VATS pleurodesis utilizing the endoscopic stapling technique for the ma...

Casson and Gordon gave the rectangle condition for strong irreducibility of Heegaard splittings [1]. We give a weak version of rectangle condition for irreducibility of Heegaard splittings. As an application, we give an example of an irreducible genus three Heegaard splitting of a 3-manifold which is not a minimal genus Heegaard splitting.

Extrapolation methods can be used to accelerate the convergence of vector sequences. It is shown how three di erent extrapolation algorithms, the minimal polynomial extrapolation (MPE), the reduced rank extrapolation (RRE) and the modi ed minimal polynomial extrapolation (MMPE), can be used to solve systems of linear equations. The algorithms are derived and equivalence to di erent Krylov subsp...

Nowadays, vinegar is industrially produced by mesophilic acetic acid bacteria (AAB). However, temperature fluctuation during acetous fermentation is inevitable, and may cause process disturbances. This can be mostly avoided using thermo-tolerant AAB. The main purpose of the present study was to isolate thermo-tolerant AAB. Fermentation performances were then evaluated. Twenty-eight different is...

The classical solution of the Plateau problem by Radó [10] and Douglas [3] shows that any rectifiable Jordan curve in R is spanned by a minimal surface of disc type. Under what conditions a minimal surface of a given higher genus exists, spanning a given Jordan curve in a Riemannian manifold N, seems to be a much more difficult problem. For compact minimal surfaces without boundary and in case ...

We propose a new fault block model, Minimal-Connected-Component (MCC), for fault-tolerant adaptive routing in meshconnected multiprocessor systems. This model refines the widely used rectangular model by including fewer nonfaulty nodes in fault blocks. The positions of source/destination nodes relative to faulty nodes are taken into consideration when constructing fault blocks. The main idea be...