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)
Gap junctions in Turing-type periodic feather pattern formation.
Tseng, C
Woolley, T
Jiang, T
Wu, P
Maini, P
Widelitz, R
Cheng-Ming, C
PLoS Biology
volume 22
issue 5
(14 May 2024)