DOI,IST REx ID,Research Group,Title of publication
10.1016/j.artint.2016.01.007,1529,KrCh,Optimal cost almost-sure reachability in POMDPs
10.1016/j.jfa.2015.12.007,1545,RoSe,Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
10.4230/LIPIcs.MFCS.2016.25,1068,KrCh,Conditionally optimal algorithms for generalized Büchi Games
10.4230/LIPIcs.ICALP.2016.100,1069,KrCh,On the skolem problem for continuous linear dynamical systems
10.4230/LIPIcs.ICALP.2016.98,1070,KrCh,Computation tree logic for synchronization properties
10.1038/celldisc.2016.18,1081,"EvBe,JiFr",Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
null,1082,GaTk,Relevant sparse codes with variational information bottleneck
10.1093/cercor/bhw090,1083,RySh,KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
10.4230/LIPIcs.MFCS.2016.24,1090,"KrCh,ToHe",Nested weighted limit-average automata of bounded width
10.1007/978-1-4939-6352-2_12,1094,RySh,Immunogold protein localization on grid-glued freeze-fracture replicas
10.4230/LIPIcs.CONCUR.2016.6,1095,ToHe,Local linearizability for concurrent container-type data structures
10.1145/2980179.2982427,1097,BeBi,Computational multicopter design
null,1098,ChLa,Lifelong learning with weighted majority votes
10.1145/2980179.2982397,1099,BeBi,FlexMolds: Automatic design of flexible shells for molding
10.1021/acssensors.6b00576,1101,HaJa,Rangefinder: A semisynthetic FRET sensor design algorithm
10.1109/MEMCOD.2016.7797741,1103,ToHe,Parallel reachability analysis for hybrid systems
null,1105,GaTk,Estimating nonlinear neural response functions using GP priors and Kronecker methods
10.1364/CLEO_SI.2016.SF2G.3,1115,JoFi,"Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator"
10.1109/CCA.2016.7587948,1134,ToHe,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
10.1145/2968478.2968499,1135,ToHe,Synthesizing time triggered schedules for switched networks with faulty links