Search
displaying 1000 best results Help
Search results for: MULTITHREADED PROGRAMMING FRAMEWORK
-
Analysis of Denoising Autoencoder Properties Through Misspelling Correction Task
PublicationThe paper analyzes some properties of denoising autoencoders using the problem of misspellings correction as an exemplary task. We evaluate the capacity of the network in its classical feed-forward form. We also propose a modification to the output layer of the net, which we called multi-softmax. Experiments show that the model trained with this output layer outperforms traditional network both in learning time and accuracy. We...
-
On the influence of a surface roughness on propagation of anti-plane short-length localized waves in a medium with surface coating
PublicationWe discuss the propagation of localized surface waves in the framework of the linear Gurtin–Murdoch surface elasticity and taking into account a roughness of a free boundary. We derive a boundary-value problem for anti-plane motions with curvilinear boundary and surface stresses. Using the asymptotic technique developed earlier, we obtain the form of a localized wave and analyze its amplitude evolution. As the main result we present...
-
Current Status, Barriers and Development Perspectives for Circular Bioeconomy in Polish South Baltic Area
PublicationThe following article presents the current legal situation in Poland as well as in the European Union. Data on biomass production in the Polish South Baltic area were analyzed, along with an indication of the key sectors for the development of bioeconomy. Presentation of the current state of biomass management was made and areas necessary for development were indicated to facilitate the sustainable management of biomass and waste...
-
Second-order Stark effect and polarizability of a relativistic two-dimensional hydrogenlike atom in the ground state
PublicationThe second-order Stark effect for a planar Dirac one-electron atom in the ground state is analyzed within the framework of the Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian series expansion of the generalized Dirac-Coulomb Green's function. A closed-form analytical expression for the static dipole polarizability of that system is found. The formula involves the generalized hypergeometric function ${}_{3}F_{2}$...
-
Benchmarking Deep Neural Network Training Using Multi- and Many-Core Processors
PublicationIn the paper we provide thorough benchmarking of deep neural network (DNN) training on modern multi- and many-core Intel processors in order to assess performance differences for various deep learning as well as parallel computing parameters. We present performance of DNN training for Alexnet, Googlenet, Googlenet_v2 as well as Resnet_50 for various engines used by the deep learning framework, for various batch sizes. Furthermore,...
-
A new look at the statistical identification of nonstationary systems
PublicationThe paper presents a new, two-stage approach to identification of linear time-varying stochastic systems, based on the concepts of preestimation and postfiltering. The proposed preestimated parameter trajectories are unbiased but have large variability. Hence, to obtain reliable estimates of system parameters, the preestimated trajectories must be further filtered (postfiltered). It is shown how one can design and optimize such...
-
Data Domain Adaptation in Federated Learning in the Breast Mammography Image Classification Problem
PublicationWe are increasingly striving to introduce modern artificial intelligence techniques in medicine and elevate medical care, catering to both patients and specialists. An essential aspect that warrants concurrent development is the protection of personal data, especially with technology's advancement, along with addressing data disparities to ensure model efficacy. This study assesses various domain adaptation techniques and federated...
-
The Weibull model of the multipath fading channel
Open Research DataThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Weibull fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Conley-Morse graphs for a population model with harvesting. Case He-S1: Equal harvesting of juveniles and adults, survival rates of juveniles and adults add up to 1
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Hj-Se: Harvesting juveniles only, equal survival rates of juveniles and adults
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case He-Se: Equal harvesting and equal survival rates of juveniles and adults
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Hj-S1: Harvesting juveniles only, survival rates of juveniles and adults add up to 1
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Ha-S1: Harvesting adults only, survival rates of juveniles and adults add up to 1
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Ha-Se: Harvesting adults only, equal survival rates of juveniles and adults
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Dominik Jasiński dr
PeopleDominik Jasiński is an alumni of International Engineering Doctorate programme completed in the UK at the Warwick Manufacturing Group, faculty of the University of Warwick. He received his Engineering Doctorate degree in 2019 in sustainable materials and sustainable manufacturing. His doctorate project was sponsored by EPSRC and Jaguar Land Rover and the aim of which was to investigate how large manufacturing organisation in the...
-
Visual Detection of People Movement Rules Violation in Crowded Indoor Scenes
PublicationThe paper presents a camera-independent framework for detecting violations of two typical people movement rules that are in force in many public transit terminals: moving in the wrong direction or across designated lanes. Low-level image processing is based on object detection with Gaussian Mixture Models and employs Kalman filters with conflict resolving extensions for the object tracking. In order to allow an effective event...
-
Smart Cities System Design Method Based on Case Based Reasoning
PublicationThe objective of this paper is to present the results of research carried out to develop a design method for Smart Cities systems. The method is based on the analysis of design cases of Smart Cities systems in cities, the selection of the city appropriate to the requirements for implementation and application. The Case Based Reasoning method was used to develop the proposed design methodology, along with mechanisms of the conversion...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
Robust Parameter Estimation and Output Prediction for Reactive Carrier-Load Nonlinear Dynamic Networks
PublicationIn this paper an extension of on-line model simplification technique for a class of networked systems, namely reactive carrier-load nonlinear dynamic networked system (RCLNDNS), kept within point-parametric model (PPM) framework is addressed. The PPM is utilised to acquire a piece wise constant time-varying parameter linear structure for the RCLNDNS suitable for the on-line one step ahead prediction that may be applied to monitoring...
-
Structural Variety of Cobalt(II), Nickel(II), Zinc(II), and Cadmium(II) Complexes with 4,4′-Azopyridine: Synthesis, Structure and Luminescence Properties
PublicationSelf-assembled bi- and polymetallic complexes of CoII, NiII, ZnII, and CdII were obtained by the reaction of 4,4′-azopyridine (azpy) with metal tri-tert-butoxysilanethiolates (Co, 1; Cd, 2), acetylacetonates (Ni, 3; Zn, 4), and acetates (Cd, 5). All compounds were characterized by single-crystal X-ray structure analysis, elemental analysis, FTIR spectroscopy, and thermogravimetry. Complexes 1, 2 and 4, 5 exhibit diverse structural...
-
Ageing of Society — Local Disparities. Classification of the Pomorskie Voivodship Communes According to the Pace and Progress of Local Communities’ Ageing
PublicationThe article deals with the issues of local disparities in the field of advancement and pace of demographic ageing. The subjects of the research were communes of the Pomorskie Voivodship. The purpose of the article — i.e., diagnosing and assessing the progress and pace of ageing of local communities in all 123 communes of the Pomorskie Voivodship, was achieved using a combination of traditional measures of ageing: age factor,...
-
Georg Simmel’s The Philosophy of Money and the Modernization Paradigm
PublicationThis article examines Georg Simmel’s contribution to the understanding of how money functions in modern society, mainly scrutinizing his most important work on that topic, The Philosophy of Money, in the context of modernization theories. Modernization theories, as developed (most notably) by Marx, Weber, Durkheim, and Elias, attempted to explain the transition from feudalism and a closed agrarian economy to capitalism and industrial...
-
Double ZIF-L structures with exceptional CO2 capacity
PublicationCarbon dioxide emission is an emerging problem nowadays and new methods are designed for its control. In this article, a report on the formation of zeolitic imidazole framework with an apparent double leaf-like morphology DZIF-L is given. The special structure of the materials prevents from aggregation of the particles providing remarkable CO2 capacity. At 0.1 MPa the CO2 uptake was 2.99 ± 0.06 mmol/g. The capacity of synthesized...
-
Adaptive Wavelet-Based Correction of Non-Anechoic Antenna Measurements
PublicationNon-anechoic measurements represent an affordable alternative to evaluation of antenna performance in expensive, dedicated facilities. Due to interferences and noise from external sources of EM radiation, far-field results obtained in non-ideal conditions require additional post-processing. Conventional correction algorithms rely on manual tuning of parameters, which make them unsuitable for reliable testing of prototypes. In this...
-
E-Voting System Evaluation Based on the Council of Europe Recommendations: nVotes
PublicationE-voting implantation has been facing important challenges in recent years. Several incidents, together with a lack of evaluation methodologies social and cultural customs hinder a broader application. In this work, the authors aim to contribute to a safer introduction of e-voting tools by applying a practical evaluation framework strongly based on the security requirements issued by the Council of Europe (CoE) in 2017 to nvotes,...
-
Comparison of three methods of EPR retrospective dosimetry in watch glass
PublicationIn this article we present results of our follow-up studies of samples of watch glass obtained and examined within a framework of international intercomparison dosimetry project RENEB ILC 2021. We present three methods of dose reconstruction based on EPR measurements of these samples: calibration method (CM), added dose method (ADM) and added dose&heating method (ADHM). The study showed that the three methods of dose reconstruction...
-
Rapid design optimization of antennas using variable-fidelity EM models and adjoint sensitivities
PublicationPurpose – Development of techniques for expedited design optimization of complex and numerically expensive electromagnetic (EM) simulation models of antenna structures validated both numerically and experimentally. The paper aims to discuss these issues. Design/methodology/approach – The optimization task is performed using a technique that combines gradient search with adjoint sensitivities, trust region framework, as well as...
-
A Concept of Freight Traffic Flow Regulations in the City of Gdansk
PublicationThis paper presents a review of state-of-art efforts in urban freight transport modelling in the context of their requirements and applicability as a basis for evaluation of city's freight transport policy. Freight transport mirrors all aspects of the city's economic activity and for that reason its proper planning is of extreme importance. However, urban freight system may be considered as the most varied and fragmented element...
-
Some aspects of the constitutive modelling of natural fine grained soils
PublicationThe monograph deals with selected problems of the constitutive modelling of natural fine grained soils commonly known as clays. The main idea is not to propose a unified model which is capable of describing all known features of mechanical behaviour of fine grained soils. Instead, separate models are proposed describing the mechanical behaviour of heavily overconsolidated, lightly overconsolidated and normally consolidated clays....
-
Active Annotation in Evaluating the Credibility of Web-Based Medical Information: Guidelines for Creating Training Data Sets for Machine Learning
PublicationMethods Results Discussion References Abbreviations Copyright Abstract Background: The spread of false medical information on the web is rapidly accelerating. Establishing the credibility of web-based medical information has become a pressing necessity. Machine learning offers a solution that, when properly deployed, can be an effective tool in fighting medical misinformation on the web. Objective: The aim of this study is to...
-
EM-Driven Size Reduction and Multi-Criterial Optimization of Broadband Circularly-Polarized Antennas Using Pareto Front Traversing and Design Extrapolation
PublicationMaintaining small size has become an important consideration in the design of contemporary antenna structures. In the case of broadband circularly polarized (CP) antennas, miniaturization is a challenging process due to the necessity of simultaneous handling of electrical and field properties (reflection, axial ratio, gain), as well as ensuring sufficient frequency range of operation, especially at the lower edge of the antenna...
-
Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction
PublicationNowadays, using smart connections can improve the performance of buildings with some recentering features that are from the superelastic behavior of Shape Memory Alloys (SMAs). It seems that there is different rigidity between the designed connection and the real one in Steel Moment-Resisting Frames (SMRFs), which can be considered as a problematic issue due to the importance of connections in seismic performance assessment. This...
-
Entanglement of genuinely entangled subspaces and states: Exact, approximate, and numerical results
PublicationGenuinely entangled subspaces (GESs) are those subspaces of multipartite Hilbert spaces that consist only of genuinely multiparty entangled pure states. They are natural generalizations of the well-known notion of completely entangled subspaces, which by definition are void of fully product vectors. Entangled subspaces are an important tool of quantum information theory as they directly lead to constructions of entangled states,...
-
Compressive Sensing Approach to Harmonics Detection in the Ship Electrical Network
PublicationThe contribution of this paper is to show the opportunities for using the compressive sensing (CS) technique for detecting harmonics in a frequency sparse signal. The signal in a ship’s electrical network, polluted by harmonic distortions, can be modeled as a superposition of a small number of sinusoids and the discrete Fourier transform (DFT) basis forms its sparse domain. According to the theory of CS, a signal may be reconstructed...
-
Application of mechanistic and data-driven models for nitrogen removal in wastewater treatment systems
PublicationIn this dissertation, the application of mechanistic and data-driven models in nitrogen removal systems including nitrification and deammonification processes was evaluated. In particular, the influential parameters on the activity of the Nitrospira activity were assessed using response surface methodology (RSM). Various long-term biomass washout experiments were operated in two parallel sequencing batch reactor (SBR) with a different...
-
Aplikacje i środowiska kontekstowe: Aplikacje internetowe na platformie Eclipse
PublicationPrzedstawiono problematykę tworzenia aplikacji internetowych na platformie Eclipse. Został omówiony standard OSGi, który jest podstawą działania i implementacji Eclipse oraz aspekty OSGi związane z komunikacją internetową. Przedstawiono istniejace frameworki w środowisku Eclipse, które umożliwiają rozwój aplikacji internetowych. Głównymi kierunkami rozwoju frameworków są: IDE do wytwarzania aplikacji oraz integracja platformy Eclipse...
-
Fully Separated Flow Control Using DBD Plasma Actuators Located at the Leading Edge of an Airfoil
PublicationIn the framework of the PLASMAERO European project, experiments were conducted to investigate the authority of surface DBD plasma actuators to alter a fully separated flow around an airfoil in order to improve its aerodynamic performances in its natural stall regime. In this paper, unsteady excitation control is more specifically investigated. The key control parameter studied here is the burst frequency which periodically imposes...
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...
-
Robustness of quantum-randomness expansion protocols in the presence of noise
PublicationIn this paper we investigate properties of several randomness generation protocols in the device independent framework. Using Bell-type inequalities it is possible to certify that the numbers generated by an untrusted device are indeed random. We present a selection of certificates which guarantee two bits of randomness for each run of the experiment in the noiseless case and require the parties to share a maximally entangled state....
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
Publication“If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....
-
The hydrodynamic pressure field of the ship Zodiak, measurements and calculations
PublicationThe article presents the results of measurements of the slowly changing hydrodynamic pressure field HPF generated by the movement of the ship, Zodiak, in the Bay of Gdansk. The measurement results have been obtained in the framework of the program of the work in Siramis, under the auspices of the European Defence Administration of the EU, by the research team of the Naval Academy in Gdynia. The measurement results were compared with...
-
Particle Shape Effect on Macroscopic Behaviour of Underground Structures: Numerical and Experimental Study
PublicationAbstract: The mechanical performance of underground flexible structures such as buried pipes or culverts made of plastics depend not only on the properties of the structure, but also on the material surrounding it. Flexible drains can deflect by 30% with the joints staying tight, or even invert. Large deformations of the structure are difficult to model in the framework of Finite Element Method, but straightforward in Discrete...
-
Supporting the development of clusters in Poland - dillemas faced by public policy
PublicationClusters have proved to be an important source of competitiveness for the economic development of regions within the European Union. In recent years many countries in the EU and throughout the world have launched policies aimed at supporting the development of clusters. There are many examples of good practices in the field of cluster policy, but there is no single model that can be applied in all countries and regions. This paper...
-
Extraction of information from born-digital PDF documents for reproducible research
PublicationBorn-digital PDF electronic documents might reasonably be expected to preserve useful data units of their source originals that suffice to produce executable papers for reproducible research. Unfortunately, developers of authoring tools may adopt arbitrary PDF generation strategies, producing a plethora of internal data representations. Such common information units as text paragraphs, tables, function graphs and flow diagrams,...
-
“Don’t call it work”: An interpretative phenomenological analysis of volunteer firefighting in young adults based on the volunteer process model
PublicationThe number of people engaging in volunteer firefighting is on the decline. It is important to understand what factors on a personal and social level and from the three stages of the volunteer process model: antecedents, experiences and consequences, might be linked to starting and sustaining such engagement. To address this problem, a qualitative, interview-based study was performed on a sample of 10 volunteer firefighters from...
-
Understanding the Relation between HR Practices and Pull Approach to Knowledge Sharing: Case Study
PublicationThe aim of this study is to identify the relationship between human resource (HR) practices, knowledge seeking and knowledge giving by applying the lenses of the motivation-opportunities-abilities framework in the context of the multinational enterprise subsidiary located in Central Europe. The article presents the research results using qualitative methodology, mainly based on semi-structured interviews among employees of a...
-
Student model representation for pedagogical virtual mentors
PublicationThe paper concerns technological aspects of virtual mentors construction, especially concentrating on the student model representation. The article distinguishes several types of information that is gathered by the pedagogical agents and other educational platforms, including student knowledge model, student progress tracking, interaction process patterns and learner preferences. A set of technologies used for the student model...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
A novel section–section potential for short-range interactions between plane beams
PublicationWe derive a novel formulation for the interaction potential between deformable fibers due to short-range fields arising from intermolecular forces. The formulation improves the existing section–section interaction potential law for in-plane beams by considering an offset between interacting cross sections. The new law is asymptotically consistent, which is particularly beneficial for computationally demanding scenarios involving...
-
Disciplines and measures of information resilience
PublicationCommunication networks have become a fundamental part of many critical infrastructures, playing an important role in information delivery in various failure scenarios triggered e.g., by forces of nature (including earthquakes, tornados, fires, etc.), technology-related disasters (for instance due to power blackout), or malicious human activities. A number of recovery schemes have been defined in the context of network resilience...