Wyszukiwarka
Filtry
wszystkich: 1223
-
Katalog
- Publikacje 1090 wyników po odfiltrowaniu
- Czasopisma 9 wyników po odfiltrowaniu
- Konferencje 12 wyników po odfiltrowaniu
- Osoby 18 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Kursy Online 15 wyników po odfiltrowaniu
- Wydarzenia 1 wyników po odfiltrowaniu
- Dane Badawcze 74 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MAPPINGS VERIFICATION
-
Game with a Purpose for Mappings Verification
PublikacjaMappings 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...
-
SEPARATION AND PURIFICATION TECHNOLOGY
Czasopisma -
Game with a Purpose for Verification of Mappings Between Wikipedia and WordNet
PublikacjaThe 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...
-
PROTEIN EXPRESSION AND PURIFICATION
Czasopisma -
Automatically created and partially veriffied Wikipedia - WordNet mappings
Dane BadawczeMapping 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...
-
BLOOD PURIFICATION
Czasopisma -
On homotopies of morphisms and admissible mappings
PublikacjaThe 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.
-
Biometric identity verification
PublikacjaThis chapter discusses methods which are capable of protecting automatic speaker verification systems (ASV) from playback attacks. Additionally, it presents a new approach, which uses computer vision techniques, such as the texture feature extraction based on Local Ternary Patterns (LTP), to identify spoofed recordings. We show that in this case training the system with large amounts of spectrogram patches may be difficult, and...
-
Human Brain Mapping
Czasopisma -
Mapping and Image Science
Czasopisma -
SOFTWARE TESTING VERIFICATION & RELIABILITY
Czasopisma -
Subspace Algorithms for Face Verification
PublikacjaW rzeczywistych zastosowaniach problem weryfikacji wydaje się ważniejszy od klasyfikacji. Na ogół dysponujemy jedynie niewielkim zbiorem obrazów uczących reprezentujących daną osobę, a naszym zadaniem jest podjęcie decyzji odnośnie tego, czy nowo pozyskana fotografia jest do nich wystarczająco podobna - bez użycia oddzielnego zbioru przykładów negatywnych. W takim przypadku uzasadnione wydaje się zastosowanie metody podprzestrzeni,...
-
On the Nielsen fixed point theory for multivalued mappings
Publikacja -
Selections and approximations of convex-valued equivariant mappings
PublikacjaUdowodniono 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.
-
Experimental verification of MWO bearing machine
PublikacjaPrzedstawiono wyniki weryfikacji doświadczalnej nowego stanowiska przeznaczonego do badań wytrzymałości zmęczeniowej warstwy powierzchniowej łożysk ślizgowych. Badano dwu- i trójwarstwowe cienkościenne panwie ślizgowe. Warstwa nośna wykonana była ze stopu CuPb30. W wariancie trójwarstwowym występowała powłoka ze stopu PbSnCu. Przedstawiono przykłady zaobserwowanych pęknięć zmęczeniowych. Maszyna MWO okazała się w pełni przydatna...
-
Identity verification based on mouse movements
PublikacjaW pracy przedstawiono ideę systemu zabezpieczeń biometrycznych opartego na sposobie poruszania myszą. Pomiary odczytywane z myszy są przykładem cech behawioralnych, które w przeciwieństwie do fizjologicznych są bardzo niestabilne. Opisano zbiór cech, które można wydobyć z danych pochodzących z myszy. Przeprowadzono eksperymenty dla danych zebranych od trzynastu użytkowników. Zaprezentowano wyniki uwierzytelniania za pomocą metody...
-
Towards New Mappings between Emotion Representation Models
PublikacjaThere 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,...
-
Dynamics of Field Line Mappings in Magnetic Flux Tubes
PublikacjaWe 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...
-
Journal of Verification, Validation and Uncertainty Quantification
Czasopisma -
Verification of the fit to user profiles for UML tools
PublikacjaDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Accoustic verification of onomatopoeic sets in contrastive approach
PublikacjaPraca relacjonuje efekty prób wykorzystania technik cyfrowego przetwarzania sygnału mowy dla zaspokojenia specyficznych potrzeb nauk humanistycznych, które, ograniczając się wyłącznie do tra-dycyjnie stosowanego warsztatu badawczego, napotykają współcześnie na bariery znacznie blokują-ce oczekiwany postęp. Omówiono proces badawczy, który służyć ma językoznawcom dokonującym porównań wyrażeń dźwiękonaśladowczych odnajdywanych w odmiennych...
-
Verification of agent system for it project management support
PublikacjaThis article is a continuation of article series telling about research about possibility of using agent system to information technology evaluation. Following article presents full conception of exploiting agent system and shows how it can support some managers works, especially in taking correct management method and information tool for project management. In this article the agent system that based on knowledge and can process...
-
Acoustic verification on onomatopoeic sets in contrastive approach
Publikacja -
Acoustic verification on onomatopoeic sets in contrastive approach
Publikacja -
Spectroscopic verification of ionic matrices for MALDI analysis
Publikacja -
Development and Verification of the Diagnostic Model of the Sieving Screen
Publikacja -
A method of verification diagnostics for functional safety analysis
PublikacjaProblemy analizy bezpieczeństwa zostały zapoczątkowane w lotnictwie i energetyce jądrowej, a obecnie wprowadzane są szeroko do różnych gałęzi przemysłu, jak przemysł chemiczny, mechaniczny, etrochemiczny, spożywczy, itp. W analizie bezpieczeństwa funkcjonalnego względem przyjętego poziomu SIL wyznacza się prawdopodobieństwa nie wypełnienia określonej funkcji na żądanie (PDF). Do tego celu stosuje się różne metody analityczne, wykorzystuje...
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublikacjaThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
A handwritten signature verification method employing a tablet
PublikacjaA signature verification system based on static features and time-domain functions of signals obtained using a tablet has been presented in the paper. The signature verification method, based mainly on dynamic time warping coupled with some signature image features, has been described. The FRR measures reflecting the method's efficiency have been evaluated for verification attempts performed directly after obtaining model signatures...
-
Testbed for development and verification of hybrid localization systems
PublikacjaIn this paper a testbed for development and verification of hybrid localization systems is presented. It allows for systematic analysis of hybrid localization methods and speed up the development of new schemes. The proposed testbed platform is composed of subsystem for sequential data collection and testing infrastructure that can be used for investigating the localization mechanisms in controllable environment.
-
Integrity level verification for safety-related functions
PublikacjaThis article describes methods for safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given international standards IEC 61508 and IEC 61511. These functions are to be realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account...
-
Verification of baffle factor for straight pipe flow
PublikacjaDuring the water disinfection devices designing, it is often assumed that the baffle factor for a straight pipe reactors is equal to one. It would be possible only for the plug flow, which is a simplified model of the flow and does not appear in real situations. The paper contains an equation which enables calculation of the real value of the baffle factor for the pipe flow.
-
Elgold intermediate: verified by verification team
Dane BadawczeThe dataset contains the texts from Elgold intermediate: annotated raw additionaly verified by the five-person verification team. arly 25% of the mentions were corrected in some aspect.
-
Photocatalytic Air Purification
PublikacjaW publikacji zostały omówione mechanizmy i wpływ różnych czynników na fotokatalityczne usuwanie zanieczyszczeń powietrza, takich jak lotne związki organiczne (VOC), NOx i SO2. Został dokonany przegląd artykułów i patentów dotyczących przygotowywania fotokatalizatorów i technik ich osadzania na nośnikach. Zaprezentowane zostały przykłady fotoreaktorów przystosowanych do pracy w fazie gazowej. Część opisanych reaktorów może być użyta...
-
Evaluating aerial laser scanning for seafloor mapping automation Shallow seabed mapping based on airborne Lidar bathymetry
PublikacjaThis article presents a novel methodological approach to understand and assess the suitability of ALB for the automatic classification and mapping of the seabed. ALB allows recording of the depth below the Secchi disk.
-
Verification of multiband system for non-contact emissivity measurements
PublikacjaW pracy przeprowadzono weryfikację wielopasmowej pasywnej metody pomiaru emisyjności obiektu na drodze eksperymentalnej. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
Identity verification using complex representations of handwritten signature
PublikacjaThis paper is devoted to handwritten signature verification using the cross-correlation approach (adopted by the authors from telecommunications) and dynamic time warping. The following invariants of the handwritten signature: the net signature, the instantaneous complex frequency and the complex cepstrum are analyzed. The problem of setting the threshold for deciding whether the current signature is authentic or forged is discussed....
-
Face detection algorithms evaluation for the bank client verification
PublikacjaResults of investigation of face detection algorithms in the video sequences are presented in the paper. The recordings were made with a miniature industrial USB camera in real conditions met in three bank operating rooms. The aim of the experiments was to check the practical usability of the face detection method in the biometric bank client verification system. The main assumption was to provide as much as possible user interaction...
-
Emotion Monitoring – Verification of Physiological Characteristics Measurement Procedures
PublikacjaThis paper concerns measurement procedures on an emotion monitoring stand designed for tracking human emotions in the Human-Computer Interaction with physiological characteristics. The paper addresses the key problem of physiological measurements being disturbed by a motion typical for human-computer interaction such as keyboard typing or mouse movements. An original experiment...
-
On the necessity of experimental verification of numerical results in biomedical applications
PublikacjaPorous structures made of metal or biopolymers with a structure similar in shape and mechanical properties to human bone can be easily produced by stereolitography techniques, e.g. selective laser melting (SLM). Numerical techniques, like finite element method (FEM) have great potential in testing new, even the most sophisticated designs, according to their mechanical properties, i.e. strength or stiffness. However, due to different...
-
Experimental Verification of Storm Sewer Transient Flow Simulation
PublikacjaThe paper focuses mainly on laboratory investigations of transient and transcritical flow in a single pipe of a sewer system. The aim of this paper is to present a comparison between pressure values calculated by an improved McCormack scheme and those measured at the hydraulic laboratory of the Gdansk University of Technology, which were observed inside a pipe in an experiment for water flow with pressurization. The analysis proves...
-
Stress analysis of the bridge hangers in terms of the fatigue verification
PublikacjaThe paper presents the results of numerical stress analysis of the bridge rod hangers. Two types of hangers were taken into account, i.e. the bolted hanger and the welded hanger. A detailed FEM shell models of the connection area between the hanger and the bridge span have been developed. Local stress concentration effects have been investigated in terms of fatigue verification.
-
In Situ Verification of Numerical Model of Water Hammer in Slurries
PublikacjaThis paper presents a numerical model of transient flow in a pressure slurry pipeline network with verification based on in situ measurements. The model, primarily verified in laboratory conditions, has been extended and applied to the case of a large and complex slurry pipeline network in Poland. In the model, the equivalent density concept was applied. In situ experiments were performed for various unsteady flow episodes, caused by...
-
Fixed point theorems for weakly commuting and compatible multi-valued mappings.
PublikacjaW 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.
-
Modeling of lapping plate wear and conditioning in single-sided lapping
PublikacjaIn order to achieve higher quality on worked surfaces with lower roughness, very high accuracy of shape and dimensions it is crucial to improve conventional finishing technologies and to develop new working principles. Single-sided lapping is one of the most effective planarization technologies and it is determined by a number of factors and boundary conditions. The most significant influence over a dimensional and profile accuracy,...
-
Zero-Pole Space Mapping for CAD of Filters
PublikacjaIn this paper, we propose a new space-mapping technique tailored to the CAD of microwave filters. The goal of space mapping is to achieve a satisfactory design with the minimal number of fine model evaluations. In our approach, the filter is represented by a rational function. To quickly align the coarse and fine models, and to speed up the direct optimization of the coarse model, we propose matching the zeros and poles of a rational...
-
Analysis of Mapping within S-module Framework
PublikacjaW artykule zaprezentowano wyniki prac na podejściem konglomeratowym. Podejście to polega na semantycznym opisywaniu zawartości modułów ontologicznych z wykorzystaniem zdefiniowanej algebry modułów. Głównym osiągnięciem zaprezentowanym w pracy jest opis procesu przekształcania bazy wiedzy DDL w zbiór konglomeratów. Jako że te dwie metody prezentują różne podejścia do modularyzacja, analiza procesu stanowi podstawę do dyskusji na...
-
TIME SERIES DATA FOR 3D FLOOD MAPPING
PublikacjaThanks to the ability to collect information about large areas and with high frequency in time areas threatened by floods can be closely monitored. The effects of flooding are socio-economic losses. In order to reduce those losses, actions related to the determination of building zones are taken. Moreover, the conditions to be met by facilities approved for implementation in such areas are determined. Therefore, satellite data...
-
Reuse of Magnesol® for Purification of Biodiesel
Publikacja