Ukryj filtry
Sortowanie
Źródło opisu
IBUK Libra
(10)
Forma i typ
E-booki
(10)
Autor
Ambroszkiewicz Stanisław
(2)
Bartyna Waldemar
(1)
Bożejko Wojciech
(1)
Chudy Marian
(1)
Demenko Grażyna
(1)
Pokaż więcej ...
Drąg Paweł
(1)
Duraj Agnieszka
(1)
Młokosiewicz Marta
(1)
Przybył Andrzej
(1)
Skarżyński Kamil
(1)
Stępniak Marcin
(1)
Vetulani Zygmunt
(1)
Włodarczyk Katarzyna
(1)
Pokaż mniej ...
Rok wydania
2020 - 2025
(3)
2010 - 2019
(7)
Kraj wydania
Polska
(10)
Język
polski
(9)
angielski
(1)
10 wyników Filtruj
E-book
W koszyku
O semantyce w Matematyce i Informatyce czyli w poszukiwaniu zagubionego sensu / Stanisław Ambroszkiewicz. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2018. - 178 s.
Autor
Ambroszkiewicz Stanisław. Autor
Forma i typ
E-booki
Czym jest Matematyka i Informatyka? Niewątpliwie są to dyscypliny naukowe. Ale jaki jest ich przedmiot badań, o czym one traktują? Odpowiedz wydaje się prosta. O liczbach, abstrakcyjnych pojęciach, np. przestrzeni, o informacji i wiedzy oraz ich przetwarzaniu. Do opisu tych pojęć używane są mniej lub bardziej formalne języki. Czy ten opis wystarcza? Formalny język sam w sobie nie posiada semantyki, czyli ugruntowania, a jedynie opiera się na formalnej składni, czyli na ściśle określonych nazwach (ciągach znaków) oraz regułach do przekształcania tych nazw. W formalnej teorii, pojęcia (do których odnoszą się te nazwy) są opisane poprzez aksjomaty (pewniki), tj. formalne zadania uznane za prawdziwe. Na podstawie ściśle określonych reguł dowodzenia, można z tych aksjomatów wnioskować o własnościach tych pojeć oraz ich wzajemnych relacjach.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Parallel algorithms of discrete optimization in manufacturing / Wojciech Bożejko. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2019. - 210 s.
Autor
Bożejko Wojciech. Autor
Forma i typ
E-booki
Parallel algorithms are a natural continuation of programming methods used for decades. After periods devoted to structural and object-oriented programming, the introduction of easily accessible parallel architectures in the form of multicore processors and GPU computing processors requires the researchers to design multithreaded algorithms to take full advantage of the hardware potential. The trend is clearly visible in the field of discrete optimization: parallel algorithms, especially metaheuristics, implemented on multiprocessor computing architectures and applied to NP-hard optimization problems allow its users not only for a significant acceleration of computations, but also constitute themselves a new class of algorithms, often obtaining super-linear speedups. Large amounts of available processors, especially in low-cost GPU architectures, allow one to solve problems of jobs scheduling of much larger sizes than the ones presented recently. Unfortunately, effective adaptation of known algorithms to be run in a concurrent environment is a difficult process, requiring the use of specific properties of definite problems and algorithms.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Elementy teoretycznych podstaw informatyki / Marian Chudy. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2014. - 146 s.
Autor
Chudy Marian. Autor
Forma i typ
E-booki
W książce przedstawiono ważniejsze zagadnienia teoretycznych podstaw informatyki, należące do standardu kształcenia informatyków. Należą do nich: algorytmy oraz ich reprezentacja iteracyjna i rekurencyjna, dokładność algorytmów, modele obliczeń i maszyny obliczające – w tym maszyny Turinga, złożoność obliczeniowa algorytmów, jej rodzaje, kategorie złożoności, złożoność problemów, klasy złożoności problemów, hierarchie złożoności, metody definiowania i rozpoznawania wzorców znakowych, obejmujące automaty skończone, wyrażenia regularne, gramatyki bezkontekstowe oraz języki rozpoznawane i definiowane przez te metody. Książka zawiera wprowadzenie do obliczeń równoległych zarówno z punktu widzenia architektury systemu, jak i algorytmów obliczeń. Dużo miejsca poświęcono nowemu kierunkowi rozwoju informatyki – obliczeniom kwantowym.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Phonetic Convergence in Spoken Dialogues in View of Speech Technology Applications / red. Grażyna Demenko. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2021. - 196 s.
Autor
Demenko Grażyna. Redakcja
Forma i typ
E-booki
In this monograph, as a basic methodological aspect, a change in speech processing methods from computational to cognitive, i.e. those that not only statistically process data based on analysis and evaluation of the most important phonetic convergence factors, but also explain the complex relationships between them, has been acknowledged. This monograph approaches phonetic convergence as a notion related to the Communication Accommodation Theory (CAT) which regards human conversation as a dynamic adaptive message exchange depending on psycholinguistic interactions between speakers. Phonetic convergence in conversation involves alignment of segmental and suprasegmental features of speech to those of the interlocutor, with the function of cooperative or manipulative signalling of social common ground.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Algorytmy sterowania wielostadialnymi procesami deskryptorowymi / Paweł Drąg. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2016. - 158 s.
Autor
Drąg Paweł. Autor
Forma i typ
E-booki
Znaczący wzrost złożoności procesów technologicznych wymaga efektywnego wykorzystania ograniczonych zasobów obliczeniowych. To właśnie pociąga za sobą również ciągły rozwój algorytmów sterowania optymalnego. W monografii przedstawiono nowe metody opisu, analizy oraz sterowania wielostadialnymi procesami deskryptorowymi. Algorytmy sterowania procesami deskryptorowymi zostały zaprojektowane z myślą o szczególnym rodzaju zapisu rozważanego modelu. Odpowiedni sposób wprowadzania modelu do pamięci komputera, jego istotne cechy oraz znajomość wielkości koniecznych do rozwiązania modelu jest pierwszym krokiem w kierunku przygotowania efektywnych algorytmów sterowania optymalnego.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Metody analizy danych z detekcją wyjątków / Agnieszka Duraj. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2019. - 194 s.
Autor
Duraj Agnieszka. Autor
Forma i typ
E-booki
Książka poświęcona jest analizie danych, w której istotnym elementem opisu sytuacji lub wnioskowania jest wykrycie danych odstających, czyli wyjątków. Wykrywanie i traktowanie wyjątków, choć bywa trudne, to jest ważne czyniąc analizę kompletną. Przyczyny zainteresowania wyjątkami mają swoje praktyczne źródła: wyjątki mogą istotnie wpływać na wyniki analizy; ich wykrycie może wskazywać albo na grube błędy pomiarowe, albo na istnienie zjawisk, których nie zauważaliśmy.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Kształtowanie i rozwój kompetencji pracowników - problemy i wyzwania / red. Marta Młokosiewicz, Katarzyna Włodarczyk. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2020. - 172 s.
Autor
Młokosiewicz Marta. Redakcja Włodarczyk Katarzyna. Redakcja
Forma i typ
E-booki
Niniejsza monografia jest zbiorem rozważań wielu autorów dotyczącym istotnego aspektu funkcjonowania kapitału ludzkiego w gospodarce i organizacji, jakim jest kształtowanie i rozwój kompetencji pracowników. Koncepcja kapitału ludzkiego zaczęła się rozwijać od lat 60. XX wieku. Obejmowała ona najpierw obszar ekonomii, czyli funkcjonowania człowieka w gospodarce, a następnie zarządzania, gdy podjęto szersze analizy kapitału ludzkiego w przedsiębiorstwach. Dotyczyły one w szczególności kwestii wpływu inwestycji w kapitał ludzki pracowników na wydajność pracy zatrudnionych. Jednocześnie, przy wykorzystaniu koncepcji kapitału ludzkiego, rozwijało się zarządzanie zasobami ludzkimi, które, zdaniem części badaczy, przechodzi obecnie transformację w obliczu rozwijającej się tzw. gospodarki 4.0. Współczesne organizacje (i ich pracownicy) zmuszone są do funkcjonowania w warunkach permanentnych zmian. Rodzi to konieczność posiadania zdolności adekwatnego reagowania na wyzwania płynące z otoczenia. Otoczenie to ciągle „przyspiesza” nieprzerwanie weryfikując umiejętności posiadane przez organizację, oparte na kompetencjach kadry zarządzającej, pracowników oraz współpracowników, tworzących jej zasoby ludzkie i budujących pozycję konkurencyjną. Istotne stało się więc stałe monitorowanie procesu kształtowania i rozwijania niezbędnych kompetencji, wśród których coraz bardziej eksponowane miejsce – oprócz tradycyjnych - zaczynają zajmować kompetencje technologiczne i cyfrowe. Nadchodząca Nowa Gospodarka oznacza ponadto rynek pracy talentów, kreatywność, innowacyjność oraz umiejętne łączenie kompetencji cyfrowych i technologicznych z profesjonalizmem działania. Tematyka ta znalazła swoje odzwierciedlenie na łamach niniejszej monografii.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Algorytmy inteligencji obliczeniowej dla rozproszonych środowisk sieciowych / Andrzej Przybył. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2017. - 218 s.
Autor
Przybył Andrzej. Autor
Forma i typ
E-booki
W kolejnych rozdziałach monografii przedstawione zostaną podstawowe aspekty związane z pracą elementów składowych rozproszonego środowiska sieciowego oraz algorytmy inteligentnego przetwarzania lub wspomagania w przetwarzaniu występujących tam danych. Algorytmy te są połączeniem metod inteligencji obliczeniowej, takich jak systemy rozmyte i algorytmy ewolucyjne, z metodami analitycznymi głównie z zakresu modelowania, a także planowania i sterowania. Zatem praca ma charakter interdyscyplinarny z pogranicza dwóch dyscyplin naukowych: informatyki oraz automatyki i robotyki.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Adaptacyjne systemy wielorobotowe / Marcin Stępniak, Kamil Skarżyński, Waldemar Bartyna, Stanisław Ambroszkiewicz. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2019. - 220 s.
Autor
Stępniak Marcin. Autor Skarżyński Kamil. Autor Bartyna Waldemar. Autor Ambroszkiewicz Stanisław. Autor
Forma i typ
E-booki
Świat, w którym żyjemy (z którym możemy wchodzić w interakcje) jest coraz większy i coraz bardziej złożony. Odzwierciedleniem tego faktu jest idea IoT (Internet of Things), gdzie użytkownik (człowiek) ma mieć dostęp nie tylko do informacji i wiedzy, ale również zasobów oraz urządzeń rozproszonych po całym świecie. Rozszerzenie Internetu jest nieuchronne, ponieważ zarówno istnieje potrzeba społeczna jego urzeczywistnienia, jak i rozwijane są możliwości techniczne do realizacji takich idei.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
E-book
W koszyku
Komunikacja człowieka z maszyną. Komputerowe modelowanie kompetencji językowej / Zygmunt Vetulani. - Akademicka Oficyna Wydawnicza EXIT Andrzej Lang ; IBUK Libra, 2020. - 344 s.
Autor
Vetulani Zygmunt. Autor
Forma i typ
E-booki
Plik pdf jest zamknięty w postaci rastrowej złożonej ze skanów. Celem książki jest wprowadzenie Czytelnika w podstawy jednej z najstarszych a jednocześnie ciągle nabierających znaczenia dziedzin informatyki, jaką jest przetwarzanie języka naturalnego (NLP). W tej pracy ograniczymy się do zagadnień komputerowego modelowania (emulowania) kompetencji językowej człowieka w zakresie rozumienia języka.
dostępna online
Ta pozycja jest dostępna przez Internet. Rozwiń informację, by zobaczyć szczegóły.
Dostęp do treści elektronicznej wymaga posiadania kodu PIN. Po odbiór kodu PIN zapraszamy do biblioteki.
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej