• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 5 499 публикаций
Сортировка:
по названию
по году
Статья
Russkov A., Chulkevich R., Shchur L. Computer Physics Communications. 2021. Vol. 261. P. 107786.
Добавлено: 28 декабря 2020
Статья
Presnova A. Journal of Physics: Conference Series. 2019. No. 1163. P. 1-6.
Добавлено: 28 марта 2019
Статья
Rybakov M., Shkatov D. Journal of Logic and Computation. 2020. Vol. 30. No. 7. P. 1305-1329.
Добавлено: 27 августа 2020
Статья
Rybakov M., Shkatov D. Journal of Logic and Computation. 2021. Vol. 31. No. 2. P. 494-522.
Добавлено: 23 декабря 2020
Статья
Chernyshev S., Cherepanov E., Pankratiev E. et al. Journal of Mathematical Sciences. 2005. Vol. 128. No. 6. P. 3487-3495.
Добавлено: 27 января 2014
Статья
Babenko M. A., Goldberg A., Gupta A. et al. ACM Transactions on Algorithms. 2016. Vol. 13. No. 1. P. 16:1-16:17.
Добавлено: 12 января 2017
Статья
Maxim Babenko, Goldberg A. V., Gupta A. et al. Lecture Notes in Computer Science. 2013. Vol. 7965. No. PART 1. P. 69-80.

Cohen et al. developed an O(log n)-approximation algorithm for minimizing the total hub label size (l1 norm). We give O(log n)- approximation algorithms for the problems of minimizing the maximum label (l∞ norm) and minimizing lp and lq norms simultaneously.

Добавлено: 13 ноября 2013
Статья
Lazarev A. A., Grishin E., Galakhov S. et al. IFAC-PapersOnLine. 2019. Vol. 52-13. P. 951-956.

This paper is devoted to the problem of scheduling maintenance of locomotives in a depot. The problem based on the operation Eastern polygon of Russian Railways. A heuristic algorithm and a constraint programming model are presented. Numerical experiments on real data for real depot configurations were carried out to compare the performance of the heuristic algorithm and constraint programming model solved with IBM ILOG CPLEX Optimizer.

Добавлено: 27 апреля 2020
Статья
Polyakov I.V., Chepovskiy A.A., Chepovskiy A.M. Journal of Mathematical Sciences. 2015. Vol. 211. No. 3. P. 413-417.
Добавлено: 23 октября 2015
Статья
Lazarev A. A., Werner F. Mathematical and Computer Modelling. 2009. Vol. 49. No. 9-10. P. 2061-2072.
Добавлено: 24 ноября 2012
Статья
Saakian D. B., Yakushkina T., Koonin E. V. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 2019. Vol. 99. P. 1-6.
Добавлено: 18 марта 2019
Статья
Karpov A. V. Mathematical Social Sciences. 2015. Vol. 74. P. 1-7.
Добавлено: 11 января 2015
Статья
Aleskerov F. T., Shvydun S. Group Decision and Negotiation. 2019. Vol. 28. No. 1. P. 11-42.
Добавлено: 4 ноября 2018
Статья
Volk D. Discrete and Continuous Dynamical Systems. 2014. Vol. 34. No. 5. P. 2307-2314.

Interval translation maps (ITMs) are a non-invertible generalization of interval exchange transformations (IETs). The dynamics of finite type ITMs is similar to IETs, while infinite type ITMs are known to exhibit new interesting effects. In this paper, we prove the finiteness conjecture for the ITMs of three intervals. Namely, the subset of ITMs of finite type contains an open, dense, and full Lebesgue measure subset of the space of ITMs of three intervals. For this, we show that any ITM of three intervals can be reduced either to a rotation or to a double rotation.

Добавлено: 30 декабря 2015
Статья
Min Namkung, Younghun K. Scientific Reports. 2019. Vol. 9. No. 1. P. 19664-1-19664-19.
Добавлено: 16 ноября 2020
Статья
Morozov V. V., Muravei D. L. Computational Mathematics and Modelling. 2012. Vol. 23. No. 1. P. 79-87.

