SOWA OPAC : Katalog komputerowy książek, czasopism i zbiorów specjalnych

335 wyników

Książka

W koszyku

Matematyka dyskretna dla praktyków : algorytmy i uczenie maszynowe w Pythonie / Ryan T. White, Archana Tikayat Ray ; przekład: Filip Kamiński. - Gliwice : Helion, copyright 2022. - 270, [2] strony : ilustracje, wykresy ; 24 cm.

Autor

White Ryan T. Ray Archana Tikayat Kamiński Filip (informatyk)

Forma i typ

Książki Publikacje dydaktyczne

Temat

Algorytmy Matematyka dyskretna Programowanie (informatyka) Python (język programowania) Uczenie maszynowe

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

W książce także ISBN oryginału.

Część I. Podstawowe pojęcia z obszaru matematyki dyskretnej Część II. Zastosowania matematyki dyskretnej w analizie danych i informatyce Część III. Praktyczne zastosowania matematyki dyskretnej Co zrobić, aby jak najlepiej wykorzystać tę książkę Kody źródłowe Konwencje typograficzne przyjęte w tej książce I. Podstawowe pojęcia z obszaru matematyki dyskretnej 1. Podstawowe pojęcia, notacja, teoria mnogości, relacje i funkcje Czym jest matematyka dyskretna? Podstawowa teoria mnogości Definicja zbiory i ich notacja Definicja elementy zbiorów Definicja zbiór pusty Przykład kilka przykładowych zbiorów Definicja podzbiory i nadzbiory Definicja notacja konstrukcji zbiorów Przykład użycie notacji konstrukcji zbiorów Definicja podstawowe operacje na zbiorach Definicja zbiory rozłączne Przykład liczby parzyste i nieparzyste Twierdzenie prawa De Morgana Dowód Przykład prawo De Morgana Definicja moc zbioru Przykład moce zbiorów Funkcje i relacje Definicja relacje, dziedziny i przeciwdziedziny Definicja funkcje Przykłady relacje kontra funkcje Przykład funkcje w algebrze elementarnej Przykład funkcje w Pythonie i funkcje matematyczne 2. Logika formalna i dowody matematyczne Logika formalna i dowodzenie za pomocą tablic prawdy Podstawy terminologii stosowanej w logice formalnej Przykład niepoprawny argument Przykład wszystkie pingwiny mieszkają w RPA! Podstawowe idee logiki formalnej Tablice prawdy Przykład implikacja odwrotna Przykład prawo przechodniości implikacji Przykład prawa De Morgana Przykład implikacja przeciwstawna Dowody wprost Przykład iloczyn parzystych i nieparzystych liczb całkowitych Przykład pierwiastki liczb parzystych Skrócenie dowodu za pomocą implikacji przeciwstawnej Dowody nie wprost Przykład czy istnieje najmniejsza dodatnia liczba wymierna? Przykład dowód, że 2 jest liczbą niewymierną Przykład ile jest liczb pierwszych? Dowodzenie przez indukcję matematyczną Przykład suma 1+2+...+n Przykład kształty wypełniające przestrzeń Przykład wzrost wykładniczy a wzrost w tempie silni 3. Obliczenia w systemach o podstawie n Zrozumieć liczby o podstawie n Przykład liczby dziesiętne Definicja liczby o podstawie n Konwersje między różnymi podstawami Konwersja liczb o podstawie n na liczby dziesiętne Przykład wartość dziesiętna liczby o podstawie 6 Konwersja z zapisu dziesiętnego na system o podstawie n Przykład konwersja liczby dziesiętnej na liczbę binarną (podstawa 2) Przykład konwersje z systemu dziesiętnego na binarny i szesnastkowy w Pythonie Liczby binarne i ich zastosowania Algebra Boolea Operator AND Operator OR Operator NOT Przykład użytkownicy Netfliksa Liczby szesnastkowe i ich zastosowanie Przykład położenie obiektów w pamięci komputera Przykład wyświetlanie komunikatów o błędach Przykład adresy MAC Przykład kolory w sieci 4. Kombinatoryka z użyciem SciPy Podstawy zliczania Definicja iloczyn kartezjański Twierdzenie moc iloczynów kartezjańskich zbiorów skończonych Definicja iloczyn kartezjański n zbiorów Twierdzenie reguła mnożenia Przykład bajty Przykład kolory w komputerze Permutacje i kombinacje obiektów Definicja permutacja Przykład permutacje prostego zbioru Twierdzenie permutacje zbioru Przykład playlista Wzrost w tempie silni Twierdzenie wariacja bez powtórzeń Definicja kombinacja Przykład kombinacje kontra permutacje prostego zbioru Twierdzenie kombinacje ze zbioru Współczynniki dwumianowe Przykład tworzenie zespołu Przykład kombinacje kul Alokacja pamięci Przykład wstępne przydzielanie pamięci Skuteczność algorytmów siłowych Przykład szyfr Cezara Przykład problem komiwojażera 5. Elementy prawdopodobieństwa dyskretnego Definicja doświadczenie losowe Definicje zdarzenia elementarne, zdarzenia losowe, przestrzenie prób Przykład rzut monetą Przykład rzut wieloma monetami Definicja miara probabilistyczna Twierdzenie podstawowe własności prawdopodobieństwa Dowód Przykład sport Twierdzenie monotoniczność Dowód Twierdzenie zasada włączeń i wyłączeń Dowód Definicja rozkład jednostajny Twierdzenie obliczanie prawdopodobieństwa Dowód Przykład rzut wieloma monetami Definicja zdarzenia niezależne Przykład rzucanie wieloma monetami Prawdopodobieństwo warunkowe i twierdzenie Bayesa Definicja prawdopodobieństwo warunkowe Przykład temperatury i opady Twierdzenie reguły mnożenia Dowód Twierdzenie twierdzenie o prawdopodobieństwie całkowitym Dowód Twierdzenie twierdzenie Bayesa Dowód Bayesowski filtr antyspamowy Zmienne losowe, średnie i wariancja Definicja zmienna losowa Przykład błędy przesyłania danych Przykład empiryczna zmienna losowa Definicja wartość oczekiwana Przykład empiryczna zmienna losowa Definicja wariancja i odchylenie standardowe Twierdzenie obliczanie wariancji w praktyce Dowód Przykład empiryczna zmienna losowa Google PageRank (część I) II. Zastosowania matematyki dyskretnej w analizie danych i informatyce 6. Algorytmy algebry liniowej Zrozumieć układy równań liniowych Definicja równanie liniowe dwóch zmiennych Definicja kartezjański układ współrzędnych Przykład równanie liniowe Definicja układ dwóch równań liniowych dwóch zmiennych Przykład układ oznaczony Przykład układ sprzeczny Przykład układ nieoznaczony Definicja układy równań liniowych i ich rozwiązania Definicja układy oznaczone, sprzeczne i nieoznaczone Macierze i macierzowe reprezentacje układów równań liniowych Definicja macierze i wektory Definicja dodawanie i odejmowanie macierzy Definicja mnożenie przez skalar Definicja transpozycja macierzy Definicja iloczyn skalarny wektorów Definicja mnożenie macierzy Przykład ręczne mnożenie macierzy i mnożenie macierzy w NumPy Rozwiązywanie małych układów równań liniowych za pomocą metody eliminacji Gaussa Definicja współczynnik wiodący Definicja zredukowana macierz schodkowa Przykład układ oznaczony z macierzą schodkową Przykład układ sprzeczny z macierzą schodkową Przykład układ nieoznaczony z macierzą schodkową Algorytm eliminacja Gaussa Przykład układ 3 równań liniowych z 3 niewiadomymi Rozwiązywanie dużych układów równań liniowych za pomocą NumPy Przykład układ 3 równań z 3 niewiadomymi (NumPy) Przykład sprzeczne i nieoznaczone układy równań w NumPy Przykład układ 10 równań z 10 niewiadomymi (NumPy) 7. Złożoność algorytmów Złożoność obliczeniowa algorytmów Notacja dużego O Kiedy stałe mają znaczenie? Złożoność algorytmów zawierających podstawowe instrukcje sterujące Przepływ sekwencyjny Przepływ warunkowy Pętla Złożoność popularnych algorytmów wyszukiwania Algorytm wyszukiwania liniowego Czym jest funkcja w Pythonie? Algorytm wyszukiwania binarnego Popularne klasy złożoności obliczeniowej 8. Przechowywanie i wyodrębnianie cech z grafów, drzew i sieci Zrozumieć grafy, drzewa i sieci Definicja graf Definicja stopień wierzchołka Przykład stopnie wierzchołków Twierdzenie suma stopni wierzchołków Definicja ścieżki Definicja cykle Definicja drzewa lub grafy acykliczne Definicja sieci Definicja grafy skierowane Definicja sieci skierowane Przykład sieć skierowana Definicja wierzchołki sąsiednie Definicja grafy i składowe spójne Zastosowania grafów, drzew i sieci Przechowywanie grafów i sieci Definicja lista sąsiedztwa Definicja macierz sąsiedztwa Przykład lista sąsiedztwa i macierz sąsiedztwa Przykład macierz sąsiedztwa niespójnego grafu Definicja macierz sąsiedztwa dla grafu skierowanego Przykład macierz sąsiedztwa dla grafu skierowanego Przykład przechowywanie macierzy sąsiedztwa w Pythonie Wydajne przechowywanie danych sąsiedztwa Definicja macierz wag sieci Przykład macierz wag sieci Definicja macierz wag sieci skierowanej Przykład macierz wag sieci skierowanej Przykład przechowywanie macierzy wag w Pythonie Wyodrębnianie cech z grafów Stopnie wierzchołków w grafie Liczba ścieżek o określonej długości między wierzchołkami Twierdzenie potęgi macierzy sąsiedztwa Potęgi macierzy w Pythonie Twierdzenie najkrótsza (pod względem liczby krawędzi) ścieżka pomiędzy vi i vj Przykład ścieżki między wierzchołkami grafu z rysunku 8.8 9. Przeszukiwanie struktur danych i znajdowanie najkrótszych ścieżek Przeszukiwanie struktur grafowych i drzew Algorytm przeszukiwania w głąb (DFS) Implementacja algorytmu przeszukiwania w głąb w Pythonie Problem najkrótszej ścieżki i jego warianty Najkrótsze ścieżki w sieciach Inne zastosowania najkrótszych ścieżek Definicja problemu najkrótszej ścieżki Sprawdzenie, czy istnieje rozwiązanie Znajdowanie najkrótszych ścieżek metodą siłową Algorytm Dijkstry znajdowania najkrótszych ścieżek Algorytm Dijkstry Algorytm Dijkstry zastosowany do małego problemu Implementacja algorytmu Dijkstry w Pythonie Przykład najkrótsze ścieżki Przykład sieć bez połączenia III. Praktyczne zastosowania matematyki dyskretnej 10. Analiza regresji za pomocą NumPy i scikit-learn Zbiór danych Linie najlepszego dopasowania i metoda najmniejszych kwadratów Zmienne Zależność liniowa Regresja Linia najlepszego dopasowania Metoda najmniejszych kwadratów i suma kwadratów błędów Dopasowywanie prostej metodą najmniejszych kwadratów w NumPy Dopasowywanie krzywych metodą najmniejszych kwadratów z użyciem NumPy i SciPy Dopasowanie płaszczyzn metodą najmniejszych kwadratów z użyciem NumPy i SciPy 11. Wyszukiwanie w sieci za pomocą algorytmu PageRank Rozwój wyszukiwarek na przestrzeni lat Google PageRank (część II) Implementacja algorytmu PageRank w Pythonie Zastosowanie algorytmu na danych rzeczywistych 12. Analiza głównych składowych za pomocą scikit-learn Wartości i wektory własne, bazy ortogonalne Redukcja wymiarowości za pomocą analizy głównych składowych Implementacja metody PCA z scikit-learn Zastosowanie metody PCA na rzeczywistych danych

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 153854 N, 153855 N (2 egz.)

