Fair Simulation Relations, Parity Games, and State Space Reduction for B¿chi Automata

Artículos similares

Competitive Influence Maximization within Time and Budget Constraints in Online Social Networks: An Algorithmic Approach

Acceso

Canh V. Pham, Hieu V. Duong, Huan X. Hoang and My T. Thai

Competitive Influence Maximization (?????? CIM ) problem, which seeks a seed set nodes of a player or a company to propagate their product?s information while at the same time their competitors are conducting similar strategies, has been paid much attent... ver más

Revista: Applied Sciences

Quantitative Deterioration Assessment of Road Bridge Decks Based on Site Inspected Cracks

Acceso

Eissa Fathalla, Yasushi Tanaka, Koichi Maekawa and Akito Sakurai

By integrating a multi-scale simulation with the pseudo-cracking method, the remaining fatigue life of in-service reinforced concrete (RC) bridge decks can be estimated based upon their site-inspected crack patterns. But, it still takes time for computat... ver más

Revista: Applied Sciences

Assessment of FAO AquaCrop Model for Simulating Maize Growth and Productivity under Deficit Irrigation in a Tropical Environment

Acceso

Geneille E. Greaves and Yu-Min Wang

Crop simulation models have a pivotal role to play in evaluating irrigation management strategies for improving agricultural water use. The objective of this study was to test and validate the AquaCrop model for maize under deficit irrigation management.... ver más

Revista: Water

Artículos similares

Revistas destacadas