Wahid M
(2023)
Targeting alternative splicing as a new cancer immunotherapy-phosphorylation of serine arginine-rich splicing factor (SRSF1) by SR protein kinase 1 (SRPK1) regulates alternative splicing of PD1 to generate a soluble antagonistic isoform that prevents T cell exhaustion
in Cancer Immunology, Immunotherapy
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Moghaddas Tafreshi S
(2011)
Reply to the discussions by Huang, C.C. on "Comparison of bearing capacity of a strip footing on sand with geocell and with planar forms of geotextile reinforcement" [Geotextiles and Geomembranes 28(1), 2010, pp. 72-84]
in Geotextiles and Geomembranes
Sirunyan AM
(2018)
Studies of B s 2 * ( 5840 ) 0 and B s 1 ( 5830 ) 0 mesons including the observation of the B s 2 * ( 5840 ) 0 ? B 0 K S 0 decay in proton-proton collisions at s = 8 TeV.
in The European physical journal. C, Particles and fields
Sejie FP
(2023)
The Transfer Hydrogenation of Cinnamaldehyde Using Homogeneous Cobalt(II) and Nickel(II) (E)-1-(Pyridin-2-yl)-N-(3-(triethoxysilyl)propyl)methanimine and the Complexes Anchored on Fe3O4 Support as Pre-Catalysts: An Experimental and In Silico Approach.
in Molecules (Basel, Switzerland)
Sejie FP
(2023)
The Transfer Hydrogenation of Cinnamaldehyde Using Homogeneous Cobalt(II) and Nickel(II) (E)-1-(Pyridin-2-yl)-N-(3-(triethoxysilyl)propyl)methanimine and the Complexes Anchored on Fe3O4 Support as Pre-Catalysts: An Experimental and In Silico Approach.
in Molecules (Basel, Switzerland)
Gheorghiu A
(2021)
Focused Proof-search in the Logic of Bunched Implications
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Mayr R
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Parag K
(2022)
Authors' Reply to the Discussion of 'Are Epidemic Growth Rates More Informative than Reproduction Numbers?' by Parag et al. in Session 1 of the Royal Statistical Society's Special Topic Meeting on COVID-19 Transmission: 9 June 2021
in Journal of the Royal Statistical Society Series A: Statistics in Society
Altenkirch T
(2021)
Constructing a universe for the setoid model
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Van Heerdt G
(2021)
Learning Pomset Automata
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Piedeleu R
(2021)
A String Diagrammatic Axiomatisation of Finite-State Automata
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Graulund C
(2021)
Adjoint Reactive GUI Programming
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Mayr R
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Mayr R
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Parag K
(2022)
Authors' Reply to the Discussion of 'Are Epidemic Growth Rates More Informative than Reproduction Numbers?' by Parag et al. in Session 1 of the Royal Statistical Society's Special Topic Meeting on COVID-19 Transmission: 9 June 2021
in Journal of the Royal Statistical Society Series A: Statistics in Society
Paquet H
(2021)
Bayesian strategies: probabilistic programs as generalised graphical models
in Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Moon B
(2021)
Graded Modal Dependent Type Theory
in Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Gaboardi M
(2021)
Graded Hoare Logic and its Categorical Semantics
in Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Tapia-Ruiz N
(2018)
High voltage structural evolution and enhanced Na-ion diffusion in P2-Na 2/3 Ni 1/3-x Mg x Mn 2/3 O 2 (0 = x = 0.2) cathodes from diffraction, electrochemical and ab initio studies
in Energy & Environmental Science
Bhattacharjee A
(2015)
The major autoantibody epitope on factor H in atypical hemolytic uremic syndrome is structurally different from its homologous site in factor H-related protein 1, supporting a novel model for induction of autoimmunity in this disease.
in The Journal of biological chemistry
Bhattacharjee A
(2015)
The major autoantibody epitope on factor H in atypical hemolytic uremic syndrome is structurally different from its homologous site in factor H-related protein 1, supporting a novel model for induction of autoimmunity in this disease.
in The Journal of biological chemistry
Crafa S
(2012)
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Tapia-Ruiz N
(2018)
High voltage structural evolution and enhanced Na-ion diffusion in P2-Na 2/3 Ni 1/3-x Mg x Mn 2/3 O 2 (0 = x = 0.2) cathodes from diffraction, electrochemical and ab initio studies
in Energy & Environmental Science
Crafa S
(2012)
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Tapia-Ruiz N
(2018)
High voltage structural evolution and enhanced Na-ion diffusion in P2-Na 2/3 Ni 1/3-x Mg x Mn 2/3 O 2 (0 = x = 0.2) cathodes from diffraction, electrochemical and ab initio studies
in Energy & Environmental Science
Jia Y
(2017)
Erratum to "Toxoplasma gondii immune mapped protein 1 is anchored to the inner leaflet of the plasma membrane and adopts a novel protein fold" [Biochim. Biophys. Acta Protein Proteomics 1865/2 (2017) 208-219].
in Biochimica et biophysica acta. Proteins and proteomics