Исследователи Института искусственного интеллекта и цифровых наук факультета компьютерных наук НИУ ВШЭ приняли участие в Международной конференции-школе по тензорным методам в математике и вычислениях для искусственного интеллекта (3rd Conference-School on Tensor Methods in Mathematics and Artificial Intelligence Computing). Мероприятие прошло в конце октября в Шэньчжэне (Китай). Одна из работ ученых института получила награду Best Poster Award и вошла в число пяти лучших постеров конференции.
Молекулы многих лекарств могут переходить из одной пространственной формы в другую. Ученые НИУ ВШЭ и Института химии растворов РАН с помощью математической модели ибупрофена в сверхкритическом CO₂ показали, что растворитель может вызывать необычно медленный отклик таких молекул. Сами молекулы при этом продолжают быстро менять форму, но их окружение перестраивается медленно, и это отражается на результатах измерений. Исследование опубликовано в The Journal of Chemical Physics.
Ученые НИУ ВШЭ — Санкт-Петербург совместно с коллегами из отделения нейрореабилитации Федерального Сибирского научно-клинического центра ФМБА в Красноярске разработали корпус упрощенных текстов для пациентов с афазией разной степени тяжести. Клинические исследования показали, что материалы по актуальным тематикам мотивируют активнее заниматься восстановлением речи после инсульта. Исследование опубликовано в журнале Aphasiology.
Сперанский С. О., Journal of Logic and Computation 2021 Vol. 31 No. 5 P. 1330–1355
The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed in [Cabalar et al. 2006], while the latter has ...
Сперанский С. О., Siberian Electronic Mathematical Reports 2022 Vol. 19 No. 2 P. 562–577
This paper collects some observations about Došen's logic N, where negation is treated as a modal operator, and its extensions. We shall see what happens when we add the contraposition axiom to several important extensions of N, show that certain extensions of N are canonical, and also revisit the method of filtration. ...
