Search
Filters
total: 144
Best results in : Research Potential Pokaż wszystkie wyniki (108)
Search results for: PROOF-NUMBER SEARCH
-
Zespół Algorytmów i Modelowania Systemów
Research PotentialStudiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...
-
Architektura Systemów Komputerowych
Research PotentialGłówną tematyką badawczą podejmowaną w Katedrze jest rozwój architektury aplikacji i systemów komputerowych, w szczególności aplikacji i systemów równoległych i rozproszonych. "Architecture starts when you carefully put two bricks together" - stwierdza niemiecki architekt Ludwig Mies von der Rohe. W przypadku systemów komputerowych dotyczy to nie cegieł, a modułów sprzętowych lub programowych. Przez architekturę systemu komputerowego...
-
Katedra Geodezji
Research PotentialKatedra Geodezji realizuje zadania związane z geodezją i kartografią, a przede wszystkim w zakresie geodezji inżynieryjnej, fotogrametrii, teledetekcji, gospodarki nieruchomościami, systemów informacji przestrzennej oraz nawigacji i pomiarów GPS. W ramach Katedry Geodezji funkcjonują Zespoły Dydaktyczne związane z przedmiotami i szkoleniami oraz Zespoły Badawczo-Rozwojowe prowadzące prace naukowe i realizacje techniczne we współpracy...
Best results in : Business Offer Pokaż wszystkie wyniki (36)
Search results for: PROOF-NUMBER SEARCH
-
Laboratorium Maszyn i Systemów Okrętowych
Business OfferBadania procesów i zjawisk w czasie realizacji obiegu roboczego w silniku z zapłonem samoczynnym dla potrzeb diagnostyki maszyn tłokowych.
-
Środowiskowe Laboratorium Technologii Bezprzewodowych
Business OfferŚrodowiskowe Laboratorium Technologii Bezprzewodowych powstało w ramach realizacji projektu CZT Centrum Zaawansowanych Technologii POMORZE i mieści się w Katedrze Inżynierii Mikrofalowej i Antenowej na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej. Laboratorium zostało wyposażone w specjalistyczne zaplecze aparaturowe, które w połączeniu z kompetencjami naukowymi i technologicznymi kadry pozwala na...
-
GUT LightLab [Laboratorium badawcze światła]
Business OfferTBC Celem Laboratorium Światła (z ang. GUT LightLab), jako placówki międzydyscyplinarnej, jest prowadzenie na wysokim poziomie badań podstawowych oraz badań stosowanych z pogranicza wielu dziedzin, w aspekcie odziaływania Światła, takich jak: Ochrona Środowiska, Medycyna, Zrównoważony Rozwój, Architektura Budowli, Architektura Dziedzictwa, Architektura Krajobrazu, Urbanistyka, Architektura Wnętrz, System znajdowania drogi (z ang....
Other results Pokaż wszystkie wyniki (3494)
Search results for: PROOF-NUMBER SEARCH
-
Porównanie wydajności modyfikacji algorytmu Proof-number search uwzględniających wartości remisowe
PublicationProof-number search to znana rodzina algorytmów służących do wyznaczania wartości pozycji w nielosowych grach dwóch graczy z pełną informacją. W wersji podstawowej pn-search doskonale radzi sobie z wyszukiwaniem strategii wygrywającej jednego z graczy. Jednak istnieje wiele znanych gier, w których obydwaj gracze posiadają jedynie strategię remisującą (Młynek, Awari, Warcaby). W niniejszej pracy porównano wydajność dwóch modyfikacji...
-
Ocena poprawności działania algorytmu proof-number search na strukturze digrafu acyklicznego
PublicationAlgorytm proof-number search jest znanym algorytmem służącym do rozwiązywania gier logicznych. Rozwiązanie gry jest jednoznaczne ze znalezieniem optymalnej strategii i pozwala przeprowadzić rozgrywkę w sposób pozwalający na osiągnięcie najlepszego możliwego wyniku. Jedną z największych wad tego algorytmu, naturalnie pracującego na strukturze drzewa, jest wielokrotne rozwijanie identycznych poddrzew gry co prowadzi do nadmiarowego...
-
An Alternative Proof of a Lower Bound on the 2-Domination Number of a Tree
PublicationA 2-dominating set of a graph G is a set D of vertices of G such that every vertex not in D has a 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. Fink and Jacobson [n-domination in graphs, Graph theory with applications to algorithms and computer science, Wiley, New York, 1985, 283-300] established the following lower bound on the 2-domination...
-
Limiting distribution of Lempel Ziv'78 redundancy
PublicationWe show that the Lempel Ziv'78 redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper [3]. We present a new simplified proof of the Central Limit Theorem for the number of phrases in the LZ'78 algorithm. As in our 1995 paper, here we first analyze the asymptotic behavior of the total path length in a digital search tree (a DST) built from independent sequences....
-
On the Limiting distribution of Lempel Ziv'78 Redundancy for Memoryles Sources
PublicationWe show that the Lempel Ziv'78 redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper [3]. We present a new simplified proof of the Central Limit Theorem for the number of phrases in the LZ'78 algorithm. As in our 1995 paper, here we first analyze the asymptotic behavior of the total path length in a digital search tree (a DST) built from independent sequences....