Wyniki wyszukiwania dla: proof-number search - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: proof-number search

Wyniki wyszukiwania dla: proof-number search

  • Complex Root Finding Algorithm Based on Delaunay Triangulation

    A 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...

    Pełny tekst do pobrania w portalu

  • Logistics aspects in the group of health care accreditation standards associated with patient nutrition

    Publikacja

    - Logistyka - Rok 2014

    Medical 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...

  • Data from the Survey on Gdańsk University of Technology Graduates’ Professional Careers

    Publikacja

    - Rok 2022

    The 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...

    Pełny tekst do pobrania w portalu

  • Data on LEGO sets release dates and retail prices combined with aftermarket transaction prices between June 2018 and June 2023.

    Dane Badawcze
    open access - seria: LEGO

    The dataset contains LEGO bricks sets item count and pricing history for AI-based set pricing prediction.

  • Preserving Trees in Automata

    Publikacja

    - Rok 2015

    We 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.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Intelligent Autonomous Vehicles Cup 2018

    Wydarzenia

    06-07-2018 09:00 - 06-07-2018 15:00

    Pierwsza edycja zawodów bezzałogowych, autonomicznych pojazdów latających i jeżdżących.

  • Systemowe ujęcie wpływu destabilizatorów na poszukiwanie równowagi adaptacyjnej w procesie doskonalenia jakości w podmiotach leczniczych

    W 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...

    Pełny tekst do pobrania w portalu

  • 2-outer-independent domination in graphs

    Publikacja

    We 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,...

    Pełny tekst do pobrania w portalu

  • Dominika Wróblewska dr inż. arch.

    Dr inż. arch. Dominika Wróblewska, profesor uczelni uzyskała tytuł doktora nauk technicznych w 2000 roku. Od 2002 roku rozpoczęła pracę na wydziale Budownictwa Wodnego i Inżynierii Środowiska na Politechnice Gdańskiej (obecnie wydział Inżynierii Lądowej i Środowiska) na stanowisku adiunkta. Od  2019 roku  pracuje na stanowisku profesora uczelni. Obszary zainteresowań to zmiany wprowadzanie edukacji opartej na interdyscyplinarnym...

  • Paweł Filipkowski dr inż.

    mgr inż - Uniwersytet Przyrodniczy we Wrocławiu, Wydział Nauk o Żywności, Katedra Mikrobiologii Technicznej i Żywnosci, Prof. Maria Wojtatowicz/ Prof. Waldemar Rymowicz, adiunkt - Uniwersytet Ekonomiczny we Wrocławiu, Wydział Inzynieryjno-Ekonomiczny, Katedra Inżynierii Bioprocesowej, Prof. Tadeusz Miśkiewicz/ Prof. Edward Cybis, dr - Politechnika Gdańska, Wydział Chemiczny, Katedra Mikrobiologii, ś.p. Prof. Józef Kur, Staże w...

  • Common Independence in Graphs

    Publikacja

    - Symmetry-Basel - Rok 2021

    Abstract: 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|...

    Pełny tekst do pobrania w portalu

  • 2-bondage in graphs

    A 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Parity vertex colouring of graphs

    Publikacja

    - Discussiones Mathematicae Graph Theory - Rok 2011

    A 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...

    Pełny tekst do pobrania w portalu

  • On Computational Aspects of Greedy Partitioning of Graphs

    Publikacja

    - Rok 2017

    In 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Free Convection Heat Transfer from Horizontal Cylinders

    Publikacja

    - ENERGIES - Rok 2021

    The 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...

    Pełny tekst do pobrania w portalu

  • Poprawa jakości klasyfikacji głębokich sieci neuronowych poprzez optymalizację ich struktury i dwuetapowy proces uczenia

    Publikacja

    - Rok 2024

    W 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...

    Pełny tekst do pobrania w portalu

  • Tagged images with LEGO bricks part 2

    Dane Badawcze
    wersja 2.1 open access - seria: LEGO

    The data set conatins tagged images conatining LEGO bricks used for traning LEGO bricks detecting network. The images contain random number of the same LEGO bricks on white background. Only the whole bricks are labeled.

  • The structure of the Polish banking sector in 2004-2018

    Dane Badawcze
    open access

    Dynamic changes in the banking system in the 1990s contributed to the relative stability of the number of banks in all sectors (state-owned, private, cooperative) after 2004. The total number of banks (including credit institutions) has decreased since 2004 from 653 to 612 in 2018 - it should therefore be noted that in the analyzed period the Polish...

  • Auditory Brainstem Responses recorded employing Audio ABR device

    Dane Badawcze
    open access

    The dataset consists of ABR measurements employing click, burst and speech stimuli. Parameters of the particular stimuli were as follows:

  • THREE-DIMENSIONAL numerical investigation of MHD nanofluid convective heat transfer inside a CUBIC porous container with corrugated bottom wall

    Publikacja

    - Rok 2022

    Simultaneous 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Certified domination

    Publikacja

    Imagine 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...

    Pełny tekst do pobrania w portalu

  • Józef Kotus dr hab. inż.

  • STARZEJĄCY SIĘ PRZEDSIĘBIORCA W POLSCE I NA ŚWIECIE

    Poniż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...

    Pełny tekst do pobrania w portalu

  • Implementation of discrete convolution using polynomial residue representation

    Publikacja

    - Rok 2010

    Convolution 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...

  • A method of Functional Test interval selection with regards to Machinery and Economical aspects

    Publikacja

    - Rok 2018

    This 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Preparation and Characterization of Microsphere ZnO ALD Coating Dedicated for the Fiber-Optic Refractive Index Sensor

    Publikacja

    - Nanomaterials - Rok 2019

    We 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....

    Pełny tekst do pobrania w portalu

  • History of urban planning I

    Kursy Online
    • R. Ruczyński
    • M. Kostrzewska

    The course is aimed to the Erasmus students in the summer term. During he course students learn the principles and conditions of development of urban settlements in the time periods from ancient times to the 18th century (ancient Greece, Rome, Middle Ages, Renaissance, Baroque and Classicism). The students prepare 3 excercises: Task 1 - Cities of ancient Greece and Rome; Task 2 - Medieval Cities; Task 3 - Cities of Renaissance,...

  • Application of Bladder Acellular Matrix in Urinary Bladder Regeneration: The State of the Art and Future Directions

    Publikacja

    Construction 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...

    Pełny tekst do pobrania w portalu

  • Optimizing control by robustly feasible model predictive control and application to drinking water distribution systems

    The 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...

    Pełny tekst do pobrania w portalu

  • Global Complex Roots and Poles Finding Algorithm Based on Phase Analysis for Propagation and Radiation Problems

    A 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...

    Pełny tekst do pobrania w portalu

  • Computational aspects of greedy partitioning of graphs

    In 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...

    Pełny tekst do pobrania w portalu

  • Thermal visualization of Ostwald-de Waele liquid in wavy trapezoidal cavity: Effect of undulation and amplitude

    Publikacja
    • A. Hijaz
    • R. Mahmood
    • M. B. Hafeez
    • A. H. Majeed
    • S. Askar
    • H. Shahzad

    - Case Studies in Thermal Engineering - Rok 2022

    The 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...

    Pełny tekst do pobrania w portalu

  • Total chromatic sum for trees

    Publikacja

    - Rok 2021

    The 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.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • The Rayleigh model of the multipath fading channel

    The dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Rayleigh fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.

  • VIBRATION PARAMETERS FOR DAMAGE DETECTION IN STRUCTURES

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Promocja zasobów Pomorskiej Biblioteki Cyfrowej na przykładzie XVIII-wiecznego rękopisu

    Celem 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...

    Pełny tekst do pobrania w portalu

  • Conditions for Multiple Acquisition of Echoes from Stationary Targets in Successive Transmissions of Active Sonars

    In echolocation, the highest possible number of contacts with a detected target is clearly decisive on the possibilities of echo processing to optimise the estimation of distinctive characteristics of the observed target. In hydrolocation, the slow propagation of acoustic waves in water reduces the number of contacts of echosounders and sonars with detected targets. The article considers model conditions for acquiring multiple...

    Pełny tekst do pobrania w portalu

  • Damage detection in plates based on Lamb wavefront shape reconstruction

    Publikacja

    - MEASUREMENT - Rok 2021

    Many of the current studies in the area of damage detection using elastic wave propagation are based on deploying sensor networks with a large number of piezoelectric transducers to detect small-size cracks. A major limitation of these studies is that cracks are usually larger and have different shapes in real cases. Moreover, using a large number of sensing nodes for damage detection is both costly and computationally intensive....

    Pełny tekst do pobrania w portalu

  • Robert Jankowski prof. dr hab. inż.

    Urodził się 26 grudnia 1968 r. w Gdyni. Absolwent Liceum Ogólnokształcącego przy Konsulacie PRL w Benghazi, Libia (1987), student Politechniki Gdańskiej (studia magisterskie jednolite, 1987-1991 i 1992-1993), Uniwersytetu w Sheffield, Anglia (studia inżynierskie, 1991-1992), Uniwersytetu w Roskilde, Dania (kurs magisterski, 1993) oraz Uniwersytetu Tokijskiego, Japonia (studia doktoranckie, 1994-1997). Od początku pracy zawodowej...

  • Rozwój polskiego winiarstwa w latach 2000–2017

    W artykule przedstawiono historie polskiego winiarstwa. Na podstawie danych zawartych w raportach Agencji Rynku Rolnego przedstawiono kształtowanie się liczby winnic oraz powierzchni upraw winorośli i zbioru winogron w latach 2009–2018. Dane z portalu winogrodnicy.pl posłużyły do scharakteryzowania liczby winnic wraz z ich lokalizacją oraz powierzchnią. Z przeprowadzonej analizy wynika, że polskie winiarstwo od ponad 20 lat przeżywa...

    Pełny tekst do pobrania w portalu

  • Novel therapeutic compound acridine–retrotuftsin action on biological forms of melanoma and neuroblastoma

    Publikacja

    PURPOSE: As a continuation of our search for anticancer agents, we have synthesized a new acridine-retrotuftsin analog HClx9-[Arg(NO2)-Pro-Lys-Thr-OCH3]-1-nitroacridine (named ART) and have evaluated its activity against melanoma and neuroblastoma lines. Both tumors develop from cells (melanocytes, neurons) of neuroectodermal origin, and both are tumors with high heterogeneity and unsatisfactory susceptibility to chemotherapies....

    Pełny tekst do pobrania w portalu

  • Family business succession – the practical or also theoretical problem. Bibliometric analysis

    Publikacja

    - Rok 2020

    Family businesses, in various forms, have existed since societies began to be created. However, family business research has a decidedly shorter tradition. In favorable conditions, family enterprises develop for many generations, and their fate is intertwined with the fate of the families. The topics of family businesses are raised by researchers around the world. Estimates regarding the number of family businesses are a frequent...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Approximation algorithms for job scheduling with block-type conflict graphs

    Publikacja

    - COMPUTERS & OPERATIONS RESEARCH - Rok 2024

    The problem of scheduling jobs on parallel machines (identical, uniform, or unrelated), under incompatibility relation modeled as a block graph, under the makespan optimality criterion, is considered in this paper. No two jobs that are in the relation (equivalently in the same block) may be scheduled on the same machine in this model. The presented model stems from a well-established line of research combining scheduling theory...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • On Tradeoffs Between Width- and Fill-like Graph Parameters

    In this work we consider two two-criteria optimization problems: given an input graph, the goal is to find its interval (or chordal) supergraph that minimizes the number of edges and its clique number simultaneously. For the interval supergraph, the problem can be restated as simultaneous minimization of the path width pw(G) and the profile p(G) of the input graph G. We prove that for an arbitrary graph G and an integer t ∈ {1,...

    Pełny tekst do pobrania w portalu

  • Three-dimensional numerical investigation of hybrid nanofluids in chain microchannel under electrohydrodynamic actuator

    Energy efficiency enhancement methods have received considerable attentionwithin the industry and scientific community, owing to the rising concern ofglobal energy sustainability. The present article attempts to scrutinize the effectsof electrohydrodynamics and nanofluids on the rate of heat transfer and fluidflow in the 3-D chain microchannels. Improved heat exchangers (e.g., chainmicrochannel) would have a key role in increasing...

    Pełny tekst do pobrania w portalu

  • Importance of Specific Heat Characterization when Reporting New Superconductors: An Example of Superconductivity in LiGa2Rh

    Publikacja

    - CHEMISTRY OF MATERIALS - Rok 2019

    We show that the full-Heusler compound LiGa2Rh is a superconductor with Tc = 2.4 K. The new superconductor was found as a result of an intuition-based extension of a database search for superconductors that looked for the presence of peaks in the electronic band structure near the Fermi energy. The measurement of the entropy loss during the transition from the nonsuperconducting to the superconducting state, a straightforward measurement...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Visual Lip Contour Detection for the Purpose of Speech Recognition

    Publikacja

    A method for visual detection of lip contours in frontal recordings of speakers is described and evaluated. The purpose of the method is to facilitate speech recognition with visual features extracted from a mouth region. Different Active Appearance Models are employed for finding lips in video frames and for lip shape and texture statistical description. Search initialization procedure is proposed and error measure values are...

  • Evaluation of Path Based Methods for Conceptual Representation of the Text

    Publikacja

    Typical text clustering methods use the bag of words (BoW) representation to describe content of documents. However, this method is known to have several limitations. Employing Wikipedia as the lexical knowledge base has shown an improvement of the text representation for data-mining purposes. Promising extensions of that trend employ hierarchical organization of Wikipedia category system. In this paper we propose three path-based...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Key logistics processes in project management based on organisation of an international training session-case study

    Publikacja

    Improvement of processes, including the logistics processes forms one of the essential aspects of modern business entities functioning. Search for the solutions allowing for quicker and less costly method of realisation of particular activities in highly significant, especially in the conditions of a dynamically changing environment in which the organisations have to function. It is a natural field occuring principally both in...

  • Multimodal Genetic Algorithm with Phase Analysis to Solve Complex Equations of Electromagnetic Analysis

    Publikacja

    - Rok 2020

    In this contribution, a new genetic-algorithm-based method of finding roots and poles of a complex function of a complex variable is presented. The algorithm employs the phase analysis of the function to explore the complex plane with the use of the genetic algorithm. Hence, the candidate regions of root and pole occurrences are selected and verified with the use of discrete Cauchy's argument principle. The algorithm is evaluated...

    Pełny tekst do pobrania w portalu