Search
Filters
total: 21
Search results for: mappings
-
Game with a Purpose for Mappings Verification
PublicationMappings verification is a laborious task. The paper presents a Game with a Purpose based system for verification of automatically generated mappings. General description of idea standing behind the games with the purpose is given. Description of TGame system, a 2D platform mobile game with verification process included in the gameplay, is provided. Additional mechanisms for anti-cheating, increasing player’s motivation and gathering...
-
On homotopies of morphisms and admissible mappings
PublicationThe notion of homotopy in the category of morphisms introduced by G´orniewicz and Granas is proved to be equivalence relation which was not clear for years. Some simple properties are proved and a coincidence point index is described.
-
On the Nielsen fixed point theory for multivalued mappings
Publication -
Selections and approximations of convex-valued equivariant mappings
PublicationUdowodniono szereg twierdzeń o współzmienniczych selekcjach i aproksymacjach ciągłych, mierzalnych i typu Caratheodory'ego dla odwzorowań G-współzmienniczych o wartościach wypukłych, gdzie G jest grupą zwartą Liego. Tw. typu Michaela, Celliny, Browdera, Kuratowskiego-Ryll-Nardzewskiego, Castaing itd.
-
Towards New Mappings between Emotion Representation Models
PublicationThere are several models for representing emotions in affect-aware applications, and available emotion recognition solutions provide results using diverse emotion models. As multimodal fusion is beneficial in terms of both accuracy and reliability of emotion recognition, one of the challenges is mapping between the models of affect representation. This paper addresses this issue by: proposing a procedure to elaborate new mappings,...
-
Game with a Purpose for Verification of Mappings Between Wikipedia and WordNet
PublicationThe paper presents a Game with a Purpose for verification of automatically generated mappings focusing on mappings between WordNet synsets and Wikipedia articles. General description of idea standing behind the games with the purpose is given. Description of TGame system, a 2D platform mobile game with verification process included in the game-play, is provided. Additional mechanisms for anti-cheating, increasing player’s motivation...
-
Dynamics of Field Line Mappings in Magnetic Flux Tubes
PublicationWe study the topological constraints on the dynamics of magnetic field lines in flux tubes. Our approach is based on the application of the topological invariant: fixed point index. We consider periodic flux tubes and find various restrictions on the field lines that come from the sequence of fixed point indices of iterations. We also analyze the case of a tube with a cylindrical obstacle, deducing some special dynamical properties...
-
Fixed point theorems for weakly commuting and compatible multi-valued mappings.
PublicationW pracy podano twierdzenia o wspólnych punktach stałych czwórki odwzorowań: dwóch jednowartościowych T i S oraz dwóch wielowartościowych F i G, spełniających nieliniowy uogólniony warunek kontrakcyjny, przy pewnych założeniach dotyczących uogólnionej komutatywności T,S i F,G. W pracy zamieszczono przykłady ilustrujące udowodnione twierdzenia.
-
Automatically created and partially veriffied Wikipedia - WordNet mappings
Open Research DataMapping between Wikipedia articles and WordNet synsets. The mappings between Wikipedia articles and WordNet synsets were obtained automatically using 4 algorithms of data processing. The automatically generated mappings were than a subject of verification by a group of volunteers using crowdsourcing approach through so called Games with a Purpose. The...
-
Assessing Word Difficulty for Quiz-Like Game
PublicationMappings verification is a laborious task. Our research aims at providing a framework for manual verification of mappings using crowdsourcing approach. For this purpose we plan on implementing a quiz like game. For this purpose the mappings have to be evaluated in terms of difficulty to better present texts in respect of game levels. In this paper we present an algorithm for assessing word difficulty. Three approaches...
-
Crowdsourcing-Based Evaluation of Automatic References Between WordNet and Wikipedia
PublicationThe paper presents an approach to build references (also called mappings) between WordNet and Wikipedia. We propose four algorithms used for automatic construction of the references. Then, based on an aggregation algorithm, we produce an initial set of mappings that has been evaluated in a cooperative way. For that purpose, we implement a system for the distribution of evaluation tasks, that have been solved by the user community....
-
Generalized Gradient Equivariant Multivalued Maps, Approximation and Degree
PublicationConsider the Euclidean space Rn with the orthogonal action of a compact Lie group G. We prove that a locally Lipschitz G-invariant mapping f from Rn to R can be uniformly approximated by G-invariant smooth mappings g in such a way that the gradient of g is a graph approximation of Clarke’s generalized gradient of f . This result enables a proper development of equivariant gradient degree theory for a class of set-valued gradient...
-
Collaborative approach to WordNet and Wikipedia integration
PublicationIn this article we present a collaborative approach tocreating mappings between WordNet and Wikipedia. Wikipediaarticles have been first matched with WordNet synsets in anautomatic way. Then such associations have been evaluated andcomplemented in a collaborative way using a web application.We describe algorithms used for creating automatic mappingsas well as a system for their collaborative development. Theoutcome enables further...
-
Spike patterns and chaos in a map-based neuron model
PublicationThe work studies the well-known map-based model of neuronal dynamics introduced in 2007 by Courbage, Nekorkin and Vdovin, important due to various medical applications. We also review and extend some of the existing results concerning β-transformations and (expanding) Lorenz mappings. Then we apply them for deducing important properties of spike-trains generated by the CNV model and explain their implications for neuron behaviour....
-
Increasing the Efficiency of Ontology Alignment by Tracking Changes in Ontology Evolution
PublicationIn this paper we present a development of our ontology alignment framework based on varying semantics of attributes. Emphasising the analysis of explicitly given descriptions of how attributes change meanings they entail while being included within different concepts have been proved useful. Moreover, we claim that it is consistent with the intuitive way how people see the real world and how they find similarities and correspondences...
-
Analysis of dynamics of a map-based neuron model via Lorenz maps
PublicationModeling nerve cells can facilitate formulating hypotheses about their real behavior and improve understanding of their functioning. In this paper, we study a discrete neuron model introduced by Courbage et al. [Chaos 17, 043109 (2007)], where the originally piecewise linear function defining voltage dynamics is replaced by a cubic polynomial, with an additional parameter responsible for varying the slope. Showing that on a large...
-
Toolchain Modeling: Comprehensive Engineering Plans for Industry 4.0
PublicationThe fourth industrial revolution (Industry 4.0) elevates the complexity and autonomy of industrial systems and engineering environments to levels not seen before. The novel challenges involve not only the software running on the partaking autonomous devices, but also architectural considerations and the technological infrastructure around the entire engineering process. In this paper, complementing the trends in industrial systems...
-
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....
-
Enhancing Availability for Critical Services
PublicationTraditional approaches to provide classes of resilient service take the physical network availability as an input and then deploy redundancy and restoration techniques at various layers, often without full knowledge of mappings between layers. This makes it hard (and often inefficient) to ensure the high availability required by critical services which are typically a small fraction of the total traffic. Here, the innovative technique...
-
The influence of frequency separation on imaging properties in DFEIT
PublicationW artykule przedstawiono wpływ wyboru składowych częstotliwościowych dla różnicowej tomografii impedancyjnej na wynik i własności obrazowania w dwuczęstotliwościowej różnicowej tomografii impedancyjnej.A Dual Frequency EIT is an extension of a traditional EIT that uses two sinusoidal signals for imaging. Appropriate selection of signals' frequency allows to achieve reasonable contrast of imaged structure. It has already been shown...
-
Concurrent Video Denoising and Deblurring for Dynamic Scenes
PublicationDynamic scene video deblurring is a challenging task due to the spatially variant blur inflicted by independently moving objects and camera shakes. Recent deep learning works bypass the ill-posedness of explicitly deriving the blur kernel by learning pixel-to-pixel mappings, which is commonly enhanced by larger region awareness. This is a difficult yet simplified scenario because noise is neglected when it is omnipresent in a wide...