Brak okładki

Książka

W koszyku

Neuronowe modelowanie procesów technologicznych / Tadeusz Wieczorek. - Gliwice : Wydawnictwo Politechniki Śląskiej, 2008. - 303, [1] strona : ilustracje ; 25 cm.

(Monografia / Politechnika Śląska ; 190)

Autor

Wieczorek Tadeusz (elektrotechnika).

Forma i typ

Książki

Temat

Modele matematyczne. Sztuczna sieć neuronowa Technologia.

Dziedzina i ujęcie

Matematyka

Bibliografia strony [278]-296.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 122237 N (1 egz.)

Książka

W koszyku

Zadania i problemy z rzeczywistej struktury materiałów z rozwiązaniami / Krzysztof Wierzbanowski. - Kraków : Wydawnictwa AGH, 2023. - 126, [3] strony : ilustracje, wykresy ; 24 cm.

Autor

Wierzbanowski Krzysztof (1952- )

Forma i typ

Książki Publikacje dydaktyczne Publikacje naukowe

Odbiorca

Szkoły wyższe

Temat

Budowa wewnętrzna substancji Krystalografia Naprężenia i odkształcenia Sieć krystaliczna Tensory

Gatunek

Ćwiczenia i zadania

Dziedzina i ujęcie

Fizyka i astronomia Matematyka

Bibliografia, netografia na stronie [129].

Część I. TREŚĆ ZADAŃ 1.1.Elementy krystalografii 1.2.Orientacja sieci krystalicznej i obroty układów współrzędnych 1.3.Zastosowania siatki Wulffa 1.4.Odkształcenie i naprężenie w materiałach 1.5.Wybrane zagadnienia z rekrystalizacji Część II. ROZWIĄZANIA ZADAŃ II. 1. Elementy krystalografii 11.2.Orientacja sieci krystalicznej i obroty układów współrzędnych 11.3.Zastosowania siatki Wulffa 11.4.Odkształcenie i naprężenie w materiałach 11.5.Wybrane zagadnienia z rekrystalizacji

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 154104 N (1 egz.)

Brak okładki

Książka

W koszyku

Autor

Winniczuk Leszek.

Forma i typ

Książki Publikacje dydaktyczne

Temat

Geometria

Gatunek

Podręcznik

Dziedzina i ujęcie

Matematyka

1 Relacje równoważności 2.1Okręgi Apoloniusza w C 2.2Relacja odwróconego podobieństwa 3Uogólnienia układów Clifforda 3.1Układy Clifforda 3.2Konfiguracje 4-16 okręgów w C 4Klasy relacji odwróconego podobieństwa 5Przestrzeń L 5.1Stożkowe w L 5.2Okręgi Apoloniusza w m e M 5.3Relacja N 6Okręgi Apoloniusza 6.1Zbiory α i β w konfiguracjach eєE 6.2Konfiguracje szesnastu okręgów w C 7Uogólnienia pojęcia punktu Eulera-Ponceleta 7.1Zbiory Eulera-Ponceleta 7.2Symetrie względem stożkowych w C

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 151533, 151532 (2 egz.)

Brak okładki

Książka

W koszyku

Modelowanie tolerancyjne dynamiki mikroniejednorodnych płyt pierścieniowych / Artur Wirowski. - Łódź : Wydawnictwo Politechniki Łódzkiej, 2016. - 126, [2] strony : ilustracje, wykresy ; 24 cm.

(Monografie Politechniki Łódzkiej)

Autor

Wirowski Artur.

Forma i typ

Książki. Publikacje naukowe.

Temat

Mikrostruktura Modele matematyczne Płyty pierścieniowe

Gatunek

Monografia

Dziedzina i ujęcie

Inżynieria i technika. Matematyka.

Na grzbiecie numer kolejny wydawnictw PŁ: 2175.

Bibliografia na stronach [101]-111.

Modelowanie materiałów o zmiennych makrowłasnościach podstawy techniki tolerancyjnego uśredniania Wprowadzenie –różne metody modelowania ciał z mikrostrukturą Pojęcia podstawowe techniki tolerancyjnego uśredniania Podstawowe założenia i twierdzenia techniki tolerancyjnego modelowania Procedura uśredniania równań modelu Metoda ortogonalizacji Metoda funkcjonału Lagrange’a Model tolerancyjny płyt cienkich Tolerancyjny model asymptotyczny Model asymptotyczno-tolerancyjny Dynamika płyt pierścieniowych o jednokierunkowej mikrostrukturze Biegunowy układ współrzędnych Model tolerancyjny Model asymptotyczny Wpływ podłoża na drgania płyty pierścieniowej Model tolerancyjny Model asymptotyczny Metoda różnic skończonych dla płyt pierścieniowych Opis programu komputerowego Analiza wpływu budowy mikrostruktury i podłoża na częstości drgań swobodnych Wpływ własności geometrycznych płyty na częstości drgań swobodnych Wpływ parametrów podłoża Drgania wymuszone –przykłady obliczeń Dynamika płyt pierścieniowych o dwukierunkowej mikrostrukturze Uśrednione równania ruchu Uśrednione równania ruchu w biegunowym układzie współrzędnych Drgania własne –przykłady obliczeń wpływ stosowanych funkcji kształtu na wyniki w ramach TTA modelowanie tolerancyjne dynamiki mikroniejednorodnych Dokładne rozwiązanie analityczne dla pasma płytowego o skokowo zmiennych własnościach Proponowane przybliżone funkcje kształtu Przykładowe wyniki numeryczne.

