Items where Year is 2012

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: B | C | D | E | G | J | K | L | M | P | R | T | V | W | Y | Z
Number of items: 43.

B

Bendich, Paul and Cabello, Sergio and Edelsbrunner, Herbert (2012) A point calculus for interlevel set homology. Pattern Recognition Letters, 33 (11). pp. 1436-1444. ISSN 0167-8655

Bergmiller, Tobias and Ackermann, Martin and Silander, Olin K (2012) Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics, 8 (6). Article No. e1002803. ISSN 1553-7404

Bojsen-Hansen, Morten and Li, Hao and Wojtan, Chris (2012) Tracking surfaces with evolving topology. ACM Transactions on Graphics, 31 (4). Article number: 53. ISSN 1557-7368

Boker, Udi and Henzinger, Thomas A (2012) Approximate determinization of quantitative automata. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15-18, 2012, Hyderabad, India.

C

Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish (2012) Faster algorithms for alternating refinement relations. In: EACSL: European Association for Computer Science Logic, September 3-6, 2012 , Fontainebleau, France .

Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish (2012) Faster algorithms for alternating refinement relations. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2012) Energy parity games. Theoretical Computer Science, 458. pp. 49-60. ISSN 0304-3975

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2012) A survey of partial-observation stochastic parity games. Formal Methods in System Design, 43 (2). pp. 268-284. ISSN 0925-9856

Chatterjee, Krishnendu and Henzinger, Thomas A and Tracol, Mathieu (2012) The decidability frontier for probabilistic automata on infinite words. Technical Report. IST Austria.

Chatterjee, Krishnendu and Joglekar, Manas N and Shah, Nisarg J (2012) Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15-17, 2012, Hyderabad, India.

Chatterjee, Krishnendu and Velner, Yaron (2012) Mean-payoff pushdown games. Technical Report. IST Austria, Klosterneuburg.

Cremer, Sylvia and Suefuji, Masaki and Schrempf, Alexandra and Heinze, Jürgen (2012) The dynamics of male male competition in Cardiocondyla obscurior ants. BMC Ecology, 12.

D

Danowski, Patrick (2012) Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, 65.

Delahaye, Benoît and Fahrenberg, Uli and Henzinger, Thomas A and Legay, Axel and Ničković, Dejan (2012) Synchronous interface theories and time triggered scheduling. In: FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , June 13-16, 2012, Stockholm, Sweden.

Dodis, Yevgeniy and Pietrzak, Krzysztof and Kiltz, Eike and Wichs, Daniel (2012) Message authentication, revisited. In: EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, April 15-19, 2012, Cambridge, United Kingdom.

Dolbilin, Nikolai P and Edelsbrunner, Herbert and Musin, Oleg R (2012) On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys, 67 (4). pp. 781-783. ISSN 0036-0279

Dueck, Anne and Ziegler, Christian and Eichner, Alexander and Berezikov, Eugène V and Meister, Gunter (2012) MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research, 40 (19). pp. 9850-9862. ISSN 0305-1048

E

Ebersberger , Ingo and de Matos Simoes , Ricardo and Kupczok, Anne and Gube , Matthias and Kothe , Erika and Voigt , Kerstin and von Haeseler, Arndt (2012) A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution, 29 (5). pp. 1319-1334. ISSN 1537-1719

Edelsbrunner, Herbert and Kerber, Michael (2012) Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry, 47 (2). pp. 393-414. ISSN 0179-5376

Edelsbrunner, Herbert and Morozov, Dmitriy (2012) Persistent homology: Theory and practice. In: ECM: European Congress of Mathematics, July 2-7, 2012, Kraków, Poland. (In Press)

Edelsbrunner, Herbert and Strelkova, Nataliya P (2012) On the configuration space of steiner minimal trees. Russian Mathematical Surveys, 67 (6). pp. 1167-1168. ISSN 1468-4829

Edelsbrunner, Herbert and Symonova, Olga (2012) The adaptive topology of a digital image. In: ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, June 27-29, 2012, New Brunswick, NJ, USA.

Eggermann, Emmanuel and Bucurenciu, Iancu and Goswami, Sarit P and Jonas, Peter (2012) Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. Nature Reviews Neuroscience, 13 (1). pp. 7-21. ISSN 1471-003X

G

Galkovskyi, Taras and Mileyko, Yuriy and Bucksch, Alexander and Moore, Brad and Symonova, Olga and Price, Charles A and Topp, Christopher N and Iyer Pascuzzi, Anjali S and Zurek, Paul and Fang, Suqin and Harer, John and Benfey, Philip N and Weitz, Joshua S (2012) GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology, 12. Article number: 116 . ISSN 1471-2229

