Inicio  /  Algorithms  /  Vol: 11 Par: 9 (2018)  /  Artículo
ARTÍCULO
TITULO

An Efficient Algorithm to Determine Probabilistic Bisimulation

Jan Friso Groote    
Jao Rivera Verduzco and Erik P. De Vink    

Resumen

No disponible

 Artículos similares

       
 
Ying-Qing Guo, Meng Li, Yang Yang, Zhao-Dong Xu and Wen-Han Xie    
As a typical intelligent device, magnetorheological (MR) dampers have been widely applied in vibration control and mitigation. However, the inherent hysteresis characteristics of magnetic materials can cause significant time delays and fluctuations, affe... ver más
Revista: Information

 
Gleice Kelly Barbosa Souza, Samara Oliveira Silva Santos, André Luiz Carvalho Ottoni, Marcos Santos Oliveira, Daniela Carine Ramires Oliveira and Erivelton Geraldo Nepomuceno    
Reinforcement learning is an important technique in various fields, particularly in automated machine learning for reinforcement learning (AutoRL). The integration of transfer learning (TL) with AutoRL in combinatorial optimization is an area that requir... ver más
Revista: Algorithms

 
Vincenzo Manca    
A symbolic analysis of Archimedes?s periodical number system is developed, from which a natural link emerges with the modern positional number systems with zero. After the publication of Fibonacci?s Liber Abaci, the decimal Indo-Arabic positional system ... ver más
Revista: Algorithms

 
Burhan Ul Islam Khan, Khang Wen Goh, Mohammad Shuaib Mir, Nur Fatin Liyana Mohd Rosely, Aabid Ahmad Mir and Mesith Chaimanee    
As the Internet of Things (IoT) continues to revolutionize value-added services, its conventional architecture exhibits persistent scalability and security vulnerabilities, jeopardizing the trustworthiness of IoT-based services. These architectural limit... ver más
Revista: Information

 
Zhuopu Wang, Kairui Yu and Yuanzhe Liu    
The unsteady combustion of solid propellants under oscillating environments is the key to understanding the combustion instability inside solid rocket motors. The discontinuous Galerkin?finite element method (DG-FEM) is introduced to provide an efficient... ver más
Revista: Aerospace