Sygnatura czytelni BMW: VII F 43 (nowy)

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka Międzywydziałowa

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. M 14419 N (1 egz.)

Książka

W koszyku

Przewodnik po rozwiązywaniu zadań z mechaniki wraz z wybranymi przykładami : geometria mas figur płaskich / Halina Witek. - Gliwice : Wydawnictwo Politechniki Śląskiej, 2020. - 108, [4] strony : ilustracje ; 24 cm.

(Monografia ; 808)

Autor

Witek Halina (budownictwo).

Forma i typ

Książki Publikacje dydaktyczne

Odbiorca

Szkoły wyższe

Temat

Mechanika Planimetria

Gatunek

Materiały pomocnicze

Dziedzina i ujęcie

Fizyka i astronomia Matematyka

Bibliografia, netografia na stronie [109].

Wyznaczanie współrzędnych środka ciężkości Figury złożone z figur podstawowych kształtowników Obliczanie momentów bezwładności i momentów dewiacji figur podstawowych i kształtowników dewiacji figury złożonej Wyznaczanie kierunków głównych i obliczanie wartości głównych centralnych momentów bezwładności

Sygnatura czytelni BMW: IV E 33 (nowy)

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 149332 (1 egz.)

Biblioteka Międzywydziałowa

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. M 14970 N (1 egz.)

Magazyn

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 149292 LE (1 egz.)

Brak okładki

Książka

W koszyku

Kurs przygotowawczy z matematyki na wyższe uczelnie : algebra, analiza, rachunek prawdopodobiństwa / Lech Włodarski, Ewa Hensz. - Wydanie 3. - Warszawa : Państwowe Wydawnictwo Naukowe, 1984. - 268 stron : ilustracje ; 24 cm.

Autor

Włodarski Lech (1916-1997). Hensz Ewa.

Forma i typ

Książki Publikacje dydaktyczne

Temat

Matematyka

Gatunek

Podręcznik

Dziedzina i ujęcie

Matematyka

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 68667, 68666 L, 68668, 68669 (4 egz.)

Brak okładki

Książka

W koszyku

Wizualizacja w architekturze : podstawy teoretyczne, analiza badawcza i zastosowania praktyczne / Barbara Wojtowicz, Renata A. Górska, Agnieszka Wojtowicz ; Politechnika Krakowska im. Tadeusza Kościuszki. - Kraków : Wydawnictwo PK, 2019. - 163, [1] strona : ilustracje, fotografie, wykresy ; 24 cm.

Autor

Wojtowicz Barbara (architekt) Górska Renata A. Wojtowicz Agnieszka (psycholog)

Forma i typ

Książki Publikacje naukowe

Temat

Architektura Perspektywa Percepcja wzrokowa Projektowanie architektoniczne Symulacja Wizualizacja (grafika)

Gatunek

Opracowanie Raport z badań

Dziedzina i ujęcie

Architektura i budownictwo Matematyka Psychologia

Bibliografia. netografia, wykaz aktów prawnych na stronach [143]-149.

1.Wprowadzenie do tematyki wizualizacji i perspektywy 1.1.Wizualizacja jako graficzne narzędzie prezentacji 1.2.Wizualizacja jako element zdolności interpretacji obiektów przestrzennych 1.3.Perspektywa na przestrzeni wieków - rys historyczny 1.4.Perspektywa w rysunku architektonicznym jako metoda wizualizacji projektowanego obiektu 1.5.Perspektywa w fotografii 2.Spostrzeganie wzrokowe 2.1.Percepcja wzrokowa 2.2.Wyobrażenia 3.Podstawy teoretyczne - teoria geometryczna perspektywy 3.1.Rzut środkowy: definicja i niezmienniki 3.2.Odwzorowanie elementów przestrzeni 3.2.1.Odwzorowanie punktu 3.2.2.Odwzorowanie prostej 3.2.3.Odwzorowanie płaszczyzny 3.3.Konstrukcje podstawowe w rzucie środkowym 3.3.1.Przynależność elementów 3.3.2.Elementy wspólne 3.3.3.Elementy równoległe 3.3.4.Elementy prostopadłe 3.3.5.Obrót i kład płaszczyzny 3.3.6.Punkty mierzenia 3.4.Perspektywa pionowa 3.4.1.Czym jest perspektywa pionowa? 3.4.2.Parametry perspektywy pionowej i ich ustalanie 3.4.3.Konstrukcja perspektywy pionowej na bazie rzutów prostokątnych 3.4.4.Perspektywa pośrednia 3.4.5.Podziałka perspektywiczna 3.5.Perspektywa okręgu 3.5.1.Perspektywa okręgu zawartego w płaszczyźnie poziomej 3.5.2.Perspektywa okręgu zawartego w płaszczyźnie prostopadłej do linii podstawy p 3.6.Cienie w perspektywie pionowej 3.6.1.Cień punktu przy oświetleniu punktowym 3.6.2.Cień punktu przy oświetleniu równoległym (światło słoneczne) 3.6.3.Cień odcinka pionowego 3.6.4.Cień odcinka o dowolnym położeniu względem tła 3.6.5.Cień bryły na przykładzie prostopadłościanu 3.6.6.Cień pionowego odcinka na bryle wraz z cieniem bryły 3.7.Analiza nasłonecznienia projektowanych obiektów 3.7.1.Analiza nasłonecznienia w świetle przepisów prawa 3.7.2.Zasada konstrukcji diagramu „linijka słońca" 3.7.3.Analiza zacieniania obiektu wysokim budynkiem 3.7.4.Zmiany wyrazu plastycznego kompozycji architektonicznej w ciągu dnia 3.8.Restytucja geometryczna fotografii 3.8.1.Restytucja geometryczna obrazu Perspektywicznego z fotografii 4.Rysunek konstrukcyjny i modelowanie komputerowe a zdolności przestrzenne - badania własne 4.1.Cel badania i hipotezy badawcze 4.2.Osoby badane 4.3.Narzędzia badawcze 4.4.Procedura 4.5.Analizy statystyczne 4.6.Wyniki 4.6.1.Wartości statystyk opisowych 4.6.2.Analiza różnic międzypłciowych w poziomie zdolności do rotacji mentalnych 4.6.3.Analiza związków poziomu zdolności do rotacji mentalnych z wykonaniem rysunkowego zadania geometrycznego - analizy modeli 4.6.4.Analiza różnic międzypłciowych w stylu odpowiedzi w teście rotacji mentalnych MRT 4.6.5.Analiza różnic międzypłciowych w poziomie poprawności wykonania zadania geometrycznego 4.7.Dyskusja wyników

Sygnatura czytelni BWB: VII D 111

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka WB

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 148379 LE (1 egz.)

Książka

W koszyku

Prawdziwy świat kryptografii / David Wong ; [przekład Wojciech Fenrich]. - Wydanie I. - Warszawa : PWN, 2023. - XXVIII, 412 stron : fotografie, ilustracje ; 24 cm.

Autor

Wong David Fenrich Wojciech

Forma i typ

Książki Publikacje fachowe

Odbiorca

Kryptolodzy Programiści

Temat

Kryptologia

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Indeks.

Dla specjalistów ds. cyberbezpieczeństwa i programistów szyfrujących dane.

