Filtry
wszystkich: 64
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (51)
Wyniki wyszukiwania dla: PROOF
-
Illume
Potencjał BadawczyILLUME [/ɪˈ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
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...
-
Zespół Katedry Równań Różniczkowych i Zastosowań Matematyki
Potencjał Badawczy* 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...
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (13)
Wyniki wyszukiwania dla: PROOF
-
Laboratorium Zanurzonej Wizualizacji Przestrzennej LZWP
Oferta Biznesowasześ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
Oferta BiznesowaCentrum 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
Oferta BiznesowaSZKOLENIA 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
Pozostałe wyniki Pokaż wszystkie wyniki (139)
Wyniki wyszukiwania dla: PROOF
-
International Journal of Evidence & Proof
Czasopisma -
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...
-
Computer Assisted Proof of the Existence of a Periodic Orbit in the Rössler Equations
Publikacja -
Law requirements of explosion proof protection at working with chemical substances
Publikacja -
Smooth least absolute deviation estimators for outlier-proof identification
PublikacjaThe paper proposes to identify the parameters of linear dynamic models based on the original implementation of least absolute deviation estimators. It is known that the object estimation procedures synthesized in the sense of the least sum of absolute prediction errors are particularly resistant to occasional outliers and gaps in the analyzed system data series, while the classical least squares procedure unfortunately becomes...