The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The paper is concerned with modelling object-oriented distributed computational systems. Systems are modeled by specifying their states and processes. Processes of a system are defined as activities in a universe of objects, each object with a set of possible states, each activity changing states of some objects and establishing or destroying relations among objects. Partial operations on processes...
In this report we propose a new approach to integration of distributed heterogeneous resources on the basis of a canonical object-oriented database model, a query language and updateable database views. Views are used as wrappers/mediators on top of local servers and as a data integration facility for global applications. Views support location, implementation and replication transparency. Because...
The claim is that blind persons can perceive objects like door, pillar, ditch, elevator, passage, room, hali, building, Street, etc,, haying only mobile cellular phones. The primary goal of all positioning systems is to determine the user's position as precisely as possible, whereas the main purpose of our project is to provide a blind person with the ability to locate an object and then to perceive...
Non-deterministic matrices (Nmatrices) are multiple-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. We consider two different types of semantics which are based on Nmatrices: the dynamic one and the static one (the latter is new here). We use the Rasiowa-Sikorski (R-S) decomposition methodology...
W niniejszej pracy analizowany jest model sieci idiotypowej zaproponowany w artykule autorstwa Farmer et al. w 1986 roku i wykorzystujący ciągi binarne do reprezentacji przeciwciał i antygenów. Jak pisali de Castro i Timmis o tej pracy w swojej książce w 2002 roku: "Ich (tj. Farmera i pozostałych autorów) prace mają wyjątkowe znaczenie, ponieważ stanowią pierwsze podejście do połączenia w całość...
In this paper we discuss three new characterizations of n-dimensional Archimedean ąuasi-copulas. The first (differential) characterization is a generalization of the analogous fact for 2-dimensional Archimedean copulas. The second (asymptotic) characterization concerns a representation of Archimedean ąuasi-copulas as the limit of an almost uniformly convergent sequence of functions which depend on...
Recursive queries arę reąuired for many tasks of database applications. Among them we can mention Bill-Of-Material (BOM), various kinds of networks (transportation, telecommunication, etc.), processing semi-structured data (XML, RDF), and so on. The support for recursive queries in current query languages is limited and lacks of theoretical foundations. In particular, this concerns corresponding extensions...
Niniejszy raport stanowi omówienie Teorii Reprezentacji Dyskursu (w skrócie DRT) w postaci przedstawionej przez Kampa i Reylego (1993). Prezentowana jest zarówno podstawowa wersja teorii, jak i dwa jej rozszerzenia: jedno dotyczące reprezentacji liczby mnogiej (znaczniki zbiorowe) i rozszerzonych kwantyfikatorów (DRT_Pl), drugie kwestii związanych z czasem i aspektem (DRT_T). Przedstawiona jest także...
The paper studies the properties of orthomodular posets. The interest comes from the fact, that the set of all regions of a 2-structure (a transi-tion system) is a coherent orthomodular poset. This algebraic structure is gaining the importance in the area of distributed systems. In fact, there is a conjucture about the duality between the category of orthomodular posets and the category of 2-structures...
W pracy wprowadzamy nowe pojęcie "wartości proceduralnych" dla gier kooperacyjnych z wypłatami ubocznymi. Wartości takie są wyznaczone przez procedury podziału krańcowych wkładów graczy pomiędzy nich i graczy już obecnych w koalicji powstającej przy losowym uporządkowaniu graczy. Najprostszą wartościąproceduralną jest wartość Shapleya, otrzymywana przy procedurze, według której każdy gracz...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.