Characterization and computation of infinite-horizon specifications over Markov processes
 Tkachev, I Abate, A Theoretical Computer Science (2013)
Rewriting guarded negation queries
 Bárány, V Benedikt, M Ten Cate, B Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 8087 LNCS 98-110 (15 Oct 2013)
Improvement in Fast Particle Track Reconstruction with Robust Statistics
 Aartsen, M Abbasi, R Abdou, Y Ackermann, M Adams, J Aguilar, J Ahlers, M Altmann, D Auffenberg, J Bai, X Baker, M Barwick, S Baum, V Bay, R Beatty, J Bechet, S Tjus, J Becker, K Benabderrahmane, M BenZvi, S Berghaus, P Berley, D Bernardini, E Bernhard, A Besson, D Binder, G Bindig, D Bissok, M Blaufuss, E Blumenthal, J Boersma, D Bohaichuk, S Bohm, C Bose, D Böser, S Botner, O Brayeur, L Bretz, H Brown, A Bruijn, R Brunner, J Carson, M Casey, J Casier, M Chirkin, D Christov, A Christy, B Clark, K Clevermann, F Coenders, S Cohen, S Cowen, D Silva, A Danninger, M Daughhetee, J Davis, J Day, M Clercq, C Ridder, S Desiati, P Vries, K With, M DeYoung, T Díaz-Vélez, J Dunkman, M Eagan, R Eberhardt, B Eisch, J Euler, S Evenson, P Fadiran, O Fazely, A Fedynitch, A Feintzeig, J Feusels, T Filimonov, K Finley, C Fischer-Wasels, T Flis, S Franckowiak, A Frantzen, K Fuchs, T Gaisser, T Gallagher, J Gerhardt, L Gladstone, L Glüsenkamp, T Goldschmidt, A Golup, G Gonzalez, J Goodman, J Góra, D Grandmont, D Grant, D Groß, A Ha, C Ismail, A Hallen, P Hallgren, A Halzen, F Hanson, K Heereman, D Heinen, D Helbing, K Hellauer, R Hickford, S Hill, G Hoffman, K Hoffmann, R Homeier, A Hoshina, K Huelsnitz, W Hulth, P Hultqvist, K Hussain, S Ishihara, A Jacobi, E Jacobsen, J Jagielski, K Japaridze, G Jero, K Jlelati, O Kaminsky, B Kappes, A Karg, T Karle, A Kelley, J Kiryluk, J Kläs, J Klein, S Köhne, J Kohnen, G Kolanoski, H Köpke, L Kopper, C Kopper, S Koskinen, D Kowalski, M Krasberg, M Krings, K Kroll, G Kunnen, J Kurahashi, N Kuwabara, T Labare, M Landsman, H Larson, M Lesiak-Bzdak, M Leuermann, M Leute, J Lünemann, J Macías, O Madsen, J Maggi, G Maruyama, R Mase, K Matis, H McNally, F Meagher, K Merck, M Meures, T Miarecki, S Middell, E Milke, N Miller, J Mohrmann, L Montaruli, T Morse, R Nahnhauer, R Naumann, U Niederhausen, H Nowicki, S Nygren, D Obertacke, A Odrowski, S Olivas, A Omairat, A O'Murchadha, A Paul, L Pepper, J Heros, C Pfendner, C Pieloth, D Pinat, E Posselt, J Price, P Przybylski, G Rädel, L Rameez, M Rawlins, K Ré, C Recht, B Redl, P Reimann, R Resconi, E Rhode, W Ribordy, M Richman, M Riedel, B Rodrigues, J Rott, C Ruhe, T Ruzybayev, B Ryckbosch, D Saba, S Salameh, T Sander, H Santander, M Sarkar, S Schatto, K Scheriau, F Schmidt, T Schmitz, M Schoenen, S Schöneberg, S Schönwald, A Schukraft, A Schulte, L Schulz, O Seckel, D Sestayo, Y Seunarine, S Shanidze, R Sheremata, C Smith, M Soldin, D Spiczak, G Spiering, C Stamatikos, M Stanev, T Stanisha, N Stasik, A Stezelberger, T Stokstad, R Stößl, A Strahler, E Ström, R Sullivan, G Taavola, H Taboada, I Tamburro, A Tepe, A Ter-Antonyan, S Tešić, G Tilav, S Toale, P Toscano, S Unger, E Usner, M Vallecorsa, S Eijndhoven, N Overloop, A Santen, J Vehring, M Voge, M Vraeghe, M Walck, C Waldenmaier, T Wallraff, M Weaver, C Wellons, M Wendt, C Westerhoff, S Whitehorn, N Wiebe, K Wiebusch, C Williams, D Wissing, H Wolf, M Wood, T Woschnagg, K Xu, D Xu, X Yanez, J Yodh, G Yoshida, S Zarzhitsky, P Ziemann, J Zierke, S Zoll, M NIM A volume 736 143 (26 Aug 2013) http://arxiv.org/abs/1308.5501v2
Determinacy and Rewriting of Top-Down and MSO Tree Transformations.
 Benedikt, M Engelfriet, J Maneth, S MFCS volume 8087 146-158 (2013)
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071).
 Abramsky, S Kontinen, J Väänänen, J Vollmer, H Dagstuhl Reports volume 3 45-54 (2013)
Monadic Datalog Containment
 Benedikt, M Bourhis, P Senellart, P volume 7392 79-91 (2012)
Aggregating Semantic Annotators
 Chen, L Ortona, S Orsi, G Benedikt, M The VLDB Journal volume 6 issue 13 1486-1497
Overview of physics results from MAST towards ITER/DEMO and the MAST Upgrade
 Meyer, H Abel, I Akers, R Allan, A Allan, S Appel, L Asunta, O Barnes, M Barratt, N Ben Ayed, N Bradley, J Canik, J Cahyna, P Cecconello, M Challis, C Chapman, I Ciric, D Colyer, G Conway, N Cox, M Crowley, B Cowley, S Cunningham, G Danilov, A Darke, A De Bock, M De Temmerman, G Dendy, R Denner, P Dickinson, D Dnestrovsky, A Dnestrovsky, Y Driscoll, M Dudson, B Dunai, D Dunstan, M Dura, P Elmore, S Field, A Fishpool, G Freethy, S Fundamenski, W Garzotti, L Ghim, Y Gibson, K Gryaznevich, M Harrison, J Havlíčková, E Hawkes, N Heidbrink, W Hender, T Highcock, E Higgins, D Hill, P Hnat, B Hole, M Horáček, J Howell, D Imada, K Jones, O Kaveeva, E Keeling, D Kirk, A Kočan, M Lake, R Lehnen, M Leggate, H Liang, Y Lilley, M Lisgo, S Liu, Y Lloyd, B Maddison, G Mailloux, J Martin, R McArdle, G McClements, K McMillan, B Michael, C Militello, F Molchanov, P Mordijck, S Morgan, T Morris, A Muir, D Nardon, E Naulin, V Naylor, G Nielsen, A O'Brien, M O'Gorman, T Pamela, S Parra, F Patel, A Pinches, S Price, M Roach, C Robinson, J Romanelli, M Rozhansky, V Nuclear Fusion volume 53 issue 10 (01 Oct 2013)
A model of brain circulation and metabolism: NIRS signal changes during physiological challenges
 Banaji, M Mallet, A Elwell, C Nicholls, P Cooper, C PLoS Computational Biology volume 4 issue 11 ARTN e1000212 (07 Nov 2008)
Subscribe to