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ę "ontology" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 28
Tytuł:
Project : competency based approach and the ontological model of knowledge representation of the planned learning
Autorzy:
Wójcik, Waldemar
Kubekov, Bulat
Naumenko, Vitaliy
Narynov, Sergazy
Toibayeva, Shara
Utegenova, Аnar
Powiązania:
https://bibliotekanauki.pl/articles/226867.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
training
ontology engineering
education paradigms
Opis:
The paper considers the technique of modeling and formation educational components of the planned training of CDIO Syllabus, realized in the form of the educational adaptive environment of engineering education. The following key concepts of the methodology have been accepted: competence models of the stages of the CDIO initiative, the method of project training, syntax for describing the concepts of the domain, models for mapping support concepts in the form of expressions of knowledge and ontological engineering.
Źródło:
International Journal of Electronics and Telecommunications; 2019, 65, 1; 45-49
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Measures for evaluation of structure and semantics of ontologies
Autorzy:
Waloszek, W.
Powiązania:
https://bibliotekanauki.pl/articles/220653.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ontology
description logic
Knowledge Cartography
Opis:
Recently, the topic of ontologies has growing attention from the IT community. Various processes of ontology creation, integration, and deployment have been proposed. As a consequence there appeared an urgent need for evaluating the resulting ontologies in a quantitative way. A number of metrics has been defined along with different approaches to measuring the properties of ontologies. In the first part of this paper we review the state of the art in this domain. Special attention is devoted to discussing differences between syntactic measures (referring to various properties of graphs that represent ontologies) and semantic measures (reflecting the properties of the space of ontology models). In the second part we propose an alternative approach to quantification of semantics of an ontology. The original proposal presented here exploits specific methods of representing the space of semantic models used for optimization of reasoning. We argue that this approach enables us to capture different kinds of relations among ontology terms and offers possibilities of devising new useful measures.
Źródło:
Metrology and Measurement Systems; 2012, 19, 2; 343-354
0860-8229
Pojawia się w:
Metrology and Measurement Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Role of ontologies for CPS implementation in manufacturing
Autorzy:
Garetti, M.
Fumagalli, L.
Negri, E.
Powiązania:
https://bibliotekanauki.pl/articles/406924.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cyber-physical systems
CPS
ontology
advanced manufacturing
Opis:
Cyber Physical Systems are an evolution of embedded systems featuring a tight combination of collaborating computational elements that control physical entities. CPSs promise a great potential of innovation in many areas including manufacturing and production. This is because we obtain a very powerful, flexible, modular infrastructure allowing easy (re) configurability and fast ramp-up of manufacturing applications by building a manufacturing system with modular mechatronic components (for machining, transportation and storage) and embedded intelligence, by integrating them into a system, through a network connection. However, when building such kind of architectures, the way to supply the needed domain knowledge to real manufacturing applications arises as a problem to solve. In fact, a CPS based architecture for manufacturing is made of smart but independent manufacturing components without any knowledge of the role they have to play together in the real world of manufacturing applications. Ontologies can supply such kind of knowledge, playing a very important role in CPS for manufacturing. The paper deals with this intriguing theme, also presenting an implementation of this approach in a research project for the open automation of manufacturing systems, in which the power of CPS is complemented by the support of an ontology of the manufacturing domain.
Źródło:
Management and Production Engineering Review; 2015, 6, 4; 26-32
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wittgenstein’s inspirations. On the earlier philosophy of Professor Bogusław Wolniewicz
W kręgu wpływów ideowych Ludwiga Wittgensteina. O wcześniejszej filozofii Profesora Bogusława Wolniewicza
Autorzy:
Stuchliński, Józef Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2097142.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
facts
things
ontology
hypostases
fakty
rzeczy
ontologia
hipostazy
Opis:
Wczesne stanowisko filozoficzne Profesora Bogusława Wolniewicza nawiązywało do poglądów nazywanych pierwszą filozofią Ludwiga Wittgensteina, wyrażoną w Traktacie logiczno-filozoficznym. Znalazło to swój wyraz najpierw w książce Rzeczy i fakty. Wstęp do pierwszej filozofii Wittgensteina (1968), a ostatecznie w monografii Ontologia sytuacji. Podstawy i zastosowania (1985). W obu przypadkach, poglądy filozoficzne Profesora Wolniewicza były wyrażane w znacznej mierze w ujęciu uprzedmiotowiającym pojęcia semiotyczne i logiczne (hipostazy), co też, w obu przypadkach, wydawało mi się wątpliwe. Ontologia sytuacji może być owocnie traktowana jako ogólna formalna teoria semantycznych korelatów właściwych dla wypowiedzi zdaniowych.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2018, 3; 189-197
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The degree of agility in a technology company’s strategy, management, and leadership
Autorzy:
Vanharanta, H.
Kantola, J.
Markopoulos, E.
Salo, M.
Einolander, J.
Hanhisalo, T.
Powiązania:
https://bibliotekanauki.pl/articles/406804.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
agility
application
innovativeness
leadership
management
ontology
validation
verification
Opis:
Agility is a concept and practice with significant importance in managing and leading added value in products, services, projects, and organizations, although it’s usage can also be very risky due to its degree of fuzziness, if not properly understood and defined. This research re-defines agility, emphasizes the need for ontologies for its management and leadership applications and uses a new type of fuzzy logic-based software to measure the degree of agility inside a technology company. In our agility research, various definitions of agility were first gathered and presented for the creation of an agility ontology through a mind map, revealing the main characteristics of agility. Then as part of the Co-Evolute theory and methodology, the first agility ontology was developed as well as the first software application that evaluates the degree of agility in an organization. The application includes statements on which the respondents give opinions in their situation concerning the current and future desired states of agility and its importance in an evaluative way. Today the application has been fully tested in the real world and we have obtained the first test results. The positive verification and validation of the method are shown in this article.
Źródło:
Management and Production Engineering Review; 2018, 9, 4; 129-137
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Gnoseological аnd Ontological Dualism оf Lesya Ukrainka’s The Forest Song
Autorzy:
Kraliuk, Petro
Karpovets, Maksym
Powiązania:
https://bibliotekanauki.pl/articles/2030948.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Lesya Ukrainka
gnoseology
ontology
transcendental knowledge
civilization and nature
Źródło:
Slavia Orientalis; 2021, LXX, 2; 331-345
0037-6744
Pojawia się w:
Slavia Orientalis
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the false ontological consensus
Autorzy:
Mudyń, Krzysztof
Kałużna-Wielobób, lina
Powiązania:
https://bibliotekanauki.pl/articles/430416.pdf
Data publikacji:
2015-06-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
False Consensus Effect
qualitative vs quantitative ontology
Ontological Uncertainty Effect
Opis:
The objective of the research was to check whether False Consensus Effect (FCE), shown in much research, is also valid for ontological decisions. Test participants, faced with an ontological dilemma, made a choice three times, which of the 3 item set (Cracow City, Me myself, the Universe) refers to something most real. The research conducted first among psychology students (N=116), then replicated on mathematics students (N=126) and middle-aged people (N=106). Results: 1) All groups chose the Universe most seldom (4%-11% subjects), the remaining two “objects” were chosen with similar frequency, 2) FCE occurred in all groups and in reference to each choice, 3) with people who made inconsequent choices (16% of test participants), FCE was notably higher (p <.001) in comparison to people making consequent choices, 4) FCE with inconsequent people turned out to be higher (p <.01) even in comparison with “the smallest minority”, people who (consequently) chose the Universe.
Źródło:
Polish Psychological Bulletin; 2015, 46, 2; 160-173
0079-2993
Pojawia się w:
Polish Psychological Bulletin
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Austempered Ductile Iron Manufacturing Data Acquisition Process with the Use of Semantic Techniques
Autorzy:
Wilk-Kołodziejczyk, D.
Kluska-Nawarecka, A. S.
Regulski, K.
Adrian, W.
Jaśkowiec, K.
Powiązania:
https://bibliotekanauki.pl/articles/355169.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
austempered ductile iron
thermal treatment
properties
process data
data integration
ontology
Opis:
The aim of this work was to propose a methodology supporting the task of collecting the comparative data on studies of the mechanical properties of ADI. Collecting of research data is an important step in the process of finding the optimum design solutions for newly made products - experimental data allow us properly calibrate the manufacturing process of ADI to let the final product achieve the required properties. Parameters of the ADI production process, i.e. the time and temperature of austenitising and austempering, as well as the alloying elements added to ductile iron affect the ADI properties. The design process can use research data collected, among others, from the Web. As stated in the article, the process of data acquisition can be supported by semantic technologies, including ontologies which are descriptive logic formalism.
Źródło:
Archives of Metallurgy and Materials; 2016, 61, 4; 2117-2122
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontology based model of the common criteria evaluation evidences
Model materiału dowodowego do oceny zabezpieczeń według metodyki Wspólne Kryteria bazujący na ontologii
Autorzy:
Białas, A.
Powiązania:
https://bibliotekanauki.pl/articles/375854.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Common Criteria
IT security evaluation
knowledge engineering
modelling
ontology
assurance methods
Opis:
The paper presents a new ontology-based approach to the elaboration and management of evidences prepared by developers for the IT security evaluation process according to the Common Criteria standard. The evidences concern the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation), and depend on the TOE features and its development environment. Evidences should be prepared for the broad range of IT products and systems requiring assurance. The selected issues concerning the author's elaborated ontology are discussed, such as: ontology domain and scope definition, identification of terms within the domain, identification of the hierarchy of classes and their properties, creation of instances, and an ontology validation process. This work is aimed at the development of a prototype of a knowledge base representing patterns for evidences.
Artykuł przedstawia wybrane zagadnienia dotyczące modelu materiału dowodowego wykorzystywanego w procesie oceny i certyfikacji zabezpieczeń informatycznych. Model opracowano w oparciu o metody inżynierii wiedzy i metodykę "Wspólne Kryteria" (ISO/IEC 15408 Common Criteria). Zakres i szczegółowość materiału dowodowego, przedkładanego wraz z produktem informatycznym (sprzęt, oprogramowanie, w tym układowe, system informatyczny) do oceny w niezależnym, akredytowanym laboratorium są implikowane przez zadeklarowany dla produktu poziom uzasadnionego zaufania EAL (Evaluation Assurance Level). EAL1 to wartość minimalna, EAL7 - maksymalna. Każdemu z poziomów EAL odpowiada pewien spójny zbiór wymagań uzasadniających zaufanie, czyli pakiet komponentów SAR (Security Assurance Requiremeni) - Tab.l. Większość z ponad tysiąca ocenionych produktów posiada certyfikaty EAL3-EAIA Oceniany pod względem wiarygodności swych zabezpieczeń, produkt informatyczny zwany jest przedmiotem oceny (TOE - Target of Evaluation). Na wstępie należy dla niego opracować materiał dowodowy o nazwie zadanie zabezpieczeń (ST - Security Target), który stanowi podsumowanie przeprowadzonych analiz bezpieczeństwa produktu i zawiera wykaz funkcji zabezpieczających, które należy zaimplementować w produkcie informatycznym na zadeklarowanym arbitralnie dla niego poziomie EAL, by zasoby informacji były w wystarczający sposób chronione przed zagrożeniami. W drugim etapie wypracowywany jest obszerny materiał dla samego produktu (projekt TOE, jego interfejsów, sposób implementacji, dokumentacja uruchomieniowa i użytkowa, testy, ocena podatności, itp.) i środowiska rozwojowego, w którym ten produkt powstaje (procesy rozwojowe w cyklu życia, zabezpieczenia środowiska rozwojowego, narzędzia, zarządzanie konfiguracją, usterkami i dostawą dla użytkownika, itp.). Artykuł zawiera wprowadzenie do metodyki Common Criteria, przegląd dotychczasowych badań, w tym badań własnych, w zakresie ontologii, modelowania pojęć i procesów tej metodyki. Całość metodyki Common Criteria zawarto w modelu wyrażonym za pomocą ontologii środków specyfikacji (SMO - Specification Means Ontology), jednak w głównej części artykułu (Rozdział 4) uwagę skupiono na fragmencie modelu odnoszącym się do materiału dowodowego dla samego TOE (bez ST). Przedstawiono proces tworzenia ontologii zgodnie z klasycznym podejściem [3] i z wykorzystaniem popularnego narzędzia [18]. Pokazano, jak opracowano rozbudowaną hierarchię klas, opisano własności klas i ich ograniczenia, a także, jak tworzono bazę wiedzy zawierającą środki specyfikacji. Artykuł rozwiązuje problem organizacji (struktury i zawartości) wzorców materiału dowodowego, tworząc dla nich szablony i instrukcje wypełnienia ich treścią dotyczącą opracowywanego produktu informatycznego. Opracowaną ontologie poddawano testom w toku tworzenia. Ontologie SMO wykorzystano więc jako model materiału dowodowego, implikowanego przez komponenty SAR należące dla poszczególnych pakietów EAL. Model ten, po poddaniu go walidacji i rewizji, może być podstawą do budowy aplikacji użytkowych dla twórców materiału dowodowego.
Źródło:
Theoretical and Applied Informatics; 2013, 25, 2; 69-91
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Validation of the Ontology Based Model of the Common Criteria Evaluation Evidences
Walidacja modelu materiału dowodowego do oceny zabezpieczeń według metodyki Wspólne Kryteria bazującego na ontologii
Autorzy:
Białas, A.
Powiązania:
https://bibliotekanauki.pl/articles/951039.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Common Criteria
IT security evaluation
knowledge engineering
modelling
ontology
assurance methods
Opis:
The paper concerns the validation of the selected issues related to the new ontology-based approach to the elaboration and management of evidences prepared by developers for the FT security evaluation process according to the Common Criteria standard. The evidences arc implied by the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation). The evidences envisage the TOE features and its development environment. The validation and use of the author’s elaborated ontology are discussed, including: composing evidences for the given TOE and EAL, expressing details of evidences documents, issuing queries to get given information about model, etc.The paper also shows how the evidences are organized, developed and used. This work is aimed at the development of a prototype of a knowledge base, designed mainly for developers to allow them to compose and manage different kinds of evidences elaborated on the patterns basis. This knowledge base can be used by a software tool aiding developers who produce evaluation evidences.
Artykuł przedstawia wybrane zagadnienia dotyczące walidacji modelu materiału dowodowego służącego do oceny zabezpieczeń informatycznych, opracowanego w oparciu o metody inżynierii wiedzy i metodykę “Wspólne Kryteria” (ISO/IEC 15408 Common Criteria). Artykuł stanowi kontynuację artykułu [3], nakreślającego tło tematyki i wprowadzającego ontologię środków specyfikacji (SMO - Spécification Means Ontology). Niniejszy artykuł poświęcono walidacji modelu danych opartego na SMO i związanego z metodyką Common Criteria. Na wstępie artykuł zawiera krótkie informacje wprowadzające dotyczące: podejścia onto logicznego, rozważanej dziedziny wiedzy oraz pojęć wprowadzonych przez SMO. Główną część artykułu (Rozdział 5) poświęcono wybranym zagadnieniom dotyczącym wykorzystania ontologii SMO i związanej z nią bazy wiedzy - zagadnieniom napotkanym podczas walidacji rozwiązań na przykładzie projektu systemu zaporowego. W sekcji 5.1 wskazano punkt startowy tworzenia materiału dowodowego dla produktu informatycznego, czyli przedmiotu oceny (TOE - Target of Evaluation). Punktem tym jest specyfikacja funkcji zabezpieczających zawarta w zadaniu zabezpieczeń (ST - Security Target). Funkcje te należy zaimplementować w produkcie informatycznym na zadanym poziomie uzasadnionego zaufania EAL (Evaluaüon Assurance Level), czyli opracować na odpowiednim poziomie szczegółowości materiał dowodowy. Jego wykaz dla systemu zaporowego MyFirewall/EAL4+ zawiera Tab. 1. Sekcja 5.2 ilustruje model materiału dowodowego implikowanego przez komponenty danego pakietu EAL - pokazuje organizację materiału jako całości z uwzględnieniem wzbogacenia i rozszerzenia pakietu EAL4 do EAL4+.
Źródło:
Theoretical and Applied Informatics; 2013, 25, 3-4; 201-222
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Historia muzyki oczyma metodologa
Music from the Methodological Point of View
Autorzy:
Brożek, Anna
Powiązania:
https://bibliotekanauki.pl/articles/577883.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
historia muzyki
metodologia
ontologia muzyki
history of music
methodology
ontology of music
Opis:
Są co najmniej dwa powody, dla których historia muzyki jest dyscypliną szczególną: pierwszy natury ontologicznej, drugi – aksjologicznej. Po pierwsze, historia muzyki jest, w najistotniejszym sensie tego słowa, historią utworów muzycznych, a więc pewnych ustrukturyzowanych przedmiotów intencjonalnych. Historia muzyki, która skupia się wyłącznie na tych strukturach – to autonomiczna historia muzyki. Jednakże historycy mogą także skupiać się na pewnych innych przedmiotach, które należą do „sfery muzycznej” – na wydarzeniach muzycznych, życiu kompozytorów, zjawiskach społecznych, recepcji muzyki czy też muzycznych gatunkach. Historia muzyki wygląda różnie z tych różnych punktów widzenia. Po drugie, historia muzyki jest de facto historią muzycznego kanonu, tj. utworów wybranych ze względu na pewne wartości. Zazwyczaj kanon składa się z utworów muzycznych o szczególnej wartości estetycznej i artystycznej. Jednakże jeśli odmówimy pierwszeństwa tym wartościom – obraz historii muzyki zmieni się radykalnie.
There are two reasons of the fact that history of music is a peculiar discipline: ontological and axiological reasons. Firstly, in the most genuine sense, history of music is the history of musical compositions, i.e. certain structured intentional objects. History of music which concentrates only on these structures is usually called “autonomic history of music”. However, the historian may also concentrate on some other objects which belong to the “musical area”: on musical events, on composers’ life, on social phenomena, on musical reception and on musical genres styles. History of music looks differently from all these points of view. Secondly, the history of music is de facto the history of musical canon, i.e. of the compositions chosen for the sake of various values. Typically, canon is composed of the musical works of the unique aesthetic and artistic values. However, by rejecting these values, the shape of the history of music changes dramatically.
Źródło:
Zagadnienia Naukoznawstwa; 2014, 50, 4(202); 313-319
0044-1619
Pojawia się w:
Zagadnienia Naukoznawstwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A methodology for cloud manufacturing architecture in the context of industry 4.0
Autorzy:
Talhi, E.
Huet, J.-C.
Fortineau, V.
Lamouri, S.
Powiązania:
https://bibliotekanauki.pl/articles/200492.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cloud manufacturing
cloud-based services
service-oriented architecture
Industry 4.0
ontology
Opis:
This paper deals with a methodology for the implementation of cloud manufacturing (CM) architecture. CM is a current paradigm in which dynamically scalable and virtualized resources are provided to users as services over the Internet. CM is based on the concept of coud computing, which is essential in the Industry 4.0 trend. A CM architecture is employed to map users and providers of manufacturing resources. It reduces costs and development time during a product lifecycle. Some providers use different descriptions of their services, so we propose taking advantage of semantic web technologies such as ontologies to tackle this issue. Indeed, robust tools are proposed for mapping providers’ descriptions and user requests to find the most appropriate service. The ontology defines the stages of the product lifecycle as services. It also takes into account the features of coud computing (storage, computing capacity, etc.). The CM ontology will contribute to intelligent and automated service discovery. The proposed methodology is inspired by the ASDI framework (analysis–specification–design–implementation), which has already been used in the supply chain, healthcare and manufacturing domains. The aim of the new methodology is to propose an easy method of designing a library of components for a CM architecture. An example of the application of this methodology with a simulation model, based on the CloudSim software, is presented. The result can be used to help the industrial decision-makers who want to design CM architectures.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2020, 68, 2; 271-284
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Identity and identification of objects (with reference to P.F. Strawson’s ontological/metaphysical ideas)
Identyczność przedmiotów i ich identyfikacja (z odniesieniem do ontologicznych/metafizycznych idei P.F. Strawsona)
Autorzy:
Kaczmarek, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/2095920.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
object identity
object identification
P.F. Strawson
G.W. Leibniz
topological ontology
formal ontology
g-sorted
qualities
identyczność przedmiotów
identyfikacja przedmiotów
ontologia topologiczna
ontologia formalna
o-rodzaje
jakości
Opis:
In this article I present the problem of identity of objects (that persist in time and space) and their identification (also in time and space, when these objects persist and change their location) indicated in the title of the paper. I therefore present an outline of P.F. Strawson’s proposal, but also a purely formal approach that can be found in formal sciences (logic and mathematics). In the final part I give some ontological solution to Strawson’s research. It is a solution based on formal considerations within the so-called ontologically oriented versions of modal and temporal logics, which I proposed in my book Indywidua. Idee. Pojęcia (2008).
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2019, 4; 183-198
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Communications, Multimedia, Ontology, Photonics and Internet Engineering 2012
Autorzy:
Romaniuk, R. S.
Powiązania:
https://bibliotekanauki.pl/articles/226296.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
photonics
optical fibers
optoelectronics
communications
multimedia
cryptography
virtual worlds
ontology of information systems
Opis:
Wilga Symposium gathers two times a year, together around 300 young scientists active in advanced photonics, electronics and software systems, including Internet engineering. May 2012 marked a jubilee XXXth meeting in Wilga Resort. There were presented over 250 papers from nearly all technical universities in this country. The organizers present here a research survey of the WILGA Symposium work. Also a digest of chosen Wilga references is presented [1]-[39]. This paper is the second part of a concise review digest focused on optoelectronics, communications, multimedia and ontology of information technologies.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 4; 463-478
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
LABLITA-Suite. Risorse per l’acquisizione dell’italiano L2
Autorzy:
Moneglia, Massimo
Powiązania:
https://bibliotekanauki.pl/articles/2083476.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Italian L2
Technology Enhanced Learning
Spontaneous speech resources
Web corpora
Action Ontology
Opis:
LABLITA-Suite. Resources for the acquisition of Italian as a second language – LABLITA-suite provides technology-enhanced learning resources for the acquisition of Italian L2. IMAGACT allows for mastering the semantic properties of action verbs in the early phases of language acquisition. The LABLITA corpus of Spoken Italian can be used for training learners for face to face conversations. RIDIRE and CORDIC provide corpus linguistic tools for accessing Italian phraseology, which is useful for enhancing writing capabilities in the various domains of language usage.
Źródło:
Kwartalnik Neofilologiczny; 2019, 2; 407-421
0023-5911
Pojawia się w:
Kwartalnik Neofilologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 28

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