Список публикаций на декабрь 2002


Статьи, вышедшие в 2002

  1. Araki S., Ganguly S., Izmailov R., Maeno Y., Suemura Y., Wang T. Hybrid Cross-Connects and Hierarchical Optical Networks. NEC R&D Journal, 43, 2, 133-140, 2002.
  2. Araki S., Suemura Y., Nishioka I., Ishibashi O., Maeno Y., Izmailov R., Distributed Control Plane Technologies for Flexible and Reliable Optical Mesh Networks and All-Optical Networks. NEC R&D Journal, 43, 2, 128-132, 2002.
  3. Asarin E., Caspi P., Maler O. Timed Regular Expressions, Journal of the ACM 49, No.2, 2002, 172-206.
  4. Asarin E., Schneider G., Yovine S. Towards Computing Phase Portraits ofPolygonal Differential Inclusions. In C.J. Tomlin and M.R. Greenstreet (Eds.) Hybrid Systems: Computation and Control, 49-61, LNCS 2289. Proceed-ings of Hybrid Systems: Computation and Control (HSCC), Stanford, USA, 2002 Springer, 2002.
  5. Asarin E., Pace G., Schneider G., Yovine S. SPeeDI - a Verification Tool for Polygonal Hybrid Systems. In: CAV'2002, 354-358, LNCS 2404, Proceedings of Computer-Aided Verification, Copenhagen, Denmark, Springer, 2002.
  6. Asarin E., Dang T., Maler O. The d/dt Tool for Verification of Hybrid Systems. In: CAV'2002, 365-370, LNCS 2404, Proceedings of Computer-Aided Verification, Copenhagen, Denmark, Springer, 2002.
  7. Asarin E., Schneider G. Widening the boundary between decidable and undecidable hybrid systems. In: CONCUR'2002, 193-208, LNCS 2421. Proceedings of International Conference on Concurrency Theory (CON-CUR), Brno, Czech Republic, Springer, 2002.
  8. Asarin E., Dima C. Balanced timed regular expressions. In: MTCS'2002. ENTCS 68 No 2, Models for Time-Critical Systems (MTCS), Brno, Czech Republic, 2002.
  9. Diamond P., Vladimirov I. Set-valued Markov chains and negative semitrajectories of discretized dynamical systems. Journal of Nonlinear Science, 12, 2, 113-141, 2002.
  10. Diamond P., Kloeden P., Vladimirov I. Mean anisotropy of homogeneous Gaussian random fields and anisotropic norms of linear translation invariant opera-tors on multidimensional integer lattices. CADSMAP Research Report 02-02, The University of Queensland, Australia, 2002 (downloadable from http://www.maths.uq.edu.au/research/research_centres/cadsmap/reports.html), 25 pp.
  11. Izmailov R., Ganguly S., Wang T., Suemura Y., Maeno Y., Araki S. Hybrid Hierarchical Optical Networks. IEEE Communications Magazine, 40, 11, 88-95, 2002.
  12. Jak E., Vladimirov I. Computing the distribution of polyanionic chains in binary silicate melts on a basis of a random forest model. CADSMAP Research Report 02-01, The University of Queensland, Australia, 2002 (downloadable from http://www.maths.uq.edu.au/research/research_centres/cadsmap/reports.html), 13 pp.
  13. Kleptsyna M.L., Le Breton A. A Cameron-Martin type formula for general Gaussian processes - A filtering approach. Stochastics and Stochastics Reports, 72 (3-4), 229-250, 2002.
  14. Kleptsyna M.L., Le Breton A. Statistical analysis of the fractional Ornstein-Uhlenbeck type process. Statistical Inference for Stochastic Processes , 5 (3), 229-248, 2002.
  15. Kleptsyna M.L., Le Breton A. Extension of the Kalman-Bucy filter to elementary linear systems with fractional Brownian noises. Statistical Inference for Stochastic Processes, 5 (3), 249-271, 2002.
  16. Krasnosel'skii A.M., Mennicken R., Rachinskii D.I. Small periodic solutions generated by sublinear terms. Journal of Differential Equations, 179, 97-132, 2002.
  17. Krasnosel'skii A.M., Rachnskii D.I. On a bifurcation governed by hysteresis nonlinearity. Nonlinear Differential Equations and Applications, 9, 93-115, 2002.
  18. Krasnosel'skii A.M., Mennicken R., Rachinskii D.I. Cycle stability for Hopf bifurcation generated by sublinear terms. Mathematische Nachrichten, 233-234, 171-195, 2002.
  19. Красносельский А.М., Рачинский Д.И. О существовании циклов в автономных системах. Доклады РАН, 384, ╧2, 161-166, 2002.
  20. Krasnosel'skii A.M., Kuznetsov N.A., Rachinskii D.I. On resonant differential equations with unbounded nonlinearities. Journal of Applied Analysis, 21, ╧3, 639-668, 2002.
  21. Niebert P., Mahfoudh M., Asarin E., Bozga M., Jain N., Maler O. Verification of Timed Automata via Satisfiability Checking. In: FTRTFT'2002, 225-244, LNCS 2469, Proceedings of Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), Oldenburg, Germany, Springer, 2002.
  22. Vladimirov I., Diamond P. Justification of a uniform white-noise model for fixed-point roundoff errors in digital systems. Automation and Remote Control, 63, 5, 753-765, 2002.
  23. Vladimirov A. A., Rubinov A. Dynamics of positive multiconvex relations. Journal of Convex Analysis, 9, 2002

Статьи, принятые в печать в 2002

  1. Blondel V. D., Theys J., Vladimirov A. A. An elementary counterexample to the finiteness conjecture. SIAM Journal on Matrix Analysis, 2003.
  2. Diamond Ph., Kloeden P., Vladimirov I. Mean anisotropy of homogeneous Gaussian random fields and anisotropic norms of linear translation invariant operators on multidimensional integer lattices. Journal of Applied Mathematics and Stochastic Analysis.
  3. Клепцина М.Л., Пятницкий А.Л. Проблема однородности для случайных нестационарных параболических операторов. Успехи Математических Наук, 2002.
  4. Kleptsyna M.L., Le Breton A., Viot M. New formulas around Laplace transforms of quadratic forms for general Gaussian sequences. Journal of Applied Mathematics and Stochastic Analysis, 2002.
  5. Kleptsyna M.L., Le Breton A., Viot M. About the linear-quadratic regulator problem under a fractional Brownian perturbation and complete observation. ESAIM P&S, 2002.
  6. Kozyakin V.S., Kloeden P. Uniform nonautonomous attractors under discretization. Discrete and Continuous Dynamical Systems, 2003.
  7. Kozyakin V.S., Kloeden P. The inflation and perturbation of nonautonomous difference equations and their pullback attractors, Proceedings of ICDEA'2001, 2003.
  8. Kozyakin V.S. A short introduction to asynchronous systems, Proceedings of ICDEA'2001, 2003.
  9. Krasnosel'skii A.M., Rachinskii D.I., Schneider K. Hopf bifurcations in resonance 2:1. Nonlinear Analysis. Theory, Methods & Applications, 2002.
  10. Красносельский А.М., Рачинский Д.И. О непрерывных ветвях циклов в системах с нелинеаризуемыми нелинейностями. Доклады Академии наук.
  11. Красносельский А.М., Рачинский Д.И. Об одном нелокальном признаке существования циклов систем с гистерезисом. Автоматика и телемеханика.
  12. Krasnosel'skii A.M., Pokrovskii A.V. Remark on Rotation of Bilinear Vector Fields. Preprint of the School of Mathematics, Applied Mathematics and Statistics. National University of Ireland, University College, Cork, Ireland.
  13. Krasnosel'skii A.M., Rachinskii D.I. On continuous branches of twice periodic solutions of some PDE. Preprint of the School of Mathematics, Applied Mathematics and Statistics. National University of Ireland, University College, Cork, Ireland.
  14. Krasnosel'skii A.M., Rachinskii D.I. Remark on Hopf bifurcation theorem. Preprint of the School of Mathematics, Applied Mathematics and Statistics. National University of Ireland, University College, Cork, Ireland.
  15. Krasnosel'skii A.M., Rachinskii D.I. On continuous branches of cycles for equations of higher order. Preprint of the School of Mathematics, Applied Mathematics and Statistics. National University of Ireland, University College, Cork, Ireland.
  16. Krejci P., Vladimirov A. A. Polyhedral sweeping processes with oblique reflection in the space of regulated functions. Set-Valued Analysis, 2003.
  17. Pokrovskii A, Rasskazov O. Method of the Topological Degree Theory in Broken Orbits Analysis. Proceedings of AMS.
  18. Bondarenko V.A., Mustard T., Pokrovskii A.V. Combinatorial Problems Arising in Chaotic Control. Mathematical Problems in Engineering.