Filters
total: 1200
displaying 1000 best results Help
Search results for: mappings verification
-
Purification and recovery of laccase produced by submerged cultures of Trametes versicolor by three-phase partitioning as a simple and highly efficient technique
Publication -
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....
-
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 -
Offshore benthic habitat mapping based on object-based image analysis and geomorphometric approach. A case study from the Slupsk Bank, Southern Baltic Sea
PublicationBenthic habitat mapping is a rapidly growing field of underwater remote sensing studies. This study provides the first insight for high-resolution hydroacoustic surveys in the Slupsk Bank Natura 2000 site, one of the most valuable sites in the Polish Exclusive Zone of the Southern Baltic. This study developed a quick and transparent, automatic classification workflow based on multibeam echosounder and side-scan sonar surveys to...
-
Atmospheric Pressure Glow Discharges Generated in Contact with Flowing Liquid Cathode: Production of Active Species and Application in Wastewater Purification Processes
Publication -
A new cold-adapted beta-D-galactosidase from the Antarctic Arthrobacter sp. 32c - gene cloning, overexpression, purification and properties
PublicationThe development of a new cold-active β-D-galactosidases and microorganisms that efficiently ferment lactose is of high biotechnological interest, particularly for lactose removal in milk and dairy products at low temperatures and for cheese whey bioremediation processes with simultaneous bio-ethanol production. In this article, we present a new β-D-galactosidase as a candidate to be applied in the above mentioned biotechnological...
-
THE GENE CLONING, OVEREXPRESSION, PURIFICATION AND BIOCHEMICAL CHARACTERISATION OF A NEW COLD-ADAPTED β–GALACTOSIDASE FROM ARTHROBACTER SP. VII-4
PublicationINTRODUCTION. β-Galactosidase [EC 3.2.1.23] is an enzyme that catalyzes the hydrolysis of O-glycosidic linkages in galactosides. It is commercially used in dairy industry for the production of milk with reduced lactose content. Potentially, the best method for lactose removal under cooling conditions should be carried out with a cold-adapted enzyme. AIM. The aim of this study was to determine the taxonomic affiliation of the isolate...
-
Analyzing energy/performance trade-offs with power capping for parallel applications on modern multi and many core processors
PublicationIn the paper we present extensive results from analyzing energy/performance trade-offs with power capping observed on four different modern CPUs, for three different parallel applications such as 2D heat distribution, numerical integration and Fast Fourier Transform. The CPU tested represent both multi-core type CPUs such as Intel⃝R Xeon⃝R E5, desktop and mobile i7 as well as many-core Intel⃝R Xeon PhiTM x200 but also server, desktop...
-
DEPO: A dynamic energy‐performance optimizer tool for automatic power capping for energy efficient high‐performance computing
PublicationIn the article we propose an automatic power capping software tool DEPO that allows one to perform runtime optimization of performance and energy related metrics. For an assumed application model with an initialization phase followed by a running phase with uniform compute and memory intensity, the tool performs automatic tuning engaging one of the two exploration algorithms—linear search (LS) and golden section search (GSS), finds...
-
GPU Power Capping for Energy-Performance Trade-Offs in Training of Deep Convolutional Neural Networks for Image Recognition
PublicationIn the paper we present performance-energy trade-off investigation of training Deep Convolutional Neural Networks for image recognition. Several representative and widely adopted network models, such as Alexnet, VGG-19, Inception V3, Inception V4, Resnet50 and Resnet152 were tested using systems with Nvidia Quadro RTX 6000 as well as Nvidia V100 GPUs. Using GPU power capping we found other than default configurations minimizing...
-
Dynamic GPU power capping with online performance tracing for energy efficient GPU computing using DEPO tool
PublicationGPU accelerators have become essential to the recent advance in computational power of high- performance computing (HPC) systems. Current HPC systems’ reaching an approximately 20–30 mega-watt power demand has resulted in increasing CO2 emissions, energy costs and necessitate increasingly complex cooling systems. This is a very real challenge. To address this, new mechanisms of software power control could be employed. In this...
-
Computer Aided Verification
Conferences -
A new B-D-galactosidase with a low temperature optimum isolated from the Antarctic Arthrobacter sp. 20B: gene cloning, purification and characterization.
PublicationA psychrotrophic bacterium producing a coldadaptedB-galactosidase upon growth at low temperatureswas classiWed as Arthrobacter sp. 20B. A genomic DNAlibrary of strain 20B introduced into Escherichia coliTOP10F' and screening on X-Gal (5-bromo-4-chloro-3-indolyl-B-D-galactopyranoside)-containing agar plates ledto the isolation of B-galactosidase gene. The B-galactosidasegene (bgaS) encoding a protein of 1,053 amino acids,with a...
-
A novel cold-active β-D-galactosidase with transglycosylation activity from the Antarctic Arthrobacter sp. 32cB - gene cloning, purification and characterization
PublicationA gene encoding a novel β-D-galactosidase from the psychrotolerant Antarctic bacterium Arthrobacter sp. 32cB was isolated, cloned and expressed in Escherichia coli. The active form of recombinant β-D-galactosidase consists of two subunits with a combined molecular weight of approximately 257 kDa. The enzyme's maximum activity towards o-nitrophenyl-β-D-galactopyranoside was determined as occurring at 28 °C and pH 8.0. However, it...
-
Calculation of flatness errors formed on the tool during finishing machining by lapping. Second International Tribology Conference, SITC 2002.
PublicationPłaskość przedmiotów obrabianych zależy głównie od płaskości narzędzia stosowanego w docieraniu. Orientacja przedmiotu na docieraku musi być wyznaczona w celu określenia korelacji pomiędzy błędami płaskości obu powierzchni. Metoda wyznaczania błędów niepłaskości narzędzia przedstawiona została w referacie. Pokazane zostały przykładowe położenia przedmiotów o różnych kształtach na czynnej powierzchni docieraka z błędem wklęsłości.
-
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...
-
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...
-
Mapping of concentration of BTEX in atmospheric air in the area of Tricity Agglomeration = Mapowanie poziomów zanieczyszczeń związków z grupy BTEX w powietrzu atmosferycznym na terenie Aglomeracji Trójmiejskiej
PublicationUzyskanie informacji o poziomie zanieczyszczeń powietrza atmosferycznego przez związki z grupy BTEX na terenie aglomeracji Trójmiejskiej i Tczewa, pozwoli na ocenę i prognozowanie stanu środowiska w celu wyjaśnienia zmian zachodzących w środowisku w wyniku działalności człowieka. Sporządzenie map poziomu zanieczyszczeń powietrza atmosferycznego posłuży do opisu przestrzennego rozkładu zanieczyszczeń oraz szacowania poziomu zanieczyszczeń...
-
Capping Agent-Dependent Toxicity and Antimicrobial Activity of Silver Nanoparticles: An In Vitro Study. Concerns about Potential Application in Dental Practice
Publication -
Annual Convention for Survey, Mapping and Remote Sensing
Conferences -
Sound signals generated during lapping of technical ceramics using electroplated tools with diamond grains
Open Research DataData contains the recordings of sound generated during single-sided lapping with the use of electroplated diamond tools. This relationship was examined with the use of spectral analysis of the sound signal in the frequency domain with a focus on the Ra parameter of the surface roughness. The estimated sound coefficient increased as the surface roughness...
-
Chemical-Assisted Mechanical Lapping of Thin Boron-Doped Diamond Films: A Fast Route Toward High Electrochemical Performance for Sensing Devices
PublicationThere is an urgent need for an effective and economically viable increase in electrochemical performance of boron-doped diamond (BDD) electrodes that are used in sensing and electrocatalytic applications. Specifically, one must take into consideration the electrode heterogeneity due to nonhomogenous boron-dopant distribution and the removal of sp2 carbon impurities saturating the electrode, without interference in material integrity....
-
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 -
International Conference on Runtime Verification
Conferences -
Anna Zielińska-Jurek prof. dr hab. inż.
People2018 DSc in technical sciences in the field of chemical technology Chemical Faculty, Gdansk University of Technology, Title: “Functionalized titanium(IV) oxide as a photocatalyst for environmental purification” 2011 Ph. D. in technical sciences in the field of chemical technology Chemical Faculty, Gdansk University of Technology, Title of the dissertation:...
-
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...
-
Operational harmfulness of surface contamination with abrasive after the technological lapping process = Szkodliwość eksploatacyjna skażenia powierzchni ścierniwem po procesie docierania technologicznego.
PublicationPrzestawiono metodykę i wyniki jakościowych i ilościowych badań skażenia powierzchni mikroziarnami ściernymi oraz wpływ warunków docierania na intensywność zjawiska. W badaniach wykorzystano mikroskopie skaningową i mikroanalizę rentgenowską.
-
Capping ligand initiated CuInS2 quantum dots decoration on, ZnIn2S4 microspheres surface under different alkalinity levels resulting in different hydrogen evolution performance
PublicationSurface distribution of quantum dots (QDs) at the semiconductor matrix caused by synthesis condition (e.g. pH of solution during coupling) could lead to different photocatalytic activity. Thus, achieving an optimal covering of semiconductor matrix by QDs has been challenging. Herein, the influence of the alkalinity level of aqueous decoration medium for the coupling of mercaptoundecanoic acid (MUA) capped CuInS2 quantum dots (CIS)...
-
Rapid multi-objective simulation-driven design of compact microwave circuits
PublicationA methodology for rapid multi-objective design of compact microwave circuits is proposed. Our approach exploits point-by-point Pareto set identification using surrogate-based optimization techniques, auxiliary equivalent circuit models, and space mapping as the major model correction method. The proposed technique is illustrated and validated through the design of a compact rat-race coupler. A set of ten designs being trade-offs...
-
TEM (transmission electron microscopy) images and elemental mapping EDX (energy dispersive X-ray spectroscopy) of bulk boron and borophene obtained during ball milling
Open Research DataThese data contain TEM (transmission electron microscopy) images with corresponding elemental mapping EDX of bulk boron and borophene flakes after the ball-milling process (450 rpm, 6 h, 1 g). The data were collected to investigate the structure and morphology of the materials.
-
Verification, Model Checking and Abstract Interpretation
Conferences -
Frequently updated noise threat maps created with use of supercomputing grid
PublicationAn innovative supercomputing grid services devoted to noise threat evaluation were presented. The services described in this paper concern two issues, first is related to the noise mapping, while the second one focuses on assessment of the noise dose and its influence on the human hearing system. The discussed services were developed within the PL-Grid Plus Infrastructure which accumulates Polish academic supercomputer centers....
-
Marek Biziuk prof. dr hab. inż.
PeopleCURRICULUM VITAE Marek BIZIUK Born 1947 MSc 1969 GUT PhD 1977 GUT DSc 1994 GUT Professor 2001 Membership of scientific society - Gdansk Scientific Society - Romanian Society of Analytical Chemistry - Engineers and Techniques of...
-
Beata Krawczyk-Bryłka dr
PeoplePsycholog, doktor nauk humanistycznych w dziedzinie zarządzania, adiunkt w Katedrze przedsiębiorczości. 2018 - 2021: Kierownik projektu NCN: „Efektuacyjny model zespołu przedsiębiorczego. Jak działają przedsiębiorcze zespoły odnoszące sukces" od 2016: Quality Standards Lead filaru People management & personal development na studiach MBA Politechniki Gdańskiej 2008 – 2012: Prodziekan ds kształcenia Wzydziału Zarządzania i Ekonomii...
-
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 -
Dawid Ryś dr hab. inż.
PeopleCourses PRINCE2® Foundation Certificate in Project Management Tire-Pavement Interaction course Micromechanical Analysis of Asphalt Concrete
-
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....
-
Badania porównawcze docierania powierzchni płaskich elementów miedzianych, ceramicznych i z węglików spiekanych = Comparative research of lapping of flat surfaces of parts made from copper, ceramics and sintered carbides
PublicationPrzedstawiono badania porównawcze jakości i intensywności docierania elementów miedzianych, ceramicznych i z węglików spiekanych. Analizowano skażenie powierzchni miedzi ścierniwem oraz porównano mechanizmy usuwania materiału w przypadku obróbki metali i ceramiki.
-
Testing of the longest span soil-steel bridge in Europe – new quality in measurements
PublicationThe article describes interdisciplinary and comprehensive diagnostic tests of final bridge inspection and acceptance proposed for a soil – steel bridge made of corrugated sheets, being the European span length record holder (25.74 m). As an effect of an original concept a detailed and precise information about the structure response was collected. The load test design was based on the nonlinear numerical simulations performed by...
-
Rapid design of miniaturised branch-line couplers through concurrent cell optimisation and surrogate-assisted fine-tuning
PublicationIn this study, the authors introduce a methodology for low-cost simulation-driven design optimisation of highly miniaturised branch-line couplers (BLCs). The first stage of their design approach exploits fast concurrent optimisation of geometrically dependent, but electromagnetically isolated cells that constitute a BLC. The cross-coupling effects between the cells are taken into account in the second stage, where a surrogate-assisted...
-
The International Conference on Verification and Evaluation of Computer and Communication Systems
Conferences -
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...
-
Usability study of various biometric techniques in bank branches
PublicationThe purpose of the presented research was to evaluate the performance of the prepared biometric algorithms and obtain information on the opinions and preferences of their users in bank branches. The study aimed to determine users' attitudes towards particular modalities and preferences on how to use biometrics after the bank customers had practical experience with the operation of the prototype solutions. The research results...
-
The effect of raw material type on endotoxin content .
Open Research DataThe datasets contain the results of determining the effect of raw material type on endotoxin content as well as the effect of purification methods. The endotoxin concentration was determined using the PyroGene Recombinant Factor C Endpoint Fluorescent Assay. Beckmann-Kenko sodium alginate and Chemat sodium salt of alginic acid were used for the assays....
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences -
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...
-
Raman spectra of CPMH and CPMD
Open Research DataThese data contains Raman spectra of CPMH and CPMD. Raman scattering was measured with a RenishawmicroRaman spectrometer (785 nm). Sample abbreviations (CPMH, CPMD) are in agreement with the markings used in the linked publication.