Hierarchically [515]. Hierarchy [724]. Hierarchy-Based [724]. High [781, 614, 751, 731, 83, 591, 654, 108, 195, 402]. High-Dimensional [731, 195]. High-Entropy [614]. High-Level [781]. High-Throughput [591]. Highly [760, 718, 838]. Hill [880]. Histograms [152, 686]. History [284]. History-Aware [284]. Hoc [72, 482, 73]. Holistic [676, 321]. Homes [810]. hop [20]. Horizontal [565]. Hospitals [581]. Hotel [170]. Hover<strong>in</strong>g [783]. HP [817]. Hubness [195]. Hubness-Aware [195]. Human [893, 839, 854, 857, 128, 595, 52, 177]. Human-Accompany<strong>in</strong>g [52]. Human-Computer [893, 854]. Human-Motion [128]. Hungary [924]. Hunt<strong>in</strong>g [152, 178]. Hybrid [862, 871, 184, 199, 388, 181, 402, 660, 895, 896]. HyFlex [813]. Hyper [814]. Hyper-Heuristic [814]. Hyperparameter [873]. Hyperproperties [321]. Hypotheses [159]. I/O [749, 40]. IBPM [43]. Iconic [133]. Iconicity [365]. ICSOC [907]. ICT [341]. Identification [614, 554, 442, 197, 388, 535, 64, 169]. Identify [538]. Identify<strong>in</strong>g [698]. Identity [446]. Identity-Based [446]. IDP [918]. IEKB [918]. IFS [401]. II [896, 805, 922, 891]. ILP [894, 156]. ILS [804, 815]. ILS-Based [804]. Image [590, 403, 591, 638, 182, 594, 593]. Images [478, 592, 65, 401, 191]. Imag<strong>in</strong>g [64]. Imbalanced [197]. Immune [839]. Immunochromatographic [594]. Impact [341, 475, 731]. Imperative [781]. Imperfect [577]. Implantable [296]. Implementation [20, 754, 764, 493, 732]. Implementations [101]. Implemented [755]. Implement<strong>in</strong>g [360]. Implications [331, 335, 333, 317]. Implicit [359]. Impossible [607, 608]. Improve [180]. Improved [271, 604, 504, 633]. Improvement [715, 34]. Improvements [433]. Improv<strong>in</strong>g [201, 205, 768, 787, 686, 553, 538, 789, 727, 687]. Improvisational [387]. Improviser [863]. In/Out [546]. In/ Out-Degree [546]. Inclusion [439]. Incomplete [453, 77]. Incremental [636, 658, 163]. Incrementalization [321]. Indef<strong>in</strong>ite [82]. Independent [256, 603, 696]. <strong>Index</strong> [731, 711]. <strong>Index</strong>es [695]. Indicator [330]. Indicators [332]. Indices [365]. Indifferentiability [437]. Indifferentiable [315]. Indirect [214]. Indist<strong>in</strong>guishability [606]. Individual [714]. Indoor [668]. Induction [264, 777, 163, 159]. Inductive [150, 153, 155, 894]. Inductive-Abductive [155]. Industrial [6, 330]. Industry [4]. Infer [486]. Inference [453, 145, 142, 160, 148]. Inferr<strong>in</strong>g [516, 828, 565, 835]. Inf<strong>in</strong>iBand [43]. Inflective [760]. Influence [546]. Informally [485]. Information [323, 910, 685, 770, 671, 920, 580, 587, 657, 916, 583, 546, 327, 133, 577, 700, 909, 917]. Informational [532]. Informative [656]. Informed [840]. Infra [655]. Infra-skyl<strong>in</strong>e [655]. Infrastructure [323, 164]. Infrastructures [887]. Inhabitation [574]. Inheritance [212]. Inhibitor [458]. Inhibitory [467]. Initial [885]. Initialisation [788]. 12
Innovation [5]. Inquisitive [367, 370]. Inquisitiveness [368]. Insensitivity [248]. Insertion [297]. Inspirations [391]. Inspired [929]. Instance [200]. Instances [414, 302]. Institutionalized [394]. Instrumentation [216]. Integrated [762, 585]. Integrat<strong>in</strong>g [150, 679, 583, 352]. Integration [140, 16, 259]. Integrity [618, 644]. Integrity-Guaranteed [644]. Intelligence [181]. Intelligent [895, 896, 889, 889]. Intensification [815, 374]. Intensification/ Diversification [815]. Intensification/Diversification-Driven [815]. Inter [206]. Inter-thread [206]. Interact<strong>in</strong>g [118]. Interaction [672, 393, 453, 667, 893, 125, 867, 841, 387, 124]. Interactions [30, 538, 842, 459]. Interactive [676, 268, 846, 474, 513, 856, 861, 109]. <strong>in</strong>terchange [889]. Interface [846, 123, 400, 117, 389]. Interfaces [124]. Interleaved [155]. Intermodel<strong>in</strong>g [252]. Internal [712, 377]. International [900, 925, 908, 895, 896, 892, 902, 904, 920, 893, 328, 407, 901, 912, 916, 921, 922, 722, 909, 929, 894, 897, 907, 917, 888, 911, 918, 890, 891, 913, 923, 899]. Internet [44, 167, 339]. Interoperability [242]. Interpolat<strong>in</strong>g [590, 792]. Interpolation [679]. Interpretation [512, 228, 380]. Interpreted [354]. Interprocedural [213]. Intersection [574]. Intervention [337, 541]. Intraday [881, 884]. Introduction [1, 417, 331, 325, 326, 344, 336]. INTRUST [908]. Inventories [412]. Inverse [519]. Inversion [209]. Investigat<strong>in</strong>g [857]. Investigation [790]. Investment [882]. Invocation [639]. IOV [40]. IPCAT [909]. iPIN [619]. IPTV [39]. IR [910]. IScIDE [889]. ISO [311, 507]. ISO/IEC [311]. ISO605 [903]. ISOcat [131]. ISPEC [917]. Issue [914]. Italy [920]. iTasks [748]. ITEMS [923, 656, 476, 708]. Iterated [814, 816]. Iterative [58]. JaCaMo [350]. Jason [351]. Java [298, 255]. Job [870, 90, 791, 94]. Jobs [96]. Jo<strong>in</strong>t [900, 902, 901, 897, 898, 899]. July [892, 894, 911]. June [924]. Kairos [721]. Kaiserslautern [888]. Kernel [621, 50, 169, 62]. Kernels [75, 206]. Key [322, 403, 396, 441, 617, 615]. Keynote [623]. Keyphrase [654]. Keys [312, 689]. Keyword [698, 709, 692]. Keywords [659]. K<strong>in</strong>ase [458]. K<strong>in</strong>g [375]. Kleene [559]. Kleisli [252]. Knowledge [15, 892, 695, 42, 629, 14, 12, 599, 737, 13, 118, 581, 143, 350, 370, 624]. Korea [921, 922, 923]. Kozen [915, 578]. Kunm<strong>in</strong>g [919, 918]. Labanotation [130]. Label [641, 184, 201]. Labeled [116]. Label<strong>in</strong>g [168, 637]. Labelled [293]. Labels [486]. Lagrange [590]. Lambda [226]. Landscapes [874]. Language [495, 905, 777, 136, 760, 925, 131, 134, 137, 893, 503, 138, 135, 140, 139, 285, 493, 347, 161, 525, 373, 763, 256, 13, 773, 374]. Languages [242, 492, 520, 278, 569, 501, 756, 898]. LARES [45]. 13
- 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 and 8: Cost-Efficient [342]. Cost-Sensitiv
- Page 9 and 10: Embodied [893]. Embryos [838]. Emer
- Page 11: Functional [495, 268, 749, 417, 67,
- 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