Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 11

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
This paper describes a method for geolocalized information retrieval from natural language text and its interpretation by assigning it geographic coordinates. Proof-of-concept implementation is discussed, along with a geolocalized dictionary stored in a PostGIS/PostgreSQL spatial relational database. The discussed research focuses on the strongly inflectional Polish language; hence, additional complexity had to be taken into account. The presented method has been evaluated with the use of diverse metrics.
EN
In the paper the duality of the the notions of (higher) hypergraph and (higher) partition is shown. Both higher level hypergraphs and higher partitions are characterized algebr aically as left and right regular bands.
PL
W komunikacie opisano bazujące na teorii grafów uogólnienie pojęcia systemu Pauna.
EN
In the paper a graph-based generalization of Paun's systems has been described.
EN
In the paper a generalization of the classical (see [1]) notion of hypergraphs is described and a topological presentation of them is presented. It is shown that a counterpart of the well known notion of directed graph may be used as a model of von Bertalanffy's systems.
PL
W pracy opisano pewne uogólnienie klasycznego pojęcia hipergrafu (por. [1]). Pokazano również, że pewien analogon dobrze znanego pojęcia grafu skierowanego może być używany jako model systemów von Bertalanffy-ego.
PL
W pracy dyskutowane są związki pomiędzy algorytmiczną a dialektyczną matematyką.
EN
In the paper a relation between the algoritmic and dialectic mathematics is discussed.
6
Content available remote Petri nets as bitopological spaces
EN
In the paper a topological presentation of Petri nets has been presented. The presentation is based on a closure operation defined for an arbitrary transitive and dense binary relation. Such relations lead to a natural definition of Petri nets as a special bitopological spaces. In the paper some elementare properties of such spaces-the counter parts of some properties of Petri nets-are described. The paper may be seen as a generalization of [3].
7
Content available remote On a topological presentation of graphs
EN
In the paper a bitopological presentation of graphs has been described.
8
Content available remote Zarządzanie a programowanie - propozycja dydaktyczna
PL
Zarządzanie i matematyczne podstawy informatyki mają wiele cech wspólnych. W pracy wskazujemy na użyteczność programistycznego myślenia w zarządzaniu i proponujemy pewien sposób kształcenia takiego myślenia.
EN
Management and mathematical basis of computer science have some common features. In the paper we have pointed at utility of programmistic thinking in management and we have proposed some kind of educate such thinking.
9
Content available remote Próba formalizacji opisu transformacji systemów gospodarczych i prawnych
PL
W pracy zaproponowano modelowanie systemów gospodarczych i prawnych przez hipergrafy, a transformacji tych systemów przez tzw. bisymulacje. Podejście to pozwala do opisu używać dobrze rozpoznanych metod algebry.
EN
In the paper a kind of modeling of economical and legal systems by means of hypergraphs and bisimulations is proposed. The approach allows for using of well known algebraic methods for such a description of these systems and their transformations.
10
Content available remote Sieci Petriego jako narzędzie opisu systemów dynamicznych.
PL
Opisano podstawowe pojęcia związane z pewnym typem matematycznych modeli systemów współbieżnych. Są to modele oparte na teorii grafów. Omówiono pewne ogólne zasady budowy takich modeli i zdefiniowano dokładniej jeden z nich - sieci Petriego. Próbowano zastosować sieć Petriego jako narzędzie matematycznego modelowania systemów współbieżnych.
EN
In the paper, some basic notions connected with some type of mathematical models of concurrent systems are described. The methods are based on graph theory. Some general principles of a construction of such a models are given and a special type of them , i.e., Petri nets, is defined. This is the first part of the paper though of as an attempt to agitate for using Petri nets as a tool of mathematical modeling of concurrent systems.
11
Content available remote Petri nets and power graphs - comparison of two concurrence-models
EN
In the paper some relation
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.