Filters
total: 63
Best results in : Research Potential Pokaż wszystkie wyniki (50)
Search results for: PROOF
-
Illume
Research PotentialILLUME [/ɪˈl(j)uːm/] to interdyscyplinarna grupa badawcza w ramach centrum badawczego EcoTech na Politechnice Gdańskiej, stworzona w celu minimalizacji wpływu zanieczyszczenia światłem sztucznym na ludzi, florę i faunę. Członkowie grupy posiadają wybitne umiejętności praktyczne i wiedzę badawczą w zakresie tych zagadnień. Nie tylko konsekwentnie identyfikując istotne problemy i tematy badawcze, ale także znajdując praktyczne rozwiązania...
-
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...
-
Zespół Katedry Równań Różniczkowych i Zastosowań Matematyki
Research Potential* topologiczne niezmienniki w teorii układów dynamicznych i ich zastosowania * teoria punktów stałych i periodycznych * metody matematyczne w kardiologii * miary złożoności i ich zastosowania * modele strukturalne z dyfuzją i warunkami brzegowymi Fellera * modelowanie ekspresji genu białka Hes1 * równania McKendrick-von Foerster z warunkiem odnowy * modelowanie termicznej ablacji za pomocą równania bio-przewodnictwa ciepła * soczewkowanie...
Best results in : Business Offer Pokaż wszystkie wyniki (13)
Search results for: PROOF
-
Laboratorium Zanurzonej Wizualizacji Przestrzennej LZWP
Business Offersześcienna jaskinia rzeczywistości wirtualnej (czyli pomieszczenie, którego ściany są ekranami do projekcji stereoskopowej, ang. CAVE), wstawiany do jaskini przezroczysty sferyczny symulator chodu (czyli sfera obrotowa pozwalająca człowiekowi niczym chomikowi w kołowrotku na chód w miejscu).
-
Centrum Civitroniki – Centrum Zaawansowanych Technologii
Business OfferCentrum Civitroniki działa na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. W skład Centrum Cicitroniki wchodzą następujące pracownie:Pracownia DIM-Tefal, Pracownia defektorskopii, badań materiału i konstrukcji metalowych, Pracownia geodezyjnego monitorowania budowli inżynierskich, Pracownia badań drogowych, Pracownia fizyki budowli oraz Nazwa Civitronika jest wynikiem połączenia wyrażeń: „civil engineering”...
-
Laboratorium Hydrauliki Siłowej
Business OfferSZKOLENIA z HYDRAULIKI SIŁOWEJ na różnym poziomie zaawansowania. Badania rozwojowe pomp wyporowych, silników hydraulicznych i elementów układów hydrostatycznego napędu maszyn
Other results Pokaż wszystkie wyniki (137)
Search results for: PROOF
-
International Journal of Evidence & Proof
Journals -
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...
-
Computer Assisted Proof of the Existence of a Periodic Orbit in the Rössler Equations
Publication -
Law requirements of explosion proof protection at working with chemical substances
Publication -
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...