Aware [666, 416, 15, 675, 741, 298, 707, 16, 423, 710, 195, 418, 650, 652, 284]. Awareness [538]. Back [294, 25, 119, 218, 363, 448, 508, 557, 600, 682, 758, 864, 69]. Backgrounds [59]. Balance [537]. Balanc<strong>in</strong>g [93]. Banded [77]. Bandit [873]. Bandit-Based [873]. Barcelona [910, 892]. Barcode [59]. Base [599, 774, 118]. Based [39, 808, 494, 836, 804, 523, 103, 222, 779, 243, 675, 271, 496, 733, 626, 322, 590, 656, 446, 636, 368, 171, 671, 359, 691, 640, 154, 130, 360, 163, 729, 214, 399, 724, 851, 514, 288, 554, 663, 731, 641, 632, 438, 721, 443, 657, 478, 253, 43, 57, 403, 160, 740, 404, 598, 164, 611, 837, 63, 735, 814, 872, 591, 688, 638, 738, 868, 400, 630, 60, 49, 642, 860, 677, 12, 788, 702, 791, 829, 727, 199, 873, 51, 739, 737, 535, 208, 38, 842, 653, 65, 617, 389, 757, 711, 94, 510, 95, 876, 202, 831, 743]. Based [728, 302, 52, 480, 64, 652, 635, 426, 395, 637, 433, 421, 767, 401, 62, 61, 586, 53, 593, 697, 124, 911]. Bases [695]. Basic [29]. Basis [444]. Batch [447]. Battery [34]. Bayes [160]. Bayesian [111, 777, 734, 168, 145, 828]. BCM [41]. BDDs [160]. BDI [347, 352]. Be [855]. Bee [832, 835]. Been [855]. Behavior [533, 597, 743]. Behavioral [230, 399, 913, 391]. Behaviors [334]. Behaviour [384, 876]. Behaviours [227]. Beij<strong>in</strong>g [908, 916]. Be<strong>in</strong>g [378]. Belief [381]. Benchmark [813]. Benign [65]. Berth [806]. Best [114, 705, 60]. between [638, 65, 333]. Beyond [143, 548]. BGP [302]. Bi [819]. Bi-objective [819]. Bias [788]. Bicategories [263]. Big [756]. Bilateral [182]. Bil<strong>in</strong>gual [766]. B<strong>in</strong>ary [175]. B<strong>in</strong>ders [278]. B<strong>in</strong>d<strong>in</strong>g [455]. Bio<strong>in</strong>formatics [928]. Biological [834, 829]. Biologically [840, 929]. Biology [458]. Biometric [552, 553]. Bioprocesses [165]. Birdsongs [852]. Birthday [915]. Bisimulations [269]. bisymmetric [58]. Bit [286, 856]. BLAS [75]. Blastoderm [838]. Bl<strong>in</strong>k<strong>in</strong>g [136]. Block [193, 609, 630]. Block-Based [630]. Block<strong>in</strong>g [81]. Blog [740, 637]. blogs [738]. Board [878]. Bogtrotters [361]. Books [388]. Boolean [112, 293]. Boost<strong>in</strong>g [42, 65]. Botnet [317]. Bound [92]. Bounded [564, 286]. Bounds [287, 29, 210]. Box [752]. BPMN [414, 413]. Bra<strong>in</strong>wave [386]. Branch [92, 214]. Branch-and-Bound [92]. Brazilian [777, 775]. Breakthroughs [623]. Breast [65]. Breed<strong>in</strong>g [202]. Br<strong>in</strong>g<strong>in</strong>g [133]. Broadcast [73, 711]. Brookes [273]. Browser [612]. Brzozowski [560]. Büchi [290, 271]. Bucket [114]. Budapest [924]. Buffer [728, 728]. Build<strong>in</strong>g [429, 582]. Built [137]. Built-In [137]. Bullies [547]. Bump [152]. Burst [465]. Busan [921, 922, 923]. Bus<strong>in</strong>ess [9, 343, 107, 251, 409, 690, 41]. BWT [650]. C [463, 751, 524, 182, 220, 212]. C-means [182]. C/ACSL [524]. Cache [81, 727]. CAD [586]. Calcium [466]. Calcium/Calmodul<strong>in</strong> [466]. Calculator [132]. Calculus [254, 226, 276, 752, 32]. Calibration [96]. Call [226]. Call-by-Need [226]. Calls [102]. Cambridge [909]. 4
Camellia [607]. Camera [554]. CaMKII [466]. Can [394, 487, 382]. Cancer [837]. Cancers [65]. Candidate [488]. CAP [613]. Capability [166]. Capsules [566]. CAPTCHA [613]. Cardiac [101]. Card<strong>in</strong>ality [882]. Care [580]. Cartesian [784, 796]. Cascades [459]. Case [494, 2, 309, 523, 667, 469, 31, 33, 164, 391]. Case-Based [164]. Categories [131, 252, 757]. Categorization [175]. Category [567]. Causal [111]. CBRN [538]. CC [897]. CEFP [924]. Cell [463, 457]. Cells [909]. Cellular [594, 191, 878]. Central [924]. Centric [413, 690]. Certa<strong>in</strong> [436]. Certificate [323]. Certification [408, 292]. Cessation [541]. Cha<strong>in</strong> [24]. Cha<strong>in</strong>s [444, 513]. Challenges [4, 587]. Chamber [296]. Channel [39]. Chaotic [874, 450, 194]. Characteristics [27, 386]. Characterizations [111, 270]. Chatter<strong>in</strong>g [174]. Checked [323]. Check<strong>in</strong>g [150, 46, 298, 356, 354, 293, 525, 291, 510, 241]. Checkonly [254]. Checkpo<strong>in</strong>t<strong>in</strong>g [215]. chemical [460]. Chemistry [468]. Child [391]. Children [597, 129, 382, 476, 763]. Ch<strong>in</strong>a [908, 916, 917, 919, 918, 889]. Ch<strong>in</strong>ese [663, 642]. Chip [74]. Choice [367, 379, 573, 275]. Cholesky [75]. Choos<strong>in</strong>g [123]. Choreography [844]. Chosen [605, 604]. CHR [504]. CHRiSM [506]. Cipher [609, 434]. Ciphertext [605, 604]. Circle [713]. Circuits [784]. Class [262, 520, 197, 186, 63]. Class-Escape [520]. Class-Modular [520]. Classification [168, 851, 190, 196, 184, 702, 793, 203, 195, 595, 635]. Classifier [63, 199]. Classifier-Based [63]. Classifiers [201, 198]. Classroom [547]. Clauses [254, 272]. Clean<strong>in</strong>g [772]. Climb<strong>in</strong>g [880]. Cl<strong>in</strong>ical [581]. Clones [498]. Closures [566]. Cloud [309, 408, 107, 774, 716, 625, 426]. Clouds [671, 411]. Cloze [778]. CLP [494]. CLP-Based [494]. Cluster [731, 199]. Cluster-Based [731, 199]. Clustered [443]. Cluster<strong>in</strong>g [672, 457, 157, 699, 182, 661, 651, 806]. Clusters [679]. Co [560, 885, 200, 400, 60, 505, 792, 518]. Co-evolution [885]. Co-evolutionary [200]. Co-located [400]. Co-Logic [505]. Co-operative [885, 60]. Coalgebra [568]. Coalgebraic [265]. Coalgebras [267]. Coarse [84]. Coat<strong>in</strong>g [404]. Code [611]. Code-Based [611]. Coded [54]. Cod<strong>in</strong>g [618]. Coevolution [796]. Cognates [766]. Cognition [129]. Coimbra [925]. Collaboration [4]. Collaborative [854, 109, 395]. Collective [85, 876]. College [913]. Colloquium [905]. Colony [832, 835, 172]. Color [590, 403]. Colored [712]. Color<strong>in</strong>g [815, 576]. Comb<strong>in</strong>ation [490, 64]. Comb<strong>in</strong>atorial [927]. Comb<strong>in</strong><strong>in</strong>g [71, 268, 883, 200, 138, 807, 572, 187, 381, 260]. ComMapReduce [715]. Commercial [726]. Commitment [348]. Common [774, 696]. Communicat<strong>in</strong>g [229, 515]. Communication [715, 893, 331, 85, 872, 326, 334]. Communications [332]. Community [536, 532, 740, 481]. Commutativity [313]. Comonad [266]. Compact [146, 841]. Comparative [882, 854, 51, 541]. Compar<strong>in</strong>g [802, 832, 477, 452, 101]. Comparison [93, 834, 196, 333, 124]. 5
- Page 1 and 2: A Bibliography of Papers in Lecture
- Page 3: 216, 386, 597, 584, 867, 412, 591,
- Page 7 and 8: Cost-Efficient [342]. Cost-Sensitiv
- Page 9 and 10: Embodied [893]. Embryos [838]. Emer
- 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