Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6887
DOI: 10.4230/LIPICS.CONCUR.2019.7

Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588

Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6885
DOI: 10.4230/LIPICS.CONCUR.2019.27

Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6889
DOI: 10.4230/LIPICS.CONCUR.2019.6

Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
LibreCat: https://research-explorer.ista.ac.at/record/6931
DOI: 10.4230/LIPICS.DISC.2019.29
arXiv: 1908.02743

Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6985
DOI: 10.1109/ijcnn.2019.8851954
arXiv: 1809.03864

A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7007
DOI: 10.3390/a12100218
arXiv: 1801.03153

Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
LibreCat: https://research-explorer.ista.ac.at/record/7035

Out-of-plane transport in ZrSiS and ZrSiSe microstructures
K.R. Shirer, K.A. Modic, T. Zimmerling, M.D. Bachmann, M. König, P.J.W. Moll, L. Schoop, A.P. Mackenzie, APL Materials 7 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7055
DOI: 10.1063/1.5124568

Thermodynamic signatures of Weyl fermions in NbP
K.A. Modic, T. Meng, F. Ronning, E.D. Bauer, P.J.W. Moll, B.J. Ramshaw, Scientific Reports 9 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7057
DOI: 10.1038/s41598-018-38161-7

Persistent antiferromagnetic order in heavily overdoped Cx La x FeA
E. Martino, M.D. Bachmann, L. Rossi, K.A. Modic, I. Zivkovic, H.M. Rønnow, P.J.W. Moll, A. Akrap, L. Forró, S. Katrych, Journal of Physics: Condensed Matter 31 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7056
DOI: 10.1088/1361-648x/ab3b43
arXiv: 1905.08640

Spatial control of heavy-fermion superconductivity in CeIrIn5
M.D. Bachmann, G.M. Ferguson, F. Theuss, T. Meng, C. Putzke, T. Helm, K.R. Shirer, Y.-S. Li, K.A. Modic, M. Nicklas, M. König, D. Low, S. Ghosh, A.P. Mackenzie, F. Arnold, E. Hassinger, R.D. McDonald, L.E. Winter, E.D. Bauer, F. Ronning, B.J. Ramshaw, K.C. Nowack, P.J.W. Moll, Science 366 (2019) 221–226.
LibreCat: https://research-explorer.ista.ac.at/record/7082
DOI: 10.1126/science.aao6640

Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
LibreCat: https://research-explorer.ista.ac.at/record/7128
DOI: 10.1016/j.celrep.2019.05.005
PMID: 31141697

Statistical criticality arises in most informative representations
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7130
DOI: 10.1088/1742-5468/ab16c8
arXiv: 1808.00249

Algebraic methods in the congested clique
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
LibreCat: https://research-explorer.ista.ac.at/record/7150
DOI: 10.1007/s00446-016-0270-2
arXiv: 1503.04963

Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed., Springer Nature, Wiesbaden, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7171
DOI: 10.1007/978-3-658-26763-6

Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy &; Environmental Science 12 (2019) 2559–2568.
LibreCat: https://research-explorer.ista.ac.at/record/7275
DOI: 10.1039/c9ee01453e

Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7280
DOI: 10.1038/s41467-019-09399-0

DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells
Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.
LibreCat: https://research-explorer.ista.ac.at/record/7276
DOI: 10.1002/anie.201901869

Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
LibreCat: https://research-explorer.ista.ac.at/record/7281
DOI: 10.1021/acscatal.9b01337

Interphase identity crisis
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
LibreCat: https://research-explorer.ista.ac.at/record/7282
DOI: 10.1038/s41557-019-0311-0

Thousands of cycles
Y.K. Petit, S.A. Freunberger, Nature Materials 18 (2019) 301–302.
LibreCat: https://research-explorer.ista.ac.at/record/7283
DOI: 10.1038/s41563-019-0313-8

Li-O2 cell-scale energy densities
C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.
LibreCat: https://research-explorer.ista.ac.at/record/7284
DOI: 10.1016/j.joule.2019.01.020

TGF;2 superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7358
DOI: 10.1101/2019.12.13.875773

Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7401
DOI: 10.4230/LIPICS.SOCG.2019.39
arXiv: 1903.08637

Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikudionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
LibreCat: https://research-explorer.ista.ac.at/record/7453
DOI: 10.1007/978-3-319-91908-9_22

Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites
S.S. Vadla, T. Costanzo, S. John, G. Caruntu, S.C. Roy, Scripta Materialia 159 (2019) 33–36.
LibreCat: https://research-explorer.ista.ac.at/record/7459
DOI: 10.1016/j.scriptamat.2018.09.003

Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states
M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.
LibreCat: https://research-explorer.ista.ac.at/record/7476
DOI: 10.1038/s41556-019-0362-x
PMID: 31358966

