DOI,IST REx ID,Research Group,Title of publication
10.1007/s10958-014-2165-8,1929,HeEd,An algorithm for cartographic generalization that preserves global topology
10.1109/TVCG.2014.2346432,1930,HeEd,Fast and memory-efficient topological denoising of 2D and 3D scalar fields
10.3389/fncom.2014.00057,1931,GaTk,Emergence of task-dependent representations in working memory circuits
10.1111/evo.12517,1932,NiBa,Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations
10.1242/dev.102988,1933,RySh,Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates
10.1016/j.cub.2014.04.002,1934,"EvBe,JiFr",Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis
10.1007/s00220-014-1923-2,1935,RoSe,Formation of stripes and slabs near the ferromagnetic transition
10.1093/beheco/aru002,1936,NiBa,An arms race between producers and scroungers can drive the evolution of social cognition
10.1007/s00220-014-2120-z,1937,LaEr,Edge universality of beta ensembles
10.4204/EPTCS.146.11,475,KrCh,First cycle games
10.1007/s00453-013-9843-7,535,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1002/ece3.1150,537,"NiBa,GaTk",Fitness consequences of maternal and grandmaternal effects
10.15479/AT:IST-2014-148-v2-1,5411,ToHe,Compositional specifications for IOCO testing
10.15479/AT:IST-2014-153-v1-1,5412,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v2-2,5413,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2014-171-v1-1,5416,ToHe,Model measuring for hybrid systems
10.15479/AT:IST-2014-172-v1-1,5417,ToHe,From model checking to model measuring
10.15479/AT:IST-2014-176-v1-1,5418,KrCh,Games with a weak adversary