Tolerant [203]. Tone [862]. Too [286]. Tool [244, 764, 876]. Toolcha<strong>in</strong> [511]. Tools [901]. Top [705, 709, 697]. Top- [705, 709]. Top-Down [697]. Topic [700, 637]. Topicality [371]. Topics [369]. Topological [569]. Topologies [306, 823]. Toponym [779]. Torun [890, 891]. Touch [614, 393, 389]. Tourism [487]. TPM [430]. Trace [313, 274, 233, 673]. Traceability [24]. Trac<strong>in</strong>g [735]. Track<strong>in</strong>g [675, 399, 396, 830, 66]. Trademarks [330]. Trad<strong>in</strong>g [883]. Traditional [124]. Traffic [44, 674, 869]. Tra<strong>in</strong>ed [54]. Tra<strong>in</strong><strong>in</strong>g [51, 53]. Traits [391]. Trajectories [672]. Transactional [472, 703]. Transactions [223, 906, 914]. Transcript [454]. Transcription [862, 455]. Transfer [610, 565, 611, 188]. Transfers [74]. Transform [580]. Transformation [629, 396, 911]. Transformations [254, 500, 584, 505]. Transform<strong>in</strong>g [497, 255]. Transit [431]. Transition [293]. Translation [290, 41]. Transmission [681, 809]. Transport [341]. Travel [673]. Travel<strong>in</strong>g [858]. Treatments [458]. Tree [492, 289, 184, 569, 732, 842, 660]. Tree-Based [842]. Trees [497, 781, 158, 146, 187, 186, 835]. Trend [679]. Trends [542]. Tri [53]. Tri-tra<strong>in</strong><strong>in</strong>g [53]. Triangular [193]. Tribe [640]. Tribe-Leaders [640]. Tricks [394]. Trilateration [668]. Triple [253]. Truncated [609, 170]. Trust [545, 301, 902, 443, 645, 633]. Trust-Relationship [633]. Trusted [429, 908]. TrustZone [428]. Truth [741, 113]. Truth-Dependencies [113]. TSO [297, 224]. Tumor [593]. Tun<strong>in</strong>g [873]. Tutor [747]. Tweets [477]. Twig [628, 693]. Twitter [598]. Twitterverse [550]. Two [138, 616, 29, 546, 803, 627, 96]. Two-Echelon [803]. Two-phase [627]. Two-Term<strong>in</strong>al [29]. Type [322, 127]. Type-Based [322]. Types [229, 564, 467, 197]. Typical [694]. U.S. [580]. UI [425]. UK [909, 894]. Ultrasonic [668]. Ultrasound [65]. UML [262, 515]. UML-RT [515]. Unbounded [308]. Unbox<strong>in</strong>g [213]. UnCAL [500]. Uncerta<strong>in</strong> [706, 653]. Uncerta<strong>in</strong>ty [573]. Unconditional [314]. Under-Approximation [516]. Under-Approximations [294]. Underspecified [383]. Understand<strong>in</strong>g [597, 827]. Unfold [505]. Unfold/Fold [505]. Unlabeled [646, 702]. Unlabeled-Data-Distribution [646]. Unrated [656]. Unreliability [27]. Unsafe [211]. Unsupervised [168]. Unsymmetric [87]. Unusual [454]. Update [724, 381]. Updat<strong>in</strong>g [694]. UPPAAL [295]. Upper [193]. Urban [743]. URLs [477]. USA [912, 913]. Usage [723]. Use [104, 550]. Used [190, 196, 855]. User [672, 764, 123, 167, 854, 340, 389, 652, 124, 748]. User-Adapted [167]. Uses [548]. Us<strong>in</strong>g [810, 542, 779, 447, 518, 152, 742, 295, 499, 492, 139, 469, 585, 834, 720, 57, 837, 122, 293, 634, 413, 583, 411, 538, 488, 789, 654, 792, 727, 109, 504, 117, 270, 180, 809, 186, 256, 835, 118, 185, 259, 617, 389, 621, 529, 350, 450, 194, 64, 700, 169, 661, 284, 405, 80, 555, 191, 848]. Utiliz<strong>in</strong>g [184]. 24
VA [912]. Validat<strong>in</strong>g [239]. Validation [301, 548]. Valuable [839]. Value [214, 583]. Value-Based [214]. Variability [827]. Variable [803]. Variants [840]. Variational [160]. Variations [665]. Vasopress<strong>in</strong> [465]. VATA [289]. VCR [402]. Vector [848]. Vehicle [807, 805, 634, 181]. Verb [760, 761, 767]. Verbal [140, 673]. Verification [313, 527, 10, 305, 447, 225, 522, 512, 286, 307, 602, 285, 524, 99, 296, 526, 173, 308, 529]. Verified [250, 511, 222, 315]. Verify<strong>in</strong>g [249, 33]. Version [347]. versus [192]. Vertical [174]. Veterans [394, 580]. via [472, 254, 201, 67, 36, 867, 708]. Video [394, 173, 109]. Viewports [676]. Views [694]. VIII [914, 906]. V<strong>in</strong>eyard [20]. V<strong>in</strong>eyards [19]. Virtual [106, 436, 825, 334, 395, 582]. Virtualization [104, 40, 430, 621]. Visible [398]. Vision [404]. Visual [670, 614, 616, 638, 400]. Visualization [670, 109, 648]. Visually [671, 118]. Visuo [133]. Visuo-Spatial [133]. VMAD [216]. Vot<strong>in</strong>g [189, 310]. Vowel [531]. vs [376, 665]. W2GIS [920]. Walks [487]. Water [812]. Watermark [398, 555]. Ways [378]. Weak [221, 775]. Weather [879]. Weather-Derivatives [879]. Weav<strong>in</strong>g [742]. Web [919, 416, 483, 675, 671, 920, 474, 93, 478, 638, 631, 639, 425, 482, 748, 117, 919, 645, 918, 647]. Web-Based [671]. Webpages [489]. Weight [49]. Weighted [35, 189]. Weight<strong>in</strong>g [200, 480]. Weights [825]. Well [267]. Well-Po<strong>in</strong>ted [267]. WESOA [407, 907]. Where [369, 129, 254]. Which [4]. Whole [833]. Wide [371]. Wiimote [122]. Wikipedia [766, 657, 769, 637, 648]. WiMAX [39]. WiMAX-Based [39]. W<strong>in</strong>dows [807]. W<strong>in</strong>dsor [894]. W<strong>in</strong>e [4, 24]. W<strong>in</strong>n<strong>in</strong>g [577]. Wireless [19, 920, 234, 632, 443, 618, 866, 23]. with<strong>in</strong> [5, 580, 581, 450]. without [606, 194]. Word [663]. WordNet [738]. Words [403]. Work [839]. Workbench [44]. Workers [486]. Workflow [9, 105, 658, 410]. Workflows [91]. Workshop [892, 417, 904, 893, 407, 889]. Workshops [907, 918, 923]. World [533, 870, 550]. Worm [632]. Worst [31, 33]. Worst-Case [31]. Wrapper [202]. Write [727]. Written [99]. WS [419]. WS-SecurityPolicy [419]. WSNs [21, 22]. Xi’an [889]. XML [698, 628, 694, 100, 711, 696, 659, 651, 692]. XOR [618]. XQuery [495]. Years [69]. Zapp<strong>in</strong>g [39]. Zooplankton [827]. 25
- 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 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: Sub-populations [467]. Subgame [280
- 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