Filters
total: 1609
-
Catalog
- Publications 1396 available results
- Journals 8 available results
- Conferences 12 available results
- Publishing Houses 1 available results
- People 25 available results
- Projects 3 available results
- e-Learning Courses 22 available results
- Events 2 available results
- Open Research Data 140 available results
displaying 1000 best results Help
Search results for: CERTIFICATION SCHEMES
-
Worldwide Hospitality and Tourism Themes
Journals -
Modeling of heat and fluid flow in granular layers using high-order compact schemes and volume penalization method
Publication -
Evaluating conservation tools in Polish grasslands: The occurrence of birds in relation to agri-environment schemes and Natura 2000 areas
Publication -
Performance of extended Lagrangian schemes for molecular dynamics simulations with classical polarizable force fields and density functional theory
PublicationIterative energy minimization with the aim of achieving self-consistency is a common feature of Born-Oppenheimer molecular dynamics (BOMD) and classical molecular dynamics with polarizable force fields. In the former, the electronic degrees of freedom are optimized, while the latter often involves an iterative determination of induced point dipoles. The computational effort of the self-consistency procedure can be reduced by re-using...
-
Measurement Stand and Methodology for Research of the Off-Body and Body-to-Body Radio Channels in WBANs with Different Diversity Schemes
PublicationThe concept of an experimental test bed for system loss and channel impulse response measurements for off-body and body-to-body radio channels in wireless body area networks (WBANs) is fully described. The possible measurement scenarios that may occur in investigation of off-body and body-to-body channels are classified and described in detail. Additionally, an evaluation is provided of the standard and expanded uncertainties of...
-
New hybrid quadrature schemes for weakly singular kernels applied to isogeometric boundary elements for 3D Stokes flow
PublicationThis work proposes four novel hybrid quadrature schemes for the efficient and accurate evaluation of weakly singular boundary integrals (1/r kernel) on arbitrary smooth surfaces. Such integrals appear in boundary element analysis for several partial differential equations including the Stokes equation for viscous flow and the Helmholtz equation for acoustics. The proposed quadrature schemes apply a Duffy transform-based quadrature...
-
Verification of multiband system for non-contact emissivity measurements
PublicationW 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.
-
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...
-
In Situ Verification of Numerical Model of Water Hammer in Slurries
PublicationThis 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...
-
Identity verification using complex representations of handwritten signature
PublicationThis 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....
-
On the necessity of experimental verification of numerical results in biomedical applications
PublicationPorous 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...
-
Emotion Monitoring – Verification of Physiological Characteristics Measurement Procedures
PublicationThis 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...
-
Experimental Verification of Storm Sewer Transient Flow Simulation
PublicationThe 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
PublicationThe 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.
-
Face detection algorithms evaluation for the bank client verification
PublicationResults 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...
-
Facile synthesis of hollow silica spheres with nanoholes
Publication -
A Database Schema for the Analysis of Global Dynamics
Publication -
Implementing SP4CE Learning Rooms concept and AUTODESK online certification in the preparation of a new generation of engineers.
PublicationIn academia, educators do not always cope with rapidly changing technologies. Yet keeping up with new trends is essential to graduates’ success in a competitive job market. In the article, the author will answer the question of how Autodesk University Open Educational Resources and Certiport exams including GMetrix can enhance students’ academic progress and prepare them for future career. The concept of co-operation between Authorized...
-
Experimentally feasible semi-device-independent certification of four-outcome positive-operator-valued measurements
PublicationRecently the quantum information science community devoted a lot of attention to the theoretical and practical aspects of generalized measurements, the formalism of all possible quantum operations leading to acquisition of classical information. On the other hand, due to imperfections present in quantum devices, and limited thrust to them, a trend of formulating quantum information tasks in a semi-device-independent manner emerged....
-
Increased Certification of Semi-device Independent Random Numbers using Many Inputs and More Postprocessing
PublicationQuantum communication with systems of dimension larger than two provides advantages in information processing tasks. Examples include higher rates of key distribution and random number generation. The main disadvantage of using such multi-dimensional quantum systems is the increased complexity of the experimental setup. Here, we analyze a not-so-obvious problem: the relation between randomness certification and computational requirements...
-
Logical Interface for Soft Handover – an effective scheme of handovers in Proxy Mobile IPv6
PublicationMultimedia services are currently commonly available on mobile devices. Due to networks' convergence and migration to all-IP networks, mobility management at network layer is required. Moreover, nowadays it is popular to equip mobile devices with more than one wireless interface. Thus, soft handovers can be implemented, which means that an existing connection is removed after a new one is established. Usage of the Logical Interfaces...
-
LLA : A New Anypath Routing Scheme Providing Long Path Lifetime in VANETs
PublicationVehicular ad-hoc networks (VANETs) are a promising solution to improve the road traffic safety, reduce the environmental pollution, or simply provide the on-board infotainment services. However, these actions are often not possible due to high mobility of vehicles causing frequent failures of VANET links. In this paper, we focus on anypath routing to improve the reliability of multihop VANET communications. In particular, the paper...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublicationWe describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...
-
Relativistic Bennett Brassard cryptographic scheme, relativistic errors,and how to correct them.
PublicationWprowadzono opis polaryzacji liniowej oparty o główne zerowe kierunki transformacji Lorentza. Formalizm ten został zastosowany do problemu eliminacji błędów w kryptografii kwantowej.
-
Dynamics based on six-field theory of shells in the context of energy-conserving scheme
PublicationPraca dotyczy zaproponowanego algorytmu zachowującego energię w całkowaniu równań ruchu powłok sprężystych sformułowanych w ramach teorii sześcioparametrowej. Zawiera podstawowe założenia konieczne do formułowania schematów i podstawowe testy numeryczne. Aproksymacja przestrzenna zagadnienia oparta jest o Metodę Elementów Skończonych zaś aproksymacja w czasie wykorzystuje regułę punktu środkowego. Przykłady analizy dynamicznej...
-
Current rectification in molecular junctions produced by local potential fields
Publication -
Andrzej Czyżewski prof. dr hab. inż.
PeopleProf. zw. dr hab. inż. Andrzej Czyżewski jest absolwentem Wydziału Elektroniki PG (studia magisterskie ukończył w 1982 r.). Pracę doktorską na temat związany z dźwiękiem cyfrowym obronił z wyróżnieniem na Wydziale Elektroniki PG w roku 1987. W 1992 r. przedstawił rozprawę habilitacyjną pt.: „Cyfrowe operacje na sygnałach fonicznych”. Jego kolokwium habilitacyjne zostało przyjęte jednomyślnie w czerwcu 1992 r. w Akademii Górniczo-Hutniczej...
-
Large eddy simulations of wall-bounded flows using a simplified immersed boundary method and high-order compact schemes
Publication -
Optimized Space-Vector Modulation Schemes for Five-Phase Precision Low-Speed Drives with Minimizing the Stator Current Ripple
PublicationOne of the main ways to improve the quality of a precision electric drive is minimization of the stator current pulsations generated by the voltage inverter. The solution of this problem can be achieved by using of multiphase inverters, as well as improving control algorithms. This paper considers the influence of the space-vector modulation algorithm with different switching sequences of basic vectors on the stator current pulsations...
-
Examples of numerical simulations of two-dimensional unsaturated flow with VS2DI code using different interblock conductivity averaging schemes
PublicationFlow in unsaturated porous media is commonly described by the Richards equation. This equation is strongly nonlinear due to interrelationships between water pressure head (negative in unsaturated conditions), water content and hydraulic conductivity. The accuracy of numerical solution of the Richards equation often depends on the method used to estimate average hydraulic conductivity between neighboring nodes or cells of the numerical...
-
Verification of multiple model neural tracking filter with ship's radar
Publication -
Verification of the criteria for evaluation of water and frost resistance of asphalt concrete
PublicationThe paper presents the results of field investigation - condition survey of existing pavements and the results of laboratory tests on water and frost resistance of samples cored from the these pavements. The purpose of testing was to verify the criteria for evaluation of the resistance of asphalt concrete to the action of water and frost by way of comparing the results of field and laboratory tests, followed by evaluation of their...
-
Interpolation of complex dynamic trajectory for hand-written signature verification
PublicationRożważono problem interpolacji trajektorii jedno-grafelowego podpisu odręcznego do rozpoznawania i weryfikacji podpisu złożonego za pomocą tabletu. Przedyskutowano użyteczność interpolacji celem unifikacji podpisu, dla potrzeb porównania aktualnie złożonego podpisu ze wzorcem zapisanym w bazie. Wykorzystano różne reprezentacje trajektorii. Opracowano system decyzyjny wykorzystujący filtr dopasowany. Pracę zilustrowano przykładami...
-
Methods for verification safety integrity level in control and protection systems
PublicationW artukule przedstawiono podstawowe oraz zaawansowane ilościowe metody weryfikacji poziomów nienaruszalności bezpieczeństwa SIL w systemach sterowania i zabezpieczeń. Metody te zawierają analizę wrażliwości i niepewności modeli probabilistycznych tych systemów. Pod uwagę wzięte zostały także uszkodzenia o wspólnej przyczynie. Zaprezentowane zostały wyniki analiz oraz zalety ich stosowania.
-
Harmonics produced by traction substations – computer modelling and experimental verification
PublicationVoltage and current harmonics have a detrimental effect on the components of a power system. Current harmonics may result in the overload and damage to power transformers. Voltage harmonics may result in, for example, damage to capacitor banks used to compensate reactive power. Devices which contribute to both current and voltage distortion include traction rectifiers. This paper presents results of the computer investigation of...
-
Numerical modelling and experimental verification of compressible squeeze film pressure
PublicationThe validity of using the Reynolds equation for compressible squeeze film pressure was tested with computational fluid dynamics (CFD). A squeeze film air bearing was instrumented with pressure sensors and non-contacting displacement probes to provide transient measurements of film thickness and pressure. The film thickness measurements also provided input parameters to the numerical prediction. However, numerical results showed...
-
The dynamic signature verification using population-based vertical partitioning
PublicationThe dynamic signature is an attribute used in behavioral biometrics for verifying the identity of an individual. This attribute, apart from the shape of the signature, also contains information about the dynamics of the signing process described by the signals which tend to change over time. It is possible to process those signals in order to obtain descriptors of the signature characteristic of an individual user. One of the methods...
-
Dynamic hand-written signature verification using a matched filter
PublicationW pracy zaproponowano nowe podejście do weryfikacji dynamicznego podpisu odręcznego. Podpis jest traktowany jako sygnał telekomunikacyjny, który można wykryć i zwerfikować za pomocą odbiornika optymalnego z filtrem dopasowanym. Wymaga to uprzedniej unifikacji i normalizacji parametrów biernych podpisu aktualnego, jak również podpisów zgromadzonych w bazie, celem ułatwienia podejmowania decyzji. Normalizację długości podpisu uzyskano...
-
Pilot Testing of Developed Multimodal Biometric Identity Verification System
PublicationThe bank client identity verification system developed in the course of the IDENT project is presented. The total number of five biometric modalities including: dynamic signature proofing, voice recognition, face image verification, face contour extraction and hand blood vessels distribution comparison have been developed and studied. The experimental data were acquired employing multiple biometric sensors installed at engineered...
-
Handwritten signature verification system employing wireless biometric pen
PublicationThe handwritten signature verification system being a part of the developed multimodal biometric banking stand is presented. The hardware component of the solution is described with a focus on the signature acquisition and on verification procedures. The signature is acquired employing an accelerometer and a gyroscope built-in the biometric pen plus pressure sensors for the assessment of the proper pen grip and then the signature...
-
Evaluation of Face Detection Algorithms for the Bank Client Identity Verification
PublicationResults of investigation of face detection algorithms efficiency in the banking client visual verification system are presented. The video recordings were made in real conditions met in three bank operating outlets employing a miniature industrial USB camera. 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...
-
Performance Analysis of Developed Multimodal Biometric Identity Verification System
PublicationThe bank client identity verification system developed in the course of the IDENT project is presented. The total number of five biometric modalities including: dynamic handwritten signature proofing, voice recognition, face image verification, face contour extraction and hand blood vessels distribution comparison have been developed and studied. The experimental data were acquired employing multiple biometric sensors installed...
-
Optical method for verification of homogeneity of phantoms for calibration of magnetic resonance
PublicationThe primary purpose of this study was to develop a laboratory photonic set-up for characterisation of homogeneity of gel phantoms for calibration of magnetic resonance. In this system, optical coherence tomography allows the detection of micro- and macroscopic heterogeneities of a structure. The set-up was used to perform measurements of agar and agar-carrageenan gels, which are the basis for more complex phantoms for magnetic...
-
Experimental Verification of the CFD Model of the Squeeze Film Lifting Effect
PublicationAbstract: The presented study shows the results of the research into the squeeze film levitation phenomena. The system introduced in the investigation is composed of a vibrating surface, air squeeze film, and the surface of the body freely suspended over the film. The use of the CFD (Computational Fluid Dynamics) model used in the system allows us to determine the steady state, periodic behavior of the air film (described by Navier–Stokes,...
-
Verification of punching shear outside the shear cap by the direct method
PublicationThe proposition of a method to verify the punching resistance for very large supports based on the EN 1992-1-1 standard is described in this paper. The present standard guidelines for the calculation of the punching resistance for large supports are also summarised. The proposed direct method is compared with other standard methods using an example taken from design practice. This method consists of a direct check of the shear...
-
CVD generated mesoporous hollow carbon spheres as supercapacitors
Publication -
Effect of ectoine on hydration spheres of peptides–spectroscopic studies
PublicationIn this paper, we use FTIR spectroscopy to characterize the hydration water of ectoine, its interactions with two peptides–diglycine and NAGMA, and the properties of water molecules in the hydration spheres of both peptides changed by the presence of the osmolyte. We found that the interaction of ectoine with the peptide hydration shells had no effect on its own hydration sphere. However, the enhanced hydration layer of the osmolyte...
-
Certification system of persons responsible for functional Safety = System certyfikacji osób odpowiedzialnych za bezpieczeństwo funkcjonalne
Publication -
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublicationOne of the striking properties of quantum mechanics is the occurrence of the Bell-type non-locality. They are a fundamental feature of the theory that allows two parties that share an entangled quantum system to observe correlations stronger than possible in classical physics. In addition to their theoretical significance, non-local correlations have practical applications, such as device-independent randomness generation, providing...
-
Influence of the Organizational Schemes of the Construction Process on the Quality of the Structures Erected Based on Selected Legal Aspects from Russia, Slovakia, and Poland
Publication