_id,doi,title
1500,10.1145/2728606.2728650,Poster: HyRG: A random generation tool for affine hybrid automata
1501,10.1007/s10703-015-0235-2,CEGAR for compositional analysis of qualitative properties in Markov decision processes
1502,10.1145/2737166.2737175,Complete composition operators for IOCO-testing theory
1503,10.1017/etds.2013.103,A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
1504,10.1214/15-AOS1353,Spectral statistics of large dimensional spearman s rank correlation matrix and its application
1505,10.1214/14-AOS1281,Universality for the largest eigenvalue of sample covariance matrices with general population
1506,10.3150/14-BEJ615,The logarithmic law of random determinant
1508,10.4171/JEMS/548,Gap universality of generalized Wigner and β ensembles
1509,10.12688/f1000research.7143.1,Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
1510,10.4230/LIPIcs.SOCG.2015.842,On computability and triviality of well groups
1511,10.4230/LIPIcs.SOCG.2015.476,"On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result"
1512,10.4230/LIPIcs.SOCG.2015.507,Bounding Helly numbers via Betti numbers
1513,10.1093/gbe/evv215,"The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
1514,10.1093/cercor/bhu231,Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
1515,10.1111/ejn.12779,Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex
1517,10.1214/ECP.v20-4315,From large deviations to Wasserstein gradient flows in multiple dimensions
1519,10.1111/evo.12641,The interpretation of selection coefficients
1520,10.1145/2786784.2786803,Computational design of walking automata
1525,10.5281/zenodo.33178,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
1530,10.1088/1478-3975/12/6/066003,Impact of the cell division cycle on gene circuits