Expression of the amyloid-;2 peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response
T. Sinnige, P. Ciryam, S. Casford, C.M. Dobson, M. de Bono, M. Vendruscolo, PLOS ONE 14 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7548
DOI: 10.1371/journal.pone.0217746

Activity-dependent regulation of the proapoptotic B-only gene egl-1 in a living neuron pair in Caenorhabditis elegans
J. Cohn, V. Dwivedi, G. Valperga, N. Zarate, M. de Bono, H.R. Horvitz, J.T. Pierce, : Genes, Genomes, Genetics 9 (2019) 3703–3714.
LibreCat: https://research-explorer.ista.ac.at/record/7547
DOI: 10.1534/g3.119.400654
PMID: 31519744

Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
LibreCat: https://research-explorer.ista.ac.at/record/7550
arXiv: 1910.10050

Action at a distance in transcriptional regulation
W. Bialek, T. Gregor, G. Tkadik, ArXiv:1912.08579 (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/7552
arXiv: 1912.08579

ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
LibreCat: https://research-explorer.ista.ac.at/record/7576
DOI: 10.29007/m75b

A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering
C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, S.A. Freunberger, (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/7627

Accurate, scalable and integrative haplotype estimation
O. Delaneau, J.-F. Zagury, M.R. Robinson, J.L. Marchini, E.T. Dermitzakis, Nature Communications 10 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7710
DOI: 10.1038/s41467-019-13225-y

Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel
R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, Nature Metabolism 1 (2019) 1226–1242.
LibreCat: https://research-explorer.ista.ac.at/record/7711
DOI: 10.1038/s42255-019-0147-3

Maximum likelihood method quantifies the overall contribution of gene-environment interaction to continuous traits: An application to complex traits in the UK Biobank
J. Sulc, N. Mounier, F. Günther, T. Winkler, A.R. Wood, T.M. Frayling, I.M. Heid, M.R. Robinson, Z. Kutalik, BioRxiv (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7782

Think: Theory for Africa
C.B. Currin, P.N. Khoza, A.D. Antrobus, P.E. Latham, T.P. Vogels, J.V. Raimondo, PLOS Computational Biology 15 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/8013
DOI: 10.1371/journal.pcbi.1007049
PMID: 31295253

Neural mechanisms of attending to items in working memory
S.G. Manohar, N. Zokaei, S.J. Fallon, T.P. Vogels, M. Husain, Neuroscience and Biobehavioral Reviews 101 (2019) 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/8014
DOI: 10.1016/j.neubiorev.2019.03.017
PMID: 30922977

New edge asymptotics of skew Young diagrams via free boundaries
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/8175
arXiv: 1902.08750

AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice
J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz, S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/8228
DOI: 10.1016/j.waojou.2019.100044

Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model
A.S. Ondracek, D. Heiden, G.J. Oostingh, E. Fuerst, J. Singer, C. Bergmayr, J. Rohrhofer, E. Jensen-Jarolim, A. Duschl, E. Untersmayr, Nutrients 11 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/8229
DOI: 10.3390/nu11102463

AllergoOncology: Expression platform development and functional profiling of an antiHE IgE antibody
K.M. Ilieva, J. Singer, H.J. Bax, S. Crescioli, L. MonteroMorales, S. Mele, H.S. Sow, C. Stavraka, D.H. Josephs, J.F. Spicer, H. Steinkellner, E. JensenJarolim, A.N.J. Tutt, S.N. Karagiannis, Allergy 74 (2019) 1985–1989.
LibreCat: https://research-explorer.ista.ac.at/record/8227
DOI: 10.1111/all.13818

Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow
P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary Biology 19 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/8263
DOI: 10.1186/s12862-019-1403-6

Rethinking general-purpose decentralized computing
E.C. Alp, E. Kokoris Kogias, G. Fragkouli, B. Ford, in:, Proceedings of the Workshop on Hot Topics in Operating Systems, ACM, 2019, pp. 105–112.
LibreCat: https://research-explorer.ista.ac.at/record/8296
DOI: 10.1145/3317550.3321448

SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, Cryptology EPrint Archive (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8304

Robust and scalable consensus for sharded distributed ledgers
E. Kokoris Kogias, Cryptology EPrint Archive (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8303

Secure, confidential blockchains providing high throughput and low latency
E. Kokoris Kogias, Secure, Confidential Blockchains Providing High Throughput and Low Latency, École Polytechnique Fédérale de Lausanne, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/8311
DOI: 10.5075/epfl-thesis-7101

Brick: Asynchronous payment channels
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8314
arXiv: 1905.11360