Filtry
wszystkich: 898
-
Katalog
- Publikacje 366 wyników po odfiltrowaniu
- Czasopisma 78 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 80 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 341 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: ALGEBRA ONTOLOGII
-
Bożena Kostek prof. dr hab. inż.
Osoby -
Logika opisowa jako język modelowania oprogramowania
PublikacjaW 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
Publikacja -
Computer Algebra in Scientific Computing
Konferencje -
LINEAR ALGEBRA AND ITS APPLICATIONS
Czasopisma -
An Analysis of Contextual Aspects of Conceptualization: A Case Study and Prospects
PublikacjaIn 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
PublikacjaOne 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
PublikacjaW 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ń
PublikacjaArtykuł 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
Konferencje -
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW 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.
PublikacjaPrzedstawiono 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaMost 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.
Osobysocjolog, adiunkt w Katedrze Nauk Społecznych Uniwersytetu Medycznego im. Karola Marcinkowskiego w Poznaniu, kierownik Pracowni Socjologii Zdrowia i Patologii Społecznych. Habilitację otrzymałem w roku 2019 w Instytucie Socjologii UAM na podstawie rozprawy: Społeczne konstruowanie genetyki. Reprezentacje biotechnologii w polskim czasopiśmiennictwie opiniotwórczym. Doktorat obroniłem w roku 2008 w Instytucie Socjologii, UKSW na...
-
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
Publikacja -
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
Dane BadawczeThe 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
PublikacjaRozumienie 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
PublikacjaW 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
Konferencje -
International Conference on Knowledge Engineering and Ontology Development
Konferencje -
Aleksandra Karpus dr inż.
OsobyAleksandra 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
PublikacjaW 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ż.
OsobyZ uczelnią jestem związany już od 2000r kiedy to rozpocząłem studia na kierunku Informatyka wydziału Elektroniki, Telekomunikacji i Informatyki. Po ich ukończeniu z wyróżnieniem, w 2005 roku rozpocząłem studia doktoranckie. W trakcie studiów i bezpośrednio po ich zakończeniu zaangażowany byłem, we współpracy z firmą Hogart z Warszawy, we wdrażanie rozwiązań biznesowych w gdyńskiej firmie Elektronia S.A. (Infor FMS SunSystems) oraz...
-
CM - Elementy Algebry Abstakcyjnej
Kursy Online{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
Konferencje -
An facile Fortran-95 algorithm to simulate complex instabilities in three-dimensional hyperbolic systems
Dane BadawczeIt 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
Wydawnictwa -
Algebra I
Kursy OnlineKurs 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
Kursy OnlineKurs 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.
PublikacjaPrzedstawiono 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
PublikacjaIn 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
PublikacjaFractals 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
Konferencje -
Formal Power Series and Algebraic Combinatorics
Konferencje -
International Symposium on Symbolic and Algebraic Computation
Konferencje -
WETI - EiT sem.1 - Algebra liniowa 2023/24 (R.Fidytek)
Kursy OnlineALGEBRA LINIOWA - wykład EiT
-
Receiver-side fingerprinting method based on quaternion sandwich product
PublikacjaIn 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
PublikacjaPrzedstawiono 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
PublikacjaThe 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
PublikacjaArtykuł 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)
Kursy OnlineALGEBRA LINIOWA - ćwiczenia ACiR2, ACiR4
-
Algebra I [2023/24]
Kursy OnlineMateriały pomocnicze do wykładu Algebra I na kierunku Matematyka WFTiMS.
-
WETI - EiT sem.1 gr. 1, 7- Algebra liniowa 2023/24 (R.Fidytek)
Kursy OnlineALGEBRA LINIOWA - ćwiczenia EiT1, EiT7
-
Aplikacje i środowiska kontekstowe: Semantyczny model realizacji ludzkich przedsięwzięć
PublikacjaPrzedstawiono 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
Kursy OnlineAlgebra liniowa z geometrią (FIZ1B0061); Fizyka Techniczna (WFTiMS), I stopnia - inżynierskie, stacjonarne.
-
Algebra liniowa 2023
Kursy OnlineAlgebra liniowa z geometrią (FIZ1B0061); Fizyka Techniczna (WFTiMS), I stopnia - inżynierskie, stacjonarne.
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW 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
Kursy OnlineWykł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....