Aarhus Universitets segl

Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Szalanski, M., Kristensen, T., Difford, G., Løvendahl, P. & Lassen, J. (2017). Methane emission in Jersey cows during spring transition from in-door feeding to grazing. I Book of Abstracts of the 68th Annual Meeting of the European Federation of Animal Science (2017 udg., Bind 23, s. 148-148). Wageningen Academic Publishers. https://doi.org/10.3920/978-90-8686-859-9
Hansen, K. A. (2017). The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. I V. Bilò & M. Flammini (red.), Algorithmic Game Theory - 10th International Symposium, SAGT 2017, Proceedings: 10th International Symposium, SAGT 2017 (s. 119-130). Springer VS. https://doi.org/10.1007/978-3-319-66700-3_10
Chatterjee, K., Hansen, K. A. & Ibsen-Jensen, R. (2017). Strategy Complexity of Concurrent Safety Games. I K. G. Larsen, H. L. Bodlaender & J.-F. Raskin (red.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (Bind 83, s. 55:1-55:13). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2017.55
de Haas, Y., Pryce, J. E., Wall, E., McParland, S., Manzanilla-Pech, C., Difford, G. & Lassen, J. (2016). Genomic selection for methane emission. Journal of Animal Science, 94(supplement 5), 197-198. Artikel 0407. https://doi.org/10.2527/jam2016-0407
Difford, G., de Haas, Y., Visker, M. H. P. W., Lassen, J., Bovenhuis, H., Veerkamp, R. F. & Løvendahl, P. (2017). Do breath gas measurements hold the key to unlocking the genetics of feed efficiency in dairy cows?. 184. Abstract fra 68th Annual Meeting of the European Federation of Animal Science , Tallinn, Estland.
Hóu, Z., Clouston, R., Goré, R. & Tiu, A. (2018). Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Transactions on Computational Logic, 19(2), 1-35. Artikel 13. https://doi.org/10.1145/3197383
Oldengott, I. M., Tram, T., Rampf, C. & Wong, Y. Y. Y. (2017). Interacting neutrinos in cosmology: exact description and constraints. Journal of Cosmology and Astroparticle Physics, 2017(11), Artikel 027. https://doi.org/10.1088/1475-7516/2017/11/027
Gutierrez, C. P., Anderson, J. P., Hamuy, M., Gonzalez-Gaitan, S., Galbany, L., Dessart, L., Stritzinger, M. D., Phillips, M. M., Morrell, N. & Folatelli, G. (2017). Type II Supernova Spectral Diversity. II. Spectroscopic and Photometric Correlations. Astrophysical Journal, 850(1), Artikel 90. https://doi.org/10.3847/1538-4357/aa8f42
Nielsen, K. H. (2017). Camp Century's Degrees of Coldness: From Cold War Icon to Climate Change-Induced Problem. Nach Feierabend. Zürcher Jahrbuch für Wissensgeschichte, 13, 17-37.
Applebaum, B., Damgård, I., Ishai, Y., Nielsen, M. & Zichron, L. (2017). Secure Arithmetic Computation with Constant Computational Overhead. I H. Shacham & J. Katz (red.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 223-254). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_8
Cramer, R., Damgård, I., Döttling, N., Giacomelli, I. & Xing, C. (2017). Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. I J. Shikata (red.), Information Theoretic Security - 10th International Conference, ICITS 2017, Proceedings (Bind 10681, s. 1-25). Springer VS. https://doi.org/10.1007/978-3-319-72089-0_1
Cascudo, I., Damgård, I., Farràs, O. & Ranellucci, S. (2017). Resource-Efficient OT Combiners with Active Security. I Y. Kalai & L. Reyzin (red.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Bind 10678, s. 461-486). Springer VS. https://doi.org/10.1007/978-3-319-70503-3_15
Krebbers, R., Timany, A. & Birkedal, L. (2017). Interactive proofs in higher-order concurrent separation logic. I A. D. Gordon & G. Castagna (red.), Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (s. 205-217). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009855
Bødker, S., Lyle, P. & Saad-Sulonen, J. (2017). Untangling the Mess of Technological Artifacts: Investigating Community Artifact Ecologies. I C and T 2017 - 8th International Conference on Communities and Technologies, Conference Proceedings (s. 246-255). Association for Computing Machinery. https://doi.org/10.1145/3083671.3083675
Bødker, S. & Lyle, P. (2017). Community end-user development: Patterns, platforms, possibilities and problems. I K. J.V. , S. I.A.C., D. A. A., P. A. & B. A. (red.), IS-EUD 2017 6th international symposium on end-user (s. 76-81). Technische Universiteit Eindhoven. https://pure.tue.nl/ws/files/69763287/IS_EUD2017_extended_abstracts.pdf#page=77
Vestergaard, M., Nøhr-Meldgaard, K., Bojer, M. S., Krogsgård Nielsen, C., Meyer, R. L., Slavetinsky, C., Peschel, A. & Ingmer, H. (2017). Inhibition of the ATP Synthase Eliminates the Intrinsic Resistance of Staphylococcus aureus towards Polymyxins. mBio (Online), 8(5), Artikel e01114-17. https://doi.org/10.1128/mBio.01114-17
Meyer, R. L. (2017). How can in vitro models best reflect in vivo Staphylococcus biofilms?. Abstract fra Eurobiofilms 2017, Amsterdam, Holland.
Meyer, R. L. (2017). Strategies for prevention and treatment of staphylococcal biofilms. Abstract fra Scandinavian Society for Biomaterials 2017.
Chen, Y. .-J., Munoz Caro, G. M., Aparicio, S., Jimenez-Escobar, A., Lasne, J., Rosu-Finsen, A., McCoustra, M. R. S., Cassidy, A. M. & Field, D. (2017). Wannier-Mott Excitons in Nanoscale Molecular Ices. Physical Review Letters, 119(15), Artikel 157703. https://doi.org/10.1103/PhysRevLett.119.157703
Richter, B., Ravnsbaek, D. B., Sharma, M., Spyratou, A., Hagemann, H. & Jensen, T. R. (2017). Fluoride substitution in LiBH4; destabilization and decomposition. Physical Chemistry Chemical Physics, 19(44), 30157-30165. https://doi.org/10.1039/c7cp05565j
Hill, V., Christlieb, N., Beers, T. C., Barklem, P. S., Kratz, K. .-L., Nordstrom, B., Pfeiffer, B. & Farouqi, K. (2017). The Hamburg/ESO R-process Enhanced Star survey (HERES): XI. The highly r-process-enhanced star CS 29497-004. Astronomy & Astrophysics (A&A), 607, Artikel 91. https://doi.org/10.1051/0004-6361/201629092
Gorczyca, I., Suski, T., Strak, P., Staszczak, G. & Christensen, N. E. (2017). Band gap engineering of In(Ga) N/GaN short period superlattices. Scientific Reports, 7(1), Artikel 16055. https://doi.org/10.1038/s41598-017-16022-z
Gutierrez, C. P., Anderson, J. P., Hamuy, M., Morrell, N., Gonzalez-Gaitan, S., Stritzinger, M. D., Phillips, M. M., Galbany, L., Folatelli, G., Dessart, L., Contreras, C., Della Valle, M., Freedman, W. L., Hsiao, E. Y., Krisciunas, K., Madore, B. F., Maza, J., Suntzeff, N. B., Luis Prieto, J. ... Turatto, M. (2017). Type II Supernova Spectral Diversity. I. Observations, Sample Characterization, and Spectral Line Evolution. Astrophysical Journal, 850(1), Artikel 89. https://doi.org/10.3847/1538-4357/aa8f52
Aschard, H., Guillemot, V., Vilhjalmsson, B., Patel, C. J., Skurnik, D., Ye, C. J., Wolpin, B., Kraft, P. & Zaitlen, N. (2017). Covariate selection for association screening in multiphenotype genetic studies. Nature Genetics, 49(12), 1789-1795. https://doi.org/10.1038/ng.3975
Bødker, S. (2017). Meaning and Ubiquitous Technologies. I S. Diniz Junqueira Barbosa & K. Breitman (red.), Conversations Around Semiotic Engineering (s. 13-20). Springer VS. https://doi.org/10.1007/978-3-319-56291-9_3
Rasmussen, L. B., Jensen, K., Sørensen, J. G., Toft, S., Overgaard, J., Holmstrup, M. & Kristensen, T. N. (2017). Variable performance and improvement by crossing in commercial populations of the pirate bug Orius majusculus. Poster-session præsenteret på 5th International Symposium on Biological Control of Arthropods, Langkawi, Malaysia.
Rojo-Gama, D., Nielsen, M., Wragg, D. S., Dyballa, M., Holzinger, J., Falsig, H., Lundegaard, L. F., Beato, P., Brogaard, R. Y., Lillerud, K. P., Olsbye, U. & Svelle, S. (2017). A Straightforward Descriptor for the Deactivation of Zeolite Catalyst H-ZSM-5. ACS Catalysis, 7(12), 8235-8246. https://doi.org/10.1021/acscatal.7b02193
Rasmussen, L. B., Jensen, K., Sørensen, J. G., Overgaard, J., Holmstrup, M. & Kristensen, T. N. (2017). Variable performance and improvement by crossing in commercial populations of the pirate bug Orius majusculus. I P. G. Mason, D. R. Gillespie & C. Vincent (red.), Proceedings of the 5th international symposium on biological control of arthropods (s. 243). CABI Publishing.
Hallgren, P. A., Orlandi, C. & Sabelfeld, A. (2017). PrivatePool: Privacy-Preserving Ridesharing. I Proceedings - IEEE 30th Computer Security Foundations Symposium, CSF 2017 (s. 276-291). Artikel 8049726 IEEE Press. https://doi.org/10.1109/CSF.2017.24
Chase, M., Derler, D., Goldfeder, S., Orlandi, C., Ramacher, S., Rechberger, C., Slamanig, D. & Zaverucha, G. (2017). Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives. I CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (s. 1825-1842). Association for Computing Machinery. https://doi.org/10.1145/3133956.3133997
Orlandi, C. (2017). Faster Zero-Knowledge Protocols and Applications: Invited Talk Abstract. I P. Farshim & E. Simion (red.), Innovative Security Solutions for Information Technology and Communications - 10th International Conference,SecITC 2017, Revised Selected Papers: Innovative Security Solutions for Information Technology and Communications (Bind 10543, s. 1-11). Springer VS. https://doi.org/10.1007/978-3-319-69284-5_1

Sortér efter: Dato | Forfatter | Titel