• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 3 129 публикаций
Сортировка:
по названию
по году
Статья
Fomichov V. A., Fomichova O. S. Informatica. 2012. Vol. 36. No. 2. P. 121-130.
Статья обосновывает необходимость значительно более ранней социализации детей в век Интернета. Главная цель – сделать так, чтобы дети (в том числе подростки) осознавали возможные социальные последствия недобросовестного использования ими информационно-коммуникационных технологий, в частности, мобильных телефонов и Интернета. Излагается оригинальный метод раннего формирования когнитивного подпространства моральных ценностей. Он является частью системы эмоционально-образного обучения (ЭОО-системы), разработанной и успешно апробированной авторами в 1990-е – 2000-е годы. Для описания этого метода предлагается новая формальная нотация, предназначенная для представления преобразований когнитивно-эмоциональной сферы обучаемых и спектра их навыков обработки информации, эта нотация называется нотацией карт когнитивных преобразований. Предложенный метод ранней социализации детей и ЭОО-система в целом интерпретируются как важный компонент когнитоники – новой научной дисциплины. В статье также излагается новый подход к рассмотрению импрессионизма в рамках когнитоники. Предложен оригинальный алгоритм преобразования негативных эмоций (вызванных сообщениями, полученными через социальные сети) в позитивные. Этот алгоритм рассматривает возможные реакции человека (в том числе рекомендуемые реакции) на эмоциональные атаки, осуществляемые через социальные сети. Предлагается включить такой алгоритм в программу междисциплинарного курса «Основы безопасной жизни в информационном обществе».
Добавлено: 20 ноября 2012
Статья
Artale A., Kontchakov R., Ryzhikov V. et al. ACM Transactions on Computational Logic. 2014. Vol. 15. No. 3. P. 25.1-25.50.

We design temporal description logics (TDLs) suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. The logics are interpreted over the Cartesian products of object domains and the flow of time (ℤ, <), satisfying the constant domain assumption. Concept and role inclusions of the TBox hold at all moments of time (globally), and data assertions of the ABox hold at specified moments of time. To express temporal constraints of conceptual data models, the languages are equipped with flexible and rigid roles, standard future and past temporal operators on concepts, and operators “always” and “sometime” on roles. The most expressive of our TDLs (which can capture lifespan cardinalities and either qualitative or quantitative evolution constraints) turns out to be undecidable. However, by omitting some of the temporal operators on concepts/roles or by restricting the form of concept inclusions, we construct logics whose complexity ranges between NLogSpace and PSpace. These positive results are obtained by reduction to various clausal fragments of propositional temporal logic, which opens a way to employ propositional or first-order temporal provers for reasoning about temporal data models.

Добавлено: 25 марта 2015
Статья
Gouezel S., Shchur V. Journal of Functional Analysis. 2019. Vol. 277. No. 4. P. 1258-1268.
Добавлено: 22 марта 2019
Статья
Mäkitalo N., Aaltonen T., Raatikainen M. et al. Journal of Systems and Software. 2019. No. 157. P. 1-25.
Добавлено: 31 октября 2019
Статья
El-Fakih K., Nina Yevtushenko, Kushik N. Formal Aspects of Computing. 2018. Vol. 30. No. 2. P. 319-332.
Добавлено: 31 октября 2018
Статья
Stonyakin F. S., Alkousa M., Stepanov A. N. et al. Journal of Applied and Industrial Mathematics. 2019. Vol. 13. P. 557-574.
Добавлено: 29 октября 2020
Статья
Pianykh O., Ridge C., Litmanovich D. et al. American Journal of Roentgenology. 2012. Vol. 198. No. 5.
Добавлено: 28 января 2013
Статья
Savchenko A. Optical Memory and Neural Networks (Information Optics). 2012. Vol. 21. No. 4. P. 219-226.

В рамках математического аппарата вероятностных нейронных сетей рассмотрена задача распознавания объектов по видеоизображению. Исследованы ее решения на основе построения коллектива решающих правил. Предложена оценка апостериорной вероятности принадлежности  объекта к заданному классу для произвольного расстояния и метода ближайшего соседа. Показано, что эта оценка эквивалентна оптимальной наивной байесовской оценке, полученной для вероятностной нейронной сети с прямоугольной кернел-функцией, если в качестве меры близости используется информационное рассогласование Кульбака-Лейблера. Представлена блок-схема системы распознавания объектов из видео потока с автоматической адаптацией подаваемого на вход комитета классификаторов списка изображений идентичных объектов. Приведены результаты ее экспериментального исследования в задаче распознавания лиц для распространенных баз данных (FERET, AT&T, Yale).

Добавлено: 18 января 2013
Статья
Vorontsov K. V. Доклады Академии наук. 2014. Vol. 89. No. 3. P. 301-304.
Добавлено: 5 декабря 2014
Статья
Mosurovic M., Krdzavac N., Graves H. et al. Journal of Artificial Intelligence Research. 2013. Vol. 47. P. 809-851.

We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove its soundness, completeness and termination.

