5,822 research outputs found
Local Author Talk with John Grabowski
No full textOn Wednesday, April 10 2024, meet author John J. Grabowski and hear about his recent book titled Cleveland Cultural Gardens: A Landscape of Diversity. From their beginnings as private farmland to their current form as monuments to cultural and ethnic diversity, the unique collection of landscaped, themed gardens that compose Cleveland’s Cultural Gardens holds a rich history. Honoring and embodying the cultural heritages of a region through the beauty of shared outdoor spaces, John J. Grabowski guides readers through this story, using both archival images and Lauren R. Pacini’s stunning contemporary photography.
To see the video of this presentation, click Link to Full Text in the upper right corner
Formal Introduction to Fuzzy Implications
No full textSummaryIn 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
Creating aero-databases by adaptive-fidelity CFD coupled with S&C analysis to predict flying qualities
No full textCEASIOM, the Computerized Environment for Aircraft Synthesis and Integrated Optimization Methods, is a framework tool that integrates discipline-specific tools for conceptual design. At this early stage of the design it is very useful to be able to predict the flying and handling qualities of this design. In order to do this, the aerodynamic database needs to be computed for the configuration being studied which then has to be coupled to the stability and control tools to carry out the analysis. This paper describes how the adaptive-fidelity CFD module of CEASIOM computes the aerodynamic dataset of an aircraft configuration, and how that dataset is analyzed by the SDSA module to determine the flying qualities of the aircraft. These predicted flying qualities are then compared with the flight-test data of the Ranger 2000 trainer aircraft in order to verify the goodness of the overall approach. The design, simulate and evaluate (DSE) exercise demonstrates how the software works as a design tool. The exercise begins with a design specification and uses conventional design methods to prescribe a baseline configuration. Then CEASIOM improves upon this baseline by analyzing its flying and handling qualities. This paper reports on the DSE case Transonic cruiser TCR from baseline design to Tier-I+ design
Critical Literary Texts by Michał Grabowski
No full textWydział Filologii Polskiej i Klasycznej UAM w PoznaniuCelem rozprawy doktorskiej Pisarstwo krytycznoliterackie Michała Grabowskiego jest zaprezentowanie i analiza autorskiej wizji krytyka dotyczącej rozwoju literatury romantycznej. Krytykę Grabowskiego charakteryzował koncyliacyjny ton, a autor wydaje się jedynie udzielać porad czytelnikom. Jest to jeden z wielu romantycznych modeli krytyki opartych na retorycznym wpływie na wybory odbiorców. W swoich szkicach i listach Grabowski wykorzystywał strategie retoryczne, rozpoczął też dyskusję na temat literatury narodowej. Moim głównym celem było pokazanie, jak Grabowski rozumiał swoje krytycznoliterackie umiejętności. Analiza jego metody krytycznej stanowi asumpt do głębszej refleksji nad samą krytyką, ponieważ jego prace można traktować jako „lustro” dla epoki. Moją dysertację o Grabowskim można więc uznać jako zaproszenie do dyskusji na temat czynników determinujących myślenie krytycznoliterackie w XIX wieku. Teksty Grabowskiego stanowią interesujący zbiór punktów widzenia (czasem spójnych, a czasem sprzecznych), który wyraża zainteresowanie polską literaturą. Przedstawiał on pomysły, diagnozy i deklaracje, które razem tworzą mozaikowy obraz kultury, literatury i sztuki romantycznej.The aim of this graduation thesis entitled Critical Literary Texts by Michał Grabowski is to present and analyze the author’s visions regarding the development of literature. Grabowski’s criticism is characterized by a conciliatory tone, and the author seems to only provide readers with advice. It is one of many romantic models of criticism which based on a rhetorical influence on the reader’s choices. He used rhetorical strategies and started a discussion on national literature issues. His statements also show that he wanted to control the development of literature and its reception. My primary objective was to learn how the author understood his own literary critical skills. Analysis of Grabowski's critical method is very important for reflection on criticism itself, because his work may be treated as a "mirror" of the era. My dissertation about Michał Grabowski may be regarded as an invitation to a discussion on what factors determined critical thinking in the 19th century. Texts by Michał Grabowski constitutes an interesting collection of points of view (sometimes complementary, sometimes contrary), which express interest in Polish literature. He presented ideas, diagnoses and declarations which all together to form a mosaic picture of culture, literature and art
Gammarus loeffleri Zamanpoore, Grabowski, Poeckl & Schiemer 2010
No full textGammarus loeffleri Zamanpoore, Grabowski, Poeckl & Schiemer, 2010 Gammarus loeffleri Zamanpoore, Grabowski, Poeckl & Schiemer, 2010: 31 –51, Figs. 7–10. Locus typicus. Cheshme Golabi spring, Darab, Fars Province, (28 ° 47 'N, 54 ° 22 'E). Material examined. Holotype, Cheshme Golabi spring, 23 km W of Darab, Fars Province (28 ˚ 47 ʹ N, 54 ˚ 22 ʹ E) (ZMA, Amph. 206055), paratypes (FAIC 111094). Additional specimens: Aab Do-man-nim spring, 12 km S of Kherame (28 ˚ 42 ʹN, 54 ˚ 27 ʹE) (FAIC 111077); Aab Vohli spring, 22 km S of Kherame (29 ˚ 10 ʹN, 53 ˚ 27 ʹE) (FAIC 111078); Atashkade spring, 13 km N of Firooz Abad (28 ˚ 53 ʹN, 52 ˚ 32 ʹE) (FAIC 111213); Bahadoran river, 15 km W of Darab (28 ˚ 42 ʹN, 54 ˚ 27 ʹE) (FAIC 111097); Bande Amir road, 41 km E of Shiraz (29 ˚ 33 ʹN, 52 ˚ 58 ʹE) (FAIC 111272); Fasa river, 5 km N of Fasa (29 ˚01ʹN, 53 ˚ 38 ʹE) (FAIC 111102); Ghare Aghaj river, 53 km S of Shiraz (29 ˚ 11 ʹN, 52 ˚ 38 ʹE) (FAIC 111236); Nowbandegan, 20 km SE of Fasa (28 ˚ 50 ʹN, 53 ˚ 49 ʹE) (FAIC 111130); Oghlanghez spring, 30 km NW of Darab (28 ˚ 50 ʹN, 54 ˚ 24 ʹE) (FAIC 111095); Pa-Naal spring, 10 km NW of Fasa (29 ˚07ʹN, 53 ˚ 37 ʹE) (FAIC 111103); Sarve Nokhodi, 105 km SE of Shiraz (29 ˚ 11 ʹN, 53 ˚06ʹE) (FAIC 111076); Tang Aab spring, 29 km N of Firooz Abad (29 ˚02ʹN, 52 ˚ 34 ʹE) (FAIC 111101). Distribution. A wide area along west-east axis from SE of Shiraz to the far east end of Fars province is occupied by this species. No populations of this or any other Gammarus species can be found north- and southwards from that region due to presence of an arid desert in the north, and high salinities and temperatures of inland waters in the south (Fig. 1). Ecological notes. This species inhabits springs and occasionally first order small streams at altitudes from 1100 m to 1800 m asl (Mean = 1383 m, SD = 266), which are lower if compared to most other Zagros species. Water temperature in these places ranged from 12 to 24 ºC (Mean = 20.3 ºC, SD = 2.8). Waters had also higher salinities – the electric conductivity measured from 180 to as much as 1000 μS/cm (Mean = 471 μS/cm, SD = 133). Taxonomic remarks. The special shape of the basis of pereopod 7, having absolutely no protruding lobe on postero-distal corner (Zamanpoore et al., 2010 a, Fig. 9 C), could be a good identification feature for G. loeffleri, but some variation of this character was observed – in a few populations the individuals possessed a small lobe in this position. Regarding this and the type of setation on antenna 2 and on pereopods, the species might be confused at first glance with G. crinicaudatus. However, in G. loeffleri, the length and number of setae, especially on pereopods (ibid., Figs. 9 A–C) are much higher than in the latter species. Another species, close in both morphological and geographical terms is G. s h i r a z i n u s, although presence of two tiny spines on the ventral-distal corner of first peduncle of antenna 1 distinguishes it from G. loeffleri. Finally, G. loeffleri differs from G. komareki by having non-curled setae on antenna 2, presence of calceoli, highly setose pereopod 4 (ibid., Fig. 8 D), and much longer setae on many appendages, including pereopods 5–7, uropod 3, telson, and posterior dorsal margin of urosomites (ibid., Figs. 9 A– c, 9 F, 7 J, 9 D).Published as part of Zamanpoore, Mehrdad, Grabowski, Michal, Poeckl, Manfred & Schiemer, Friedrich, 2011, Taxonomic review of freshwater Gammarus (Crustacea: Amphipoda) from Iran, pp. 1-14 in Zootaxa 3140 on page 7, DOI: 10.5281/zenodo.20563
Geschichte Josefs von Mar Narses
No full textThis volume contains Grabowski’s inaugural dissertation: an edition, with annotated translation, of one of Narsai’s poems on the Joseph story from Genesis. The Syriac text was edited from a Berlin manuscript, and Grabowski, in the introduction, discusses Narsai’s possible sources and the meter, and gives a description of the manuscript itself. The notes to the translation highlight biblical, lexicographical, textual, and literary details.Annotated translation from the Syriac to German
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
No full textThis 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
tacea, Amphipoda) from warm springs in the south-east pre-alpine area of the Zagros, Iran: habitats with physiological challenges. Zootaxa, 2546, 31-51.
No full textZAMANPOORE, M., GRABOWSKI, M., POECKL, M., SCHIEMER, F. (2010): tacea, Amphipoda) from warm springs in the south-east pre-alpine area of the Zagros, Iran: habitats with physiological challenges. Zootaxa, 2546, 31-51. Zootaxa 2666 (1): 68, DOI: 10.11646/zootaxa.2666.1.4, URL: http://dx.doi.org/10.11646/zootaxa.2666.1.
Elementary Number Theory Problems. Part VI
No full textThis paper reports on the formalization in Mizar system [1], [2]of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [7] (see [6] for details of this concrete dataset). This article is devoted mainly to arithmetic progressions: problems 52, 54, 55, 56, 60, 64, 70,71, and 73 belong to the chapter “Arithmetic Progressions”, and problem 50 is from “Relatively Prime Numbers”.Institute of Computer Science, 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 andbeyond. 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.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.Adam Grabowski. On square-free numbers. Formalized Mathematics, 21(2):153–162, 2013.doi:10.2478/forma-2013-0017.Adam Grabowski. Polygonal numbers. Formalized Mathematics, 21(2):103–113, 2013.doi:10.2478/forma-2013-0012.Magdalena Jastrzębska and Adam Grabowski. Some properties of Fibonacci numbers. Formalized Mathematics, 12(3):307–313, 2004.Adam Naumowicz. Dataset description: Formalization of elementary number theory in Mizar. In Christoph Benzmüller and Bruce R. Miller, editors, Intelligent Computer Mathematics – 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020,Proceedings, volume 12236 of Lecture Notes in Computer Science, pages 303–308. Springer,2020. doi:10.1007/978-3-030-53518-6_22.Wacław Sierpiński.250 Problems in Elementary Number Theory. Elsevier, 1970.Robert M. Solovay. Fibonacci numbers. Formalized Mathematics, 10(2):81–83, 2002.30323524
- …
