Filters
total: 898
-
Catalog
- Publications 366 available results
- Journals 78 available results
- Conferences 11 available results
- Publishing Houses 2 available results
- People 17 available results
- Research Equipment 1 available results
- e-Learning Courses 80 available results
- Events 2 available results
- Open Research Data 341 available results
Search results for: ALGEBRA ONTOLOGII
-
Bożena Kostek prof. dr hab. inż.
People -
Logika opisowa jako język modelowania oprogramowania
PublicationW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Elemental composition analysis of Pistacia lentiscus L., leaves collected from Mitidja plain in Algeria using instrumental neutron activation analysis (INAA) technique
Publication -
Computer Algebra in Scientific Computing
Conferences -
LINEAR ALGEBRA AND ITS APPLICATIONS
Journals -
An Analysis of Contextual Aspects of Conceptualization: A Case Study and Prospects
PublicationIn this chapter we present a new approach to development of modularized knowledge bases. We argue that modularization should start from the very beginning of modeling, i.e. from the conceptualization stage. To make this feasible, we propose to exploit a context-oriented, semantic approach to modularization. This approach is based on the Structural Interpretation Model (SIM) presented earlier elsewhere. In the first part of thischapter...
-
Terminological and Assertional Queries in KQL Knowledge Access Language
PublicationOne of the directions of development of information systems in recent years in the evolution of data-based systems into the knowledge-based systems. As a part of this process there is ongoing work on a whole range of languages for accessing knowledge bases. They can be used in a variety of applications, however their main drawback is the lack of clearly defined algebra representing a theoretical basis for them. For instance, such...
-
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublicationW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
Metody formułowania ontologicznych zapytań
PublicationArtykuł dotyczy problemu wydobywania danych wyrażonych w postaci ontologii opisanej językiem Web Ontology Language. Dane takie mogą być wydobywane przy użyciu ontologicznych zapytań. Artykuł przedstawia rodzaje języków umożliwiających formułowanie tego rodzaju zapytań. Ontologiczne zapytania mogą być formułowane przez użytkowników podobnie jak zapytania w wyszukiwarkach internetowych tworzone w celu znajdowania stron internetowych....
-
Conference on Discrete Mathematics, Algebra and their Application
Conferences -
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Symulacja obwodów elektrycznych zasilanych pulsacyjnie w badaniach patologii nerek. Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublicationPrzedstawiono istotę odwzorowania krwiobiegu nerki za pomocą prostego obwodu elektrycznego. Podano wpływ zmiany oporów przepływu krwi na współczynnik oporu RI w nerce.
-
Theoretical and Architectural Framework for Contextual Knowledge Bases
PublicationThe paper presents the approach aimed at building modularized knowledge bases in a systematic, context-aware way. The paper focuses on logical modeling of such knowledge bases, including an underlying SIM metamodel. The architecture of a comprehensive set of tools for knowledge-base systems engineering is presented. The tools enable an engineer to design, create and edit a knowledge base schema according to a novel context approach...
-
Theory versus experiment for vacuum Rabi oscillations in lossy cavities. II. Direct test of uniqueness of vacuum
PublicationThe paper continues the analysis of vacuum Rabi oscillations we started in part I [Phys. Rev. A 79, 033836 (2009)]. Here we concentrate on experimental consequences for cavity QED of two different classes of representations of harmonic-oscillator Lie algebras. The zero-temperature master equation, derived in part I for irreducible representations of the algebra, is reformulated in a reducible representation that models electromagnetic...
-
Ontological Modeling for Contextual Data Describing Signals Obtained from Electrodermal Activity for Emotion Recognition and Analysis
PublicationMost of the research in the field of emotion recognition is based on datasets that contain data obtained during affective computing experiments. However, each dataset is described by different metadata, stored in various structures and formats. This research can be counted among those whose aim is to provide a structural and semantic pattern for affective computing datasets, which is an important step to solve the problem of data...
-
Jan Domaradzki dr hab.
PeopleDr Jan Domaradzki is an assistant professor of sociology and Head of the Laboratory of Health Sociology and Social Pathology at the Department of Social Sciences and Humanities, Poznan University of Medical Sciences, Poznań, Poland. He is a sociologist with an interest in medical sociology; sociology of genetics; social implications of a new genetics, medicalization and geneticization, social representations of biotechnology, social...
-
Ontology groups representing angiogenesis and blood vessels development are highly up-regulated during porcine oviductal epithelial cells long-term real-time proliferation – a primary cell culture approach
Publication -
The database of odd algebraic periods for quasi-unipotent self-maps of a space having the same homology group as the connected sum of g tori
Open Research DataThe dataset consists of 20 files indexed by numbers g=1,...,20. Each file provides sets of odd algebraic periods for all quasi-unipotent self-maps of a space having the same homology groups as the connected sum of g tori. Let us remark that each data set covers all algebraical restrictions that come from zeta functions for the sets of minimal Lefschetz...
-
Semantic memory architecture for knowledge acquisition and management
PublicationRozumienie informacji zawartej w tekście przez komputer wymaga wiedzy stojacej za systemem informatycznym. Wiedza ta nie jest implicite zapisanej w analizowanym tekscie. Zapisana może być ona w postaci ontologii badanej dziedziny. Zasadniczym zagadnieniem jest konstrukcja takiej ontologii. Artykuł przedstawia podeście oparte na grze 20 pytań do budowy przestrzeni semantycznej dla wybranej dziedziny.
-
Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu
PublicationW rozdziale zaprezentowano wyniki grupy badawczej Knowledge Management Group at Gdańsk University of Technology (KMG@GUT) w zakresie nowych metod reprezentacji i przetwarzania wiedzy sformułowanej w formie ontologii. Metody te wpisują się w aktualne kierunki rozwojowe inicjatywy Semantic Web: wykorzystują do zapisu ontologii logikę opisową (a więc są zgodne ze standardem OWL-DL), biorą pod uwagę rozproszenie wiedzy pomiędzy różne...
-
International Conference on Formal Ontology in Information Systems
Conferences -
International Conference on Knowledge Engineering and Ontology Development
Conferences -
Aleksandra Karpus dr inż.
PeopleAleksandra Karpus jest absolwentką Matematyki Stosowanej na Wydziale Fizyki Technicznej i Matematyki Stosowanej oraz Informatyki na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej. W latach 2011-2014 pracowała z danymi w przemyśle, wykorzystując bazy danych Oracle. Od 2014 roku jest zawodowo związana z Politechniką Gdańską, obecnie jest zatrudniona na stanowisku adiunkta naukowo-dydaktycznego w Katedrze...
-
On the mixing property and the ergodic principle for nonhomogeneous Markov chains
PublicationW pracy rozważane są różne typy zachowania granicznego nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym. Badana jest struktura geometryczna zbioru łańcuchów Markowa w normowej i mocnej topologii operatorowej.
-
Tomasz Maria Boiński dr inż.
PeopleI’m associated with the University since the year 2000 when I started my studies in Computer Science on the Faculty of Electronics, Telecommunications and Informatics. After graduating with honors in 2005, I applied for doctoral studies. During his studies and immediately afterward I was involved in cooperation with Hogart from Warsaw, in the implementation of business solutions in Gdynia company Elektronika SA (Infor FMS SunSystems)...
-
CM - Elementy Algebry Abstakcyjnej
e-Learning Courses{mlang pl}Kurs wspomagający nauczanie przedmiotu Algebra Liniowa na kierunku Informatyka, WETI oraz przedmiotu Linear Algebra kierunku Inżynieria Danych, WETI.{mlang} {mlang en}The course aimed at students of Informatics and Data Engineering in support of Linear Algebra class.{mlang}
-
Algebraic Methodology and Software Technology
Conferences -
An facile Fortran-95 algorithm to simulate complex instabilities in three-dimensional hyperbolic systems
Open Research DataIt is well know that the simulation of fractional systems is a difficult task from all points of view. In particular, the computer implementation of numerical algorithms to simulate fractional systems of partial differential equations in three dimensions is a hard task which has no been solved satisfactorily. Here, we provide a Fortran-95 code to solve...
-
UG Instytut Archeologii i Etnologii
Publishing Houses -
Algebra I
e-Learning CoursesKurs służący do wsparcia prowadzenia zajęć stacjonarnych i prowadzenia wykładów zdalnych z przedmiotu Algebra I dla studentów IV semestru Matematyki na Wydziale FTiMS w roku 2021/22.
-
Algebra I
e-Learning CoursesKurs służący do wsparcia prowadzenia zajęć z przedmiotu Algebra I dla studentów IV semestru Matematyki na Wydziale FTiMS w roku 2022/23.
-
Opis zasobów za pomocą RDF.
PublicationPrzedstawiono zarys idei sieci semantycznej i rolę języka OWL w tej inicjatywie. Omówiono pojęcie ontologii i jej budowę przyjętą w OWL. Opisano trzy wersje języka wraz ze wskazaniem różnic i odmiennych zastosowań. Szczegółowo przedstawiono sposób definiowania klas i ich instancji, a także metody tworzenia relacji między klasami za pomocą właściwości. Na przykładach omówiono rodzaje właściwości oferowanych przez specyfikację OWL....
-
Concept of the agent system for the information technology evaluation
PublicationIn this paper the concept of the agent system for the information technology evaluation has been presented. This article includes the concept description and shows abilities of using software tools which can be applicable to implementation and verification of proposed solution. The article is the part of common researches over creation solutions for information technology evaluation which range over using expert's evaluation and...
-
Crystallization of space: Space-time fractals from fractal arithmetic
PublicationFractals such as the Cantor set can be equipped with intrinsic arithmetic operations (addition, subtraction, multiplication, division) that map the fractal into itself. The arithmetics allows one to define calculus and algebra intrinsic to the fractal in question, and one can formulate classical and quantum physics within the fractal set. In particular, fractals in space-time can be generated by means of homogeneous spaces associated...
-
International Conference on Algebraic and Logic Programming
Conferences -
Formal Power Series and Algebraic Combinatorics
Conferences -
International Symposium on Symbolic and Algebraic Computation
Conferences -
WETI - EiT sem.1 - Algebra liniowa 2023/24 (R.Fidytek)
e-Learning CoursesALGEBRA LINIOWA - wykład EiT
-
Receiver-side fingerprinting method based on quaternion sandwich product
PublicationIn this paper a new receiver-side fingerprinting method for color images is proposed. The proposed method belongs to the group of Joint Fingerprinting and Decryption (JFD) methods. Each component of the color image is represented as a point in 3D space, which is formed by 3 color channels. Encryption and fingerprinting can be interpreted as rotation, scaling and translation of these points. Calculations are performed using quaternion...
-
Wyszukiwanie i eksploracja obrazów medycznych na podstawie ich treści
PublicationPrzedstawiono metody wyszukiwania obrazów medycznych na podstawie podobień- stwa treści. Zaprezentowano architekturę systemu wyszukiwania oraz metodykę wyszukiwania: algebrę obrazów, cechy i deskryptory oraz metody analizy po- dobieństwa.
-
Knowledge base views
PublicationThe paper introduces an extension to the NeeK language. In the current shape NeeK allows for selection of fragments of a given ontology. The selected part is automatically mapped to a database schema by Data Views implementation. Experience with a real system using Data Views has shown that the resulting database schema does not necessarily reflect the needs of the business logic of an application that uses a specific Data View....
-
Interakcyjna baza danych - Internetowa Biblioteka Etyki Informatycznej
PublicationArtykuł przedstawia opis zrealizowanej internetowo dostępnej biblioteki etyki komputerowej. Omówiono rodzaje przechowywanych danych, ontologie, funkcje dostępu i wyszukiwania oraz przyjęte rozwiązania technologiczne konstrukcji.
-
WETI - ACiR sem.1 gr. 2, 4 - Algebra liniowa 2023/24 (R.Fidytek)
e-Learning CoursesALGEBRA LINIOWA - ćwiczenia ACiR2, ACiR4
-
Algebra I [2023/24]
e-Learning CoursesMateriały pomocnicze do wykładu Algebra I na kierunku Matematyka WFTiMS.
-
WETI - EiT sem.1 gr. 1, 7- Algebra liniowa 2023/24 (R.Fidytek)
e-Learning CoursesALGEBRA LINIOWA - ćwiczenia EiT1, EiT7
-
Aplikacje i środowiska kontekstowe: Semantyczny model realizacji ludzkich przedsięwzięć
PublicationPrzedstawiono usystematyzowane podejście do opisu przedsięwzięć ludzkich i usług informacyjnych. Zaprezentowano środowisko WIKI jako platformę wspomagającą przetwarzanie zespołowe oraz zasygnalizowano dalsze trendy jej rozwoju. Wykazano potrzebę uwzględnienia kontekstu związanego z zespołem, realizowanym przedsięwzięciem oraz dziedziną, której ono dotyczy. Podano sposób budowy ontologii dla opisu wymaganych kontekstów.
-
Algebra liniowa 2022
e-Learning CoursesAlgebra liniowa z geometrią (FIZ1B0061); Fizyka Techniczna (WFTiMS), I stopnia - inżynierskie, stacjonarne.
-
Algebra liniowa 2023
e-Learning CoursesAlgebra liniowa z geometrią (FIZ1B0061); Fizyka Techniczna (WFTiMS), I stopnia - inżynierskie, stacjonarne.
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublicationW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
Układy Logiczne wykład - 2023/2024
e-Learning CoursesWykład z przedmiotu Układy Logiczne 1. Nabycie umiejętności posługiwania sie algebrą Boolea do opisu przebiegu zdarzeń .Przedstawienie sposobów analizy i opisu układów logicznych i mikroprocesorowych . 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść przykłady,Wprowadzenie do systemu binarnego, arytmetyka binarna 3....