ePublications
Not a member yet
19220 research outputs found
Sort by
The Ideology of Kinship: Linguistic Markers in Russian Culture
No full textThe purpose of this work is to study the language-systemic means of embodying the idea of kinship and power in ancient Eastern Slavic culture and the reconstruction of its conceptual base. Research into the dynamics of semantic and nominative space in the history of Russian culture allowed for the extraction of applicable/inapplicable, evaluative, and semantic density of the following concept in a historical perspective. The ideological potential of kinship in current Russian discourse on international relations, where the module of kinship (brotherhood) of Eastern Slavic peoples is used as a frequent metaphorical model, forms semantic continuity of the axiocategory of kinship in Russian linguaculture. Its relevance is supported by language facts such as: the dense nominative field of kinship; frequency of lexemes related to kinship retains high scores as shown by the Russian National Corpus; analysis of parallel corpuses of Eastern Slavic languages confirms the semantic continuity of the idea of kinship. Additional evidence from parallel corpuses will allow for the confirmation or rejection of the idea of linguospecificity of the nominative field of kinship in modern Slavic [email protected] Mechnikov National UniversityAchijezier A.S., 1991, Rossiâ: kritika istoričeskogo opyta, Moskva. [Ахиезер А.С., 1991, Россия: критика исторического опыта, Москва.]Ârockaâ G.S., Šimulâ R., 2017, Lingvoaksiologiâ rodstva: Rossiâ i Ukraina v rossijskih mass-media, „Aktualʹnye problemy filologii i pedagogičeskoj lingvistiki”, No. 27, s. 65–73. [Яроцкая Г.С., Шимуля Р., 2017, Лингвоаксиология родства: Россия и Украина в российских масс‑медиа, «Актуальные проблемы филологии и педагогической лингвистики», № 27, c. 65–73.]Âvorsʹka G., Bogomolov O., 2010, Nepevnij ob’êkt bažannâ: ÊVROPA v ukraïns ʹkomu polìtičnomu dyskursi, Kiïv. [Яворська Г., Богомолов О., 2010, Непевний об’єкт бажання: ЄВРОПА в українському політичному дискурсі, Київ.]Berezovič E.L., 2007, Âzyk i tradicionnaâ kulʹtura, Moskva. [Березович Е.Л., 2007, Язык и традиционная культура, Москва.]Bogoslovskij M., 1903, Zemskoe samoupravlenie na russkom Severe v XVII veke, Moskva. [Богословский М., 1903, Земское самоуправление на русском Севере в XVII веке, Москва.]Boronoev A.O., Smirnov P.I., 1992, Rossiâ i russkie: Harakter naroda i sudʹby strany. Sankt‑Peterburg. [Бороноев А.О., Смирнов П.И., 1992, Россия и русские: Характер народа и судьбы страны, Санкт‑Петербург.]Dobrovolʹskij D.O., 2009, Korpus parallelʹnyh tekstov v issledovanii kulʹturno-specifičnoj leksiki, [v:] Nacionalʹnyj korpus russkogo âzyka: 2006—2008. Novye rezulʹtaty i perspektivy, Sankt-Peterburg. [Добровольский Д.О., 2009, Корпус параллельных текстов в исследовании культурно‑специфичной лексики, [в:] Национальный корпус русского языка: 2006–2008. Новые результаты и перспективы, Санкт‑Петербург.]Dâtlov S.A., 2006, Duhovno‑nravstvennyetradicii hozâjstvovaniâ v Rossii, „Problemy sovremennoj èkonomiki”, No 1/2(17/18), s. 408–413. [Дятлов С.А., 2006, Духовно‑нравственные традиции хозяйствования в России, «Проблемы современной экономики», № 1/2(17/18), c. 408–413.]Florenskij P., 1996, U vodorazdelov mysli, [v:] Sočineniâ, t. 3(1), Moskva, s. 436–437. [Флоренский П., 1996, У водоразделов мысли, [в:] Сочинения, т. 3(1), Москва, c. 436–437.]Froânov I.Â., 1995, Drievnââ Rusʹ, Sankt‑Peterburg. [Фроянов И.Я., 1995, Древняя Русь, Санкт‑Петербург.]Froânov I.Â., 1996, Rabstvo i danničestvo u vostočnyh slavân, Sankt‑Peterburg. [Фроянов И.Я., 1996, Рабство и данничество у восточных славян, Санкт‑Петербург.]Froânov I.Â., 2003, Načalo hristianstva na Rusi, Iževsk. [Фроянов И.Я., 2003, Начало христианства на Руси, Ижевск.]Gamkrielidzie T.W., Ivanov V.V., 1998, Indoevropejskij âzyk i indoevropejcy. Rekonstrukciâ i istoriko-tipologičeskij analiz praâzyka i protokulʹtury, Moskva. [Гамкрелидзе Т.В., Иванов В.В., 1998, Индоевропейский язык и индоевропейцы. Реконструкция и историко‑типологический
анализ праязыка и протокультуры, Москва.]Karasik V.I., 1996, Kulʹturnye dominanty v âzyke. Âzykovaâ ličnostʹ: kulʹturnye koncepty, Volgograd. [Карасик В.И., 1996, Культурные доминанты в языке. Языковая личность: культурные концепты, Волгоград.]Kasevič V.B., 1997, Kulʹturno-obuslovlennye različiâ v strukturah âzyka i diskursa, Dokl. na XYIth Intnl. Congress of Linguists, Paris. [Касевич В.Б., 1997, Культурно‑обусловленные различия в структурах языка и дискурса, Докл. на XYIth Intnl. Congress of Linguists, Paris.]Kavelin K.D., 1989, Naš umstvennyj stroj, Moskva. [Кавелин К.Д., 1989, Наш умственный строй, Москва.]Klûčevskij V.O., 1989, Terminologiâ russkoj istorii, Moskva. [Ключевский В.О., 1989, Терминология русской истории, Москва.]Klûčnik R., 2008, Istoriâ do i posle kreŝeniâ, Sankt-Peterburg. [Ключник Р., 2008, История до и после крещения, Санкт‑Петербург.], http://lib.rus.ec/b/363814/read [7.07.2024].Kolesov V.V., 2006, Russkaâ mentalʹnostʹ v âzyke i tekste, Sankt‑Peterburg. [Колесов В.В., 2006, Русская ментальность в языке и тексте, Санкт‑Петербург.]Komkov A.A., 2010, Duhovnye proâvleniâ v kulʹture dohristianskoj Rusi, „Analitika kulturologi”, vyp. 1(16), s. 18–21. [Комков А.А., 2010, Духовные проявления в культуре дохристианской Руси, «Aналитика культурологи», вып. 1(16), с. 18–21.]Lâpuškin I.I., 1968, Slavâne Vostočnoj Evropy nakanune obrazovaniâ Drevnerusskogo gosudarstva, „Materialy i issledovaniâ po arheologii SSSR”, No. 152. [Ляпушкин И.И., 1968, Славяне Восточной Европы накануне образования Древнерусского государства, «Материалы и исследования по археологии СССР», № 152.]Lotman Û.M., 1962, «Slovo o polku Igoreve» i literaturnaâ tradiciâ XVIII – načala XIX veka, [v:] «Slovo o polku Igoreve» – Pamâtnik XII veka, Moskva. [Лотман Ю.М., 1962, «Слово о полку Игореве» и литературная традиция XVIII – начала XIX века [в:] «Слово о полку Игореве» – памятник XII века, Москва.]Lurʹe S., 1994, Metamorfozy tradicionnogo soznaniâ (opyt razrabotki teoretičeskih osnov ètnopsihologii i ih primeneniâ k analizu istoričeskogo i ètnografičeskogo materiala), Sankt-Peterburg. [Лурье С., 1994, Метаморфозы традиционного сознания (опыт разработки теоретических основ этнопсихологии и их применения к анализу исторического и этнографического материала), Санкт‑Петербург.]Maslij E.V., 2015, Dinamičeskie processy smysloobrazovaniâ v prostranstve konceptosfery, „Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V. N. Karazìna”, No. 1152, Serìâ „Fìlologìâ”, vip. 72, s. 54–57. [Маслий Е.В., 2015, Динамические процессы смыслообразования в пространстве концептосферы, «Вісник Харківського національного університету імені В. Н. Каразіна», № 1152, Серія «Філологія», вип. 72, c. 54–57.]Mežžerìna G.V., 2006, Movna kartina svìtu časìv Kiïvsʹkoï Rusì (na materìalì pisemnih pamâtok XI–XIII st.): avtoref. dis. dokt. fìlol. nauk: 10.02.01, Kiïv, Ìn-t ukr. movi NANU. [Межжеріна Г.В., 2006, Мовна картина світу часів Київської Русі (на матеріалі писемних памяток XI–XIII ст.): автореф. дис. докт. філол. наук: 10.02.01, Київ, Ін-т укр. мови НАНУ.]Pavlova A.V., 2013, Svedeniâ o kulʹture i „ètničeskom mentalitete” po dannym âzyka, [v:] Ot ingvistiki k mifu: Lingvističeskaâ kulʹturologiâ v poiskah „ètničeskoj mental ʹnosti” Sbornik statej, sost. A. V. Pavlova, Sankt‑Peterburg. [Павлова А.В., 2013, Сведения о культуре и «этническом менталитете» по данным языка, [в:] От лингвистики к мифу: Лингвистическая культурология в поисках «этнической ментальности»: Сборник статей, сост. А. В. Павлова, Санкт‑Петербург.]Radbilʹ T.B., 2010, Osnovy izučeniâ âzykovogo mentaliteta. Moskva. [Радбиль Т.Б., 2010, Основы изучения языкового менталитета, Москва.]Russo M.M., 2014, Neogumbolʹdtianskaâ lingvistika i ramki «âzykovoj kartiny mira», „Polit. Lingvistika / Polit. Linguistics”, No. 1(47), s. 12–24. [Руссо М.М., 2014, Неогумбольдтианская лингвистика и рамки «языковой картины мира», «Полит. Лингвистика / Polit.Linguistics», № 1(47), c. 12–24.]Rybakov B.A., 1974, Âzyčeskoe mirovozzrenie russkogo srednevekovʹâ, „Voprosy istorii”, No. 1, s. 3–30. [Рыбаков Б.А., 1974, Языческое мировоззрение русского средневековья, «Вопросы истории», № 1, c. 3–30.]Rybakov B.A., 1981, Âzyčestvo drevnih slavân, Moskva. [Рыбаков Б.А., 1981, Язычество древних славян, Москва.]Sedov V.V., 1982, Vostočnye slavâne v VI–XIII vv., Moskva. [Седов В.В., 1982, Восточные славяне в VI–XIII вв. Москва.]Sergeeva A.V., 2004, Russkie: Stereotipy povedeniâ, tradicii, mentalʹnostʹ, Moskva. [Сергеева А.В., 2004, Русские: Стереотипы поведения, традиции, ментальность, Москва.]Sičinava D.V., 2014, Ispolʹzovanie parallelʹnogo korpusa dlâ količestvennogo izučeniâ lingvospecificznoj leksiki, „Jazyk, litieratura, kultura: Aktualnyje problemy izuczenija i priepodawanija”, vyp. 10, s. 37–44. [Сичинава Д.В., 2014, Использование параллельного корпуса для количественного изучения лингвоспецифичной лексики, «Язык, литература, культура: Актуальные проблемы изучения и преподавания», вып. 10, c. 37–44.]Škaratan O.I., 2003, Obŝestvo i reformy. Russkaâ kulʹtura truda i upravleniâ, „ONS”, No. 1, s. 30–54. [Шкаратан О.И., 2003, Общество и реформы. Русская культура труда и правления, «ОНС», № 1, c. 30–54.]Sluhaj N.V., 2005, Etnokoncepti ta mìfologìâ shìdnih slov’ân v aspektì lìngvokul ʹturologìï, Kiïv. [Слухай Н.В., 2005, Етноконцепти та міфологія східних слов’ян в аспекті лінгвокультурології, Київ.]Stepanov Û.S., 1997, Konstanty. Slovarʹ russkoj kulʹtury. Opyt issledovaniâ, Moskva. [Степанов Ю.С., 1997, Константы. Словарь русской культуры. Опыт исследования, Москва.]Trubačov O.N., 1994. Praslavânskoe leksičeskoe nasledie i drevnerusskaâ leksika dopisʹmennogo perioda, Moskva. [Трубачeв О.Н., 1994. Праславянское лексическое наследие и древнерусская лексика дописьменного периода, Москва.], https://lingvotech.com/trubachev-94. [7.07.2024].Zaliznâk A.A., Levontina I..B., Šmelev A.D., 2012, Konstanty i peremennye russkoj âzykovoj kartiny mira. (Âzyk. Semiotika. Kulʹtura), Moskva. [Зализняк А.А., Левонтина И.Б., Шмелeв А.Д., 2012, Константы и переменные русской языковой картины мира. (Язык. Семиотика. Культура), Москва.]2413115
Enhancing Injection Molding Simulation Accuracy: A Comparative Evaluation of Rheological Model Performance
Full text linkThis contribution provides a detailed comparison of the impact of various rheological models on the filling phase of injection molding simulations in order to enhance the accuracy of flow predictions and improve material processing. The challenge of accurately modeling polymer melt flow behavior under different temperature and shear rate conditions is crucial for optimizing injection molding processes. Therefore, the study examines commonly used rheological models, including Power-Law, Second-Order, Herschel-Bulkley, Carreau and Cross models. Using experimental data for validation, the accuracy of each model in predicting the flow front and viscosity distribution for a quadratic molded part with a PA66 polymer is evaluated. The Carreau-WLF Winter model showed the highest accuracy, with the lowest RMSE values, closely followed by the Carreau model. The Second-Order model exhibited significant deviations in the edge region from experimental results, indicating its limitations. Results indicate that models incorporating both shear rate and temperature dependencies, such as Carreau-WLF Winter, provide superior predictions compared to those including only shear rate dependence. These findings suggest that selecting appropriate rheological models can significantly enhance the predictive capability of injection molding simulations, leading to better process optimization and higher quality in manufactured parts. The study emphasizes the significance of comprehensive rheological analysis and identifies potential avenues for future research and industrial applications in polymer processing
Partizipative Weiterentwicklung und Veröffentlichung eines geräteübergreifenden Browserspiels als Open-Source-Projekt
Full text linkAngesichts der wachsenden Bedeutung verteilter Systeme, der vielfältigen Nutzung von Multimedia-Inhalten auf unterschiedlichen Geräten und der fortlaufenden Weiterentwicklung von Browsern wird die Relevanz deutlich, das Potenzial von geräteübergreifenden Browserspielen zu untersuchen. Das Ziel dieser Arbeit besteht darin, den im vorangegangenen Praxisprojekt entwickelten Prototyp des Spiels "Finalblockdown" durch einen partizipativen Prozess weiterzuentwickeln und schließlich als Open-Source-Software zu veröffentlichen. Das direkte Einbeziehen ausgewählter Testnutzer in die Weiterentwicklung des Spiels zielt darauf ab, das Spielerlebnis, die technische Leistung sowie die Benutzerfreundlichkeit umfassend und nutzerorientiert zu verbessern.
Zur Durchführung des partizipativen Prozesses wurden mehrere Fokusgruppen gebildet, die während der gesamten Entwicklung aktiv mitgewirkt und jede Iteration eingehend getestet sowie evaluiert haben. Die Testläufe waren eine Kombination aus Play-Testing und Gruppeninterviews, die zur Auswertung mitgeschnitten wurden.
Basierend auf dem dokumentierten, zusammengetragenen und eingestuften Feedback aller Gruppen wurde ein Entwicklungsplan für die jeweilige Iteration erstellt.
Der partizipative Prozess brachte signifikante Vorteile, insbesondere im Hinblick auf die Gestaltung der Benutzeroberfläche, Spielmechaniken und des Testens. Limitationen durch begrenzte Zeit und Ressourcen zeigen jedoch, dass der partizipative Ansatz zeitintensiv ist, was in der Planung berücksichtigt werden muss. Durch den Prozess wurde ein visuell und spielerisch überzeugendes Spiel entwickelt, das komplexe Programmierkonzepte wie Websockets, WebGL-Grafiken und Spatial Hashing in Vanilla JavaScript umgesetzt hat und durch eigenes Hosting veröffentlicht wurde. Trotzdem hat das System noch umfangreiches Optimierungs- und Entwicklungspotenzial, weswegen es sich gut als Open-Source-Software eignet und so über den Projektrahmen hinaus weiterentwickelt werden wird. Weiterführende Forschungen könnten sich sowohl auf prozessbezogene als auch auf technische Aspekte konzentrieren. In der Weiterentwicklung des partizipativen Prozesses könnte man analysieren, wie die Einbindung von Testnutzern in komplexe Bereiche der Entwicklung, einschließlich Systemarchitektur und Leistung, die Demokratisierung des Designs verstärken könnte. Technische Untersuchungen könnten sich darauf konzentrieren, wie Optimierungen in den Bereichen Hosting, Websockets und Kollisionserkennung zur Leistungssteigerung des Systems beitragen können
ChatGPT Code Detection: Techniques for Uncovering the Source of Code
Full text linkIn recent times, large language models (LLMs) have made significant strides in generating computer code, blurring the lines between code created by humans and code produced by artificial intelligence (AI). As these technologies evolve rapidly, it is crucial to explore how they influence code generation, especially given the risk of misuse in areas such as higher education. The present paper explores this issue by using advanced classification techniques to differentiate between code written by humans and code generated by ChatGPT, a type of LLM. We employ a new approach that combines powerful embedding features (black-box) with supervised learning algorithms including Deep Neural Networks, Random Forests, and Extreme Gradient Boosting to achieve this differentiation with an impressive accuracy of 98%. For the successful combinations, we also examine their model calibration, showing that some of the models are extremely well calibrated. Additionally, we present white-box features and an interpretable Bayes classifier to elucidate critical differences between the code sources, enhancing the explainability and transparency of our approach. Both approaches work well, but provide at most 85–88% accuracy. Tests on a small sample of untrained humans suggest that humans do not solve the task much better than random guessing. This study is crucial in understanding and mitigating the potential risks associated with using AI in code generation, particularly in the context of higher education, software development, and competitive programming
Themenheft "Prototypisch Zukunft gestalten – Impulse für Hochschulentwicklung und Hochschullehre"
Full text linkBei dem Themenheft handelt es sich um Heft Nr. 5+6 des 71. Jg. (2023) der Zeitschrift "Das Hochschulwesen: HSW; Forum für Hochschulforschung, -praxis und -politik"
Chemically Reactive Micropolar Hybrid Nanofluid Flow over a Porous Surface in the Presence of an Inclined Magnetic Field and Radiation with Entropy Generation
Full text linkThe present study investigates the entropy generation of chemically reactive micropolar hybrid nanoparticle motion with mass transfer. Magnetic oxide (Fe3O4) and copper oxide (CuO) nanoparticles were mixed in water to form a hybrid nanofluid. The governing equations for velocity, concentration, and temperature are transformed into ordinary differential equations along with the boundary conditions. In the fluid region, the heat balance is kept conservative with a source/sink that relies on the temperature. In the case of radiation, there is a differential equation along with several characteristic coefficients that transform hypergeometric and Kummer’s differential equations by a new variable. Furthermore, the results of the current problem can be discussed by implementing a graphical representation with different factors, namely the Brinkman number, porosity parameter, magnetic field, micropolar parameter, thermal radiation, Schmidt number, heat source/sink parameter, and mass transpiration. The results of this study are presented through graphical representations that depict various factors influencing the flow profiles and physical characteristics. The results reveal that an increase in the magnetic field leads to a reduction in velocity and entropy production. Furthermore, temperature and entropy generation rise with a stronger radiation parameter, whereas the Nusselt number experiences a decline. This study has several industrial applications in technology and manufacturing processes, including paper production, polymer extrusion, and the development of specialized materials
Perspectives of Aminoacylases in Biocatalytic Synthesis of N-Acyl-Amino Acids Surfactants
Full text linkMany industrial processes are performed using harmful chemicals. The current technical synthesis of N -acyl-amino acids relies on acyl chlorides, which are typically obtained from phosgene chemistry. A greener alternative is the application of whole cells or enzymes to carry out synthesis in an environmentally friendly manner. Aminoacylases belong to the hydrolase family and the resolution of racemic mixtures of N -acetyl-amino acids is a well-known industrial process. Several new enzymes accepting long-chain fatty acids as substrates were discovered in recent years. This article reviews the synthetic potential of aminoacylases to produce biobased N -acyl-amino acid surfactants. The focus lays on a survey of the different types of aminoacylases available for synthesis and their reaction products. The enzymes are categorized according to their protein family classification and their biochemical characteristics including substrate spectra, reaction optima and process stability, both in hydrolysis and under process conditions suitable for synthesis. Finally, the benefits and future challenges of enzymatic N -acyl-amino acid synthesis with aminoacylases will be discussed
Well-Established Carbon Nanomaterials: Modification, Characterization and Dispersion in Different Solvents
Full text linkThree different types of carbon nanomaterials, SWCNTs, MWCNTs and GNPs were prepared, modified, characterized, and their dispersibility behavior in three different solvents was evaluated. The carbon nanotubes were synthesized by using the well-known chemical vapor deposition method and the graphene nanoplatelets by wet physicochemical treatment techniques. Their characterization was accomplished by using various advanced techniques, such as powder X-ray diffraction and Raman spectroscopy, X-ray photoelectron spectroscopy, scanning electron microscopy and N2 adsorption at 77 K. Furthermore, the carbon nanostructures were modified via plasma treatment and wet chemical surface modification in order to enhance their dispersion characteristics, for achieving more homogenous suspensions and therefore to be remained dispersed over a reasonable period of time without any sedimentation. The effect of treatment parameters and the use of different solvents were thoroughly studied mainly by optical methods, but also by using the DIN/EN classified ISO method of oil absorption and UV–Vis spectroscopy. The enhanced dispersion rate is observed in both CNTs and GNPs materials following their surface treatment, especially when using the solvent n-methyl-2-pyrrolidone. The aforementioned studied nanomaterials are perfect candidate fillers for preparing polymeric mixed matrix membranes
“The Ejaculatory Prayer of a Deep Breath”: Herbert’s Mysticism Between Poetry and Silence
No full textThe article begins with the theory of the signifying silence proposed by Polish philosopher Izydora Dąmbska (1904–1988), through interpretation
of the defined silence regarding God by Henryk Elzenberg (1887–1967), to arrive at a close reading of selected works by his apprentice, Zbigniew
Herbert (1924–1998): “Zobacz” [See] and “Homilia” [Homily]. These texts have been interpreted in the context of the previously, and perhaps
deliberately, untouched issues relating to the Indefinite, and they have been further confronted with an understanding of Christian apophatic theology. This approach seems justified as its creator is considered to be Dionysius the Areopagite (from the late 5th to early 6th century), who was one of the greatest authorities on the subject of the Supreme for Elzenberg and a source of angelological inspiration for Herbert. The main aim of the paper is to show all these converging perspectives on the subject that escapes verbalisation.Abramowska Joanna (2000), Wiersze z aniołami, w: Poznawanie Herberta, red. A. Franaszek, t. 2, Kraków: Wydawnictwo Literackie, s. 167–188.Bajda Justyna (2004), Ikonografia skrzydeł anielskich w malarstwie europejskim, w: Anioł w literaturze i kulturze, red. J. Ługowska, J. Skawiński, t. 1, Wrocław, s. 373–380.Bremer Józef (2002), Martin Heidegger i Ludwig Wittgenstein o milczeniu, „Forum Philosophicum”, t. 7, s. 123–152.Cicha Magdalena (2005), Jesteśmy intruzami w dialogu z nieobecnym. Formy autokreacji w epistolografii Zbigniewa Herberta, w: Czułość dla Minotaura. Metafizyka i miłość konkretu w twórczości Zbigniewa Herberta, red. J.M. Ruszar, M. Cicha, Lublin: Gaudium, s. 157–250.Dąmbska Izydora (1963), Milczenie jako wyraz i jako wartość, „Roczniki Filozoficzne” t. 11, z. 1, s. 73–79.Dąmbska Izydora (1971), O funkcjach semiotycznych milczenia, „Studia Semiotyczne”, t. 2, s. 77–88.Dedecius Karl (1998), Uprawa filozofii. Zbigniew Herbert w poszukiwaniu tożsamości, przeł. E. Felisiak, w: Poznawanie Herberta, red. A. Franaszek, t. 1, Kraków: Wydawnictwo Literackie, s. 128–168.Dionizy Areopagita (2006), Hierarchia kościelna, w: E. Stein (św. Teresa Benedykta od Krzyża), Drogi poznania Boga, przeł. G. Sowiński, Kraków: Wydawnictwo Karmelitów Bosych, s. 385–494.Dionizy Areopagita (2006), Hierarchia niebiańska, w: E. Stein (św. Teresa Benedykta od Krzyża), Drogi poznania Boga, przeł. G. Sowiński, Kraków: Wydawnictwo Karmelitów Bosych, s. 323–384.Dionizy Areopagita (2006), List IX, w: E. Stein (św. Teresa Benedykta od Krzyża), Drogi poznania Boga, przeł. G. Sowiński, Kraków: Wydawnictwo Karmelitów Bosych, s. 528–541.Dionizy Areopagita (2006), O imionach bożych, w: E. Stein (św. Teresa Benedykta od Krzyża), Drogi poznania Boga, przeł. G. Sowiński, Kraków: Wydawnictwo Karmelitów Bosych, s. 179–321.Dionizy Areopagita (2006), Teologia mistyczna, w: E. Stein (św. Teresa Benedykta od Krzyża), Drogi poznania Boga, przeł. G. Sowiński, Kraków: Wydawnictwo Karmelitów Bosych, s. 483–494.Dylus Aniela (1998), Doświadczenie, w: Słownik teologiczny, red. A. Zuberbier, Katowice: Księgarnia św. Jacka, s. 130–132.Dzidek Tadeusz (1998), Mistrzowie teologii, Kraków: Wydawnictwo M.Elzenberg Henryk (1990), Do „religii i mistyki”, w: H. Elzenberg, J.A. Kłoczowski, Henryk Elzenberg i mistyka, Kraków: Znak, s. 55–60.Elzenberg Henryk (1990), Mistycyzm: negatywność i pierwiastki afirmatywne, w: H. Elzenberg, J.A. Kłoczowski, Henryk Elzenberg i mistyka, Kraków: Znak, s. 28–29.Elzenberg Henryk (1990), Nieokreślone, w: H. Elzenberg, J.A. Kłoczowski, Henryk Elzenberg i mistyka, Kraków: Znak, s. 43–47.Elzenberg Henryk (1990), O „poznaniu” mistycznym, w: H. Elzenberg, J.A. Kłoczowski, Henryk Elzenberg i mistyka, Kraków: Znak, s. 30–42.Elzenberg Henryk (1994), Kłopot z istnieniem. Aforyzmy w porządku czasu, Kraków.Elzenberg Henryk (2001), Brutus czyli przekleństwo cnoty, w: H. Elzenberg, Pisma etyczne, Lublin, s. 61–69.Franaszek Andrzej (1998), Wstęp, w: Poznawanie Herberta, red. A. Franaszek, t. 1, Kraków: Wydawnictwo Literackie, s. 5–18.Górska Aleksandra (2002), Strefa milczenia w interpretacji aktorskiej, w: Semantyka milczenia, red. K. Handke, t. 2, Warszawa: Slawistyczny Ośrodek Wydawniczy, s. 111–119.Grześkowiak Jerzy (1982), Liturgia dziś, Katowice: Księgarnia św. Jacka.Handke Kwiryna (2002), Milczymy mówiąc, w: Semantyka milczenia, red. K. Handke, t. 2, Warszawa: Slawistyczny Ośrodek Wydawniczy, s. 217–222.Handke Kwiryna (2008), Socjologia języka, Warszawa: PWN.Herbert Zbigniew (2010), Wiersze rozproszone (rekonesans), oprac. R. Krynicki, Kraków: Wydawnictwo a5.Herbert Zbigniew (2011), Wiersze zebrane, oprac. R. Krynicki, Kraków: Wydawnictwo a5.Hryniewicz Karol (2012), Potęga smaku – smak wolności. Zbigniewa Herberta teoria działania estetycznego?, w: Polityczność literatury. Polityczność literaturoznawstwa. Gramatyka sprzeciwu, red. J. Olejniczak, R. Knapek, M. Szumna, Katowice: Wydawnictwo Uniwersytetu Śląskiego, s. 83–95.Jadacki Jacek J. (2000), Funkcja semiotyczna milczenia, w: Logika i filozofia logiczna, red. J. Perzanowski, A. Pietruszczak, Toruń: Wydawnictwo UMK, s. 413–421.Jadacki Jacek J. (2003), Aksjologia i semiotyka. Analizy i polemiki, Warszawa: PWN.Jan od Krzyża (1998), Noc ciemna, przeł. B. Smyrak, w: Jan od Krzyża, Dzieła, Kraków: Wydawnictwo Karmelitów Bosych, s. 405–522.Janiak Agnieszka (2011), O medialnej ciszy i milczeniu – przyczynek do andragogiki, w: Przestrzenie wizualne i akustyczne człowieka. Antropologia audiowizualna jako przedmiot i metoda badań, red. J. Harbanowicz, A. Janiak, t. 2: Przestrzeń ciszy, Wrocław: Wydawnictwo Dolnośląskiej Szkoły Wyższej, s. 99–106.Janicki Jan (1998), Homilia, w: Słownik teologiczny, red. A. Zuberbier, Katowice: Księgarnia św. Jacka, s. 199–201.Jarzyna Anita (2005), Przesłuchując anioły... Anioły Rilkego i Herberta, w: Czułość dla Minotaura Metafizyka i miłość konkretu w twórczości Zbigniewa Herberta, red. J.M. Ruszar, M. Cicha, Lublin: Gaudium, s. 97–124.Jochemczyk Mariusz (2008), Nieludzki? Arcyludzki? Kreacje postaci anioła w twórczości Zbigniewa Herberta, „Postscriptum Polonistyczne”, nr 2, s. 221–232.Keil Volkmar (1985), Hinfuhrung zu Dionysius ¨ , w: Dionysius Areopagita, Ich schaute Gott im Schweigen, red. V. Keil, Freiburg im Breisgau: Herder Verlag, s. 15–36.Kiełbawska Amelia M. (2011), O milczeniu w sztuce pantomimy, w: Przestrzenie wizualne i akustyczne człowieka. Antropologia audiowizualna jako przedmiot i metoda badań, red. J. Harbanowicz, A. Janiak, t. 2: Przestrzeń ciszy, Wrocław: Wydawnictwo Dolnośląskiej Szkoły Wyższej, s. 75–85.Kijewska Agnieszka (2001), Dionizy Areopagita, w: Powszechna encyklopedia filozofii, red. A. Maryniarczyk, t. 2, Lublin: Polskie Towarzystwo Tomasza z Akwinu, s. 597–601.Kłoczowski Jan A. (1990), Profesor Henryk Elzenberg o religii i mistyce, w: H. Elzenberg, J.A. Kłoczowski, Henryk Elzenberg i mistyka, Kraków: Znak, s. 3–27.Koryciński Wojciech (2005), Figura anioła w liryce polskiej po 1945 roku w kontekście pokoleniowych strategii programowych, w: Anioł w literaturze i kulturze, red. J. Ługowska, t. 2, Wrocław: Atut, s. 223–231.Louth Andrew (1997), Początki mistyki chrześcijańskiej (od Platona do Pseudo-Dionizego Areopagity), przeł. H. Bednarek, Kraków: Wydawnictwo M.Manikowski Maciej (2006), Pierwsza zasada. Świat stworzony i drogi poznania, Kraków: Wydawnictwo Aureus.Mikołajczak Małgorzata (2004), Skrzydła Ikara. Od wzorów kulturowych po symbole religijne. Refleksje o twórczości Zbigniewa Herberta, „Ethos”, nr 1/2, s. 353–364.Oleksy Dagmara (2005), „Przeraźliwie przejrzysta doskonałość” – angelologia Herberta a angelologia katolicka, w: Anioł w literaturze i kulturze, red. J. Ługowska, t. 2, Wrocław: Atut, s. 215–222.Olszewski Daniel (1998), Mistyka, w: Słownik teologiczny, red. A. Zuberbier, Katowice: Księgarnia św. Jacka, s. 302–304.Pawłowski Krzysztof (2001), Wysłowienie niewyrażalnego czy wymowne milczenie, w: Ostatnie przed wielkim milczeniem. Język i religia, red. E. Przybył, Kraków: Nomos, s. 91–104.Prokop Adam R. (2016), Koncepcja milczenia Izydory Dąmbskiej a angelofanie biblijne, w: Pokładamy nadzieję w Kościele, red. D. Mielnik, Lublin, s. 194–207.Prokop Adam R. (2018), Antropologia „Areopagityki”, „Perspectiva. Legnickie Studia Teologiczno Historyczne”, t. 32, nr 1, s. 125–139.Prokop Adam R. (2019), „Idąc po szczeblach blasku i głazach cienia.” Aniołowie Herberta w perspektywie angelologii katolickiej, w: Obrazy Boga w literaturze polskiej XX i XXI w. Od pokolenia wojennego do nowej fali, red. D. Siwor, J.M. Ruszar, Bielsko Biała–Kraków, s. 63–101.Prycik Agnieszka (2011), Przestrzeń ciszy w tekście kulturowym a możliwości jej interpretacji – próba semiotycznej analizy komunikatu w oparciu o retorykę werbalną i wizualną, w: Przestrzenie wizualne i akustyczne człowieka. Antropologia audiowizualna jako przedmiot i metoda badań, red. J. Harbanowicz, A. Janiak, t. 2: Przestrzeń ciszy, Wrocław: Wydawnictwo Dolnośląskiej Szkoły Wyższej, s. 45–55.Puzynina Jadwiga (2000), Niebo Herberta, „Ethos”, nr 4, s. 71–81.Pyczek Wacław (2010), Motywy angelologiczne w poezji Zbigniewa Herberta, „Facta Simonidis”, t. 3, nr 1, s. 265–286.Reale Giovanni (1996), Historia filozofii starożytnej, przeł. E.I. Zieliński, t. 1–4, Lublin: Wydawnictwo KUL.Rokoszowa Jolanta (1983), Język a milczenie, „Biuletyn Polskiego Towarzystwa Językoznawczego”, t. 40, s. 129–137.Rokoszowa Jolanta (1994), Milczenie jako fakt językowy, „Biuletyn Polskiego Towarzystwa Językoznawczego”, t. 50, s. 27–47.Stala Marian (1998), Rok 1983: głos poety, w: Poznawanie Herberta, red. A. Franaszek, t. 1, Kraków: Wydawnictwo Literackie, s. 202–212.Stein Edyta [św. Teresa Benedykta od Krzyża] (2006), Drogi poznania Boga, przeł. G. Sowiński, Kraków: Wydawnictwo Karmelitów Bosych.Stępień Tomasz (2005), Przedmowa, w: Pseudo-Dionizy Areopagita, Pisma teologiczne, przeł. M. Dzielska, Kraków: Znak, s. 7–67.Stępień Tomasz (2010), Pseudo–Dionizy Areopagita. Chrześcijanin i platonik, Warszawa: Fronda.Suchla Beate R. (2008), Dionysius Areopagita. Leben – Werk – Wirkung, Freiburg–Basel–Wien: Herder Verlag.Tatarkiewicz Władysław (1999), Historia filozofii, t. 1, Warszawa: PWN.Tyburski Włodzimierz (2006), Elzenberg, Warszawa: Wiedza Powszechna.Werner Mateusz (1998), „Rovigo”: portret na pożegnanie, w: Poznawanie Herberta, red. A. Franaszek, t. 1, Kraków: Wydawnictwo Literackie, s. 219–239.Wesołowska Anna (2015), „proszę księdza – ja naprawdę Go szukałem”. Religijne rozterki w poezji Zbigniewa Herberta, „Konteksty Kultury”, t. 12, z. 4, s. 436–450.Wieczorek Ewa (2009), O mowie zawartej w milczeniu, „Studia de Arte et Educatione”, nr 4, s. 15–23.Winer Agata (2007), Anioł rozanielony, cz. 2, „Topos”, nr 4, s. 81–94.Wittgenstein Ludwig (1997), Tractatus logico-philosophicus, przeł. J. Wolniewicz, Warszawa: PWN.Wolsza Kazimierz (2014), Język religijny między modelem a milczeniem, w: W trosce o kulturę logiczną, red. K. Wolsza, Opole: Redakcja Wydawnictw Wydziału Teologicznego Uniwersytetu Opolskiego, s. 393–412.Wójcik Kazimierz (2011), Dąmbska Izydora, w: Encyklopedia filozofii polskiej, red. A. Maryniarczyk i.in., t. 1, Lublin: Polskie Towarzystwo Tomasza z Akwinu, s. 277–280.Zarębianka Zofia (2001), Tropy sacrum w literaturze XX w., Bydgoszcz: „Homini”.Zawojska Teresa (2003), Herbert Zbigniew, w: Powszechna encyklopedia filozofii, red. A. Maryniarczyk i in., t. 4, Lublin: Polskie Towarzystwo Tomasza z Akwinu, s. 368–376.Zieliński Edward I. (2007), Platon, w: Powszechna encyklopedia filozofii, red. A. Maryniarczyk i in., t. 8, Lublin: Polskie Towarzystwo Tomasza z Akwinu, s. 265–272.2422323
Classical Isoperimetric Theorem
No full textIn this article we present the Mizar proof of the isoperimetric theorem (one of the theorems listed among Wiedijk’s Top 100 mathematical theorems), inspired by Peter D. Lax’s paper “A Short Path to the Shortest Path”. Using relatively simple formal apparatus of continuous and differentiable functions, we show that among all curves of fixed length connecting two points on the x-axis, a semicircle is the curve which maximizes the area between the curve and the x-axis.Kazuhisa Nakasho - Yamaguchi University, Yamaguchi, JapanYasunari Shidama - Karuizawa Hotch 244-, Nagano, JapanGrzegorz 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.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.Viktor Bl˚asjö. The isoperimetric problem. The American Mathematical Monthly, 112(6): 526–566, 2005.Noboru Endou. Differentiation on interval. Formalized Mathematics, 31(1):9–21, 2023. doi:10.2478/forma-2023-0002.Noboru Endou and Yasunari Shidama. Multidimensional measure space and integration. Formalized Mathematics, 31(1):181–192, 2023. doi:10.2478/forma-2023-0017.Noboru Endou and Yasunari Shidama. Integral of continuous functions of two variables. Formalized Mathematics, 31(1):309–324, 2023. doi:10.2478/forma-2023-0025.Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281–284, 2001.Noboru Endou, Yasunari Shidama, and Masahiko Yamazaki. Integrability and the integral of partial functions from R into R. Formalized Mathematics, 14(4):207–212, 2006. doi:10.2478/v10037-006-0023-y.John Harrison. The HOL Light system reference. 2023. http://www.cl.cam.ac.uk/~jrh13/hol-light/reference.pdf.John Harrison. The isoperimetric inequality. 2023. Available online at https://github.com/jrh13/hol-light/blob/master/100/isoperimetric.ml.Andreas Hehl. The isoperimetric inequality. Proseminar Curves and Surfaces, Universitaet Tuebingen, Tuebingen, 2013.Peter David Lax. A short path to the shortest path. The American Mathematical Monthly, 102(2):158–159, 1995.Robert Osserman. The isoperimetric inequality. Bulletin of American Mathematical Monthly, 6(84):1182–1238, 1978.Alan Siegel. An isoperimetric theorem in plane geometry. Discrete and Computational Geometry, 29(2):239–255, 2003. doi:10.1007/s00454-002-2809-1.Marten Straatsma. Towards formalising the isoperimetric theorem. BSc thesis, Radboud University Nijmegen, 2022.Freek Wiedijk. Formalizing 100 theorems. Available online at http://www.cs.ru.nl/~freek/100/.32118719