Items where Year is 2013

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | E | G | H | K | M | N | O | P | Q | R | S | T | W | Z | Č
Number of items: 67.

A

Ahmed, Umair Z and Chatterjee, Krishnendu and Gulwani, Sumit (2013) Automatic Generation of Alternative Starting Positions for Traditional Board Games. Technical Report. IST Austria.

Alwen, Joël and Krenn, Stephan and Pietrzak, Krzysztof and Wichs, Daniel (2013) Learning with rounding, revisited: New reduction properties and applications. In: CRYPTO: International Cryptology Conference, Ausgust 18-22, 2013, Santa Barbara, CA, USA.

Ando, Ryoichi and Thürey, Nils and Wojtan, Chris (2013) Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics, 32 (4). Article number: 103 . ISSN 1557-7368

Arque, Gloria and Casanovas, Anna and Dierssen, Mara (2013) Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One, 8 (1). Article No. e54285. ISSN 1932-6203

B

Bargmann, Bastiaan O and Vanneste, Steffen and Krouk, Gabriel and Nawy, Tal and Efroni,, Idan and Shani, Eilon and Choe, Goh and Friml, Jiří and Bergmann, Dominique C and Estelle, Mark and Birnbaum, Kenneth D (2013) A map of cell type-specific auxin responses. Molecular Systems Biology, 9 (1). Article number: 688 . ISSN 1744-4292

Barton, Nicholas H (2013) Does hybridisation influence speciation? Journal of Evolutionary Biology, 26 (2). pp. 267-269. ISSN 1420-9101

Barton, Nicholas H (2013) Recombination and sex. In: The Princeton Guide to Evolution. Princeton University Press.

Barton, Nicholas H and Etheridge, Alison M and Kelleher, Jerome and Véber, Amandine (2013) Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology, 87. pp. 75-89. ISSN 0040-5809

Barton, Nicholas H and Etheridge, Alison M and Kelleher, Jerome and Véber, Amandine (2013) Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology, 87. pp. 105-119. ISSN 0040-5809

Barton, Nicholas H and Etheridge, Alison M and Véber, Amandine (2013) Modelling evolution in a spatial continuum. Journal of Statistical Mechanics: Theory and Experiment, 2013 (1). P01002 . ISSN 1572-9613

Barton, Nicholas H and Paixão, Tiago (2013) Can quantitative and population genetics help us understand evolutionary computation? In: GECCO: Genetic and evolutionary computation conference, July 6-10, 2013, Amsterdam, Netherlands.

Bernstein, Gilbert Louis and Wojtan, Chris (2013) Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics, 32 (4). Article number: 34 . ISSN 1557-7368

Bojsen-Hansen, Morten and Wojtan, Chris (2013) Liquid surface tracking with error compensation. ACM Transactions on Graphics, 32 (4). Article number: 68 . ISSN 1557-7368

Bozic, Ivana and Reiter, Johannes G and Allen, Benjamin and Antal, Tibor and Chatterjee, Krishnendu and Shah, Preya and Moon, Yo Sup and Yaqubie, Amin and Kelly, Nicole and Le, Dung T and Lipson, Evan J and Chapman, Paul B and Diaz, Luis A and Vogelstein, Bert and Nowak, Martin A (2013) Evolutionary dynamics of cancer in response to targeted combination therapy. eLife, 2. Article Nr. e00747. ISSN 2050-084X

C

Cazzonelli, Christopher I and Vanstraelen, Marleen and Simon, Sibu and Yin, Kuide and Carron-Arthur, Ashley and Nisar, Nazia and Tarle, Gauri and Cuttriss, Abby J and Searle, Iain R and Benková, Eva and Mathesius, Ulrike and Masle, Josette and Friml, Jiří and Pogson, Barry J (2013) Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One, 8 (7). Article No. e70069. ISSN 1932-6203

Chatterjee, Krishnendu and Chmelík, Martin and Mathieu, Tracol (2013) What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. Technical Report. IST Austria.

Chatterjee, Krishnendu and Chmelík, Martin and Tracol, Mathieu (2013) What is decidable about partially observable Markov decision processes with omega-regular objectives. In: CSL: Computer Science Logic, September 2-5, 2013, Torino, Italy.

Chatterjee, Krishnendu and Doyen, Laurent and Gimbert, Hugo and Oualhadj, Youssouf (2013) Perfect-Information Stochastic Mean-Payoff Parity Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent and Nain, Sumit and Vardi, Moshe Y (2013) The complexity of partial-observation stochastic parity games with finite-memory strategies. Technical Report. IST Austria.

Chatterjee, Krishnendu and Fijalkow, Nathanaël (2013) Infinite-state games with finitary conditions. In: EACSL: European Association for Computer Science Logic, September 2 - 5, 2013, Torino, Italy.

Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan and Pavlogiannis, Andreas (2013) Distributed Synthesis for LTL Fragments. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2013) The Complexity of Ergodic Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2013) Qualitative Analysis of Concurrent Mean-payoff Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Majumdar, Rupak (2013) Edit Distance for Timed Automata. Technical Report. IST Austria.

