Przyrostowe uczenie reguª oraz wykorzystanie detekcji zmian w blokowych klasykatorach zªo»onych do przetwarzania danych strumieniowych
|
|
- Beata Kubicka
- 6 lat temu
- Przeglądów:
Transkrypt
1 Przyrostowe uczenie reguª oraz wykorzystanie detekcji zmian w blokowych klasykatorach zªo»onych do przetwarzania danych strumieniowych Magdalena Deckert Wydziaª Informatyki Politechnika Pozna«ska Rozprawa doktorska Promotor dr hab. in». J. Stefanowski, prof. nadzw. Pozna«, 2015
2 Streszczenie rozprawy doktorskiej 1 Wst p W ostatnich latach obserwowany jest gwaªtowny wzrost gromadzonych danych, które w wielu dziedzinach mogªyby zosta ponownie wykorzystane do wspomagania dziaªa«ludzi. Jednak»e samodzielne pozyskiwanie warto±ciowych informacji w tak du»ych repozytoriach danych jest niezwykle trudne lub wr cz niemo»liwe. Z tego wzgl du coraz cz ±ciej wykorzystuje si do tego metody wywodz ce si z uczenia maszynowego (ang. machine learning) oraz eksploracji danych (ang. data mining). Najcz ±ciej rozwa»anym zadaniem w ramach tych metod jest uczenie nadzorowane (ang. supervised learning), a w szczególno±ci problem klasykacji. Zakªadaj c,»e dane wej±ciowe skªadaj si z przykªadów ucz cych opisanych za pomoc atrybutów warunkowych oraz klasy decyzyjnej, to celem algorytmu nadzorowanej klasykacji jest odnalezienie zale»no±ci pomi dzy opisem przykªadu w postaci warto±ci atrybutów a jego przydziaªem do konkretnej klasy decyzyjnej. Odkryte w ten sposób wzorce klasykacji mog nast pnie zosta wykorzystane do predykcji nowych obserwacji. Taki system nazywamy klasykatorem [15]. Wi kszo± metod uczenia klasykatorów przetwarza statyczne dane, które mo»na przechowywa w pami ci komputera lub w zewn trznych repozytoriach, co umo»liwia ich wielokrotny odczyt w procesie uczenia si. Jednak»e coraz wi cej z aktualnie dost pnych danych nie jest ju» tylko statycznym zbiorami, lecz mog mie posta strumieni danych [10, 20]. Strumie«danych jest sekwencj przykªadów ucz cych, w której kolejne elementy oddziela nieznany przedziaª czasu. Strumienie danych charakteryzuj si bardzo du»ym rozmiarem (w cz ±ci zastosowa«nieograniczonym) i dodatkowo narzucaj algorytmom du»e wymagania, co do czasu przetwarzania oraz zu»ywanej pami ci [7]. Z tego powodu nale»y konstruowa nowe algorytmy, które speªni powy»sze wymagania. Ponadto, powinny one w ka»dej chwili czasu budowa jak najlepszy model klasykatora, aby by przygotowanym do predykcji nowo nadchodz cych przykªadów. Dodatkow trudno± sprawia to,»e charakterystyka danych w strumieniach mo»e ulega zmianom denicji poj /klas decyzyjnych (ang. concept drift) [19]. 1
3 Zjawisko zmian denicji klas powoduje,»e wraz z upªywem czasu wªa±ciwo±ci klasy decyzyjnej, któr klasykator próbuje przewidzie, zmieniaj si, a sama informacja o kontek±cie przyczyny tej zmiany nie jest bezpo±rednio dost pna dla algorytmu ucz cego. Stwarza to trudno±ci, poniewa» klasykator nauczony na ju» nieaktualnych danych traci swoj skuteczno± predykcji klasykowania nowo nadchodz cych obserwacji. Pomimo,»e badania nad uczeniem si klasykatorów ze strumieni danych s stosunkowo now problematyk, w przegl dzie literatury mo»na dostrzec,»e zaproponowano ju» pewn liczb bardzo ró»norodnych algorytmów [3, 10, 16, 17, 23]. W ogólno±ci mo»na je podzieli na dwie gªówne grupy [23]: metody z jawn detekcj zmian, metody adaptacyjne (niewykorzystuj ce bezpo±rednio mechanizmu detekcji). Analizuj c propozycje metod adaptacyjnych nale»y zwróci uwag na dwie ró»norodne podgrupy w zale»no±ci od sposobu przetwarzania nadchodz cych przykªadów. Pierwsza z nich dotyczy przetwarzania blokowego (ang. block, chunk), a druga - czysto przyrostowego (ang. incremental, online, instance-by-instance). W podej±ciu przyrostowym dane ucz ce przetwarzane s przykªad po przykªadzie i mog wpªywa na aktualizacj klasykatora, natomiast w przypadku blokowo±ci dane wej±ciowe dostarczane s w blokach o okre±lonym rozmiarze. Do uczenia si z bloków danych naturalnie przystosowane s klasykatory zªo»one. Z bada«[1, 18] nad blokowymi klasykatorami zªo»onymi wynika,»e ich dziaªanie jest zale»ne od wªa±ciwego doboru rozmiaru bloku. Ponadto powinny one poprawnie pod»a za stopniowymi zmianami, jednak»e ich reakcj na gwaªtown zmian mo»e by spowolniona z uwagi na to,»e nie mog dokona przebudowy wcze±niej ni» na ko«cu bloku. Powy»sze spostrze»enia s przesªank do tego,»e ci gle warto podejmowa badania nad ulepszeniem istniej cych rozwi za«. Z drugiej strony, dotychczasowe badania nad detektorami zmian w kontek±cie pojedynczych klasykatorów wskazuj,»e zastosowanie jawnej detekcji poprawia wykrywanie nagªych zmian w danych [10]. Dlatego w niniejszej pracy postawiono hipotez o mo»liwo±ci integracji jawnego detektora zmian we wn trze blokowego klasykatora zªo»onego [2, 4, 5]. Dzi ki temu powinna poprawi si reakcja na zmiany poj. Ponadto, istniej ce klasykatory zªo»one maj du»e wymagania pami ciowe. Z tego wzgl du kolejn hipotez pracy jest to,»e dzi ki zaproponowanej integracji powinien zosta osi gni ty kompromis mi dzy satysfakcjonuj c trafno±ci klasykacji, a wydajno±ci obliczeniow klasykatora. W przypadku przetwarzania przyrostowego pojedynczych przykªadów w niniejszej rozprawie skoncentrowano si na klasykatorach reguªowych. Zauwa»ono bowiem,»e przyrostowe generowanie reguª decyzyjnych nie jest zbyt popularne 2
4 w ±rodowisku uczenia si ze zmiennych ±rodowisk [3, 13, 14]. Reguªy decyzyjne mog by w ªatwy sposób dostosowane do zmian zachodz cych w danych poprzez usuni cie lub modykacj poszczególnych reguª. Dzi ki pokrywaniu fragmentów przestrzeni s one znacznie bardziej elastyczn reprezentacj wiedzy ni» drzewa decyzyjne, gdy» nie wymagaj przebudowy caªego modelu. Ponadto, w uczeniu przyrostowym, reguªy decyzyjne mog wymaga mniejszej liczby zmian. Pomimo powy»szych zalet reguª decyzyjnych, liczba algorytmów ucz cych si ze zmiennych ±rodowisk jest bardzo ograniczona i obejmuje mniej propozycji w stosunku do innych rozwi za«[3, 13, 14]. Dokonuj c krytycznej analizy aktualnego stanu literatury zauwa»ono ograniczenia dotychczasowych metod. Z tego wzgl du sformuªowano kolejn hipotez badawcz, która dotyczy mo»liwo±ci stworzenia nowego algorytmu przyrostowej indukcji reguª, który b dzie konkurencyjny wobec poprzednio zaproponowanych rozwi za«. Bior c pod uwag przedstawione wcze±niej hipotezy badawcze, sformuªowano nast puj ce cele niniejszej rozprawy: Zaproponowanie algorytmu Batch Weighted Ensemble, które integruje jawny detektor zmiany Batch Drift Detection Method z blokowym klasykatorem zªo»onym Batch Weighted Ensemble. Zaproponowanie rozszerzenia tego algorytmuonline Batch Weighted Ensemble, które umo»liwi przyrostowe przetwarzania danych strumieniowych. Zaproponowanie nowego algorytmu przyrostowej indukcji reguª RILL przetwarzaj cego strumienie danych przy zmieniaj cej si denicji klas. 2 Klasykator Batch Weighted Ensemble (BWE) W pierwszej kolejno±ci w niniejszej rozprawie zaproponowano integracj jawnego detektora zmian z blokowym klasykatorem zªo»onym. Celem takiej kombinacji byªo osi gni cie zadowalaj cego kompromisu pomi dzy satysfakcjonuj c trafno- ±ci klasykacji, a wydajno±ci klasykatora. Wst pna propozycja nowego algorytmu zwanego Batch Weighted Ensemble (BWE) zostaªa wprowadzona w [2], a nast pnie jego udoskonalona wersja zostaªa poddana szczegóªowej ocenie porównawczej w pracy [5]. Algorytm BWE skªada si z dwóch elementów: jawnego detektora zmian Batch Drift Detection Method (BDDM), blokowego klasykatora zªo»onego Batch Weighted Ensemble (BWE). Nowo zaproponowany detektor BDDM, w przeciwie«stwie do wi kszo±ci istniej cych propozycji detektorów, które s przyrostowe, przetwarza dane w blokach 3
5 o staªym rozmiarze. Jego innowacyjno± polega tak»e na tym,»e wykorzystuje regresj liniow do sprawdzania, czy w ±rodowisku zaszªa zmiana. Dzi ki temu mechanizmowi zmniejszaj si koszty obliczeniowe zaproponowanego rozwi zania. Detektor BDDM zostaª zintegrowany z klasykatorem zªo»onym BWE. Klasy- kator ten znacz co ró»ni si od rozwi za«znanych z literatury. W szczególno±ci, nie musi on budowa nowego klasykatora bazowego dla ka»dego przetwarzanego bloku danych. Ponadto, wykorzystuje on nieliniow funkcj wagowania klasykatorów skªadowych, która dziaªa lepiej ni» funkcja liniowa. Dzi ki temu klasy- katory bazowe, które zbyt cz sto myl si w klasykacji maj mniejszy wpªyw na ko«cow odpowied¹ systemu. Dodatkowo, BWE nie dopuszcza do sytuacji, w której wszystkie klasykatory bazowe zostan usuni te. Powy»sza propozycja zostaªa poddana ocenie eksperymentalnej. Algorytm Batch Weighted Ensemble zostaª porównany z 5 klasykatorami dedykowanymi do przetwarzania strumieni danych, tj. blokowym klasykatorem zªo»onym Accuracy Weighed Ensemble (AWE) [21], klasykatorem zªo»onym Adaptive Classiers- Ensemble (ACE) [18], a tak»e pojedynczymi drzewami decyzyjnymi generowanymi za pomoc algorytmu C4.5 obudowanymi w standardowy detektor DDM [12] oraz jego blokow wersj BatchDDM. Do porównania jako±ci testowanych metod wybrano 9 zbiorów danych odpowiadaj cych ró»nym scenariuszom zmian. Klasykatory oceniano przy pomocy trzech powszechnie stosowanych miar oceny: trafno±ci klasykacji, zu»ycia pami ci oraz czasu przetwarzania. Najwa»niejszymi wnioskami wynikaj cymi z przeprowadzonych eksperymentów s : Klasykator BWE z nowym detektorm BDDM uzyskaª lepsze rezultaty trafno±ci klasykacji ni» BWE z blokow wersj DDM. Dla zbiorów ze stopniowymi zmianami BWE uzyskaª lepsze wyniki trafno±ci klasykacji ni» AWE, lecz dla danych rzeczywistych ró»nice te byªy ju» mniejsze. Porównuj c zu»ycie pami ci testowanych metod zauwa»y mo»na,»e BWE jest mniej kosztownym pami ciowo klasykatorem zªo»onym ni» AWE, który potrzebuje najwi cej pami ci. Z punktu widzenia czasu przetwarzania BWE dziaªa najszybciej spo±ród testowanych klasykatorów zªo»onych. AWE okazaª si by najwolniejszym klasykatorem. Nale»y jednak zauwa»y,»e wy»sze warto±ci trafno±ci klasykacji na wi kszo- ±ci zbiorów danych uzyskaª klasykator ACE, stanowi cy poª czenie klasykatora 4
6 zªo»onego z jawnym przyrostowym detektorem zmian oraz pojedynczym klasykatorem przyrostowym. Na podstawie tej obserwacji postawiono hipotez badawcz, w której postanowiono sprawdzi, czy wprowadzenie elementu przetwarzania przyrostowego poprawia dziaªanie klasykatora zªo»onego. 3 Klasykator Online Batch Weighted Ensemble (OBWE) Opieraj c si na tej hipotezie zaproponowano rozszerzenie algorytmu BWE do algorytmu o nazwie Online Batch Weighted Ensemble (OBWE) [3]. Rozwi zanie to wprowadza element przyrostowo±ci do algorytmu czysto blokowego, który dotyczy tutaj zarówno modykacji w jawnym detektorze zmian, jak i przeª czenie si na mechanizm okna przesuwanego w klasykatorze zªo»onym. Klasykator zªo»ony OBWE przetwarza dane ucz ce przykªad po przykªadzie oraz umo»liwia natychmiastow reakcj na wykryt zmian. Do wykrywania zmian wykorzystywany jest nowy detektor Online Batch Drift Detection Method (OBDDM), który w przeciwie«stwie do swojego poprzednika nie wykrywa zmian po ka»dym bloku danych, lecz po zgromadzeniu wystarczaj cej liczby przykªadów deniowanej jako okno regresji. Zaproponowany algorytm OBWE zostaª poddany analizie eksperymentalnej, w której zostaª porównany z blokowym klasykatorem Accuracy Weighted Ensemble (AWE) [21] oraz swoim prekursorem, tj. klasykatorem Batch Weighted Ensemble (BWE) z detektorem Batch Drift Detection Method [5]. Porównanie wykonano na tych samych zbiorach i z wykorzystaniem tych samych miar oceny, co w ocenie eksperymentalnej algorytmu BWE. Najwa»niejszymi konkluzjami wynikaj cymi z przeprowadzonych eksperymentów s : Klasykator OBWE uzyskaª najwy»sz warto± trafno±ci klasykacji. Z punktu widzenia tej miary oceny jest on zdecydowanie lepszy od standardowego klasykatora BWE oraz AWE. Porównanie ró»nych rozmiarów okna regresji doprowadziªo do rekomendacji warto±ci 100 przykªadów, z uwagi na trafno± klasykowania i koszty pami ci. Zarejestrowane warto±ci zu»ycia pami ci pozwalaj stwierdzi,»e OBWE zu»ywa wi cej pami ci ni» jego prekursor (±rednio potrzebuje 1,75 razy wi cej pami ci), lecz nadal jest to ni»sza warto± od klasykatora AWE. Analizuj c wpªyw rozmiaru okna regresji na zaj to± pami ci zauwa»y mo»na,»e im przyj ty rozmiar jest ni»szy, tym wymagania pami ciowe rosn. 5
7 Z punktu widzenia czasu dziaªania, okazaªo si,»e OBWE jest szybsze od klasykatora AWE, lecz wolniejsze od standardowego klasykatora BWE. Dodatkowo zauwa»ono,»e im ni»szy rozmiar okna regresji zostaª wybrany, tym klasykator OBWE dziaªa dªu»ej. Wyniki przeprowadzonej analizy eksperymentalnej pokazaªy,»e OBWE, z uwagi na to,»e umo»liwia szybsz reakcj na zmian, zdecydowanie poprawiª wyniki uzyskane na trafno±ci klasykacji w stosunku do swojego poprzednika BWE. Mo»na zatem stwierdzi,»e hipoteza o tym, i» element przyrostowo±ci poprawia wyniki tej miary oceny systemu ucz cego si ze strumieni danych zostaªa potwierdzona. 4 Klasykator BWE vs. klasykator OBWE Warto si zatem zastanowi nad tym, czy nowe rozszerzenie OBWE nie zast puje poprzedniej wersji, czyli algorytmu BWE. Odpowied¹ na to pytanie jest zªo»ona, gdy» zale»y od wielu czynników. Po pierwsze, algorytm BWE jest rozwi zaniem w peªni blokowym, a algorytm OBWE przetwarza przykªady w sposób przyrostowy z wykorzystaniem okna przesuwnego. Oba modele przetwarzania danych s zdecydowanie ró»ne i w zasadzie si wykluczaj. Je±li dane s dost pne w sposób przyrostowy, to OBWE jest skuteczniejszy. Jednak»e w cz ±ci zastosowa«, gdzie dane b d napªywaªy w blokach lub informacja o prawdziwej etykiecie klasy decyzyjnej przykªadu mo»e nie by znana od razu, to OBWE nie b dzie mógª by u»yty. W takiej sytuacji nale»y skorzysta z algorytmu BWE, który osi ga kompromis pomi dzy trafno±ci a wydajno±ci klasykatora. Drugim kryterium, które nale»y wzi pod uwag s dopuszczalne koszty obliczeniowe. W niniejszej pracy pokazano,»e algorytm BWE charakteryzuj najni»sze koszty obliczeniowe w porównaniu z klasykatorem OBWE oraz AWE. Je±li zatem w danym zastosowaniu koszty te s bardzo krytyczne, to stanowi to przesªank do skorzystania z algorytmu BWE zamiast algorytmu OBWE. Ostatecznie, bior c pod uwag opisane powy»ej dwa aspekty, koncepcja algorytmu OBWE nie zast puje caªkowicie swojego prekursoraalgorytmu BWE. Z tego wzgl du oba rozwi zania zostaªy omówione w niniejszej rozprawie. 5 Algorytm przyrostowej indukcji reguª RILL Dodatkowo, w niniejszej rozprawie doktorskiej rozwa»ane jest tak»e czysto przyrostowe przetwarzanie strumieni danych, w ramach którego skoncentrowano si na klasykatorach reguªowych. Dokonuj c krytycznej analizy aktualnego stanu 6
8 literatury zauwa»ono ograniczenia dotychczasowych propozycji, które stanowi motywacj do zaproponowania nowego algorytmu przyrostowej indukcji reguª decyzyjnych o nazwie RILL [6]. Oryginalno± nowego podej±cia w stosunku do znanych algorytmów polega na: wykorzystaniu podwójnej reprezentacji wiedzy, która ª czy uogólnione reguªy decyzyjne z opisem pojedynczych przykªadów ucz cych. Umo»liwia to lepsze modelowanie skomplikowanych poj o nieliniowych granicach, zawieraj cych dekompozycj klas na maªe podpoj cia, a tak»e na ±ledzenie ich ewolucji w czasie. wykorzystaniu generalizacji typu bottom-up opartej na idei najbli»szej reguªy, w której stosowana jest do± intuicyjna miara oceny, wyposa»eniu w prosty mechanizm zapominania wykorzystuj cy okno przesuwne, zastosowaniu bardziej agresywnego mechanizmu przycinania reguª opieraj cego si na monitorowaniu ich wieku, ufno±ci, a tak»e zdolno±ci predykcyjnych, wyposa»eniu w strategi klasykacyjn opart tak»e na najbli»szym s siedztwie reguª lub przykªadów. Dokonano analizy eksperymentalnej zaproponowanego rozwi zania, w ramach której przeprowadzono dwie grupy bada«. W pierwszej kolejno±ci zbadano wpªyw parametrów RILLa na jego dziaªanie poprzez zbadanie ró»nych konguracji ich warto±ci. Nast pnie, po ustaleniu najlepszej konguracji RILLa, zostaª on porównany z innymi popularnymi klasykatorami dedykowanymi strumieniom danych. Do porównania wybrano dwa klasykatory reguªowe: FACIL [8, 9] oraz Very Fast Decision Rules (VFDR) [11, 13, 14], a tak»e dla spójno±ci z poprzednimi eksperymentami klasykatora VFDR, algorytm przyrostowej indukcji drzew decyzyjnych Very Fast Decision Trees (VFDT) [7] zostaª tak»e wzi ty pod uwag. W celu przeprowadzenia oceny eksperymentalnej zdecydowano si na 15 ró»nych zbiorów danych odpowiadaj cych ró»nym scenariuszom zmian. Podobnie jak w poprzednich badaniach, wybrano 3 popularne miary oceny: trafno± klasykacji, rozmiar aktualnego modelu wyra»ony poprzez zu»ycie pami ci oraz caªkowity czas dziaªania od pocz tku uczenia. Najwa»niejszymi wnioskami wynikaj cymi z przeprowadzonych eksperymentów s : RILL szybko powraca do dobrej trafno±ci klasykacji po zaj±ciu nagªych lub stopniowych zmian na zbiorach opisanych tylko atrybutami nominalnymi. 7
9 RILL okazaª si bardzo skuteczny na danych ze skomplikowanymi granicami poj oraz na danych rzeczywistych. Nie byª on ju» tak dobry dla danych opisanych wyª cznie na atrybutach numerycznych zawieraj cych stopniowe zmiany. Analiza wykresów trafno±ci wskazuje,»e algorytm RILL szybciej ni» inne osi ga wy»sze warto±ci trafno±ci i równocze±nie szybciej powraca do dobrej predykcji po zaj±ciu zmiany w strumieniu (w szczególno±ci nagªych). Z punktu widzenia zu»ycia pami ci, RILL jest zdecydowanie mniej kosztowny ni» pozostaªe testowane klasykatory reguªowe, tj. FACIL oraz VFDR. Z punktu widzenia czasu przetwarzania, RILL okazaª si by najszybszym klasykatorem reguªowym. Pomimo dobrych wyników eksperymentalnych istniej dalsze mo»liwo±ci rozbudowy algorytmu RILL. Po pierwsze warto by zbada poª czenie zaproponowanego algorytmu przyrostowego z zewn trznym detektorem zmian. Dzi ki temu mogªaby poprawi si skuteczno± dostosowywania si do zmian zachodz cych w danych. Ponadto nale»aªoby tak»e rozszerzy istniej c generalizacj reguª o pomijanie warunków elementarnych dla atrybutów liczbowych. Dzi ki temu budowane reguªy w bardziej ogólny sposób odzwierciedlaªyby aktualne poj cia. Kolejnym aspektem wartym rozwa»enia jest sterowanie szeroko±ci okna przesuwnego z ostatnimi przykªadami ucz cymi. 6 Podsumowanie W ramach niniejszej rozprawy doktorskiej zaproponowane zostaªy trzy algorytmy dedykowane do przetwarzania strumieni danych przy zmieniaj cej si denicji klas: algorytm Batch Weighted Ensemble, który integruje jawny detektor zmiany Batch Drift Detection Method z blokowym klasykatorem zªo»onym Batch Weighted Ensemble, rozszerzenie algorytmu BWE nazwane Online Batch Weighted Ensemble, które umo»liwia przyrostowe przetwarzania danych strumieniowych, algorytm przyrostowej indukcji reguª o nazwie RILL. 8
10 Powy»sze propozycje algorytmów zostaªy poddane analizie eksperymentalnej na danych odpowiadaj cych ró»nym scenariuszom zmian i zostaªy ocenione za pomoc trzech miar: trafno±ci klasykacji, zu»ycia pami ci oraz czasu przetwarzania. Uzyskane wyniki pokazaªy,»e wszystkie cele badawcze niniejszej rozprawy zostaªy zrealizowane oraz wszystkie postawione hipotezy badawcze zostaªy pozytywnie zwerykowane. 9
11 Literatura [1] Brzezi«ski, D. Mining data streams with concept drift. Praca magisterska, Politechnika Pozna«ska, Pozna«, Polska, [2] Deckert, M. Batch weighted ensemble for mining data streams with concept drift. W Proceedings of the 19th International Symposium on Methodologies for Intelligent Systems, ISMIS 2011 (Warszawa, Polska, 2011), vol of LNCS, str , 3 [3] Deckert, M. Incremental rule-based learners for handling concept drift: an overview. Foundations of Computing and Decision Sciences 38, 1 (2013), , 3, 5 [4] Deckert, M. Online batch weighted ensemble for mining data streams with concept drift. W Proceedings of the New Frontiers in Mining Complex Patterns Workshop, ECML/PKDD 2013 (Praga, Czechy, 2013), str [5] Deckert, M., Stefanowski, J. Comparing block ensembles for data streams with concept drift. W Workshop Mining Complex and Stream Data, ADBIS 2012 (Pozna«, Polska, 2012), vol. 185 of AISC, str , 3, 5 [6] Deckert, M., Stefanowski, J. RILL: Algorithm for learning rules from streaming data with concept drift. W Proceedings of the 21th International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 (Roskilde, Denmark, 2014), vol of LNAI, str [7] Domingos, P., Hulten, G. Mining high-speed data streams. W Proceedings of the KDD 2000 (2000), ACM Press, str , 7 [8] Ferrer-Troyano, F., Aguilar-Ruiz, J., Riquelme, J. Incremental rule learning and border examples selection from numerical data streams. Journal of Universal Computer Science 11 (2005), [9] Ferrer-Troyano, F., Aguilar-Ruiz, J., Riquelme, J. Data streams classication by incremental rule learning with parametrized generalization. W Pro- 10
12 LITERATURA ceedings of ACM Symposium on Applied Computing 2006, SAC 2006 (2006), ACM, str [10] Gama, J. Knowledge Discovery from Data Streams. CRC. Springer, , 2 [11] Gama, J., Kosina, P. Learning decision rules from data streams. W Proceedings of 22th International Joint Conference on Articial Intelligence, IJCAI 11 (2011), vol. 2, AAAI Press, str [12] Gama, J., Medas, P., Castillo, G., Rodrigues, P. Learning with drift detection. W Proceedings of Brazilian Symposium on Articial Intelligence, SBIA 2004 (2004), vol of LNAI, Springer-Verlag, str [13] Kosina, P., Gama, J. Handling time changing data with adaptive very fast decision rules. W Proceedings of the 2012 European Conference on Machine Learning and Knowledge Discovery in Databases, ECML/PKDD 2012 (Bristol, Anglia, 2012), vol. 1, str , 7 [14] Kosina, P., Gama, J. Very fast decision rules for multi-class problems. W Proceedings of the 2012 ACM Symposium on Applied Computing (Nowy Jork, USA, 2012), str , 7 [15] Krawiec, K., Stefanowski, J. Uczenie maszynowe i sieci neuronowe. Wydawnictwo Politechniki Pozna«skiej, Pozna«, Polska, [16] Kuncheva, L. Classier ensembles for changing environments. W Proceedings of 5th International Workshop on Multiple Classier Systems, MCS 04 (2004), vol of LNCS, Springer-Verlag, str [17] Kuncheva, L. Classier ensembles for detecting concept change in streaming data: Overview and perspectives. W Proceedings 2nd Workshop SUEMA 2008, ECAI 2008 (Patras, Grecja, 2008), str [18] Nishida, K., Yamauchi, K., Omori, T. ACE: Adaptive classiers-ensemble system for concept-drifting environments. W Proceeding of the International Workshop on Multiple Classier Systems (2005), vol of LNCS, str , 4 [19] Schlimmer, J., Granger, R. Incremental learning from noisy data. Machine Learning 1 (1986), [20] Stefanowski, J., Cuzzocrea, A., l zak, D. Processing and mining complex data streams. Information Sciences 285 (2014),
13 LITERATURA [21] Wang, H., Fan, W., Yu, P., Han, J. Mining concept-drifting data streams using ensemble classiers. W Proceedings of the ACM SIGKDD (2003), str , 5 [22] Widmer, G., Kubat, M. Learning in the presence of concept drift and hidden contexts. Machine Learning 23 (1996), [23] Zliobaite, I. Learning under concept drift: an overview. Raport techniczny, Wydziaª Matematyki i Informatyki, Uniwersytet w Wilnie, Wilno, Litwa,
Dariusz Brzeziński. Politechnika Poznańska
Dariusz Brzeziński Politechnika Poznańska Klasyfikacja strumieni danych Algorytm AUE Adaptacja klasyfikatorów blokowych do przetwarzania przyrostowego Algorytm OAUE Dlasze prace badawcze Blokowa i przyrostowa
RILL - przyrostowy klasyfikator regułowy uczący się ze zmiennych środowisk
Wprowadzenie RILL - przyrostowy klasyfikator regułowy uczący się ze zmiennych środowisk Magdalena Deckert Politechnika Poznańska, Instytut Informatyki Seminarium ISWD, 21.05.2013 M. Deckert Przyrostowy
Lab. 02: Algorytm Schrage
Lab. 02: Algorytm Schrage Andrzej Gnatowski 5 kwietnia 2015 1 Opis zadania Celem zadania laboratoryjnego jest zapoznanie si z jednym z przybli»onych algorytmów sªu» cych do szukania rozwi za«znanego z
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
Eksploracja Danych. Wprowadzenie. (c) Marcin Sydow
Wprowadzenie Proponowane podr czniki T.Hastie, R.Tibshirani et al. An Introduction to Statistical Learning I.Witten et al. Data Mining S.Marsland Machine Learning J.Koronacki, J.Mielniczuk Statystyka dla
Wst p do sieci neuronowych 2010/2011 wykªad 7 Algorytm propagacji wstecznej cd.
Wst p do sieci neuronowych 2010/2011 wykªad 7 Algorytm propagacji wstecznej cd. M. Czoków, J. Piersa Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toru«, Poland 2010-11-23
ANALIZA NUMERYCZNA. Grzegorz Szkibiel. Wiosna 2014/15
ANALIZA NUMERYCZNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Metoda Eulera 3 1.1 zagadnienia brzegowe....................... 3 1.2 Zastosowanie ró»niczki...................... 4 1.3 Output do pliku
Metody numeryczne i statystyka dla in»ynierów
Kierunek: Automatyka i Robotyka, II rok Wprowadzenie PWSZ Gªogów, 2009 Plan wykªadów Wprowadzenie, podanie zagadnie«, poj cie metody numerycznej i algorytmu numerycznego, obszar zainteresowa«i stosowalno±ci
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
MiASI. Modelowanie systemów informatycznych. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska
MiASI Modelowanie systemów informatycznych Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 18 stycznia 2010 Spis tre±ci 1 Analiza systemu informatycznego Poziomy analizy 2
Elementarna statystyka Dwie próby: porównanie dwóch proporcji (Two-sample problem: comparing two proportions)
Elementarna statystyka Dwie próby: porównanie dwóch proporcji (Two-sample problem: comparing two proportions) Alexander Bendikov Uniwersytet Wrocªawski 25 maja 2016 Elementarna statystyka Dwie próby: porównanie
przewidywania zapotrzebowania na moc elektryczn
do Wykorzystanie do na moc elektryczn Instytut Techniki Cieplnej Politechnika Warszawska Slide 1 of 20 do Coraz bardziej popularne staj si zagadnienia zwi zane z prac ¹ródªa energii elektrycznej (i cieplnej)
Elementarna statystyka Wnioskowanie o regresji (Inference 2 czerwca for regression) / 13
Elementarna statystyka Wnioskowanie o regresji (Inference for regression) Alexander Bendikov Uniwersytet Wrocªawski 2 czerwca 2016 Elementarna statystyka Wnioskowanie o regresji (Inference 2 czerwca for
WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14
WST P DO TEORII INFORMACJI I KODOWANIA Grzegorz Szkibiel Wiosna 203/4 Spis tre±ci Kodowanie i dekodowanie 4. Kodowanie a szyfrowanie..................... 4.2 Podstawowe poj cia........................
MiASI. Modelowanie analityczne. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska
MiASI Modelowanie analityczne Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 18 stycznia 2010 Spis tre±ci 1 Czym jest modelowanie analityczne? 2 Podstawowe kategorie poj ciowe
Podstawy modelowania w j zyku UML
Podstawy modelowania w j zyku UML dr hab. Bo»ena Wo¹na-Szcze±niak Akademia im. Jan Dªugosza bwozna@gmail.com Wykªad 2 Zwi zki mi dzy klasami Asocjacja (ang. Associations) Uogólnienie, dziedziczenie (ang.
mgr inż. Magdalena Deckert Poznań, r. Uczenie się klasyfikatorów przy zmieniającej się definicji klas.
mgr inż. Magdalena Deckert Poznań, 01.06.2010r. Uczenie się klasyfikatorów przy zmieniającej się definicji klas. Plan prezentacji Wstęp Concept drift Typy zmian Podział algorytmów stosowanych w uczeniu
1 Bª dy i arytmetyka zmiennopozycyjna
1 Bª dy i arytmetyka zmiennopozycyjna Liczby w pami ci komputera przedstawiamy w ukªadzie dwójkowym w postaci zmiennopozycyjnej Oznacza to,»e s one postaci ±m c, 01 m < 1, c min c c max, (1) gdzie m nazywamy
Funkcje, wielomiany. Informacje pomocnicze
Funkcje, wielomiany Informacje pomocnicze Przydatne wzory: (a + b) 2 = a 2 + 2ab + b 2 (a b) 2 = a 2 2ab + b 2 (a + b) 3 = a 3 + 3a 2 b + 3ab 2 + b 3 (a b) 3 = a 3 3a 2 b + 3ab 2 b 3 a 2 b 2 = (a + b)(a
Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych.
Wykªad jest prowadzony w oparciu o podr cznik Analiza matematyczna 2. Denicje, twierdzenia, wzory M. Gewerta i Z. Skoczylasa. Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych. Denicja Mówimy,»e funkcja
1 Metody iteracyjne rozwi zywania równania f(x)=0
1 Metody iteracyjne rozwi zywania równania f()=0 1.1 Metoda bisekcji Zaªó»my,»e funkcja f jest ci gªa w [a 0, b 0 ]. Pierwiastek jest w przedziale [a 0, b 0 ] gdy f(a 0 )f(b 0 ) < 0. (1) Ustalmy f(a 0
Lekcja 8 - ANIMACJA. 1 Polecenia. 2 Typy animacji. 3 Pierwsza animacja - Mrugaj ca twarz
Lekcja 8 - ANIMACJA 1 Polecenia Za pomoc Baltiego mo»emy tworzy animacj, tzn. sprawia by obraz na ekranie wygl daª jakby si poruszaª. Do animowania przedmiotów i tworzenia animacji posªu» nam polecenia
EDUKARIS - O±rodek Ksztaªcenia
- O±rodek Ksztaªcenia Zabrania si kopiowania i rozpowszechniania niniejszego regulaminu przez inne podmioty oraz wykorzystywania go w dziaªalno±ci innych podmiotów. Autor regulaminu zastrzega do niego
O pewnym zadaniu olimpijskim
O pewnym zadaniu olimpijskim Michaª Seweryn, V LO w Krakowie opiekun pracy: dr Jacek Dymel Problem pocz tkowy Na drugim etapie LXII Olimpiady Matematycznej pojawiª si nast puj cy problem: Dla ka»dej liczby
Rozwi zania klasycznych problemów w Rendezvous
Cz ± I Rozwi zania klasycznych problemów w Rendezvous 1 Producenci i konsumenci Na pocz tek rozwa»my wersj z jednym producentem i jednym konsumentem, dziaªaj cymi w niesko«czonych p tlach. Mechanizm komunikacji
Przykªady problemów optymalizacji kombinatorycznej
Przykªady problemów optymalizacji kombinatorycznej Problem Komiwoja»era (PK) Dane: n liczba miast, n Z +, c ji, i, j {1,..., n}, i j odlegªo± mi dzy miastem i a miastem j, c ji = c ij, c ji R +. Zadanie:
mgr inż. Magdalena Deckert Poznań, r. Metody przyrostowego uczenia się ze strumieni danych.
mgr inż. Magdalena Deckert Poznań, 30.11.2010r. Metody przyrostowego uczenia się ze strumieni danych. Plan prezentacji Wstęp Concept drift i typy zmian Algorytmy przyrostowego uczenia się ze strumieni
Wzorce projektowe kreacyjne
Wzorce projektowe kreacyjne Krzysztof Ciebiera 14 pa¹dziernika 2005 1 1 Wst p 1.1 Podstawy Opis Ogólny Podstawowe informacje Wzorce kreacyjne sªu» do uabstrakcyjniania procesu tworzenia obiektów. Znaczenie
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017
i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski Uniwersytet Šódzki, Wydziaª Matematyki i Informatyki UŠ piotr@fulmanski.pl http://fulmanski.pl/zajecia/prezentacje/festiwalnauki2017/festiwal_wmii_2017_
Ekonometria - wykªad 8
Ekonometria - wykªad 8 3.1 Specykacja i werykacja modelu liniowego dobór zmiennych obja±niaj cych - cz ± 1 Barbara Jasiulis-Goªdyn 11.04.2014, 25.04.2014 2013/2014 Wprowadzenie Ideologia Y zmienna obja±niana
MiASI. Modelowanie integracji systemów. Piotr Fulma«ski. 26 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska
MiASI Modelowanie integracji systemów Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 26 stycznia 2010 Spis tre±ci 1 Czym jest integracja systemów informatycznych? 2 Integracja
Model obiektu w JavaScript
16 marca 2009 E4X Paradygmat klasowy Klasa Deniuje wszystkie wªa±ciwo±ci charakterystyczne dla wybranego zbioru obiektów. Klasa jest poj ciem abstrakcyjnym odnosz cym si do zbioru, a nie do pojedynczego
Wzorce projektowe strukturalne cz. 1
Wzorce projektowe strukturalne cz. 1 Krzysztof Ciebiera 19 pa¹dziernika 2005 1 1 Wst p 1.1 Podstawowe wzorce Podstawowe wzorce Podstawowe informacje Singleton gwarantuje,»e klasa ma jeden egzemplarz. Adapter
Lekcja 9 - LICZBY LOSOWE, ZMIENNE
Lekcja 9 - LICZBY LOSOWE, ZMIENNE I STAŠE 1 Liczby losowe Czasami spotkamy si z tak sytuacj,»e b dziemy potrzebowa by program za nas wylosowaª jak ± liczb. U»yjemy do tego polecenia: - liczba losowa Sprawd¹my
Ekonometria Bayesowska
Ekonometria Bayesowska Wykªad 6: Bayesowskie ª czenie wiedzy (6) Ekonometria Bayesowska 1 / 21 Plan wykªadu 1 Wprowadzenie 2 Oczekiwana wielko± modelu 3 Losowanie próby modeli 4 wiczenia w R (6) Ekonometria
Uczenie Maszynowe: reprezentacja wiedzy, wybór i ocena modelu, drzewa decyzjne
Uczenie Maszynowe: reprezentacja, wybór i ocena modelu, drzewa decyzjne Plan reprezentacja reguªy decyzyjne drzewa decyzyjne i algorytm ID3 zªo»ono± modelu wybór i ocena modelu przetrenowanie i sposoby
Metodydowodzenia twierdzeń
1 Metodydowodzenia twierdzeń Przez zdanie rozumiemy dowolne stwierdzenie, które jest albo prawdziwe, albo faªszywe (nie mo»e by ono jednocze±nie prawdziwe i faªszywe). Tradycyjnie b dziemy u»ywali maªych
Blokowe i przyrostowe klasyfikatory złożone dla strumieni danych ze zmienną definicją klas
Politechnika Poznańska Wydział Informatyki Streszczenie rozprawy doktorskiej mgr inż. Dariusz Brzeziński Blokowe i przyrostowe klasyfikatory złożone dla strumieni danych ze zmienną definicją klas Promotor:
A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.
Logika i teoria mnogo±ci, konspekt wykªad 12 Teoria mocy, cz ± II Def. 12.1 Ka»demu zbiorowi X przyporz dkowujemy oznaczany symbolem X obiekt zwany liczb kardynaln (lub moc zbioru X) w taki sposób,»e ta
Programowanie wspóªbie»ne
1 Programowanie wspóªbie»ne wiczenia 5 monitory cz. 1 Zadanie 1: Stolik dwuosobowy raz jeszcze W systemie dziaªa N par procesów. Procesy z pary s nierozró»nialne. Ka»dy proces cyklicznie wykonuje wªasnesprawy,
Metody numeryczne. Wst p do metod numerycznych. Dawid Rasaªa. January 9, 2012. Dawid Rasaªa Metody numeryczne 1 / 9
Metody numeryczne Wst p do metod numerycznych Dawid Rasaªa January 9, 2012 Dawid Rasaªa Metody numeryczne 1 / 9 Metody numeryczne Czym s metody numeryczne? Istota metod numerycznych Metody numeryczne s
Podstawy modelowania w j zyku UML
Podstawy modelowania w j zyku UML dr hab. Bo»ena Wo¹na-Szcze±niak Akademia im. Jan Dªugosza bwozna@gmail.com Wykªad 8 Diagram pakietów I Diagram pakietów (ang. package diagram) jest diagramem strukturalnym,
Edyta Juszczyk. Akademia im. Jana Dªugosza w Cz stochowie. Lekcja 1Wst p
Lekcja 1 Wst p Akademia im. Jana Dªugosza w Cz stochowie Baltie Baltie Baltie jest narz dziem, które sªu»y do nauki programowania dla dzieci od najmªodszych lat. Zostaª stworzony przez Bohumira Soukupa
c Marcin Sydow Przepªywy Grafy i Zastosowania Podsumowanie 12: Przepªywy w sieciach
12: w sieciach Spis zagadnie«sieci przepªywowe przepªywy w sieciach ±cie»ka powi kszaj ca tw. Forda-Fulkersona Znajdowanie maksymalnego przepªywu Zastosowania przepªywów Sieci przepªywowe Sie przepªywowa
AUTO-ENKODER JAKO SKŠADNIK ARCHITEKTURY DEEP LEARNING
AUTO-ENKODER JAKO SKŠADNIK ARCHITEKTURY DEEP LEARNING Magdalena Wiercioch Uniwersytet Jagiello«ski 3 kwietnia 2014 Plan Uczenie gª bokie (deep learning) Auto-enkodery Rodzaje Zasada dziaªania Przykªady
Indeksowane rodziny zbiorów
Logika i teoria mnogo±ci, konspekt wykªad 7 Indeksowane rodziny zbiorów Niech X b dzie przestrzeni zbiorem, którego podzbiorami b d wszystkie rozpatrywane zbiory, R rodzin wszystkich podzbiorów X za± T
POLITECHNIKA WROCŠAWSKA WYDZIAŠ ELEKTRONIKI PRACA DYPLOMOWA MAGISTERSKA
POLITECHNIKA WROCŠAWSKA WYDZIAŠ ELEKTRONIKI Kierunek: Specjalno± : Automatyka i Robotyka (AIR) Robotyka (ARR) PRACA DYPLOMOWA MAGISTERSKA Podatny manipulator planarny - budowa i sterowanie Vulnerable planar
Rzut oka na zagadnienia zwi zane z projektowaniem list rozkazów
Rzut oka na zagadnienia zwi zane z projektowaniem list rozkazów 1 Wst p Przypomnijmy,»e komputer skªada si z procesora, pami ci, systemu wej±cia-wyj±cia oraz po- ª cze«mi dzy nimi. W procesorze mo»emy
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
Listy i operacje pytania
Listy i operacje pytania Iwona Polak iwona.polak@us.edu.pl Uniwersytet l ski Instytut Informatyki pa¹dziernika 07 Który atrybut NIE wyst puje jako atrybut elementów listy? klucz elementu (key) wska¹nik
Podstawy modelowania w j zyku UML
Podstawy modelowania w j zyku UML dr hab. Bo»ena Wo¹na-Szcze±niak Akademia im. Jan Dªugosza bwozna@gmail.com Wykªad 7 Przegl dowe diagramy interakcji Przegl dowe diagramy interakcji wi» ze sob kilka ró»nych
2 Liczby rzeczywiste - cz. 2
2 Liczby rzeczywiste - cz. 2 W tej lekcji omówimy pozostaªe tematy zwi zane z liczbami rzeczywistymi. 2. Przedziaªy liczbowe Wyró»niamy nast puj ce rodzaje przedziaªów liczbowych: (a) przedziaªy ograniczone:
JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1
J zyki formalne i operacje na j zykach J zyki formalne s abstrakcyjnie zbiorami sªów nad alfabetem sko«czonym Σ. J zyk formalny L to opis pewnego problemu decyzyjnego: sªowa to kody instancji (wej±cia)
Zastosowania matematyki
Zastosowania matematyki Monika Bartkiewicz 1 / 126 ...czy«cie dobrze i po»yczajcie niczego si nie spodziewaj c(šk. 6,34-35) Zagadnienie pobierania procentu jest tak stare jak gospodarka pieni»na. Procent
Programowanie Zespołowe
Programowanie Zespołowe Systemy kontroli wersji dr Rafał Skinderowicz mgr inż. Michał Maliszewski Systemy kontroli wersji Śledzenie zmian, np.: w kodzie źródłowym Łączenie zmian dokonanych w plikach Ułatwienie
Opis matematyczny ukªadów liniowych
Rozdziaª 1 Opis matematyczny ukªadów liniowych Autorzy: Alicja Golnik 1.1 Formy opisu ukªadów dynamicznych 1.1.1 Liniowe równanie ró»niczkowe Podstawow metod przedstawienia procesu dynamicznego jest zbiór
1 Klasy. 1.1 Denicja klasy. 1.2 Skªadniki klasy.
1 Klasy. Klasa to inaczej mówi c typ który podobnie jak struktura skªada si z ró»nych typów danych. Tworz c klas programista tworzy nowy typ danych, który mo»e by modelem rzeczywistego obiektu. 1.1 Denicja
Jednowarstwowe Sieci Neuronowe jako. klasykatory do wielu klas. (c) Marcin Sydow
Plan dyskretny perceptron i jego ograniczenia inne funkcje aktywacji wielo-klasykacja przy pomocy jedno-warstwowe sieci neuronowej ograniczenia jedno-warstwowej sieci neuronowej miary ewaluacyjne dla klasykacji
Wyra»enia logicznie równowa»ne
Wyra»enia logicznie równowa»ne Denicja. Wyra»enia rachunku zda«nazywamy logicznie równowa»nymi, gdy maj równe warto±ci logiczne dla dowolnych warto±ci logicznych zmiennych zdaniowych. 1 Przykªady: Wyra»enia
Listy Inne przykªady Rozwi zywanie problemów. Listy w Mathematice. Marcin Karcz. Wydziaª Matematyki, Fizyki i Informatyki.
Wydziaª Matematyki, Fizyki i Informatyki 10 marca 2008 Spis tre±ci Listy 1 Listy 2 3 Co to jest lista? Listy List w Mathematice jest wyra»enie oddzielone przecinkami i zamkni te w { klamrach }. Elementy
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
Baza danych - Access. 2 Budowa bazy danych
Baza danych - Access 1 Baza danych Jest to zbiór danych zapisanych zgodnie z okre±lonymi reguªami. W w»szym znaczeniu obejmuje dane cyfrowe gromadzone zgodnie z zasadami przyj tymi dla danego programu
ALGORYTMY SORTOWANIA DANYCH
ALGORYTMY SORTOWANIA DANYCH W zagadnieniu sortowania danych rozpatrywa b dziemy n liczb caªkowitych, b d cych pierwotnie w losowej kolejno±ci, które nale»y uporz dkowa nierosn co. Oczywi±cie sortowa mo»emy
Temat: Co to jest optymalizacja? Maksymalizacja objętości naczynia prostopadłościennego za pomocą arkusza kalkulacyjngo.
Konspekt lekcji Przedmiot: Informatyka Typ szkoły: Gimnazjum Klasa: II Nr programu nauczania: DKW-4014-87/99 Czas trwania zajęć: 90min Temat: Co to jest optymalizacja? Maksymalizacja objętości naczynia
Algorytmy zwiazane z gramatykami bezkontekstowymi
Algorytmy zwiazane z gramatykami bezkontekstowymi Rozpoznawanie j zyków bezkontekstowych Problem rozpoznawania j zyka L polega na sprawdzaniu przynale»no±ci sªowa wej±ciowego x do L. Zakªadamy,»e j zyk
Konspekt lekcji otwartej
Konspekt lekcji otwartej Przedmiot: Temat lekcji: informatyka Modelowanie i symulacja komputerowa prawidłowości w świecie liczb losowych Klasa: 2 g Data zajęć: 21.12.2004. Nauczyciel: Roman Wyrwas Czas
Ciaªa i wielomiany. 1 Denicja ciaªa. Ciaªa i wielomiany 1
Ciaªa i wielomiany 1 Ciaªa i wielomiany 1 Denicja ciaªa Niech F b dzie zbiorem, i niech + (dodawanie) oraz (mno»enie) b d dziaªaniami na zbiorze F. Denicja. Zbiór F wraz z dziaªaniami + i nazywamy ciaªem,
ZAANGA OWANIE PRACOWNIKÓW W PROJEKTY INFORMATYCZNE
ZAANGA OWANIE PRACOWNIKÓW W PROJEKTY INFORMATYCZNE LESZEK MISZTAL Politechnika Szczeci ska Streszczenie Celem artykułu jest przedstawienie metody rozwi zania problemu dotycz cego zaanga owania pracowników
Modele wielorównaniowe. Problem identykacji
Modele wielorównaniowe. Problem identykacji Ekonometria Szeregów Czasowych SGH Identykacja 1 / 43 Plan wykªadu 1 Wprowadzenie 2 Trzy przykªady 3 Przykªady: interpretacja 4 Warunki identykowalno±ci 5 Restrykcje
Ekonometria Bayesowska
Ekonometria Bayesowska Wykªad 9: Metody numeryczne: MCMC Andrzej Torój 1 / 17 Plan wykªadu Wprowadzenie 1 Wprowadzenie 3 / 17 Plan prezentacji Wprowadzenie 1 Wprowadzenie 3 3 / 17 Zastosowanie metod numerycznych
1. Wprowadzenie do C/C++
Podstawy Programowania :: Roman Grundkiewicz :: 014 Zaj cia 1 1 rodowisko Dev-C++ 1. Wprowadzenie do C/C++ Uruchomienie ±rodowiska: Start Programs Developments Dev-C++. Nowy projekt: File New Project lub
Granular Computing 9999 pages 15 METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY
Granular Computing 9999 pages 15 METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY PB 2 PB 1 Projekt z wyznaczania reduktów zbioru Liczba osób realizuj cych projekt: 1-2 osoby 1. Wczytanie danych w formatach arf,
Funkcje wielu zmiennych
dr Krzysztof yjewski Informatyka I rok I 0 in» 12 stycznia 2016 Funkcje wielu zmiennych Informacje pomocnicze Denicja 1 Niech funkcja f(x y) b dzie okre±lona przynajmniej na otoczeniu punktu (x 0 y 0 )
Rozwi zywanie Ukªadów Równa«Liniowych Ax=B metod dekompozycji LU, za pomoc JAVA RMI
Rozwi zywanie Ukªadów Równa«Liniowych Ax=B metod dekompozycji LU, za pomoc JAVA RMI Marcn Šabudzik AGH-WFiIS, al. Mickiewicza 30, 30-059, Kraków, Polska email: labudzik@ghnet.pl www: http://fatcat.ftj.agh.edu.pl/
Praca Dyplomowa Magisterska
Internetowa Platform Edukacyjna w Technologii ZOPE Autor: Promotor: Dr in». Adam Doma«ski Politechnika l ska Wydziaª Automatyki, Elektroniki i Informatyki Kierunek Informatyka 22 wrze±nia 2009 Dlaczego
Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA. W obu podpunktach zakªadamy,»e kolejno± ta«ców jest wa»na.
Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA Zadanko 1 (12p.) Na imprezie w Noc Kupaªy s 44 dziewczyny. Nosz one 11 ró»nych imion, a dla ka»dego imienia s dokªadnie 4 dziewczyny o tym imieniu przy czym ka»da
Dynamiczne wªasno±ci algorytmu propagacji przekona«
BP propagacji przekona«4. Interdyscyplinarne Warsztaty Matematyczne Wydziaª Fizyki Politechnika Warszawska B dlewo, 26 maja, 2013 BP 1 2 3 4 5 6 BP Rysunek: Zbiór zmiennych losowych. BP Rysunek: Zbiór
Metody tworzenia efektywnych komitetów klasyfikatorów jednoklasowych Bartosz Krawczyk Katedra Systemów i Sieci Komputerowych Politechnika Wrocławska
Metody tworzenia efektywnych komitetów klasyfikatorów jednoklasowych Bartosz Krawczyk Katedra Systemów i Sieci Komputerowych Politechnika Wrocławska e-mail: bartosz.krawczyk@pwr.wroc.pl Czym jest klasyfikacja
1. Wprowadzenie do C/C++
Podstawy Programowania - Roman Grundkiewicz - 013Z Zaj cia 1 1 rodowisko Dev-C++ 1. Wprowadzenie do C/C++ Uruchomienie ±rodowiska: Start Programs Developments Dev-C++. Nowy projekt: File New Project lub
Metody numeryczne i statystyka dla in»ynierów
Kierunek: Automatyka i Robotyka, II rok Interpolacja PWSZ Gªogów, 2009 Interpolacja Okre±lenie zale»no±ci pomi dzy interesuj cymi nas wielko±ciami, Umo»liwia uproszczenie skomplikowanych funkcji (np. wykorzystywana
Uczenie Wielowarstwowych Sieci Neuronów o
Plan uczenie neuronu o ci gªej funkcji aktywacji uczenie jednowarstwowej sieci neuronów o ci gªej funkcji aktywacji uczenie sieci wielowarstwowej - metoda propagacji wstecznej neuronu o ci gªej funkcji
Metody statystyczne w biologii - Wykªad 8. Uniwersytet Przyrodniczy we Wrocªawiu Katedra Genetyki i Ogólnej Hodowli Zwierz t
Metody statystyczne w biologii - Wykªad 8 Uniwersytet Przyrodniczy we Wrocªawiu Katedra Genetyki i Ogólnej Hodowli Zwierz t Plan wykªadu Regresja logistyczna 1. Podstawy teoretyczne i przykªady zastosowania
Ostatnia cena sprzeda y klienta 1.0 dodatek do Symfonia Faktura dla 1 firmy
Podr cznik u ytkownika Ostatnia cena sprzeda y klienta 1.0 dodatek do Symfonia Faktura dla 1 firmy Masz pytanie? zadzwo 693 936 046 lub napisz handel@symfoniadodatki.pl SPIS TRE CI 1. Instalacja dodatku
Ekstremalnie fajne równania
Ekstremalnie fajne równania ELEMENTY RACHUNKU WARIACYJNEGO Zaczniemy od ogólnych uwag nt. rachunku wariacyjnego, który jest bardzo przydatnym narz dziem mog cym posªu»y do rozwi zywania wielu problemów
Wnioskowanie Boolowskie i teoria zbiorów przybli»onych
Wnioskowanie Boolowskie i teoria zbiorów przybli»onych 4 Zbiory przybli»one Wprowadzenie do teorii zbiorów przybli»onych Zªo»ono± problemu szukania reduktów 5 Wnioskowanie Boolowskie w obliczaniu reduktów
Szeregowanie zada« Przedmiot fakultatywny 15h wykªadu + 15h wicze« dr Hanna Furma«czyk. 7 pa¹dziernika 2013
Przedmiot fakultatywny 15h wykªadu + 15h wicze«7 pa¹dziernika 2013 Zasady zaliczenia 1 wiczenia (ocena): kolokwium, zadania dodatkowe (implementacje algorytmów), praca na wiczeniach. 2 Wykªad (zal): zaliczone
Aplikacje bazodanowe. Laboratorium 1. Dawid Poªap Aplikacje bazodanowe - laboratorium 1 Luty, 22, / 37
Aplikacje bazodanowe Laboratorium 1 Dawid Poªap Aplikacje bazodanowe - laboratorium 1 Luty, 22, 2017 1 / 37 Plan 1 Informacje wst pne 2 Przygotowanie ±rodowiska do pracy 3 Poj cie bazy danych 4 Relacyjne
x y x y x y x + y x y
Algebra logiki 1 W zbiorze {0, 1} okre±lamy dziaªania dwuargumentowe,, +, oraz dziaªanie jednoargumentowe ( ). Dziaªanie x + y nazywamy dodawaniem modulo 2, a dziaªanie x y nazywamy kresk Sheera. x x 0
Automatyczne przetwarzanie recenzji konsumenckich dla oceny użyteczności produktów i usług
Uniwersytet Ekonomiczny w Poznaniu Wydział Informatyki i Gospodarki Elektronicznej Katedra Informatyki Ekonomicznej Streszczenie rozprawy doktorskiej Automatyczne przetwarzanie recenzji konsumenckich dla
Epigenome - 'above the genome'
e - 'above the genome' Wydziaª Matematyki i Informatyki UJ Instytut Informatyki 14 stycznia 2013 e Rysunek: ¹ródªo: http://learn.genetics.utah.edu/content/epigenetics/nutrition/ e Plan Genom 1 Genom e
Integracja systemów, integracja procesów
Nowe rozwiązania informatyczne w zmieniającej się rzeczywistości akademickiej Integracja systemów, integracja procesów... Janina Mincer-Daszkiewicz Uniwersytet Warszawski, MUCI jmd@mimuw.edu.pl Warszawa,
Uczenie Maszynowe: Wprowadzenie. (c) Marcin Sydow
Plan Dane Eksploracja danych i uczenie maszynowe: motywacja Na czym polega uczenie z danych Tablice decyzyjne: atrybuty i obserwacje z nadzorem i bez nadzoru Klasykacja i regresja Przykªady Dane: Motywacja
Ukªady równa«liniowych
dr Krzysztof yjewski Mechatronika; S-I 0 in» 7 listopada 206 Ukªady równa«liniowych Informacje pomocnicze Denicja Ogólna posta ukªadu m równa«liniowych z n niewiadomymi x, x, x n, gdzie m, n N jest nast
Hotel Hilberta. Zdumiewaj cy ±wiat niesko«czono±ci. Marcin Kysiak. Festiwal Nauki, 20.09.2011. Instytut Matematyki Uniwersytetu Warszawskiego
Zdumiewaj cy ±wiat niesko«czono±ci Instytut Matematyki Uniwersytetu Warszawskiego Festiwal Nauki, 20.09.2011 Nasze do±wiadczenia hotelowe Fakt oczywisty Hotel nie przyjmie nowych go±ci, je»eli wszystkie
YapS Plan testów. Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007
YapS Plan testów Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007 1 Spis tre±ci 1 Wprowadzenie 3 1.1................................. 3 1.2 Zakres............................... 3 2
Propozycja integracji elementów ±wiata gry przy u»yciu drzew zachowa«
Praca cz ±ciowo sponsorowana przez Ministerstwo Nauki i Szkolnictwa Wy»szego, grant nr N N519 172337, Integracyjna metoda wytwarzania aplikacji rozproszonych o wysokich wymaganiach wiarygodno±ciowych.
1 Poj cia pomocnicze. Przykªad 1. A A d
Poj cia pomocnicze Otoczeniem punktu x nazywamy dowolny zbiór otwarty zawieraj cy punkt x. Najcz ±ciej rozwa»amy otoczenia kuliste, tj. kule o danym promieniu ε i ±rodku x. S siedztwem punktu x nazywamy
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych