Search

Your search keyword '"Grigoriev, Oleg"' showing total 92 results
Start Over Author "Grigoriev, Oleg"
92 results on '"Grigoriev, Oleg"'

1. Non-deterministic Logic of Generalized Classical Truth Values

Author

Grigoriev, Oleg, Petrukhin, Yaroslav, Bueno, Otávio, Editor-in-Chief, Brogaard, Berit, Editorial Board Member, French, Steven, Editorial Board Member, Dutilh Novaes, Catarina, Editorial Board Member, Rowbottom, Darrell P., Editorial Board Member, Ruttkamp, Emma, Editorial Board Member, Miller, Kristie, Editorial Board Member, Coniglio, Marcelo Esteban, editor, Kubyshkina, Ekaterina, editor, and Zaitsev, Dmitry, editor

Published
2024
Full Text
View/download PDF

2. Cyclic Negations and Four-valuedness

Author

Grigoriev, Oleg and Zaitsev, Dmitry

Subjects
Computer Science - Logic in Computer Science
Abstract

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems., Comment: In Proceedings NCL 2022, arXiv:2204.06359

Published
2022
Full Text
View/download PDF

6. Specifics of the Emotional-Personal Sphere Among Preschool Children

Author

Velieva, Svetlana V., Grigoriev, Oleg I., Pinyaeva, Olga S., Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, and Maximova, Svetlana G., editor

Published
2023
Full Text
View/download PDF

7. On capacity computation for symmetric polygonal condensers

Author

Bezrodnykh, Sergei, Bogatyrev, Andrei, Goreinov, Sergei, Grigoriev, Oleg, Hakula, Harri, and Vuorinen, Matti

Subjects
Mathematics - Numerical Analysis, 65E05 31A15 30C85 14H42 31B15
Abstract

Making use of two different analytical-numerical methods for capacity computation, we obtain matching to a very high precision numerical values for capacities of a wide family of planar condensers. These two methods are based respectively on the use of the Lauricella function and Riemann theta functions. We apply these results to benchmark the performance of numerical algorithms, which are based on adaptive $hp$--finite element method and boundary integral method., Comment: 21 pages, 5 figures, 7 tables

Published
2018

8. TITANIS: A Tool for Intelligent Text Analysis in Social Media

Author

Smirnov, Ivan, Stankevich, Maksim, Kuznetsova, Yulia, Suvorova, Margarita, Larionov, Daniil, Nikitina, Elena, Savelov, Mikhail, Grigoriev, Oleg, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kovalev, Sergei M., editor, Kuznetsov, Sergei O., editor, and Panov, Aleksandr I., editor

Published
2021
Full Text
View/download PDF

9. Method for Expert Search Using Topical Similarity of Documents

Author

Zubarev, Denis, Devyatkin, Dmitry, Sochenkov, Ilya, Tikhomirov, Ilya, Grigoriev, Oleg, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Elizarov, Alexander, editor, Novikov, Boris, editor, and Stupnikov, Sergey, editor

Published
2020
Full Text
View/download PDF

10. Method of Selecting Experts Based on Analysis of Large Unstructured Data and Their Relations

Author

Shiray, Michael A., Grigoriev, Oleg G., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kuznetsov, Sergei O., editor, Panov, Aleksandr I., editor, and Yakovlev, Konstantin S., editor

Published
2020
Full Text
View/download PDF

11. Capacity of several aligned segments

Author

Bogatyrev, Andrei B. and Grigoriev, Oleg A.

Subjects
Mathematics - Complex Variables, 30C85, 30F10, 14H42
Abstract

In this note we present a universal formula in terms of theta functions for the Log- capacity of several segments on a line. The case of two segments was studied by N.I.Akhiezer (1930); three segments were considered by A.Sebbar and T.Falliero (2001)., Comment: 9 pages, 1 fig

Published
2015
Full Text
View/download PDF

12. Technology of Personalized Preventive Recommendation Formation Based on Disease Risk Assessment

Author

Grigoriev, Oleg G., Molodchenkov, Alexey I., Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Yuan, Junsong, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Kuznetsov, Sergei O., editor, and Panov, Aleksandr I., editor

Published
2019
Full Text
View/download PDF

14. Risk Health Evaluation and Selection of Preventive Measures Plan with the Help of Argumental Algorithm

Author

Grigoriev, Oleg G., Molodchenkov, Alexey I., Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Kuznetsov, Sergei O., editor, Osipov, Gennady S., editor, and Stefanuk, Vadim L., editor

Published
2018
Full Text
View/download PDF

20. Generalized Truth Values: From Logic to the Applications in Cognitive Sciences