Chatterjee, Krishnendu and de Alfaro, Luca and Henzinger, Thomas A (2013) Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences, 79 (5). pp. 640-657. ISSN 0022-0000

Cozzuol, Mario A and Clozato, Camila L and Holanda, Elizete C and Rodrigues, Flavio H and Nienow, Samuel and De Thoisy, Benoit and Redondo, Rodrigo A and Santos, Fabricio R (2013) A new species of tapir from the Amazon. Journal of Mammalogy, 94 (6). 1331 -1345 . ISSN 00222372

D

Danowski, Patrick and Goldfarb, Doron and Schaffner, Verena and Seidler, Wolfram (2013) Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen, 66 (3/4). pp. 559-587. ISSN 1022-2588

Dickerson, Desiree D and Bilkey, David K (2013) Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience, 7 (DEC). ISSN 16625153

Dragoi, Cezara and Enea, Constantin and Sighireanu, Mihaela (2013) Local Shape Analysis for Overlaid Data Structures. Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013., 7935. pp. 150-171. ISSN 978-3-642-38855-2

Dragoi, Cezara and Gupta, Ashutosh and Henzinger, Thomas A (2013) Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013., 8044. pp. 174-190. ISSN 978-3-642-39798-1

de Vos, Marjon and Poelwijk, Frank J and Battich, Nico and Ndika, Joseph D T and Tans, Sander J (2013) Environmental dependence of genetic constraint. PLoS Genetics, 9 (6). Article No. e1003580. ISSN 1553-7404

E

Erdős, László and Knowles, Antti and Yau, Horng-Tzer and Yin, Jun (2013) The local semicircle law for a general class of random matrices. Electronic Journal of Probability, 18. Article No. 59. ISSN 1083-6489

G

Godhal, Yashdeep and Chatterjee, Krishnendu and Henzinger, Thomas A (2013) Synthesis of AMBA AHB from formal specifications: A case study. International Journal on Software Tools for Technology Transfer, 15 (5-6). pp. 585-601. ISSN 1433-2787

Granot-Atedgi, Einat and Tkačik, Gašper and Segev, Ronen and Schneidman, Elad (2013) Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology, 9.

H

Henzinger, Thomas A (2013) Quantitative reactive modeling and verification. Computer Science Research and Development, 28 (4). pp. 331-344. ISSN 1865-2034

Henzinger, Thomas A and Kirsch, Christoph M and Payer, Hannes and Sezgin, Ali and Sokolova, Ana (2013) Quantitative relaxation of concurrent data structures. In: POPL: Principles of Programming Languages., January 23 - 25, 2013 , Rome, Italy.

Henzinger, Thomas A and Otop, Jan (2013) From Model Checking to Model Measuring. In: CONCUR 2013 – Concurrency Theory. Lecture Notes in Computer Science, 8052 (8052). Springer, Berlin Heidelberg, pp. 273-287. ISBN 978-3-642-40184-8

Henzinger, Thomas A and Payer, Hannes and Sezgin, Ali (2013) Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues. Technical Report. IST Austria.

Henzinger, Thomas A and Sezgin, Ali (2013) How Free is Your Linearizable Concurrent Data Structure? Technical Report. IST Austria.

Henzinger, Thomas A and Sezgin, Ali and Viktor, Vafeiadis (2013) Aspect-Oriented Linearizability Proofs. In: CONCUR: Concurrency Theor, August 27-30, 2013 , Buenos Aires, Argentina .

Hippenmeyer, Simon and Johnson, Randy L and Luo, Liqun (2013) Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports, 3 (3). pp. 960-967. ISSN 2211-1247

K

Kelleher, Jerome and Barton, Nicholas H and Etheridge, Alison M (2013) Coalescent simulation in continuous space. Bioinformatics, 29 (7). pp. 955-956. ISSN 1367-4803

Kerber, Michael and Edelsbrunner, Herbert (2013) 3D kinetic alpha complexes and their implementation. In: ALENEX: Algorithm Engineering and Experiments, January 7, 2013, New Orleans, LA, USA.

Kiltz, Eike and Pietrzak, Krzysztof and Szegedy, Mario (2013) Digital signatures with minimal overhead from indifferentiable random invertible functions. In: CRYPTO: International Cryptology Conference, August 18-22, 2013, Santa Barbara, CA, USA.

Kupczok, Anne and Bollback, Jonathan P (2013) Probabilistic models for CRISPR spacer content evolution. BMC Evolutionary Biology, 13. ISSN 1471-2148

M

Masri, Leila and Schulte, Rebecca D and Timmermeyer, Nadine and Thanisch, Stefanie and Crummenerl, Lena L and Jansen, Gunther and Michiels, Nico K and Schulenburg, Hinrich (2013) Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters, 16 (4). pp. 461-468. ISSN 1461-023X

