Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "formal analysis" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
    Wyświetlanie 1-32 z 32
    Tytuł:
    Formalna analiza albańskich derywatów przymiotnikowych
    Autorzy:
    Karasiński, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/677539.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    Albanian
    word formation
    formal analysis
    Opis:
    Formal Analysis of Albanian Adjectival DerivativesThe paper presents a formal analysis of Albanian adjectival derivatives, carried out in accordance with the proposal of a formal description of word formation (part of methodology presented in Bulgarian-Polish Contrastive Grammar, Volume 9).This type of description in addition to a characterization of formal, segmental exponents of derivation allows for appearing and signalizing functions of Albanian definite article in word formation process.Analyzed material comes from the Dictionary of Contemporary Albanian Language (Institute of Language and Literature of the Albanian Academy of Sciences 1984, revised edition 2002) and is nearly 62% of all lexical adjectival units (about 6100 adjectival derivatives).
    Źródło:
    Slavia Meridionalis; 2013, 13
    1233-6173
    2392-2400
    Pojawia się w:
    Slavia Meridionalis
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ortograficzne i ortoepiczne zróżnicowanie słowacko-serbskich aproksymatów międzyjęzykowych
    Autorzy:
    Faško, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/678574.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    interlingual homonymy
    formal analysis
    false friends
    Serbian language
    Slovak language
    Opis:
    Orthographic and orthoepic diversity of Serbo‑Slovak interlingual approximatesThe paper is a presentation of the results of a qualitative formal analysis of different types of Serbo-Slovak interlingual approximates (false friends, interlingual homonyms). In his earlier research on Serbo-Slovak approximation, the author of this paper defined the appropriate terminology and the meaning of the notions similar and identical in terms of quantitative analysis. The results of the study are based on lexical material containing 266 pairs of Serbo-Slovak approximates. They have been classified into four groups – interlingual homonyms, homophones, homographs and paronyms. We found that the differences between approximates are similar in their nature within the groups they were classified into. The existence of these types of differences is possible due to the presence of numerous spelling principles in the Slovak orthography – which features a combination of the phonetic, morphological, grammatical and etymological principles. In the Serbian language, the phonetic principle is the only one consistently present, and the morphological principle can be seen only in a few exceptions. Orthoepic differences are closely related to the orthographic ones. In addition, we can distinguish other kinds of differences which result from a different etymological development or are accidental. Comparing and understanding differences gives a comprehensive and clear view of the formal differentiation of Serbo-Slovak interlingual approximation. Ortograficzne i ortoepiczne zróżnicowanie słowacko‑serbskich aproksymatów międzyjęzykowychW niniejszym artykule zaprezentowane zostały wyniki analizy jakościowej pojedynczych rodzajów serbsko-słowackich aproksymatów międzyjęzykowych (wyrazów zdradliwych, homonimów międzyjęzykowych) pod względem ich formy. Autor w swoich wcześniejszych badaniach nad aproksymacją serbsko-słowacką zajął się zdefiniowaniem odpowiedniej terminologii i ustaleniem znaczenia pojęć podobny i identyczny za pomocą analizy ilościowej. Wyniki badań opierają się na materiale leksykalnym liczącym 266 par serbsko-słowackich aproksymatów. Zaklasyfikowano je do czterech grup – homonimy, homofony, homografy oraz paronimy międzyjęzykowe. Okazało się, że różnice między aproksymatami mają podobny charakter w zależności od tego, do której z grup aproksymaty zostały zaklasyfikowane. Pojawienie się tych różnic wynika z istnienia kilku zasad ortograficznych w pisowni języka słowackiego – połączenie zasady fonetycznej, morfologicznej, gramatycznej oraz etymologicznej, podczas gdy w języku serbskim obecna jest tylko zasada fonetyczna, morfologiczną można zauważyć w kilku wyjątkach. Różnice ortoepiczne są ściśle powiązane z ortograficznymi. Oprócz tego wskazać można takie różnice, które wynikają z odmiennego rozwoju etymologicznego lub są przypadkowe. Porównanie i poznanie różnic daje możliwość pełniejszego spojrzenia na formalne zróżnicowanie serbsko-słowackich aproksymatów międzyjęzykowych.
    Źródło:
    Studia z Filologii Polskiej i Słowiańskiej; 2016, 51
    2392-2435
    0081-7090
    Pojawia się w:
    Studia z Filologii Polskiej i Słowiańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    UML Modelling in Rigorous Design Methodology for Discrete Controllers
    Autorzy:
    Łabiak, G.
    Adamski, M.
    Doligalski, M.
    Tkacz, J.
    Bukowiec, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/227244.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    UML modelling
    binary controller
    decomposition
    digital synthesis
    formal analysis
    verification
    Opis:
    The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    La néologie récente du verbe français
    Latest verb neologisms in French
    Najnowsze neologizmy czasownikowe w języku francuskim
    Autorzy:
    Kacprzak, Alicja
    Powiązania:
    https://bibliotekanauki.pl/articles/40268562.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    neologia
    neologizm
    czasownik
    analiza formalna
    analiza semantyczna
    neology
    neologism
    verb
    formal analysis
    semantic analysis
    Opis:
    Przedmiotem niniejszego artykułu są najnowsze neologizmy czasownikowe w języku francuskim, a celem podjętego badania jest określenie współczesnych tendencji słowotwórczych tej kategorii gramatycznej. Materiał badawczy pochodzi z francuskiej platformy cyfrowej Néoveille selekcjonującej neologizmy z wielkich korpusów tekstowych. Analizie jakościowej poddano próbę około 200 nowych czasowników, które zostały opisane z punktu widzenia ich właściwości formalnych i semantycznych. Jak się wydaje, owe charakterystyki związane są ściśle z funkcjami, które neologizmy czasownikowe pełnią w dyskursie.
    The subject of the article are the latest verbal neologisms in French and the aim of the undertaken research is to determine the contemporary word-formation tendencies of this grammatical category. The research material comes from the French digital platform Néoveille, which selects neologisms from large text corpora. A sample of about 200 new verbs, which were described from the point of view of their formal and semantic properties, was subjected to qualitative analysis. It seems that these features are closely related to the functions that verbal neologisms perform in discourse.
    Źródło:
    Białostockie Archiwum Językowe; 2023, 23; 171-186
    1641-6961
    Pojawia się w:
    Białostockie Archiwum Językowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Unique factorization theorem for object-systems
    Autorzy:
    Mihók, Peter
    Semanišin, Gabriel
    Powiązania:
    https://bibliotekanauki.pl/articles/743977.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    object-system
    unique factorization
    graph
    hypergraph
    formal concept analysis
    Opis:
    The concept of an object-system is a common generalization of simple graph, digraph and hypergraph. In the theory of generalised colourings of graphs, the Unique Factorization Theorem (UFT) for additive induced-hereditary properties of graphs provides an analogy of the well-known Fundamental Theorem of Arithmetics. The purpose of this paper is to present UFT for object-systems. This result generalises known UFT for additive induced-hereditary and hereditary properties of graphs and digraphs. Formal Concept Analysis is applied in the proof.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2011, 31, 3; 559-575
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A new mathematical model for analytical risk assessment and prediction in IT systems
    Autorzy:
    Fray, I. E.
    Kurkowski, M.
    Pejaś, J.
    Maćków, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/206238.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    risk analysis
    risk analysis methods
    formal model for risk analysis
    Opis:
    In this paper, we propose a new formal model to describe risk analysis and measurement process for IT systems. Our model complies with international standards and recommendations for non-profit organisations. The model accounts for solutions used in widely known and recommended risk analysis methods and provides for evaluation of efficacy of these solutions. A simple example illustrates the application of the proposed model for effective risk analysis of any IT system.
    Źródło:
    Control and Cybernetics; 2012, 41, 1; 241-268
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A comprehensive survey on formal concept analysis, its research trends and applications
    Autorzy:
    Singh, P. K.
    Aswani Kumar, C.
    Gani, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/330445.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    concept lattice
    formal concept analysis
    formal concept
    formal context
    Galois connection
    krata pojęć
    formalna analiza koncepcji
    koneksja Galois
    Opis:
    In recent years, FCA has received significant attention from research communities of various fields. Further, the theory of FCA is being extended into different frontiers and augmented with other knowledge representation frameworks. In this backdrop, this paper aims to provide an understanding of the necessary mathematical background for each extension of FCA like FCA with granular computing, a fuzzy setting, interval-valued, possibility theory, triadic, factor concepts and handling incomplete data. Subsequently, the paper illustrates emerging trends for each extension with applications. To this end, we summarize more than 350 recent (published after 2011) research papers indexed in Google Scholar, IEEE Xplore, ScienceDirect, Scopus, SpringerLink, and a few authoritative fundamental papers.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2016, 26, 2; 495-516
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Concept Approximations Based on Rough Sets and Similarity Measures
    Autorzy:
    Saquer, J.
    Deogun, J. S.
    Powiązania:
    https://bibliotekanauki.pl/articles/908365.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    mierzenie podobieństwa
    pojęcie aproksymacji
    formal concept analysis
    similarity measures
    rough sets
    concept approximation
    Opis:
    The formal concept analysis gives a mathematical definition of a formal concept. However, in many real-life applications, the problem under investigation cannot be described by formal concepts. Such concepts are called the non-definable concepts (Saquer and Deogun, 2000b). The process of finding formal concepts that best describe non-definable concepts is called the concept approximation. In this paper, we present two different approaches to the concept approximation. The first approach is based on rough set theory while the other is based on a similarity measure. We present algorithms for the two approaches.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2001, 11, 3; 655-674
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    BPMN – a logical model and property analysis
    Autorzy:
    Ligęza, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/375880.pdf
    Data publikacji:
    2011
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    Business Process Modeling Notation
    BPMN
    business rules
    rule-based systems
    eXtended Tabular Trees
    XTT
    XTT2
    system verification
    formal analysis
    declarative model
    Opis:
    Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
    Źródło:
    Decision Making in Manufacturing and Services; 2011, 5, 1-2; 57-67
    1896-8325
    2300-7087
    Pojawia się w:
    Decision Making in Manufacturing and Services
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zaimek wskazujący w zdaniach z orzeczeniem imiennym: funkcja predykatywna czy anaforyczna?
    Autorzy:
    Kiklewicz, Aleksander
    Powiązania:
    https://bibliotekanauki.pl/articles/678936.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    formal and structural analysis
    syntax
    nominal predicate
    copula
    grammatical subject
    pronoun
    anaphor
    Opis:
    Demonstrative pronoun in sentences with nominal predicate: predicative or anaphor function?This article deals with a particular type of simple sentences with a complex predicate which includes the demonstrative pronoun Pol. to / Russ. это ‘this.’ The author presents the view, prevailing in the linguistic literature, that in terms of syntactic structure, such units perform the role of the so-called copula. The analysis of linguistic material of modern Russian and Polish (taking into account the category of functional syntax) leads to the conclusion that such instances are in fact cases of subject duplication, which is used to emphasise the subject in spoken language. Zaimek wskazujący w zdaniach z orzeczeniem imiennym: funkcja predykatywna czy anaforyczna?Przedmiotem artykułu jest szczególny typ zdań prostych z orzeczeniem złożonym zawierającym zaimek wskazujący to/это. Autor przedstawia panujący w literaturze lingwistycznej pogląd, że jednostka ta zajmuje w strukturze zdania pozycję tzw. łącznika (copuli). Z analizy materiału językowego współczesnego języka polskiego (przy uwzględnieniu kategorii składni funkcjonalnej) wynika, że w rzeczywistości mamy tu do czynienia z duplikacją podmiotu, która służy do emfatycznego wyodrębnienia tego członu zdania w mowie.
    Źródło:
    Studia z Filologii Polskiej i Słowiańskiej; 2016, 51
    2392-2435
    0081-7090
    Pojawia się w:
    Studia z Filologii Polskiej i Słowiańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Estimation of states economic position on the example of Nigeria
    Ocena pozycji ekonomicznej państw na przykładzie Nigerii
    Autorzy:
    Obojska, Lidia
    Kiczma, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/21150887.pdf
    Data publikacji:
    2022
    Wydawca:
    Polskie Towarzystwo Geopolityczne
    Tematy:
    economic position
    economic power
    Sułek's model
    formal analysis
    neural networks
    economic rankings
    Nigeria
    pozycja gospodarcza
    siła gospodarcza
    model Sułka
    analiza formalna
    sieci neuronowe
    rankingi gospodarcze
    Opis:
    The scope of this manuscript is to propose a method of estimation of state's economic position. To evaluate an economic position, we apply formal analysis on Sułek's model of economic power, and analyze its factors. We evaluate whether the variables taken in a formal model are independent or not. In case they are strongly correlated, we split them or, if it is not possible, we create new factors which puts together correlated units. We apply various methods of predictions of economic power; in particular neural networks which do not require the normal distribution of errors. Finally, we estimate the state's economic position on the basis of formal analysis, predictions, and in comparison to selected economic rankings. All the results are figured out for Nigeria.
    Celem niniejszego artykułu jest opracowanie metodyki szacowania pozycji ekonomicznej państwa. Do oceny pozycji ekonomicznej zastosowano analizę formalną w oparciu o model siły ekonomicznej Sułka i dokonano analizy jej czynników. Oceniono stopień niezależności zmiennych uwzględnionych w modelu formalnym. W przypadku gdy są one silnie skorelowane, rozdzielono je lub, jeśli nie było to możliwe, utworzono nowe czynniki, które łączą skorelowane jednostki. Zastosowano różne metody predykcji siły ekonomicznej, w szczególności oparte na sieciach neuronowych, które nie wymagają normalnego rozkładu błędów. Na koniec oszacowano pozycję gospodarczą państwa na podstawie analizy formalnej, prognoz oraz w porównaniu z wybranymi rankingami gospodarczymi. Wszystkie wyniki opracowano dla Nigerii.
    Źródło:
    Przegląd Geopolityczny; 2022, 40; 84-102
    2080-8836
    2392-067X
    Pojawia się w:
    Przegląd Geopolityczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Knowledge discovery in data using formal concept analysis and random projections
    Autorzy:
    Aswani Kumar, Ch.
    Powiązania:
    https://bibliotekanauki.pl/articles/930145.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    redukcja wymiarowości
    odkrywanie wiedzy
    projekcja losowa
    attribute implications
    concept lattices
    dimensionality reduction
    formal concept analysis
    knowledge discovery
    random projections
    Opis:
    In this paper our objective is to propose a random projections based formal concept analysis for knowledge discovery in data. We demonstrate the implementation of the proposed method on two real world healthcare datasets. Formal Concept Analysis (FCA) is a mathematical framework that offers a conceptual knowledge representation through hierarchical conceptual structures called concept lattices. However, during the design of a concept lattice, complexity plays a major role.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2011, 21, 4; 745-756
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Risk Assessment for an Unmanned Merchant Ship
    Autorzy:
    Rødseth, Ø.J.
    Burmeister, H.-C.
    Powiązania:
    https://bibliotekanauki.pl/articles/117079.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
    Tematy:
    risk assessment
    Unmanned Merchant Ship
    Formal Safety Analysis
    Formal Safety Assessment (FSA)
    Autonomous Underwater Vehicle (AUV)
    Autonomous Ship Controller (ASC)
    Risk Control
    Unified Modelling Language (UML)
    Opis:
    The MUNIN project is doing a feasibility study on an unmanned bulk carrier on an intercontinental voyage. To develop the technical and operational concepts, MUNIN has used a risk-based design method, based on the Formal Safety Analysis method which is also recommended by the International Mari-time Organization. Scenario analysis has been used to identify risks and to simplify operational scope. Systematic hazard identification has been used to find critical safety and security risks and how to address these. Technology and operational concept testing is using a hypothesis-based test method, where the hypotheses have been created as a result of the risk assessment. Finally, the cost-benefit assessment will also use results from the risk assessment. This paper describes the risk assessment method, some of the most important results and also describes how the results have been or will be used in the different parts of the project.
    Źródło:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 3; 357-364
    2083-6473
    2083-6481
    Pojawia się w:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalna analiza konceptualna – reprezentacja wiedzy – przekład
    Formal Concept Analysis – Knowledge Representation – Translations
    Autorzy:
    Boroch, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/1892157.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Formalna Analiza Konceptualna
    depozyt semantyczny
    reprezentacja wiedzy
    definiowanie
    znaczenie
    przekład
    Formal Concept Analysis
    semantic deposit
    knowledge representation
    defining
    meaning
    translations
    Opis:
    The article presents the possibilities of using Formal Concept Analysis, FCA, in intralingual and machine translations. Let me draw your attention to the necessity of joining formal and conceptual systems into one system based on relations of the particular semantic deposits SD in the specific knowledge representation KR with defining linguistic units. I called this defining a hybrid defining. The hybrid defining of linguistic units enables to examine their cognitive (hybrid) meaning, which is implemented in a form of a coherent semantic map of meanings. An exemplifying material, by means of which a process of meaning creation is shown, is a light unit.
    Źródło:
    Roczniki Humanistyczne; 2013, 61, 6; 121-154
    0035-7707
    Pojawia się w:
    Roczniki Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie formalnej analizy pojęć do analizy dziedzinowych danych tekstowych
    Application of formal concept analysis for information extraction system analysis
    Autorzy:
    Mirończuk, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/209644.pdf
    Data publikacji:
    2012
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    formalna analiza pojęć
    FCA
    ekstrakcja informacji
    analiza danych tekstowych
    projektowanie ekstraktorów informacji
    formal concept analysis
    information extraction
    project of knowledge based systems
    Opis:
    W artykule opisano proces projektowania systemu ekstrakcji informacji SEI. Projektowanie tego systemu bazuje na regułach oraz zastosowaniu formalnej analizy pojęć do ich odpowiedniego ułożenia w bazie wiedzy opisywanego systemu.
    This article describes a design process of information extraction system IES. The proposed projecting method is based on rules and formal concept analysis.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2012, 61, 3; 270-293
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Z badań nad Biłgorajem. Weryfikacja i dopełnienie
    From the Research on Biłgoraj. Verification and Completion
    Autorzy:
    Makarski, Władysław
    Powiązania:
    https://bibliotekanauki.pl/articles/2035351.pdf
    Data publikacji:
    2021-12-27
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    formal and semantic analysis of a toponym
    the role of historical and settlement data
    physiographic data and toponymic context in deciphering a toponym
    Opis:
    The article presents the state of research into the toponym Biłgoraj: initially incorrectly interpreted as a topographic name consisting of the segment Biel- “swamp” (>Ukrainian Bił-) and the morpheme -goraj “mountainous terrain”. Another interpretation of this toponym says that this name is memorial and physiographic in nature, with its first physiographic part coming from the local adjective *bieły (in general Polish biały “white”), shortened to Bieł- (>Ukrainian Bił-), referring to the first part of the name of the river *Bieła Łada < Biała Łada, which Biłgoraj is located on, and the second morpheme – the memorial one taken from the name of a nearby settlement Goraj, which was the seat of the ancestors of Adam Gorajski, the founder of Biłgoraj, a settlement also located on the river Biała Łada.
    Źródło:
    Poznańskie Studia Polonistyczne. Seria Językoznawcza; 2021, 28, 2; 285-297
    1233-8672
    2450-4939
    Pojawia się w:
    Poznańskie Studia Polonistyczne. Seria Językoznawcza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Instytucja prawna łańcucha dostaw w ustawie offshore
    The legal institution of the supply chain in the Offshore Wind Act
    Правовой институт цепи поставок в Законе offshore
    Правовий інститут ланцюга поставок в в законі про офшор (offshore)
    Autorzy:
    Laskowski, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/33537202.pdf
    Data publikacji:
    2023
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    prawo energetyczne
    morskie farmy wiatrowe
    analiza formalna instytucji prawnych
    łańcuch dostaw
    energy law
    offshore wind farms
    formal analysis of legal institutions
    supply chain
    энергетическое право
    морские ветряные электростанции
    формальный анализ правовых институтов
    цепь поставок
    енергетичне право
    морські вітрові ферми
    формальний аналіз правових інститутів
    ланцюг поставок
    Opis:
    Artykuł prezentuje proces badawczy, którego cel poznawczy dotyczył szczegółowych unormowań wyinterpretowanych z przepisów ustawy z dnia 17 grudnia 2020 r. o promowaniu wytwarzania energii elektrycznej w morskich farmach wiatrowych, Dz. U. z 2021 r. poz. 234, 784, 1093, 1642. Potrzeba badań wynikała z unormowania przez prawodawcę, po raz pierwszy w tak szerokim zakresie, tematyki offshore w polskim systemie prawa, jak i możliwości rozwoju odnawialnych źródeł energii na niespotykaną dotychczas skalę zainstalowanej mocy. Podstawowym obszarem badawczym było prawo gospodarcze publiczne. Główny problem badawczy został zawarty w pytaniu: jaki jest jurydyczny rezultat wprowadzenia zagadnienia z dyscypliny nauki o zarządzaniu, którym jest łańcuch dostaw, do ustawy z dnia 17 grudnia 2020 r. o promowaniu wytwarzania energii elektrycznej w morskich farmach wiatrowych? W procesie badawczym jako metodę zastosowano analizę formalną instytucji prawnych. Badania doprowadziły do wyodrębnienia z ustawy łańcucha dostaw jako instytucji prawnej, obszernego jej opisania oraz sklasyfikowania.
    В статье представлен процесс исследования, познавательная цель которого заключалась в детальной интерпретации норм, вытекающих из положений Закона от 17 декабря 2020 года о продвижении производства электроэнергии на морских ветряных электростанциях, Законодательный вестник 2021 года, поз. 234, 784, 1093, 1642. Необходимость исследования обусловлена нормализацией законодателем, впервые в таком широком масштабе, темы offshore в польской правовой системе, а также возможностью развития возобновляемых источников энергии в беспрецедентном масштабе установленной мощности. Основной областью исследований было государственное хозяйственное право. Ключевая проблема исследования была сформулирована в виде вопроса: каков правовой результат введения вопроса из дисциплины науки об управлении, которым является цепь поставок, в Закон от 17 декабря 2020 года о продвижении производства электроэнергии на морских ветряных электростанциях? В процессе исследования в качестве метода использовался формальный анализ правовых институтов. Исследование привело к извлечению из закона цепи поставок как правового института, его обширному описанию и классификации.
    The article presents the research process, the cognitive objective of which concerned the detailed regulations interpreted based on the provisions of the Act of 17 December 2020 on the promotion of electricity generation in offshore wind farms, Dz. U. [Journal of Laws] of 2021 item 234, 784, 1093, 1642. The need to conduct the research resulted from the normalization by the legislator, for the first time in such a broad scope, of offshore issues in the Polish legal system, as well as the possibility of developing renewable energy sources on an unprecedented scale of installed power. The main research area was public economic law. The key research issue is included in the following question: What is the juridical outcome of the introduction of an issue from the discipline of management sciences, which is the supply chain, into the Act of 17 December 2020 on the promotion of electricity generation in offshore wind farms? A formal analysis of legal institutions was used as a method in the research process. The research led to the extraction of the supply chain as a legal institution from the act, its extensive description and categorisation.
    У статті представлено дослідницький процес, якого мета дослідження стосувалася детальних положень, що випливають із положень Закону від 17 грудня 2020 р. про сприяння виробництву електроенергії морськими вітровими фермами, Dz. U. z 2021 r. poz. 234, 784, 1093, 1642. Потреба в дослідженні виникла внаслідок того, що законодавець вперше в так широкому діапазоні регулює у польській правовій системі тему офшор (offshore) i можливості розвитку відновлюваних джерел енергії y безпрецедентному масштабі встановленої потужності. Основною сферою досліджень було публічне господарське право. Основна проблема дослідження міститься в питанні: який юридичний результат введення питання з дисципліни науки про управління, яким є ланцюг поставок, до Закону від 17 грудня 2020 року про сприяння виробництву електроенергії морськими вітровими фермами? У процесі дослідження як метод використано формальний аналіз правових інститутів. Дослідження призвели до виділення з закону ланцюга поставок як правового інституту, його розгорнутого опису та класифікації.
    Źródło:
    Studia Prawnicze KUL; 2023, 2; 111-129
    1897-7146
    2719-4264
    Pojawia się w:
    Studia Prawnicze KUL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metoda projektowania bazy wiedzy oraz reguł segmentatora regułowego oparta o formalną analizę pojęć
    The Method of Designing the Knowledge Database and Rules for a Text Segmentation Tool Based on Formal Concept Analysis
    Autorzy:
    Mirończuk, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/373053.pdf
    Data publikacji:
    2014
    Wydawca:
    Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
    Tematy:
    formalna analiza pojęć
    segmentator tekstu
    segmentator regułowy
    projektowanie bazy wiedzy
    metoda projektowania bazy wiedzy
    FCA
    wydzielanie segmentów
    dzielenie tekstu na segmenty
    formal concept analysis
    project of knowledge database
    segment extraction
    text processing
    Opis:
    Cel: Zaprezentowanie rozwiązania problemu segmentacji tekstu dziedzinowego. Badany tekst pochodził z raportów (formularza „Informacji ze zdarzenia”, pola „Dane opisowe do informacji ze zdarzenia”) sporządzanych po akcjach ratowniczo-gaśniczych przez jednostki Państwowej Straży Pożarnej. Metody: W celu realizacji zadania autor zaproponował metodę projektowania bazy wiedzy oraz reguł segmentatora regułowego. Zaproponowana w artykule metoda opiera się na formalnej analizie pojęć. Zaprojektowana według proponowanej metody baza wiedzy oraz reguł umożliwiła przeprowadzenie procesu segmentacji dostępnej dokumentacji. Poprawność i skuteczność proponowanej metody zweryfikowano poprzez porównanie jej wyników z dwoma innymi rozwiązaniami wykorzystywanymi do segmentacji tekstu. Wyniki: W ramach badań i analiz opisano oraz pogrupowano reguły i skróty występujące w badanych raportach. Dzięki zastosowaniu formalnej analizy pojęć utworzono hierarchię wykrytych reguł oraz skrótów. Wydobyta hierarchia stanowiła zarazem bazę wiedzy oraz reguł segmentatora regułowego. Przeprowadzone eksperymenty numeryczne i porównawcze autorskiego rozwiązania z dwoma innymi rozwiązaniami wykazały znacznie lepsze działanie tego pierwszego. Przykładowo otrzymane wyniki F-miary otrzymane w wyniku zastosowania proponowanej metody wynoszą 95,5% i są lepsze o 7-8% od pozostałych dwóch rozwiązań. Wnioski: Zaproponowana metoda projektowania bazy wiedzy oraz reguł segmentatora regułowego umożliwia projektowanie i implementację oprogramowania do segmentacji tekstu z małym błędem podziału tekstu na segmenty. Podstawowa reguła dotycząca wykrywania końca zdania poprzez interpretację kropki i dodatkowych znaków jako końca segmentu w rzeczywistości, zwłaszcza dla tekstów specjalistycznych, musi być opakowana dodatkowymi regułami. Działania te znacznie podnoszą jakość segmentacji i zmniejszają jej błąd. Do budowy i reprezentacji takich reguł nadaje się przedstawiona w artykule formalna analiza pojęć. Wiedza inżyniera oraz dodatkowe eksperymenty mogą wzbogacać utworzoną sieć o nowe reguły. Nowo wprowadzana wiedza może zostać w łatwy sposób naniesiona na aktualnie utworzoną sieć semantyczną, tym samym przyczyniając się do polepszenia segmentacji tekstu. Ponadto w ramach eksperymentu numerycznego wytworzono unikalny: zbiór reguł oraz skrótów stosowanych w raportach, jak również zbiór prawidłowo wydzielonych i oznakowanych segmentów.
    Objective: Presentation of a specialist text segmentation technique. The text was derived from reports (a form “Information about the event”, field “Information about the event - descriptive data”) prepared by rescue units of the State Fire Service after firefighting and rescue operations. Methods: In order to perform the task the author has proposed a method of designing the knowledge base and rules for a text segmentation tool. The proposed method is based on formal concept analysis (FCA). The knowledge base and rules designed by the proposed method allow performing the segmentation process of the available documentation. The correctness and effectiveness of the proposed method was verified by comparing its results with the other two solutions used for text segmentation. Results: During the research and analysis rules and abbreviations that were present in the studied specialist texts were grouped and described. Thanks to the formal concepts analysis a hierarchy of detected rules and abbreviations was created. The extracted hierarchy constituted both a knowledge and rules base of tools for segmentation of the text. Numerical and comparative experiments on the author's solution with two other methods showed significantly better performance of the former. For example, the F-measure results obtained from the proposed method are 95.5% and are 7-8% better than the other two solutions. Conclusions: The proposed method of design knowledge and rules base text segmentation tool enables the design and implementation of software with a small error divide the text into segments. The basic rule to detect the end of a sentence by the interpretation of the dots and additional characters as the end of the segment, in fact, especially in case of specialist texts, must be packaged with additional rules. These actions will significantly improve the quality of segmentation and reduce the error. For the construction and representation of such rules is suitable presented in the article, the formal concepts analysis. Knowledge engineering and additional experiments can enrich the created hierarchy by the new rules. The newly inserted knowledge can be easily applied to the currently established hierarchy thereby contributing to improving the segmentation of the text. Moreover, within the numerical experiment is made unique: a set of rules and abbreviations used in reports and set properly separated and labeled segments.
    Źródło:
    Bezpieczeństwo i Technika Pożarnicza; 2014, 2; 93-103
    1895-8443
    Pojawia się w:
    Bezpieczeństwo i Technika Pożarnicza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Gender analysis of access to formal credit by small-scale farmers in Greater Letaba Municipality, South Africa
    Autorzy:
    Mahasha, Phetole Previous
    Hlongwane, Johannes Jan
    Gidi, Lungile Sivuyile
    Powiązania:
    https://bibliotekanauki.pl/articles/2033355.pdf
    Data publikacji:
    2022-04-04
    Wydawca:
    Uniwersytet Przyrodniczy w Poznaniu. Wydawnictwo Uczelniane
    Tematy:
    formal credit
    gender analysis
    small-scale farmers
    access to credit
    Opis:
    This study investigated the gender analysis of access to formal credit by both male and female small-scale farmers in the Greater Letaba Municipality. The study precisely identified and described the socio-economic characteristics of female and male small-scale farmers, analysed and compared factors influencing access to formal credit by both female and male small-scale farmers and determined the perceptions of female small-scale farmers towards the credit system. In collecting the primary data, structured questionnaires were administered on 140 respondents (70 females and 70 males) using stratified random technique. The study employed descriptive statistics, principal component analysis and probit model to analyse collected data. The probit regression model discovered that farm size, land ownership, gender, age, collateral and extension services had a significant positive influence on small-scale farmers` formal credit access. Based on the study findings, a set of recommendations for achieving equitable formal credit access by female and male small-scale farmers was put forward.
    Źródło:
    Journal of Agribusiness and Rural Development; 2022, 63, 1; 5-13
    1899-5241
    Pojawia się w:
    Journal of Agribusiness and Rural Development
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dyskurs i interakcja – problem trafnego wyboru kontekstu do interpretacji rozmów
    Discourse and/as interaction: The problem of relevant context selection for the interpretation of talk
    Autorzy:
    Rancew-Sikora, Dorota
    Powiązania:
    https://bibliotekanauki.pl/articles/623100.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    conversation analysis
    critical discourse analysis
    formal and informal talk
    power in interaction
    police interrogation
    Opis:
    W niniejszym artykule zamierzam porównać analizę skoncentrowaną na interakcji i krytyczną analizę dyskursu, które – choć obie są charakterystyczne dla socjologicznej analizy dyskursu – mają status opozycyjnych względem siebie ze względu na zakorzenienie w innych tradycjach teoretycznych i konkurencyjnych modelach życia społecznego. Chciałabym poddać refleksji i testowi empirycznemu ich opozycyjny status i zastanowić się, czy badacz w konfrontacji z konkretnym materiałem musi między nimi wybierać, na czym może oprzeć swój wybór oraz, ewentualnie, czy i jak może je połączyć w interpretacji, wykorzystując model nakładających się kontekstów.
    In the article the author compares interactional conversation analysis and critical discourse analysis with regard to context selection for the interpretation of talk. Both approaches are considered appropriate for sociological type of discourse analysis, but they commonly appear as opposite options because of their backgrounds within different theoretical traditions and contradictory models of social life. Relying on theoretical considerations and empirical tests, the author offers the way for linking both approaches by means of the dynamic model of overlapping contexts.
    Źródło:
    Przegląd Socjologii Jakościowej; 2013, 9, 1; 12-31
    1733-8069
    Pojawia się w:
    Przegląd Socjologii Jakościowej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A model of performance-oriented risk-based assessment of safety of container ships
    Autorzy:
    Gerigk, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/963465.pdf
    Data publikacji:
    2007
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    safety of ships
    design for safety
    risk analysis
    Formal Safety Assessment (FSA)
    Opis:
    The paper presents some information on a performance-oriented risk-based model for assessment of safety of ships in damaged conditions. The design for safety process is integrated with the risk analysis. As safety is treated as one between the main design objectives such an approach is called the risk-based design. The assessment of safety is based on the risk level. The risk level is evaluated according to the risk-based criteria. For the risk analysis the Formal Safety Assessment methodology has been applied.
    Źródło:
    Polish Maritime Research; 2007, S 1; 53-57
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Indicators for scientific articles
    Kryteria jakości artykułów naukowych
    Autorzy:
    Lesiów, T.
    Xiong, Y.
    Chin, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/2080589.pdf
    Data publikacji:
    2019
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    food technology
    human nutrition
    journal
    scientific journal
    scientific article
    formal error
    Pareto-Lorenz analysis
    Opis:
    The publication of original research findings in peer-reviewed scientific journals is an important aspect of academic achievements and contribution to the society. Yet, failures to adhere to journals’ guidelines and standards are a common reason for the rejection of submitted manuscripts. The aim of this paper is to present the most important formal principles that researchers must comply with if they want their work to be printed in a refereed journal relating to food and food technology. The paper presents the results collected by three journal editors. Each of the coauthors recorded and analyzed his own latest reviews and then determined the most common errors in them by following a list of ten accepted rules and calculated the frequencies of recorded manuscript errors. The results showed consistent observations between the three coauthors. It is determined that the most often committed errors or non-compliances are poor experimental design, lack of innovation, and poor writing.
    Źródło:
    Nauki Inżynierskie i Technologie; 2019, 4(35); 42-57
    2449-9773
    2080-5985
    Pojawia się w:
    Nauki Inżynierskie i Technologie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Empowerment and the quality of superior-subordinate relationships in the international business environment
    Autorzy:
    Stefańska, Magdalena
    Grabowski, Gabriel
    Powiązania:
    https://bibliotekanauki.pl/articles/25806541.pdf
    Data publikacji:
    2023
    Wydawca:
    Szkoła Główna Handlowa w Warszawie
    Tematy:
    employee empowerment
    formal and informal superior-subordinate relation
    quality of relation
    international work environment
    comparative analysis
    Opis:
    The aim of this paper is to identify and explore nature of superior-subordinate relationship and the different uses of empowerment in organizations where employees and managers are of different nationalities. The hypothesis formulated in the study was that a correct relationship fosters empowerment, but this is conditioned by whether or not the work environment is an international one. The research was conducted using the CAWI technique on a non-randomly selected sample of 277 respondents, and confirms a positive correlation between empowerment and the quality of relationships, and also between empowerment and the type of relationship. Moreover, the perception of relationships is modified when an international working environment is considered. In all models, the formal relationship proves to be an irrelevant factor in the use of empowerment. As far as the origin of the superior is concerned, when the superior is a foreigner, the quality, and not the type of the relationship, is the crucial factor. However, an informal relationship becomes important when there are no foreigners. This may cause certain threats in a situation where the company expands internationally.
    Źródło:
    e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie; 2023, 101, 4; 11-17
    1731-6758
    1731-7428
    Pojawia się w:
    e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Narrative strategies of the Romantic “philosophical epics” in the piano works of Franz Liszt (Analysis o/Sposalizio, Valee D’Obermann, Ballade No. 2 and the Sonata in B minor)
    Autorzy:
    Grabocz, Marta
    Powiązania:
    https://bibliotekanauki.pl/articles/780389.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    musical signification
    musical semiotics
    narrative strategy
    signifieds in music
    character variation
    formal variation
    complex sonata form
    narrative analysis
    Opis:
    The article explains how ideas, characters and images borrowed from literary works and of fine arts are represented in Liszt’s the piano works of (i.e. with the help of motives, themes and narrative strategies). I. The first level of analysis concerns the typology of basic elements in the new lisztian forms: A. Four types of musical motives or figures and their signifieds (semes). B. Sixteen types of musical themes with their signifieds (classemes). C. Considering the great parts or sections of a piece we discovered seven types with their signifieds (isotopies). II. The second level of analysis consists in the presentation of three types of narrative strategies. The narrative strategy would mean the conscious organization of concatenation of the above mentioned signifying elements. A. The “figurative strategy” refers to the formal variation [‘Formalvariation” in German] of onetheme, or of one “thematic complex” (theme introduced and followed by expressive describing motives or refrain), for example: Sposalizio. B. The “simple narrative strategy” consists in a succession of character variations [‘Charaktervariation’], i.e. variation in the musical genre, in the signified of one musical theme (for example: Vallee d’Obermanri). C. The “complex narrative strategy” describes the structures which combine sonata form, cyclical sonata in four movements and variation form. This strategy implies that a whole thematic complex (exposition) is submitted to different stages of the character variation (for example: Dante sonata, Sonata in B minor, 2nd Ballade in B minor, etc.).
    Źródło:
    Interdisciplinary Studies in Musicology; 2015, 14; 113-135
    1734-2406
    Pojawia się w:
    Interdisciplinary Studies in Musicology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Umiarkowanie i jego modele
    Autorzy:
    Trzcieniecka-Schneider, Irena
    Powiązania:
    https://bibliotekanauki.pl/articles/426733.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    Aristotelian ethics
    Epicurean ethics
    golden mean
    temperance
    conceptual analysis
    logical analysis
    formal models
    etyka Arystotelesa
    etyka Epikura
    złoty środek
    umiarkowanie
    analiza pojęciowa
    analiza logiczna
    model formalny
    Opis:
    Temperance is one of the four cardinal virtues which were first formulated by Plato. Today the notion of temperance has a central position in many ethical systems, especially in ecophilosophy (environmental philosophy). Temperance, involwing balance and moderation, may give resolution to many contemporary human problems. The attempt of analysis of this concept with simple formal means can make clear some hidden assumptions and the structure of the concept of temperance. The analised concept includes both – a decision (a choice) and an action/behaviour as an effect of the decision. First model is based on Aristotle’s theory of golden mean presented in his Nicomachean Ethics. The attempt of reconstruction Aristotle’s idea using mathematical notion of weighted mean shows that the concept of temperance is strongly restricted to the cultural background. Therefore in extremal cases the universal concept of temperance may not exist.Second model given by Epicurus is based on the notion of consequence. It concerns pleasure and pain only, but temperance is just recommended in using pleasures. The set of temperant decisions is built recurently. A – the set of pleasure – is modified step by step by consequence CR(A) where R – set of rules – includes modus ponens, law of identity and some simple laws of everyday provenience. U is the set of temperant choices in Epicurean sense iff  ∀p ∈ P, ~(p ∈ CR (U)) where P – set of pain.
    Umiarkowanie jest jedną z czterech cnót kardynalnych, pierwotnie podanych przez Platona. Obecnie pojęcie umiarkowania zajmuje kluczową pozycję w wielu systemach etycznych, w tym w ekofilozofii. Umiarkowanie zakłada zachowanie właściwej równowagi, potrzebnej przy dokonywaniu wyborów życiowych. Próba analizy tego pojęcia przy pomocy prostych środków formalnych pozwala ujawnić ukryte założenia, a także jego strukturę. W pojęciu umiarkowania mieści się zarówno decyzja (wybór), jak i działanie bądź zachowanie jako efekt podjętej decyzji. Pierwszy model oparty jest na koncepcji Arystotelesa i jego „złotego środka” zawartej w Etyce nikomachejskiej. Próba rekonstrukcji koncepcji Arystotelesa pokazuje, że pojęcie umiarkowania w tym ujęciu jest silnie zrelatywizowane do kręgu kulturowego i, co wydaje się zaskakujące, w skrajnych przypadkach jego określenie może okazać się niemożliwe.Drugi model, podany przez Epikura, jest oparty na pojęciu konsekwencji logicznej. Wprawdzie dotyczy jedynie przyjemności i przykrości, ale umiarkowanie najczęściej zalecane jest właśnie w odniesieniu do rzeczy przyjemnych. Zbiór decyzji umiarkowanych jest budowany rekurencyjnie. A – zbiór przyjemności – jest modyfikowany krok po kroku poprzez konsekwencje CR(A), gdzie R jest zbiorem reguł zawierającym prócz reguły modus ponens oraz reguły tożsamości proste, najczęściej nieformalne, reguły działania/wyboru pochodzące z codziennego doświadczenia. Zbiór U jest zbiorem wyborów umiarkowanych w sensie Epikura wtedy i tylko wtedy, gdy dla dowolnego p należącego do zbioru przykrości, p nie należy do zbioru konsekwencji ∀p ∈ P, ~(p ∈ CR(U)).
    Źródło:
    Logos i Ethos; 2017, 45
    0867-8308
    Pojawia się w:
    Logos i Ethos
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Możliwość wykorzystania metodologii FSA do analizy ryzyka przejścia statku nad rurociągiem
    FSA methodology to risk analysis of vessel passage over the pipeline
    Autorzy:
    Orymowska, J.
    Pilip, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/314338.pdf
    Data publikacji:
    2016
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    bezpieczeństwo statków
    rurociągi podwodne
    analiza ryzyka
    Formalna Ocena Bezpieczeństwa
    FSA
    safety of ships
    underwater pipeline
    risk analysis
    Formal Safety Assessment
    Opis:
    Znaczący postęp technologiczny połączony z minimalizacją kosztów i opłacalnością produkcji nowych instalacji przesyłowych, spowodowały w ostatnich latach intensywny rozwój sektora offshore w Polsce, Europie i na świecie. Efektem tego jest duże zagęszczenie podwodnej liniowej infrastruktury przesyłowej (LIP) - rurociągów czy kabli podmorskich. Obszarami szczególnie niebezpiecznymi w zakresie eksploatacji LIP są rejony przybrzeżne, gdzie wzmożona jest intensywność ruchu statków. W celu zminimalizowania ryzyka uszkodzeń sieci, należy już podczas projektowania, a następnie budowy, przeprowadzić szereg analiz dotyczących m.in. aspektów wytrzymałości i doboru materiałów, lokalizacji w aspekcie bezpiecznej nawigacji, wpływu warunków pogodowych oraz intensywności ruchu statków na powierzchni z uwzględnieniem ich ewentualnego wpływu podczas przepływania nad rurociągiem. W artykule skupiono się na ostatnim z wymienionych czynników. Autorzy omówili dostępne metody analizy ryzyka (FSA), wybrali optymalną do przedstawionego problemu, rozpatrzyli możliwe scenariusze zagrożeń i zaproponowali działania niezbędne do uniknięcia bądź zminimalizowania wystąpienia takich przypadków.
    Recent technological advance combined with the minimization of costs and a raise in profitability of production of new investments, has in recent years caused an intensive development of the offshore sector in Poland, Europe and all over the world. The result of that, is a big density of underwater transmission pipelines and cables especially in coastal areas where traffic intensity is posing a potential threat to the safety of underwater infrastructure. To avoid or minimize the risk of pipeline damage, a significant number of analyses are needed to be conducted, for example aspects of material strength and its selection, location, impact of the weather conditions and intensity of the vessels movements on the sea surface, taking into account their possible impact when passing over the pipeline. This article focuses on the last of the above mentioned factors. The authors discussed the available methods of risk analysis (FSA), choose the optimal way to solve the problem, considered possible threats scenarios and suggested the necessary moves to avoid or minimize the occurrence of such cases.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 12; 714-717
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Priamèles du “Livre des Proverbes” – analyse formelle, syntaxique, stylistique et pragmatique
    Priamels from "The Book of Proverbs": A Formal, Syntactic, Stylistic and Pragmatic Analysis
    Autorzy:
    Lipińska, Magdalena
    Powiązania:
    https://bibliotekanauki.pl/articles/31339775.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    priamèle
    'Livre des Proverbes'
    analyse formelle
    syntaxique
    stylistique et pragmatique
    priamel
    'Book of Proverbs'
    formal
    syntactic
    stylistic and pragmatic analysis
    Opis:
    Les priamèles du Livre des Proverbes forment un groupe spécial de parémies non seulement parmi les proverbes mais aussi parmi les priamèles. Elles ne constituent pas une collection homogène ce qui a été démontré par l’analyse formelle, stylistique, et pragmatique. Les priamèles, surtout numériques, à plusieurs éléments cités, ne sont pas des énoncés concis, avec une syntaxe simple, propre aux proverbes prototypiques. Ils se caractérisent par des schémas syntaxiques récurrents et une régularité concernant les éléments cités. La fonction poétique, qui est soulignée, s’exprime par plusieurs figures de style diverses et plus ou moins définitoires pour les priamèles. Le caractère non mécanique, indirect du message, découlant de la transgression fréquente des maximes de pertinence, de quantité et de modalité et de l’importance des contenus inférés, ainsi que de la marque expressive, donne l’impression d’une intimité entre l’émetteur et le récepteur des proverbes et augmente la force communicative des contenus parémiques. Les priamèles numériques doubles, développées et introuvables hors du Livre des Proverbes sont les plus spécifiques à cette source.
    Priamels from The Book of Proverbs constitute a specific group of maxims not only among proverbs but also among priamels. They are not a homogenous set, as the formal, stylistic, and pragmatic analysis proved. Priamels, especially the numeric ones, with many cited elements, are not concise statements with simple syntax characteristic of prototypical proverbs. They are characterised by repetitive syntactic patterns with certain regularity referring to cited elements. The accentuated poetic function of the language is expressed by the presence of many diverse stylistic figures more or less defining for priamels. The non-mechanical character of the message stemming from the frequent violation of maxims of relevance, quantity, and manner – as well as from the importance of the inferred information and expressive markedness – makes the impression of the proximity between the sender and the receiver, and strengthens the power of communicating the maxims’ message. Extended priamels, which are doubly numeric, do not occur anywhere else but in The Book of Proverbs.
    Źródło:
    Acta Universitatis Lodziensis. Folia Litteraria Romanica; 2023, 18; 185-197
    1505-9065
    2449-8831
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Litteraria Romanica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Oblicza religii, religijności i duchowości w świetle wyników badań w raportach trendowych
    The Faces of Religion, Religiosity, and Spirituality in the Light of the Results of the Trend Reports Research
    Autorzy:
    Sierocki, Radosław
    Powiązania:
    https://bibliotekanauki.pl/articles/2034532.pdf
    Data publikacji:
    2021-09-30
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
    Tematy:
    duchowość
    analiza trendów
    projektowanie przyszłości
    religia hybrydowa
    wellness
    dobre umieranie
    formalna religia
    spirituality
    trends analysis
    projects of future
    hybrid religion
    dying well
    formal religion
    Opis:
    Coraz większą popularność zyskuje analiza trendów jako metoda foresightowa. Pojęcie trendu nie jest precyzyjnie określone, ale można stwierdzić, że oznacza kierunki zmian w zakresie wartości i potrzeb. W tym rozumieniu jest łącznikiem między teraźniejszością a projektowaną przyszłością. Duży udział w analizowaniu trendów mają firmy i organizacje badające komercyjnie kierunki i źródła nadchodzących zmian oraz tworzące strategie radzenia sobie z nimi. Na publikowane raporty trendowe można spojrzeć jak na specyficzne teksty, które pokazują istniejące w teraźniejszości wyobrażenia o przyszłości. Raporty najczęściej dotyczą rozwoju gospodarczego i technologicznego, ale dają wgląd w to, jakie miejsce zajmują w tej przyszłości religia i duchowość. W raportach wskazuje się przede wszystkim na zanikanie religii i zastępowanie jej miejsca przez duchowość. Główne trendy, w których jest mowa o religii, są związane ze sferą wellness i „dobrym umieraniem”.
    Trend analysis as a foresight method is gaining popularity. Category of “trend” is not very precise, but we could define it as directions of changes in values and needs. In this meaning, trends link the present and projected future. There are more and more commercial, nonacademic analysis of trends. Professional firms and organizations show directions and sources of “always approaching” changes and they are preparing the strategies of dealing with them. We can read published reports as text showing present imaginations of the future. Reports usually concern the economy or technology development but some of them give insight into what would be the place of religion and spirituality in that future. The elaborations indicate the disappearance of religion and its replacement by spirituality. The main directions of religious changes are connected with “wellness” and “dying well” trends.
    Źródło:
    Studia Humanistyczne AGH; 2021, 20, 3; 51-68
    2084-3364
    Pojawia się w:
    Studia Humanistyczne AGH
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formal Safety Assessment (FSA) for Analysis of Ship Collision Using AIS Data
    Autorzy:
    Zaman, M.B.
    Santoso, A.
    Kobayashi, E.
    Wakabayashi, D.
    Maimun, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/116666.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
    Tematy:
    AIS Data
    Automatic Identification System (AIS)
    Formal Safety Assessment (FSA)
    geographic information system (GIS)
    Analysis of Ship Collision
    Collision Avoidance
    Malacca Strait
    safety at sea
    Opis:
    Currently, Maritime safety is the best issue in the world. International Maritime organization (IMO) have recommended FSA methodology to enhance maritime safety. In this paper, the research conducted in the Malacca Strait. Malacca Strait is an area that has a high risk for shipping navigation. Many accidents occur in the area are like collision, fire, grounding and so on. Therefore a study on improving safety in this area is very important. it is to produce an output that can be used to provide input to the master and multiple stakeholders to improve safety on board at the time of sailing. In this study, AIS is used as a data source. Sea condition data collected actual traffic through the Automatic Identification System (AIS) equipment installed at Kobe University, Japan, and Universiti Teknologi Malaysia (UTM) in Johor, Malaysia. The data is applied to define a method with the help of Geographic Information Systems (GIS).
    Źródło:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 1; 67-72
    2083-6473
    2083-6481
    Pojawia się w:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Badania nad edukacją pozaformalną dorosłych w RFN, ze szczególnym uwzględnieniem analizy programów instytucji edukacji dorosłych
    RESEARCH ON NON-FORMAL ADULT EDUCATION IN THE FEDERAL REPUBLIC OF GERMANY, WITH A SPECIAL REGARD TO ANALYSIS OF PROGRAMS OF ADULT EDUCATION INSTITUTIONS
    Autorzy:
    Przybylska, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/464254.pdf
    Data publikacji:
    2019
    Wydawca:
    Akademickie Towarzystwo Andragogiczne
    Tematy:
    badania nad edukacją
    edukacja dorosłych
    edukacja pozaformalna
    instytucje edukacji dorosłych
    analiza programów
    educational research
    adult education
    non-formal education
    adult education institutions
    analysis of programs
    Opis:
    Artykuł przedstawia kierunki badań nad obszarem edukacji pozaformalnej dorosłych prowadzonych w Republice Federalnej Niemiec. Jej popularność jako obszaru badawczego nie maleje od lat 70. ubiegłego wieku mimo wyraźnego wzrostu zainteresowania badaczy fenomenem uczenia się poza instytucjami, w środowiskach ludzkiego życia i pracy. W obszarze niemieckich badań nad pozaformalną edukacją dorosłych można wyróżnić kilka odrębnych nurtów: badania nad procesami nauczania–uczenia się w instytucjach, nad kursami, badania nad funkcjonowaniem instytucji i organizacji, nad profesją edukatora dorosłych i programami oraz badania nad adresatami, uczestnikami i grupami docelowymi ofert edukacyjnych. Autorka artykułu skupia uwagę przede wszystkim na badaniach nad programami instytucji edukacyjnych, ponieważ ten obszar badań nie zajmuje w polskiej edukacji dorosłych ważnego miejsca.
    The article presents the directions of research on the area of non-formal education of adults run in Germany. Its popularity as a research area has not decreased since the 1970s, despite a clear increase in the interest of researchers in the phenomenon of learning outside institutions. In the area of research on non-formal adult education, one can distinguish several separate trends: research on teaching – learning processes in institutions, over courses, research on the functioning of institutions and organizations, over professions and programs, and research on addressees, participants and target groups. The author of the article focuses primarily on research on programs of educational institutions, because this area of research does not take up an important place in Polish adult education.
    Źródło:
    Edukacja Dorosłych; 2019, 1; 23-35
    1230-929X
    Pojawia się w:
    Edukacja Dorosłych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of decision-making methods in patients’ treatment
    Analiza metod wspomagania procesu podejmowania decyzji przy leczeniu pacjentów
    Autorzy:
    Melnikova, Natalia
    Shakhovska, Natalya
    Powiązania:
    https://bibliotekanauki.pl/articles/548968.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    podejmowanie decyzji
    modele formalne
    analiza danych medycznych
    medyczne systemów eksperckie
    problemy leczenia
    decision-making
    formal model
     analysis of medical data
    expert medical systems
    the problems of treatment.
    Opis:
    The article undertakes an analysis of decision-making methods used in solving difficult-formalized problems of medical diagnostics and treatment. A formal model of a medical expert system is proposed, with the purpose of selecting medical pharmaceutical treatment systems. The important task at any stage of the medical evaluation is to determine the general condition of the patient, the depth of the pathological process and the operational control of the effec-tiveness of treatment for timely correction. These problems can be attributed to a large class of practical problems in the weakly formalized decision-making process in the treatment of patients.
    W artykule przedstawiono analizę metod wspomagania podejmowania decyzji, które są prze-znaczone do rozwiązywania słabo sformalizowanych problemów diagnostyki medycznej i lecze-nia. Zaprezentowano formalny model systemu eksperckiego, którego celem jest usprawnienie sposobu farmaceutycznego leczenia pacjentów. Najważniejsze zadania na każdym etapie oceny medycznej to określenie ogólnego stanu pa-cjenta i głębokości procesu patologicznego oraz prowadzenie kontroli skuteczności leczenia i jego odpowiednia korekta. Zadania te są powiązane z szeroką klasą praktycznych problemów występujących w słabo sformalizowanym procesie podejmowania decyzji dotyczących leczenia pacjentów.
    Źródło:
    Nierówności Społeczne a Wzrost Gospodarczy; 2013, 36; 333-340
    1898-5084
    2658-0780
    Pojawia się w:
    Nierówności Społeczne a Wzrost Gospodarczy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Skutkowe czy formalne przestępstwo nadużycia władzy
    Material or formal character of crime of abuse of power
    Autorzy:
    Nowak, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/1806716.pdf
    Data publikacji:
    2019-11-16
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    przestępstwo nadużycia władzy
    art. 231 § 1 k.k.
    konkretne narażenie na niebezpieczeństwo
    abstrakcyjne narażenie na niebezpieczeństwo
    przestępstwa skutkowe
    przestępstwa formalne
    skutek w prawie karnym
    analiza semantyczna
    crime of abuse of power
    article 231 (1) of Criminal Code
    real exposure to danger
    abstract exposure to danger
    material offenses
    formal offenses
    effect in criminal law
    the semantic analysis
    Opis:
    Autor przeprowadza rozważania w przedmiocie charakteru art. 231 § 1 k.k. w kontekście jego skutkowego bądź bezskutkowego charakteru, odnosząc się do głównych argumentów wskazywanych w literaturze i orzecznictwie na rzecz jednego albo drugiego stanowiska. W wyniku przeprowadzonej analizy dochodzi do konkluzji, że art. 231 § 1 k.k. statuuje przestępstwo abstrakcyjnego narażenia na niebezpieczeństwo, jednocześnie formułując postulaty de lege ferenda zawężenia jego pola kryminalizacji.
    The author makes reflections on the nature of Article 231 (1) of Criminal Code in terms of material or formal character, referring to the main arguments pointed out in the literature and judicature in favor of one or the other position. As a result of the analysis comes to the conclusion that Article 231 (1) of Criminal Code regulates offense of abstract exposure to danger, formulating the proposals de lege ferenda of narrowing the field of criminalization
    Źródło:
    Roczniki Nauk Prawnych; 2015, 25, 1; 43-60
    1507-7896
    2544-5227
    Pojawia się w:
    Roczniki Nauk Prawnych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-32 z 32

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies