Search results for: VERIFICATION
-
Identity Fusion and Status of the Evaluator as Moderators of Self-Enhancement and Self-Verification at the Group Level of Self-Description
Publication -
Measurement Of The Dynamics Of The Sheave Block Of Shipyard Crane With 1000 T Lifting Capacity For Verification Of The Laboratory Stand
Publication -
Experimental verification of multiband system of non coantact temperature measurements. IV Workshop on Atomic and Molecular Physics.
PublicationW pracy przedstawiono wielopasmowy optoelektroniczny system do bezkontaktowych pomiarów temperatury wykonane za jego pomocą w zakresie od 250 do 390 stopni Celsjusza. Przeprowadzono dyskusję błędów pomiarowych i porównano otrzymane rezultaty z wynikami modelowania komputerowego.
-
Verification of Satellite Railway Track Position Measurements Making Use of Standard Co-Ordinate Determination Techniques
PublicationThe article presents the results of satellite railway track position measurements performed by a multidisciplinary research team, the members of which represented Gdansk University of Technology and Gdynia Maritime University. Measuring methods are described which were used for reconstructing the railway track axis position and diagnosing railway track geometry deformations. As well as that, the description of the novel method...
-
New trim configurations for laser trimmed thick-film resistors - theoretical analysis, numerical simulation and experimential verification
PublicationW pracy przedstawiono nowe podejście do korekcji rezystorów warstwowych polegające na wytwarzaniu dodatkowego kontaktu w celu rozszerzenia zakresu korekcji i uproszczenia projektowania. Ponadto zaprezentowano nową szybką metodę wyznaczania charakterystyk korekcyjnych a także weryfikację eksperymentalną. Przedstawiono wyniki w postaci zakresów korekcji i względnych przyrostów rezystancji w funkcji kształtu dodatkowego kontaktu oraz...
-
The Beneficial Role of Involvement in Alcoholics Anonymous for Existential and Subjective Well-Being of Alcohol-Dependent Individuals? The Model Verification
Publication -
Verification of the theoretical methods for the prediction of resistance of sailing yachts based on model test results of a yacht V.O.60
PublicationWeryfikacja opiera się głównie na serii systematycznych badań modelowych wykonanych w roku 2001 w Laboratorium Hydromechaniki Okrętu WOIO PG. Zademonstrowano prognozy oporu jachtu wykonane trzema metodami z oszacowaniem i dyskusją rozbieżności wyników. Przeprowadzone badania są zorientowane na opracowanie wiarygodnego programu komputerowego dla prognozowania prędkości i innych parametrów ruchu żaglowych, regatowych jachtów oceanicznych...
-
Comparative evaluation of different methods for determining phytochemicals and antioxidant activity in products containing betalains - Verification of beetroot samples
PublicationThis study presents methods that can be used to assess the health quality of products containing betalains. The paper compares and verifies data on the phytochemical composition of three different pigmented beetroot cultivars using spectrophotometric, HPLC-DAD, HPTLC and LC-Q-Orbitrap-HRMS techniques. Additionally, we compared the total antioxidant activity in both the cell-free and cellular systems. Betalain contribution to antioxidant...
-
Verification of Formulas for Periods of Adjacent Buildings Used to Assess Minimum Separation Gap Preventing Structural Pounding during Earthquakes
PublicationInsufficient separation distance between adjacent buildings may lead to serious damages during earthquakes due to structural pounding. The best way to prevent collisions is to provide sufficiently large separation distance between the structures. In this paper, the periods of two closely-spaced linear and nonlinear buildings have been investigated so as to accurately assess the minimum in-between separation gap. A new equation...
-
Verification of the homogeneity of the matrix/analyte mixture on sample plate using MALDI-MS technique and new ionic liquid matrices
Publication -
Thermal analysis and experimental verification of permanent magnet synchronous motor by combining lumped-parameter thermal networks with analytical method
Publication -
Verification of the method of reconstructing convective velocity fields on the basis of temperature fields in vertical, differential and equally heated, open and closed channels
PublicationThis paper describes a method of reconstructing velocity fields, i.e. a numerical reconstruction procedure (NRP) that involves the numerical processing of experimentally measured temperature distributions in free convection heat transfer. The NRP consists in solving only the continuity and Navier–Stokes equations with an additional source term. This term is proportional to a known temperature (e.g. from a thermal imaging camera)...
-
Experimental verification of the theoretical modelof heat transfer between a liquid layer formed by a two-phase impinging jet and a solid surface
PublicationW pracy przedstawiono eksperymentalną weryfikacje modelu teoretycznego wymiany ciepła pomiędzy warstwą wody a stałą powierzchnią. Warstwa cieczy powstała z uderzającej o powierzchnię dwufazowej strugi uderzającej
-
Report no: WOiO /II/46/2015 - Construction node verification test, estimation of breaking load (shear force) and destruction form
PublicationA new generation of tanks for LNG transportation has been designed. Mass reduction forced our customer to use three different materials: austenitic steel, aluminium alloy and LNG compressed wood between them. The expertise concerns structural node between tank foundation and suspension. Expertise contains: description of object of test, test principals, results and conclusions
-
New aspects in assessment of changes in width of subarachnoid space with near-infrared transillumination/backscattering sounding, part 2: clinical verification in the patient
PublicationW pracy przedstawiono porównanie wyników symulacji propagacji promieniowania z zakresu bliskiej podczerwieni z danymi uzyskanymi na drodze pomiarów wykonanych w warunkach klinicznych. Różnice między nimi nie przekraczały 4 dB, co potwierdziło słuszność przyjętych założeń w procesie symulacji. W pomiarach wykorzystano unikatowy zetstaw nadajników i odbiorników promieniowania podczerwonego, pozwalającego prowadzenie pomiarów transmisji...
-
Juices from untypical edible fruits as acidity regulators for food industry. Verification of health promoting properties. Comparison with typical acidity regulators.
PublicationNowadays all kind of food additives, and among them acidity regulators, have become necessary components of most food products. Their role is lengthening shelf-life, improving the sensory properties and protecting food products from microbial contaminations. However, despite advantages, there are also some undesirable effects of use of food additives that have raised public concern recently. Therefore, food industry considers the...
-
Juices from untypical edible fruits as acidity regulators for food industry. Verification of health promoting properties. Comparison with typical acidity regulators
PublicationThe purpose of this work was to verify possibility of using juices from selected fruits characterized by the high antioxidant potential as natural acidity regulators with improved nutritional properties. The tested fruits included: mirabelle plum, sea buckthorn, lemon and blueberry honeysuckle.The potentiometric titration was used to compare the effiacy of the juices as acidity regulators with citric acid, a widely used acidity...
-
The Verification of the Usefulness of Electronic Nose Based on Ultra-Fast Gas Chromatography and Four Different Chemometric Methods for Rapid Analysis of Spirit Beverages
PublicationSpirit beverages are a diverse group of foodstuffs. They are very often counterfeited which cause the appearance of low quality products or wrongly labelled products on the market. It is important to find a proper quality control and botanical origin method enabling the same time preliminary check of the composition of investigated samples, which was the main goal of this work. For this purpose, the usefulness of electronic nose...
-
3D dose verification with polymer gel detectors of brain-spine match line for proton pencil beam cranio-spinal: A preliminary study
Publication -
Performance evaluation of an improved optical computed tomography polymer gel dosimeter system for 3D dose verification of static and dynamic phantom deliveries
Publication -
Radial distribution of dose within heavy charged particle tracks – Models and experimental verification using LiF:Mg,Cu,P TL detectors
Publication -
Magnetic signature reproduction of ferromagnetic ships at arbitrary geographical position, direction and depth using a multi-dipole model – source and verification dataset with description
Open Research DataThe dataset include source synthetic magnetic data concerning the corvette-type ship numeric model. The data are for 6 locations around the World with different V1 ÷ V6 Earth magnetic field values. The attached data is in Matlab. MAT format, but the data can also be used in Octave software.
-
Optymalizacja procedur dyskryminacyjnych w procesie weryfikacji mówców - metodyka doboru wag parametrów = Optimization of discriminative procedures in speaker verification process - a method for selecting parameter weights
PublicationPoddano testowaniu system weryfikacji mówców, działający w sposób zależny od tekstu, oparty na parametrach cepstralnych. Wstępnie przyjęto wagi wyrównane przypisane do zdefiniowanego w ten sposób wektora wag, właściwego dla obranego systemu parametryzacyjnego. Uzyskane wyniki przedstawiono w postaci macierzy pomyłek (''confusion matrix''). Dobór wartości wektora wag odbywał się w oparciu o część treningową bazy danych przy użyciu...
-
SU‐GG‐T‐286: Performance of An Improved Optical Computed Tomography Polymer Gel Dosimeter System for 3‐D Dose Verification of Static and Dynamic Phantom Deliveries
Publication -
Computer Aided Verification
Conferences -
Convenient identification of desulfoglucosinolates on the basis of mass spectra obtained during liquid chromatography-diode array-electrospray ionisation mass spectrometry analysis: Method verification for sprouts of different Brassicaceae species extracts
PublicationOver the past decade, glucosinolates (GLs) present in different tissues of Brassicaceae and their breakdown products, especially isothiocyanates formed after myrosinase catalyzed hydrolysis, have been regarded as not only environment friendly biopesticides for controlling soilborne pathogens, but most importantly as promising anticarcinogenic compounds. For these reasons, the identification and quantitative determination of the...
-
International Conference on Runtime Verification
Conferences -
TH-D-BRB-06: Assessment of Proton Beam In-Vivo Dose Verification by Directly Comparing Doses Measured in Tissue-Equivalent Polymer Gels to Proton-Activated Positron-Emission Distributions in the Gels Post Irradiation
Publication -
Badanie rozkładów parametrów sygnału mowy w zastosowaniach do prognozowania prawdopodobieństwa popełnienia błędów w systemach identyfikacji mówców = Examining distribution of speech signal parameters for the prognosis of error probability in speaker verification systems
PublicationPrzedmiotem pracy jest system identyfikacji mówców w sposób zależny od tekstu ("text dependent''). Dokonano analizy wielu różnych wypowiedzi kilkudziesięciu mówców. Zastosowana metoda parametryzacji to metoda oparta na wynikach analizy cepstralnej sygnału mowy. Zdefiniowane zostały nowe parametry skojarzone z elementarnymi zdarzeniami w procesie weryfikacji mówców. Na tej podstawie dokonano estymacji funkcji gęstości prawdopodobieństwa...
-
Verification, Model Checking and Abstract Interpretation
Conferences -
International Symposium on Automated Technology for Verification and Analysis
Conferences -
Summer School on Modelling and Verification of Parallel Processes
Conferences -
International Conference on Software Testing, Verification and Validation
Conferences -
The International Conference on Verification and Evaluation of Computer and Communication Systems
Conferences -
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences -
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Conferences -
Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)
Conferences -
IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
Conferences -
Bożena Kostek prof. dr hab. inż.
People -
Dawid Ryś dr hab. inż.
PeopleCourses PRINCE2® Foundation Certificate in Project Management Tire-Pavement Interaction course Micromechanical Analysis of Asphalt Concrete
-
Variable length sliding models for banking clients face biometry
PublicationAn experiment was organized in 100 bank branches to acquire biometric samples from nearly 5000 clients including face images. A procedure for creating face verification models based on continuously expanding database of biometric samples is proposed, implemented, and tested. The presented model applies to circumstances where it is possible to collect and to take into account new biometric samples after each positive verification...
-
Piotr Figura dr inż.
PeoplePiotr Figura is employed as an assistant professor at the Department of Finance at the Faculty of Management and Economics, Gdansk University of Technology. He is a member of Commission for the Verification of Learning Outcomes, as well as an academic reviewer of the Central Exemination Booard. He is the author or co-author of several scientific monographs including: Standard financial indicators for stock enterprises; Classical...
-
Analysis of muscles behaviour. Part II. The computational model of muscles group acting on the elbow joint
PublicationThe purpose of this paper is to present the computational model of muscles' group describing the movements of flexion/extension at the elbow joint in the sagittal plane of the body when the forearm is being kept in the fixed state of supination/pronation. The method ofevaluating the muscle forces is discussed in detail. This method is the basis for the quantitative and qualitative verification of the proposed computational model...
-
Evaluation of Decision Fusion Methods for Multimodal Biometrics in the Banking Application
PublicationAn evaluation of decision fusion methods based on Dempster-Shafer Theory (DST) and its modifications is presented in the article, studied over real biometric data from the engineered multimodal banking client verification system. First, the approaches for multimodal biometric data fusion for verification are explained. Then the proposed implementation of comparison scores fusion is presented, including details on the application...
-
Dynamic Signature Vertical Partitioning Using Selected Population-Based Algorithms
PublicationThe dynamic signature is a biometric attribute used for identity verification. It contains information on dynamics of the signing process. There are many approaches to the dynamic signature verification, including the one based on signature partitioning. Partitions are the regions created on the basis of signals describing the dynamics of the signature. They contain information on the shape of the signature characteristic of a...
-
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...
-
Rule-Based Model for Selecting Integration Technologies for Smart Cities Systems
PublicationThe aim of this article is to present the stages of development for an information technology integration model for the design of systems for smart cities. The Introduction explains the need for integration technologies and presents a model for selecting integration technologies and the conditions for its use in designing smart cities systems. Then two verification stages of the presented model are discussed. In the first stage,...
-
Jerzy Konorski dr hab. inż.
PeopleJerzy Konorski received his M. Sc. degree in telecommunications from Gdansk University of Technology, Poland, and his Ph. D. degree in computer science from the Polish Academy of Sciences, Warsaw, Poland. In 2007, he defended his D. Sc. thesis at the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology. He has authored over 150 papers, led scientific projects funded by the European Union,...
-
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...
-
Information technology assessment using a functional prototype of the agent based system
PublicationIn the paper authors present the progress of works related with the agent-based system serving the purpose of information technology assessment. Currently this is a prototype including agents, the knowledge base and the ontology; the domain incorporated by the assessment-enterprise managing technologies with special attention paid to technologies directed to IT projects. In this paper, besides indication of expected functionalities...