Filters
total: 1717
displaying 1000 best results Help
Search results for: MULTI-PARTY COMPUTATION
-
Internetowe systemy przetwarzania rozproszonego typu grid w zastosowaniach biznesowych
PublicationSkoncentrowano się na możliwościach wykorzystania oraz integracji rozproszonych mocy obliczeniowych komputerów Internautów w globalnej sieci www. Zaprezentowano paradygmaty sieciowego przetwarzania typu grid computing oraz volunteer computing. Podkreślono istotność tego typu przetwarzania w zagadnieniach wymagających bardzo dużych mocy obliczeniowych. Zaprezentowano przykłady rozwiązań systemowych tego typu: system BOINC, będący...
-
Sieciowe systemy przetwarzania rozproszonego typu GRID – rozwiązania systemowe oraz przykłady aplikacyjne
PublicationZaprezentowano możliwości wykorzystania oraz integracji rozproszonych mocy obliczeniowych komputerów Internautów w globalnej sieci www. Pokazano paradygmaty internetowego przetwarzania rozproszonego typu grid computing oraz volunteer computing. Zwrócono uwagę na istotność tego typu przetwarzania w rozwiązywaniu zagadnień wymagających bardzo dużych mocy obliczeniowych. Pokazano reprezentatywne przykłady rozwiązań systemowych tego...
-
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...
-
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...
-
Virtual Space Vector Pulse Width Modulation Algorithm for Three-Level NPC Converters Based on the Final Element Shape Functions
PublicationThe paper puts forth a novel idea for the computation of Nearest Three Virtual Space Vector Pulse Width Modulation for the three level NPC converters. The computations are based on the concept of final element shape function widely used in the domain of finite element analysis. The proposed approach significantly frees the computations from the use of trigonometric functions, which simplifies the computations and permits easier...
-
WIKI-WS as a C2 NIWA Web Service Management Platform
PublicationThe Wiki-WS platform was implemented within the C2 NIWA project for production purposes. Wiki-WS stands for developing, managing and maintaining web services. The production deployment needed implementation of several functional improvements and establishing a strong security 7 safety policy. The WikiWS platform has to be used as an educational environmement for developing web sevices and production environment for execution of...
-
A Goal-Oriented Error Estimator for Reduced Basis Method Modeling of Microwave Devices
PublicationThis letter proposes a novel a-posteriori error estimator suitable for the reduced order modeling of microwave circuits. Unlike the existing error estimators based on impedance function residuals, the new one exploits the residual error associated with the computation of the scattering matrix. The estimator can be effectively used in the Reduced Basis Method (RBM) to automatically generate reduced-order models. The results of numerical...
-
Implementation of magnitude calculation of complex numbers using improved alpha max plus beta min algorithm
PublicationThe paper presents the hardware implementation of the improved alpha max plus beta min algorithm for calculating the magnitude of complex numbers. This version of the algorithm requires the general division which is performed using a noniterative multiplicative division algorithm. We analyze in detail the division algorithm, its error and the impact of finite word-length signal representations on the assumed total computation error....
-
Binary-Encounter Model for Direct Ionization of Molecules by Positron-Impact
PublicationWe introduce two models for the computation of direct ionization cross sections by positron impact over a wide range of collision energies. The models are based on the binary-encounter-Bethe model and take into account an extension of the Wannier theory. The cross sections computed with these models show good agreement with experimental data. The extensions improve the agreement between theory and experiment for collision energies...
-
Dynamic effect of the vehicle passing under lightweight footbridge.
PublicationThe paper describes a numerical study of dynamic response of cable-stayed steel footbridge for a big lorry passing underneath. The footbridge is an existing object crossing Wolska street in Warsaw. The structural model of footbridge was verified by dynamic test loading. A numerical study of a vehicle passing under footbridge is presented. 2D and 3D incompressible flow fields are modeled using sliding mesh in transient CFD computation....
-
Three-dimensional representation of geographic data in a Web-based GIS
PublicationPresenting geographic data in a web environment has been a long standing problem. For many years the low performance of web browsers has limited the visualization of spatial data to only two dimensions. More recently, the introduction of open standards for 3D acceleration of web applications sparked the emergence of new methods of presenting three-dimensional data in a web browser without using third-party extensions. However,...
-
Assessment of under power ed propulsion machinery in electrically driven small inland waterway passenger ships from classification society point of view
PublicationPaper presents short operat ional a nd engineering analysis of underpowered propulsion in small electrically propelled small inland passenger ships. There is evidence that in certain weather conditions the phenomena of added aerodynamic resistance of small water crafts may have seriou s influence on their speed and manoeuvrability. Existing regulations like class societies rules for ship classification and construction or EU Directive 2006/87/EC do...
-
ASSESSMENT OF UNDERPOWER ED PROPULSION MACHINERY IN ELECTRICALLY DRIVEN SMALL INLAND WATERWAY PASSENGER SHIPS FROM CLASSIFICATION SOCIETY POINT OF View
PublicationPaper presents short operat ional a nd engineering analysis of underpowered propulsion in small electrically propelled small inland passenger ships. There is evidence that in certain weather conditions the phenomena of added aerodynamic resistance of small water crafts may have serious influence on their speed and manoeuvrability. Existing regulations like class societies rules for ship classification and construction or EU Directive 2006/87/EC do...
-
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
-
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.
-
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.
-
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 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.
-
Diffusion process modeling by using fractional-order models
Publication -
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.
-
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ń.
-
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...
-
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...
-
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.
-
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...
-
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.
-
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...
-
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...
-
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.
-
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...
-
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...
-
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...
-
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...
-
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...
-
International Symposium on Fundamentals of Computation Theory (International Symposium on Fundamentals of Computer Theory)
Conferences