Gupta, Ashutosh (2012) Improved Single Pass Algorithms for Resolution Proof Reduction. In: ATVA 2012, Octobre 3-6, 2012, Thiruvananthapuram, Kerala, India.

J

Jain, Abhishek and Krenn, Stephan and Pietrzak, Krzysztof and Tentes, Aris (2012) Commitments and efficient zero knowledge proofs from learning parity with noise. In: ASIACRYPT: International Conference on the Theory and Application of Cryptology and Information Security, December 2-6, 2012 , Beijing, China .

K

Konrad, Matthias and Vyleta, Meghan L and Theis, Fabian J and Stock, Miriam and Tragust, Simon and Klatt, Martina and Drescher, Verena and Marr, Carsten and Ugelvig, Line V and Cremer, Sylvia (2012) Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology, 10. ISSN 1545-7885

Korc, Filip and Kolmogorov, Vladimir N and Lampert, Christoph H (2012) Approximating Marginals Using Discrete Energy Minimization. Technical Report. IST Austria.

Korc, Filip and Kolmogorov, Vladimir N and Lampert, Christoph H (2012) Approximating marginals using discrete energy minimization. In: ICML Workshop: Inferning: Interactions between Inference and Learning, June 30, 2012, Edinburgh, UK. (In Press)

Kruckman, Alex and Rubin, Sasha and Sherida, John and Zax, Ben (2012) A Myhill Nerode theorem for automata with advice. In: GandALF: Games, Automata, Logics and Formal Verification, September 6 -8, 2012 , Napoli, Italy.

L

Liang, Huixuan and Hippenmeyer, Simon and Ghashghaei, H. Troy (2012) A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open, 1 (12). pp. 1200-1203. ISSN 2046-6390

Lohse, Konrad and Barton, Nicholas H and Melika, George and Stone, Graham N (2012) A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology, 21 (18). 4605 -4617. ISSN 0962-1083

M

Mileyko, Yuriy and Edelsbrunner, Herbert and Price, Charles A and Weitz, Joshua S (2012) Hierarchical ordering of reticular networks. PLoS One, 7 (6). Article No. e36715. ISSN 1932-6203

P

Pickup, Melinda and Field, David L and Rowell, David M and Young, Andrew G (2012) Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications, 5 (8). 913 -924. ISSN 17524563

Porsche, Jana (2012) Actual state of research data @ ISTAustria. Project Report. IST Austria.

Preiner, Reinhold and Jeschke, Stefan and Wimmer, Michael (2012) Auto splats: Dynamic point cloud visualization on the GPU. In: EGPGV: Eurographics Symposium on Parallel Graphics and Visualization, May 13-14, 2012, Cagliari, Italy.

R

Raveendran, Karthik and Thürey, Nils and Wojtan, Chris and Türk, Greg C (2012) Controlling Liquids Using Meshes. In: SCA: Eurographics/ACM SIGGRAPH Symposium on Computer Animation, 29-31 July, 2012, Lausanne, Switzerland.

T

Tangermann, Michael and Müller, Klaus-Robert and Aertsen, Ad and Birbaumer, Niels and Braun, Christoph and Brunner, Clemens and Leeb, Robert and Mehring, Carsten and Miller, Kai J and Müller Putz, Gernot R and Nolte, Guido and Pfurtscheller, Gert and Preissl, Hubert and Schalk, Gerwin and Schlögl, Alois and Vidaurre, Carmen and Waldert, Stephan and Blankertz, Benjamin (2012) Review of the BCI competition IV. Frontiers in Neuroscience (JULY). Article number: 55 . ISSN 16624548

V

Vladar, Harold P (2012) Amino acid fermentation at the origin of the genetic code. Biology Direct, 7:6.

Vyleta, Meghan L and Wong, John and Magun, Bruce E (2012) Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One, 7. ISSN 1932-6203

W

Weissman, Daniel B and Barton, Nicholas H (2012) Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics, 8 (6). ISSN 1553-7404

Y

Yu, Jihun and Wojtan, Chris and Türk, Greg C and Yap, Chee (2012) Explicit mesh surfaces for particle based fluids. Computer Graphics Forum, 31 (2). pp. 815-824. ISSN 1467-8659

Z

Zufferey, Damien and Wies, Thomas and Henzinger, Thomas A (2012) Ideal abstractions for well structured transition systems. In: VMCAI: Verification, Model Checking, and Abstract Interpretation, January 22- 24, 2012, Philadelphia, PA, USA.

This list was generated on Wed Oct 17 01:00:12 2018 CEST.