Sökt på: Böcker av Igor Konnov
totalt 8 träffar
Generalized Convexity and Related Topics
Decidability of Parameterized Verification
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems …
Generalized Convexity and Related Topics
In mathematics generalization is one of the main activities of researchers. It opens up new theoretical horizons and broadens the ?elds of applications. Intensive study of …
Equilibrium Models and Variational Inequalities
The concept of equilibrium plays a central role in various applied sciences, such as physics (especially, mechanics), economics, engineering, transportation, sociology, chemistry, …
Combined Relaxation Methods for Variational Inequalities
Variational inequalities proved to be a very useful and powerful tool for in- vestigation and solution of many equilibrium type problems in Economics, Engineering, Operations …
Combined Relaxation Methods for Variational Inequalities
Variational inequalities proved to be a very useful and powerful tool for in vestigation and solution of many equilibrium type problems in Economics, Engineering, Operations …
Decidability of Parameterized Verification
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems …
Equilibrium Models and Variational Inequalities
The concept of equilibrium plays a central role in various applied sciences, such as physics (especially, mechanics), economics, engineering, transportation, sociology, chemistry, …