The complexity of higher-order queries
Benedikt, M Puppis, G Vu, H Information and Computation volume 244 172-202 (Oct 2015)
We offer five MSc courses ranging from the Oxford Masters in Mathematical Sciences to more specific courses for Theoretical Physics, Mathematical Modelling and Computational Finance. Find out more details, including how to apply and key deadlines, as well as information about the different courses.
view from roof terrace towards Radcliffe Observatory
A list of our most commonly asked questions as well as some information regarding funding, applications, and graduate study at Oxford. Further enquiries can be directed to graduate.studies@maths.ox.ac.uk.
CTA Contributions to the 34th International Cosmic Ray Conference (ICRC2015)
Consortium, T : Abchiche, A Abeysekara, U Abril, Ó Acero, F Acharya, B Actis, M Agnetta, G Aguilar, J Aharonian, F Akhperjanian, A Albert, A Alcubierre, M Alfaro, R Aliu, E Allafort, A Allan, D Allekotte, I Aloisio, R Amans, J Amato, E Ambrogi, L Ambrosi, G Ambrosio, M Anderson, J Anduze, M Angüner, E Antolini, E Antonelli, L Antonucci, M Antonuccio, V Antoranz, P Aramo, C Aravantinos, A Argan, A Armstrong, T Arnaldi, H Arnold, L Arrabito, L Arrieta, M Asano, K Asorey, H Aune, T Singh, C Babic, A Backes, M Bais, A Bajtlik, S Balazs, C Balbo, M Balis, D Balkowski, C Ballester, O Ballet, J Balzer, A Bamba, A Bandiera, R Barber, A Barbier, C Barceló, M Barnacka, A de Almeida, U Barrio, J Basso, S Bastieri, D Bauer, C Baushev, A Becciani, U Becherini, Y Tjus, J Beckmann, V Bednarek, W Benbow, W Ventura, D Berdugo, J Berge, D Bernardini, E Bernhard, S Bernlöhr, K Bertucci, B Besel, M Bhatt, N Bhattacharjee, P Bhattachryya, S Biasuzzi, B Bicknell, G Bigongiari, C Biland, A Billotta, S Bilnik, W Biondo, B Bird, T Birsin, E Bissaldi, E Biteau, J Bitossi, M Bigas, O Blasi, P Boehm, C Bogacz, L Bogdan, M Bohacova, M Boisson, C Gargallo, J Bolmont, J Bonanno, G Bonardi, A Bonifacio, P Bonnoli, G Borkowski, J Bose, R Bosnjak, Z Bottani, A Böttcher, M Bousquet, J Boutonnet, C Bouyjou, F Braiding, C Brandt, L Brau-Nogué, S Bregeon, J Bretz, T Briggs, M Brigida, M Bringmann, T Brisken, W Brocato, E Brook, P Brown, A Brun, P Brunetti, G Brunetti, L Bruno, P Bryan, M Buanes, T Bucciantini, N Buchholtz, G Buckley, J Bugaev, V Bühler, R Bulgarelli, A Bulik, T Burton, M Burtovoi, A Busetto, G Buson, S Buss, J Byrum, K Cameron, R Camprecios, J Canelli, F Canestrari, R Cantu, S Capalbi, M Capasso, M Capobianco, G Caraveo, P Cardenzana, J Carius, S Carlile, C Carmona, E Carosi, A Carosi, R Carr, J Carroll, M Carter, J Carton, P Caruso, R Casandjian, J Casanova, S Cascone, E Casiraghi, M Castellina, A Catalano, O Catalanotti, S Cavazzani, S Cazaux, S Cefalà, M Cerchiara, P Cereda, M Cerruti, M Chabanne, E Chadwick, P Champion, C Chaty, S Chaves, R Cheimets, P Chen, A Chen, X Chernyakova, M Chiappetti, L Chikawa, M Chinn, D Chitnis, V Cho, N Christov, A Chudoba, J Cieślar, M Cillis, A Ciocci, M Clay, R Cohen-Tanugi, J Colafrancesco, S Colin, P Colombo, E Colome, J Colonges, S Compin, M Conforti, V Connaughton, V Connell, S Conrad, J Contreras, J Coppi, P Corbel, S Coridian, J Corona, P Corti, D Cortina, J Cossio, L Costa, A Costantini, H Cotter, G Courty, B Covino, S Covone, G Crimi, G Criswell, S Crocker, R Croston, J Cusumano, G Da Vela, P Dale, Ø D'Ammando, F Dang, D Daniel, M Davids, I Dawson, B Dazzi, F Costa, B De Angelis, A Cardoso, R De Caprio, V De Cesare, G De Franco, A De Frondat, F Pino, E de la Calle, I De La Vega, G Lopez, R De Lotto, B De Luca, A Neto, J de Naurois, M Wilhelmi, E De Palma, F de Souza, V Decock, G Deil, C Del Santo, M Delagnes, E Deleglise, G Delgado, C della Volpe, D Deloye, P Depaola, G Detournay, M Dettlaff, A Di Girolamo, T Di Giulio, C Di Paola, A Di Pierro, F Di Sciascio, G Díaz, C Dick, J Dickinson, H Diebold, S Diez, V Digel, S Dipold, J Disset, G Distefano, A Djannati-Ataï, A Doert, M Dohmke, M Domainko, W Dominik, N Prester, D Donat, A Donnarumma, I Dorner, D Doro, M Dournaux, J Doyle, K Drake, G Dravins, D Drury, L Dubus, G Dumas, D Dumm, J Durand, D D'Urso, D Dwarkadas, V Dyks, J Dyrda, M Ebr, J Echaniz, J Edy, E Egberts, K Eger, P Einecke, S Eisch, J Eisenkolb, F Eleftheriadis, C Elsässer, D Emmanoulopoulos, D Engelbrecht, C Engelhaupt, D Ernenwein, J Errando, M Eschbach, S Etchegoyen, A Evans, P Fairbairn, M Falcone, A Fantinel, D Farakos, K Farnier, C Farrell, E Farrell, S Fasola, G Fegan, S Feinstein, F Ferenc, D Fernandez, A Fernandez-Alonso, M Ferreira, O Fesquet, M Fetfatzis, P Fiasson, A Filipčič, A Filipovic, M Fink, D Finley, C Finley, J Finoguenov, A Fioretti, V Fiorini, M Curcoll, R Fleischhack, H Flores, H Florin, D Föhr, C Fokitis, E Font, L Fontaine, G Fontes, B Forest, F Fornasa, M Förster, A Fortin, P Fortson, L Fouque, N Franckowiak, A Franco, F Frankowski, A Frega, N Albuquerque, I Coromina, L Fresnillo, L Fruck, C Fuessling, M Fugazza, D Fujita, Y Fukami, S Fukazawa, Y Fukuda, T Fukui, Y Funk, S Gäbele, W Gabici, S Gadola, A Galante, N Gall, D Gallant, Y Galloway, D Gallozzi, S Gao, S Garcia, B Gil, R López, R Garczarczyk, M Gardiol, D Gargano, C Gargano, F Garozzo, S Garrecht, F Garrido, D Garrido, L Gascon, D Gaskins, J Gaudemard, J Gaug, M Gaweda, J Geffroy, N Gérard, L Ghalumyan, A Ghedina, A Ghigo, M Ghislain, P Giannakaki, E Gianotti, F Giarrusso, S Giavitto, G Giebels, B Giglietto, N Gika, V Gimenes, R Giomi, M Giommi, P Giordano, F Giovannini, G Giro, E Giroletti, M Giuliani, A Glicenstein, J Godinovic, N Goldoni, P Berisso, M Vargas, G Gonzalez, M González, A González, F Muñoz, A Gothe, K Gotz, D Grabarczyk, T Graciani, R Grandi, P Grañena, F Granot, J Grasseau, G Gredig, R Green, A Greenshaw, T Grenier, I Grillo, A Grondin, M Grube, J Grudzinska, M Grygorczuk, J Guarino, V Guberman, D Gunji, S Gyuk, G Hadasch, D Hagedorn, A Hahn, J Hakansson, N Heras, N Hanabata, Y Hara, S Hardcastle, M Harris, J Hassan, T Hatanaka, K Haubold, T Haupt, A Hayakawa, T Hayashida, M Heller, M Heller, R Henault, F Henri, G Hermann, G Hermel, R Llorente, J Herrero, A Hervet, O Hidaka, N Hinton, J Hirai, W Hirotani, K Hoard, D Hoffmann, D Hofmann, W Hofverberg, P Holch, T Holder, J Hooper, S Horan, D Hörandel, J Hormigos, S Horns, D Hose, J Houles, J Hovatta, T Hrabovsky, M Hrupec, D Huet, J Hütten, M Humensky, T Huovelin, J Huppert, J Iacovacci, M Ibarra, A Idźkowski, B Ikawa, D Illa, J Impiombato, D Incorvaia, S Inome, Y Inoue, S Inoue, T Inoue, Y Iocco, F Ioka, K Iori, M Ishio, K Israel, G Jablonski, C Jacholkowska, A Jacquemier, J Jamrozy, M Janecek, P Janiak, M Jankowsky, F Jean, P Jeanney, C Jegouzo, I Jenke, P Jimenez, J Jingo, M Jocou, L Jogler, T Johnson, C Journet, L Juffroy, C Jung, I Kaaret, P Kagaya, M Kakuwa, J Kalekin, O Kalkuhl, C Kankanyan, R Karastergiou, A Kärcher, K Karczewski, M Karkar, S Karn, P Kasperek, J Katagiri, H Kataoka, J Katarzyński, K Katz, U Kaufmann, S Kawanaka, N Kawashima, T Kazanas, D Kelley-Hoskins, N Kellner-Leidel, B Kendziorra, E Kersten, J Khélifi, B Kieda, D Kihm, T Kisaka, S Kissmann, R Klepser, S Kluźniak, W Knapen, J Knapp, J Knödlseder, J Köck, F Kocot, J Kodakkadan, A Kodani, K Kohri, K Kojima, T Kokkotas, K Kolitzus, D Komin, N Kominis, I Konno, Y Kosack, K Koss, G Koul, R Kowal, G Koyama, S Kozioł, J Kraus, M Krause, J Krause, M Krawzcynski, H Krennrich, F Kretzschmann, A Kruger, P Kubo, H Kudryavtsev, V Mezek, G Kushida, J Kuznetsov, A La Barbera, A La Palombara, N La Parola, V La Rosa, G Laffon, H Lagadec, T Lahmann, R Lalik, K Lamanna, G Landriu, D Landt, H Lang, R Languignon, D Lapington, J Laporte, P Latovski, N Law-Green, D Fèvre, J Flour, T Sidaner, P Lee, S Lee, W Leffhalm, K Leich, H de Oliveira, M Lelas, D Lemière, A Lemoine-Goumard, M Lenain, J Leonard, R Leoni, R Lessio, L Leto, G Leveque, A Lieunard, B Limon, M Lindemann, R Lindfors, E Liolios, A Lipniacka, A Lockart, H Lohse, T Loiseau, D Łokas, E Lombardi, S Longo, F Longo, G Lopatin, A Lopez, M López-Coto, R López-Oramas, A Loreggia, D Louge, T Louis, F Lu, C Lucarelli, F Lucchesi, D Lüdecke, H Luque-Escamilla, P Luz, O Lyard, E Maccarone, M Maccarone, T Mach, E Madejski, G Madonna, A Mahabir, M Maier, G Majumdar, P Makariev, M Malaguti, G Malaspina, G Mallot, A Maltezos, S Mancilla, A Mandat, D Maneva, G Manigot, P Mankushiyil, N Mannheim, K Maragos, N Marano, D Marchegiani, P Marcomini, J Marcowith, A Mariotti, M Marisaldi, M Markoff, S Marszałek, A Martens, C Martí, J Martin, J Martin, P Martínez, G Martínez, M Martínez, O Marx, R Massimino, P Mastichiadis, A Mastroianni, S Mastropietro, M Masuda, S Matsumoto, H Matsuoka, S Mattiazzo, S Maurin, G Maxted, N Maya, J Mayer, M Mazin, D Mazureau, E Mazziotta, M Comb, L McCann, A McCubbin, N McHardy, I McKay, R McKinney, K Meagher, K Medina, C Mehrez, F Melioli, C Melkumyan, D Melo, D Melse, T Mereghetti, S Mertsch, P Meyer, M Meyrelles, J Miccichè, A Michałowski, J Micolon, P Mientjes, P Mignot, S Mihailidis, A Mineo, T Minuti, M Mirabal, N Mirabel, F Miranda, J Mirzoyan, R Mistò, A Mitchell, A Mizuno, T Moderski, R Mognet, I Mohammed, M Moharana, R Molinari, E Monmarthe, E Monnier, G Montaruli, T Monte, C Monteiro, I Moore, P Olaizola, A Morello, C Moretti, E Mori, K Morlino, G Morselli, A Mottez, F Moudden, Y Moulin, E Mrusek, I Mueller, S Mukherjee, R Munar-Adrover, P Mundell, C Muraishi, H Murase, K Muronga, A Murphy, A Nagataki, S Nagayoshi, T Nagesh, B Naito, T Nakajima, D Nakamori, T Nakayama, K Naumann, D Nayman, P Nellen, L Nemmen, R Neronov, A Neustroev, V Neyroud, N Nguyen, T Nicastro, L Nicolau-Kukliński, J Niederwanger, F Niedźwiecki, A Niemiec, J Nieto, D Nievas, M Nikolaidis, A Nishijima, K Nishikawa, K Noda, K Nogues, L Nolan, S Northrop, R Nosek, D Nozka, L Nunio, F Oakes, L O'Brien, P Occhipinti, G de Bhroithe, A Ogino, M Ohira, Y Ohishi, M Ohm, S Ohoka, H Okumura, A Olive, J Olszowski, D Ong, R Ono, S Orienti, M Orito, R Orlati, A Osborne, J Ostrowski, M Otero, L Ottaway, D Otte, N Oya, I Ozieblo, A Padovani, M Pagano, I Paiano, S Paizis, A Palacio, J Palatka, M Pallotta, J Panagiotidis, K Panazol, J Paneque, D Panter, M Panzera, M Paoletti, R Paolillo, M Papayannis, A Papyan, G Paravac, A Paredes, J Pareschi, G Park, N Parsons, D Paśko, P Pavy, S Arribas, M Pech, M Peck, A Pedaletti, G Peet, S Pelassa, V Pelat, D Peres, C Perez, M Perri, L Persic, M Petrashyk, A Petrucci, P Peyaud, B Pfeifer, M Pfeiffer, G Piano, G Pichel, A Pieloth, D Pierbattista, M Pierre, E de Pinho, F García, C Piret, Y Pita, S Planes, A Platino, M Platos, Ł Platzer, R Podkladkin, S Pogosyan, L Pohl, M Poinsignon, P Ponz, J Porcelli, A Potter, W Poulios, S Poutanen, J Prandini, E Prast, J Preece, R Profeti, F Prokhorov, D Prokoph, H Prouza, M Proyetti, M Pruchniewicz, R Pueschel, E Pühlhofer, G Puljak, I Punch, M Pyzioł, R Queiroz, F Quel, E Quinn, J Quirrenbach, A Racero, E Räck, T Rafalski, J Rafighi, I Rainò, S Rajda, P Rameez, M Rando, R Rannot, R Rataj, M Rateau, S Ravel, T Ravignani, D Razzaque, S Reardon, P Reimann, O Reimer, A Reimer, O Reitberger, K Renaud, M Renner, S Reposeur, T Rettig, R Reville, B Rhode, W Ribeiro, D Ribó, M Richards, G Richer, M Rico, J Ridky, J Rieger, F Ringegni, P Ristori, P Rivière, A Rivoire, S Roache, E Rodeghiero, G Rodriguez, J Fernandez, G Vázquez, J Rogers, T Rojas, G Romano, P Rodriguez, M Romeo, G Romero, G Roncadelli, M Rose, J Rosen, S Lees, S Ross, D Rossiter, P Rouaix, G Rousselle, J Rovero, A Rowell, G Roy, F Royer, S Różańska, A Rudak, B Rugliancich, A Rulten, C Rupiński, M Russo, F Rutkowski, K Saavedra, O Sabatini, S Sacco, B Saemann, E Saggion, A Saha, L Sahakian, V Saito, K Saito, T Sakaki, N Salega, M Salek, D Salgado, J Salini, A Sanchez, D Sanchez, F Sanchez-Conde, M Sandaker, H Sandoval, A Sangiorgi, P Sanguillon, M Sano, H Santander, M Santangelo, A Santos, E Santos-Lima, R Sanuy, A Sapozhnikov, L Sarkar, S Satalecka, K Savalle, R Sawada, M Sayède, F Schafer, J Schanne, S Schanz, T Schioppa, E Schlenstedt, S Schlickeiser, R Schmidt, T Schmoll, J Schneider, M Schovanek, P Schubert, A Schultz, C Schultze, J Schulz, A Schulz, S Schure, K Schussler, F Schwab, T Schwanke, U Schwarz, J Schweizer, T Schwemmer, S Schwendicke, U Schwerdt, C Segreto, A Seiradakis, J Sembroski, G Semikoz, D Serre, N Servillat, M Seweryn, K Shafi, N Sharma, M Shayduk, M Shellard, R Shibata, T Pandeni, K Shukla, A Shum, E Sidoli, L Sidz, M Sieiro, J Siejkowski, H Silk, J Sillanpää, A Simone, D Singh, B Sinha, A Sironi, G Sitarek, J Sizun, P Slyusar, V Smith, A Smith, J Sobczyńska, D Sol, H Sottile, G Sowiński, M Spanier, F Spengler, G Spiga, D Stadler, R Stahl, O Stamatescu, V Stamerra, A Stanič, S Starling, R Stawarz, Ł Steenkamp, R Stefanik, S Stegmann, C Steiner, S Stella, C Stergioulas, N Sternberger, R Sterzel, M Stevenson, B Stinzing, F Stodulska, M Stodulski, M Stolarczyk, T Straumann, U Strazzeri, E Stringhetti, L Strzys, M Stuik, R Sulanke, K Supanitsky, A Suric, T Sushch, I Sutcliffe, P Sykes, J Szanecki, M Szepieniec, T Szwarnog, P Tacchini, A Tachihara, K Tagliaferri, G Tajima, H Takahashi, H Takahashi, K Takahashi, M Takalo, L Takami, H Talbot, G Tammi, J Tanaka, M Tanaka, S Tanaka, T Tanaka, Y Tanci, C Tarantino, E Tavani, M Tavecchio, F Tavernet, J Tayabaly, K Tejedor, L Telezhinsky, I Temme, F Temnikov, P Tenzer, C Terada, Y Terrier, R Tescaro, D Teshima, M Testa, V Tezier, D Thayer, J Thomas, V Thornhill, J Thuermann, D Tibaldo, L Tibolla, O Tiengo, A Tijsseling, G Timpanaro, M Tluczykont, M Peixoto, C Tokanai, F Tokarz, M Toma, K Tomastik, J Tomono, Y Tonachini, A Tonev, D Torii, K Tornikoski, M Torres, D Torres, M Torresi, E Toscano, S Toso, G Tosti, G Totani, T Tothill, N Toussenel, F Tovmassian, G Townsley, C Toyama, T Travnicek, P Trifoglio, M Pujadas, I Trzeciak, M Tsinganos, K Tsubone, Y Tsuchiya, Y Tsujimoto, S Tsuru, T Uchiyama, Y Umana, G Umetsu, Y Underwood, C Upadhya, S Uslenghi, M Vagnetti, F Valdes-Galicia, J Vallania, P Vallejo, G Valore, L van Driel, W van Eldik, C van Soelen, B Vandenbroucke, J Vanderwalt, J Vasileiadis, G Vassiliev, V Acosta, M Vecchi, M Vegas, I Veitch, P Venema, L Venter, C Vercellone, S Vergani, S Verma, K Verzi, V Vettolani, G Viana, A Vicha, J Videla, M Vigorito, C Vincent, P Vincent, S Vink, J Vittorini, V Vlahakis, N Vlahos, L Voelk, H Vogler, P Voisin, V Vollhardt, A Volpicelli, A Vorobiov, S Vovk, I Vu, L Wagner, R Wagner, S Wakely, S Walter, R Walther, T Ward, J Ward, M Warda, K Warwick, R Wassberg, S Watson, J Wawer, P Wawrzaszek, R Webb, N Wegner, P Weinstein, A Weitzel, Q Wells, R Werner, F Werner, M Wetteskind, H White, M White, R Więcek, M Wierzcholska, A Wiesand, S Wijers, R Wild, N Wilhelm, A Wilkinson, M Will, M Williams, D Williams, J Willingale, R Winde, M Winiarski, K Winkler, H Wischnewski, R Wojcik, P Wolf, D Wood, M Wörnlein, A Wu, E Wu, T Yadav, K Yamamoto, H Yamamoto, T Yamazaki, R Yanagita, S Yang, L Yebras, J Yelos, D Yeung, W Yoshida, A Yoshida, T Yoshiike, S Yoshikoshi, T Yu, P Zabalza, V Zacharias, M Zaharijas, G Zajczyk, A Zampieri, L Zandanel, F Zanin, R Sanchez, R Zavrtanik, D Zavrtanik, M Zdziarski, A Zech, A Zechlin, H Zhao, A Ziegler, A Ziemann, J Ziętara, K Ziółkowski, J Zitelli, V Zoli, A Zurbach, C Żychowski, P (24 Aug 2015)
Games for Dependent Types
Abramsky, S Jagadeesan, R Vákár, M 31-43 (20 Jun 2015)
Fri, 04 Dec 2015

