Search
Filters
total: 294
-
Catalog
Search results for: ALGEBRA KONGLOMERATÓW
-
Odwzorowania międzyontologiczne w algebrze konglomeratów
PublicationModularyzacja i integracja ontologii to dziedziny, które w ostatnim okresie są obiektem intensywnego rozwoju. Rozwój nowych idei spowodował konieczność wprowadzenia ich systematyzacji i klasyfikacji. W niniejszym artykule przeanalizowano możliwość wyrażenia odwzorowań i złączeń za pomocą algebry konglomeratów oraz przedyskutowano możliwość wykorzystania roli algebry jako ujednoliconego medium opisu metod integracji i modularyzacji.
-
Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii
PublicationW niniejszym artykule zaprezentowano nowe narzędzie przetwarzania modularnych baz wiedzy - algebrę konglomeratów. Przedstawioną propozycję wyróżnia fakt, że traktujemy moduły bazy wiedzy semantycznie. W artykule zaprezentowano doświadczenia związane z wykorzystaniem algebry (m.in. do dekompozycji bazy wiedzy oraz jako wsparcie procesu wnioskowania) oraz naszkicowano kierunki jej przyszłego rozwoju.
-
S-Pellet jako implementacja zdaniowej reprezentacji modułów algebry konglomeratów
PublicationW artykule przedstawiono zdaniową reprezentację konglomeratów (semantycznych modułów ontologiczych) oraz zaprezentowano system S-Pellet wykorzystujący tę reprezentację do wnioskowania z modularnych baz wiedzy.
-
Algebra modułów ontologicznych
PublicationBardzo ważnym problemem w środowisku Semantic Web jest efektywne korzystanie z rożnych baz wiedzy rozproszonych w Internecie. Niniejsze opracowanie rozpatruje możliwość zaadaptowania do tego celu elastycznego i potężnego aparatu, jakim jest algebra relacji. W tym celu przedstawiono różnice i podobieństwa między bazami danych i bazami wiedzy oraz leżącymi u ich podstaw modelami odwzorowywania dziedziny problemu. Zaproponowana została...
-
Algebra of ontology modules for semantic agents
PublicationW środowisku Sieci Semantycznej problem precyzyjnego manipulowania jednostkami wiedzy nabiera szczególnego znaczenia. W tej publikacji dyskutujemy możliwość zaadaptowania do tego celu elastycznego aparatu algebry relacyjnej. Na bazie dysksji szkicujemy pewną szczególną analogię pomiędzy bazami danych a bazami wiedzy i używamy tej analogii do wprowadzenia algebry modułów semantycznych.
-
Geometric Algebra Model of Distributed Representations
PublicationFormalism based on GA is an alternative to distributed representation models developed so far-Smolensky's tensor product, Holographic Reduced Representations (HRR) and Binary Spatter Code (BSC). Convolutions are replaced by geometric products, interpretable in terms of geometry which seems to be the most natural language for visualization of higher concepts. This paper recalls the main ideas behind the GA model and investigates...
-
Intelekt jako konglomerat przemian jakościowych
PublicationW opracowaniu wyspecyfikowano elementy składowe intelektu i sprzężonego z nim światopoglądu. Wylansowano pogląd, że są one poznawczymi i skutkowymi efektami przemian jakościowych w umyśle człowieka.
-
A Semantic Algebra for Modularized Description Logics Knowledge Bases
PublicationPublikacja wprowadza pojęcia modularyzacji ontologii opartej na tzw. modułach semantycznych (s-modułach) oraz algebry s-modułów. W pracy zawarto szereg twierdzeń opisujących właściwości algebry, jej związku z klasą algebr cylindrycznych oraz przedyskutowano możliwości zastosowania prezentowanych idei.
-
Distributed Representations Based on Geometric Algebra: the Continuous Model
PublicationAuthors revise the concept of a distributed representation of data as well as two previously developed models: Holographic Reduced Representation (HRR) and Binary Spatter Codes (BSC). A Geometric Analogue (GAc - ''c'' stands for continuous as opposed to its discrete version) of HRR is introduced - it employs role-filler binding based on geometric products. Atomic objects are real-valued vectors in n-dimensional Euclidean space...
-
COMMUNICATIONS IN ALGEBRA
Journals -
Algebra and Logic
Journals -
ALGEBRA COLLOQUIUM
Journals -
ALGEBRA UNIVERSALIS
Journals -
JOURNAL OF ALGEBRA
Journals -
Absorbing Boundary Conditions Derived Based on Pauli Matrices Algebra
PublicationIn this letter, we demonstrate that a set of absorbing boundary conditions (ABCs) for numerical simulations of waves, proposed originally by Engquist and Majda and later generalized by Trefethen and Halpern, can alternatively be derived with the use of Pauli matrices algebra. Hence a novel approach to the derivation of one-way wave equations in electromagnetics is proposed. That is, the classical wave equation can be factorized...
-
On differential-algebraic problems
PublicationW pracy podano warunki dostateczne na istnienie ekstremalnych lubkwazi rozwiązań dla problemów różniczkowo-algebraicznych z nieliniowymi warunkami brzegowymi. Problem istnienia jednego rozwiązania w/w zagadnień był również dyskutowany.
-
ALGEBRA AND DISCRETE MATHEMATICS
Journals -
Journal of Commutative Algebra
Journals -
Journal of Combinatorial Algebra
Journals -
Algebra & Number Theory
Journals -
LINEAR & MULTILINEAR ALGEBRA
Journals -
Direct estimation of elements of algebra of quantum states and entanglement detection via linear contraction.
PublicationWykazano możliwość obliczenia elementów algebry generowanej przez macierze bez uprzedniej rekonstrukcji stanu. Ponadto wykazano, że pewne testy separowalności oparte o liniowe operacje zwężające można przeprowadzić bez uprzedniej rekonstrukcji badanych stanów.
-
Differential-algebraic systems with maxima
PublicationMetoda numeryczno-analityczna została zastosowana do układów równań różniczkowo-algebraicznych z operatorem maximum. Zakładając warunek Lipschitza na funkcje występujące w zagadnieniu pokazano, że ciąg iteracji prostych jest zbieżny do rozwiązania zagadnienia pomocniczego. Podano warunki dostateczne na istnienie rozwiązania problemu wyjściowego. Iteracje Seidla też były przedmiotem badań. W ostatniej części pracy był dyskutowany...
-
Fuzzy differential-algebraic systems
PublicationProblem istnienia i jednoznaczności rozwiązań oraz ciągła zależność jest dyskutowana. Powyższe rezultaty zostały otrzymane zakładając m.in. warunek Perrona oraz stosując metodę porównawczą. Przypadek liniowy warunku Perrona jest też badany.
-
The Algorithm of Modelling and Analysis of Latent Semantic Relations: Linear Algebra vs. Probabilistic Topic Models
PublicationThis paper presents the algorithm of modelling and analysis of Latent Semantic Relations inside the argumentative type of documents collection. The novelty of the algorithm consists in using a systematic approach: in the combination of the probabilistic Latent Dirichlet Allocation (LDA) and Linear Algebra based Latent Semantic Analysis (LSA) methods; in considering each document as a complex of topics, defined on the basis of separate...
-
Beitrage zur Algebra und Geometrie-Contributions to Algebra and Geometry
Journals -
Experiments on Preserving Pieces of Information in a Given Order in Holographic Reduced Representations and the Continuous Geometric Algebra Model
PublicationGeometric Analogues of Holographic Reduced Representations (GAc, which is the continuous version of the previously developed discrete GA model) employ role-filler binding based on geometric products.Atomic objects are real-valued vectors in n-dimensional Euclidean space and complex statements belong to a hierarchy of multivectors. The property of GAc and HRR studied here is the ability to store pieces of information in a given...
-
Electronic Journal of Linear Algebra
Journals -
ACM Communications in Computer Algebra
Journals -
International Electronic Journal of Algebra
Journals -
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
Journals -
Numerical Algebra Control and Optimization
Journals -
Journal of Algebra and Applied Mathematics
Journals -
JOURNAL OF PURE AND APPLIED ALGEBRA
Journals -
Journal of Algebra and Related Topics
Journals -
JOURNAL OF ALGEBRA AND ITS APPLICATIONS
Journals -
Topological Algebra and its Applications
Journals -
NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS
Journals -
Numerical-analytic methods for differential-algebraic systems
PublicationMetodę numeryczno-analityczną połączoną z metodą porównawczą zastosowano do układów równań różniczkowo-algebraicznych z linowymi warunkami brzegowymi otrzymując warunki dostateczne na istnienie rozwiązania. O prawych stronach zagadnienia zakładano warunek Lipschitza. Otrzymano oszacowania błędów. Problem z odchylonymi argumentami był również przedmiotem rozważań tej pracy.
-
Differential-algebraic systems with initial time difference
PublicationO funkcjach występujących w zagadnieniu zakładano m.in. warunek typu Perrona uzyskując pewne wyniki porównawcze dla zagadnień różniczkowo-algebraicznych startujących z różnych punktów początkowych. Wyniki porównawcze uzyskano również wykorzystując odpowiednią funkcję typu Lapunova. Sformułowane zostały warunki dostateczne na to aby rozwiązanie było stabilne.
-
ALGEBRAS AND REPRESENTATION THEORY
Journals -
Conference on Algebra and Coalgebra in Computer Science
Conferences -
On the convergence of iterative methods for general differential-algebraic systems.
PublicationW pracy badane jest istnienie i jednoznacznoSC rozwiązań dla ogólnej klasy układów równań całkowo-algebraicznych i różniczkowo-algebraicznych oraz zbieżność różnych metod iteracyjnych włączając metody typu ''waveform relaxation''. Podane są warunki, spełnienie których gwarantuje istnienie rozwiązań w/w równań oraz zbieżność badanych procesów iteracyjnych.
-
Quadrtic convergence of monotone iterations of differential-algebraic equations
PublicationZastosowano tu metodę quazilinearyzacji do równań różniczkowo-algebraicznych z warunkiem początkowym. Pokazano, że odpowiednie iteracje monotoniczne są zbieżne do jedynego rozwiązania.
-
Two-spinors, oscillator algebras, and qubits: aspects of manifestly covariant approach to relativistic quantum information
PublicationThe first part of the paper reviews applications of 2-spinor methods to relativistic qubits (analogies between tetrads in Minkowski space and 2-qubit states, qubits defined by means of null directions and their role for elimination of the Peres-Scudo-Terno phenomenon, advantages and disadvantages of relativistic polarization operators defined by the Pauli-Lubanski vector, manifestly covariant approach to unitary representations...
-
Algebraic Geometry
Journals -
Algebraic Combinatorics
Journals -
Four-point boundary-value problems for differential-algebraic systems
PublicationBadane są czteropunktowe problemy brzegowe dla układów równań różniczkowo-algebraicznych. Stosując metodę iteracji monotonicznych, podano warunki dostateczne na istnienie rozwiązań (jednego lub ekstremalnych) takich problemów. Podano przykład ilustrujacy otrzymane wyniki teoretyczne.
-
Algebraic model of continuous time Gm-LC filters and applications.
PublicationW pracy zaprezentowano model algebraiczny filtrów Gm-LC czasu ciągłego i jego wybrane zastosowania. Zaproponowany model obejmuje struktury pracujące zarówno w trybie napięciowym jak i prądowym. Użyteczność opracowanego modelu potwierdzono na przykładzie syntezy eliptycznego filtru Gm-LC rzędu nieparzystego.
-
Quadratic convergence of monotone iterations to systems of differential-algebraic equations
PublicationZastosowano tu metodę dolnych i górnych rozwiązań do skonstruowania monotonicznych ciągów, które są zbieżne kwadratowo do jedynego rozwiązania układu równań różniczkowo-algebraicznych z warunkiem początkowym.