Добавлено: 25 марта 2015
Статья
Gürbüz F., Pardalos P. M. Journal of Industrial and Management Optimization. 2012. Vol. 8. P. 285-297.
Для того, чтобы увеличить свою продуктивность, компании находятся в постоянном поиске методов, которые дадут им возможность принимать более быстрые и эффективные решения. Добыча данных и алгоритмы неопределенных кластеров могут подойти как раз для этих целей. Эта статья моделирует процесс принятия решения компании по производству керамики с использованием алгоритма неопределенных кластеров и добычи данных. Факторы, которые влияют на качество жидкой глины, постоянно измеряются. Используя эти данные, алгоритм устанавливает уровни состава жидкой глины для кластеров различного качества. Любой эксперт может решить, стоит ли одобрить или отклонить состав жидкой глины на основе расчета уровня этого состава. Более того, используя методы добычи данных, мы выработали несколько правил, которые предоставляют оптимальные условия для одобрения состава жидкой глины.
Добавлено: 9 января 2013
Статья
Miasnikof P., Shestopaloff A. Y., Bonner A. J. et al. Journal of Complex Networks. 2020. Vol. 8. No. 3. P. 1-33.
Добавлено: 4 августа 2020
Статья
Malyshev D. Discrete Applied Mathematics. 2016. Vol. 203. P. 117-126.
Добавлено: 9 октября 2015
Статья
Pogudin G. International Mathematics Research Notices. 2018. Vol. 2018. No. 4. P. 1177-1199.
Добавлено: 1 ноября 2019
Статья
Eugster P., Kesselman A., Kogan K. et al. Journal of Scheduling. 2018. Vol. 21. No. 5. P. 533-543.
Добавлено: 13 марта 2019
Статья
Meshkov N. A., Knyaginin V. N., Utolin K. V. International Review of Management and Marketing. 2016. Vol. 6. No. S3. P. 89-99.
Добавлено: 1 апреля 2016
Статья
Zlotnik A., Koltsova N. Computational Methods in Applied Mathematics. 2013. Vol. 13. No. 2. P. 119-138.

An initial-boundary value problem for the 1D self-adjoint parabolic equation on the half-axis is solved. We study a broad family of two-level finite-difference schemes with two parameters related to averages both in time and space. Stability in two norms is proved by the energy method. Also discrete transparent boundary conditions are rigorously derived for schemes by applying the method of reproducing functions. Results of numerical experiments are included as well.

Добавлено: 6 апреля 2013
Статья
V Grekul, Baydalina L. Computer Modelling and New Technologies. 2014. Vol. 18. No. 6. P. 261-270.
Добавлено: 20 октября 2014
Статья
Smeliansky R., Chemeritsky E., Zakharov V. Automatic Control and Computer Sciences. 2014. Vol. 48. No. 7. P. 398-406.
Добавлено: 30 сентября 2015
Статья
Belenky A. Energy Systems. 2015. Vol. 6. No. 3. P. 389-415.

The problem of developing a decision support system for estimating a) the scale of incorporating available renewable sources of energy (such as solar and wind energy) in a part of a country’s electrical grid (called a regional electrical grid further in this paper), and b) the scale of storing electricity in this (regional) electrical grid to make these renewable sources of electric power competitive with traditional power generators (such as fossil-fuel and nuclear ones) and to reduce the cost of acquiring electricity from all the electric power generating facilities in the grid is considered. In the framework of this system, renewable sources of energy are viewed as electricity generating facilities under both existing and expected electricity prices, and the uncertainty of energy supply from them and the uncertainty of the grid customer demand for electricity during every 24 h are taken into account. A mathematical model underlying the system allows one to study the interaction of all the grid elements as a game with a finite (more than three) number of players on a polyhedron of connected player strategies (i.e., strategies that cannot be chosen by the players independently of each other) in a finite-dimensional space. It is shown that solving both parts of the problem under consideration is reducible to finding Nash equilibrium points in this game.

Добавлено: 16 августа 2015
Статья
MacInnes W., Hunt A., Clarke A. et al. Cognitive Computation. 2018. Vol. 10. No. 5. P. 703-717.

There is a clear idea of ​​how you can observe the patterns of eye movements. This is a dynamic and dynamic cognitive companion using a Dynamic Bayesian Network (DBN). Understanding how people live. This model provides a pre-frontal area for the colliculus. Our approach is to begin with. This is an analysis of the observer's task. Secondly, it is a state cognitive state. Finally, we’ve been able to make a difference. This is the only factor that influences observers' saccadic behavior. While the inclusion of the model, This is a list of the results obtained in the paradigms. It is capable of a saccadic simulation in real time. We have shown that it has been closely coordinated with those of human observers. It is important to note that it is not a problem. There are three ways to add top-down knowledge and knowledge. First of all, we’ve given the information system available to the visual system. This matches the influential signals by Milas and Cohen Annu Rev Neurosci 24: 2001 ) imple external shif shif Second, our model is a generative and capable of those found in visual search. Third, our model generates relative saccadic vector information as opposed to absolute spatial coordinates. This matches more closely together in the superior colliculus.

Добавлено: 8 мая 2018