Maitra Cascade Minimization
|
|
|
- Tamsyn Eaton
- 7 years ago
- Views:
Transcription
1 Matra Cascade Mnmzaton Voudours Dmtros Dr. apakonstantnou George Natonal Techncal Unversty o Athens
2 Basc Dentons Comple Matra Term [] Constant 0 Boolean uncton Lteral M Matra Term a lteral G Arbtrary varable swtchng uncton ~Matra Cell Reversble Wave Cascade epresson Matra epresson [] M + Q Ga,M m M Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
![~Matra Cell Reversble Wave Cascade epresson Matra epresson [] M](/docs-images/48/23817604/images/page_2.jpg "+ Q Ga,M m M Matra Cascade Mnmzaton - Natonal Techncal Unversty")
3 Basc Dentons Mnmal Eact epresson: Least number o comple terms weght Cascade realzable uncton w Restrcted Matra Cascade G mplements a complete set o 6 unctons Table Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 3
4 Reversble Wave Cascade Cellular Archtecture Matra Comple Term X R R Rm Matra Cells Xn 0 Rn Rn Rnm XOR Collector row Generalzed n+n+ Tool gate Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 4
5 Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 5 Boolean Decompostons Shannon, Negatve Davo, ostve Davo decompostons New Decompostons 0 0 X X X X X X X X X X X X + + +
6 Cascade Mergng Lemma : Relaton: r, r, r Eample: r, y, y, y y, y y, y r r y holds :,,3,,3,,,,4,,4,,3,3,3,4,4,4,5,5,6,5,6,5,6,6,6 [ + 34 ] [ ] {[ + 3] [ + 3]} Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 6
![:,,3,,3,,,,4,,4,,3,3,3,4,4,4,5,5,6,5,6,5,6,6,6 [ + 34 ] [ +](/docs-images/48/23817604/images/page_6.jpg "3 + 4] {[ + 3] [ + 3]} + 4 34 5 3 5 Matra Cascade Mnmzaton")
7 Matra Cell Classes Cell has non-constant nputs: Cell Class Cell Inde Cell Inde representatve Cell wth a constant nput cascaded 0 Cell Class Cell Inde representatve Cell Inde 6 Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 7
8 Relatve Comple Terms Two comple terms RR...R n, QQ...Q wth R, Q matra cells are relatves R and Q, n belong to the same matra cell class. The ollowng comple terms are relatves:,,, n n Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 8 n
9 Relatve Comple Terms Matra Generator Class. Matra epressons wth relatve correspondng terms. Equvalent matra epressons Represent the same swtchng uncton. Belong to the same generator class. Eample Epressons: Q , Q are equvalents snce they both represent the same swtchng uncton and urthermore terms: 34 & 4 are relatves and terms 666 & 666 are relatves. Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 9
10 Relatve Comple Terms 3 CIL: Number o cells wth one constant nput 0. Lemma : relatve comple terms comple term., Eample s a 3455 and 4466 are relatves 3 and 4 are complements 6664 and Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
11 Relatve Comple Terms 4 Lemma 3: I,,M,M are comple terms and: M, relatves M, M have CIL M CIL M > 0 cells o same class rom CILM+ untl the last cell Then: M and, are relatve comple terms & Eample 63 & 66 have CIL & respectvely and 43 & 44 are relatves Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
12 Relatve Comple Terms 5 Lemma 4: I, are comple terms and: 0 < CIL < CIL cells o the same class rom CIL+ untl the last cell Then s a comple term and s relatve. Eample Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
13 Comple Term Splttng Lemma 5 Term splttng: Q p p p Q p... q... p... p... p... q n n,q,q comple terms p, p, p, n, cells o the same class p, q, q cells o derent cell class. Eample n p p p Lemma 6:, relatve comple terms, are splt at poston :,, and, are relatves. Eample Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
14 Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 4 Mnmzaton Theorems Theorem : Each mnmal epresson o can be epressed as: roo XOR-sum mnmal orm o : Comparson wth Lemma.,,,,,, g z y z y y r q p q p p,...,,..., n rn r n y y Constant subuncton Equv. orms p,q3,4,3,6,4,6 and y,z subunctons p,q,r3,4,6 z y g z g y,,,, 0
15 Mnmzaton Theorems Theorem : At least one mnmal epresson o a swtchng uncton,,..., n wth less than 6 varables can be obtaned rom the mnmal epressons o ts subunctons. roo: 3 cases Theorem : Epr, y p Theorem Constant subuncton. Epr produced rom the mnmal epresson o non constant subunctons Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 5
16 Mnmzaton Theorems 3 Epr, y, z, y,z subunctons. wwy+wz p, q Epr produced by the mnmal epressons o subunctons. Epr p, y q, z r, g 0,, y g, z g, y wy wz wg w 5 wy w 3 wy wz wg w w common term w wy + wz + wg m 4,5 wy m w0 + w * wy + wg + wz m + w0 + w m. roo ollows that o prevous case. w0 + w m + 0 y g, y z mnmal eprs o these subunctons or ths partcular case, At least one mnmal epr o 0 and wth one common term y to be merged. z Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 6
17 Mnmzaton Theorems 4 Theorem 3: Let Q be a mnmal epresson o, produced by the mnmal epressons, o, respectvely. An equvalent to Q epresson Q o can be obtaned rom two other mnmal epressons, o, whch are equvalents to,. Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 7
18 Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 8 Mnmzaton Theorems 5 roo: I w w 0,, then the proo s trval. I w w + w then the proo s trval. I w w + w. Common term:,,, relatves. It holds: r q Q..., ,... k k k k k Q Q r q r q r q M M r r q q
19 Mnmzaton Theorems 6 urthermore: M and M,M wll have cells o the M M same cell class rom poston MAXCILM,CILM+ untl the last cell Lemma. Wthout loss o generalty: CILM CILM. CILM < CILM M s relatve to M Lemma M... and r r Q Q Q k k k 3 3 k k... r r 3 M merges wth at most terms k... k CILM CILM M wll have cells o the same class wth M & M rom poston > CILM + untl the last cell, whle the rest o them wll represent a, lteral. The proo ollows that o prevous case Lemma 3. r M k... r k r k r k... r k Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 9
20 Heurstc Algorthm outlne Input : a swtchng uncton n mnterm ormulaton Decomposton recursvely usng ETDDs Shannon and Davo epansons. Composton recursvely: roduce epressons or rom the mnmal epressons o ts subunctons. I comple terms wth the same generator are ound between two such epressons, : Merge them to produce a by-product comple term. Try to merge that by-product wth the rest o the terms n,. I ths by-product s merged, then the weght o the uncton s reduced by. At the end keep those epressons wth the least number o comple terms. Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 0
21 Eample Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
22 Epermental results Lee s Algorthm: G.Lee, R.Drechsler: ETDD-Based Synthess o term-based GAs or ncompletely speced boolean unctons, AS-DAC 998 Mnct: N. Song, M. erkowsk: Mnmzaton o eclusve sums o multvalued comple terms or logc cell arrays, ISMVL 98, p 3 Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens
23 Conclusons and uture work Contrbuton New boolean decompostons are presented. An algorthm has been descrbed or producng mnmal reversble wave cascades or swtchng unctons up to 5 varables and near mnmal or unctons wth more varables, wthout the need to calculate equvalent epressons. uture work Mult-output swtchng unctons. Mnmal soluton or unctons o up to 6 varables. Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 3
24 Bblography K.K. Matra: Cascaded swtchng networks o two-nput leble cells, IRE Trans. Electron. Comput., pp, 36-43, 96. R. C. Mnnck: Cutpont cellular logc, IEEE Trans. Electron. Comput., vol. EC-3. pp , Dec,964. J. T. Butler: Restrcted Cellular Networks, IEEE Trans. Computers 5: 39-4, 976. A. Mshchenko, M. erkowsk: Logc Synthess o Reversble Wave Cascades, Internatonal Workshop on Logc And Synthess 00, New Orleans, Lousana, June 4-7, 00. A. Sarab, N. Song, M. Chrzanowska-Jeske, M. erkowsk: A comprehensve approach to logc synthess and physcal desgn or two-dmensonal logc arrays, DAC 994, I. Schaeer, M. erkowsk, H. Wu: Multlevel logc synthess or cellular GAs based on orthogonal epansons, roc, II WG 0.5 Workshop on Applcatons o the Reed-Muller Epanson n Crcut Desgn, Hanburg, Germany, pp. 4-5, Sept Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 4
25 Bblography G. Lee: Logc synthess or celullar archtecture GA usng BDD, AS-DAC 97, pp Jan 997. G. Lee, R. Drechsler: ETDD-based Synthess o term-based GAs or ncompletely speced boolean unctons, AS-DAC Lndgren, R. Drechsler, B. Becker: Look-up table GA synthess rom mnmzed mult-valued pseudo kronecker epressons, ISMVL 98. G. apakonstantnou,. Grtzal: Modulo- epressons o swtchng unctons, Electronc Letters, G. apakonstantnou: Synthess o cutpong cellular arrays wth eclusve-or collector row, Electronc Letters, J. reskll: Lecture notes n quantum computng, G. apakonstantnou: Cascade Transormaton, IEEE Transactons on computers, Jan 976. Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 5
26 Bblography 3 N. Song, M. erkowsk: Mnmzaton o eclusve sums o mult-valued comple terms or logc cell arrays, ISMVL 98, p 3. N. Song, M. erkowsk: A new approach to and/or/eor actorzaton or regular arrays, roc. 998 Euromcro, pp , Vasteras, Sweden, August 5-7, 998. C. Bennet: Logcal Reversblty o Computaton, IBM Journal o Research and Development, 7, 973, pp D. Voudours, S. Stergou, G. apakonstantnou: Mnmzaton o reversble wave cascades, IEICE, under revson. S. Stergou, D. Voudours, G. apakonstantnou: Eact and Heurstc MVESO Mnmzaton Algorthms, IEICE Trans. on undamentals, vol.e87-a,no,jan Matra Cascade Mnmzaton - Natonal Techncal Unversty o Athens 6
Implementation of Boolean Functions through Multiplexers with the Help of Shannon Expansion Theorem
Internatonal Journal o Computer pplcatons (975 8887) Volume 62 No.6, January 23 Implementaton o Boolean Functons through Multplexers wth the Help o Shannon Expanson Theorem Saurabh Rawat Graphc Era Unversty.
NON-CONSTANT SUM RED-AND-BLACK GAMES WITH BET-DEPENDENT WIN PROBABILITY FUNCTION LAURA PONTIGGIA, University of the Sciences in Philadelphia
To appear n Journal o Appled Probablty June 2007 O-COSTAT SUM RED-AD-BLACK GAMES WITH BET-DEPEDET WI PROBABILITY FUCTIO LAURA POTIGGIA, Unversty o the Scences n Phladelpha Abstract In ths paper we nvestgate
Implementation of Deutsch's Algorithm Using Mathcad
Implementaton of Deutsch's Algorthm Usng Mathcad Frank Roux The followng s a Mathcad mplementaton of Davd Deutsch's quantum computer prototype as presented on pages - n "Machnes, Logc and Quantum Physcs"
A Binary Particle Swarm Optimization Algorithm for Lot Sizing Problem
Journal o Economc and Socal Research 5 (2), -2 A Bnary Partcle Swarm Optmzaton Algorthm or Lot Szng Problem M. Fath Taşgetren & Yun-Cha Lang Abstract. Ths paper presents a bnary partcle swarm optmzaton
Mean Molecular Weight
Mean Molecular Weght The thermodynamc relatons between P, ρ, and T, as well as the calculaton of stellar opacty requres knowledge of the system s mean molecular weght defned as the mass per unt mole of
Laddered Multilevel DC/AC Inverters used in Solar Panel Energy Systems
Proceedngs of the nd Internatonal Conference on Computer Scence and Electroncs Engneerng (ICCSEE 03) Laddered Multlevel DC/AC Inverters used n Solar Panel Energy Systems Fang Ln Luo, Senor Member IEEE
On the Optimal Control of a Cascade of Hydro-Electric Power Stations
On the Optmal Control of a Cascade of Hydro-Electrc Power Statons M.C.M. Guedes a, A.F. Rbero a, G.V. Smrnov b and S. Vlela c a Department of Mathematcs, School of Scences, Unversty of Porto, Portugal;
Luby s Alg. for Maximal Independent Sets using Pairwise Independence
Lecture Notes for Randomzed Algorthms Luby s Alg. for Maxmal Independent Sets usng Parwse Independence Last Updated by Erc Vgoda on February, 006 8. Maxmal Independent Sets For a graph G = (V, E), an ndependent
Institute of Informatics, Faculty of Business and Management, Brno University of Technology,Czech Republic
Lagrange Multplers as Quanttatve Indcators n Economcs Ivan Mezník Insttute of Informatcs, Faculty of Busness and Management, Brno Unversty of TechnologCzech Republc Abstract The quanttatve role of Lagrange
Data Broadcast on a Multi-System Heterogeneous Overlayed Wireless Network *
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 24, 819-840 (2008) Data Broadcast on a Mult-System Heterogeneous Overlayed Wreless Network * Department of Computer Scence Natonal Chao Tung Unversty Hsnchu,
Production. 2. Y is closed A set is closed if it contains its boundary. We need this for the solution existence in the profit maximization problem.
Producer Theory Producton ASSUMPTION 2.1 Propertes of the Producton Set The producton set Y satsfes the followng propertes 1. Y s non-empty If Y s empty, we have nothng to talk about 2. Y s closed A set
A Secure Password-Authenticated Key Agreement Using Smart Cards
A Secure Password-Authentcated Key Agreement Usng Smart Cards Ka Chan 1, Wen-Chung Kuo 2 and Jn-Chou Cheng 3 1 Department of Computer and Informaton Scence, R.O.C. Mltary Academy, Kaohsung 83059, Tawan,
Lecture 2: Single Layer Perceptrons Kevin Swingler
Lecture 2: Sngle Layer Perceptrons Kevn Sngler kms@cs.str.ac.uk Recap: McCulloch-Ptts Neuron Ths vastly smplfed model of real neurons s also knon as a Threshold Logc Unt: W 2 A Y 3 n W n. A set of synapses
The circuit shown on Figure 1 is called the common emitter amplifier circuit. The important subsystems of this circuit are:
polar Juncton Transstor rcuts Voltage and Power Amplfer rcuts ommon mtter Amplfer The crcut shown on Fgure 1 s called the common emtter amplfer crcut. The mportant subsystems of ths crcut are: 1. The basng
What is Candidate Sampling
What s Canddate Samplng Say we have a multclass or mult label problem where each tranng example ( x, T ) conssts of a context x a small (mult)set of target classes T out of a large unverse L of possble
A Prefix Code Matching Parallel Load-Balancing Method for Solution-Adaptive Unstructured Finite Element Graphs on Distributed Memory Multicomputers
Ž. The Journal of Supercomputng, 15, 25 49 2000 2000 Kluwer Academc Publshers. Manufactured n The Netherlands. A Prefx Code Matchng Parallel Load-Balancng Method for Soluton-Adaptve Unstructured Fnte Element
PSYCHOLOGICAL RESEARCH (PYC 304-C) Lecture 12
14 The Ch-squared dstrbuton PSYCHOLOGICAL RESEARCH (PYC 304-C) Lecture 1 If a normal varable X, havng mean µ and varance σ, s standardsed, the new varable Z has a mean 0 and varance 1. When ths standardsed
NEURO-FUZZY INFERENCE SYSTEM FOR E-COMMERCE WEBSITE EVALUATION
NEURO-FUZZY INFERENE SYSTEM FOR E-OMMERE WEBSITE EVALUATION Huan Lu, School of Software, Harbn Unversty of Scence and Technology, Harbn, hna Faculty of Appled Mathematcs and omputer Scence, Belarusan State
Recurrence. 1 Definitions and main statements
Recurrence 1 Defntons and man statements Let X n, n = 0, 1, 2,... be a MC wth the state space S = (1, 2,...), transton probabltes p j = P {X n+1 = j X n = }, and the transton matrx P = (p j ),j S def.
Fisher Markets and Convex Programs
Fsher Markets and Convex Programs Nkhl R. Devanur 1 Introducton Convex programmng dualty s usually stated n ts most general form, wth convex objectve functons and convex constrants. (The book by Boyd and
8.5 UNITARY AND HERMITIAN MATRICES. The conjugate transpose of a complex matrix A, denoted by A*, is given by
6 CHAPTER 8 COMPLEX VECTOR SPACES 5. Fnd the kernel of the lnear transformaton gven n Exercse 5. In Exercses 55 and 56, fnd the mage of v, for the ndcated composton, where and are gven by the followng
Damage detection in composite laminates using coin-tap method
Damage detecton n composte lamnates usng con-tap method S.J. Km Korea Aerospace Research Insttute, 45 Eoeun-Dong, Youseong-Gu, 35-333 Daejeon, Republc of Korea yaeln@kar.re.kr 45 The con-tap test has the
GRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 -NORM
GRAVITY DATA VALIDATION AND OUTLIER DETECTION USING L 1 -NORM BARRIOT Jean-Perre, SARRAILH Mchel BGI/CNES 18.av.E.Beln 31401 TOULOUSE Cedex 4 (France) Emal: jean-perre.barrot@cnes.fr 1/Introducton The
Logical Development Of Vogel s Approximation Method (LD-VAM): An Approach To Find Basic Feasible Solution Of Transportation Problem
INTERNATIONAL JOURNAL OF SCIENTIFIC & TECHNOLOGY RESEARCH VOLUME, ISSUE, FEBRUARY ISSN 77-866 Logcal Development Of Vogel s Approxmaton Method (LD- An Approach To Fnd Basc Feasble Soluton Of Transportaton
How To Calculate The Accountng Perod Of Nequalty
Inequalty and The Accountng Perod Quentn Wodon and Shlomo Ytzha World Ban and Hebrew Unversty September Abstract Income nequalty typcally declnes wth the length of tme taen nto account for measurement.
A Crossplatform ECG Compression Library for Mobile HealthCare Services
A Crossplatform ECG Compresson Lbrary for Moble HealthCare Servces Alexander Borodn, Yulya Zavyalova Department of Computer Scence Petrozavodsk State Unversty Petrozavodsk, Russa {aborod, yzavyalo}@cs.petrsu.ru
Lecture Notes in Electrical Engineering
Lecture Notes n Electrcal Engneerng Volume 79 Maran Adamsk, Alexander Barkalov, and Marek Węgrzyn (Eds.) Desgn of Dgtal Systems and Devces ABC Prof. Maran Adamsk Unversty of Zelona Góra Insttute of Computer
v a 1 b 1 i, a 2 b 2 i,..., a n b n i.
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 455 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces we have studed thus far n the text are real vector spaces snce the scalars are
Sorting Online Reviews by Usefulness Based on the VIKOR Method
Assocaton or Inormaton Systems AIS Electronc Lbrary (AISeL) Eleventh Wuhan Internatonal Conerence on e- Busness Wuhan Internatonal Conerence on e-busness 5-26-2012 Sortng Onlne Revews by Useulness Based
We are now ready to answer the question: What are the possible cardinalities for finite fields?
Chapter 3 Fnte felds We have seen, n the prevous chapters, some examples of fnte felds. For example, the resdue class rng Z/pZ (when p s a prme) forms a feld wth p elements whch may be dentfed wth the
Smart Home Security System Based on ANFIS
Smart Home Securty System Based on ANFIS LeeJeong-G 1,Lee Sang-Hyun 2, Moon Kyung-Il 2 1 Korea Electroncs Technology Insttute, Korea 2 Dept. o Computer Engneerng, Honam Unversty, Korea 2 Dept. o Computer
The Greedy Method. Introduction. 0/1 Knapsack Problem
The Greedy Method Introducton We have completed data structures. We now are gong to look at algorthm desgn methods. Often we are lookng at optmzaton problems whose performance s exponental. For an optmzaton
Multiplication Algorithms for Radix-2 RN-Codings and Two s Complement Numbers
Multplcaton Algorthms for Radx- RN-Codngs and Two s Complement Numbers Jean-Luc Beuchat Projet Arénare, LIP, ENS Lyon 46, Allée d Itale F 69364 Lyon Cedex 07 jean-luc.beuchat@ens-lyon.fr Jean-Mchel Muller
Matrix Multiplication I
Matrx Multplcaton I Yuval Flmus February 2, 2012 These notes are based on a lecture gven at the Toronto Student Semnar on February 2, 2012. The materal s taen mostly from the boo Algebrac Complexty Theory
An Analysis of Central Processor Scheduling in Multiprogrammed Computer Systems
STAN-CS-73-355 I SU-SE-73-013 An Analyss of Central Processor Schedulng n Multprogrammed Computer Systems (Dgest Edton) by Thomas G. Prce October 1972 Techncal Report No. 57 Reproducton n whole or n part
Alternate Approximation of Concave Cost Functions for
Alternate Approxmaton of Concave Cost Functons for Process Desgn and Supply Chan Optmzaton Problems Dego C. Cafaro * and Ignaco E. Grossmann INTEC (UNL CONICET), Güemes 3450, 3000 Santa Fe, ARGENTINA Department
Agile Traffic Merging for Data Center Networks. Qing Yi and Suresh Singh Portland State University, Oregon June 10 th, 2014
Agle Traffc Mergng for Data Center Networks Qng Y and Suresh Sngh Portland State Unversty, Oregon June 10 th, 2014 Agenda Background and motvaton Power optmzaton model Smulated greedy algorthm Traffc mergng
Open Access A Load Balancing Strategy with Bandwidth Constraint in Cloud Computing. Jing Deng 1,*, Ping Guo 2, Qi Li 3, Haizhu Chen 1
Send Orders for Reprnts to reprnts@benthamscence.ae The Open Cybernetcs & Systemcs Journal, 2014, 8, 115-121 115 Open Access A Load Balancng Strategy wth Bandwdth Constrant n Cloud Computng Jng Deng 1,*,
Review C: Work and Kinetic Energy
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department o Physcs 8.2 Revew C: Work and Knetc Energy C. Energy... 2 C.. The Concept o Energy... 2 C..2 Knetc Energy... 3 C.2 Work and Power... 4 C.2. Work Done by
Fast degree elevation and knot insertion for B-spline curves
Computer Aded Geometrc Desgn 22 (2005) 183 197 www.elsever.com/locate/cagd Fast degree elevaton and knot nserton for B-splne curves Q-Xng Huang a,sh-mnhu a,, Ralph R. Martn b a Department of Computer Scence
Support Vector Machines
Support Vector Machnes Max Wellng Department of Computer Scence Unversty of Toronto 10 Kng s College Road Toronto, M5S 3G5 Canada wellng@cs.toronto.edu Abstract Ths s a note to explan support vector machnes.
Forecasting the Demand of Emergency Supplies: Based on the CBR Theory and BP Neural Network
700 Proceedngs of the 8th Internatonal Conference on Innovaton & Management Forecastng the Demand of Emergency Supples: Based on the CBR Theory and BP Neural Network Fu Deqang, Lu Yun, L Changbng School
PAS: A Packet Accounting System to Limit the Effects of DoS & DDoS. Debish Fesehaye & Klara Naherstedt University of Illinois-Urbana Champaign
PAS: A Packet Accountng System to Lmt the Effects of DoS & DDoS Debsh Fesehaye & Klara Naherstedt Unversty of Illnos-Urbana Champagn DoS and DDoS DDoS attacks are ncreasng threats to our dgtal world. Exstng
A Probabilistic Theory of Coherence
A Probablstc Theory of Coherence BRANDEN FITELSON. The Coherence Measure C Let E be a set of n propostons E,..., E n. We seek a probablstc measure C(E) of the degree of coherence of E. Intutvely, we want
Fault tolerance in cloud technologies presented as a service
Internatonal Scentfc Conference Computer Scence 2015 Pavel Dzhunev, PhD student Fault tolerance n cloud technologes presented as a servce INTRODUCTION Improvements n technques for vrtualzaton and performance
"Research Note" APPLICATION OF CHARGE SIMULATION METHOD TO ELECTRIC FIELD CALCULATION IN THE POWER CABLES *
Iranan Journal of Scence & Technology, Transacton B, Engneerng, ol. 30, No. B6, 789-794 rnted n The Islamc Republc of Iran, 006 Shraz Unversty "Research Note" ALICATION OF CHARGE SIMULATION METHOD TO ELECTRIC
A Multi-Camera System on PC-Cluster for Real-time 3-D Tracking
The 23 rd Conference of the Mechancal Engneerng Network of Thaland November 4 7, 2009, Chang Ma A Mult-Camera System on PC-Cluster for Real-tme 3-D Trackng Vboon Sangveraphunsr*, Krtsana Uttamang, and
Embedding lattices in the Kleene degrees
F U N D A M E N T A MATHEMATICAE 62 (999) Embeddng lattces n the Kleene degrees by Hsato M u r a k (Nagoya) Abstract. Under ZFC+CH, we prove that some lattces whose cardnaltes do not exceed ℵ can be embedded
5 Solving systems of non-linear equations
umercal Methods n Chemcal Engneerng 5 Solvng systems o non-lnear equatons 5 Solvng systems o non-lnear equatons... 5. Overvew... 5. assng unctons... 5. D ewtons Method somethng you dd at school... 5. ewton's
SOLVING CARDINALITY CONSTRAINED PORTFOLIO OPTIMIZATION PROBLEM BY BINARY PARTICLE SWARM OPTIMIZATION ALGORITHM
SOLVIG CARDIALITY COSTRAIED PORTFOLIO OPTIMIZATIO PROBLEM BY BIARY PARTICLE SWARM OPTIMIZATIO ALGORITHM Aleš Kresta Klíčová slova: optmalzace portfola, bnární algortmus rojení částc Key words: portfolo
THE APPLICATION OF DATA MINING TECHNIQUES AND MULTIPLE CLASSIFIERS TO MARKETING DECISION
Internatonal Journal of Electronc Busness Management, Vol. 3, No. 4, pp. 30-30 (2005) 30 THE APPLICATION OF DATA MINING TECHNIQUES AND MULTIPLE CLASSIFIERS TO MARKETING DECISION Yu-Mn Chang *, Yu-Cheh
RSA Cryptography using Designed Processor and MicroBlaze Soft Processor in FPGAs
RSA Cryptography usng Desgne Processor an McroBlaze Soft Processor n FPGAs M. Nazrul Islam Monal Dept. of CSE, Rajshah Unversty of Engneerng an Technology, Rajshah-6204, Banglaesh M. Al Mamun Dept. of
DEGREES OF EQUIVALENCE IN A KEY COMPARISON 1 Thang H. L., Nguyen D. D. Vietnam Metrology Institute, Address: 8 Hoang Quoc Viet, Hanoi, Vietnam
DEGREES OF EQUIVALECE I A EY COMPARISO Thang H. L., guyen D. D. Vetnam Metrology Insttute, Aress: 8 Hoang Quoc Vet, Hano, Vetnam Abstract: In an nterlaboratory key comparson, a ata analyss proceure for
Addendum to: Importing Skill-Biased Technology
Addendum to: Importng Skll-Based Technology Arel Bursten UCLA and NBER Javer Cravno UCLA August 202 Jonathan Vogel Columba and NBER Abstract Ths Addendum derves the results dscussed n secton 3.3 of our
Extending Probabilistic Dynamic Epistemic Logic
Extendng Probablstc Dynamc Epstemc Logc Joshua Sack May 29, 2008 Probablty Space Defnton A probablty space s a tuple (S, A, µ), where 1 S s a set called the sample space. 2 A P(S) s a σ-algebra: a set
In the rth step, the computaton of the Householder matrx H r requres only the n ; r last elements of the rth column of A T r;1a r;1 snce we donothave
An accurate bdagonal reducton for the computaton of sngular values Ru M. S. Ralha Abstract We present a new bdagonalzaton technque whch s compettve wth the standard bdagonalzaton method and analyse the
Resource Scheduling in Desktop Grid by Grid-JQA
The 3rd Internatonal Conference on Grd and Pervasve Computng - Worshops esource Schedulng n Destop Grd by Grd-JQA L. Mohammad Khanl M. Analou Assstant professor Assstant professor C.S. Dept.Tabrz Unversty
On Lockett pairs and Lockett conjecture for π-soluble Fitting classes
On Lockett pars and Lockett conjecture for π-soluble Fttng classes Lujn Zhu Department of Mathematcs, Yangzhou Unversty, Yangzhou 225002, P.R. Chna E-mal: ljzhu@yzu.edu.cn Nanyng Yang School of Mathematcs
Complete Fairness in Secure Two-Party Computation
Complete Farness n Secure Two-Party Computaton S. Dov Gordon Carmt Hazay Jonathan Katz Yehuda Lndell Abstract In the settng of secure two-party computaton, two mutually dstrustng partes wsh to compute
A hybrid global optimization algorithm based on parallel chaos optimization and outlook algorithm
Avalable onlne www.ocpr.com Journal of Chemcal and Pharmaceutcal Research, 2014, 6(7):1884-1889 Research Artcle ISSN : 0975-7384 CODEN(USA) : JCPRC5 A hybrd global optmzaton algorthm based on parallel
Optimal Provisioning of Resource in a Cloud Service
ISSN (Onlne): 169-081 95 Optmal Provsonng of Resource n a Cloud Servce Yee Mng Chen 1 Shn-Yng Tsa Department of Industral Engneerng and Management Yuan Ze Unversty 135 Yuan-Tung Rd. Chung-L Tao-Yuan Tawan
Conversion between the vector and raster data structures using Fuzzy Geographical Entities
Converson between the vector and raster data structures usng Fuzzy Geographcal Enttes Cdála Fonte Department of Mathematcs Faculty of Scences and Technology Unversty of Combra, Apartado 38, 3 454 Combra,
8.4. Annuities: Future Value. INVESTIGATE the Math. 504 8.4 Annuities: Future Value
8. Annutes: Future Value YOU WILL NEED graphng calculator spreadsheet software GOAL Determne the future value of an annuty earnng compound nterest. INVESTIGATE the Math Chrstne decdes to nvest $000 at
Newton-Raphson Method of Solving a Nonlinear Equation Autar Kaw
Newton-Rphson Method o Solvng Nonlner Equton Autr Kw Ater redng ths chpter, you should be ble to:. derve the Newton-Rphson method ormul,. develop the lgorthm o the Newton-Rphson method,. use the Newton-Rphson
SPECIALIZED DAY TRADING - A NEW VIEW ON AN OLD GAME
August 7 - August 12, 2006 n Baden-Baden, Germany SPECIALIZED DAY TRADING - A NEW VIEW ON AN OLD GAME Vladmr Šmovć 1, and Vladmr Šmovć 2, PhD 1 Faculty of Electrcal Engneerng and Computng, Unska 3, 10000
Faraday's Law of Induction
Introducton Faraday's Law o Inducton In ths lab, you wll study Faraday's Law o nducton usng a wand wth col whch swngs through a magnetc eld. You wll also examne converson o mechanc energy nto electrc energy
Enhancing Parallel Robots Accuracy with Redundant Sensors
Enhancng Parallel obots Accuracy wth edundant ensors Frédérc Marquet, Olver Company, ébasten Krut, Franços Perrot LIMM - UM 556 CN Unversté Montpeller 2 161 rue Ada, 34392 Montpeller Cede 5, France
Basic Queueing Theory M/M/* Queues. Introduction
Basc Queueng Theory M/M/* Queues These sldes are created by Dr. Yh Huang of George Mason Unversty. Students regstered n Dr. Huang's courses at GMU can ake a sngle achne-readable copy and prnt a sngle copy
21 Vectors: The Cross Product & Torque
21 Vectors: The Cross Product & Torque Do not use our left hand when applng ether the rght-hand rule for the cross product of two vectors dscussed n ths chapter or the rght-hand rule for somethng curl
Multiple-Period Attribution: Residuals and Compounding
Multple-Perod Attrbuton: Resduals and Compoundng Our revewer gave these authors full marks for dealng wth an ssue that performance measurers and vendors often regard as propretary nformaton. In 1994, Dens
Attribute-Preserving Optimal Network Reductions
Attrbute-Preservng Optmal Network Reductons Dan Tylavsky, Yuja Zhu, Shrut Rao Arzona State Unversty wth Wllam Schulze, Ray Zmmerman, Dck Shuler, Jubo Yan Cornell Unversty Bao Mao Rensselaer Polytechnc
Mining Multiple Large Data Sources
The Internatonal Arab Journal of Informaton Technology, Vol. 7, No. 3, July 2 24 Mnng Multple Large Data Sources Anmesh Adhkar, Pralhad Ramachandrarao 2, Bhanu Prasad 3, and Jhml Adhkar 4 Department of
Joint probability density functions of random trajectories through a box
arxv:131.59 [math.pr] Jont probablty densty unctons o random traectores through a bo Gregory T. Clement Department o Bomedcal Engneerng, Cleveland Clnc Foundaton, 95 Eucld Ave/ND, Cleveland, Oho 44195:
(b) (b) f 1 = x 1 x 2 ( x 3 v x 4 )
On Bi-Decompositions of Logic Functions Tsutomu Sasao Department of Computer Science and Electronics Kyushu Institute of Technology Iizuka 820, Japan Jon T. Butler Department of Electrical and Computer
How To Understand The Results Of The German Meris Cloud And Water Vapour Product
Ttel: Project: Doc. No.: MERIS level 3 cloud and water vapour products MAPP MAPP-ATBD-ClWVL3 Issue: 1 Revson: 0 Date: 9.12.1998 Functon Name Organsaton Sgnature Date Author: Bennartz FUB Preusker FUB Schüller
Cluster Analysis. Cluster Analysis
Cluster Analyss Cluster Analyss What s Cluster Analyss? Types of Data n Cluster Analyss A Categorzaton of Maor Clusterng Methos Parttonng Methos Herarchcal Methos Densty-Base Methos Gr-Base Methos Moel-Base
Prediction of Automobile Warranty Reclaims using ANFIS Approach
, pp.43-54 http://dx.do.org/10.1457/jsea.014.8..4 Predcton of Automoble Warranty Reclams usng ANFIS Approach Cho Kwang-Wook 1, Lee Sang-Hyun *, Km Cheol-sung 3 and Moon Kyung-Il 4 1,3 Dept. of Electroncs
How Much to Bet on Video Poker
How Much to Bet on Vdeo Poker Trstan Barnett A queston that arses whenever a gae s favorable to the player s how uch to wager on each event? Whle conservatve play (or nu bet nzes large fluctuatons, t lacks
A study on the ability of Support Vector Regression and Neural Networks to Forecast Basic Time Series Patterns
A study on the ablty of Support Vector Regresson and Neural Networks to Forecast Basc Tme Seres Patterns Sven F. Crone, Jose Guajardo 2, and Rchard Weber 2 Lancaster Unversty, Department of Management
Fixed income risk attribution
5 Fxed ncome rsk attrbuton Chthra Krshnamurth RskMetrcs Group chthra.krshnamurth@rskmetrcs.com We compare the rsk of the actve portfolo wth that of the benchmark and segment the dfference between the two
320 The Internatonal Arab Journal of Informaton Technology, Vol. 5, No. 3, July 2008 Comparsons Between Data Clusterng Algorthms Osama Abu Abbas Computer Scence Department, Yarmouk Unversty, Jordan Abstract:
Linear Circuits Analysis. Superposition, Thevenin /Norton Equivalent circuits
Lnear Crcuts Analyss. Superposton, Theenn /Norton Equalent crcuts So far we hae explored tmendependent (resste) elements that are also lnear. A tmendependent elements s one for whch we can plot an / cure.
Comparison of Control Strategies for Shunt Active Power Filter under Different Load Conditions
Comparson of Control Strateges for Shunt Actve Power Flter under Dfferent Load Condtons Sanjay C. Patel 1, Tushar A. Patel 2 Lecturer, Electrcal Department, Government Polytechnc, alsad, Gujarat, Inda
Ants Can Schedule Software Projects
Ants Can Schedule Software Proects Broderck Crawford 1,2, Rcardo Soto 1,3, Frankln Johnson 4, and Erc Monfroy 5 1 Pontfca Unversdad Católca de Valparaíso, Chle FrstName.Name@ucv.cl 2 Unversdad Fns Terrae,
How Sets of Coherent Probabilities May Serve as Models for Degrees of Incoherence
1 st Internatonal Symposum on Imprecse Probabltes and Ther Applcatons, Ghent, Belgum, 29 June 2 July 1999 How Sets of Coherent Probabltes May Serve as Models for Degrees of Incoherence Mar J. Schervsh
Calculation of Sampling Weights
Perre Foy Statstcs Canada 4 Calculaton of Samplng Weghts 4.1 OVERVIEW The basc sample desgn used n TIMSS Populatons 1 and 2 was a two-stage stratfed cluster desgn. 1 The frst stage conssted of a sample
where the coordinates are related to those in the old frame as follows.
Chapter 2 - Cartesan Vectors and Tensors: Ther Algebra Defnton of a vector Examples of vectors Scalar multplcaton Addton of vectors coplanar vectors Unt vectors A bass of non-coplanar vectors Scalar product
STATISTICAL DATA ANALYSIS IN EXCEL
Mcroarray Center STATISTICAL DATA ANALYSIS IN EXCEL Lecture 6 Some Advanced Topcs Dr. Petr Nazarov 14-01-013 petr.nazarov@crp-sante.lu Statstcal data analyss n Ecel. 6. Some advanced topcs Correcton for
ECE544NA Final Project: Robust Machine Learning Hardware via Classifier Ensemble
1 ECE544NA Fnal Project: Robust Machne Learnng Hardware va Classfer Ensemble Sa Zhang, szhang12@llnos.edu Dept. of Electr. & Comput. Eng., Unv. of Illnos at Urbana-Champagn, Urbana, IL, USA Abstract In
Inter-Ing 2007. INTERDISCIPLINARITY IN ENGINEERING SCIENTIFIC INTERNATIONAL CONFERENCE, TG. MUREŞ ROMÂNIA, 15-16 November 2007.
Inter-Ing 2007 INTERDISCIPLINARITY IN ENGINEERING SCIENTIFIC INTERNATIONAL CONFERENCE, TG. MUREŞ ROMÂNIA, 15-16 November 2007. UNCERTAINTY REGION SIMULATION FOR A SERIAL ROBOT STRUCTURE MARIUS SEBASTIAN
Boolean Algebra. ECE 152A Winter 2012
Boolen Algebr ECE 52A Wnter 22 Redng Assgnent Brown nd Vrnesc 2 Introducton to Logc Crcuts 2.5 Boolen Algebr 2.5. The Venn Dgr 2.5.2 Notton nd Ternology 2.5.3 Precedence of Opertons 2.6 Synthess Usng AND,
An ILP Formulation for Task Mapping and Scheduling on Multi-core Architectures
An ILP Formulaton for Task Mappng and Schedulng on Mult-core Archtectures Yng Y, We Han, Xn Zhao, Ahmet T. Erdogan and Tughrul Arslan Unversty of Ednburgh, The Kng's Buldngs, Mayfeld Road, Ednburgh, EH9
Nonbinary Quantum Error-Correcting Codes from Algebraic Curves
Nonbnary Quantum Error-Correctng Codes from Algebrac Curves Jon-Lark Km and Judy Walker Department of Mathematcs Unversty of Nebraska-Lncoln, Lncoln, NE 68588-0130 USA e-mal: {jlkm, jwalker}@math.unl.edu
Face Verification Problem. Face Recognition Problem. Application: Access Control. Biometric Authentication. Face Verification (1:1 matching)
Face Recognton Problem Face Verfcaton Problem Face Verfcaton (1:1 matchng) Querymage face query Face Recognton (1:N matchng) database Applcaton: Access Control www.vsage.com www.vsoncs.com Bometrc Authentcaton
NPAR TESTS. One-Sample Chi-Square Test. Cell Specification. Observed Frequencies 1O i 6. Expected Frequencies 1EXP i 6
PAR TESTS If a WEIGHT varable s specfed, t s used to replcate a case as many tmes as ndcated by the weght value rounded to the nearest nteger. If the workspace requrements are exceeded and samplng has
Ring structure of splines on triangulations
www.oeaw.ac.at Rng structure of splnes on trangulatons N. Vllamzar RICAM-Report 2014-48 www.rcam.oeaw.ac.at RING STRUCTURE OF SPLINES ON TRIANGULATIONS NELLY VILLAMIZAR Introducton For a trangulated regon
The Development of Web Log Mining Based on Improve-K-Means Clustering Analysis
The Development of Web Log Mnng Based on Improve-K-Means Clusterng Analyss TngZhong Wang * College of Informaton Technology, Luoyang Normal Unversty, Luoyang, 471022, Chna wangtngzhong2@sna.cn Abstract.
A New Quality of Service Metric for Hard/Soft Real-Time Applications
A New Qualty of Servce Metrc for Hard/Soft Real-Tme Applcatons Shaoxong Hua and Gang Qu Electrcal and Computer Engneerng Department and Insttute of Advanced Computer Study Unversty of Maryland, College
Fuzzy Set Approach To Asymmetrical Load Balancing In Distribution Networks
Fuzzy Set Approach To Asymmetrcal Load Balancng n Dstrbuton Networks Goran Majstrovc Energy nsttute Hrvoje Por Zagreb, Croata goran.majstrovc@ehp.hr Slavko Krajcar Faculty of electrcal engneerng and computng
ON CYCLOTOMIC POLYNOMIALS WITH ±1 COEFFICIENTS
ON CYCLOTOMIC POLYNOMIALS WITH ±1 COEFFICIENTS PETER BORWEIN AND KWOK-KWONG STEPHEN CHOI Abstract. We characterze all cyclotomc polynomals of even egree wth coeffcents restrcte to the set {+1, 1}. In ths