Devices [614, 812, 868, 109, 728, 589]. Dexter [915, 578]. DFT [888]. Diagonally [77]. Diagrams [262, 116]. Dicionário [773]. Different [802, 55, 467, 197]. Differential [607, 304, 452, 609, 434, 608]. Differentiation [463]. Difficult [474]. Diffie [442]. Diffusion [542, 99, 546, 468]. Digilog [388]. Digital [393, 286, 125, 868, 398, 335, 194, 191]. Dimensional [731, 398, 195, 585, 834, 723]. Dimensions [316]. Directed [500, 149, 877]. Directions [86]. DIS [367]. Disambiguation [779, 483]. Disasters [626]. Disc [592]. Discharge [196]. Discourse [371]. Discover<strong>in</strong>g [680, 832, 629, 655]. Discovery [666, 152, 735, 867, 689, 241]. Discrete [452, 445, 829]. Discrete-Time [829]. Discretization [76, 198, 194]. Discrim<strong>in</strong>at<strong>in</strong>g [656]. Discrim<strong>in</strong>ation [65]. Discrim<strong>in</strong>ative [51]. Discussion [589]. Discussions [556]. Disease [828, 599]. Disease-Related [828]. Disease-Symptom [599]. Disequalities [272]. Dishonest [312]. Disjo<strong>in</strong>t [198]. Disjunction [372]. Disk [714]. Disorder [763]. Display [400]. Disputed [647]. Dissimilar [333]. Distance [811, 790, 653, 576]. Distance-Based [653]. Distances [195]. Distributed [103, 104, 610, 105, 620, 108, 109, 241]. Distribution [812, 646, 653, 181, 869, 687, 172]. Diverse [800, 418]. Diversity [871, 654, 849]. Diversity-Enhanc<strong>in</strong>g [871]. DNA [832]. DNF [159]. Do [129, 133]. Document [479, 388]. Documents [486, 488, 651]. DOF [462]. Dogs [394]. Doma<strong>in</strong> [670, 641, 493, 437, 813, 809, 327, 489, 769]. Doma<strong>in</strong>-Specific [493]. Doma<strong>in</strong>s [80]. Dom<strong>in</strong>ance [808]. Dom<strong>in</strong>ant [77]. Double [56]. Down [697]. DQDI [923]. Draw<strong>in</strong>g [853, 577]. Driven [494, 5, 287, 242, 380, 814, 815, 207, 362, 425, 340, 41, 107]. Drosophila [838]. Dual [83, 296, 730]. Dual-Gra<strong>in</strong>ed [730]. Due [791]. Due-Date [791]. Dumb [283]. Duplicate [627]. Duplication [565, 833]. dur<strong>in</strong>g [499]. Dynamic [166, 105, 493, 216, 107, 553, 129, 874, 838]. Dynamical [453, 456]. Dynamically [416]. Dynamically-Green [416]. Dynamics [457, 540, 464, 139, 539, 544]. E-health [588]. E-vot<strong>in</strong>g [310]. EAP [435]. EAP-TNC [435]. Early [838]. Easy [277]. ECG [720]. Echelon [803]. ECIR [910]. ECMAF [421]. Ecological [795]. Econ [903]. Economic [426]. Economics [325, 903, 339, 336]. Ecosystem [792]. Ecosystems [326, 327]. Eden [750]. Edge [825]. Eduta<strong>in</strong>ment [906]. Effect [457, 467, 546]. Effective [394, 517, 638, 466, 270, 708]. Effectiveness [177]. Effects [264, 469, 125, 127, 381, 390, 395, 665]. Efficiency [731, 604]. Efficient [233, 602, 289, 649, 739, 439, 703, 710, 797, 625, 342]. Efficiently [698]. eID [619]. Electric [634]. Electrical [810]. elegans [463]. Elevation [398]. Elicitation [12]. Elim<strong>in</strong>ation [837, 87, 174]. Elliptic [315]. Email [473, 490]. Embedded [249, 38]. Embedd<strong>in</strong>g [495, 555]. 8
Embodied [893]. Embryos [838]. Emergence [878]. Empirical [133, 529, 876]. Emulation [428]. Enable [517]. Enabled [432]. Enabl<strong>in</strong>g [24, 684]. Encephalomyelitis [469]. Encod<strong>in</strong>g [465, 275]. Encrypt<strong>in</strong>g [191]. Encryption [446, 604, 313]. Encryptions [605]. End [222, 764]. Ended [875]. End<strong>in</strong>g [762]. Endpo<strong>in</strong>t [61]. Energy [416, 866]. Energy-Aware [416]. Enforceable [320]. Enforcement [742]. Enforc<strong>in</strong>g [678, 430]. Engagement [539]. Eng<strong>in</strong>e [392, 717, 403, 719]. Eng<strong>in</strong>eer<strong>in</strong>g [416, 407, 106, 831, 889, 899]. English [377, 531]. Enhance [242]. Enhanced [613]. Enhancement [200]. Enhanc<strong>in</strong>g [519, 6, 871, 884, 395]. Enough [371]. Enrichment [478]. Ensemble [175, 851, 702, 185, 53]. Ensembles [179, 169]. Enterprise [6, 4, 15]. Enterprises [887, 5, 10, 8, 9]. Entities [482]. Entity [311, 695, 641, 583, 482]. Entity-Attribute-Value [583]. Entries [637]. Entropy [552, 776, 614]. Entropy-Guided [776]. Enumeration [692]. Environment [852, 93, 45, 838]. Environmental [666, 341, 623]. Environments [166, 121, 870, 107, 582]. Enzymatic [459]. Epidemic [598]. Epigenetic [450]. Episode [719]. Epistasis [839]. Epistemic [572]. Equality [570]. Equation [452, 293, 58]. Equational [313]. Equations [101]. Equilibria [280]. Equilibrium [496]. Equirecursive [564]. Equivalence [313, 225, 616, 35]. Equivalences [274]. Equivalent [279]. Erlang [755]. ERP [381]. ERP-Effects [381]. Escape [520]. ESOP [898]. Essays [915]. Established [469]. Estimate [646]. Estimat<strong>in</strong>g [67, 716]. Estimation [478, 829, 617, 62]. Estimator [198, 62]. Estonia [900, 902, 901, 897, 898, 899]. ETAPS [900, 902, 901, 897, 898, 899]. EuroGP [926]. European [910, 900, 902, 901, 928, 927, 926, 897, 898, 924, 899, 332, 327, 333]. Evaluation [485, 40, 445, 122, 693, 55, 710, 38, 888]. Evaluative [378]. Event [276, 155, 674, 421]. Event-Based [421]. Events [475, 812, 29, 14, 907]. Eventually [223]. Evidence [376, 380]. EVIS [719]. EvoApplications [930]. EvoBIO [928]. EvoCOMNET [930]. EvoCOMPLEX [930]. EvoCOP [927]. EvoFIN [930]. EvoGAMES [930]. EvoHOT [930]. EvoIASP [930]. Evolution [536, 845, 540, 871, 856, 860, 326, 792, 830, 327, 798, 875, 878, 885]. Evolutionary [818, 810, 846, 930, 882, 850, 852, 565, 855, 800, 814, 872, 866, 857, 868, 824, 884, 861, 797, 849, 881, 200, 928, 927, 929]. Evolvability [821]. Evolved [456]. Evolv<strong>in</strong>g [879, 781, 847, 853, 462, 791, 792, 848]. EvoMUSART [929]. EvoNUM [930]. EvoPAR [930]. EvoRISK [930]. EvoSTIM [930]. EvoSTOC [930]. Exact [811, 807, 526]. Exam<strong>in</strong>ation [539]. Example [297, 556]. Examples [197]. Exchange [792]. Exchanges [532]. Excitatory [467]. Exclusion [439]. Execut<strong>in</strong>g [411]. Execution [105, 802, 235, 31, 180, 259, 515]. Exist<strong>in</strong>g [42]. Expanded [680]. Expansion [488, 809, 723]. Expectation [352]. Experience [917, 124]. Experimental [561, 93, 469, 384]. Experimentation [20]. Experiment<strong>in</strong>g [375]. Experiments [591]. 9
- Page 1 and 2: A Bibliography of Papers in Lecture
- Page 3 and 4: 216, 386, 597, 584, 867, 412, 591,
- Page 5 and 6: Camellia [607]. Camera [554]. CaMKI
- Page 7: Cost-Efficient [342]. Cost-Sensitiv
- Page 11 and 12: Functional [495, 268, 749, 417, 67,
- Page 13 and 14: Innovation [5]. Inquisitive [367, 3
- Page 15 and 16: Maude [497]. Maximal [816]. Maximiz
- Page 17 and 18: NSGA [805]. NSGA-II [805]. Number [
- Page 19 and 20: Process [414, 179, 9, 234, 424, 194
- Page 21 and 22: Sampling [799]. SAT [284]. Satellit
- Page 23 and 24: Sub-populations [467]. Subgame [280
- Page 25 and 26: VA [912]. Validating [239]. Validat
- Page 27 and 28: REFERENCES 27 Anonymous:2012:FMb [7
- Page 29 and 30: REFERENCES 29 Alippi:2012:WSN [19]
- Page 31 and 32: REFERENCES 31 Computer Science, 720
- Page 33 and 34: REFERENCES 33 Eittenberger:2012:WIT
- Page 35 and 36: REFERENCES 35 Li:2012:MAD [56] Yang
- Page 37 and 38: REFERENCES 37 Anonymous:2012:FMg [6
- Page 39 and 40: REFERENCES 39 Zieniuk:2012:NAD [80]
- Page 41 and 42: REFERENCES 41 Drozdowski:2012:GBB [
- Page 43 and 44: REFERENCES 43 Chrobot:2012:DMV [104
- Page 45 and 46: REFERENCES 45 137-171, 2012. CODEN
- Page 47 and 48: REFERENCES 47 Panayi:2012:WWW [129]
- Page 49 and 50: REFERENCES 49 Anonymous:2012:FMk [1
- Page 51 and 52: REFERENCES 51 Douar:2012:GBR [154]
- Page 53 and 54: REFERENCES 53 Aguero:2012:ACT [166]
- Page 55 and 56: REFERENCES 55 Yannibelli:2012:MAP [
- Page 57 and 58: REFERENCES 57 Toman:2012:GWM [189]
- Page 59 and 60:
REFERENCES 59 Computer Science, 720
- Page 61 and 62:
REFERENCES 61 Petersen:2012:GSI [21
- Page 63 and 64:
REFERENCES 63 Computer Science, 721
- Page 65 and 66:
REFERENCES 65 Jensen:2012:FSL [238]
- Page 67 and 68:
REFERENCES 67 Albert:2012:VRG [250]
- Page 69 and 70:
REFERENCES 69 Cali:2012:QUC [262] A
- Page 71 and 72:
REFERENCES 71 Peters:2012:IGE [275]
- Page 73 and 74:
REFERENCES 73 Friedmann:2012:RBA [2
- Page 75 and 76:
REFERENCES 75 Bozga:2012:DCT [300]
- Page 77 and 78:
REFERENCES 77 Comon-Lundh:2012:SPD
- Page 79 and 80:
REFERENCES 79 Anonymous:2012:FMt [3
- Page 81 and 82:
REFERENCES 81 Gomez-Barroso:2012:PI
- Page 83 and 84:
REFERENCES 83 tronic). URL http://l
- Page 85 and 86:
REFERENCES 85 Mirzayi:2012:GDA [362
- Page 87 and 88:
REFERENCES 87 LNCSD9. ISSN 0302-974
- Page 89 and 90:
REFERENCES 89 Park:2012:HDM [388] J
- Page 91 and 92:
REFERENCES 91 Lin:2012:SPP [400] Li
- Page 93 and 94:
REFERENCES 93 Lago:2012:PAA [412] P
- Page 95 and 96:
REFERENCES 95 Stocker:2012:DFO [424
- Page 97 and 98:
REFERENCES 97 Computer Science, 722
- Page 99 and 100:
REFERENCES 99 Anonymous:2012:FMbd [
- Page 101 and 102:
REFERENCES 101 LNCSD9. ISSN 0302-97
- Page 103 and 104:
REFERENCES 103 Science, 7224:13-24,
- Page 105 and 106:
REFERENCES 105 Notes in Computer Sc
- Page 107 and 108:
REFERENCES 107 Dandois:2012:CLP [49
- Page 109 and 110:
REFERENCES 109 1611-3349 (electroni
- Page 111 and 112:
REFERENCES 111 Ayoub:2012:SCP [523]
- Page 113 and 114:
REFERENCES 113 tion on a live netwo
- Page 115 and 116:
REFERENCES 115 Mancilla-Caceres:201
- Page 117 and 118:
REFERENCES 117 Bonchi:2012:BAC [560
- Page 119 and 120:
REFERENCES 119 Parikh:2012:CUG [573
- Page 121 and 122:
REFERENCES 121 ISSN 0302-9743 (prin
- Page 123 and 124:
REFERENCES 123 7231:143-151, 2012.
- Page 125 and 126:
REFERENCES 125 Corniaux:2012:DOT [6
- Page 127 and 128:
REFERENCES 127 Anonymous:2012:FMbm
- Page 129 and 130:
REFERENCES 129 Lee:2012:AFE [634] J
- Page 131 and 132:
REFERENCES 131 Hu:2012:EUD [646] Ha
- Page 133 and 134:
REFERENCES 133 Du:2012:IAA [658] Ya
- Page 135 and 136:
REFERENCES 135 Cerasuolo:2012:VNV [
- Page 137 and 138:
REFERENCES 137 0302-9743 (print), 1
- Page 139 and 140:
REFERENCES 139 Liu:2012:UTX [694] J
- Page 141 and 142:
REFERENCES 141 Bai:2012:PRS [706] M
- Page 143 and 144:
REFERENCES 143 Nishii:2012:HSS [718
- Page 145 and 146:
REFERENCES 145 52, 2012. CODEN LNCS
- Page 147 and 148:
REFERENCES 147 LNCSD9. ISSN 0302-97
- Page 149 and 150:
REFERENCES 149 (electronic). URL ht
- Page 151 and 152:
REFERENCES 151 Lopes:2012:IPT [768]
- Page 153 and 154:
REFERENCES 153 Anonymous:2012:FMbu
- Page 155 and 156:
REFERENCES 155 exchange using gramm
- Page 157 and 158:
REFERENCES 157 (electronic). URL ht
- Page 159 and 160:
REFERENCES 159 1611-3349 (electroni
- Page 161 and 162:
REFERENCES 161 Nobile:2012:GBM [829
- Page 163 and 164:
REFERENCES 163 Buchanan:2012:BIM [8
- Page 165 and 166:
REFERENCES 165 107, 2012. CODEN LNC
- Page 167 and 168:
REFERENCES 167 Anonymous:2012:FMby
- Page 169 and 170:
REFERENCES 169 Wang:2012:SPO [877]
- Page 171 and 172:
REFERENCES 171 Computer Science. Sp
- Page 173 and 174:
REFERENCES 173 OBoyle:2012:CCI [897
- Page 175 and 176:
REFERENCES 175 ing: 18th Amsterdam
- Page 177 and 178:
REFERENCES 177 Shi:2012:TDH [914] Y
- Page 179 and 180:
REFERENCES 179 Yu:2012:DSA [923] Hw
- Page 181:
REFERENCES 181 3 (e-book). ISSN 030