14:00 - 15:00
L3

Transmural propagation of the action potential in mammalian hearts: marrying experimental and theoretical studies

Prof Godfrey Smith
(Institute of Cardiovascular & Medical Sciences University of Glasgow)
Abstract

Transmural propagation is a little studied feature of mammalian electrophysiology, this talk reviews our experimental work using different optical techniques to characterise this mode
of conduction under physiological and pathophysiological conditions.

Fri, 27 Nov 2015

14:00 - 15:00
L3

What can we reconstruct about neural organization from time series of electrophysiological recordings?

Dr David Holcman
(IBENS Ecole Normale Superieure)
Abstract

We will discuss how the analysis of a stochastic mean-field model for
synaptic activity can be used to reconstruct some parameters about
neuronal networks.  The method is based on a non-standard analysis of the
Fokker-Planck equation and the asymptotic computation of the spectrum for
the nonself-adjoint operator. Applications concern Up- and Down- states
and bursting activity in neuronal networks.

Fri, 20 Nov 2015

14:00 - 15:00
L3

oxDNA: A coarse-grained approach to model DNA

Prof Jonathan Doye
(Dept of Chemistry University of Oxford)
Abstract

Simulating the long time and length scales associated with DNA self-assembly
and DNA nanotechnology is not currently feasible with models at an atomic level
of detail. We, therefore, developed oxDNA a coarse-grained representation of
DNA that aims to capture the fundamental structural, thermodynamic and
mechanical properties of double-stranded and single-stranded DNA, which we have
subsequently applied to study a wide variety of DNA biophysical properties and
DNA nanotechnological systems.

Subscribe to