Aad, G;Abbott, B;Abdallah, J;Abdinov, O;Abeloos, B;Aben, R;Abolins, M;AbouZeid, OS;Abraham, NL;Abramowicz, H;Abreu, H;Abreu, R;Abulaiti, Y;Acharya, BS;Adamczyka, L;Adams, DL;Adelman, J;Adomeit, S;Adye, T;Affolder, AA;Agatonovic-Jovin, T;Agricola, J;Aguilar-Saavedra, JA;Ahlen, SP;Ahmadov, F;Aielli, G;Akerstedt, H;Akesson, TPA;Akimov, AV;Alberghi, GL;Albert, J;Albrand, S;Verzini, MJ Alconada;Aleksa, M;Aleksandrov, IN;Alexa, C;Alexander, G;Alexopoulos, T;Alhroob, M;Aliev, M;Alimonti, G;Alison, J;Alkire, SP;Allbrooke, BMM;Allen, BW;Allport, PP;Aloisio, A;Alonso, A;Alonso, F;Alpigiani, C;Gonzalez, B Alvarez;Piqueras, D Alvarez;Alviggi, MG;Amadio, BT;Amako, K;Coutinho, Y Amaral;Amelung, C;Amidei, D;Dos Santos, SP Amor;Amorim, A;Amoroso, S;Amram, N;Amundsen, G;Anastopoulos, C;Ancu, LS;Andari, N;Andeen, T;Anders, CF;Anders, G;Anders, JK;Anderson, KJ;Andreazza, A;Andrei, V;Angelidakis, S;Angelozzi, I;Anger, P;Angerami, A;Anghinolfi, F;Anisenkov, AV;Anjos, N;Annovi, A;Antonelli, M;Antonov, A;Antos, J;Anulli, F;Aoki, M;Bella, L Aperio;Arabidze, G;Arai, Y;Araque, JP;Arce, ATH;Arduh, FA;Arguin, J-F;Argyropoulos, S;Arik, M;Armbruster, AJ;Armitage, LJ;Arnaez, O;Arnold, H;Arratia, M;Arslan, O
Document(s)
Title
Recently, Haase, Ouaknine, and Worrell have shown that reachability in two-clock timed automata is log-space equivalent to reachability in bounded one-counter automata. We show that reachability in bounded one-counter automata is PSPACE-complete.
A search for Higgs boson pair production in the $b\bar{b}b\bar{b}$ final state is carried out with up to 36.1 $\mathrm{fb}^{-1}$ of LHC proton-proton collision data collected at $\sqrt{s}$ = 13 TeV with the ATLAS detector in 2015 and 2016. Three benc...
Sorafenib is the current standard treatment for advanced hepatocellular carcinoma. We carried out a national audit of UK patients treated with sorafenib as standard-of-care and those treated with systemic therapy in first-line trials.Sorafenib-treate...