Ing. Tomasz Kanik. doc. RNDr. Štefan Peško, CSc.

Size: px
Start display at page:

Download "Ing. Tomasz Kanik. doc. RNDr. Štefan Peško, CSc."

Transcription

1 Ing. Tomasz Kanik Školiteľ: doc. RNDr. Štefan Peško, CSc. Pracovisko: Študijný program: KMMOA, FRI, ŽU Aplikovaná informatika 1

2 identifikácia problémovej skupiny pacientov, zlepšenie kvality rozhodovacích modelov, zvýšenie celkovej úspešností diagnóz. 2

3 Pacient Príznak A Príznak B Príznak C Stav P dobrý P zlý P dobrý P priemerný P priemerný P priemerný P dobrý P zlý P zlý P priemerný 3

4 Pacient Príznak A Príznak B Príznak C Stav P dobrý P zlý P dobrý P priemerný P priemerný P priemerný P dobrý P zlý P zlý P priemerný 4

5 Pacient Príznak A Príznak B Príznak C Stav P dobrý P zlý P dobrý P priemerný P priemerný Nekonzistencia údajov P priemerný P dobrý P zlý P zlý P priemerný 5

6 Pacient Príznak A Príznak B Príznak C Stav P dobrý P zlý P dobrý P priemerný P priemerný P priemerný Zmena hodnoty podmienených atribútov môže spôsobiť zmenu stavu P dobrý Aj poradie hodnôt rozhodovacieho atribútu je významné pre lekára P zlý P zlý P priemerný 6

7 VC-DRSA: používa rozhodovacie pravidla (teória RSA); zohľadňuje poradie preferencie v rozhodovacích pravidlách (teória DRSA); umožňuje relaxáciu striktných pravidiel DRSA pomocou miery konzistencie; Identifikácia nekonzistentných inštancii vedie k určení problémovej skupiny pacientov Modifikácie teórie Rough Set sú často aplikované v expertných systémoch (napr. WMSS) 7

8 Problémová skupina pacientov Nekonzistentné inštancie Kvalita rozhodovacích modelov Kvalita rozhodovacích pravidiel Celková úspešnosť diagnóz Celková úspešnosť klasifikácie 8

9 Miera konzistencie objektu vyjadruje informáciu o jeho príslušností do zvolenej množiny rozhodnutí. Miery rozdeľujeme na maximalizačné a minimalizačné. Pre maximalizačnú mieru konzistencie platí, že čim je hodnota vyššia tým viac konzistentný je skúmaný objekt. Pre minimalizačnú mieru konzistencie platí opak. 9

10 10

11 Inuiguchi et al.,

12 Błaszczyński et al., 2007 &

13 q 1, q 2, q 3 podmienené atribúty d rozhodovací atribút X 1, X 2, X 3 triedy rozkladu 13

14 14

15 15

16 Autori Deng et al., 2011 Definovali kvantitatívne vyjadrenie globálnej nekonzistencie objektu Miera neistoty objektu vyjadruje do akej miery objekt patri vyššej alebo nižšej triedy rozkladu podľa poradia preferencie tried 16

17 Deng et al., 2011 &

18 18

19 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 55 F 9,5 GN V I 52 F 8,2 AN V 9 30 I 56 F 9,5 GN V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 19

20 20

21 21

22 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD 2,0 V I 10 F 8,9 GN 1,0 V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN 0,5 V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN 0,5 V I 55 F 9,5 GN 3,0 V I 52 F 8,2 AN 2,0 V 9 30 I 56 F 9,5 GN 1,0 V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN 1,0 V 22 8 C 60 M 8,8 PKD 22

23 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD 2,0 V I 10 F 8,9 GN 1,0 V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN 0,5 V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN 0,5 V I 55 F 9,5 GN 3,0 V I 52 F 8,2 AN 2,0 V 9 30 I 56 F 9,5 GN 1,0 V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN 1,0 V 22 8 C 60 M 8,8 PKD 23

24 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD 2,0 V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN 0,5 V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 55 F 9,5 GN V I 52 F 8,2 AN 1,0 V 9 30 I 56 F 9,5 GN 1,0 V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 24

25 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD 2,0 V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN 0,5 V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 55 F 9,5 GN V I 52 F 8,2 AN 1,0 V 9 30 I 56 F 9,5 GN 1,0 V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 25

26 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD 2,0 V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN 0,5 V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 55 F 9,5 GN V I 52 F 8,2 AN 1,0 V 9 30 I 56 F 9,5 GN 1,0 V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 26

27 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 55 F 9,5 GN V I 52 F 8,2 AN 1,0 V 9 30 I 56 F 9,5 GN 1,0 V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 27

28 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 17 F 8,9 OKD V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 55 F 9,5 GN V I 52 F 8,2 AN V 9 30 I 56 F 9,5 GN V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 28

29 Q 1 Q 2 Q 3 Q 4 Q 5 d α Q 1 Q 2 Q 3 Q 4 Q 5 d α V 1 8 I 28 M 7,7 OKD V C 43 F 9,0 AN V 2 30 I 10 M 8,5 OKD V I 43 M 9,3 AN V 3 12 I 10 M 8,5 OKD V C 57 F 9,5 AN V 4 24 I 16 F 8,9 OKD V I 58 F 9,5 AN V I 10 F 8,9 GN V 6 7 I 51 M 7,0 OKD V I 10 F 8,9 GN V 7 - I 51 M 7,0 GN V I 52 F 8,2 AN V I 52 F 8,2 AN V 20 2 I 53 M 8,5 GN V I 69 F 9,3 AN V C 42 F 9,3 OKD V I 42 F 9,0 AN V 22 8 C 60 M 8,8 PKD 29

30 30

31 31

32 32

33 33

34 Zrýchlenie vyhľadávania nekonzistentných objektov znížením počtu testovaných podmienok zo 7 na 3. Efektívna implementácia vyhľadávania nekonzistentných objektov. 34

35 35

36 Instance Family Instance Type Processor Arch Compute optimized c3.8xlarge 64-bit vcpu 32 ECU 108 Memory (GiB) 60 Instance Storage (GB) 2 x 320 SSD EBS-optimized Available - Network Performance Physical Processor Intel AES-NI Intel AVX Intel Turbo 10 Gigabit*4 Intel Xeon E v2 Yes Yes Yes 36

