Filters
total: 3131
filtered: 3009
-
Catalog
- Publications 3009 available results
- Journals 3 available results
- Conferences 1 available results
- People 26 available results
- Inventions 2 available results
- Projects 1 available results
- Laboratories 1 available results
- e-Learning Courses 52 available results
- Events 7 available results
- Open Research Data 29 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: PROBLEM CAUCHY´EGO
-
How to meet when you forget: log-space rendezvous in arbitrary graphs
PublicationProblem rendezvous został dogłębnie zbadany, zarówno dla agendów anonimowych jak i poetykietowanych. zbadano też problem eksploracji grafu za pomocą agentów mobilnych.
-
The complexity of minimum-length path decompositions
PublicationWe consider a bi-criteria generalization of the pathwidth problem, where, for given integers k, l and a graph G, we ask whether there exists a path decomposition P of G such that the width of P is at most k and the number of bags in P, i.e., the length of P, is at most l. We provide a complete complexity classification of the problem in terms of k and l for general graphs. Contrary to the original pathwidth problem, which is fixed-parameter...
-
On solvability of initial boundary-value problems of micropolar elastic shells with rigid inclusions
PublicationThe problem of dynamics of a linear micropolar shell with a finite set of rigid inclusions is considered. The equations of motion consist of the system of partial differential equations (PDEs) describing small deformations of an elastic shell and ordinary differential equations (ODEs) describing the motions of inclusions. Few types of the contact of the shell with inclusions are considered. The weak setup of the problem is formulated...
-
Przepustowość istniejącego układu kanalizacyjnego a metody wyznaczania natężeń deszczy miarodajnych
PublicationAnalizy przepustowości układu kanalizacji pracującego w układzie mieszanym - częściowo ogólnospławnym częściowo mieszanym. Problem identyfikacji przewodów. Analizy przepustowości w aspekcie wymagań PN-EN752 oraz wytycznej A118. Wykorzystane wzory empiryczne Błaszczyka, Bogdanowicz-Stachy i Suligowskiego. Problem zjawisk ekstremalnych. Zmiany w zagospodarowaniu przestrzeni, ich wpływ na parametry zlewni. Szczególny problem przepustowości...
-
Interval incidence coloring of subcubic graphs
PublicationIn this paper we study the problem of interval incidence coloring of subcubic graphs. In [14] the authors proved that the interval incidence 4-coloring problem is polynomially solvable and the interval incidence 5-coloring problem is N P-complete, and they asked if χii(G) ≤ 2∆(G) holds for an arbitrary graph G. In this paper, we prove that an interval incidence 6-coloring always exists for any subcubic graph G with ∆(G) = 3.
-
Grzebowiska dla zwierząt w Polsce
PublicationW niniejszym artykule podjęto tematykę miejsc pochówku zwierząt. Problem został omówiony w odniesieniu do terenu Polski na tle przykładów z zagranicy. Współczesne grzebowiska dla zwierząt powstają w naszym kraju od niedawna i mimo że cmentarze dla zwierząt są u nas stosunkowo nowym zjawiskiem, to już teraz można dostrzec ich typowe cechy przestrzenne. Autorka, na co dzień zajmująca się zagadnieniami z dziedziny architektury, starała...
-
Saint-Venant torsion based on strain gradient theory
PublicationIn this study, the Saint-Venant torsion problem based on strain gradient theory is developed. A total form of Mindlin's strain gradient theory is used to acquire a general Saint-Venant torsion problem of micro-bars formulation. A new Finite Element formulation based on strain gradient elasticity theory is presented to solve the Saint-Venant torsion problem of micro-bars. Moreover, the problem is solved for both micro and macro...
-
Exploiting multi-interface networks: Connectivity and Cheapest Paths
PublicationLet G = (V,E) be a graph which models a set of wireless devices (nodes V) that can communicate by means of multiple radio interfaces, according to proximity and common interfaces (edges E). The problem of switching on (activating) the minimum cost set of interfaces at the nodes in order to guarantee the coverage of G was recently studied. A connection is covered (activated) when the endpoints of the corresponding edge share at...
-
Scheduling of unit-length jobs with cubic incompatibility graphs on three uniform machines
PublicationWe consider the problem of scheduling n identical jobs on 3 uniform machines with speeds s1, s2, and s3 to minimize the schedule length. We assume that jobs are subject to some kind of mutual exclusion constraints, modeled by a cubic incompatibility graph. We how that if the graph is 2-chromatic then the problem can be solved in O(n^2) time. If the graph is 3-chromatic, the problem becomes NP-hard even if s1>s2=s3.
-
Analiza przybliżonego algorytmu dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym.
PublicationW pracy rozważamy kombinatoryczny problem MERST polegający na szukaniu, dla danego grafu, drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Dla ogólnych grafów problem MERST jest NP-trudny. W pracy zaproponowano nową funkcję dobroci dla pewnego przybliżonego algorytmu rozwiązującego powyższy problem i przeprowadzono doświadczenia komputerowe w celu porównania nowej z wcześniej znaną funkcją dobroci.
-
An Intergrated Model of Motion, Steering, Positioning and Stabilization of an Unmanned Autonomous Maritime Vehicle
PublicationIn the paper the aim of an interdisciplinary research is presented. The research method is introduced. An object the unmanned autonomous maritime vehicle is briefly described. The key research problem concerns a combined model of the vehicle motion including the loads of lift and hydrodynamic nature. The model takes into account the gravity and displacement forces, resistance and thrust forces, lift and other hydrodynamic forces....
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublicationThe article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them
-
Grafo-ania, czyli rzecz o grafach i algorytmach. Drzewa Steinera
PublicationProblem: na płaszczyźnie leżą 3 punkty. Znajdź czwarty, taki że jego sumaryczna odległość od 3 pozostałych jest minimalna, Pokazujemy jak rozwiązać ten problem i jego uogólnienie.
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublicationThe presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.
-
Polar boundary conditions along a soil structure interface.
PublicationAnalizowano problem strefy kontaktu między gruntem a konstrukcją. Obliczenia wykonano stosując mikropolarne prawo sprężysto-plastyczne oraz mikropolarne prawo hipoplastyczne. Analizie poddano problem płynięcia silosowego oraz ścinania wąskiej warstwy.
-
Shared multi-processor scheduling
PublicationWe study shared multi-processor scheduling problem where each job can be executed on its private processor and simultaneously on one of many processors shared by all jobs in order to reduce the job’s completion time due to processing time overlap. The total weighted overlap of all jobs is to be maximized. The problem models subcontracting scheduling in supply chains and divisible load scheduling in computing. We show that synchronized...
-
Wybrane elementy projektowania budynków wielofunkcyjnych stanowiących miejskie centra logistyczne
PublicationCelem artykułu jest przedstawienie wybranych aspektów dotyczących projektowania budynków wielofunkcyjnych stanowiących miejskie centra logistyczne. Centrum logistyczne lokalizowane w obszarze zurbanizowanym jest formalnie obiektem, który ma na celu zaspokojenie wielu potrzeb funkcjonalnych względem potencjalnych użytkowników. Miejskie centrum logistyczne stanowi swego rodzaju system, którego podstawą jest sprawna obsługa procesów...
-
A system automating repairs of IT systems
PublicationThis paper presents two problems that are important nowadays: the problem of IT systems monitoring and the problem of repairing them. It shows the developed solution, aimed to automate the existing industrial repair process and to integrate it with the existing monitoring solutions and mechanisms. Described solution is a part of a bigger whole, called the Repair Management Framework (RMF). This paper presents also briefly a case...
-
GNIAZDA PRZEDSIĘBIORCZOŚCI W STREFIE PODMIEJSKIEJ METROPOLII
PublicationProblem suburbanizacji jest wciąż aktualny w analizach rozwoju miast. Przybiera często formy spontanicznego rozlewania się miast (urban sprawl). Badacze tego problemu skupiają się przeważnie na rozwoju funkcji mieszkaniowej w strefach podmiejskich. Specyficzny charakter polskiego procesu suburbanizacji polega na równoległym rozwoju klasycznej suburbanizacji osiedleńczej oraz rozwoju mikro- oraz małych i średnich przedsiębiorstw....
-
Kanalizacja na wsi
PublicationRozwój kanalizacji na obszarach wiejskich. Dynamika procesów. Problem dysproporcji miasto - wieś. Problem racjonalizacji wydatków. Braki na poziome opracowań w zakresie planowania przestrzennego - strategia rozwoju gminy. Kon sekwencje rutyny w projektowaniu.
-
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...
-
ANYTIME POLYNOMIAL HEURISTIC ALGORITHM FOR PARTITIONING GROUPS OF DATA WITH PRESERVING CLASS PROPORTIONS FOR CROSS-VALIDATION
PublicationThe article describes a problem of splitting data for k-fold cross-validation, where class proportions must be preserved, with additional constraint that data is divided into groups that cannot be split into different cross-validation sets. This problem often occurs in e.g. medical data processing, where data samples from one patient must be included in the same cross-validation set. As this problem is NP-complete, a heuristic...
-
Minimum drag shape bodies moving in inviscid fluid - revisited
PublicationThis paper presents the classic approach to minimum drag shape body problem, moving at hypersonic speeds, leading to famous power law shapes with value of the exponent of 3/4. Two- and three-dimensional cases are considered. Furthermore, an exact pseudo solution is given and its uselessness is discussed. Two new solutions are introduced, namely an approximate solution due to form of the functional and solution by means of optimisation...
-
Multidisciplinary Open System Transferring Knowledge for R2B Development
PublicationDespite many efforts, there is still a serious problem in transferring knowledge from research to business. The problem is especially visible in Poland – the cooperation of R2B is ineffective. We are trying to solve this problem using some IT support. The manuscript presents some solutions developed at the Gdańsk University of Technology. In particular, the platform called “MOST Knowledge” is deeply described. Its layer architecture,...
-
Approximate solution for Euler equations of stratified water via numerical solution of coupled KdV system
PublicationWe consider Euler equations with stratified background state that is valid for internal water waves. The solution of the initial-boundary problem for Boussinesq approximation in the waveguide mode is presented in terms of the stream function. The orthogonal eigenfunctions describe a vertical shape of the internal wave modes and satisfy a Sturm-Liouville problem. The horizontal profile is defined by a coupled KdV system which is...
-
Service-based Resilience for Embedded IoT Networks
PublicationEmbedded IoT networks are the backbone of safety-critical systems like smart factories, autonomous vehicles, and airplanes. Therefore, resilience against failures and attacks should be a prior concern already in their design stage. In this study, we introduce a service-based network model as an MILP optimization problem for the efficient deployment of a service overlay to the embedded network by meeting QoS and resilience requirements....
-
Wybrane sytuacje wpływające istotnie na warunki i możliwości eksploatacji infrastruktury
PublicationProblem wpływu warunków prowadzenia procesu inwestycyjnego na możliwości i warunki przyszłej eksploatacji. Omówiono podstawowe grupy przyczyn powodujących powstanie negatywnych sytuacji budowlanych. Podstawowe błędy procesu inwestycyjnego. Najsłabsze strony procesu. Przeciwdziałanie występującym zagrożeniom. Problem błędu człowieka
-
A graph coloring approach to scheduling of multiprocessor tasks on dedicated machines with availability constraints
PublicationWe address a generalization of the classical 1- and 2-processor unit execution time scheduling problem on dedicated machines. In our chromatic model of scheduling machines have non-simultaneous availability times and tasks have arbitrary release times and due dates. Also, the versatility of our approach makes it possible to generalize all known classical criteria of optimality. Under these stipulations we show that the problem...
-
Scheduling of unit-length jobs with bipartite incompatibility graphs on four uniform machines
PublicationThe problem of scheduling n identical jobs on 4 uniform machines with speeds s1>=s2>=s3>=s4 is considered.The aim is to find a schedule with minimum possible length. We assume that jobs are subject to mutual exclusion constraints modeled by a bipartite incompatibility graph of degree delta. We show that the general problem is NP-hard even if s1=s2=s3. If, however, delta<5 and s1>12s2 s2=s3=s4, then the problem can be solved to...
-
The Impact of Forms of Buildings on the Air Exchange in Their Environment. Based on the Example of Urban Development in Warsaw
PublicationPossibilities for energy-efficient, natural ventilation of buildings in an urban environment depend on the airflow around them. This chapter deals with the issue of dependence of air exchange in urban spaces on the building forms used in them and on relative position of these buildings. The authors focused on the problem of air stagnation in dense urban development. This phenomenon increases the energy demand of buildings. The...
-
Sacrum - Profanum, Profanum-Sacrum, Przemiany funkcji budowli sakralnych w XX wieku = Sacrum-Profanum, Profanum-Sacrum, Transformations of function of sacral buildings in 20th century
PublicationPublikacja dotyczy aktualnych problemów zwiazanych z procesami desakralizacji i resakralizacji obiektów. złozony problem dotyczy krajów zarówno Europy wschodniej i zachodniej. Ulegają mu obiekty różnych obrządków i wyznań. Problem dotyczy zarówno samej architektury jak i przemian społecznych.
-
Betonowe dylematy
PublicationProblemy stosowania betonów w kanalizacji - szczególne zagrożenie korozją siarczanową. Problem różnic pomiędzy betonem a żelbetem. transformacja betonu na gips. Współczesne wymagania w stosunku bo betonów - zasadność przestrzegania standardów europejskich. Wytrzymałość surowca a wytrzymałość wyrobu. Problem nierównej jakości ''betonu''.
-
Gdy w sieci jest powietrze
PublicationPowietrze w sieci wodociągowej i kanalizacyjnej. Problem blokady przepływu w przewodach ciśnieniowych. Problem podciśnienia i zasysania rury. Wtórne zmiany jakości ścieków, zagniwanie, odory. Uciążliwość dla środowiska. Skuteczne rozwiązanie dla obiektu liniowego i dla obiektu punktowego. Filtry, wypełnienia.
-
Recognition of Hand Drawn Flowcharts
PublicationIn this paper the problem of hand drawn flowcharts recognition is presented. There are described two attitudes to this problem: on-line and off-line. A concept of FCE, a system for recognizing and understanding of freehand drawn on-line flow charts on desktop computer and mobile devices is presented. The first experiments with the FCE system and the planes for future are also described.
-
Retencja w warunkach aglomeracji miejskich – zbiornik rurowy
Publicationproblem retencji wód opadowych na obszarze zurbanizowanym. przykład warszawski konsekwencji braku wcześniejszej strategii. zbiornik retencyjny wód opadowych w mieście. koncepcja zbiornika rurowego. rozwiązania zbiorników rurowych np. realizacji warszawskich. problem krakowski. propozycja realizacji bezwykopowej dla obszarów szczególnie intensywnie zagospodarowanych
-
Connected searching of weighted trees
PublicationW pracy pokazano, że problem spójnego przeszukiwania drzew ważonych jest silnie NP-zupełny. Problem pozostaje trudnym dla drzew z jednym wierzchołkiem o stopniu większym niż 2. Ponadto, przedstawiony został wielomianowy optymalny algorytm dla klasy drzew z ograniczonym stopniem.
-
Scheduling of identical jobs with bipartite incompatibility graphs on uniform machines. Computational experiments
PublicationWe consider the problem of scheduling unit-length jobs on three or four uniform parallel machines to minimize the schedule length or total completion time. We assume that the jobs are subject to some types of mutual exclusion constraints, modeled by a bipartite graph of a bounded degree. The edges of the graph correspond to the pairs of jobs that cannot be processed on the same machine. Although the problem is generally NP-hard,...
-
Edge-coloring of 3-uniform hypergraphs
PublicationWe consider edge-colorings of 3-uniform hypergraphs which is a natural generalization of the problem of edge-colorings of graphs. Various classes of hypergraphs are discussed and we make some initial steps to establish the border between polynomial and NP-complete cases. Unfortunately, the problem appears to be computationally difficult even for relatively simple classes of hypergraphs.
-
Reakcje krzyżowe w immunodiagnostyce
PublicationZaprezentowano problem reakcji krzyżowych w immunodiagnostyce.
-
The carbohydrate glycosylphosphatidylinositol anchor chain under mechanical stress
PublicationCarbohydrates have quite complicated micro heterogenic structure which may undergo different structural transitions. Due to their extreme flexibility it is very difficult to investigate such structural changes experimentally. In these studies we want to predict what structural and conformational changes are possible in the carbohydrate
-
Parallel processing subsystems with redundancy in a distributed environment
PublicationW pracy rozważano problem podziału systemu rozproszonego na spójne podsystemy złożone z przynajmniej trzech jednostek, pozwalające na detekcję i skorygowanie pojedynczych błędów. Wykazano, że problem maksymalizacji liczby takich jednostek jest NP-trudny nawet dla dwuspójnych kubicznych topologii sieci. Podano też nowe algorytmy przybliżone.
-
First-order functional difference equations with nonlinear boundary value problems
PublicationDyskutowano problem brzegowy dla równań różnicowych z opóźnionym argumentem. Nierówności różnicowe związane z w/w problem też były przedmiotem badań. Stosując metodę iteracji monotonicznych, sformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań problemów brzegowych z opóźnionymi argumentami. Podano dwa przykłady ilustrujące otrzymane wyniki.
-
MULTIEQUATION MODELS AS DIAGNOSTIC TOOLS FOR MEASURING THE OPERATIONAL FLUIDITY OF THE CONTAINER HANDLING TERMINAL
PublicationThe article presents the continuation of the authors’ research on the problem of the operational fluidity of cargo handling sea terminals, based on the example of the DCT. The article presents a solution based on the multiequation models and applied to analyze the operational fluidity of terminals in the transshipment and feeder relation. To provide a solution to the problem of the functioning of sea-land supply chains at the terminal,...
-
Equitable coloring of graphs. Recent theoretical results and new practical algorithms
PublicationIn this paper we survey recent theoretical results concerning conditions for equitable colorability of some graphs and recent theoretical results concerning the complexity of equitable coloring problem. Next, since the general coloring problem is strongly NP-hard, we report on practical experiments with some efficient polynomial-time algorithms for approximate equitable coloring of general graphs.
-
Cofka nam niestraszna
PublicationProblem zalań na skutek cofki. Zagrożenia. Zabezpieczenia.
-
Shared processor scheduling of multiprocessor jobs
PublicationWe study a problem of shared processor scheduling of multiprocessor weighted jobs. Each job can be executed on its private processor and simultaneously on possibly many processors shared by all jobs. This simultaneous execution reduces their completion times due to the processing time overlap. Each of the m shared processors may charge a different fee but otherwise the processors are identical. The goal is to maximize the total...
-
Bacteriophages as an antistaphylococcal agent
PublicationRecently observed increase of infection caused by Staphylococcus aureus is currently one of the most important problem of clinical microbiology. Most of the strains responsible for the infections are a MRSA (methicillin resistant Staphylococcus aureus) strains. In this situation commonly used antibiotics are not sufficient. There is an urgent need to search for a new nonatibiotic treatment against this pathogen. In the literature...
-
Scheduling with precedence constraints: mixed graph coloring in series-parallel graphs.
PublicationW pracy rozważono problem kolorowania grafów mieszanych, opisujący zagadnienie szeregowania zadań, w którym zależności czasowe zadań mają charakter częściowego porządku lub wzajemnego wykluczania. Dla przypadku, w którym graf zależności jest szeregowo-równoległy, podano algorytm rozwiązujący problem optymalnie w czasie $O(n^3.376 * log n)$.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Spłaszczanie grafów
PublicationW eseju poruszono problem rysowania grafów na płaszczyźnie.
-
Study of Multi-Class Classification Algorithms’ Performance on Highly Imbalanced Network Intrusion Datasets
PublicationThis paper is devoted to the problem of class imbalance in machine learning, focusing on the intrusion detection of rare classes in computer networks. The problem of class imbalance occurs when one class heavily outnumbers examples from the other classes. In this paper, we are particularly interested in classifiers, as pattern recognition and anomaly detection could be solved as a classification problem. As still a major part of...