?
Biabduction (and Related Problems) in Array Separation Logic
P. 472-490.
Канович М. И., Brotherston J., Gorogiannis N.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Brotherston J., Gorogiannis N., Kanovich Max и др., , in : POPL 2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. : NY : ACM, 2016. P. 84-96.
We investigate the *model checking* problem for symbolic-heap separation logic with user-defined inductive predicates, i.e., the problem of checking that a given stack-heap memory state satisfies a given formula in this language, as arises e.g. in software testing or runtime verification. First, we show that the problem is *decidable*; specifically, we present a bottom-up fixed ...
Добавлено: 9 июня 2016 г.
Добавлено: 7 ноября 2021 г.
Рампаццо Гамбарато Р., Estudos em Comunicação 2012 No. 12 P. 69-83
This article addresses key concepts such as sign, system and complexity in order to approach transmedia storytelling and better understand its intricate nature. The theoretical framework chosen to investigate transmedia storytelling meanders is Semiotics by Charles Sanders Peirce (1839-1914) and General Systems Theory by Mario Bunge (1919-). The complexity of transmedia storytelling is not simply ...
Добавлено: 25 ноября 2013 г.
Paderborn : Wilhelm Fink Verlag, 2016
Представленная книга является результатом пятилетней работы над концептами "синергия". ...
Добавлено: 28 июня 2016 г.
Institute of Physics Publishing (IOP), 2021
Добавлено: 13 августа 2021 г.
Рубчинский А. А., / Высшая школа экономики. Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2015. No. WP7/2015/09.
An algorithm of solution of the Automatic Classification (AC for brevity) problem is set forth in the paper. In the AC problem, it is required to find one or several partitions, starting with the given pattern matrix or dissimilarity / similarity matrix. The three-level scheme of the algorithm is suggested. The output of the procedure ...
Добавлено: 19 октября 2017 г.
Князева Е. Н., Вестник Томского государственного педагогического университета 2011 № 10 С. 191-199
Наука сегодня развивается, порождая все более сложные трансдисциплинарные комплексы знаний. Часто именно на трансдисциплинарных полях исследований осуществляется конструктивный диалог между специалистами разных дисциплин, рождается новое знание, происходят прорывы в понимании мира. В статье рассматриваются особенности трансдисциплинарности, ее отличие от междисциплинарности и полидисциплинарности. В качестве бурно развивающихся областей современных трансдисциплинарных исследований рассматриваются теория сложности (синергетика), исследования ...
Добавлено: 11 ноября 2013 г.
Князева Е. Н., М. : Институт философии РАН, 1995
В монографии исследуются сложные феномены индивидуального творчества ученых, а также исторического развития научного знания в аспекте теории самоорганизации (синергетики). Дается характеристика синергетики как новой исследовательской программы в широком философско-мировоззренческом и культурно-историческом контексте. В свете синергетики истолковываются такие характеристики креативного мышления, как его многовариантность и сценарность, скрытые установки и преддетерминации, восполнение недостающих звеньев и самодостраивание целостного ...
Добавлено: 10 ноября 2013 г.
Скрипченко А. С., Troubetzkoy S., / Cornell University. Series math "arxiv.org". 2015. No. 1501.04584.
We prove that a polygonal billiard with one-sided mirrors has zero
topological entropy. In certain cases we show sub exponential and for other
polynomial estimates on the complexity. ...
Добавлено: 26 января 2015 г.
Морен Э., M. : -, 2013
«Метод» – главное сочинение выдающегося французского философа и социолога, известного своими трансдисциплинарными исследованиями и отстаивающего необходимость реформы мышления, радикального изменения метода познания, чтобы постигнуть сложность реального мира, приблизиться к раскрытию глубинной тайны вещей. В настоящем издании с позиции общей теории систем и современной теории самоорганизации излагаются оригинальные воззрения автора на природу сложных формообразований и человека, ...
Добавлено: 18 ноября 2013 г.
Science and Technology Publications, Lda, 2022
Добавлено: 8 сентября 2022 г.
Князева Е. Н., World Futures: Journal of General Evolution 2004 Vol. 60 No. 5/6 P. 389-405
Добавлено: 22 января 2014 г.
Князева Е. Н., В кн. : Инновационная сложность. : СПб. : Алетейя, 2016. Гл. 2. С. 38-100.
В этой работе рассматривается феномен инновационной сложности с методологических позиций, которые строятся на современной теории сложных адаптивных систем и концепции энактивного познания (энактивизма) в когнитивной науке и неклассической эпистемологии. Находясь на этих позициях, можно утверждать, что свойства сложной системы и среды, в которую она встроена и в которой она функционирует, взаимно определяют друг друга. Сложность, ...
Добавлено: 25 октября 2015 г.
Князева Е. Н., Вестник Томского государственного педагогического университета 2013 № 5 (133) С. 110-118
В статье исследуется феномен коммуникации как проявление сложности вступающих во взаимодействие существ. Коммуникация рассматривается не как привилегия человека, показывается укорененность ее в мире живой природы, ее эволюционное происхождение. Коммуникативная сложность раскрывается посредством понятий гибкости (флексибельности), конструирования, интерсубъективности, партисипационного производства смыслов, эмпатии, синергии, взаимного возникновения (ко-эмержентности) коммуницирующих существ. Понимание коммуникации с позиции концепции энактивизма позволяет раскрыть ...
Добавлено: 8 ноября 2013 г.
Иванова И. А., Strand Ø., Kushnir D. и др., Technological Forecasting and Social Change 2017 Vol. 120 P. 77-89
Добавлено: 28 февраля 2017 г.
Antonopoulos T., Gorogiannis N., Haase C. и др., , in : Lecture Notes in Computer Science. 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. : Berlin : Springer, 2014. Ch. 27. P. 411-425.
Добавлено: 24 марта 2015 г.
Springer, 2022
Добавлено: 13 июля 2022 г.
Князева Е. Н., Systems Research and Behavioral Science 2003 Vol. 20 No. 1 P. 53-64
An attempt to critically analyze the claims of the theory of self-organization of complex systems (synergetics) to the interdisciplinary generalizations and the universal efficacy of its models is made in the paper. The grounds of transfer of synergetic models to different disciplinary fields are under discussion. It is argued that synergetics is rather a mental ...
Добавлено: 22 января 2014 г.
Гринин Л. Е., Коротаев А. В., David B., , in : Globalistics and Globalization Studies: Aspects & Dimensions of Global Views. : Volgograd : Uchitel, 2014. P. 321-328.
Добавлено: 9 октября 2014 г.
Князева Е. Н., Философия и культура 2013 № 11 С. 1532-1542
В статье рассматривается развитие эволюционного мышления и производится оценка его эвристических возможностей для междисциплинарного синтеза знания. Обосновывается, что синтетические, интегративные, холистические тенденции — в отличие от дисциплинарного разделения наук в Новое время — являются в науке XXI века преобладающими. Эволюционное мышление, понимаемое в самом широком смысле этого слова, базируется сегодня не только на теории биологической ...
Добавлено: 22 января 2014 г.
Куркина Е. С., Князева Е. Н., Философия науки и техники 2017 Т. 22 № 2 С. 120-135
В статье рассматриваются некоторые нетривиальные свойства сетевых структур в социальных средах, которые выявляются благодаря методологии сетевого анализа. Показывается, в частности, что ныне акцент смещается с изучения социальной сложности на изучение социальных сетевых структур. Эволюционным трендом является переход от иерархий к сетям, а процесс формирования сетевых структур исследуется как феномен сетизации. Процессы быстрого роста сетевых структур ...
Добавлено: 16 января 2018 г.
Springer, 2020
Springer Proceedings in Complexity publishes proceedings from scholarly meetings on all topics relating to the interdisciplinary studies of complex systems science. Springer welcomes book ideas from authors. The series is indexed in Scopus.
Proposals must include the following: - name, place and date of the scientific meeting - a link to the committees (local organization, international advisors etc.) - ...
Добавлено: 23 февраля 2020 г.