ARTÍCULO
TITULO

Using Directed Hypergraphs to Verify Rule-Based Expert Systems

Ramaswamy    
M    
Sarkar    
S    
Chen    
Y-S    

Resumen

No disponible

 Artículos similares

       
 
Gianni Pasqual,Jürgen Jung,Bardo Fraunholz     Pág. 22 - 53
Conducting a digital transformation is one of the major challenges for today?s companies as it is usually associated with a high risk. The reasons for this are manifold. Technologies are still evolving and there is no coherent standard for digital platfo... ver más

 
Jiashi Wang, Xinjian Wang, Yinwei Feng, Yuhao Cao, Zicheng Guo and Zhengjiang Liu    
Crude oil transportation is a vital component of the global energy supply, and the global Crude Oil Maritime Transportation Network (COMTN) plays a crucial role as a carrier for crude oil transportation. Once the network faces attacks that result in the ... ver más

 
Murali Krishna Senapaty, Abhishek Ray and Neelamadhab Padhy    
Healthy and sufficient crop and food production are very much essential for everyone as the population is increasing globally. The production of crops affects the economy of a country to a great extent. In agriculture, observing the soil, weather, and wa... ver más
Revista: Computers

 
Ziqian Zhao, Ming Zhu and Jiazheng Qin    
This paper investigates a practical time-varying formation control method for quadrotors subjected to disturbances, uncertainties, and switching-directed topologies. A fully distributed formation control scheme is proposed using a linear-velocity indepen... ver más
Revista: Aerospace

 
Sara Dionísio António, Jebbe van der Werf, Erik Horstman, Iván Cáceres, José Alsina, Joep van der Zanden and Suzanne Hulscher    
This paper presents new data from large-scale wave flume experiments. It shows the beach profile evolution and sediment transport for two different bed slopes (1:15 and 1:25), and three irregular high-energy erosive wave conditions and one low-energy acc... ver más