CZĘŚĆ I PRYMITYWY. SKŁADNIKI KRYPTOGRAFII 1.1.W kryptografii chodzi o zabezpieczenie protokołów 1.2.Kryptografia symetryczna. Czymjest szyfrowanie symetryczne? 1.3.Zasada Kerckhoffsa: tylko klucz pozostaje tajny 1.4.Kryptografia asymetryczna. Dwa klucze są lepsze niżjeden O wymienianiu się kluczami albo jak uzyskać dostęp do wspólnego sekretu Szyfrowanie asymetryczne, nie mylić z symetrycznym Podpisy cyfrowe, zupełnie jak te tradycyjne 1.5.Kryptografia: klasyfikacje i abstrakcje 1.6.Kryptografia teoretyczna a prawdziwy świat kryptografii 1.7.Od teorii do praktyki. Każdy może pójść własną ścieżką 1.8.Słowo ostrzeżenia 2 Funkcje skrótu (funkcje haszujące) 2.1.Czymjest funkcja skrótu? 2.2.Właściwości zabezpieczeń funkcji skrótu 2.3.Uwarunkowania zabezpieczeń funkcji skrótu 2.4.Funkcje skrótu w praktyce Zobowiązania Integralność zasobów podrzędnych 36 BitTor-rent Tor 2.5.Znormalizowane funkcje skrótu Funkcja haszująca SHA-2 Funkcja haszująca SHA-3 SHAKE i cSHAKE. Dwie funkcje o rozszerzalnym wyjściu (XOF) Jak uniknąć wieloznacznego haszowania za pomocą TupleHash 2.6.Haszowanie haseł 3Kody uwierzytelniania wiadomości 3.1.Ciasteczka bezstanowe - motywujący przykład dla MAC 3.2.Kod z przykładem 3.3.Właściwości zabezpieczeń MAC Fałszerstwo znacznika uwierzytelniania Długość znacznika uwierzytelnia¬nia Ataki powtórzeniowe Weryfikacja znaczników uwierzytelniania w stałym czasie 3.4.MAC w prawdziwym świecie Uwierzytelnianie wiadomości Wyprowadzanie kluczy Integralność ciasteczek Tablice mieszające 3.5.Kody uwierzytelniania wiadomości w praktyce HMAC, czyli MAC oparty na haszu KMAC, czyli MAC oparty na cSHA¬KE 3.6.SHA-2 i ataki przedłużenia długości 4Szyfrowanie uwierzytelnione 4.1.Czym jest szyfr? 4.2.Szyfr blokowy AES Jaki poziom bezpieczeństwa zapewnia AES? Interfejs AES Wewnętrzna konstrukcja AES 4.3.Zaszyfrowany pingwin i tryb CBC 4.4.Na brak uwierzytelnienia - AES-CBC-HMAC 4.5.Konstrukcje typu „wszystko w jednym". Szyfrowanie uwierzytelnione Czym jest szyfrowanie uwierzytelnione z powiązanymi danymi (AEAD)? Algorytm AEAD o nazwie AES-GCM ChaCha20-Poly1305 4.6.Inne rodzaje szyfrowania symetrycznego Opakowywanie klucza Szyfrowanie uwierzytelnione odporne na niepopraw¬ne użycie nonce Szyfrowanie dysku Szyfrowanie baz danych 5Wymiany klucza 5.1.Czym są wymiany klucza? 5.2.Wymiana klucza Diffiego-Hellmana (DH) Teoria grup Problem logarytmu dyskretnego. Fundament algorytmu Diffiego-Hellmana Normy algorytmu Diffiego-Hellmana 5.3.Wymiana kluczy przy użyciu protokołu Diffiego-Hellmana w przestrzeni krzywych eliptycznych Czym jest krzywa eliptyczna? Jak działa algorytm Diffiego-Hellmana oparty na krzywych eliptycznych? Normy dla algorytmu Diffiego-Hellmana w prze¬strzeni krzywych eliptycznych 5.4.Atak przeciwko małym podgrupom i inne czynniki związane z bezpieczeństwem 6Szyfrowanie asymetryczne i szyfrowanie hybrydowe 6.1.Czym jest szyfrowanie asymetryczne? 6.2.Szyfrowanie asymetryczne i szyfrowanie hybrydowe w praktyce Wymiany klucza i kapsułkowanie klucza Szyfrowanie hybrydowe 6.3.Szyfrowanie asymetryczne przy użyciu RSA: złe i mniej złe Podręcznikowe RSA Dlaczego nie należy używać RSA PKCS#1 v1.5 Szyfrowanie asymetryczne przy użyciu RSA-OAEP 6.4.Szyfrowanie hybrydowe przy użyciu ECIES 7 Podpisy i dowody z wiedzą zerową 7.1. Czym jest podpis? Jak w praktyce weryfikować podpisy Najważniejszy przypadek użycia pod¬pisów, czyli uwierzytelnione wymiany klucza Rzeczywisty przypadek użycia. Infrastruktura klucza publicznego 7.2.Dowody z wiedzą zerową (ZKP). Pochodzenie podpisów Protokół identyfikacji Schnorra. Interaktywny dowód z wiedzą zerową Podpisyjako nieinteraktywne dowody z wiedzą zerową 7.3.Algorytmy podpisów, z których powinniśmy korzystać (lub nie) RSA PKCS#1 v1.5, czyli zła norma RSA-PSS. Lepsza norma Algorytm podpisu elektronicznego oparty na krzywych eliptycznych Algorytm podpisu cyfrowego oparty na krzywej Edwardsa 7.4.Subtelności schematów podpisów Ataki podstawieniowe na podpisy Deformowalność podpisu 1 8Losowość i sekrety 8.1.Czym jest losowość? 8.2.Powolna losowość? Skorzystajmy z generatora liczb pseudolosowych (PRNG) 8.3.Uzyskiwanie losowości w praktyce 8.4.Generowanie losowości i czynniki związane z bezpieczeństwem 8.5.Publiczna losowość 8.6.Wyprowadzanie kluczy za pomocą HKDF 8.7.Zarządzanie kluczami i sekretami 8.8.Decentralizacja zaufania za pomocą kryptografii progowej CZĘŚĆ II PROTOKOŁY, CZYLI PRZEPISY NA KRYPTOGRAFIĘ 9Bezpieczny transport 9.1.Bezpieczne protokoły transportowe: SSL i TLS Od SSL do TLS TLS w praktyce 9.2.Jak działa protokół TLS? Handshake TLS Jak TLS 1.3 szyfruje dane aplikacji Aktualny stan szyfrowania w sieci web Inne bezpieczne protokoły transportowe Framework protokołu Noise. Współczesna alternatywa dla TLS Wiele odcieni fazy handshake Handshake przy użyciu Noise 10Szyfrowanie od końca do końca 10.1.Dlaczego szyfrowanie od końca do końca? 10.2.Niemożliwe do odnalezienia źródło zaufania 10.3.Porażka szyfrowanych e-maili PGP czy GPG? Ijak to w ogóle działa? Skalowanie zaufania pomiędzy użytkownika¬mi za pomocą sieci zaufania Odkrywanie kluczy to prawdziwy problem Jeśli nie PGP, to co? 10.4.Bezpieczne przesyłanie wiadomości. Nowoczesne spojrzenie na szyfrowanie od końca do końca w aplikacji Signal Bardziej przyjazny dla użytkownika niż WOT. Ufaj, ale weryfikuj X3DH. Handshake protokołu Signal Podwójna Zapadka. Protokół post-handshake Signala 10.5.Stan szyfrowania od końca do końca 11Uwierzytelnianie użytkownika 11.1.Uwierzytelnianie - kilka słów podsumowania 11.2.Uwierzytelnianie użytkownika, czyli jak pozbyć się haseł Jedno hasło, by rządzić wszystkimi. Pojedyncze logowanie (SSO) i menedżery haseł Nie chcecie widzieć haseł? Użyjcie asymetrycznej wymiany kluczy uwierzytelnianej hasłem Hasła jednorazowe to tak naprawdę nie hasła. Bezhasłowość przy użyciu kluczy symetrycznych Jak zastąpić hasła kluczami asymetrycznymi 11.3.Uwierzytelnianie wspomagane przez użytkownika - parowanie urządzeń wykorzystujące wsparcie człowieka Klucze wstępnie współdzielone Symetryczne uwierzytelnianie hasłem wymiany klucza przy użyciu CPace Czy naszą wymianę klucza zaatakował pośrednik? Po prostu sprawdźmy krótki ciąg uwierzytelniony (SAS) 12Krypto jak w słowie „kryptowaluta"? 12.1.Wprowadzenie do algorytmów konsensusu tolerancyjnych na bizantyjskie błędy Problem odporności. Protokoły rozproszone przychodzą na ratunek Prob¬lem zaufania? Decentralizacja przychodzi z pomocą Problem skali. Sieci bezpozwoleniowe i odporne na cenzurę 12.2.Jak działa bitcoin? Wjaki sposób bitcoin obsługuje salda użytkownika i transakcje Wydobywa¬nie bitcoinów w cyfrowej złotej erze Jasny fork! Rozwiązywanie konfliktów wydobywczych Redukcja rozmiaru bloku za pomocą drzew Merkle 12.3.Wycieczka po świecie kryptowalut Zmienna wartość Latencja Rozmiar łańcucha bloków Poufność Wydajność energetyczna 12.4.DiemBFT. Tolerancyjny na bizantyjskie błędy protokół konsensusu Bezpieczeństwo i żywotność. Dwie własności protokołu konsensusu BFT Runda w protokole DiemBFT Ile nieuczciwości może tolerować protokół? Zasady głosowania DiemBFT Kiedy transakcje uważa się za sfinalizowa¬ne? Intuicje stojące za bezpieczeństwem DiemBFT 13Kryptografia sprzętowa 13.1.Model napastnika we współczesnej kryptografii Niezaufane środowiska. Sprzęcie, ratuj! Kryptografia białej skrzynki - zły pomysł Siedzą w naszych portfelach. Inteli-gentne karty i bezpieczne elementy Banki je uwielbiają. Sprzętowe moduły bezpieczeństwa Moduły zaufanej platformy (TPM). Przydatna normaliza¬cja elementów bezpiecznych Poufne obliczenia z zaufanym środowiskiem wykonawczym 13.3.Które rozwiązanie będzie dobre dla mnie? 13.4.Kryptografia odporna na wycieki, czyli jak złagodzić ataki kanałem bocznym w oprogramowaniu Programowanie stałoczasowe Nie korzystaj z sekretu! Maskowanie A co z atakami usterek? 14Kryptografia postkwantowa 14.1.Czym są komputery kwantowe i dlaczego straszą kryptografów? Mechanika kwantowa - studium rzeczy małych Od narodzin komputerów kwantowych po supremację kwantową Wpływ algorytmów Grovera i Shora na kryptografię Kryptografia postkwantowa, czyli jak się bronić przed kom-puterami kwantowymi 14.2.Podpisy oparte na haszach. Nie potrzeba niczego poza funkcją skrótu Podpisy jednorazowe (OTS) z podpisami Lamporta Mniejsze klucze i jednorazowe podpisy Winternitza Podpisy wielorazowe z XMSS oraz SPHINCS+ 14.3.Krótsze klucze i podpisy dzięki kryptografii opartej na kratach Czymjest krata? Uczenie się z błędami podstawą kryptografii? Kyber, czyli wymiana klucza oparta na kracie Dilithium - schemat podpisu opar¬ty na kracie 14.4.Czy powinniśmy zacząć panikować? 15Czy to już wszystko? Kryptografia następnej generacji 15.1.Im więcej, tym lepiej. Bezpieczne obliczenia wielostronne Przecięcie zbiorów prywatnych (PSI) MPC ogólnego przeznaczenia Stan MPC 15.2.W pełni homomorficzne szyfrowania i obietnica zaszyfrowanej chmury Przykład szyfrowania homomorficznego z szyfrowaniem RSA Różne typy szyfrowania homomorficznego Bootstrapping, klucz do w pełni homomor-ficznego szyfrowania Schemat FHE oparty na problemie uczenia się z błę¬dami Gdzie się z tego korzysta? 15.3.Dowody z wiedzą zerową ogólnego przeznaczenia 15.3.1. Jak działają schematy zk-SNARK Zobowiązania homomorficzne - ukrywamy części dowodu Parowania bilinearne - ulepszamy nasze zobo-wiązania homomorficzne Skąd się bierze zwięzłość? Od programów do wielomianów Programy są dla komputerów; nam potrzebne są układy arytmetyczne Układy arytmetyczne R1CS Od R1CS do wielo¬mianu Trzeba dwojga, aby określić wartość wielomianu ukrytego w wykładniku 16Kiedy i gdzie kryptografia zawodzi 16.1.Szukanie właściwego prymitywu kryptograficznego lub protokołu to nudna praca 16.2.W jaki sposób korzystam z prymitywu kryptograficznego lub protokołu? Uprzejme normy i formalna weryfikacja 16.3.Gdzie są dobre biblioteki? 16.4.Niewłaściwe wykorzystanie kryptografii. Programiści to wrogowie 16.5.Robicie to źle. Użyteczne zabezpieczenia 16.6.Kryptografia nie jest wyspą 16.7.Nasze obowiązki jako praktyków kryptografii. Dlaczego nie powinniśmy wdrażać własnej kryptografii

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 153849 N (1 egz.)