37 37

38 38

39 39

40 40

41 Ostatné miery Navrhované riešenie 41

42 42

43 43

44 Navrhované riešenie Ostatné algoritmy 44

45 Jednoduchý spôsob identifikácie skupiny problémových pacientov Štatisticky významné zlepšenie kvality rozhodovacích pravidiel (modelov) Zvýšenie celkovej úspešnosti klasifikácie Návrh metodiky porovnávania mier neistoty pre budúce výskumy 45

46 46

47 47

48 48

49 49

50 50

51 Pôvodne vynechaný krok 51

52 52

53 53

54 Pôvodne 7 podmienok IF 54

Klasifikácia. Obchodný dom = oddelenia (typ/druh tovaru) alternatívne kritériá výberu príznakov vedú k rôznemu výsledku klasifikácie

Klasifikácia. Obchodný dom = oddelenia (typ/druh tovaru) alternatívne kritériá výberu príznakov vedú k rôznemu výsledku klasifikácie Klasifikácia Obchodný dom = oddelenia (typ/druh tovaru) alternatívne kritériá výberu príznakov vedú k rôznemu výsledku klasifikácie určenie triedy objektu na základe príznakov získaných z objektu Rozhodovacie

More information

DIPLOMOVÁ PRÁCA ŽILINSKÁ UNIVERZITA V ŽILINE. Ján Rabčan Aplikácia na vyhodnocovanie dotazníkov pomocou hĺbkovej analýzy dát

DIPLOMOVÁ PRÁCA ŽILINSKÁ UNIVERZITA V ŽILINE. Ján Rabčan Aplikácia na vyhodnocovanie dotazníkov pomocou hĺbkovej analýzy dát ŽILINSKÁ UNIVERZITA V ŽILINE FAKULTA RIADENIA A INFORMATIKY DIPLOMOVÁ PRÁCA Ján Rabčan Aplikácia na vyhodnocovanie dotazníkov pomocou hĺbkovej analýzy dát Vedúci práce: Ing. Jozef Kostolný, PhD. Registračné

More information

Computer Applications in Hydraulic Engineering

Computer Applications in Hydraulic Engineering Computer Applications in Hydraulic Engineering www.haestad.com Academic CD Aplikácie výpočtovej techniky v hydraulike pre inžinierov Flow Master General Flow Characteristic Všeobecná charakteristika prúdenia

More information

Computation of Information Value for Credit Scoring Models

Computation of Information Value for Credit Scoring Models Jedovnice 20 Computation of Information Value for Credit Scoring Models Martin Řezáč, Jan Koláček Dept. of Mathematics and Statistics, Faculty of Science, Masaryk University Information value The special

More information

Homomorphic Encryption. Liam Morris

Homomorphic Encryption. Liam Morris Homomorphic Encryption Liam Morris Topics What Is Homomorphic Encryption? Partially Homomorphic Cryptosystems Fully Homomorphic Cryptosystems Benefits of Homomorphism Drawbacks of Homomorphism What Is

More information

Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 2, 2010, vol. LVI article No. 1776

Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 2, 2010, vol. LVI article No. 1776 Transactions of the VŠB Technical University of Ostrava, Mechanical Series o. 2, 200, vol. LVI article o. 776 Zuzana ADRÁSSYOVÁ *, Martin KOTUS ** EVALUATIO OF CC MILLIG MACHIE CAPABILITY FOR TRASMISSIOS

More information

SPECIAL PROJECT PROGRESS REPORT

SPECIAL PROJECT PROGRESS REPORT SPECIAL PROJECT PROGRESS REPORT Progress Reports should be 2 to 10 pages in length, depending on importance of the project. All the following mandatory information needs to be provided. Reporting year

More information

Teória grafov. RNDr. Milan Stacho, PhD.

Teória grafov. RNDr. Milan Stacho, PhD. Teória grafov RNDr. Milan Stacho, PhD. Literatúra Plesník: Grafové algoritmy, Veda Bratislava 1983 Sedláček: Úvod do teórie grafů, Academia Praha 1981 Bosák: Grafy a ich aplikácie, Alfa Bratislava 1980

More information

REPORT, RE0813, MIL, ENV, 810G, TEMP, IN-HOUSE, , PASS

REPORT, RE0813, MIL, ENV, 810G, TEMP, IN-HOUSE, , PASS REPORT, RE0813, MIL, ENV, 810G, TEMP, IN-HOUSE, REV. A C r y s t a l G r o u p I n c 8 5 0 K a c e n a R d., H i a w a t h a, I A P h o n e : 8 7 7-2 7 9-7 8 6 3 F a x : 3 1 9-3 9 3-2 3 3 8 8 / 1 5 / 2

More information

ENVIRONMENTÁLNE FAKTORY V HODNOTENÍ EFEKTÍVNOSTI V POĽNOHOSPODÁRSTVE ENVIRONMENTAL FACTORS IN EFFICIENCY ASSESMENT IN AGRICULTURE.

ENVIRONMENTÁLNE FAKTORY V HODNOTENÍ EFEKTÍVNOSTI V POĽNOHOSPODÁRSTVE ENVIRONMENTAL FACTORS IN EFFICIENCY ASSESMENT IN AGRICULTURE. ENVIRONMENTÁLNE FAKTORY V HODNOTENÍ EFEKTÍVNOSTI V POĽNOHOSPODÁRSTVE ENVIRONMENTAL FACTORS IN EFFICIENCY ASSESMENT IN AGRICULTURE Peter FANDEL The paper focuses on the analysis of environmental factors

More information

Strojové učenie. Princípy a algoritmy. Kristína Machová

Strojové učenie. Princípy a algoritmy. Kristína Machová Strojové učenie Princípy a algoritmy Kristína Machová Košice 2002 Ing. Kristína Machová, CSc. Katedra kybernetiky a umelej inteligencie Fakulta elektrotechniky a informatiky Technická univerzita v Košiciach

More information

