Search
Filters
total: 1792
displaying 1000 best results Help
Search results for: MULTI-PARTY COMPUTATION
-
Software Agents for Computer Network Security
PublicationThe chapter presents applications of multi-agent technology for design and implementation of agent-based systems intended to cooperatively solve several critical tasks in the area of computer network security. These systems are Agent-based Generator of Computer Attacks (AGCA), Multi-agent Intrusion Detection and Protection System (MIDPS), Agent-based Environment for Simulation of DDoS Attacks and Defense (AESAD) and Mobile Agent...
-
Team Strategies - sem. 2022/23
e-Learning CoursesThe main aim of the course is to familiarize students with the basic problems in team strategies, such as: the use of the particle swarm optimization algorithms, the ant colony optimization, stochastic distributed searches, algorithms for team strategy, multi-agent systems, modeling intelligent cooperation, simulations of social behavior. The form of passing the course is passing the exam and completing a project task
-
Team Strategies - sem. 2023/24
e-Learning CoursesThe main aim of the course is to familiarize students with the basic problems in team strategies, such as: the use of the particle swarm optimization algorithms, the ant colony optimization, stochastic distributed searches, algorithms for team strategy, multi-agent systems, modeling intelligent cooperation, simulations of social behavior. The form of passing the course is passing the exam and completing a project task
-
Team Strategies - sem. 2024/25
e-Learning CoursesThe main aim of the course is to familiarize students with the basic problems in team strategies, such as: the use of the particle swarm optimization algorithms, the ant colony optimization, stochastic distributed searches, algorithms for team strategy, multi-agent systems, modeling intelligent cooperation, simulations of social behavior. The form of passing the course is passing the exam and completing a project task
-
St. Adalberd church 3D point model
Open Research DataResearch data show the church of St. Adalbert in Gdansk, Poland. Two layers are presented in the .zip file: one represents the laser scanning result, the second represents the point cloud from 36 photogrammetry images from the UAV system. The aligned point clouds formed the basis to create the high-resolution 3D model. Reference data are laser scanning...
-
On nonlinear two-point boundary value problems for impulsive differential-algebraic problems [online]
PublicationSformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań dla zagadnień brzegowych dla równań różniczkowo-algebraicznych z impulsami. Badano też nierówności różniczkowo-algebraiczne z impulsami przy odpowiednich warunkach brzegowych. Na przykładzie zilustrowano otrzymane wyniki.
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublicationPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Boundary value problems for differential equations with deviated arguments which depend on the unknown solution
PublicationDyskutowane są zagadnienia brzegowe dla równań różniczkowo funkcyjnych pierwszego rzędu z odchylonym argumentem zależnym od nieznanego rozwiązania. Sformułowane są warunki dostateczne isnienia quasirozwiązań i rozwiązań takich zagadnień.
-
First-order advanced difference equations
PublicationBadano istnienie rozwiązań równań różnicowych rzędu pierwszego z wyprzedzonymi argumentami. Podano warunki na istnienie jedynego rozwiązania. Przedmiotem badań były też nierówności różnicowe związane z w/w równaniami różnicowymi. Otrzymane wyniki zilustrowano na przykładzie.
-
On dynamic equations with deviating arguments
PublicationPraca dotyczy istnienia rozwiązań równań dynamicznych z odchylonymi argumentami. Podane zostały warunki dostateczne na istnienie rozwiązania. Dwa przykłady ilustrują otrzymane wyniki.
-
Are quantum correlations symmetric?
PublicationWe provide operational definition of symmetry of entanglement: An entangled state contains symmetric entanglement if its subsystems can be exchanged (swapped) by means of local operations and classical communication. We show that in general states have asymmetric entanglement. This allows to construct nonsymmetric measure of entanglement, and a parameter that reports asymmetry of entanglement contents of quantum state. We propose...
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
Diffusion process modeling by using fractional-order models
Publication -
On differential-algebraic problems
PublicationW pracy podano warunki dostateczne na istnienie ekstremalnych lubkwazi rozwiązań dla problemów różniczkowo-algebraicznych z nieliniowymi warunkami brzegowymi. Problem istnienia jednego rozwiązania w/w zagadnień był również dyskutowany.
-
Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments
PublicationW pracy dyskutowano problem istnienia dodatnich rozwiązań dla równań różniczkowych z impulsami rzędu drugiego i z argumentami typu wyprzedzonego. Podano warunki dostateczne na istnienie jednego lub dwóch rozwiązań dodatnich takich zagadnień.
-
Positive solutions to second order four-point boundary value problems for impulsive differential equations
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowych drugiego rzędu z impulsami. Podane zostały warunki dostateczne na istnienie trzech dodatnich rozwiązań takich problemów z czteropunktowymi warunkami brzegowymi. W badaniach korzystano z twierdzenia Leggetta-Williamsa.
-
Chromatic cost coloring of weighted bipartite graphs
PublicationGiven a graph G and a sequence of color costs C, the Cost Coloring optimization problem consists in finding a coloring of G with the smallest total cost with respect to C. We present an analysis of this problem with respect to weighted bipartite graphs. We specify for which finite sequences of color costs the problem is NP-hard and we present an exact polynomial algorithm for the other finite sequences. These results are then extended...
-
ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS
PublicationIt has been recently shown, that some of the tripartite boxes admittin g bilocal decom- position, lead to non-locality under wiring operation applied to t wo of the subsystems [R. Gallego et al. Physical Review Letters 109 , 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of bo xes closed un- der wirings, we introduce multipartite monotones which are count erparts of bipartite ones...
-
Fractional problems with advanced arguments
PublicationThis paper concerns boundary fractional differential problems with advanced arguments. We investigate the existence of initial value problems when the initial point is given at the end point of an interval. Nonhomogeneous linear fractional differential equations are also studied. The existence of solutions for fractional differential equations with advanced arguments and with boundary value problems has been investigated by using...
-
Positive solutions to fractional differential equations involving Stieltjes integral conditions
PublicationIn this paper, we investigate nonlocal boundary value problems for fractional differential equations with dependence on the first-order derivatives and deviating arguments. Sufficient conditions which guarantee the existence of at least three positive solutions are new and obtained by using the Avery–Peterson theorem. We discuss problems (1) and (2) when argument b can change the character on [0, 1], so in some subinterval I of...
-
Monotone iterative method for first-order differential equations at resonance
PublicationThis paper concerns the application of the monotone iterative technique for first-order differential equations involving Stieltjes integrals conditions. We discuss such problems at resonance when the measure in the Stieltjes integral is positive and also when this measure changes the sign. Sufficient conditions which guarantee the existence of extremal, unique and quasi-solutions are given. Three examples illustrate the results.
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublicationBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
Existence results to delay fractional differential equations with nonlinear boundary conditions
PublicationPraca dotyczy problemów brzegowych dla ułamkowych równań różniczkowych z opóźnionym argumentem. Podano warunki dostateczne na istnienie rozwiązań ekstremalnych takich zagadnień.
-
Existence of solutions for a coupled system of difference equations with cousal operators
PublicationPraca dotyczy układów równań różnicowych. Podano warunki dostateczne na istnienie rozwiązań takich problemów. Badano również nierówności różnicowe.
-
Multiacces quantum communication and product higher rank numerical range
PublicationIn the present paper we initiate the study of the product higher rank numerical range. The latter, being a variant of the higher rank numerical range, is a natural tool for study- ing a construction of quantum error correction codes for multiple access channels. We review properties of this set and relate it to other numerical ranges, which were recently introduced in the literature. Further, the concept is applied to the construction...
-
Green function diagonal for a class of heat equations
PublicationA construction of the heat kernel diagonal is considered as element of generalized zeta function theory, which gradient at the origin defines determinant of a differential operator in a technique for regularizing quadratic path integral. Some classes of explicit expressions of the Green function in the case of finite-gap potential coefficient of the heat equation are constructed. An algorithm and program for Mathematica are presented...
-
NO-BROADCASTING OF NON-SIGNALLING BOXES VIA OPERATIONS WHICH TRANSFORM LOCAL BOXES INTO LOCAL ONES
PublicationWe deal with families of probability distributions satisfying non-signalling condition, called non-signalling boxes and consider a class of operations that transform local boxes into local ones (the one that admit LHV model). We prove that any operation from this class cannot broadcast a bipartite non-local box with 2 binary inputs and outputs. We consider a function called anti-Robustness which can not decrease under these operations....
-
Average distance is submultiplicative and subadditive with respect to the strong product of graphs
PublicationWe show that the average distance is submultiplicative and subadditive on the set of non-trivial connected graphs with respect to the strong product. We also give an application of the above-mentioned result.
-
Mathematical analysis of a generalised p53-Mdm2 protein gene expression model
PublicationWe propose the generalisation of the p53-Mdm2 protein gene expression model introduced by Monk (2003). We investigate the stability of a unique positive steady state and formulate conditions which guarantee the occurrence of the Hopf bifurcation. We show that oscillatory behaviour can be caused not only by time lag in protein transcription process, but also can be present in the model without time delay. Moreover, we investigate...
-
Boundary vlue problems for difference equations with causal operators
PublicationPraca dotyczy problemów brzegowych dla równań różnicowych.Podano warunki dostateczne na istnienie ekstremalnych rozwiązań stosując metodę iteracji monotonicznych.
-
Parallel multithread computing for spectroscopic analysis in optical coherence tomography
PublicationSpectroscopic Optical Coherence Tomography (SOCT) is an extension of Optical Coherence Tomography (OCT). It allows gathering spectroscopic information from individual scattering points inside the sample. It is based on time-frequency analysis of interferometric signals. Such analysis requires calculating hundreds of Fourier transforms while performing a single A-scan. Additionally, further processing of acquired spectroscopic information...
-
Emilia Miszewska dr inż.
PeopleEmilia Miszewska was born in 1986 in Gdańsk. She graduated from Primary School No. 17 in Gdańsk with sports classes specializing in swimming and Janusz Kusociński Sports Secondary School No. 11 in Gdańsk. In 2005, she started uniform master's studies at the Faculty of Civil and Environmental Engineering, which she completed in 2011, defending her diploma thesis entitled "Analysis and development of fire protection guidelines and...
-
Speed sensorless ac drive with inverter output filter and fault detection using load torque signal
PublicationIn this paper, a sensorless induction motor (IM) drive using speed observer system is presented. The system includes load torque computation for gear fault detection. Nonlinear control method is adopted for controlling the motor over a wide speed range. An LC filter for smoothing current and voltage waveforms is used at the output of the voltage inverter. The use of filter imposes more building of the used observer to avoid using...
-
Comparison of Tracking Methods in Respect of Automation of Animal Behavioral Test
PublicationAutomation in experiments carried out on animals is getting more and more important in research. Computers take over laborious and time-consuming activities like recording and analysing images of experiment scene. The first step in an image analysis is finding and distinguishing between the observed animals, and then tracking all objects during the experiment. In this paper four tracking methods are presented. Quantitative and...
-
GROUP COMPOSER - System for Modeling Agents’ Team Building for Tasks
PublicationMulti-agent systems consist of many autonomous units, called agents, that can interact when trying to achieve their goals. The selection of interaction partners is called team formation. Three basic approaches can be considered to match multi-agent system resources to the problem at hand. To research the properties of different approaches, a software for modeling team formation in multi-agent systems has been created and is presented...
-
Optimising Sequencing Batch Reactor Operation Cycle Planning Using Evolutionary Algorithm
PublicationThe objective of this research was to optimise the operation cycle of the Sequencing Batch Reactor (SBR). Appropriate time balances of aerobic to anaerobic phases, as well as a set dissolved oxygen level are the key to ensuring the quality of effluent from the wastewater treatment process. The proposal to solve this optimisation problem was based on multi-objective optimisation using an evolutionary multi-objective optimisation...
-
Elemental composition of deposited sediments at the tram-route junction
Open Research DataThis data set contains the elemental composition results of deposited sediments collected at the tram-route junction in Gdańsk. Sample collection began in July 2022, when the tram lines were completed and before the rails were scrubbed (27/07/2022). The second sample round was carried out following rail scrubbing in October 2022 (7/10/2022). Since February...
-
Data obtained by numerical simulation for X-ray focusing using a finite difference method
Open Research DataThe propagation of X-ray waves through an optical system consisting of many X-ray refractive lenses is considered. For solving the problem for an electromagnetic wave, a finite-difference method is applied.
-
International Symposium on Fundamentals of Computation Theory (International Symposium on Fundamentals of Computer Theory)
Conferences -
Zeiss calibration dataset for high-precision 3D measurement of large industrial components
Open Research DataThe dataset is a collection of images, 2D image points, and 3D points. It serves to calibrate a multi-camera robot system for high-precision measurements of large industrial components (more than 1m x 1m). In particular, the system uses a 3D scanner mounted on a robot manipulator and multiple cameras attached to an external frame outside of the robot...
-
A variational approach of homogenization of piezoelectric composites towards piezoelectric and flexoelectric effective media
PublicationThe effective piezoelectric properties of heterogeneous materials are evaluated in the context of periodic homogenization, whereby a variational formulation is developed, articulated with the extended Hill macrohomogeneity condition. The entire set of homogenized piezoelectric moduli is obtained as the volumetric averages of the microscopic properties of the individual constituents weighted by the displacement and polarization...
-
Parallel Computations of Text Similarities for Categorization Task
PublicationIn this chapter we describe the approach to parallel implementation of similarities in high dimensional spaces. The similarities computation have been used for textual data categorization. A test datasets we create from Wikipedia articles that with their hyper references formed a graph used in our experiments. The similarities based on Euclidean distance and Cosine measure have been used to process the data using k-means algorithm....
-
Pipelined division of signed numbers with the use of residue arithmetic in FPGA
PublicationAn architecture of a pipelined signed residue divider for small number ranges is presented. The divider makes use of the multiplicative division algorithm where initially the reciprocal of the divisor is calculated and subsequently multiplied by the dividend. The divisor represented in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to reduce the needed length...
-
Numerical Test for Stability Evaluation of Discrete-Time Systems
PublicationIn this paper, a new numerical test for stability evaluation of discrete-time systems is presented. It is based on modern root-finding techniques at the complex plane employing the Delaunay triangulation and Cauchy's Argument Principle. The method evaluates if a system is stable and returns possible values and multiplicities of unstable zeros of the characteristic equation. For state-space discrete-time models, the developed test...
-
Shape Optimisation of Kaplan Turbine Blades Using Genetic Algorithms
PublicationThis monograph is a comprehensive guide to a method of blade profile optimisation for Kaplan-type turbines. This method is based on modelling the interaction between rotor and stator blades. Additionally, the shape of the draft tube is investigated. The influence of the periodic boundary condition vs. full geometry is also discussed. Evolutionary algorithms (EA) are used as an optimisation method together with artificial neural...
-
Representation of magnetic hysteresis in a circuit model of a single-phase transformer
PublicationThe paper presents a mathematical model for the hysteresis phenomenon in a multi-winding single-phase core type transformer. The set of loop differential equations was developed for K-th winding transformer model where the flux linkages of each winding includes a flux common Φ to all windings as function of magneto motive force Θ of all windings. The first purpose of this paper is to determine a hysteresis nonlinearity involved...
-
Asynchronous WAM with Irregular Pulse Repetition
PublicationRadiolocation systems for aviation based on Multi-Lateration (MLAT) typically use a set of synchronised ground sensors to receive radio signals broadcast by onboard transmitters. In most cases, the sensor synchronisation in Wide Area Multi-Lateration Systems (WAM) is provided by Global Navigation Satellite System (GNSS) receivers. However, in the case of synchronisation failure, there is still a possibility to estimate the coordinates...
-
Nodal models of Pressurized Water Reactor core for control purposes – A comparison study
PublicationThe paper focuses on the presentation and comparison of basic nodal and expanded multi-nodal models of the Pressurized Water Reactor (PWR) core, which includes neutron kinetics, heat transfer between fuel and coolant, and internal and external reactivity feedback processes. In the expanded multi-nodal model, the authors introduce a novel approach to the implementation of thermal power distribution phenomena into the multi-node...
-
Discouraging Traffic Remapping Attacks in Local Ad Hoc Networks
PublicationQuality of Service (QoS) is usually provided in ad hoc networks using a class-based approach which, without dedicated security measures in place, paves the way to various abuses by selfish stations. Such actions include traffic remapping attacks (TRAs), which consist in claiming a higher traffic priority, i.e., false designation of the intrinsic traffic class so that it can be mapped onto a higher-priority class. In practice, TRAs...
-
Roman Śmierzchalski prof. dr hab. inż.
PeopleRoman Śmierzchalski born in 1956 in Gdynia. He received the M.Sc. degree in 1979, the Ph.D. degree in 1989, both from the Gdańsk University of Technology, and the D.Sc. (‘habilitation’) degree in 1999 from the Warsaw University of Technology. From 1980 to 2009 he was an academic teacher and researcher with the Gdynia Maritime University, and since 2009 he has been with the Gdansk University of Technology, where he is currently...