Brak okładki

Książka

W koszyku

Computational intelligent data analysis for sustainable development / edited by Ting Yu, Nitesh V. Chawla, and Simeon Simoff. - Boca Raton : CRC Press Taylor & Francis Group, copyright 2013. - XVIII, 414 stron : ilustracje, wykresy ; 24 cm.

(Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

Autor

Yu Ting (1975- ). Chawla Nitesh V. Simoff Simeon.

Forma i typ

Książki Publikacje naukowe

Temat

Rozwój zrównoważony Informatyka Matematyka

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Bibliografia przy pracach. Indeks.

Computational Intelligent Data Analysis for Sustainable Development: An Introduction and Overview Tracing Embodied CO2 in Trade Using High- Resolution Input-Output Tables Aggregation Effects in Carbon Footprint Accounting Using Multi- Region Input-Output Analysis Climate Informatics CLAIRE MONTELEONI, GAVIN A. SCHMIDT, FRANCIS ALEXANDER, ALEXANDRU NICULESCU- MIZIL, KARSTEN STEINHAEUSER, MICHAEL TIPPETT, ARINDAM BANERJEE, M. BENNO BLUMENTHAL, AUROOP R. GANGULY, JASON E. SMERDON, AND MARCO TEDESCO Computational Data Sciences for Actionable Insights on Climate Extremes and Uncertainty Mathematical Programming Applications to Land Conservation and Environmental Quality Data Analysis Challenges in the Future Energy Electricity Supply without Fossil Fuels JOHN BOLAND, PETER PUDNEY, JERZY FILAR Data Analysis for Real- Time Identification of Grid Disruptions Statistical Approaches for Wind Resource Assessment KALYAN VEERAMACHANENI, XIANG YE, AND UNA- MAY O’REILLY Spatio- Temporal Correlations in Criminal Offense Records JAMESON L. TOOLE, NATHAN EAGLE, JOSHUA B. PLOTKIN Constraint and Optimization Techniques for Supporting Policy Making MARCO GAVANELLI, FABRIZIO RIGUZZI, MICHELA MILANO, PAOLO CAGNOLI

Sygnatura czytelni BMW: XIII 13 (nowy)

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka Międzywydziałowa

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. MZ 362 N (1 egz.)

Brak okładki

Książka

W koszyku

Metody numeryczne w mechanice / Janusz Zachwieja. - Bydgoszcz : Wydawnictwa Uczelniane Uniwersytetu Technologiczno-Przyrodniczego w Bydgoszczy, copyright 2019. - 84 strony : ilustracje, wykresy ; 24 cm.

Autor

Zachwieja Janusz.

Forma i typ

Książki Publikacje dydaktyczne

Odbiorca

Szkoły wyższe

Temat

Analiza numeryczna Mechanika

Gatunek

Podręcznik

Dziedzina i ujęcie

Fizyka i astronomia Matematyka

Bibliografia na stronach 83-84.

Wprowadzenie do metod przybliżonych metoda bilansu harmonicznych metoda małego parametru metoda poincaré-lindstedta metoda wieloskalowa metoda uśredniana Kryłowa-Bogolubowa-Mitropołskiego Metoda bilansu energii metoda Rayleigha-Ritza

Sygnatura czytelni BMW: V E 209 (nowy)

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka Międzywydziałowa

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. M 14948 N (1 egz.)

Brak okładki

Książka

W koszyku

Analiza wybranych liniowych obwodów elektrycznych z elementami niecałkowitego rzędu / Andrzej Zawadzki. - Kielce : Wydawnictwo Politechniki Świętokrzyskiej, 2019. - 209 stron : ilustracje, wykresy ; 24 cm.

(Automatyka, Elektronika i Elektrotechnika / Politechnika Świętokrzyska)

(Monografie, Studia, Rozprawy / Politechnika Świętokrzyska, ISSN 1897-2691 ; M113)

Autor

Zawadzki Andrzej (elektrotechnik)

Forma i typ

Książki Publikacje naukowe

Temat

Modele matematyczne Obwód elektryczn. Rachunek ułamkowy

Gatunek

Opracowanie

Dziedzina i ujęcie

Inżynieria i technika Matematyka

Bibliografia na stronach 196-206.

ZARYS RACHUNEKU RÓŻNICZOWEGO I CAŁKOWEGO NIECAŁKOWITEGO RZĘDU Funkcje specjalne Funkcja gamma Eulera Funkcja Mittaga-Lefflera Funkcje hipergeometryczne Rachunek różniczkowo-całkowy niecałkowitego rzędu Definicja Riemanna-Liouville'a Definicja Caputo Definicja Griinwalda-Letnikowa Pochodna Riesza Metody opisu ciągłych układów dynamicznych niecałkowitego rzędu Transformacja Laplace'a operatorów niecałkowitego rzędu Transmitancja operatorowa Opis za pomocą równań stanu Wybrane metody aproksymacji w analizie układów niecałkowitego rzędu Metoda CFE (Continued fraction expansion) Metoda Oustaloupa FUNKCJE I SYGNAŁY W ASPEKCIE POCHODNYCH NIECAŁKOWITEGO RZĘDU Pochodna niecałkowitego rzędu skoku jednostkowego Pochodne niecałkowitego rzędu wymuszenia sinusoidalnego Postać analityczna pochodnej Riemanna-Liouville'a wymuszenia sinusoidalnego Postać analityczna pochodnej Caputo wymuszenia sinusoidalnego Pochodna niecałkowitego rzędu funkcji wykładniczej Postać analityczna pochodnej niecałkowitego rzędu wymuszenia wykładniczego Pochodna niecałkowitego rzędu wektora wirującego ELEMENTY NIECAŁKOWITEGO RZĘDU OBWODÓW ELEKTRYCZNYCH Elementy niecałkowitego rzędu Element uogólniony niecałkowitego rzędu obwodu elektrycznego Modelowanie rzeczywistego elementu układem niecałkowitego rzędu STANY NIEUSTALONE W OBWODACH ELEKTRYCZNYCH NIECAŁKOWITEGO RZĘDU Stany nieustalone w układach zawierających elementy niecałkowitego rzędu typu La i CaAnalityczne modelowanie stanów przejściowych w obwodzie elektrycznym zawierającym pojemność Analityczne modelowanie stanów przejściowych w obwodzie elektrycznym zawierającym indukcyjność Stany przejściowe w obwodach elektrycznych zawierających element niecałkowitego rzędu Wyznaczenie transformaty odwrotnej prądu wzbudzenia turbogeneratora Stan nieustalony w obwodzie RL„Ca niecałkowitego rzędu Przypadek aperiodyczny Przypadek oscylacyjny CZWÓRNIKI ELEKTRYCZNE Z ELEMENTAMI NIECAŁKOWITEGO RZĘDU Czwórniki symetryczne z elementami niecałkowitego rzędu – własności i wybrane parametry Opis falowy czwórników elektrycznych z elementami niecałkowitego rzędu Impedancja charakterystyczna czwórnika z elementami niecałkowitego rzędu Współczynnik przenoszenia czwórników symetrycznych z elementami niecałkowitego rzędu FILTRY ELEKTRYCZNE Dolnoprzepustowy filtr reaktancyjny z elementem niecałkowitego rzędu Górnoprzepustowy filtr reaktancyjny z elementem niecałkowitego rzędu Pasmowe filtry reaktancyjne z elementem niecałkowitego rzędu Filtr środkowoprzepustowy Filtr środkowozaporowy LINIA DŁUGA W UJĘCIU RACHUNKU NIECAŁKOWITEGO RZĘDU Równania telegrafistów niecałkowitego rzędu Analityczne rozwiązanie klasycznego równania telegrafistów metodą separacji zmiennych Analityczne rozwiązanie równania telegrafistów niecałkowitego rzędu metodą separacji zmiennych Równania telegrafistów niecałkowitego rzędu linii bezstratnej względem odległości Równania telegrafistów niecałkowitego rzędu linii bezstratnej względem czasu Równania telegrafistów niecałkowitego rzędu linii bezstratnej względem czasu i odległości

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 147661 (1 egz.)

Brak okładki

Książka

W koszyku

Stochastyczne modelowanie i optymalizacja gotowości w procesie eksploatacji śmigłowców : podstawy teoretyczne, metodologia tworzenia, weryfikacja i implementacja modeli / Jarosław Ziółkowski. - Warszawa : Wojskowa Akademia Techniczna, 2019. - 279 stron : ilustracje, wykresy ; 24 cm.

Autor

Ziółkowski Jarosław (wojskowość).

Forma i typ

Książki Publikacje fachowe

Temat

Modele matematyczne Obsługa i eksploatacja Optymalizacja Procesy Markowa Śmigłowce

Gatunek

Opracowanie

Dziedzina i ujęcie

Bezpieczeństwo i wojskowość Inżynieria i technika Matematyka

Bibliografia, netografia, wykaz norm na stronach 246-256.

Dla środowisk akademickich badających procesy eksploatacji oraz analityków, projektantów i administratorów systemów eksploatacji.

Gotowość obiektów technicznych 1. Pojęcie i rodzaje/stany gotowości obiektów technicznych 1. Miary gotowości 2. Przegląd literatury dotyczącej zastosowań procesów Markowa i semi-Markowa przy modelowaniu procesów eksploatacji obiektów technicznych 2. Łańcuchy i procesy Markowa jako szczególne procesy stochastyczne 2. Terminologia i podstawowe definicje wiedzy o procesach stochastycznych 2. Macierz stochastyczna. Klasyfikacje stanów, łańcuchów i procesów stochastycznych 2. Jednorodność, stacjonamość i ergodyczność procesów stochastycznych 2. Procesy Markowa z czasem ciągłym i macierz intensywności przejść 2. Proces semi-Markowa 2. Tworzenie modelu semi-Markowa z uż.yciem dostępnego oprogramowania 2. Ograniczenia aplikacji modelu semi-Markowa dla procesów eksploatacji 2. Warunki i metodyka implementacji procesów Markowa i semi-Markowa jako modeli zjawisk fizycznych i procesów eksploatacyjnych 2. Przegląd zastosowań procesów Markowa oraz semi-Markowa w dziedzinie modelowania procesów, zjawisk oraz systemów eksploatacji obiektów technicznych 3. Matematyczny opis eksploatacji śmigłowców i akwizycji danych empirycznych 3. Założenia matematycznego opisu procesu eksploatacji i przestrzeń fazowa 3. Akwizycja danych empirycznych i weryfikacja statystycznych baz danych 3. Wnioski ze statystyki opisowej źródłowych trajektorii fazowych śmigłowców 3. Weryfikacja hipotez o stosowalności modeli Markowa dla procesu eksploatacyjnego 3. Weryfikacja własności Markowa braku pamięci procesu eksploatacyjnego 3. Weryfikacja stacjonamości i jednorodności procesu eksploatacyjnego 3. Analiza wrażliwości prognoz i weryfikacja stałości elementów macierzy 3. Weryfikacja wykładniczych rozkładów czasów między kolejnymi przejściami 4. Wyniki badania trajektorii fazowych i dekompozycja procesu eksploatacji 4. Dekompozycja procesu eksploatacji i jego makromodel 3-stanowy 4. Modele czasu podprocesu remontu śmigłowców poza bazą lotniczą 4. Modele czasu podprocesu odnowy przedłużonej wbazie lotniczej 4. Modele czasów trwania stanów funkcjonalnej niezdatności krótkotrwałej 4. Modele Markowa makroprocesu dwustanowego pomiędzy remontami Estymacja wskaźników gotowości i zdatności według makromodelu 3-stanowego oraz modeli czasów remontów, odnowy przedłużonej i stanów modelu 9-stanowego Badanie sezonowości procesu eksploatacji śmigłowców 4.Metody analizy sezonowości chronologicznie nieregularnych szeregów czasowych 4. Wyniki badania sezonowości stanu uzupełniania paliwa śmigłowców Mi-8 4. Podsumowanie wyników analizy sezonowości w aspekcie modelowania gotowości 5. Model 9-stanowy Markowa podprocesu planowej eksploatacji śmigłowców 5. Estymacja, statystyka opisowa i testy parametrów 9-stanowego modelu Markowa 5. Statystyka opisowa i testy elementów macierzy stochastycznych 5. Estymacja i i interpretacja intensywności przejść oraz przedziały ufności 5. Wyniki weryfikacji stosowalności modeli Markowa 5. Wyniki badania 9-stanowych modeli Markowa w czasie dyskretnym 5. Równania Chapmana-Kołmogorowa i wyniki badania modeli Markowa w czasie ciągłym 5. Graniczne prawdopodobieństwa stanów i ewolucja gotowości początkowej 5. Ograniczenia wiarygodności prognoz modeli Markowa w czasie ciągłym 6. Modele stochastycznej stabilizacji wskaźników zdatności i gotowości śmigłowców 7. Optymalizacja wskaźników zdatności i gotowości badanych śmigłowców 7. Teoretyczna optymalizacja wskaźników zdatności i gotowości technicznej 7. Empiryczna optymalizacja wskaźników zdatności i gotowości technicznej Podsumowanie wyników badań i modelowania eksploatacji śmigłowców

Sygnatura czytelni BMW: VIII K 83 (nowy)

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka Międzywydziałowa

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. M 14942 N (1 egz.)

Brak okładki

Czasopismo

W koszyku

Discussiones Mathematicae. Probability and Statistics / [editor in chief Roman Zmyślony]. - Zielona Góra : Technical University Press, 2000-. - 24 cm.

Półrocznik

Vol. 20, nr. 1 (2000)-.

Autor

Zmyślony Roman (1944- ).

Forma i typ

Czasopisma

Temat

Matematyka

Gatunek

Czasopismo naukowe

Dziedzina i ujęcie

Matematyka

Stanowi kontynuację: Discussiones Mathematicae. Algebra and Stochastic Methods / [Institute of Mathematics, Technical University of Zielona Góra] ; ed. in chief Michał Kisielewicz.

Od vol. 23, nr. 1 (2003) wydawca: University of Zielona Góra Press.

Zawartość zasobu Magazyn P 2893 udostępniany w BWEiZ

2000 Vol.20 nr 1-2

2001 Vol.21 nr 1-2

2002 Vol.22 nr 1/2

2003 Vol.23 nr 1-2

2004 Vol.24 nr 1-2

2005 Vol.25 nr 1-2

2006 Vol.26 nr 1

2007 Vol.27 nr 1-2

2008 Vol.28 nr 1-2

2009 Vol.29 nr 1-2

2010 Vol.30 nr 1-2

2011 Vol.31 nr 1-2

2012 Vol.32 nr 1-2

2013 Vol.33 nr 1-2

2014 Vol.34 nr 1-2

2015 Vol.35 nr 1-2

2016 Vol. 36 nr 1/2

2017 Vol. 37 no. 1/2

Wersja elektroniczna

Brak okładki

Książka

W koszyku

Forma i typ

Książki Publikacje dydaktyczne

Temat

GMAT (test) Matematyka

Gatunek

Sprawdziany i testy

Dziedzina i ujęcie

Zarządzanie i marketing Matematyka

Math Workbook : GMAT arithmetic, Algebra, and Geometry : practice questions for every quantitative question type, detailed answer, explanations, test-takin strtegies to increase your score, in-depth review of essential math concepts, strtegy sheet with important strategies and forulas.

Introduction to GMAT Math Arithmetic Algebra Geometry Problem Solving Data Sufficiency

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. Z 8863 (1 egz.)

Brak okładki

Książka

W koszyku

Podręcznik teletechnika / wydany staraniem Stowarzyszenia Teletechników Polskich. - Warszawa : Stowarzyszenie Teletechników Polskich, 1937 (Warszawa : Drukarnia Techniczna). - XVI, 829 stron, [10] kart tablic : ilustracje ; 19 cm.

Forma i typ

Książki Publikacje fachowe

Odbiorca

Inżynierowie Technicy telekomunikacji Telemonterzy

Temat

Elektrotechnika Fizyka Matematyka Telekomunikacja

Gatunek

Podręcznik

Dziedzina i ujęcie

Fizyka i astronomia Inżynieria i technika Matematyka

MATEMATYKA I FIZYKA ELEKTROTECHNIKA OGÓLNA TEORJA LINIJ DŁUGICH NAPOWIETRZNE LINJE DRUTOWE LINJE KABLOWE DALEKOSIĘŻNE KABLOWE SIECI MIEJSKIE APARATY TELEFONICZNE OGÓLNE WIADOMOŚCI O ŁĄCZNICACH TELEFONICZNYCH ŁĄCZNICE TELEFONICZNE RĘCZNE ŁĄCZNICE TELEFONICZNE AUTOMATYCZNE. ZABEZPIECZENIA URZĄDZEŃ TELETECHICZNYCH POMIARY ELEKTRYCZNE W TELETECHNICE

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 149244 (1 egz.)

E-book

W koszyku

Forma i typ

E-booki Publikacje urzędowe i akty prawne

Temat

Normalizacja Statystyka Terminologia

Gatunek

Normy

Dziedzina i ujęcie

Matematyka

Norma opracowana przez KT nr 10 ds. Zastosowań Metod Statystycznych i zatwierdzona przez prezesa PKN dnia 28 września 2010 r.

Norma wprowadza ISO 3534-2:2006; zastępuje PN-ISO 3534-2:1994.

Tytuł z ekranu tytułowego.

Bibliografia. Indeks.

dostępna elektronicznie

Dokument znajduje się w elektronicznych zbiorach biblioteki.

PN_ISO_3534_2_2010_P.pdf

Brak okładki

Książka

W koszyku

TACL 2019 : abstracts. - [Nicea] : [bez wydawcy], 2019. - VII, 191 stron ; 21 cm.

Forma i typ

Książki Publikacje naukowe

Temat

Matematyka

Gatunek

Materiały konferencyjne

Dziedzina i ujęcie

Matematyka

Opis na podstawie okładki.

Bibliografia przy niektórych streszczeniach.

Simulations of quantum resources and the degrees of contextuality Samson Abramsky, Rui Soares Barbosa, Martti Karvonen and Shane Mansfield Generalized continuous closure spaces: a topological approach to domain theory Marcel Erné Possibility Semantics Wesley Holliday Non-finitely axiomatisable canonical varieties o f BAOs with infinite canonical axiomatisations Agi Kurucz The poset o f all logics Tommaso Momschini Some Applications o f Stone Duality to Automata Theory Daniela Petrisan Snapshots o f duality theory, from 2019 and fifty years earlier H. A. Priestley Modal Logics o f Dependence Johan van Benthem Logic, Automata, and Model Companions. Samuel J. van Gool Anabelian geometry in model theory setting Boris Zilber Contributed talks Norm complete abelian Agroups: topological duality Marco Abbadini, Vincenzo Marra and Luca Spada Norm complete Abelian Ggroups: equational axiomatization Marco Abbadini, Vincenzo Marra and Luca Spada Polyhedral Completeness of Intermediate and Modal Logics Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra Product of neighborhood frames with additional common modality Rajab Aghamov and Audrey Kudinov Predicative Implications: A Topological Approach Amirhossein Akbar Tabatabai Ranges o f functors and elementary classes via topos theory Peter Arndt When is the frame of nuclei spatial : A new approach F ra n cis co Avila, Guram Bezhanishvili, P a tr ick Morandi and A n g e l Zaldivar Analys is o f the E } -Fragme t of First Order Gödel Logice x ten ded w ith Propositional Matthias Baaz and Norbert Preining Enriched Lawvere Theories fo r Operational Semantics John Baez and Christian Williams Enrched distrb u t iv ity over finite com m u ta t iv e res iduated la t t ic e s Adriana Balan, Peter Jip sen and A lexander Kurz Proofs and surfaces Dord e Baralic, Pierre -Louis Curien, Marin a Milicevic , Jovana Obradovic, Zoran Petrie , Mladen Zekic and Rade Zivaljevic A new logic arising from a s cattered Stone space Guram, Bezhanishvili, Nick Bezhanishvili, Joel L u c e r o -Bryan and Jan van Mill A generalization o f Gelfan d -Na imark -S tone dulity to completely regular spaces Guram Bezhanishvili, Patrick Morandi and Bruce Olberding T h e van Benthem character isation the o rem for descript iv e m od e ls Nick Bezhanishvili and Tim Henke Nearness P o s e t s Tristan Bice Toward s com p le ten e s s o f logics o f in formation and common belief Marta Bilkova Counting finite in vo lut iv e bisemi la ttices Stefano Bonzio , Michele Pra Baldi and Diego Valota Difference hierarchies over lattices Celia Borlido Time -reversa l homo to p ica l properties o f concurrent systems Cameron Calk. Eric Goubault and Philippe Malbos A temporal interpretation of intu ition is t ic q u a n t i f ie r s Luca Carai and Guram Bezhanishvili Semantic analysis and proof theory for monotone modal logic - Jinsheng Chen, G iusepp e Greco, Alessandra Palmigian o and Apostolo s Tzimoulis Comple ten e s s p r op e r t ie s in a bs trac t a lgebraic l o g i c P e t r Cintula and Ca rles Noguera Orders on Group s : an Approach through Spectral Spaces Almudena Colacito Thelogic o f categories a n d informat ion a l e n t r o p y Willem Conradie, And rew Craig, Alessandra P almigiano and N a ch o em Wijnberg Goldblatt-Thomason for LE -logics Willem Conradie, Alessandra Palmigiano and Apostolos Tzimoulis Intuitionistic and classical non-normal modal logics: An embedding Tiziano Dalmonie, Charles Grellois and Nicola Olivetti Lifting functors from Pos to P r ie s Jim de Groot A Sahlqvist theorem for subordination algebras Laurent De Rudder and Georges Hansoul Extensions o f the Stone Duality to the category o f zero-dimensional Hausdorff spaces Georgi Dimov and Elza Ivanova-Dimova Semi-reflective Extensions of Dualities and a New Approach to the Fedorchuk Duality - Georgi Dimov, Elza Ivanova-Dimova and Walter Tholen Extensions of dualities and a new approach to de Vries’ Du ality T h e o rem Georgi Dimov, Elza Ivanova-Dimova and Walter Tholen Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Log ics Simon Docherty and David Pym Amalgamating poset e x ten s ion s Rob Egrot Artin glueings as semidirect products P e te r Faul and Graham Manuell Generic Models for Topological Evidence Logics Saul Fernandez Gonzalez, Alexandra Baltag and Nick Bezhanishvili On non-distributive lattices with in volution Wesley Fussner Characterization of flat polygonal logics David Gabelaia, Levan Uridia, Mamuka Jibladze and Evgeny Kuznetsov Undecidabilty methods for residuated lattices Nikolaos Galatos and Gavin St. John A Glivenko theorem for lattice-ordered groups José Gil-Férez, Frederik Lauridsen and George Metcalfe Nonclassical first order logics: semantics and proof theory Giuseppe Greco, P e te r Jipsen, Alexander Kurz, M. Andrew Moshier, Alessandra Palmigiano and Apostolos Tzimoulis Algebraic proof theory for LE -lo g ic s Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano and Apostolos Tzimoulis Proof theory and semantics for structural control Giuseppe Greco, Apostolos Tzimoulis and Michael Moortgat On the variety o f G o e d e l -M V -a lg e b r a s Reva z Grigolia, A n ton io D i Nola and G a e tan o Vitale Some theorems concern in g Grze g o r c zy k con ta c t la t t i c e s Rafal Gruszczynshi and A n d r z e j Pietruszczak C om p u t in g the validity degree in Lukasiewicz l o g i c Zuzana Hanikova Remarks on the T o p o s A p p r o a ch t o Q u an tum M e c h a n ic s i John Harding and Chris H eu n en l H yp e r -M a cN e il le c om p le t ion s o f H ey t in g algebras John Harding and Frederik Lauridsen Comprehens ion bicategories and fibration s o f t o p o s e s Sina Ha zra tpou r and S tev e Vickers Twist products arising from res iduated b imodules Adam Pfenosil and Constantin e Tsinakis Relation al semantics for extended contact algebras Tatyana Ivanova Col im its o f effect algebras v ia a r e f le c t i o n Gejza Jenca Partially ordered varieties of in volutive residuated posets P e t e r Jipsen On the structure of finite (c om m u ta t iv e ) idem potentin volutive res iduated la t t ic e s P e t e r Jipsen, Olim Tuyt and D ieg o Valota From M V -semir in gs t o Inv o lut ive sem ir in gs P e t e r Jip sen and Sara Vannucci P resent ing d e G r o o t du a l ity o f s ta b ly com p a c t spaces b y entailment r e la t io n s Tatsuji Kawai P r o je c t iv e un i f icat ion in N E x t (K 4 ) Slawomir Kost From intuition ism t o B r ouw e r ’s m od a l logic Zofia Kostrzycka Ston edualities between éta le categories and restriction semigroups Ganna Kudryavtseva T h e spectrum o f a lo c a l ic s em i r in g Graham Manuell | A to p o s fo r piecewise-l inea r geometry, and its l o g i c Vincenzo Marra and Matias Menni Frege’s Ba sic Law V v ia Par t ia l O r d e r s Giovanni Marco Martino B-frame Representations for Complete Lattices Guillaume Massas Free Kleene algebras with domain Brett McLean Singly generated quasivarieties and residuated structures Tommaso Moraschini, James Raftery and Jamie Wannenburg Epimorphisms in Varieties o f Hey ting Algebras Tommaso Moraschini and Jamie Wannenburg Exact and Fitter Sub locales Michael Andrew Moshier, Rick Ball and Ales Pultr The undecidability of profiniteness Anvar Nurakunov and Michal Stronkowski Overview and perspectives of the general construction of spectra Axel Osmond Completion o f pseudo-orthomodular posets Jan Paseka Axiom T o and the relation between sublocales and subspaces o f a space Jorge Picado and Ales Pultr Topological representations of congruence lattices Miroslav Ploscica Axiomatising categories o f spaces: the case of compact Hausdorff spaces Luca Reggio Duality for two-sorted lattices Umberto Rivieccio and Achim Jung Quantale semantics for Lambek calculus with subexponentials Daniel Rogozin Derivations on bounded pocrims and MV-algebras with product Dana Salounova, Jan Kuhr and Jiri Rachunek Decidability of the equational theory of the natural join and inner union Luigi Santocanale Mix *-autonomous quantales and the continuous weak order Luigi Santocanale and Maria Jodo Gouveia Partial frames Anneliese Schauerte and John Frith Two Approaches to Substructural Modal Logic Igor Sedlar On global algebraic completeness o f the Godel-Lob provability logic Daniyar Shamkanov Glivenko’s theorem, finite height, and local finiteness Ilya Shapirovsky Simplicial semantics and one-variable fragments of modal predicate logics Valentin Shekhtman Order-enriched solid functors Lurdes Sousa and W alter Tholen Divisibility and diagonals Isar Stubbe The coproduct of frames as encoding d-frame structure A nn a Laura Suarez and A ch im Jung Gluing residuated lattices Sara Ugolini and N ikolaos Galatos Point-free theories of space and time: a sort history, models and representation theory D im ite r Vakarelov Axiomatizing the crisp Godel modal logic Amanda Vidal W andelmer and Ricardo O sca r Rodriguez Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics K en ta r o Yamamoto The Bohr compactification of an abelian group as a quotient of its Stone-Cech compactification P a v o l Zlatos Pierce stalks in preprimal varieties William Ja vier Zuluaga Botero and Diego Vaggione

