Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "kolorowanie" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Raz jeszcze o czterech barwach
    Autorzy:
    Smoluk, Antoni
    Powiązania:
    https://bibliotekanauki.pl/articles/421266.pdf
    Data publikacji:
    2017
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    minimalne kolorowanie
    pierścień rozcinający
    produkt map
    Opis:
    W pracy dowodzi się twierdzenia o czterech barwach. Korzysta się z pojęcia produktu map i minimalnych kolorowań.
    Źródło:
    Didactics of Mathematics; 2017, 14(18); 45-58
    1733-7941
    Pojawia się w:
    Didactics of Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Prosty dowód twierdzenia o czterech barwach
    A simple proof of the four-colors theorem
    Autorzy:
    Smoluk, Antoni
    Powiązania:
    https://bibliotekanauki.pl/articles/425189.pdf
    Data publikacji:
    2017
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    mapa
    minimalne kolorowanie lokalne
    rozszerzenie kolorowania lokalnego
    pierścień rozcinający
    mapa prosta
    produkt map
    redukcja granicy
    Opis:
    W pracy indukcyjnie dowodzi się twierdzenie o czterech barwach. Korzysta się z pojęcia produktu map i minimalnych kolorowań lokalnych.
    Źródło:
    Econometrics. Ekonometria. Advances in Applied Data Analytics; 2017, 1 (55); 21-24
    1507-3866
    Pojawia się w:
    Econometrics. Ekonometria. Advances in Applied Data Analytics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Minimization of bus stop number on a bus station
    Minimalizacja liczby platform na stacji autobusowej
    Autorzy:
    Palúch, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/375351.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    bus station
    bus stop
    minimization
    graph coloring
    assignment problem
    stacja autobusowa
    platforma
    minimalizacja
    kolorowanie grafów
    algorytm przydziału
    Opis:
    A bus station contains several bus stops. Only one bus can occupy a single bus stop at a time. Buses of many trips arrive to the bus station during the day (or during another considered period) and every bus occupies a bus stop for a certain time interval. The set of available bus stops is limited. This paper studies a problem how to assign a bus stop to every bus trip in order to minimize the number of assigned bus stops and in order to comply several additional conditions. Several approaches to this problem are presented. These approaches differ according to considered additional conditions.
    Na stacji autobusowej może znajdować się kilka platform. W tym samym czasie przy jednej platformie może znajdować się tylko jeden autobus. W ciągu dnia na stację autobusową przyjeżdżają autobusy z różnych połączeń i każdy z nich zajmuje platformę przez określony czas. Ten artykuł ma na celu pokazanie problemu przyporządkowania platform do wszystkich połączeń i jednoczesnej minimalizacji liczby platform przy spełnieniu określonych warunków. Prezentowane są różne sposoby rozwiązania problemu. Każdy ze sposobów różni się w zależności od dalszych warunków.
    Źródło:
    Transport Problems; 2013, 8, 1; 113-118
    1896-0596
    2300-861X
    Pojawia się w:
    Transport Problems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Scheduling of unit-length jobs with bipartite incompatibility graphs on four uniform machines
    Autorzy:
    Furmańczyk, H.
    Kubale, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/200295.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    equitable coloring
    NP-hardness
    polynomial algorithm
    scheduling
    uniform machine
    kolorowanie grafów
    twardość NP
    algorytm wielomianowy
    planowanie
    Opis:
    In the paper we consider the problem of scheduling n identical jobs on 4 uniform machines with speeds s1 ≥ s2 ≥ s3 ≥ s4, respectively. Our aim is to find a schedule with a minimum possible length. We assume that jobs are subject to some kind of mutual exclusion constraints modeled by a bipartite incompatibility graph of degree Δ, where two incompatible jobs cannot be processed on the same machine. We show that the general problem is NP-hard even if s1 = s2 = s3. If, however, Δ ≤ 4 and s1 ≥ 12s2, s2 = s3 = s4, then the problem can be solved to optimality in time O(n1.5). The same algorithm returns a solution of value at most 2 times optimal provided that s1 ≥ 2s2. Finally, we study the case s1 ≥ s2 ≥ s3 = s4 and give a 32/15-approximation algorithm running also in O(n1.5) time.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2017, 65, 1; 29-34
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    New models and algorithms for RNA pseudoknot order assignment
    Autorzy:
    Zok, Tomasz
    Badura, Jan
    Swat, Sylwester
    Figurski, Kacper
    Popenda, Mariusz
    Antczak, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/911230.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    RNA pseudoknot order
    conflict graph
    vertex coloring
    maximum independent set
    integer programming
    kolorowanie grafu
    zbiór niezależny
    programowanie całkowitoliczbowe
    Opis:
    The pseudoknot is a specific motif of the RNA structure that highly influences the overall shape and stability of a molecule. It occurs when nucleotides of two disjoint single-stranded fragments of the same chain, separated by a helical fragment, interact with each other and form base pairs. Pseudoknots are characterized by great topological diversity, and their systematic description is still a challenge. In our previous work, we have introduced the pseudoknot order: a new coefficient representing the topological complexity of the pseudoknotted RNA structure. It is defined as the minimum number of base pair set decompositions, aimed to obtain the unknotted RNA structure. We have suggested how it can be useful in the interpretation and understanding of a hierarchy of RNA folding. However, it is not trivial to unambiguously identify pseudoknots and determine their orders in an RNA structure. Therefore, since the introduction of this coefficient, we have worked on the method to reliably assign pseudoknot orders in correspondence to the mechanisms that control the biological process leading to their formation in the molecule. Here, we introduce a novel graph coloring-based model for the problem of pseudoknot order assignment. We show a specialized heuristic operating on the proposed model and an alternative integer programming algorithm. The performance of both approaches is compared with that of state-of-the-art algorithms which so far have been most efficient in solving the problem in question. We summarize the results of computational experiments that evaluate our new methods in terms of classification quality on a representative data set originating from the non-redundant RNA 3D structure repository.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 315-324
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Functionality assessment of algorithms for the coloring of images in terms of increasing radiometric values of aerial photographs archives
    Ocena funkcjonalności algorytmów kolorowania obrazów w aspekcie zwiększenia walorów radiometrycznych archiwalnych zdjęć lotniczych
    Autorzy:
    Ewiak, I.
    Siok, K.
    Jenerowicz, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/129725.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Geodetów Polskich
    Tematy:
    digital image processing
    black-and-white aerial photographs
    coloring
    radiometry
    interpretation
    cyfrowe przetwarzanie obrazów
    monochromatyczne zdjęcia lotnicze
    kolorowanie
    radiometria
    interpretacja
    Opis:
    Available on the commercial market are a number of algorithms that enable assigning to pixels of a monochrome digital image suitable colors according to a strictly defined schedule. These algorithms have been recently used by professional film studios involved in the coloring of archival productions. This article provides an overview on the functionality of coloring algorithms in terms of their use to improve the interpretation quality of historical, black-and-white aerial photographs. The analysis covered intuitive (Recolored) programs, as well as more advanced (Adobe After Effect, DaVinci Resolve) programs. The use of their full functionality was limited by the too large information capacity of aerial photograph images. Black-and-white historical aerial photographs, which interpretation quality in many cases does not meet the criteria posed on photogrammetric developments, require an increase of their readability. The solution in this regard may be the process of coloring images. The authors of this article conducted studies aimed to determine to what extent the tested coloring algorithms enable an automatic detection of land cover elements on historical aerial photographs and provide color close to the natural. Used in the studies were archival black-and-white aerial photographs of the western part of Warsaw district made available by the Main Centre of Geodetic and Cartographic Documentation, the selection of which was associated with the presence in this area of various elements of land cover, such as water, forests, crops, exposed soils and also anthropogenic objects. In the analysis of different algorithms are included: format and size of the image, degree of automation of the process, degree of compliance of the result and processing time. The accuracy of the coloring process was different for each class of objects mapped on the photograph. The main limitation of the coloring process created shadows of anthropogenic objects, where grey degree values were corresponding to forests.
    Na rynku komercyjnym dostępnych jest szereg algorytmów umożliwiających przypisanie pikselom monochromatycznego obrazu cyfrowego odpowiednich barw według ściśle określonego schematu. Algorytmy te są wykorzystywane przez profesjonalne studia filmowe zajmujące się kolorowaniem archiwalnych produkcji. Niniejszy artykuł stanowi przegląd funkcjonalności algorytmów kolorowania w zakresie możliwości ich wykorzystania do poprawy jakości interpretacyjnej historycznych, monochromatycznych zdjęć lotniczych. Przedmiotem analiz były programy intuicyjne (Recolored), a także bardziej zaawansowane (Adobe After Effect, DaVinci Resolve). Ograniczeniem wykorzystania ich pełnej funkcjonalności była zbyt duża pojemność informacyjna obrazu zdjęcia lotniczego. W przypadku monochromatycznych historycznych zdjęć lotniczych, których jakość interpretacyjna w wielu przypadkach nie spełnia kryteriów stawianych opracowaniom fotogrametrycznym, istnieje potrzeba zwiększenia ich czytelności. Rozwiązaniem w tym zakresie może być proces kolorowania obrazów. Autorzy artykułu przeprowadzili badania zmierzające do ustalenia, w jakim zakresie testowane algorytmy kolorowania umożliwiają automatyczną detekcję elementów pokrycia terenu na historycznych zdjęciach lotniczych oraz nadanie im barwy zbliżonej do naturalnej. W badaniach zostały wykorzystane archiwalne monochromatyczne zdjęcia lotnicze powiatu warszawskiego zachodniego udostępnione przez Centralny Ośrodek Dokumentacji Geodezyjnej i Kartograficznej, których wybór wiązał się z występowaniem w ich obrębie różnorodnych elementów pokrycia terenu, takich jak: wody, lasy, uprawy rolne, odkryte gleby, a także obiekty antropogeniczne. W analizie poszczególnych algorytmów zostały uwzględnione: format i rozmiar obrazu, stopień automatyzacji procesu, stopień zgodności wyniku oraz czas przetworzenia. Dokładność procesu kolorowania była różna dla poszczególnych klas obiektów odwzorowanych na zdjęciu. Głównym ograniczeniem procesu kolorowania były cienie obiektów antropogenicznych, których wartości stopni szarości odpowiadały lasom.
    Źródło:
    Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2016, 28; 11-24
    2083-2214
    2391-9477
    Pojawia się w:
    Archiwum Fotogrametrii, Kartografii i Teledetekcji
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Fan-Raspaud conjecture: A randomized algorithmic approach and application to the pair assignment problem in cubic networks
    Autorzy:
    Formanowicz, P.
    Tanaś, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/331003.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    graf sześcienny
    kolorowanie krawędzi
    skojarzenie doskonałe
    algorytm zrandomizowany
    sieć komputerowa
    cubic graph
    edge colouring
    perfect matching
    randomized algorithms
    computer networks
    Opis:
    It was conjectured by Fan and Raspaud (1994) that every bridgeless cubic graph contains three perfect matchings such that every edge belongs to at most two of them. We show a randomized algorithmic way of finding Fan-Raspaud colorings of a given cubic graph and, analyzing the computer results, we try to find and describe the Fan-Raspaud colorings for some selected classes of cubic graphs. The presented algorithms can then be applied to the pair assignment problem in cubic computer networks. Another possible application of the algorithms is that of being a tool for mathematicians working in the field of cubic graph theory, for discovering edge colorings with certain mathematical properties and formulating new conjectures related to the Fan-Raspaud conjecture.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2012, 22, 3; 765-778
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kolorowanie kodu źródłowego programu a proces jego analizy syntaktycznej – badania eye-trackingowe
    The influence of syntax highlighting on reading program source code – eye-tracking research
    Autorzy:
    ANDRZEJEWSKA, MAGDALENA
    Powiązania:
    https://bibliotekanauki.pl/articles/1389062.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Rzeszowski
    Tematy:
    uczenie się programowania kolorowanie składni kodu programu okulografia
    analiza kodu programu.
    learning programming
    syntax highlighting
    eye-tracking
    source code review
    Opis:
    W artykule przedstawiono wyniki eksperymentu, w którym badano wpływ kolorowania kodu programu na proces jego analizy składniowej. Uczestnikami eksperymentu było 13 studentów kierunku informatyka. Zastosowano technikę okulografii w celu śledzenia procesu wyszukiwania błędów syntaktycznych. Zaobserwowano, że podświetlanie składni nie wpłynęło na efektywność wykonania zadania. Nie stwierdzono również istotnych różnic w wartościach parametrów eye- -trackingowych w przypadku analizy kodu czarno-białego i kolorowego.
    This article presents an empirical study investigating the role of syntax highlighting program source code. Eye-trackig data were collected from 13 computer science students, who were asked to search syntax errors in coloured and black-and-white code, while their screens were recorded. It was observed that syntax highlighting has not significant effect on the task execution. The eye- -tracking parameters for black-and-white code and for coloured code differed, but not significantly.
    Źródło:
    Edukacja-Technika-Informatyka; 2016, 7, 3; 204-209
    2080-9069
    Pojawia się w:
    Edukacja-Technika-Informatyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wpływ aktywności fizycznej i kolorowania na średni poziom fal mózgowych w trakcie uczenia się
    Impactof coloring and physical exercises on the average level of brainwaves
    Autorzy:
    Mikołajczyk, Katarzyna
    Siemianowski, Patryk
    Dywel, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/956587.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Śląska. Katedra Biomechatroniki
    Tematy:
    EEG
    fale mózgowe
    kolorowanie
    aktywność fizyczna
    proces uczenia się
    Neurosky
    eeg ID
    brain waves
    coloring
    physical exercise
    learning process
    Opis:
    W artykule został przedstawiony wpływ wybranych aktywności fizycznych oraz kolorowania na średni poziom fal mózgowych (wysoka alfa, wysoka beta, niska gamma). W badaniu obejmującym trzydzieści osób pokazano, że nie można wykazać jednoznacznie pozytywnego wpływu ćwiczeń fizycznych - 37%, w przeciwieństwie do kolorowania - 80%, na proces nauczania. Dodatkowo pokazano, że w grupie badanych osób, średni poziom fal mózgowych związanych z procesem uczenia się – nauczania był najniższy na początku, a najwyższy na końcu prowadzonego badania. Może to sugerować pozytywny wpływ aktywności dodatkowych na efektywność procesu uczenia się- nauczania.
    The article presents the influence of selected physical activity and coloring on the average level of brain waves (high alpha, high beta, low gamma). The study was subjected to thirty people. That can’t be shown clearly positive effect of physical exercise, as opposed to coloring. In addition, it is shown that in each of the subjects average brainwaves associated with the learning process were lowest in the beginning and the highest on the end of the study. This may suggest a positive effect of some kinds of activities on more effective learning and teaching.
    Źródło:
    Aktualne Problemy Biomechaniki; 2017, 13; 43-48
    1898-763X
    Pojawia się w:
    Aktualne Problemy Biomechaniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Better polynomial algorithms for scheduling unit-length jobswith bipartite incompatibility graphs on uniform machines
    Autorzy:
    Pikies, T.
    Kubale, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/201958.pdf
    Data publikacji:
    2019
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    approximation algorithm
    graph coloring
    incompatible job
    polynomial algorithm
    scheduling
    uniform machine
    unit-time jobs
    algorytm aproksymacyjny
    kolorowanie grafów
    algorytm wielomianowy
    planowanie
    praca jednostkowa
    Opis:
    The goal of this paper is to explore and to provide tools for the investigation of the problems of unit-length scheduling of incompatible jobs on uniform machines. We present two new algorithms that are a significant improvement over the known algorithms. The first one is Algorithm 2 which is 2-approximate for the problem Qm|pj = 1, G = bisubquartic|Cmax. The second one is Algorithm 3 which is 4-approximate for the problem Qm|pj = 1, G = bisubquartic|ΣCj, where m ϵ {2, 3, 4}. The theory behind the proposed algorithms is based on the properties of 2-coloring with maximal coloring width, and on the properties of ideal machine, an abstract machine that we introduce in this paper.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2019, 67, 1; 31-36
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies