3,741 research outputs found
The international system in the post-pandemic world : perspectives for Europe and Asia
No full textThis book analyses the multidimensional influence of COVID-19 on world politics, with a special focus on Euro-Asian relations, as well as changes in Europe caused by the pandemic. Expert international and interdisciplinary contributors analyse the measures undertaken to counter COVID, its use to justify increased governmental surveillance, the role of religion and regional institutions and the great power transformations, and the economic crisis that resulted from it. The question driving each chapter is to what extent COVID-19, and the reaction to it, transformed the world. The book will be of interest to scholars and students of International Relations, Foreign Policy Analysis, Public Diplomacy, World Politics and Security Studies. This publication will be also relevant for professionals in the corporate world, international business, state departments, political journalism and think tanks
Processed measurement data of acceleration of MR fluid-filled cushion gripper on UR3e robot
No full textThe dataset is a supplement to the article that will soon be submitted for review. DESCRIPTION:The dataset consists of Absolute Orientation Sensor (BNO055) measurements during the transportation of an object by a UR3e robot. The trajectory of the robot's movement includes lifting the object to a height of about 200 mm, horizontal displacement for a distance of 400 mm, and lowering by 200 mm. The transfer procedure begins with the closing of the jaws and ends with their opening. The procedure is analogous to the one outlined in the following dataset:Białek, Marcin, 2023, "Processed measurement data on grip forces during object transportation by a robot using gripper with a MR fluid-filled cushions", https://doi.org/10.18150/B2KCKC, RepOD.The experiment was conducted for three values of acceleration and velocity of the robot joints. For each such configuration, 5 handling tests were carried out.LICENSE:The data are under Creative Commons License CC BY. It is though recommended to manipulate along with the author to fully understand the outcomes. If you have any questions do not hesitate to contact: marcin.bialek@put.poznan.plThis research was funded by the National Science Centre, Poland, grant number: 2021/41/N/ST8/02619. https://ror.org/03ha2q922FILE:"dataset.csv" - processed measurement data obtained during the experiment.For proper interpretation, please refer to the images provided in readme files.COLUMNS: - R_Speed[deg/s] - robot joint movement velocity;- R_Acc[deg/s^2] - robot joint movement acceleration;- SAMPLE[-] - sample number. For each object configuration, acceleration and speed, 5 trials were conducted;- TIME[s] - the measurement time at which the force was recorded;- Linear_X[m/s^2] - X axis of linear acceleration data (acceleration minus gravity)- Linear_Y[m/s^2] - Y axis of linear acceleration data (acceleration minus gravity)- Linear_Z[m/s^2] - Z axis of linear acceleration data (acceleration minus gravity)- Orient_X[deg] - X axis orientation data based on a 360° sphere- Orient_Y[deg] - Y axis orientation data based on a 360° sphere- Orient_Z[deg] - Z axis orientation data based on a 360° sphere- Accl_X[m/s^2] - X axis of acceleration (gravity + linear motion)- Accl_Y[m/s^2] - Y axis of acceleration (gravity + linear motion)- Accl_Z[m/s^2] - Z axis of acceleration (gravity + linear motion)</p
Formal Introduction to Fuzzy Implications
Full text linkSummaryIn the article we present in the Mizar system the catalogue of nine basic fuzzy implications, used especially in the theory of fuzzy sets. This work is a continuation of the development of fuzzy sets in Mizar; it could be used to give a variety of more general operations, and also it could be a good starting point towards the formalization of fuzzy logic (together with t-norms and t-conorms, formalized previously).Institute of Informatics, University of Białystok, PolandMichał Baczyński and Balasubramaniam Jayaram. Fuzzy Implications. Springer Publishing Company, Incorporated, 2008. doi:10.1007/978-3-540-69082-5.Adam Grabowski. Basic formal properties of triangular norms and conorms. Formalized Mathematics, 25(2):93–100, 2017. doi:10.1515/forma-2017-0009.Adam Grabowski. The formal construction of fuzzy numbers. Formalized Mathematics, 22(4):321–327, 2014. doi:10.2478/forma-2014-0032.Adam Grabowski. On the computer certification of fuzzy numbers. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Federated Conference on Computer Science and Information Systems, pages 51–54, 2013.Adam Grabowski. Lattice theory for rough sets – a case study with Mizar. Fundamenta Informaticae, 147(2–3):223–240, 2016. doi:10.3233/FI-2016-1406.Adam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28–30, 2007, Proceedings, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2_17.Adam Grabowski and Takashi Mitsuishi. Extending Formal Fuzzy Sets with Triangular Norms and Conorms, volume 642: Advances in Intelligent Systems and Computing, pages 176–187. Springer International Publishing, Cham, 2018. doi:10.1007/978-3-319-66824-6_16.Adam Grabowski and Takashi Mitsuishi. Initial comparison of formal approaches to fuzzy and rough sets. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I, volume 9119 of Lecture Notes in Computer Science, pages 160–171. Springer, 2015. doi:10.1007/978-3-319-19324-3_15.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama. The concept of fuzzy set and membership function and basic properties of fuzzy set operation. Formalized Mathematics, 9(2):351–356, 2001.Zdzisław Pawlak. Rough sets. International Journal of Parallel Programming, 11:341–356, 1982. doi:10.1007/BF01001956.Lotfi Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965.25324124
Autoethnography, Storytelling, and Life as Lived: A Conversation Between Marcin Kafar and Carolyn Ellis
Full text linkThis conversation takes place in Warsaw. Carolyn Ellis has come to Poland to accompany Jerry
Rawicki, a Warsaw Ghetto survivor, on his first trip back to Poland since the Holocaust. There
she arranged to meet Marcin Kafar, a scholar in Poland who has spent time with her at the University of South Florida in Tampa, Florida. During this visit, Marcin assists Carolyn with video
recording Jerry’s experiences as they visit Holocaust sites, and Jerry remembers and reflects on
his experience. Afterwards, Marcin converses with Carolyn about autoethnography, storytelling,
and the importance of life in the context of searching for ethos by academics
Interview with Marcin Grabowski, Ph.D., on the ever-changing political situation of the Asia Pacific Region in general, and the political backdrop of North Korea in particular
No full textThis interview focuses on the Asia-Pacific challenges, including American foreign policy in the region, especially at the era of Donald Trump (but generally in comparative perspective), Chinese foreign policy, both in Northeast and Southeast Asia, and in Cenral Asia (within the Belt and Road Initiative), and especially Korean challenges, including North Korean nuclear program and inter-Korean relations at the era of Kim Jong Un
Formalizing Two Generalized Approximation Operators
Full text linkRough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article we give the formal characterization of two closely related rough approximations, along the lines proposed in a paper by Gomolińska [2]. We continue the formalization of rough sets in Mizar [1] started in [6].Adam Grabowski - Institute of Informatics, University of Białystok, PolandMichał Sielwiesiuk - Institute of Informatics, University of Białystok, PolandGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.Anna Gomolińska. A comparative study of some generalized rough approximations. Fundamenta Informaticae, 51:103–119, 2002.Adam Grabowski. Automated discovery of properties of rough sets. Fundamenta Informaticae, 128:65–79, 2013. doi:10.3233/FI-2013-933.Adam Grabowski. Lattice theory for rough sets – a case study with Mizar. Fundamenta Informaticae, 147(2–3):223–240, 2016. doi:10.3233/FI-2016-1406.Adam Grabowski. Formalization of generalized almost distributive lattices. Formalized Mathematics, 22(3):257–267, 2014. doi:10.2478/forma-2014-0026.Adam Grabowski. Basic properties of rough sets and rough membership function. Formalized Mathematics, 12(1):21–28, 2004.Adam Grabowski. Relational formal characterization of rough sets. Formalized Mathematics, 21(1):55–64, 2013. doi:10.2478/forma-2013-0006.Adam Grabowski. Binary relations-based rough sets – an automated approach. Formalized Mathematics, 24(2):143–155, 2016. doi:10.1515/forma-2016-0011.Adam Grabowski and Magdalena Jastrzębska. A note on a formal approach to rough operators. In Marcin S. Szczuka and Marzena Kryszkiewicz et al., editors, Rough Sets and Current Trends in Computing – 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010. Proceedings, volume 6086 of Lecture Notes in Computer Science, pages 307–316. Springer, 2010. doi:10.1007/978-3-642-13529-3_33.Adam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28–30, 2007, Proceedings, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2_17.Adam Grabowski and Christoph Schwarzweller. On duplication in mathematical repositories. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings, volume 6167 of Lecture Notes in Computer Science, pages 300–314. Springer, 2010. doi:10.1007/978-3-642-14128-7_26.Adam Grabowski and Christoph Schwarzweller. Rough Concept Analysis - theory development in the Mizar system. In Asperti, Andrea and Bancerek, Grzegorz and Trybulec, Andrzej, editor, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19–21, 2004, Proceedings, volume 3119 of Lecture Notes in Computer Science, pages 130–144, 2004. doi:10.1007/978-3-540-27818-4_10. 3rd International Conference on Mathematical Knowledge Management, Bialowieza, Poland, Sep. 19-21, 2004.Jouni Järvinen. Lattice theory for rough sets. Transactions of Rough Sets, VI, Lecture Notes in Computer Science, 4374:400–498, 2007.Eliza Niewiadomska and Adam Grabowski. Introduction to formal preference spaces. Formalized Mathematics, 21(3):223–233, 2013. doi:10.2478/forma-2013-0024.Zdzisław Pawlak. Rough sets. International Journal of Parallel Programming, 11:341–356, 1982. doi:10.1007/BF01001956.Y.Y. Yao. Two views of the theory of rough sets in finite universes. International Journal of Approximate Reasoning, 15(4):291–317, 1996. doi:10.1016/S0888-613X(96)00071-0.William Zhu. Generalized rough sets based on relations. Information Sciences, 177: 4997–5011, 2007.26218319
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Full text linkThis the next article in the series formalizing the book of Baczyński and Jayaram “Fuzzy Implications”. We define the laws of contraposition connected with various fuzzy negations, and in order to make the cluster registration mechanism fully working, we construct some more non-classical examples of fuzzy implications. Finally, as the testbed of the reuse of lattice-theoretical approach, we introduce the lattice of fuzzy negations and show its basic properties.Faculty of Computer Science, University of Białystok, PolandMichał Baczyński and Balasubramaniam Jayaram. Fuzzy Implications. Springer Publishing Company, Incorporated, 2008. doi:10.1007/978-3-540-69082-5.Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.Józef Drewniak. Invariant fuzzy implications. Soft Computing, 10:506–513, 2006.Didier Dubois and Henri Prade. Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, 1980.Adam Grabowski. Formal introduction to fuzzy implications. Formalized Mathematics, 25(3):241–248, 2017. doi:10.1515/forma-2017-0023.Adam Grabowski. On fuzzy negations generated by fuzzy implications. Formalized Mathematics, 28(1):121–128, 2020. doi:10.2478/forma-2020-0011.Adam Grabowski. Fuzzy implications in the Mizar system. In 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11–14, 2021, pages
1–6. IEEE, 2021. doi:10.1109/FUZZ45933.2021.9494593.Adam Grabowski. On the computer certification of fuzzy numbers. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Federated Conference on Computer Science and Information Systems, pages 51–54, 2013.Adam Grabowski. Lattice theory for rough sets – a case study with Mizar. Fundamenta Informaticae, 147(2–3):223–240, 2016. doi:10.3233/FI-2016-1406.Adam Grabowski and Takashi Mitsuishi. Initial comparison of formal approaches to fuzzy and rough sets. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard
Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing – 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I, volume 9119 of Lecture Notes in Computer Science, pages 160–171. Springer, 2015. doi:10.1007/978-3-319-19324-3_15.Adam Grabowski and Takashi Mitsuishi. Formalizing lattice-theoretical aspects of rough and fuzzy sets. In D. Ciucci, G. Wang, S. Mitra, and W.Z. Wu, editors, Rough Sets
and Knowledge Technology – 10th International Conference held as part of the International Joint Conference on Rough Sets (IJCRS), Tianjin, PR China, November 20–23,
2015, Proceedings, volume 9436 of Lecture Notes in Artificial Intelligence, pages 347–356. Springer, 2015. doi:10.1007/978-3-319-25754-9_31.Adam Grabowski and Christoph Schwarzweller. On duplication in mathematical repositories. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010,
and 9th International Conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings, volume 6167 of Lecture Notes in Computer Science, pages 300–314. Springer,
2010. doi:10.1007/978-3-642-14128-7_26.Takashi Mitsuishi. Definition of centroid method as defuzzification. Formalized Mathematics, 30(2):125–134, 2022. doi:10.2478/forma-2022-0010.Takashi Mitsuishi. Isosceles triangular and isosceles trapezoidal membership functions using centroid method. Formalized Mathematics, 31:59–66, 2023. doi:10.2478/forma-2023-0006.Lotfi Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965. doi:10.1016/S0019-9958(65)90241-X.31115115
PLoS Open Peer Review Corpus
No full textPLoS Open Peer Review CorpusSection for Logic & Cognitive Science, Institute of Philosophy and Sociology, Polish Academy of ScienceGenerated by Ksawery Jasieński under supervision of Marcin Miłkowski (2022)Public Library of Science (PLoS) journals are committed to open peer review idea, but these are voluntary. They are not available for download in a single package, but they are contained in their huge data dump.The data set contains all available peer reviews as of 16 June 2022 (138 papers with reviews). In addition, the corpus contains metadata about particular reviews, author responses, decision letters and paper metadata in the JSON format. The JSON schema files are available in the schema subdirectory in files with self-explanatory names.The original files were not enriched with any linguistic annotation or converted to any format (these are predominantly PDF, TXT, and DOCX files, as uploaded through the MDPI editorial system by reviewers).Additionally, we are making the filter code available, in the review_crawler directory. For PLoS reviews, plos_crawler.py should be used (more notes in the subdirectory).The files are being made available under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).</p
MDPI Open Peer Review Corpus
No full textMDPI Open Peer Review CorpusSection for Logic & Cognitive Science, Institute of Philosophy and Sociology, Polish Academy of ScienceGenerated by Ksawery Jasieński under supervision of Marcin Miłkowski (2022)MDPI is committed to open peer review idea, but these are voluntary. They are not available for download in a single package, so they must be crawled from their website.The data set contains all available peer reviews as of 16 June 2022 (123 papers with reviews). In addition, the corpus contains metadata about particular reviews, author responses and paper metadata in the JSON format. The JSON schema files are available in the schema subdirectory in files with self-explanatory names.The original files were not enriched with any linguistic annotation or converted to any format (these are predominantly PDF, TXT, and DOCX files, as uploaded through the MDPI editorial system by reviewers).Additionally, we are making the crawler code available, in the review_crawler directory. For MDPI reviews, mdpi_crawler.py should be used (more notes in the subdirectory).The files are being made available under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).</p
eLife Open Peer Review Corpus
No full texteLife Open Peer Review CorpusSection for Logic & Cognitive Science, Institute of Philosophy and Sociology, Polish Academy of ScienceGenerated by Ksawery Jasieński under supervision of Marcin Miłkowski (2022)eLife is committed to open peer review idea. Reviews are not available for download in a single package, so they must be extracted from their complete data set, which is several gigabytes large.The data set contains all available peer reviews as of 24 July 2022 (10853 papers with reviews or at least decision letters that omit minor comments). As stated by eLife:“In the interests of transparency, eLife includes the editorial decision letter and accompanying author responses. A lightly edited version of the letter sent to the authors after peer review is shown, indicating the most substantive concerns; minor comments are not usually included.”In addition, the corpus contains metadata about particular reviews (the filename contains ‘r’ and a numerical id before ‘.xml’), author responses (the filename then contains ‘a’ and a number before the ‘.xml’ suffix) and paper metadata in the JSON format. The JSON schema files are available in the schema subdirectory in files with self-explanatory names.The original files were not enriched with any linguistic annotation or converted (these are in XML format, as used by eLife).Additionally, we are making the crawler code available, in the review_crawler directory. For eLife reviews, elife_crawler.py should be used (more notes in the subdirectory).The files are being made available under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).</p
- …
