Diaz-Caro A.,National University of Quilmes |
Yakaryilmaz A.,National Laboratory for Scientific Computing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2016
We introduce a quantum-like classical computational concept, called affine computation, as a generalization of probabilistic computation. After giving the basics of affine computation, we define affine finite automata (AfA) and compare it with quantum and probabilistic finite automata (QFA and PFA, respectively) with respect to three basic language recognition modes. We show that, in the cases of bounded and unbounded error, AfAs are more powerful than QFAs and PFAs, and, in the case of nondeterministic computation, AfAs are more powerful than PFAs but equivalent to QFAs. © Springer International Publishing Switzerland 2016.
Huang P.G.,Wright State University |
Muller L.O.,National Laboratory for Scientific Computing
International Journal for Numerical Methods in Biomedical Engineering | Year: 2015
An extension of a total variation diminishing (TVD) scheme to solve one-dimensional (1D) blood flow for human circulation is proposed. This method is simple as it involves only a few modifications to existing shock-capturing TVD schemes. We have applied the method to a wide range of test cases including a complete simulation of the human vascular network. Excellent solutions have been demonstrated for problems involving varying and discontinuous mechanical properties of blood vessels. For 1D network simulations, the method has been shown to agree well with the reported computational results. Finally, the method has been demonstrated to compare favorably with in vivo experiments set up to study the impact of circle of Willis anomalies on flow patterns in the cerebral arterial system. © 2015 John Wiley & Sons, Ltd.
Rodrigues P.S.,University of Sao Paulo |
Giraldi G.A.,National Laboratory for Scientific Computing
Pattern Analysis and Applications | Year: 2011
Thresholding techniques for image segmentation is one of the most popular approaches in Computational Vision systems. Recently, M. Albuquerque has proposed a thresholding method (Albuquerque et al. in Pattern Recognit Lett 25:1059-1065, 2004) based on the Tsallis entropy, which is a generalization of the traditional Shannon entropy through the introduction of an entropic parameter q. However, the solution may be very dependent on the q value and the development of an automatic approach to compute a suitable value for q remains also an open problem. In this paper, we propose a generalization of the Tsallis theory in order to improve the non-extensive segmentation method. Specifically, we work out over a suitable property of Tsallis theory, named the pseudo-additive property, which states the formalism to compute the whole entropy from two probability distributions given an unique q value. Our idea is to use the original M. Albuquerque's algorithm to compute an initial threshold and then update the q value using the ratio of the areas observed in the image histogram for the background and foreground. The proposed technique is less sensitive to the q value and overcomes the M. Albuquerque and k-means algorithms, as we will demonstrate for both ultrasound breast cancer images and synthetic data. © 2011 Springer-Verlag London Limited.
Gainutdinova A.,Kazan Federal University |
Yakarylmaz A.,National Laboratory for Scientific Computing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2015
We continue the systematic investigation of probabilistic and quantum finite automata (PFAs and QFAs) on promise problems by focusing on unary languages. We show that bounded-error QFAs are more powerful than PFAs. But, in contrary to the binary problems, the computational powers of Las-Vegas QFAs and bounded-error PFAs are equivalent to deterministic finite automata (DFAs). Lastly, we present a new family of unary promise problems with two parameters such that when fixing one parameter QFAs can be exponentially more succinct than PFAs and when fixing the other parameter PFAs can be exponentially more succinct than DFAs. © Springer International Publishing Switzerland 2015.
Muller L.O.,National Laboratory for Scientific Computing |
Muller L.O.,Institute of Science and Technology in Medicine Assisted by Scientific Computing |
Leugering G.,Friedrich - Alexander - University, Erlangen - Nuremberg |
Blanco P.J.,National Laboratory for Scientific Computing |
Blanco P.J.,Institute of Science and Technology in Medicine Assisted by Scientific Computing
Journal of Computational Physics | Year: 2016
While the numerical discretization of one-dimensional blood flow models for vessels with viscoelastic wall properties is widely established, there is still no clear approach on how to couple one-dimensional segments that compose a network of viscoelastic vessels. In particular for Voigt-type viscoelastic models, assumptions with regard to boundary conditions have to be made, which normally result in neglecting the viscoelastic effect at the edge of vessels. Here we propose a coupling strategy that takes advantage of a hyperbolic reformulation of the original model and the inherent information of the resulting system. We show that applying proper coupling conditions is fundamental for preserving the physical coherence and numerical accuracy of the solution in both academic and physiologically relevant cases. © 2016 Elsevier Inc.