Temat: computer method - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A computer-assisted proof of symbolic dynamics in Hyperions rotation model
Autorzy:: Gierzkiewicz-Pieniążek, Anna
Zgliczyński, Piotr
Data publikacji:: 2019
Słowa kluczowe:: interval Newton method
computer-assisted proof
symbolic dynamics
hyperion; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Beyond the Melnikov method II : multidimensional setting
Autorzy:: Capiński, Maciej
Zgliczyński, Piotr
Data publikacji:: 2018
Słowa kluczowe:: computer assisted proof
transversal homoclinic intersection
whiskered tori
Melnikov method
normally hyperbolic invariant manifolds; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Efficient algorithms for rigorous integration forward in time of dPDEs : existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a computer assisted proof
Wydajne algorytmy do ścisłego całkowania do przodu w czasie dysypatywnych równań różniczkowych cząstkowych : istnienie globalnie przyciągających punktów stałych dla lepkościowego równania Burgersa ze stałym
Autorzy:: Cyranka, Jacek
Współwytwórcy:: Zgliczyński, Piotr
Data publikacji:: 2013-06-06
Słowa kluczowe:: computer assisted proof
rigorous numerical method
partial differential equations
dowód wpierany komputerowo
równania różniczkowe cząstkowe
ścisłe metody numeryczne; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Hipoteza Wegnera - kolorowanie kwadratu grafu planarnego.
Wegners conjecture - coloring the square of a planar graph
Autorzy:: Byczek, Rafał
Słowa kluczowe:: hipoteza Wegnera, teoria grafów, grafy planarne, grafy zewnętrznie planarne, kwadrat grafu, maksymalny stopień wierzchołka, talia grafu, kolorowanie grafu, liczba chromatyczna, kolorowanie z list, iniektywne kolorowanie, L(p,q)-etykietowanie, metoda rozładowania, metoda dekompozycji, meotda najmniejszego kontrprzykładu, dowody wspierane komputerowo
Wegner's conjecture, graph theory, planar graphs, outerplanar graphs, the square of a graph, maximum vertex degree, girth of a graph, graph coloring, chromatic number, list coloring, injective coloring, L(p,q)-labeling, discharging method, decomposition method, minimal counterexample method, computer-assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Selected methods of data mining in the diagnosis of melanoma malignum
Wybrane metody eksploracji danych w diagnostyce melanoma malignum
Autorzy:: Bartodziej, Kamil
Słowa kluczowe:: czerniak, głębokie uczenie, sieci neuronowe, widzenie komputerowe, eksploracja danych, regularyzacja, klasyfikacja statystyczna, metoda ABCD, HAM10000
melanoma, deep learning, neural networks, computer vision, data mining, regularization, statistical classification, ABCD method, HAM10000; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Informacja