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
-
AUTOMATIC OPTIMIZATION OF ADAPTIVE NOTCH FILTER’S FREQUEN CY TRACKING
PublicationEstimation of instantaneous frequency of narrowband com- plex sinusoids is often performed using lightweight algo- rithms called adaptive notch filters. However, to reach high performance, these algorithms require careful tuning. The paper proposes a novel self-tuning layer for a recently intr o- ducedadaptive notch filtering algorithm. Analysis shows th at, under Gaussian random-walk type assumptions, the resultin g solution converges...
-
Automatic Optimization Of Adaptive Notch Filter’s Frequency Tracking
PublicationEstimation of instantaneous frequency of narrowband com- plex sinusoids is often performed using lightweight algo- rithms called adaptive notch filters. However, to reach high performance, these algorithms require careful tuning. The paper proposes a novel self-tuning layer for a recently intr o- ducedadaptive notch filtering algorithm. Analysis shows th at, under Gaussian random-walk type assumptions, the resultin g solution converges...
-
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...
-
PROPERTIES OF ONE DIMENSIONAL OPEN-CHANNEL STEADY FLOW EQUATIONS
PublicationIn this paper properties of discrete forms of one dimensional steady gradually varied flow equations are discussed. Such forms of flow equations are obtained as a result of approximation of their differential forms, which is required to solve them numerically. For such purpose explicit or implicit numerical approximation schemes for ordinary differential equations can be applied. It turns out that dependently on the chosen approximation...
-
Józef Woźniak prof. dr hab. inż.
PeopleProfessor Józef Woźniak received his M.Sc., Ph.D. and D.Sc. degrees in electronics and telecommunications from the Faculty of Electronics, Gdańsk University of Technology (GUT), Poland, in 1971, 1976 and 1991, respectively. In January 2002 he became a full professor. In 1993 he was elected Associate Dean of the Faculty of Electronics and in 1994 he was he was appointed a Professor at GUT. Simultaneously, from October 1994 till...
-
Market Price Prediction of Property Rights from Gas Fired Plants or Plants with Total Installed CHP Source Capacity Below 1 MW until 2025
PublicationThe resolution on the Polish Energy Policy until 2030 (PEP-30) was adopted by the Council of Ministers on 10 November 2009. The document specifies the combined electricity and heat generation as a direction of pursuing the goals of energy efficiency, fuel and energy supply security, competitive fuel and energy markets development, and reduction of the energy sector’s environmental impact. PEP-30 assumes that electricity generation...
-
Brunauer-Emmett-Teller (BET) surface analysis of titanium dioxide (TiO2) and silicon dioxide (SiO2) used for coating of expanded polystyrene spheres (EPS)
Open Research DataData refer to the results of BET surface area of TiO2 and SiO2 powders used for coating of expanded polystyrene spheres. The detailed measurement and equipment data was described in readme BET.txt file.TiO2 was treated firstly in autoclave at 150 C degrees for 1h, then was further heat treated in Ar at 400 C degrees. As a raw material TiO2 was used,...
-
Trustworthiness and Subversion in Large Service- Oriented Multi-Agent Systems under Virtual Anonymity and Blind Provider Selection
PublicationTo promote honest service provision in multi-agent systems, a Computational Trustworthiness and Rating scheme collects service ratings and computes agents' trustworthiness levels (TLs). Studies of existing schemes fail to reflect closed-loop dynamics of TLs arising from the mutual influence of agents' behavior and TLs, and to capture relevant properties. Recent simulative and analytical models produce results tied to a particular...
-
Engineering and Management of Space Systems (EMSS) - an international joint Master's double-degree program
PublicationDynamic development of the space sector of European, and especially of Polish and German economies results in a necessity for suitable Higher Education Institution graduates. The increasing digitization, distribution and networking of technical systems leads to the necessity of a degree programme teaching “the systems view” and “interdisciplinarity” methods and skills. Furthermore, it is necessary to consider the entire life cycle...
-
A Perspective on Fast-SPICE Simulation Technology
PublicationThis chapter presents an introduction to the area of accelerated transistor-level (‘fast-SPICE’) simulation for automated verification and characterization of integrated circuits (ICs) from technologist’s perspective. It starts with outlining goals, expectations and typical usage models for fast-SPICE simulators, stressing how they differ from regular SPICE tools. It continues with presenting and classifying core technologies typically...
-
Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications
PublicationThe aim of this paper is to evaluate performance of new CUDA mechanisms—unified memory and dynamic parallelism for real parallel applications compared to standard CUDA API versions. In order to gain insight into performance of these mechanisms, we decided to implement three applications with control and data flow typical of SPMD, geometric SPMD and divide-and-conquer schemes, which were then used for tests and experiments. Specifically,...
-
Verification, Model Checking and Abstract Interpretation
Conferences -
ECTN - Euromaster Certification
ProjectsProject realized in The Dean's Office of the Chemical Faculty according to MNISW/2018/184/DIR/AZ agreement from 2018-10-09
-
ECTN - EuroBachelor Certification
ProjectsProject realized in The Dean's Office of the Chemical Faculty according to MNISW/2018/183/DIR/AZ agreement from 2018-10-09
-
Optimal and suboptimal algorithms for identification of time-varying systems with randomly drifting parameters
PublicationNoncausal estimation algorithms, which involve smoothing, can be used for off-line identification of nonstationary systems. Since smoothingis based on both past and future data, it offers increased accuracy compared to causal (tracking) estimation schemes, incorporating past data only. It is shown that efficient smoothing variants of the popular exponentially weighted least squares and Kalman filter-based parameter trackers can...
-
Guessing Intrinsic Forwarding Trustworthiness of Wireless Ad Hoc Network Nodes
PublicationA novel node misbehavior detection system called GIFTED is proposed for a multihop wireless ad hoc network (WAHN) whose nodes may selfishly refuse to forward transit packets. The system guesses the nodes’ intrinsic forwarding trustworthiness (IFT) by analyzing end-to-end path performance rather than utilizing unreliable and incentive incompatible low-layer mechanisms. It can work with occasional IFT jumps, directional antennae,...
-
The experience of movement in the built form and space: A framework for movement evaluation in architecture
Publication“Movement in architecture” is an organized system of various types of movements stimulated by specific architectural elements. This research was conducted through a qualitative-analytical method and empirical and bibliographical research methods with the aim to categorize different types of movements based on the explorer and observer relationships with the built space and form. So far, most of the related studies have focused...
-
Structural Design and Mechanics I 2023/2024
e-Learning CoursesLearning about the functioning of bar systems and preparing their static schemes, solving statically determinate bar systems (beams, frames, trusses).
-
Low-dimensional bound entanglement with one-way distillable cryptographic key
PublicationIn this paper, we provide a class of bound entangled states that have positive distillable secure key rate. The smallest state of this kind is 4 circle times 4, which shows that peculiar security contained in bound entangled states does not need high-dimensional systems. We show that for these states a positive key rate can be obtained by one-way Devetak-Winter (DW) protocol. Subsequently, the volume of bound entangled key-distillable...
-
ETS prices 2008-2024
Open Research DataThe European Union Emissions Trading System (EU ETS) is a carbon emission trading scheme (or cap and trade scheme) which began in 2005 and is intended to lower greenhouse gas emissions by the European Union countries. The "ETS prices 2008-2024" dataset contains a summary of ETS prices in 2008-2024.
-
ECTN - Doctorate Eurolabel Certification
ProjectsProject realized in The Dean's Office of the Chemical Faculty according to MNISW/2018/185/DIR/AZ agreement from 2018-10-09
-
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 -
Thermographic images during testing measuring instrument boards
Open Research DataThe dataset presents thermografic images acquired during testing the prototype of measuring instrument for resistiometric corrosion monitoring. The testing was performed in the room temperature. VIGOcam v50 thermal imaging camera (VIGO System S.A., Ozarow Mazowiecki, Poland) was used for taking the pictures. These pictures were used as preliminary tests...
-
Dawid Ryś dr hab. inż.
PeopleCourses PRINCE2® Foundation Certificate in Project Management Tire-Pavement Interaction course Micromechanical Analysis of Asphalt Concrete
-
Planning optimised multi-tasking operations under the capability for parallel machining
PublicationThe advent of advanced multi-tasking machines (MTMs) in the metalworking industry has provided the opportunity for more efficient parallel machining as compared to traditional sequential processing. It entailed the need for developing appropriate reasoning schemes for efficient process planning to take advantage of machining capabilities inherent in these machines. This paper addresses an adequate methodical approach for a non-linear...
-
DST-Based Detection of Non-cooperative Forwarding Behavior of MANET and WSN Nodes
Publication. Selfish node behavior can diminish the reliability of a mobile ad hoc network (MANET) or a wireless sensor network (WSN). Efficient detection of such behavior is therefore essential. One approach is to construct a reputation scheme, which has network nodes determine and share reputation values associated with each node; these values can next be used as input to a routing algorithm to avoid end-to-end routes containing ill-reputed...
-
Is there momentum in factor premia? Evidence from international equity markets
Publication -
Country Asset Allocation
Publication -
TG analyses - content of SiO2 and TiO2 in polystyrene
Open Research DataTG analyses were performed for polystyrene spheres coating by SiO2 and then coating by SiO2-TiO2. Thermal analyses of polystyrene spheres only were also performed. The content of inorganic remaining was used for calculation the quantity of coating SiO2 and TiO2 in the polystyrene spheres.
-
Reinforced Secure Gossiping Against DoS Attacks in Post-Disaster Scenarios
PublicationDuring and after a disaster, the perceived quality of communication networks often becomes remarkably degraded with an increased ratio of packet losses due to physical damages of the networking equipment, disturbance to the radio frequency signals, continuous reconfiguration of the routing tables, or sudden spikes of the network traffic, e.g., caused by the increased user activity in a post-disaster period. Several techniques have...
-
Information-driven network resilience: Research challenges and perspectives
PublicationInternet designed over 40 years ago was originally focused on host-to-host message delivery in a best-effort manner. However, introduction of new applications over the years have brought about new requirements related with throughput, scalability, mobility, security, connectivity, and availability among others. Additionally, convergence of telecommunications, media, and information technology was responsible for transformation...
-
Linguistica Antverpiensia New Series-Themes in Translation Studies
Journals -
Application of Thermo-chemical Technologies for Conversion of Associated Gas in Diesel-Gas Turbine Installations for Oil and Gas Floating Units
PublicationThe paper considers the issue of thermo-chemical recovery of engine’s waste heat and its further use for steam conversion of the associated gas for oil and gas floating units. The characteristics of the associated gas are presented, and problems of its application in dual-fuel medium-speed internal combustion engines are discussed. Various variants of combined diesel-gas turbine power plant with thermo-chemical heat recovery are...
-
Global value chains and wages under different wage setting mechanisms
PublicationThis study examines whether, and how, differences in wage bargaining schemes shape the relationship between global value chains (GVCs) and the wages of workers while considering both GVC participation and position in GVC. Our dataset is derived from the European Structure of Earnings Survey (SES), containing employee–employer data from 18 European countries, merged with sectoral data from the World Input-Output Database (WIOD)....
-
Explicit and implicit difefrence methods for quasilinear first order partial functional differential equations.
PublicationInitial boundary value problems of the Dirichlet type for quasilinear functional differential equations are considered. Explicit difference schemes of the Euler type and implicit difference methods are investigated. Suffcient conditions for the convergence of approximate solutions are given and comparisons of the methods are presented. It is proved that assumptions on the regularity of given functions are the same for both classes...
-
The International Conference on Verification and Evaluation of Computer and Communication Systems
Conferences -
Analysis of Floodplain Inundation Using 2D Nonlinear Diffusive Wave Equation Solved with Splitting Technique
PublicationIn the paper a solution of two-dimensional (2D) nonlinear diffusive wave equation in a partially dry and wet domain is considered. The splitting technique which allows to reduce 2D problem into the sequence of one-dimensional (1D) problems is applied. The obtained 1D equations with regard to x and y are spatially discretized using the modified finite element method with the linear shape functions. The applied modification referring...
-
state aid for export activities
Open Research DataThe dataset encompassed a choice of the most important legal acts, a list of selected Polish and foreign bibliography, together with a list of important individual EC decisions issued on the topic of state aid for export credits in Poland and some UE countries in the period 2001-2019. Thanks to that the reader gets the possibility do acquire basic...
-
Quantum key distribution based on private states: Unconditional security over untrusted channels with zero quantum capacity
PublicationIn this paper, we prove unconditional security for a quantum key distribution (QKD) protocol based on distilling pbits (twisted ebits) from an arbitrary untrusted state that is claimed to contain distillable key. Our main result is that we can verify security using only public communication-via parameter estimation of the given untrusted state. The technique applies even to bound-entangled states, thus extending QKD to the regime...
-
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...
-
Correction to: Azo group(s) in selected macrocyclic compounds
PublicationIn the original publication of the article, a part of Scheme 12 was missed. The correct version of Scheme 12 was provided in this correction article. The original article has also been corrected.
-
A repeated game formulation of network embedded coding for multicast resilience in extreme conditions
PublicationComputer networks and data sharing applications are vital for our current society and fundamental for any available ICT solution, so that networking is considered as one of the key critical infrastructures and its correct behavior should be always enforced, even in case of disasters or severe execution conditions. Resilience is a strongly demanding nonfunctional requirement for current computer networks, and one of the key factors...
-
Convergence of rational multistep methods of of Adams-Padé type
PublicationRational generalizations of multistep schemes, where the linear stiff part of a given problem is treated by an A-stable rational approximation, have been proposed by several authors, but a reasonable convergence analysis for stiff problems has not been provided so far. In this paper we directly relate this approach to exponential multistep methods, a subclass of the increasingly popular class of exponential integrators. This natural,...
-
Visualization of a lifeboat motion during lowering along ship’s side
PublicationThis paper presents description of a computer program for motion visualization of a lifeboat lowered along ship’s side. The program is a post-processor which reads results of numerical calculations of simulated objects’ motions. The data is used to create scene composed of 3D surfaces to visualize mutual spatial positions of a lifeboat, ship’s side and water waving surface. Since the numerical data contain description of a simulation...
-
Fundamentals of Communication Networks Resilience to Disasters and Massive Disruptions
PublicationCommunication networks are exposed to a variety of massive failure events following from activities of nature, weather-induced disruptions, technology-implied problems, and malicious human activities. In this chapter, we first highlight the characteristics of these scenarios and discuss example failure events reported during the last three decades. Next, we explain the concept of network resilience and present an overview of major...
-
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...
-
Jaroslaw Spychala dr
PeopleOprócz bardzo dobrego wykształcenia osoba posiada również wieloletnie doświadczenie zawodowe, które jest poświadczeniem tego, że potrafi wykorzystać swoją wiedzę teoretyczną w praktycznych działaniach. Doświadczenie zawodowe jest bardzo bogate i rozbudowane. Ze względu na nabyte całkiem nowe umiejętności zwiększa się atrakcyjność doświadczonego pracownika. Są to między innymi kreatywne myślenie, zorientowanie na cel, odporność...