Ing. Tomasz Kanik. doc. RNDr. Štefan Peško, CSc.
|
|
- Lorena Blake
- 6 years ago
- Views:
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 určenie triedy objektu na základe príznakov získaných z objektu Rozhodovacie
More informationDIPLOMOVÁ 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 informationComputer 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 informationComputation 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 informationHomomorphic 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 informationTransactions 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 informationSPECIAL 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 informationTeó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 informationREPORT, 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 informationENVIRONMENTÁ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 informationStrojové 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 informationBRNO 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 informationSolution 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 informationVMware 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 informationADM 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 informationOne 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 informationParallelization 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 informationFaculty 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 informationExperience 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 informationModeling 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 informationArcGIS 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 informationA 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 informationBohuš 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 informationLucia 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 informationToward 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 informationKľúč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 informationAlternative 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 informationClaude 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 informationSúť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 informationPerformance 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 informationverdex 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 informationVplyv 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
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 informationP214 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 informationVideo: 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 informationEstimates 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 informationHYCOM 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 informationHybrid 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 informationThe 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 informationThe 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 informationAKTUÁ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 informationFactorisation 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 informationThe 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 informationERLANGEN 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 informationCSE 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 informationTHE 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 informationT 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 informationObjavovanie 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 informationVIACKRITERIÁ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 informationDEA 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 informationPipeline 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 informationPolynomial 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 informationCOMPUTATIONAL 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 informationECM 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 informationUNIVERZITA 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 informationAdvanced 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 informationParallel 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 informationSegmentace 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 informationMoores 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 informationMatematika 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 informationS0214 : 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 informationSoftware 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 informationUtility 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 informationCprE 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 informationVplyv 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 informatione-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 informationShortest 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 informationElektrický 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 information1 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 informationThe 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 informationCse547. 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 informationBackground. 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 informationRoman 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 informationCRYPTOGRAPHIC 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 informationWeather 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 informationPublic 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 informationNÁ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 informationCoded 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 informationBenchmarking 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 informationComenius 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 informationTAGUCHI 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 informationDomain 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 informationTR 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 informationFast 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 informationKatedra 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 informationPiz 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 informationIMPORTANT 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 informationUNCONDITIONAL 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 informationGenerating 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 informationVYSOKÉ 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 informationIMPLEMENTATION 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 informationA 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 informationFactorization 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 informationMPI 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 informationDesign 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 informationProgramming 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 informationRadio 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 informationICS 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 information1. 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 informationIntroduction 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