Site [595]. Sites [91]. Situational [538]. Size [210]. Skeleton [99]. Skewed [687]. Skyl<strong>in</strong>e [706, 707, 655]. SLA [423, 32, 41]. SLA-Aware [423]. SLCA [697]. Slid<strong>in</strong>g [174]. Slow [544]. Small [870, 566, 78]. Small-Step [566]. Small-World [870]. Smart [810, 736]. SMEs [6]. Smok<strong>in</strong>g [544, 541]. Smooth<strong>in</strong>g [484]. SMT [529, 510]. SMT-Based [510]. SNSM [923]. SOC [417, 907]. Social [533, 542, 745, 680, 672, 393, 742, 171, 550, 331, 478, 740, 744, 631, 713, 539, 332, 655, 334, 548, 743, 877, 633, 541, 545, 913]. Societies [540, 164]. Society [327, 743]. Socio [540]. Socio-cultural [540]. Socioemotional [582]. S<strong>of</strong>tware [511, 900, 902, 901, 408, 343, 524, 30, 897, 38, 898, 259, 755, 428, 215, 899]. S<strong>of</strong>tware-Only [215]. Solar [179]. Solution [762, 58]. Solutions [8, 114]. Solve [807]. Solver [83, 529]. Solv<strong>in</strong>g [126, 806]. SOM [196]. Somatosensory [394]. Some [526, 757, 433]. Someth<strong>in</strong>g [382]. Sound [852, 856, 127, 859, 929, 435]. Soundness [314, 606]. Source [392, 43, 773, 28, 693]. Sources [16, 838]. South [921, 922, 923]. Space [361, 233, 729, 307, 84, 42, 356, 868]. Spaces [233]. Spa<strong>in</strong> [910, 895, 896, 892, 930, 928, 927, 929, 926]. Spares [28]. Sparse [316, 87, 50]. Spatial [126, 632, 721, 161, 677, 129, 133, 189, 665]. Spatio [457, 679]. Spatio-temporal [457, 679]. Spatiotemporal [464]. Speaker [169]. Special [914]. Specialization [499, 875]. Specific [493]. Specification [227, 528]. Specifications [243]. Spectral [127]. Spectrum [763]. Speech [667, 485, 167, 718, 623]. Speed [665]. Speed<strong>in</strong>g [199]. Spell<strong>in</strong>g [764]. SPIDAR [400]. SPIDAR-Pen [400]. Splice [595]. Splitt<strong>in</strong>g [661]. Spontaneous [126, 176]. Spread [598]. SQL [689]. Square [620]. Squares [58]. SQWRL [680]. SR [40]. SR-IOV [40]. SRAM [445]. SSA [222]. SSA-Based [222]. SSD [726]. Stable [246]. Staccato [132]. Stack [40]. Stacker [804]. Stage [662, 237]. Standard [311]. Standardization [722]. Star [693]. Stars [693, 655]. State [519, 233, 67, 356, 575, 515]. State-Space [233]. Static [521, 211, 755]. Statistical [46, 376, 517, 538]. Statistics [723]. Status [67, 726]. STE3D [613]. STE3D-CAP [613]. Steel [187]. Steepest [880]. Steered [563]. Steganalysis [556]. Stem [463]. Stems [778]. Step [566]. Stepmothers [277]. Steps [526]. Steroids [693]. Sticky [430]. Stigmergic [872]. Stochastic [829, 108, 28]. Stock [883]. Stokes [80]. Storage [733, 91, 717, 729, 731, 714, 70, 583, 728]. Strategic [409]. Strategies [394, 461, 93, 580, 84, 373, 186, 317]. Strategy [4, 359, 503, 443, 820, 625]. Stratified [670]. Stream [706, 720, 634, 718]. Stream<strong>in</strong>g [701, 109, 674, 402]. Streams [628, 719]. Strictly [77]. Str<strong>in</strong>g [627]. Strip [594]. Strongly [781]. Structural [745, 654, 460]. Structurally [279]. Structure [151, 378, 276, 817, 603, 696, 284, 660]. Structure-Independent [696]. Structured [485, 776, 479]. Structures [836, 900, 892]. Studies [133]. Study [2, 309, 532, 667, 882, 729, 469, 722, 51, 186, 529, 391, 541]. Sub [467]. 22
Sub-populations [467]. Subgame [280]. Subgraph [699]. Subgroup [152]. Subsequence [650]. Subsystem [30]. Subtyp<strong>in</strong>g [564]. Sufficient [306]. Suggestion [647]. Suite [517]. Summarization [737]. Summer [924]. supervised [646, 699, 55]. Supply [24]. Support [17, 532, 474, 214, 724, 106, 40, 251, 424, 402, 650, 767, 215]. Supported [95]. Support<strong>in</strong>g [309, 115]. susta<strong>in</strong>ability [504]. Susta<strong>in</strong><strong>in</strong>g [821]. SVM [837, 654]. SVMs [184]. Swarm [808, 862, 825, 60, 829]. SWIP [117]. Symbolic [314, 305, 493, 259, 435, 515]. symbols [395]. Symmetric [82]. Symposium [920, 912, 898, 422, 911]. Symptom [599]. Synaptic [467]. SynchAADL2Maude [244]. Synchronisation [138]. Synchronization [72, 253]. Synchronous [639]. Syntactic [777, 790]. Synthesis [137, 852, 911]. System [626, 171, 360, 851, 456, 812, 285, 720, 404, 598, 187, 70, 465, 570, 718, 117, 165, 217, 869, 350, 624, 586]. Systematic [231]. Systems [39, 82, 10, 8, 908, 458, 895, 896, 904, 920, 724, 901, 115, 839, 587, 249, 354, 293, 634, 921, 922, 639, 824, 752, 77, 362, 669, 381, 829, 173, 423, 756, 874, 575, 888, 898, 755, 875, 74, 450, 41, 923]. Tables [584, 689]. TACAS [901]. Tag [671, 651, 671]. Tags [741, 477]. Tailored [461]. Taipei [904]. Taiwan [904]. Takedown [317]. TAL [525]. Tall<strong>in</strong>n [900, 902, 901, 897, 898, 899]. Tam<strong>in</strong>g [408]. Target [458, 57, 829]. Target<strong>in</strong>g [874]. Tariffs [340, 332]. Task [249, 823, 395]. Tasks [122, 180, 450, 172]. Taxonomy [166, 662]. Taxonomy-Oriented [662]. Taylor [518]. TDSC [627]. Teach<strong>in</strong>g [392]. Team [359]. Teams [539, 582, 172]. Technical [883]. Technique [233, 799, 436]. Techniques [242, 109, 665]. Technological [623, 4]. Technologies [887, 331, 919, 918]. Technology [580, 731]. Tel [903]. Telecommunication [325, 903]. Telecommunications [343, 330]. Telehealth [580]. Television [335]. Tell [382]. Temperature [187]. Templates [97, 472]. Temporal [496, 670, 770, 658, 525, 270, 457, 679]. Tent [194]. Term [585, 768, 827, 480]. Term<strong>in</strong>al [29]. Term<strong>in</strong>ation [300, 504, 299, 506, 507]. Terms [570]. Test [494, 232, 517, 423]. Test<strong>in</strong>g [274, 521, 871, 30, 259]. Text [175]. Texts [770, 771]. TFETI [84]. Their [317]. Them [498]. Theoretic [318]. Theoretical [133]. Theories [313, 268, 381]. Theory [537, 900, 227, 902, 901, 135, 567, 534, 897, 898, 899]. Th<strong>in</strong>k [129]. Th<strong>in</strong>k<strong>in</strong>g [685, 304]. Third [908]. Thomann [132]. Thousands [529]. thread [206]. threaded [299]. Thread<strong>in</strong>g [98]. Threat [535]. Three [398]. Three-Dimensional [398]. Throughput [591]. Thumb [134]. Thyroid [593]. Ticket<strong>in</strong>g [432, 431]. Tile [210]. Time [578, 844, 73, 685, 771, 802, 154, 31, 807, 720, 86, 884, 411, 702, 829, 674, 684, 50, 661]. Time-Series [50]. Timed [37, 513]. Times [180]. Tim<strong>in</strong>g [31, 127]. T<strong>in</strong>y [681]. Tissues [909]. TNC [435]. Together [133]. Tolerance [888]. 23
- 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: Sampling [799]. SAT [284]. Satellit
- 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