Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Benedikt, M Pradic, C Wernhard, C Logical Methods in Computer Science volume 20 issue 3 7:1-7:76 (22 Jul 2024)
Rapid modulation of striatal cholinergic interneurons and dopamine release by satellite astrocytes
 Stedehouder, J Roberts, B Raina, S Bossi, S Liu, A Doig, N McGerty, K Magill, P Parkkinen, L Cragg, S
Trade co-occurrence, trade flow decomposition, and conditional order imbalance in equity markets
 Lu, Y Reinert, G Cucuringu, M Quantitative Finance volume 24 issue 6 779-809 (19 Jun 2024)
All-sky Search for Transient Astrophysical Neutrino Emission with 10 Years of IceCube Cascade Events
 Abbasi, R Ackermann, M Adams, J Agarwalla, S Aguilar, J Ahlers, M Alameddine, J Amin, N Andeen, K Anton, G Argüelles, C Ashida, Y Athanasiadou, S Ausborm, L Axani, S Bai, X V., A Baricevic, M Barwick, S Basu, V Bay, R Beatty, J Tjus, J Beise, J The Astrophysical Journal volume 967 issue 1 (16 May 2024)
W krainie kubitów
 Ekert, A ACADEMIA - magazyn Polskiej Akademii Nauk 22-24-22-24 (15 May 2024)
Local Zeta Functions of Multiparameter Calabi-Yau Threefolds from the Picard-Fuchs Equations
 Candelas, P de la Ossa, X Kuusela, P (13 May 2024)
Understanding Antibody-Target Antigen Interactions and the Avidity Effect Using Mathematical Modelling
 Heirene, L Byrne, H Gaffney, E Yates, J
Illustrating the Categorical Landau Paradigm in Lattice Models
 Bhardwaj, L Bottini, L Schafer-Nameki, S Tiwari, A (08 May 2024)
Lattice Models for Phases and Transitions with Non-Invertible Symmetries
 Bhardwaj, L Bottini, L Schafer-Nameki, S Tiwari, A (09 May 2024)
Subscribe to