aktualnie wypożyczona

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Wszystkie egzemplarze są obecnie wypożyczone: sygn. Z 8859 (1 egz.)

Brak okładki

Książka

W koszyku

Zastosowania statystyki i data mining w badaniach naukowych. - Kraków : StatSoft Polska, 2012. - 76 stron : ilustracje ; 24 cm.

Forma i typ

Książki Publikacje naukowe

Temat

Data mining Metody statystyczne Statystyka Programy komputerowe

Gatunek

Materiały konferencyjne

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Materiały na seminarium, październik 2012 r., Warszawa.

Bibliografia przy referatach.

STATYSTYKA: WIZUALIZACJA, KORELACJA, PUBLIKACJA CHEMOMETRYCZNE PODEJŚCIE W POSZUKIWANIU MARKERÓW AUTENTYCZNOŚCI POLSKICH ODMIAN MIODÓW KIEDY I DLACZEGO STOSUJEMY ANALIZĘ KOWARIANCJI (ANCOVA)? ZASTOSOWANIE WIELOWYMIAROWEJ ANALIZY DANYCH W BADANIU WPŁYWU RÓŻNYCH CZYNNIKÓW NA AKTYWNOŚĆ ALDH W ŚLINIE ANALIZY ILOŚCIOWE I JAKOŚCIOWE DANYCH OKORUCHOWYCH W PSYCHOLOGII POZNAWCZEJ ZASTOSOWANIE NARZĘDZI STATYSTYCZNYCH DO ANALIZY WŁAŚCIWOŚCI REOLOGICZNYCHI ZAWARTOŚCI POWIETRZA W MIESZANKACH SAMOZAGĘSZCZALNYCH BETONÓW WYSOKO WARTOŚCIOWYCH

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 134277, 134275 L, 152487 N, 134278, 134276, 135229 (6 egz.)