Michaliszyn, Jakub and Otop, Jan (2013) Elementary Modal Logics over Transitive Structures. In: Elementary Modal Logics over Transitive Structures. LIPIcs, 23 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, pp. 563-577. ISBN 978-3-939897-60-6

N

Novak, Sebastian and Chatterjee, Krishnendu and Nowak, Martin A (2013) Density games. Journal of Theoretical Biology, 334. pp. 26-34. ISSN 1095-8541

O

Olsson, Carl and Ulen, Johannes and Boykov, Yuri and Kolmogorov, Vladimir N (2013) Partial enumeration and curvature regularization. In: ICCV: International Conference on Computer Vision ICCV, December 1-8, 2013, Sydney, Australia.

P

Pickup, Melinda and Barrett, Spencer C H (2013) The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution, 3 (3). pp. 629-639. ISSN 2045-7758

Porsche, Jana (2013) Initiatives and projects related to RD. Project Report. IST Austria.

Porsche, Jana (2013) Technical requirements and features. Project Report. IST Austria.

Q

Quadrianto, Novi and Sharmanska, Viktoriia and Knowles, David A and Ghahramani, Zoubin (2013) The supervised IBP: Neighbourhood preserving infinite latent feature models. In: UAI: Uncertainty in Artificial Intelligence, July 11-15, 2013, Bellevue, Washington, USA.

R

Redondo, Rodrigo A and Kupczok, Anne and Stift, Gertraud and Bollback, Jonathan P (2013) Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements, 1 (3). Article No. e00216-13. ISSN 2169-8287

Reiter, Johannes G and Bozic, Ivana and Allen, Benjamin and Chatterjee, Krishnendu and Nowak, Martin A (2013) The effect of one additional driver mutation on tumor progression. Evolutionary Applications, 6 (1). pp. 34-45. ISSN 1752-4571

Reiter, Johannes G and Bozic, Ivana and Chatterjee, Krishnendu and Nowak, Martin A (2013) TTP: Tool for Tumor Progression. Technical Report. IST Austria.

S

Sanchez-Romero, Inmaculada and Ariza, Antonio and Wilson, Keith S and Skjøt, Michael and Vind, Jesper and De Maria, Leonardo and Skov, Lars K and Sanchez-Ruiz, Jose M (2013) Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One, 8 (7). Article No. e70013. ISSN 1932-6203

Simmons, Kristina D and Prentice, Jason S and Tkačik, Gašper and Homann, Jan and Yee, Heather K and Palmer, Stephanie E and Nelson, Philip C and Balasubramanian, Vijay (2013) Transformation of stimulus correlations by the retina. PLoS Computational Biology, 9 (12). Article No. e1003344. ISSN 1553-7358

Stephens, Greg J and Mora, Thierry and Tkačik, Gašper and Bialek, William (2013) Statistical thermodynamics of natural images. Physical Review Letters, 110 (1-4). Article No. 018701. ISSN 0031-9007

Szobota, Stephanie and McKenzie, Catherine and Janovjak, Harald (2013) Optical control of ligand-gated ion channels. Methods in Molecular Biology, 998. pp. 417-435. ISSN 1064-3745

T

Tanaka, Hirokazu and Kitakura, Saeko and Rakusová, Hana and Uemura, Tomohiro and Feraru, Mugurel I and De Rycke, Riet M U and Robert, Stéphanie and Kakimoto, Tatsuo and Friml, Jiří (2013) Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics, 9 (5). Article No. http://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.e1003540. ISSN 1553-7404

Tragust, Simon and Ugelvig, Line V and Chapuisat, Michel and Heinze, Jürgen and Cremer, Sylvia (2013) Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology, 13 (1). ISSN 1471-2148

W

Ward, Melissa J and Lycett, Samantha J and Avila, Dorita and Bollback, Jonathan P and Leigh Brown, Andrew J (2013) Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology, 13 (1). Article number: 222 . ISSN 1471-2148

Z

Zagorsky, Benjamin M and Reiter, Johannes G and Chatterjee, Krishnendu and Nowak, Martin A (2013) Forgiver triumphs in alternating prisoner's dilemma. PLoS One, 8 (12). Article No. e80814. ISSN 1932-6203

Č

Čadek, Martin and Krčál, Marek and Matoušek, Jiří and Vokřínek, Lukáš and Wagner, Uli (2013) Extending continuous maps: Polynomiality and undecidability. In: STOC: Symposium on Theory of Computing, June 1-4, 2013, Palo Alto, CA, USA.

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten (2013) Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Computer Aided Verification '13, 8044. pp. 951-967.

Čovanová, Milada and Sauer, Michael and Rychtář, Jan and Friml, Jiří and Petrášek, Jan and Zažímalová, Eva (2013) Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One, 8 (7). Article No. e70050. ISSN 1932-6203

This list was generated on Tue Dec 11 01:00:10 2018 CET.