Efficient approximate verification of B and Z models via symmetry markers

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.59, Iss.1, 2010-05, pp. : 81-106

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Integration of ordinary differential equation with a small parameter via approximate symmetries: Reduction of approximate symmetry algebra to a canonical form

By Gazizov R.

Lobachevskii Journal of Mathematics, Vol. 31, Iss. 2, 2010-04 ,pp. : 141-151

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Symbolic models for time‐varying time‐delay systems via alternating approximate bisimulation

INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, Vol. 25, Iss. 14, 2015-09 ,pp. : 2328-2347

John Wiley & Sons Inc

Access to resources Recommend Favorite

Parameter inference and model selection in deterministic and stochastic dynamical models via approximate Bayesian computation: modeling a wildlife epidemic

ENVIRONMETRICS (ELECTRONIC), Vol. 26, Iss. 7, 2015-11 ,pp. : 451-462

John Wiley & Sons Inc

Access to resources Recommend Favorite

Comparison of Approximate Symmetry Methods for Differential Equations

By Pakdemirli M. Yürüsoy M. Dolapçı İ.

Acta Applicandae Mathematicae, Vol. 80, Iss. 3, 2004-02 ,pp. : 243-271

Springer Publishing Company

Access to resources Recommend Favorite

Certificateless aggregate signature with efficient verification

SECURITY AND COMMUNICATION NETWORKS (ELECTRONIC), Vol. 8, Iss. 13, 2015-09 ,pp. : 2232-2243

John Wiley & Sons Inc

Access to resources Recommend Favorite