Author

Grigoriev, Oleg, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cheng, Long, editor, Liu, Qingshan, editor, and Ronzhin, Andrey, editor

Published
2016
Full Text
View/download PDF

21. Modeling Seasonality of Emotional Tension in Social Media.

Author

Nosov, Alexey, Kuznetsova, Yulia, Stankevich, Maksim, Smirnov, Ivan, and Grigoriev, Oleg

Subjects
SOCIAL conflict, SOCIAL media, SOCIAL processes, COLLECTIVE behavior, PUBLIC opinion
Abstract

Social media has become an almost unlimited resource for studying social processes. Seasonality is a phenomenon that significantly affects many physical and mental states. Modeling collective emotional seasonal changes is a challenging task for the technical, social, and humanities sciences. This is due to the laboriousness and complexity of obtaining a sufficient amount of data, processing and evaluating them, and presenting the results. At the same time, understanding the annual dynamics of collective sentiment provides us with important insights into collective behavior, especially in various crises or disasters. In our study, we propose a scheme for identifying and evaluating signs of the seasonal rise and fall of emotional tension based on social media texts. The analysis is based on Russian-language comments in VKontakte social network communities devoted to city news and the events of a small town in the Nizhny Novgorod region, Russia. Workflow steps include a statistical method for categorizing data, exploratory analysis to identify common patterns, data aggregation for modeling seasonal changes, the identification of typical data properties through clustering, and the formulation and validation of seasonality criteria. As a result of seasonality modeling, it is shown that the calendar seasonal model corresponds to the data, and the dynamics of emotional tension correlate with the seasons. The proposed methodology is useful for a wide range of social practice issues, such as monitoring public opinion or assessing irregular shifts in mass emotions. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

22. Basic modal congruent and monotonic multilattice logics.

Author

Grigoriev, Oleg and Petrukhin, Yaroslav

Subjects
EMBEDDING theorems, MODAL logic, LOGIC, NEIGHBORHOODS, ALGEBRA
Abstract

In the paper, we introduce multilattice versions of the basic congruent and monotonic modal logics. In the case of congruent and monotonic ones, we also study their extensions by Gödel's rule. We formulate these logics in the form of sequent calculi and prove syntactic embedding theorems (as a consequence, we obtain cut admissibility and decidability). Then we present them algebraically and semantically: via modal multilattices and via general and descriptive neighbourhood frames. We show the dual equivalency of the categories of modal multilattices and descriptive neighbourhood frames. Using Lindenbaum–Tarski algebras, we prove that the sequent calculi under consideration are sound and complete with respect to modal multilattices. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

25. Natural Deduction Calculus for Linear-Time Temporal Logic

Author

Bolotov, Alexander, Basukoski, Artie, Grigoriev, Oleg, Shangin, Vasilyi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Fisher, Michael, editor, van der Hoek, Wiebe, editor, Konev, Boris, editor, and Lisitsa, Alexei, editor

Published
2006
Full Text
View/download PDF

41. Advisory Group recommendations on priorities for the IARC Monographs

Author

Marques, M Matilde, primary, Berrington de Gonzalez, Amy, additional, Beland, Frederick A., additional, Browne, Patience, additional, Demers, Paul A, additional, Lachenmeier, Dirk W, additional, Bahadori, Tina, additional, Barupal, Dinesh K., additional, Belpoggi, Fiorella, additional, Comba, Pietro, additional, Dai, Min, additional, Daniels, Robert D, additional, Ferreccio, Catterina, additional, Grigoriev, Oleg A, additional, Hong, Yun-Chul, additional, Hoover, Robert N., additional, Kanno, Jun, additional, Kogevinas, Manolis, additional, Lasfargues, Gérard, additional, Malekzadeh, Reza, additional, Masten, Scott, additional, Newton, Robert, additional, Norat, Teresa, additional, Pappas, Jane J, additional, Queiroz Moreira, Camila, additional, Rodríguez, Teresa, additional, Rodríguez-Guzmán, Julietta, additional, Sewram, Vikash, additional, Zeise, Lauren, additional, Benbrahim-Tallaa, Lamia, additional, Bouvard, Véronique, additional, Cree, Ian A, additional, El Ghissassi, Fatiha, additional, Girschik, Jennifer, additional, Grosse, Yann, additional, Hall, Amy L, additional, Turner, Michelle C, additional, Straif, Kurt, additional, Korenjak, Michael, additional, McCormack, Valerie, additional, Müller, Karen, additional, Schüz, Joachim, additional, Zavadil, Jiri, additional, Schubauer-Berigan, Mary K, additional, and Guyton, Kathryn Z, additional

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results