Filtry
wszystkich: 144
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (108)
Wyniki wyszukiwania dla: proof-number search
-
Zespół Algorytmów i Modelowania Systemów
Potencjał BadawczyStudiowanie 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
Potencjał BadawczyGłó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
Potencjał BadawczyKatedra 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...
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (36)
Wyniki wyszukiwania dla: proof-number search
-
Laboratorium Maszyn i Systemów Okrętowych
Oferta BiznesowaBadania 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
Oferta BiznesowaŚ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]
Oferta BiznesowaTBC 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....
Pozostałe wyniki Pokaż wszystkie wyniki (3496)
Wyniki wyszukiwania dla: proof-number search
-
Porównanie wydajności modyfikacji algorytmu Proof-number search uwzględniających wartości remisowe
PublikacjaProof-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
PublikacjaAlgorytm 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
PublikacjaA 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
PublikacjaWe 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
PublikacjaWe 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....