1,484 Research products, page 1 of 149
Loading
- Other research product . Other ORP type . 2020Open Access EnglishAuthors:Dufresne, Emilie Sonia; Edwards, Parker B.; Harrington, Heather A; Hauenstein, Jonathan D.;Dufresne, Emilie Sonia; Edwards, Parker B.; Harrington, Heather A; Hauenstein, Jonathan D.;Publisher: IEEECountry: United Kingdom
Topological data analysis (TDA) provides tools for computing geometric and topological information about spaces from a finite sample of points. We present an adaptive algorithm for finding provably dense samples of points on real algebraic varieties given a set of defin...
- Other research product . Other ORP type . 2020Open Access EnglishAuthors:Wu, M; Louw, T; Lahijanian, M; Ruan, W; Huang, X; Merat, N; Kwiatkowska, M;Wu, M; Louw, T; Lahijanian, M; Ruan, W; Huang, X; Merat, N; Kwiatkowska, M;Publisher: IEEECountry: United Kingdom
Anticipating a human collaborator's intention enables safe and efficient interaction between a human and an autonomous system. Specifically, in the context of semiautonomous driving, studies have revealed that correct and timely prediction of the driver's intention need...
- Other research product . 2019Open Access EnglishAuthors:Mur Petit, J; Relaño, A; Molina, RA; Jaksch, D;Mur Petit, J; Relaño, A; Molina, RA; Jaksch, D;Country: United Kingdom
The out-of-equilibrium dynamics of quantum systems is one of the most fascinating problems in physics, with outstanding open questions on issues such as relaxation to equilibrium. An area of particular interest concerns few-body systems, where quantum and thermal fluctu...
- Other research product . 2019Open Access EnglishAuthors:Spill, G; Stier, P; Field, PR; Dagan, G;Spill, G; Stier, P; Field, PR; Dagan, G;Country: United Kingdom
Previous study of shallow convection has generally suffered from having to balance domain size with resolution, resulting in high-resolution studies which do not capture large-scale behaviour of the cloud fields. In this work we hope to go some way towards addressing th...
- Other research product . 2019Open Access EnglishAuthors:Corroyer-Dulmont, A; Valable, S; Falzone, N; Frelin-Labalme, A-M; Tietz, O; Toutain, J; Sarmiento Soto, M; Divoux, D; Chazaviel, L; Pérès, EA; +3 moreCorroyer-Dulmont, A; Valable, S; Falzone, N; Frelin-Labalme, A-M; Tietz, O; Toutain, J; Sarmiento Soto, M; Divoux, D; Chazaviel, L; Pérès, EA; Sibson, NR; Vallis, KA; Bernaudin, M;Country: United Kingdom
Background Brain metastases (BM) develop frequently in patients with breast cancer. Despite the use of external beam radiotherapy (EBRT), the average overall survival is short (6 months from diagnosis). The therapeutic challenge is to deliver molecularly targeted therap...
- Other research product . 2019Open Access EnglishAuthors:Clairambault, P; Murawski, A;Clairambault, P; Murawski, A;Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer InformatikCountries: United Kingdom, Germany
We investigate the expressive power of higher-order recursion schemes (HORS) restricted to linear types. Two formalisms are considered: multiplicative additive HORS (MAHORS), which feature both linear function types and products, and multiplicative HORS (MHORS), based o...
- Other research product . 2019Open Access EnglishAuthors:Prats-Uribe, A; Berencsi, K; Carr, A; Judge, A; Silman, A; Murray, DW; Arden, NK; Petersen, I; Pinedo-Villanueva, R; Beard, D; +6 morePrats-Uribe, A; Berencsi, K; Carr, A; Judge, A; Silman, A; Murray, DW; Arden, NK; Petersen, I; Pinedo-Villanueva, R; Beard, D; Wilkinson, JM; Douglas, I; Valderas, JM; Lamb, S; Strauss, VY; Prieto Alhambra, D;Publisher: WileyCountry: United Kingdom
- Other research product . 2019Open Access EnglishAuthors:Oliveira, I; Santhanam, R; Srinivasan, S;Oliveira, I; Santhanam, R; Srinivasan, S;Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer InformatikCountries: Germany, United Kingdom
We study the complexity of computing symmetric and threshold functions by constant-depth circuits with Parity gates, also known as AC^0[oplus] circuits. Razborov [Alexander A. Razborov, 1987] and Smolensky [Roman Smolensky, 1987; Roman Smolensky, 1993] showed that Major...
- Other research product . 2019Open Access EnglishAuthors:Roth, M; Dell, H; Wellnitz, P;Roth, M; Dell, H; Wellnitz, P;Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer InformatikCountries: Germany, United Kingdom
- Other research product . 2019Open Access EnglishAuthors:Goldberg, P; Hollender, A;Goldberg, P; Hollender, A;Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer InformatikCountries: United Kingdom, Germany
The Hairy Ball Theorem states that every continuous tangent vector field on an even-dimensional sphere must have a zero. We prove that the associated computational problem of computing an approximate zero is PPAD-complete. We also give a FIXP-hardness result for the gen...