BRNO UNIVERSITY OF TECHNOLOGY

BRNO UNIVERSITY OF TECHNOLOGY BRNO UNIVERSITY OF TECHNOLOGY VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ FACULTY OF MECHANICAL ENGINEERING FAKULTA STROJNÍHO INŽENÝRSTVÍ INSTITUTE OF MATHEMATICS ÚSTAV MATEMATIKY GAME THEORY IN WASTE MANAGEMENT VYUŽITÍ

More information

Solution Methods for Beam and Frames on Elastic Foundation Using the Finite Element Method

Solution Methods for Beam and Frames on Elastic Foundation Using the Finite Element Method Solution Methods for Beam and Frames on Elastic Foundation Using the Finite Element Method Spôsoby riešenie nosníkov a rámov na pružnom podklade pomocou metódy konečných prvkov Roland JANČO 1 Abstract:

More information

VMware VMmark V1.1 Results

VMware VMmark V1.1 Results Vendor and Hardware Platform: IBM System x3950 M2 Virtualization Platform: VMware ESX 3.5.0 U2 Build 110181 Performance VMware VMmark V1.1 Results Tested By: IBM Inc., RTP, NC Test Date: 2008-09-20 Performance

More information

ADM a logika. 4. prednáška. Výroková logika II, logický a sémantický dôsledok, teória a model, korektnosť a úplnosť

ADM a logika. 4. prednáška. Výroková logika II, logický a sémantický dôsledok, teória a model, korektnosť a úplnosť ADM a logika 4. prednáška Výroková logika II, logický a sémantický dôsledok, teória a model, korektnosť a úplnosť 1 Odvodzovanie formúl výrokovej logiky, logický dôsledok, syntaktický prístup Logický dôsledok

More information

One Optimized I/O Configuration per HPC Application

One Optimized I/O Configuration per HPC Application One Optimized I/O Configuration per HPC Application Leveraging I/O Configurability of Amazon EC2 Cloud Mingliang Liu, Jidong Zhai, Yan Zhai Tsinghua University Xiaosong Ma North Carolina State University

More information

Parallelization of the Molecular Orbital Program MOS-F

Parallelization of the Molecular Orbital Program MOS-F Parallelization of the Molecular Orbital Program MOS-F Akira Asato, Satoshi Onodera, Yoshie Inada, Elena Akhmatskaya, Ross Nobes, Azuma Matsuura, Atsuya Takahashi November 2003 Fujitsu Laboratories of

More information

Faculty of Mechanical Engineering, Technical University of Liberec Ph.D. Thesis Topics for academic year 2018/2019. Study programme: Applied Mechanics

Faculty of Mechanical Engineering, Technical University of Liberec Ph.D. Thesis Topics for academic year 2018/2019. Study programme: Applied Mechanics Thesis Topics for academic year 2018/2019 Study programme: Applied Mechanics Téma disertační práce Školitel Katedra 1. Research on mechanical properties of vibration isolation materials, modelling and

More information

Experience in Factoring Large Integers Using Quadratic Sieve

Experience in Factoring Large Integers Using Quadratic Sieve Experience in Factoring Large Integers Using Quadratic Sieve D. J. Guan Department of Computer Science, National Sun Yat-Sen University, Kaohsiung, Taiwan 80424 guan@cse.nsysu.edu.tw April 19, 2005 Abstract

More information

Modeling and Simulation of Dispersion Particle Fuels in Monte Carlo Neutron Transport Calculation

Modeling and Simulation of Dispersion Particle Fuels in Monte Carlo Neutron Transport Calculation 18 th IGORR Conference 2017 Modeling and Simulation of Dispersion Particle Fuels in Monte Carlo Neutron Transport Calculation Zhenping Chen School of Nuclear Science and Technology Email: chzping@yeah.net

More information

ArcGIS Enterprise: What s New. Philip Heede Shannon Kalisky Melanie Summers Shreyas Shinde

ArcGIS Enterprise: What s New. Philip Heede Shannon Kalisky Melanie Summers Shreyas Shinde ArcGIS Enterprise: What s New Philip Heede Shannon Kalisky Melanie Summers Shreyas Shinde ArcGIS Enterprise is the new name for ArcGIS for Server ArcGIS Enterprise Software Components ArcGIS Server Portal

More information

A Data Communication Reliability and Trustability Study for Cluster Computing

A Data Communication Reliability and Trustability Study for Cluster Computing A Data Communication Reliability and Trustability Study for Cluster Computing Speaker: Eduardo Colmenares Midwestern State University Wichita Falls, TX HPC Introduction Relevant to a variety of sciences,

More information

Bohuš Leitner, Jaromír Máca 1