A lower bound is derived for the value of an option by applying threshold decision rules based on the ratio of the underlying asset values. When the asset volatility ratio is equal to the correlation coefficient, the lower bound is equal to the maximum value obtained by optimizing a function of two variables represented as the sum of a rapidly converging series.

Добавлено: 18 ноября 2014
Статья
Cheltsov I., Park J., Shramov K. European Journal of Mathematics. 2018. Vol. 4. No. 3. P. 845-858.
Добавлено: 2 октября 2018
Статья
Berger G., Beklemishev L. D., Tompits H. Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 505-538.

We consider a many-sorted variant of Japaridze’s polymodal provability logic (⁠GLP⁠). In this variant, which is denoted GLP∗⁠, propositional variables are assigned sorts n≤ω⁠, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we relate GLP∗ to its one-sorted counterpart GLP and prove that the former inherits some well-known properties of the latter, like Craig interpolation and polynomial space (PSPACE) decidability. We also study a positive variant of GLP∗ that allows for an even richer arithmetical interpretation—variables are permitted to range over theories rather than single sentences. This interpretation in turn allows the introduction of a modality that corresponds to the full uniform reflection principle. We show that our positive variant of GLP∗ is arithmetically complete.

Добавлено: 14 февраля 2019
Статья
Musatova E. G., Lazarev A. A., Ponomarev K. V. et al. IFAC-PapersOnLine. 2016. Vol. 49. No. 12. P. 221-225.

We consider a problem of the astronaut training scheduling. Each astronaut has his own set of tasks which should be performed with respect to resource and time constraints. The problem is to determine start moments for all considered tasks. For this issue a mathematical model based on integer linear programming is proposed. Computational results of the implemented model and experiments on real data are presented.

Добавлено: 31 октября 2016
Статья
Logvenkov S. A., Stein A. Biofizika. 2017. Vol. 62. No. 6. P. 926-934.

 

Предложена общая континуальная модель среды, составленной механически активными клетками. Среда считается состоящей из трех фаз; собственно клеток, внеклеточной жидкости и дополнительной фазой, отвечающей за активное силовое взаимодействие между клетками, которая, в частности, может соответствовать системе протрузий, обеспечивающих развитие активных стягивающих усилий. Деформация среды, отождествляемая с деформацией клеточной фазы, состоит из двух составляющих: упругой деформации отдельных клеток и клеточных переупаковок. Упругая деформация связана с напряжением в клеточной фазе. Шаровая составляющая тензора напряжений описывает нелинейное сопротивление клеточной фазы, обеспечивающее невозможность ее слишком большого сжатия. Уравнение состояния для давления в клеточной фазе принято в виде нелинейной зависимости от объемной плотности клеток. Переупаковка клеток рассматривается как течение, управляемое напряжениями в клеточной фазе, активными напряжениями и давлением жидкости. Тензор активных напряжений полагается шаровым и нелокально зависящим от плотности клеток. В предположении медленности процесса деформирования биологической ткани получена редуцированная модель, в которой пренебрегается упругими деформациями клеток по сравнению с неупругими. Проведен дисперсионный анализ устойчивости пространственно-однородного стационарного решения. Среди параметров, отвечающих за потерю устойчивости, присутствует гидростатическое давление жидкости, возрастание которого приводит к неустойчивости за счет составляющей силы межфазного взаимодействия, обусловленной этим давлением. Полученная модель используется для описания процесса образования полости в первоначально однородном клеточном сфероиде. Исследована роль локального и нелокального механизмов развития активных напряжений при формировании полости.

 

Добавлено: 30 декабря 2017
Статья
Kreps V. L., Matveenko A. International Game Theory Review. 2020. Vol. 22. No. 1. P. 1-10.
Добавлено: 23 октября 2019