ACSL [524]. Calmodul<strong>in</strong> [466]. Diversification-Driven [815]. Fold [505]. IEC [311]. ITG [888]. Out-Degree [546]. Prosody [137]. People [483]. Perception [135]. Percussionist [858]. Perfect [636, 577]. Perfection [280]. Perform [839]. Performance [446, 717, 751, 83, 43, 40, 205, 122, 86, 467, 108, 727, 390, 402, 687]. Performance-Oriented [717]. Permutation [92]. Personal [675, 642]. Personalized [652, 708]. Perspective [265, 870, 588, 460]. Pessimistic [71]. PET [64]. Petri [319]. Phase [809, 627]. Phd [422]. Phenotype [795]. Pheromone [872]. Pheromone-Based [872]. Phones [432, 431, 668]. Phylogenetic [835]. Physical [743]. Physico [460]. Physico-chemical [460]. Physiological [596]. Pi [276]. Pi-Calculus [276]. Pickups [807]. Pictorial [673]. Piecewise [452]. PIES [80]. Pipel<strong>in</strong>e [626]. Piracy [734]. Pivot<strong>in</strong>g [82]. PKCS#11 [322]. Placements [236]. Plagiarised [488]. Plann<strong>in</strong>g [142, 585, 809]. Plastic [397]. Plasticity [467]. Plate [76]. Platform [301, 666, 853, 591]. Platformer [885]. Platforms [6]. Platforms-Oriented [6]. Plausibility [556]. Play [390]. Players [391]. Play<strong>in</strong>g [386]. Pl<strong>in</strong>k [700]. Pl<strong>in</strong>k-LDA [700]. Po<strong>in</strong>tBurst [633]. Po<strong>in</strong>ted [267]. Po<strong>in</strong>t<strong>in</strong>g [122]. Po<strong>in</strong>ts [520, 396, 208]. Po<strong>in</strong>ts-To [208, 520]. Poland [890, 891]. Policies [320, 871, 430, 327]. Policy [6, 331, 330, 335]. Polish [584]. Polite [378]. Polygonal [80]. Polynomial [518, 590, 154]. Polyphonic [862]. Poor [332]. Pop [848]. Population [876, 849]. Population-Based [876]. Populations [850, 830, 467]. Portable [98]. Portfolio [880, 188]. Portfolios [882]. Portugal [925]. Portuguese [925, 762, 777, 765, 770, 771, 776, 764, 772, 768, 775, 774, 773, 761, 767]. Position<strong>in</strong>g [668]. Positive [702]. Possible [469]. POST [902]. Posts [637]. Potential [655, 877]. Power [681, 304, 158, 714, 584]. PPAM [890, 891]. Practice [900, 902, 901, 897, 917, 898, 899]. Practitioner [588]. Practitioners [841]. Pragmatic [372, 412, 351, 124]. Pre [602]. Pre-computable [602]. Precise [286]. Precision [484]. Preconditioner [76]. Predicate [517, 502]. Predicate-Level [517]. Predict<strong>in</strong>g [549, 475, 661]. Prediction [545, 542, 836, 214, 817, 585, 420, 187, 180, 489, 595, 52, 50, 913]. Predictive [463, 156]. Predictor [842]. Preface [422]. Preference [380, 857, 710]. Preference-Driven [380]. Preferences [147]. Preprocess<strong>in</strong>g [772]. Preserves [35]. Preserv<strong>in</strong>g [36]. Prevalence [544]. Prevent [621]. Prices [661]. Pric<strong>in</strong>g [879]. Pr<strong>in</strong>cipal [169]. Pr<strong>in</strong>ciples [902]. Prior [700]. PRISM [145]. Privacy [309, 304]. Private [338]. Probabilism [366]. Probabilistic [706, 151, 274, 228, 37, 36, 31, 160, 705, 35, 506, 659, 660]. Probability [705]. Problem [804, 90, 126, 807, 805, 442, 815, 76, 809, 874, 816, 803, 181, 143, 370, 806]. Problems [187, 86]. ProbLog [148]. Procedure [722, 173]. Proceed<strong>in</strong>gs [895, 896, 921, 922, 910, 900, 925, 902, 930, 920, 901, 928, 912, 927, 916, 909, 929, 926, 897, 917, 888, 898, 919, 918, 913, 923, 899]. 18
Process [414, 179, 9, 234, 424, 194, 241, 752]. Processes [274, 658, 409, 690]. Processign [909]. Process<strong>in</strong>g [706, 103, 925, 685, 454, 718, 739, 674, 13, 773, 890, 891, 379]. Processors [74]. Product [260, 259]. Production [454]. Productivity [751]. Products [726, 735, 260]. Pr<strong>of</strong>iles [458, 677, 652]. Program [781, 915, 499, 209, 216, 911, 212]. Programm<strong>in</strong>g [879, 150, 358, 98, 781, 153, 782, 826, 783, 799, 784, 785, 747, 856, 347, 786, 750, 859, 827, 753, 207, 926, 894, 788, 247, 789, 791, 793, 794, 351, 898, 621, 796, 757, 258, 831, 924, 904, 898]. Programs [250, 151, 268, 749, 113, 521, 145, 498, 492, 237, 356, 299, 505, 506, 95, 541]. Progress [716]. Project [177]. Projection [154, 48]. Projective [384]. Projectors [84]. Prokaryotes [455]. Prolog [507]. ProMAS [904]. Prompts [231]. Pronouns [775]. Pro<strong>of</strong> [447, 497, 312, 439]. Pro<strong>of</strong>s [323, 567, 299]. Propagation [640, 724, 632]. Properties [225, 606, 453, 27, 417, 505, 460, 35, 32]. Property [73]. Prophetic [270]. PROPHETS [247]. PROPOR [925]. Propositional [118]. Protection [678]. Prote<strong>in</strong> [836, 458, 817, 841, 842, 460]. Prote<strong>in</strong>-Prote<strong>in</strong> [841]. Protocol [305, 444, 72, 310, 867, 435]. Protocols [73, 225, 610, 306, 308, 797]. Provable [316]. Provably [311]. Prov<strong>in</strong>g [505, 529]. Provision<strong>in</strong>g [107]. Prun<strong>in</strong>g [636, 185]. Pseudoboolean [811]. Pseudorandom [78]. PSO [60, 829]. Psycho [545]. Psycho-social [545]. PU [646]. Public [337, 338]. PUF [445]. Pure [820]. Purpose [429]. Pushdown [291]. PVS [524]. Python [360]. q [518]. QoS [418]. QoS-Aware [418]. Quadrotor [174]. Quadruped [462]. Qualitative [355]. Qualities [124]. Quality [552, 420]. Quantificational [373]. Quantified [562]. Quantifiers [564]. Quantitative [280, 513, 283, 355, 384]. Quantized [286]. Quantum [79, 54]. Quasi [877]. Quasi-Parallel [877]. Queries [17, 472, 474, 252, 705, 693, 649, 655, 710, 716, 692]. Query [706, 103, 473, 471, 713, 488, 739, 723, 665]. Query<strong>in</strong>g [680, 15, 262, 696]. Question [778, 369, 481]. Questions [497]. Queue [28]. Quo [726]. QVT [254]. QVT-R [254]. R [254]. Ramsey [288, 271]. Ramsey-Based [288, 271]. Random [799, 178, 487]. Randomly [521]. Range [712, 681, 842]. Range-Free [681]. Rank<strong>in</strong>g [818, 745]. Rapid [454]. Rare [840]. Rat<strong>in</strong>g [404]. Rational [347]. RDBMS [591, 693]. RDF [695]. Re [313]. Re-encryption [313]. Reachability [280]. Reaction [824, 575, 468]. Reaction-Diffusion [468]. Reactive [444]. Read<strong>in</strong>gs [377]. Real [533, 844, 685, 499, 720, 411, 526, 674, 684, 54]. Real-Coded [54]. Real-Time [844, 685, 720, 411, 674]. Real-World [533]. Reality [666, 395]. Realiz<strong>in</strong>g [690]. Reason<strong>in</strong>g [268, 749, 892, 155, 236, 237, 752, 355]. 19
- 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 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: NSGA [805]. NSGA-II [805]. Number [
- 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