Brak okładki

Książka

W koszyku

Zastosowania statystyki i data mining w badaniach naukowych. - Kraków : StatSoft Polska, 2013. - 88 stron : ilustracje ; 24 cm.

Forma i typ

Książki Publikacje naukowe

Temat

Data mining Metody statystyczne Statystyka

Gatunek

Materiały konferencyjne

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Materiały na seminarium, październik 2013 r., Warszawa.

Bibliografia przy referatach.

PRAKTYCZNE ASPEKTY SZACOWANIA LICZEBNOŚCI PRÓBY W BADANIACH EMPIRYCZNYCH WPŁYW CZYNNIKÓW DEGRADACJI WÓD NA OCENĘ STANU EKOLOGICZNEGO RZEK - WYNIKI BADAŃ DOŚWIADCZALNYCH KLASYFIKATORY POJEDYNCZE I ZINTEGROWANE JAKO NARZĘDZIE WSPOMAGANIA MEDYCYNY CO WIE SMARTFON? - ROZPOZNAWANIE AKTYWNOŚCI CZŁOWIEKA METODAMI KLASYFIKACYJNYMI STATISTICA DATA MINER UNIWERSALNOŚĆ ZASTOSOWAŃ MODELI SKORINGOWYCH DOBÓR PLANU DOŚWIADCZENIA I ANALIZA WYNIKÓW W BADANIACH TECHNICZNYCH

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 138394, 138393, 138392, 138390 L, 138391, 152488 N (6 egz.)