Filters
total: 3494
filtered: 2708
displaying 1000 best results Help
Search results for: PROOF-NUMBER SEARCH
-
Finding small-width connected path decompositions in polynomial time
PublicationA connected path decomposition of a simple graph $G$ is a path decomposition $(X_1,\ldots,X_l)$ such that the subgraph of $G$ induced by $X_1\cup\cdots\cup X_i$ is connected for each $i\in\{1,\ldots,l\}$. The connected pathwidth of $G$ is then the minimum width over all connected path decompositions of $G$. We prove that for each fixed $k$, the connected pathwidth of any input graph can be computed in polynomial-time. This answers...
-
Retrieval of Heterogeneus Sevices in C2NIWA Repository
PublicationThe paper reviews the methods used for retrieval of information and services. The selected approaches presented in the review inspired us to build retrieval mechanisms in a system for searching the resources stored in the C2NIWA repository. We describe the architecture of the system, its functions and the surrounding subsystems to which it is related. For retrieval of C2NIWA sevices we propos three approaches based on: keyword...
-
Legislation and Practice of Selected State Aid Issues, According to EU and Polish Law
PublicationThe dataset encompasses several tables, each consisting of three elements: legislation, jurisprudence and scientific articles on numerous subjects and economic activities receiving public financial support in the form of state aid instruments. The set includes a subjective list of the most commonly used and/or disputable examples of granting aid, such as for (local) airports and airlines, steel production, shipyards, and coalmines....
-
Pakiet wspomagania tworzenia i optymalizacji harmonogramów zajęć akademickich.
PublicationPrzedstawiamy model teoretyczny oraz praktyczne rezultaty wdrożenia pakietu wspomagania tworzenia i optymalizacji harmonogramów zajęć na wydziale ETI Politechniki Gdańskiej. Pakiet ten zawiera implementację algorytmów wyczerpującego przeszukiwania przestrzeni kombinatorycznej oraz przeszukiwania tabu (ang. Tabu Search). W modelu obliczeniowym uwzględniono szereg czynników oceny jakości jak np. przerwy w zajęciach, równomierne rozłożenie...
-
Platform Supporting the Esophageal Impedance Analysis
PublicationThe esophageal pH-impedance examination is one of the most popular diagnostic methods for identifying the upper gastrointestinal tract’s diseases. Inconclusive test evaluation criteria makes it difficult to state the definite diagnosis. In this paper, the computer platform supporting the research and teaching process in the area of pH-impedance analysis is presented. Users, having a variety of mathematical and statistical methods...
-
Lifelong Learning Idea in Architectural Education
PublicationThe recent advances in IT and technology are forcing changes in the approach to educating society. In the 20th century, life-long learning was understood as educating adults in order to improve their occupational qualifications. Life-long learning allows the needs of the present-day world to be addressed through providing the individual with education at every stage of his/her life various forms. The search for a new model...
-
Damage Development on the Surface of Nickel Coating in the Initial Period of Erosion
PublicationThe common occurrence of the phenomenon of cavitation in many industries and the multitude of factors affecting the resistance to cavitation erosion of used materials contribute to the search for methods and appropriate parameters of coating application that are able to minimize the effects of erosion. To determine the validity of the developed application parameters and the method used, cavitation studies and microscopic observations...
-
Reactive Processing and Functionalization of Ground Tire Rubber
PublicationThe dynamic development of the automotive industry resulted in a sig- nificant increase in rubber wastes, especially end-of-life tires, which are a serious threat to the natural environment and human health. This situation has enforced the industry and academic research groups to search new and cost-effective methods for recycling waste tires. In this field of research, reactive processing and functionaliza- tion seem to be a...
-
Equitable colorings of some variation of corona products of cubic graphs
PublicationThe problem of determining the value of equitable chromatic number for multicoronas of cubic graphs is studied. We provide some polynomially solvable cases of cubical multicoronas and give simple linear time algorithms for equitable coloring of such graphs which use almost optimal number of colors in the remaining cases.
-
RF Multi-Functional Input-Reflectionless Dispersive-Delay Structure With Sharp-Rejection Filtering Using Channelization Techniques
PublicationA class of RF multi-functional input-reflectionless dispersive-delay structure (DDS) with linear-type in-band groupdelay variation and sharp-rejection bandpass-filtering capability is reported. It exploits a two-branch-channelized/balanced-type circuit with similar low-order reflective DDS units inside its channels, which are connected through input/output 3-dB quadrature wideband couplers. The adopted DDS unit is based on a coupledresonator...
-
On weak solutions of the boundary value problem within linear dilatational strain gradient elasticity for polyhedral Lipschitz domains
PublicationWe provide the proof of an existence and uniqueness theorem for weak solutions of the equilibrium problem in linear dilatational strain gradient elasticity for bodies occupying, in the reference configuration, Lipschitz domains with edges. The considered elastic model belongs to the class of so-called incomplete strain gradient continua whose potential energy density depends quadratically on linear strains and on the gradient of...
-
Tacit knowledge influence on intellectual capital and innovativeness in the healthcare sector: A cross-country study of Poland and the US
PublicationThis study provides empirical proof that whole organizational innovativeness is rooted in tacit knowledge due to its potency of human capital creation and, that a learning culture composed of a learning climate and mistakes acceptance component fosters human capital development. The main practical implication is that if the IC components are externally rather than internally determined in the particular organization embedded in...
-
Machine-Learning-Based Global Optimization of Microwave Passives with Variable-Fidelity EM Models and Response Features
PublicationMaximizing microwave passive component performance demands precise parameter tuning, particularly as modern circuits grow increasingly intricate. Yet, achieving this often requires a comprehensive approach due to their complex geometries and miniaturized structures. However, the computational burden of optimizing these components via full-wave electromagnetic (EM) simulations is substantial. EM analysis remains crucial for circuit...
-
Expedited Re-Design of Multi-Band Passive Microwave Circuits Using Orthogonal Scaling Directions and Gradient-Based Tuning
PublicationGeometry scaling of microwave circuits is an essential but challenging task. In particular, the employment of a given passive structure in a different application area often requires re-adjustment of the operating frequencies/bands while maintaining top performance. Achieving this necessitates utilization of numerical optimization methods. Nonetheless, if the intended frequencies are distant from the ones at the starting point,...
-
Globalized Parametric Optimization of Microwave Passive Components Using Simplex-Based Surrogates
PublicationOptimization-based parameter adjustment involving full-wave electromagnetic (EM) simulation models is a crucial stage of present-day microwave design process. In fact, rigorous optimization is the only reliable mean permitting to simultaneously handle multiple geometry/material parameters, objectives, and constraints. Unfortunately, EM-driven design is a computationally intensive endeavor. While local tuning is usually manageable,...
-
DEPO: A dynamic energy‐performance optimizer tool for automatic power capping for energy efficient high‐performance computing
PublicationIn the article we propose an automatic power capping software tool DEPO that allows one to perform runtime optimization of performance and energy related metrics. For an assumed application model with an initialization phase followed by a running phase with uniform compute and memory intensity, the tool performs automatic tuning engaging one of the two exploration algorithms—linear search (LS) and golden section search (GSS), finds...
-
Improved-Efficacy Optimization of Compact Microwave Passives by Means of Frequency-Related Regularization
PublicationElectromagnetic (EM)-driven optimization is an important part of microwave design, especially for miniaturized components where the cross-coupling effects in tightly arranged layouts make traditional (e.g., equivalent network) representations grossly inaccurate. Efficient parameter tuning requires reasonably good initial designs, which are difficult to be rendered for newly developed structures or when re-design for different operating...
-
Complex multidisciplinary optimization of turbine blading systems
PublicationThe paper describes the methods and results of direct optimization of turbine blading systems using a software package Opti_turb. The final shape of the blading is obtained from minimizing the objective function, which is the total energy loss of the stage, including the leaving energy. The current values of the objective function are found from 3D RANS computations (from a code FlowER) of geometries changed during the process...
-
Marine and Cosmic Inspirations for AI Algorithms
PublicationArtificial Intelligence (AI) is a scientific area that currently sees an enormous growth. Various new algorithms and methods are developed and many of them meets practical, successful applications. Authors of new algorithms draw different inspirations. Probably the most common one is the nature. For example, Artificial Neural Networks were inspired by the structure of human brain and nervous system while the classic Genetic Algorithm...
-
Study of Non-Newtonian biomagnetic blood flow in a stenosed bifurcated artery having elastic walls
PublicationFluid structure interaction (FSI) gained attention of researchers and scientist due to its applications in science felds like biomedical engineering, mechanical engineering etc. One of the major application in FSI is to study elastic wall behavior of stenotic arteries. In this paper we discussed an incompressible Non-Newtonian blood fow analysis in an elastic bifurcated artery. A magnetic feld is applied along x direction. For...
-
Preliminary Identification of Quantitative Factors Determining the Duration of Court Proceedings in Commercial Cases
PublicationPurpose: The aim of the article was to identify factors that are linear combinations of the variables under scrutiny that affect the duration of court proceedings. Design/Methodology/Approach: This research was conducted on commercial cases, based on the Principal Components Analysis (PCA). The original variables were grouped into factors that are correlated with each other. The Kaiser Criterion (own value >1) was chosen as the...
-
Independent Domination Subdivision in Graphs
PublicationA set $S$ of vertices in a graph $G$ is a dominating set if every vertex not in $S$ is adjacent to a vertex in~$S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. The independent domination subdivision number $\sdi(G)$ is the minimum number of edges that must be subdivided (each...
-
Total Domination Versus Domination in Cubic Graphs
PublicationA dominating set in a graph G is a set S of vertices of G such that every vertex not in S has a neighbor in S. Further, if every vertex of G has a neighbor in S, then S is a total dominating set of G. The domination number,γ(G), and total domination number, γ_t(G), are the minimum cardinalities of a dominating set and total dominating set, respectively, in G. The upper domination number, \Gamma(G), and the upper total domination...
-
On some Zarankiewicz numbers and bipartite Ramsey Numbers for Quadrilateral
PublicationThe Zarankiewicz number z ( m, n ; s, t ) is the maximum number of edges in a subgraph of K m,n that does not contain K s,t as a subgraph. The bipartite Ramsey number b ( n 1 , · · · , n k ) is the least positive integer b such that any coloring of the edges of K b,b with k colors will result in a monochromatic copy of K n i ,n i in the i -th color, for some i , 1 ≤ i ≤ k . If n i = m for all i , then we denote this number by b k ( m )....
-
Logistics aspects in the group of health care accreditation standards associated with patient nutrition
PublicationMedical services are currently one of the more popular branches of the service sector, both in Poland and worldwide. Along with direct impact on human health and life, they have influence on the necessity of constant search for forms of their improvement. Actions taken for improvement of health services quality are implemented with diversity, both as an obligatory action imposed in all medical services units, as well as, actions...
-
Complex Root Finding Algorithm Based on Delaunay Triangulation
PublicationA simple and flexible algorithm for finding zeros of a complex function is presented. An arbitrary-shaped search region can be considered and a very wide class of functions can be analyzed, including those containing singular points or even branch cuts. The proposed technique is based on sampling the function at nodes of a regular or a self-adaptive mesh and on the analysis of the function sign changes. As a result, a set of candidate points...
-
Data from the Survey on Gdańsk University of Technology Graduates’ Professional Careers
PublicationThe dataset titled Data from the survey on Gdańsk University of Technology graduates’ professional careers includes data from a survey of Gdańsk University of Technology (Gdańsk Tech) graduates’ professional careers. The survey was conducted in 2017, two years after the respondents obtained graduate status. The research sample included 2553 respondents. The study concerned, i.a. the percentage of people working among graduates...
-
Preserving Trees in Automata
PublicationWe present a method to store additional information in a minimal automaton so that it is possible to compute a corresponding tree node number for a state. The number can then be used to retrieve additional information. The method works for minimal (and any other) deterministic acyclic finite state automata (DFAs). We also show how to compute the inverse mapping.
-
Systemowe ujęcie wpływu destabilizatorów na poszukiwanie równowagi adaptacyjnej w procesie doskonalenia jakości w podmiotach leczniczych
PublicationW niniejszym opracowaniu zaprezentowano metodyczne aspekty poszukiwania równowagi adaptacyjnej w doskonaleniu jakości w podmiotach leczniczych. Tego typu sytuacja wynikać może miedzy innymi z pojawienia się szeregu destabilizatorów zakłócających realizację działań doskonalących. Istotne staje się także zidentyfikowanie szans i unikanie zagrożeń wynikających z tego typu destabilizacji, a w dalszej konsekwencji podjęcie działań adaptatywnych...
-
2-outer-independent domination in graphs
PublicationWe initiate the study of 2-outer-independent domination in graphs. A 2-outer-independent dominating set of a graph G is a set D of vertices of G such that every vertex of V(G)\D has at least two neighbors in D, and the set V(G)\D is independent. The 2-outer-independent domination number of a graph G is the minimum cardinality of a 2-outer-independent dominating set of G. We show that if a graph has minimum degree at least two,...
-
2-bondage in graphs
PublicationA 2-dominating set of a graph G=(V,E) is a set D of vertices of G such that every vertex of V(G)D has at least two neighbors in D. The 2-domination number of a graph G, denoted by gamma_2(G), is the minimum cardinality of a 2-dominating set of G. The 2-bondage number of G, denoted by b_2(G), is the minimum cardinality among all sets of edges E' subseteq E such that gamma_2(G-E') > gamma_2(G). If for every E' subseteq E we have...
-
Parity vertex colouring of graphs
PublicationA parity path in a vertex colouring of a graph is a path along which each colour is used an even number of times. Let Xp(G) be the least number of colours in a proper vertex colouring of G having no parity path. It is proved that for any graph G we have the following tight bounds X(G) <= Xp(G) <=|V(G)|− a(G)+1, where X(G) and a(G) are the chromatic number and the independence number of G, respectively. The bounds are improved for...
-
On Computational Aspects of Greedy Partitioning of Graphs
PublicationIn this paper we consider a problem of graph P-coloring consisting in partitioning the vertex set of a graph such that each of the resulting sets induces a graph in a given additive, hereditary class of graphs P. We focus on partitions generated by the greedy algorithm. In particular, we show that given a graph G and an integer k deciding if the greedy algorithm outputs a P-coloring with a least k colors is NP-complete for an infinite...
-
Common Independence in Graphs
PublicationAbstract: The cardinality of a largest independent set of G, denoted by α(G), is called the independence number of G. The independent domination number i(G) of a graph G is the cardinality of a smallest independent dominating set of G. We introduce the concept of the common independence number of a graph G, denoted by αc(G), as the greatest integer r such that every vertex of G belongs to some independent subset X of VG with |X|...
-
Free Convection Heat Transfer from Horizontal Cylinders
PublicationThe results of experimental investigation of free convection heat transfer in a rectangular container are presented. The ability of the commonly accepted correlation equations to reproduce present experimental data was tested as well. It was assumed that the examined geometry fulfils the requirement of no-interaction between heated cylinder and bounded surfaces. In order to check this assumption recently published correlation equations...
-
Poprawa jakości klasyfikacji głębokich sieci neuronowych poprzez optymalizację ich struktury i dwuetapowy proces uczenia
PublicationW pracy doktorskiej podjęto problem realizacji algorytmów głębokiego uczenia w warunkach deficytu danych uczących. Głównym celem było opracowanie podejścia optymalizującego strukturę sieci neuronowej oraz zastosowanie uczeniu dwuetapowym, w celu uzyskania mniejszych struktur, zachowując przy tym dokładności. Proponowane rozwiązania poddano testom na zadaniu klasyfikacji znamion skórnych na znamiona złośliwe i łagodne. W pierwszym...
-
Certified domination
PublicationImagine that we are given a set D of officials and a set W of civils. For each civil x ∈ W, there must be an official v ∈ D that can serve x, and whenever any such v is serving x, there must also be another civil w ∈ W that observes v, that is, w may act as a kind of witness, to avoid any abuse from v. What is the minimum number of officials to guarantee such a service, assuming a given social network? In this paper, we introduce...
-
THREE-DIMENSIONAL numerical investigation of MHD nanofluid convective heat transfer inside a CUBIC porous container with corrugated bottom wall
PublicationSimultaneous use of porous media and nanofluid as a heat transfer improvement method has recently captivated a great deal of attention. The heat transfer and entropy production of the Cu-water nanofluid inside a cubic container with a heated bottom wavy wall and an elliptic inner cylinder were numerically analyzed in this study. The container is partitioned into two sections: the left side is filled with permeable media and...
-
A method of Functional Test interval selection with regards to Machinery and Economical aspects
PublicationThis paper discusses the problem of choosing the optimal frequency of functional test, including the reliability calculations and production efficiency, but also the effect of company risk management. The proof test as a part of the functional test interval is well described for the process industry. Unfortunately, this situation is not the case for the machinery safety functions with low demand mode. Afterwards, it is presented...
-
Preparation and Characterization of Microsphere ZnO ALD Coating Dedicated for the Fiber-Optic Refractive Index Sensor
PublicationWe report the fabrication of a novel fiber-optic sensor device, based on the use of a microsphere conformally coated with a thin layer of zinc oxide (ZnO) by atomic layer deposition (ALD), and its use as a refractive index sensor. The microsphere was prepared on the tip of a single-mode optical fiber, on which a conformal ZnO thin film of 200 nm was deposited using an ALD process based on diethyl zinc (DEZ) and water at 100 °C....
-
Implementation of discrete convolution using polynomial residue representation
PublicationConvolution is one of the main algorithms performed in the digital signal processing. The algorithm is similar to polynomial multiplication and very intensive computationally. This paper presents a new convolution algorithm based on the Polynomial Residue Number System (PRNS). The use of the PRNS allows to decompose the computation problem and thereby reduce the number of multiplications. The algorithm has been implemented in Xilinx...
-
STARZEJĄCY SIĘ PRZEDSIĘBIORCA W POLSCE I NA ŚWIECIE
PublicationPoniższy artykuł wskazuje na rosnącą liczbę przedsiębiorców w wieku okołoemerytalnym, tak w krajach europejskich, w tym w Polsce, jak i w USA. Wzrost ten wynika zarówno z rosnącej liczby osób w tej grupie wiekowej, które zakładają swoje firmy, jak i z rosnącej liczby osób, które prowadząc od wielu lat swoje firmy, nie zamierzają przejść na emeryturę. Z nielicznych badań wśród osób starszych prowadzących własne firmy wynika, że...
-
Global Complex Roots and Poles Finding Algorithm Based on Phase Analysis for Propagation and Radiation Problems
PublicationA flexible and effective algorithm for complex roots and poles finding is presented. A wide class of analytic functions can be analyzed, and any arbitrarily shaped search region can be considered. The method is very simple and intuitive. It is based on sampling a function at the nodes of a regular mesh, and on the analysis of the function phase. As a result, a set of candidate regions is created and then the roots/poles are verified...
-
Application of Bladder Acellular Matrix in Urinary Bladder Regeneration: The State of the Art and Future Directions
PublicationConstruction of the urinary bladder de novo using tissue engineering technologies is the “holy grail” of reconstructive urology. The search for the ideal biomaterial for urinary bladder reconstruction has been ongoing for decades. One of the most promising biomaterials for this purpose seems to be bladder acellular matrix (BAM). In this review we determine the most important factors, which may affect biological and physical properties...
-
Optimizing control by robustly feasible model predictive control and application to drinking water distribution systems
PublicationThe paper considers optimizing Model Predictive Control (MPC) for nonlinear plants with output constraints under uncertainties. Although the MPC technology can handle the constraints in the model by solving constraint model based optimization task, satisfying the plant output constraints under the model uncertainty still remains a challenge. The paper proposes Robustly Feasible MPC (RFMPC), which achieves feasibility of the outputs...
-
Computational aspects of greedy partitioning of graphs
PublicationIn this paper we consider a variant of graph partitioning consisting in partitioning the vertex set of a graph into the minimum number of sets such that each of them induces a graph in hereditary class of graphs P (the problem is also known as P-coloring). We focus on the computational complexity of several problems related to greedy partitioning. In particular, we show that given a graph G and an integer k deciding if the greedy...
-
Thermal visualization of Ostwald-de Waele liquid in wavy trapezoidal cavity: Effect of undulation and amplitude
PublicationThe present study is concerned with the numerical simulations of Ostwald-de Waele fluid flow in a wavy trapezoidal cavity in the presence of a heated cylinder situated at the center of the cavity. The work consists in characterizing the mixed convection as a function of the intensity of heat flow. The flow behaviour and temperature distribution in a cavity are the main focus of this study. The lower wall of the cavity is fixed...
-
Total chromatic sum for trees
PublicationThe total chromatic sum of a graph is the minimum sum of colors (natural numbers) taken over all proper colorings of vertices and edges of a graph. We provide infinite families of trees for which the minimum number of colors to achieve the total chromatic sum is equal to the total chromatic number. We construct infinite families of trees for which these numbers are not equal, disproving the conjecture from 2012.
-
VIBRATION PARAMETERS FOR DAMAGE DETECTION IN STRUCTURES
PublicationThe aim of this paper is to examine how damage indicators are sensitive to changing number of frequencies and mode shapes and also to number and location of measurement points. The influence of measurement errors was also analyzed for all cases. For the analysis, those damage indicators are chosen which use changes in such modal parameters as natural frequencies and mode shapes and also differences between the curvatures of the damaged...
-
Promocja zasobów Pomorskiej Biblioteki Cyfrowej na przykładzie XVIII-wiecznego rękopisu
PublicationCelem artykułu jest przedstawienie sposobu udostępniania i promocji zbiorów rękopiśmiennych na przykładzie XVIII-wiecznego rękopisu Christiana Gabriela Fishera dostępnego w Pomorskiej Bibliotece Cyfrowej (dalej: PBC). Rękopis ten stał się inspiracją do podjęcia współpracy Biblioteki Politechniki Gdańskiej oraz Instytutu Kultury Miejskiej w Gdańsku. Dzięki wspólnej inicjatywie rozpoczęto prace nad transkrypcją niemieckiego tekstu...