Bohuš Leitner, Jaromír Máca 1 AUOREGRESSIVE MODELS AND IS POSSIBILIIES FOR MODELLING OF SOCHASIC LONGIUDINAL UNEVENNESS OF ROAD SURFACES` AUOREGRESNÉ MODELY A ICH MOŽNOSI PRI MODELOVANÍ SOCHASICKÝCH VÝŠKOVÝCH NEROVNOSÍ POVRCHU VOZOVIEK

More information

Lucia Fuchsová Charakteristiky pravděpodobnostních

Lucia Fuchsová Charakteristiky pravděpodobnostních Univerzita Karlova v Praze Matematicko-fyzikální fakulta BAKALÁŘSKÁ PRÁCE Lucia Fuchsová Charakteristiky pravděpodobnostních předpovědí Katedra pravděpodobnosti a matematické statistiky Vedoucí bakalářské

More information

Toward High Performance Matrix Multiplication for Exact Computation

Toward High Performance Matrix Multiplication for Exact Computation Toward High Performance Matrix Multiplication for Exact Computation Pascal Giorgi Joint work with Romain Lebreton (U. Waterloo) Funded by the French ANR project HPAC Séminaire CASYS - LJK, April 2014 Motivations

More information

Kľúčové slová: SAR, šum spekl noise, evolučná PDR, lineárna difúzia, Perona-Malikova rovnica, štatistickéfiltre, Leeho filter

Kľúčové slová: SAR, šum spekl noise, evolučná PDR, lineárna difúzia, Perona-Malikova rovnica, štatistickéfiltre, Leeho filter Kľúčové slová: SAR, šum spekl noise, evolučná PDR, lineárna difúzia, Perona-Malikova rovnica, štatistickéfiltre, Leeho filter Tvorba šumu spekl radarový senzor vysiela elektromagneticlý pulz a meria odraz

More information

Alternative Approaches: Bounded Storage Model

Alternative Approaches: Bounded Storage Model Alternative Approaches: Bounded Storage Model A. Würfl 17th April 2005 1 Motivation Description of the Randomized Cipher 2 Motivation Motivation Description of the Randomized Cipher Common practice in

More information

Claude Tadonki. MINES ParisTech PSL Research University Centre de Recherche Informatique

Claude Tadonki. MINES ParisTech PSL Research University Centre de Recherche Informatique Claude Tadonki MINES ParisTech PSL Research University Centre de Recherche Informatique claude.tadonki@mines-paristech.fr Monthly CRI Seminar MINES ParisTech - CRI June 06, 2016, Fontainebleau (France)

More information

Súťaž PALMA junior a programovanie v jazyku Python

Súťaž PALMA junior a programovanie v jazyku Python Súťaž PALMA junior a programovanie v jazyku Python Ján Guniš Ľubomír Šnajder Prírodovedecká fakulta Univerzity P. J. Šafárika v Košiciach DidInfo + DidactIG 2017, Banská Bystrica Obsah Súťaž PALMA junior

More information

Performance evaluation of scalable optoelectronics application on large-scale Knights Landing cluster

Performance evaluation of scalable optoelectronics application on large-scale Knights Landing cluster Performance evaluation of scalable optoelectronics application on large-scale Knights Landing cluster Yuta Hirokawa Graduate School of Systems and Information Engineering, University of Tsukuba hirokawa@hpcs.cs.tsukuba.ac.jp

More information

verdex pro Series Performance and Power Technical Reference

verdex pro Series Performance and Power Technical Reference verdex pro Series Performance and Power Technical Reference Operating Temperature PXA270-based verdex pro and verdex COMs PXA255-based basix and connex motherboards Summary Performance Benchmarks: Verdex

More information

Vplyv minimálnej mzdy na trh práce

Vplyv minimálnej mzdy na trh práce Vplyv minimálnej mzdy na trh práce prípad Slovenskej Republiky Martina Brezová Lucia Pániková Obsah prezentácie Úvod Literatúra Štruktúra dát Minimálna mzda Testovanie vzájomnej súvislosti ARMA modelovanie

More information

štatistika I. Doc. RNDr. Katarína Kozlíková, CSc. ÚLFBFIaTM LF UK v Bratislave

štatistika I. Doc. RNDr. Katarína Kozlíková, CSc. ÚLFBFIaTM LF UK v Bratislave Lekárska štatistika I. Základné pojmy Doc. RNDr. Katarína Kozlíková, CSc. ÚLFBFIaTM LF UK v Bratislave katarina.kozlikova@fmed.uniba.sk Prečo štatistika? (1) Jazyk Zhromažďovanie dát Manipulácia s dátami

More information

P214 Efficient Computation of Passive Seismic Interferometry

P214 Efficient Computation of Passive Seismic Interferometry P214 Efficient Computation of Passive Seismic Interferometry J.W. Thorbecke* (Delft University of Technology) & G.G. Drijkoningen (Delft University of Technology) SUMMARY Seismic interferometry is from

More information

Video: Lenovo, NVIDIA & Beckman Coulter showcase healthcare solutions

Video: Lenovo, NVIDIA & Beckman Coulter showcase healthcare solutions Video: Lenovo, NVIDIA & Beckman Coulter showcase healthcare solutions http://www.youtube.com/watch?v=ldjif9u6zms 2 Lenovo ThinkStation 3 LENOVO THINKSTATION RELIABLE AND POWERFUL Lenovo ThinkStation S30

More information

Estimates for factoring 1024-bit integers. Thorsten Kleinjung, University of Bonn

Estimates for factoring 1024-bit integers. Thorsten Kleinjung, University of Bonn Estimates for factoring 1024-bit integers Thorsten Kleinjung, University of Bonn Contents GNFS Overview Polynomial selection, matrix construction, square root computation Sieving and cofactoring Strategies

More information

HYCOM and Navy ESPC Future High Performance Computing Needs. Alan J. Wallcraft. COAPS Short Seminar November 6, 2017

HYCOM and Navy ESPC Future High Performance Computing Needs. Alan J. Wallcraft. COAPS Short Seminar November 6, 2017 HYCOM and Navy ESPC Future High Performance Computing Needs Alan J. Wallcraft COAPS Short Seminar November 6, 2017 Forecasting Architectural Trends 3 NAVY OPERATIONAL GLOBAL OCEAN PREDICTION Trend is higher

More information

Hybrid modeling of plasmas

Hybrid modeling of plasmas Hybrid modeling of plasmas Mats Holmström Swedish Institute of Space Physics Kiruna, Sweden ENUMATH 2009 Uppsala, June 30 matsh@irf.se www.irf.se/~matsh/ Outline Background and motivation Space plasma

More information

The Golden Ratio and Signal Quantization

The Golden Ratio and Signal Quantization The Golden Ratio and Signal Quantization Tom Hejda, tohecz@gmail.com based on the work of Ingrid Daubechies et al. Doppler Institute & Department of Mathematics, FNSPE, Czech Technical University in Prague

More information

The Hash Function JH 1

The Hash Function JH 1 The Hash Function JH 1 16 January, 2011 Hongjun Wu 2,3 wuhongjun@gmail.com 1 The design of JH is tweaked in this report. The round number of JH is changed from 35.5 to 42. This new version may be referred

More information

AKTUÁLNE OTÁZKY HODNOTENIA KVALITY VÝSKUMU V SR. Štefan Tkačik

AKTUÁLNE OTÁZKY HODNOTENIA KVALITY VÝSKUMU V SR. Štefan Tkačik AKTUÁLNE OTÁZKY HODNOTENIA KVALITY VÝSKUMU V SR Štefan Tkačik HODNOTENIE KVALITY VÝSKUMU makro úroveň (kritéria na národnej úrovni) mezo úroveň (na danej inštitúcií) Komplexná akreditácia a akreditačné

More information

Factorisation of RSA-704 with CADO-NFS

Factorisation of RSA-704 with CADO-NFS Factorisation of RSA-704 with CADO-NFS Shi Bai, Emmanuel Thomé, Paul Zimmermann To cite this version: Shi Bai, Emmanuel Thomé, Paul Zimmermann. Factorisation of RSA-704 with CADO-NFS. 2012. HAL Id: hal-00760322

More information

The Memory Intensive System

The Memory Intensive System DiRAC@Durham The Memory Intensive System The DiRAC-2.5x Memory Intensive system at Durham in partnership with Dell Dr Lydia Heck, Technical Director ICC HPC and DiRAC Technical Manager 1 DiRAC Who we are:

More information

ERLANGEN REGIONAL COMPUTING CENTER

ERLANGEN REGIONAL COMPUTING CENTER ERLANGEN REGIONAL COMPUTING CENTER Making Sense of Performance Numbers Georg Hager Erlangen Regional Computing Center (RRZE) Friedrich-Alexander-Universität Erlangen-Nürnberg OpenMPCon 2018 Barcelona,

More information

CSE 20: Discrete Mathematics

CSE 20: Discrete Mathematics Spring 2018 Last Time Welcome / Introduction to Propositional Logic Card Puzzle / Bar Puzzle Same Problem Same Logic Same Answer Logic is a science of the necessary laws of thought (Kant, 1785) Logic allow

More information

THE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING. J. B. Sidney + and J. Urrutia*

THE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING. J. B. Sidney + and J. Urrutia* THE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING J. B. Sidney + and J. Urrutia* 1. INTRODUCTION Since the pioneering research of Cook [1] and Karp [3] in computational complexity, an enormous

More information

T h e C S E T I P r o j e c t

T h e C S E T I P r o j e c t T h e P r o j e c t T H E P R O J E C T T A B L E O F C O N T E N T S A r t i c l e P a g e C o m p r e h e n s i v e A s s es s m e n t o f t h e U F O / E T I P h e n o m e n o n M a y 1 9 9 1 1 E T

More information

Objavovanie znalostí v databázach. Ján Paralič

Objavovanie znalostí v databázach. Ján Paralič Objavovanie znalostí v databázach Ján Paralič Košice 2003 Ing. Ján Paralič, PhD. Katedra kybernetiky a umelej inteligencie Fakulta elektrotechniky a informatiky Technická univerzita v Košiciach Jan.Paralic@tuke.sk

More information

VIACKRITERIÁLNE (MULTIKRITERIÁLNE) ROZHODOVANIE (ROZHODOVACIA ANALÝZA)

VIACKRITERIÁLNE (MULTIKRITERIÁLNE) ROZHODOVANIE (ROZHODOVACIA ANALÝZA) VIACKRITERIÁLNE (MULTIKRITERIÁLNE) ROZHODOVANIE (ROZHODOVACIA ANALÝZA) Metódy rozhodovacej analýzy Existuje viacej rozličných metód, ktoré majú v zásade rovnaký princíp - posúdenie niekoľkých variantov

More information

DEA modely a meranie eko-efektívnosti

DEA modely a meranie eko-efektívnosti Fakulta matematiky, fyziky a informatiky Univerzita Komenského v Bratislave DEA modely a meranie eko-efektívnosti 2008 Veronika Lennerová DEA modely a meranie eko-efektívnosti DIPLOMOVÁ PRÁCA Diplomant:

More information

Pipeline no Prediction. Branch Delay Slots A. From before branch B. From branch target C. From fall through. Branch Prediction

Pipeline no Prediction. Branch Delay Slots A. From before branch B. From branch target C. From fall through. Branch Prediction Pipeline no Prediction Branching completes in 2 cycles We know the target address after the second stage? PC fetch Instruction Memory Decode Check the condition Calculate the branch target address PC+4

More information

Polynomial multiplication and division using heap.

Polynomial multiplication and division using heap. Polynomial multiplication and division using heap. Michael Monagan and Roman Pearce Department of Mathematics, Simon Fraser University. Abstract We report on new code for sparse multivariate polynomial

More information

COMPUTATIONAL COMPLEXITY

COMPUTATIONAL COMPLEXITY ATHEATICS: CONCEPTS, AND FOUNDATIONS Vol. III - Computational Complexity - Osamu Watanabe COPUTATIONAL COPLEXITY Osamu Watanabe Tokyo Institute of Technology, Tokyo, Japan Keywords: {deterministic, randomized,

More information

ECM at Work. Joppe W. Bos 1 and Thorsten Kleinjung 2. 1 Microsoft Research, Redmond, USA

ECM at Work. Joppe W. Bos 1 and Thorsten Kleinjung 2. 1 Microsoft Research, Redmond, USA ECM at Work Joppe W. Bos 1 and Thorsten Kleinjung 2 1 Microsoft Research, Redmond, USA 2 Laboratory for Cryptologic Algorithms, EPFL, Lausanne, Switzerland 1 / 18 Security assessment of public-key cryptography

More information

UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KONTEXTUÁLNE PREMENNÉ ŠKOLSKEJ ÚSPEŠNOSTI

UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KONTEXTUÁLNE PREMENNÉ ŠKOLSKEJ ÚSPEŠNOSTI UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KONTEXTUÁLNE PREMENNÉ ŠKOLSKEJ ÚSPEŠNOSTI DIPLOMOVÁ PRÁCA 2016 Bc. Juraj FALATH UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY,

More information

Advanced Vectorization of PPML Method for Intel Xeon Scalable Processors

Advanced Vectorization of PPML Method for Intel Xeon Scalable Processors Advanced Vectorization of PPML Method for Intel Xeon Scalable Processors Igor Chernykh 1, Igor Kulikov 1, Boris Glinsky 1, Vitaly Vshivkov 1, Lyudmila Vshivkova 1, Vladimir Prigarin 1 Institute of Computational

More information

Parallel Transposition of Sparse Data Structures

Parallel Transposition of Sparse Data Structures Parallel Transposition of Sparse Data Structures Hao Wang, Weifeng Liu, Kaixi Hou, Wu-chun Feng Department of Computer Science, Virginia Tech Niels Bohr Institute, University of Copenhagen Scientific Computing

More information

Segmentace textury. Jan Kybic

Segmentace textury. Jan Kybic Segmentace textury Případová studie Jan Kybic Zadání Mikroskopický obrázek segmentujte do tříd: Příčná vlákna Podélná vlákna Matrice Trhliny Zvolená metoda Deskriptorový popis Učení s učitelem ML klasifikátor

More information

Moores Law for DRAM. 2x increase in capacity every 18 months 2006: 4GB

Moores Law for DRAM. 2x increase in capacity every 18 months 2006: 4GB MEMORY Moores Law for DRAM 2x increase in capacity every 18 months 2006: 4GB Corollary to Moores Law Cost / chip ~ constant (packaging) Cost / bit = 2X reduction / 18 months Current (2008) ~ 1 micro-cent

More information

Matematika 17. a 18. storočia

Matematika 17. a 18. storočia Matematika 17. a 18. storočia René Descartes Narodený : 31 Marec 1596 v La Haye (teraz Descartes),Touraine, France Zomrel : 11 Feb 1650 v Stockholm, Sweden Riešenie kvadratických rovníc podľa Descarta

More information

S0214 : GPU Based Stacking Sequence Generation For Composite Skins Using GA

S0214 : GPU Based Stacking Sequence Generation For Composite Skins Using GA S0214 : GPU Based Stacking Sequence Generation For Composite Skins Using GA Date: 16th May 2012 Wed, 3pm to 3.25pm(Adv. Session) Sathyanarayana K., Manish Banga, and Ravi Kumar G. V. V. Engineering Services,

More information

Software implementation of ECC

Software implementation of ECC Software implementation of ECC Radboud University, Nijmegen, The Netherlands June 4, 2015 Summer school on real-world crypto and privacy Šibenik, Croatia Software implementation of (H)ECC Radboud University,

More information

Utility Maximizing Routing to Data Centers

Utility Maximizing Routing to Data Centers 0-0 Utility Maximizing Routing to Data Centers M. Sarwat, J. Shin and S. Kapoor (Presented by J. Shin) Sep 26, 2011 Sep 26, 2011 1 Outline 1. Problem Definition - Data Center Allocation 2. How to construct

More information

CprE 281: Digital Logic

CprE 281: Digital Logic CprE 28: Digital Logic Instructor: Alexander Stoytchev http://www.ece.iastate.edu/~alexs/classes/ Simple Processor CprE 28: Digital Logic Iowa State University, Ames, IA Copyright Alexander Stoytchev Digital

More information

Vplyv testosterónu na prežívanie lásky v romantických vzťahoch u mladých mužov

Vplyv testosterónu na prežívanie lásky v romantických vzťahoch u mladých mužov Vplyv testosterónu na prežívanie lásky v romantických vzťahoch u mladých mužov RNDr. Jaroslava Durdiaková Školiteľka: prof. MUDr. Daniela Ostatníková, PhD. Fyziologický ústav, Lekárska fakulta, Univerzita

More information

e-companion ONLY AVAILABLE IN ELECTRONIC FORM

e-companion ONLY AVAILABLE IN ELECTRONIC FORM OPERATIONS RESEARCH doi 10.1287/opre.1070.0427ec pp. ec1 ec5 e-copanion ONLY AVAILABLE IN ELECTRONIC FORM infors 07 INFORMS Electronic Copanion A Learning Approach for Interactive Marketing to a Custoer

More information

Shortest Lattice Vector Enumeration on Graphics Cards

Shortest Lattice Vector Enumeration on Graphics Cards Shortest Lattice Vector Enumeration on Graphics Cards Jens Hermans 1 Michael Schneider 2 Fréderik Vercauteren 1 Johannes Buchmann 2 Bart Preneel 1 1 K.U.Leuven 2 TU Darmstadt SHARCS - 10 September 2009

More information

Elektrický prúd a náboj. Elektrické napätie. Indukčnosť. Kapacita. Meranie v elektronike a telekomunikáciách. Odpor

Elektrický prúd a náboj. Elektrické napätie. Indukčnosť. Kapacita. Meranie v elektronike a telekomunikáciách. Odpor Elektrický prúd a náboj Meranie v elektronike a telekomunikáciách (terminológia, meracie metódy, signály a ich parametre,neistoty a chyby merania) prof. Ing. Ján Šaliga, hd. KEM FEI Košice Elektrický prúd

More information

1 Overview. 2 Adapting to computing system evolution. 11 th European LS-DYNA Conference 2017, Salzburg, Austria

1 Overview. 2 Adapting to computing system evolution. 11 th European LS-DYNA Conference 2017, Salzburg, Austria 1 Overview Improving LSTC s Multifrontal Linear Solver Roger Grimes 3, Robert Lucas 3, Nick Meng 2, Francois-Henry Rouet 3, Clement Weisbecker 3, and Ting-Ting Zhu 1 1 Cray Incorporated 2 Intel Corporation

More information

The Green Index (TGI): A Metric for Evalua:ng Energy Efficiency in HPC Systems

The Green Index (TGI): A Metric for Evalua:ng Energy Efficiency in HPC Systems The Green Index (TGI): A Metric for Evalua:ng Energy Efficiency in HPC Systems Wu Feng and Balaji Subramaniam Metrics for Energy Efficiency Energy- Delay Product (EDP) Used primarily in circuit design

More information

Cse547. Chapter 1 Problem 16 GENERALIZATION

Cse547. Chapter 1 Problem 16 GENERALIZATION Cse547 Chapter 1 Problem 16 GENERALIZATION Use the Repertoire method to solve the general fiveparameter recurrence: g(1) = α g(2n+ j) = 3g(n) + Ɛn 2 + γn + β j, for j = 0, 1 and n 1 and n є N Convert recursive

More information

Background. Another interests. Sieve method. Parallel Sieve Processing on Vector Processor and GPU. RSA Cryptography

Background. Another interests. Sieve method. Parallel Sieve Processing on Vector Processor and GPU. RSA Cryptography Background Parallel Sieve Processing on Vector Processor and GPU Yasunori Ushiro (Earth Simulator Center) Yoshinari Fukui (Earth Simulator Center) Hidehiko Hasegawa (Univ. of Tsukuba) () RSA Cryptography

More information

Roman Słowiński. Rough or/and Fuzzy Handling of Uncertainty?

Roman Słowiński. Rough or/and Fuzzy Handling of Uncertainty? Roman Słowiński Rough or/and Fuzzy Handling of Uncertainty? 1 Rough sets and fuzzy sets (Dubois & Prade, 1991) Rough sets have often been compared to fuzzy sets, sometimes with a view to introduce them

More information

CRYPTOGRAPHIC COMPUTING

CRYPTOGRAPHIC COMPUTING CRYPTOGRAPHIC COMPUTING ON GPU Chen Mou Cheng Dept. Electrical Engineering g National Taiwan University January 16, 2009 COLLABORATORS Daniel Bernstein, UIC, USA Tien Ren Chen, Army Tanja Lange, TU Eindhoven,

More information

Weather Research and Forecasting (WRF) Performance Benchmark and Profiling. July 2012

Weather Research and Forecasting (WRF) Performance Benchmark and Profiling. July 2012 Weather Research and Forecasting (WRF) Performance Benchmark and Profiling July 2012 Note The following research was performed under the HPC Advisory Council activities Participating vendors: Intel, Dell,

More information

Public Key Compression and Modulus Switching for Fully Homomorphic Encryption over the Integers

Public Key Compression and Modulus Switching for Fully Homomorphic Encryption over the Integers Public Key Compression and Modulus Switching for Fully Homomorphic Encryption over the Integers Jean-Sébastien Coron, David Naccache and Mehdi Tibouchi University of Luxembourg & ENS & NTT EUROCRYPT, 2012-04-18

More information

NÁSTROJE NA HARMONIZÁCIU GEOGRAFICKÝCH NÁZVOV

NÁSTROJE NA HARMONIZÁCIU GEOGRAFICKÝCH NÁZVOV Kartografické listy / Cartographic Letters, 2013, 21 (2), 50-59 NÁSTROJE NA HARMONIZÁCIU GEOGRAFICKÝCH NÁZVOV Juraj VALIŠ, Juraj STRAKA Tools for the harmonization of geographical names Abstract: Data

More information

Coded Computation over Heterogeneous Clusters

Coded Computation over Heterogeneous Clusters 1 Coded Computation over Heterogeneous Clusters Amirhossein Reisizadeh, Saurav Prakash, Ramtin Pedarsani, Amir Salman Avestimehr University of California, Santa Barbara University of Southern California

More information

Benchmarking program performance evaluation of Parallel programming language XcalableMP on Many core processor

Benchmarking program performance evaluation of Parallel programming language XcalableMP on Many core processor XcalableMP 1 2 2 2 Xeon Phi Xeon XcalableMP HIMENO L Phi XL 16 Xeon 1 16 Phi XcalableMP MPI XcalableMP OpenMP 16 2048 Benchmarking program performance evaluation of Parallel programming language XcalableMP

More information

Comenius University in Bratislava Faculty of Mathematics, Physics and Informatics. Learning in finance. Master s thesis Bc.

Comenius University in Bratislava Faculty of Mathematics, Physics and Informatics. Learning in finance. Master s thesis Bc. Comenius University in Bratislava Faculty of Mathematics, Physics and Informatics Learning in finance Master s thesis 2013 Bc. Vladimír Novák Comenius University in Bratislava Faculty of Mathematics, Physics

More information

TAGUCHI S APPROACH TO QUALITY ENGINEERING TAGUCHIHO PR STUP K INZINIERSTVU KVALITY

TAGUCHI S APPROACH TO QUALITY ENGINEERING TAGUCHIHO PR STUP K INZINIERSTVU KVALITY KVALITA INOV`CIA PROSPERITA IV / 1 2000 (35 40) 35 TAGUCHI S APPROACH TO QUALITY ENGINEERING TAGUCHIHO PR STUP K INZINIERSTVU KVALITY MILAN TEREK LUBICA HRNCIAROV` 1 INTRODUCTION Genichi Taguchi is Japanese

More information

Domain Decomposition-based contour integration eigenvalue solvers

Domain Decomposition-based contour integration eigenvalue solvers Domain Decomposition-based contour integration eigenvalue solvers Vassilis Kalantzis joint work with Yousef Saad Computer Science and Engineering Department University of Minnesota - Twin Cities, USA SIAM

More information

TR A Comparison of the Performance of SaP::GPU and Intel s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems

TR A Comparison of the Performance of SaP::GPU and Intel s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems TR-0-07 A Comparison of the Performance of ::GPU and Intel s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems Ang Li, Omkar Deshmukh, Radu Serban, Dan Negrut May, 0 Abstract ::GPU is a

More information

Fast similarity searching making the virtual real. Stephen Pickett, GSK

Fast similarity searching making the virtual real. Stephen Pickett, GSK Fast similarity searching making the virtual real Stephen Pickett, GSK Introduction Introduction to similarity searching Use cases Why is speed so crucial? Why MadFast? Some performance stats Implementation

More information

Katedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava. Multiparty Communication Complexity (Master thesis)

Katedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava. Multiparty Communication Complexity (Master thesis) Katedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava Multiparty Communication Complexity (Master thesis) František Ďuriš Study programme: 921 Informatics Supervisor:

More information

Piz Daint & Piz Kesch : from general purpose supercomputing to an appliance for weather forecasting. Thomas C. Schulthess

Piz Daint & Piz Kesch : from general purpose supercomputing to an appliance for weather forecasting. Thomas C. Schulthess Piz Daint & Piz Kesch : from general purpose supercomputing to an appliance for weather forecasting Thomas C. Schulthess 1 Cray XC30 with 5272 hybrid, GPU accelerated compute nodes Piz Daint Compute node:

More information

IMPORTANT GEOGEBRA ATTRIBUTES FROM MATHEMATICS TEACHERS PERSPECTIVE VÝZNAMNÉ ATRIBÚTY SYSTÉMU GEOGEBRA Z POHĽADU UČITEĽOV MATEMATIKY

IMPORTANT GEOGEBRA ATTRIBUTES FROM MATHEMATICS TEACHERS PERSPECTIVE VÝZNAMNÉ ATRIBÚTY SYSTÉMU GEOGEBRA Z POHĽADU UČITEĽOV MATEMATIKY FACULTY OF NATURAL SCIENCES CONSTANTINE THE PHILOSOPHER UNIVERSITY NITRA ACTA MATHEMATICA 16 IMPORTANT GEOGEBRA ATTRIBUTES FROM MATHEMATICS TEACHERS PERSPECTIVE VÝZNAMNÉ ATRIBÚTY SYSTÉMU GEOGEBRA Z POHĽADU

More information

UNCONDITIONAL CLASS GROUP TABULATION TO Anton Mosunov (University of Waterloo) Michael J. Jacobson, Jr. (University of Calgary) June 11th, 2015

UNCONDITIONAL CLASS GROUP TABULATION TO Anton Mosunov (University of Waterloo) Michael J. Jacobson, Jr. (University of Calgary) June 11th, 2015 UNCONDITIONAL CLASS GROUP TABULATION TO 2 40 Anton Mosunov (University of Waterloo) Michael J. Jacobson, Jr. (University of Calgary) June 11th, 2015 AGENDA Background Motivation Previous work Class number

More information

Generating Urban Mobility Data Sets Using Scalable GANs

Generating Urban Mobility Data Sets Using Scalable GANs Generating Urban Mobility Data Sets Using Scalable GANs Abhinav Jauhri & John Paul Shen ECE Department Carnegie Mellon University {ajauhri, jpshen}@cmu.edu Objective Generate city-scale human mobility

More information

VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ

VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA ELEKTROTECHNIKY A KOMUNIKAČNÍCH TECHNOLOGIÍ ÚSTAV TELEKOMUNIKACÍ FACULTY OF ELECTRICAL ENGINEERING AND COMMUNICATION DEPARTMENT OF TELECOMMUNICATIONS

More information

IMPLEMENTATION OF PRESSURE BASED SOLVER FOR SU2. 3rd SU2 Developers Meet Akshay.K.R, Huseyin Ozdemir, Edwin van der Weide

IMPLEMENTATION OF PRESSURE BASED SOLVER FOR SU2. 3rd SU2 Developers Meet Akshay.K.R, Huseyin Ozdemir, Edwin van der Weide IMPLEMENTATION OF PRESSURE BASED SOLVER FOR SU2 3rd SU2 Developers Meet Akshay.K.R, Huseyin Ozdemir, Edwin van der Weide Content ECN part of TNO SU2 applications at ECN Incompressible flow solver Pressure-based

More information

A Tale of Two Erasure Codes in HDFS

A Tale of Two Erasure Codes in HDFS A Tale of Two Erasure Codes in HDFS Dynamo Mingyuan Xia *, Mohit Saxena +, Mario Blaum +, and David A. Pease + * McGill University, + IBM Research Almaden FAST 15 何军权 2015-04-30 1 Outline Introduction

More information

Factorization of RSA-180

Factorization of RSA-180 Factorization of RSA-180 S. A. Danilov, I. A. Popovyan Moscow State University, Russia May 9, 2010 Abstract We present a brief report on the factorization of RSA-180, currently smallest unfactored RSA

More information

MPI at MPI. Jens Saak. Max Planck Institute for Dynamics of Complex Technical Systems Computational Methods in Systems and Control Theory

MPI at MPI. Jens Saak. Max Planck Institute for Dynamics of Complex Technical Systems Computational Methods in Systems and Control Theory MAX PLANCK INSTITUTE November 5, 2010 MPI at MPI Jens Saak Max Planck Institute for Dynamics of Complex Technical Systems Computational Methods in Systems and Control Theory FOR DYNAMICS OF COMPLEX TECHNICAL

More information

Design and Implementation of Multi-Context Rewriting Induction. Haruhiko Sato and Masahito Kurihara Hokkaido University, Japan

Design and Implementation of Multi-Context Rewriting Induction. Haruhiko Sato and Masahito Kurihara Hokkaido University, Japan Design and Implementation of Multi-Context Rewriting Induction Haruhiko Sato and Masahito Kurihara Hokkaido University, Japan Outline Inductive Theorem Proving Rewriting Induction Strategic Difficulties

More information

Programming with SIMD Instructions

Programming with SIMD Instructions Programming with SIMD Instructions Debrup Chakraborty Computer Science Department, Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional México D.F., México. email: debrup@cs.cinvestav.mx

More information

Radio Propagation Channels Exercise 2 with solutions. Polarization / Wave Vector

Radio Propagation Channels Exercise 2 with solutions. Polarization / Wave Vector /8 Polarization / Wave Vector Assume the following three magnetic fields of homogeneous, plane waves H (t) H A cos (ωt kz) e x H A sin (ωt kz) e y () H 2 (t) H A cos (ωt kz) e x + H A sin (ωt kz) e y (2)

More information

ICS 233 Computer Architecture & Assembly Language

ICS 233 Computer Architecture & Assembly Language ICS 233 Computer Architecture & Assembly Language Assignment 6 Solution 1. Identify all of the RAW data dependencies in the following code. Which dependencies are data hazards that will be resolved by

More information

1. Write a program to calculate distance traveled by light

1. Write a program to calculate distance traveled by light G. H. R a i s o n i C o l l e g e O f E n g i n e e r i n g D i g d o h H i l l s, H i n g n a R o a d, N a g p u r D e p a r t m e n t O f C o m p u t e r S c i e n c e & E n g g P r a c t i c a l M a

More information

Introduction to HPC. Lecture 20

Introduction to HPC. Lecture 20 COSC Introduction to HPC Lecture Dept of Computer Science COSC Fast Fourier Transform COSC Image Processing In Electron Microscopy Medical Imaging Signal Processing In Radio Astronomy Modeling and Solution

More information