Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Faculty of Natural Sciences. Oversigten viser fakultetets publikationer med de nyeste øverst.

Sortér efter: Dato | Forfatter | Titel

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded cubical type theory. Abstract fra 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbien. http://www.cs.au.dk/~spitters/TYPES16.pdf

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded Cubical Type Theory: Path Equality for Guarded Recursion. I J.-M. Talbot & L. Regnier (red.), CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (s. 1 - 17)

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016, aug. 1). Guarded Cubical Type Theory. https://doi.org/10.4230/LIPIcs.CSL.2016.23

Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L. (2016). Guarded dependent type theory with coinductive types. I B. Jacobs & C. Löding (red.), Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Bind 9634, s. 20-35). Springer VS. https://doi.org/10.1007/978-3-662-49630-5_2

Grathwohl, H. B. (2016). Guarded Recursive Type Theory. Department of Computer Science, Aarhus University.

Arge, L. & Pach, J. (2016). Guest Editors’ Foreword. Discrete & Computational Geometry, 56(4), 833–835. https://doi.org/10.1007/s00454-016-9826-y

Bondesgaard, M., Becker, J., Jusseau, X., Hellstern, H. C., Mamakhel, M. A. H. & Iversen, B. B. (2016). Guide to by-products formed in organic solvents under solvothermal conditions. The Journal of Supercritical Fluids, 113, 166-197. https://doi.org/10.1016/j.supflu.2016.02.012

Kodal, A. L. B. (2016). Guiding Macromolecular Assembly by DNA.

Basse, K., Shankar, R., Bjerring, M., Vosegaard, T., Nielsen, N. C. & Nielsen, A. B. (2016). Handling the influence of chemical shift in amplitude-modulated heteronuclear dipolar recoupling solid-state NMR. Journal of Chemical Physics, 145(9), Artikel 094202. https://doi.org/10.1063/1.4961736

Mitchell, R., Fender, A. & Mueller, F. F. (2016). HandyFeet: Social Bodily Play Via Split Control of a Human Puppet's Limbs. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (s. 506-511). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856531

Bødker, S., Korsgaard, H., Lyle, P. & Saad-Sulonen, J. (2016). Happenstance, Strategies and Tactics: Intrinsic Design in a Volunteer-based Community. I W. Barendregt & M. Obaid (red.), Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 (s. 10:1-10:10). Artikel a10 Association for Computing Machinery. https://doi.org/10.1145/2971485.2971564

Nue, V. (2016). Harnessing Catechol Chemistry for Material Design. Aarhus University.

Swann, A. F. (2016). Hashimoto, Hideya, Ohashi, Misa. On fibre bundle structures of Stiefel manifolds related to the octonions. Topology Appl. 196 (2015), part B, 483--491. MathSciNet, Artikel MR3430991.

Jorissen, A., Hansen, T., Van Eck, S., Andersen, J., Nordström, I. B., Siess, L., Torres, G., Masseron, T. & Van Winckel, H. (2016). HE 0017+0055: A probable pulsating CEMP-rs star and long-period binary. Astronomy & Astrophysics (A&A), 586, Artikel A159. https://doi.org/10.1051/0004-6361/201526993

Borg, E. & Jensen, T. R. (2016). Heat management in high-pressure hydrogen tanks. Poster-session præsenteret på Hydrides as Energy Materials.

Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, M. (2016). Heavy hitters via cluster-preserving clustering. I Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 (s. 61-70). Artikel 7782918 IEEE. https://doi.org/10.1109/FOCS.2016.16

Holm, S. L., Lefmann, K., Henry, P. F., Bertelsen, M., Schefer, J. & Christensen, M. (2016). HEIMDAL: A thermal neutron powder diffractometer with high and flexible resolution combined with SANS and neutron imaging – Designed for materials science studies at the European Spallation Source. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 828, 229-241. https://doi.org/10.1016/j.nima.2016.05.046

Foley, N., Tulaczyk, S., Auken, E., Schamper, C., Dugan, H., Mikucki, J., Virginia, R. & Doran, P. (2016). Helicopter-borne transient electromagnetics in high-latitude environments: An application in the McMurdo Dry Valleys, Antarctica. Geophysics, 81(1), WA87-WA99. https://doi.org/10.1190/GEO2015-0186.1

Hinrichsen, L. K., Labouriau, R., Engberg, R. M., Knierim, U. & Sørensen, J. T. (2016). Helminth infection is associated with hen mortality in Danish organic egg production. Veterinary Record, 179(8), 196. https://doi.org/10.1136/vr.103614

Fukudome, M., Calvo-Begueria, L., Kado, T., Osuki, K., Rubio, M. C., Murakami, E., Nagata, M., Kucho, K., Sandal, N. N., Stougaard, J., Becana, M. & Uchiumi, T. (2016). Hemoglobin LjGlb1-1 is involved in nodulation and regulates the level of nitric oxide in the Lotus japonicus-Mesorhizobium loti symbiosis. Journal of Experimental Botany, 67(17), 5275-5283. https://doi.org/10.1093/jxb/erw290

Olsson, T., MacMillan, H. A., Nyberg, N., Staerk, D., Malmendal, A. & Overgaard, J. (2016). Hemolymph metabolites and osmolality are tightly linked to cold tolerance of Drosophila species: a comparative study. Journal of Experimental Biology, 219(16), 2504-2513. https://doi.org/10.1242/jeb.140152

Danielsen, K. & Sørensen, H. K. (2016). Herons formel: Hvordan en aleksandriner fik sat mål på alle slags trekanter. Matematiklærerforeningen.

Jimenez Mena, B., Hospital, F. & Bataillon, T. (2016). Heterogeneity of effective population size and its implications in conservation genetics and animal breeding. Conservation Genetics Resources, 8(1), 35-41. https://doi.org/10.1007/s12686-015-0508-5

Ling, M., Wex, H., Grawe, S., Santl-Temkiv, T., Jakobsson, J., Finster, K., Hartmann, S. & Boesen, T. (2016). Heterogeneous ice nucleation of bacterial ice nucleation protein. Abstract fra The Nordic Society for Aerosol Research (NOSA) Aerosol Symposium, Aarhus, Danmark.

Equbal, A., Bjerring, M., Sharma, K., Madhu, P. K. & Nielsen, N. C. (2016). Heteronuclear decoupling in MAS NMR in the intermediate to fast sample spinning regime. Chemical Physics Letters, 644, 243-249. https://doi.org/10.1016/j.cplett.2015.12.014

Equbal, A. (2016). Heteronuclear Dipolar Decoupling in Solid-State Magic-Angle-Spinning NMR: Development of spins decoupling schemes using numerical simulations and Floquet theory. Aarhus University. https://pure.au.dk/admin/files/102329357/Thesis_Printed_Copy.pdf

Lambertini, C. (2016). Heteroplasmy due to chloroplast paternal leakage: another insight into Phragmites haplotypic diversity in North America. Biological Invasions, 18(9), 2443-2455. https://doi.org/10.1007/s10530-016-1193-3

Hahn, U. & Jensen, E. B. V. (2016). Hidden Second-order Stationary Spatial Point Processes. Scandinavian Journal of Statistics, 43(2), 455-475. https://doi.org/10.1111/sjos.12185

Vanthournout, B. & Hendrickx, F. (2016). Hidden suppression of sex ratio distortion suggests Red queen dynamics between Wolbachia and its dwarf spider host. Journal of Evolutionary Biology, 29(8), 1488-1494. https://doi.org/10.1111/jeb.12861

Borge, M. J. G. & Riisager, K. (2016). HIE-ISOLDE, the project and the physics opportunities. The European Physical Journal A: Hadrons and Nuclei, 52(11), Artikel 334. https://doi.org/10.1140/epja/i2016-16334-4

Bak, B. A. & Jensen, J. L. (2016). High dimensional classifiers in the imbalanced case. Computational Statistics & Data Analysis, 98, 46-59. https://doi.org/10.1016/j.csda.2015.12.009

Fiala, R., Figueroba, A., Bruix, A., Vaclavu, M., Rednyk, A., Khalakhan, I., Vorokhta, M., Lavkova, J., Illas, F., Potin, V., Matolinova, I., Neyman, K. M. & Matolin, V. (2016). High efficiency of Pt2+ - CeO2 novel thin film catalyst as anode for proton exchange membrane fuel cells. Applied Catalysis B: Environment and Energy, 197, 262-270. https://doi.org/10.1016/j.apcatb.2016.02.036

Lu, Y.-W., Huang, C., Cheng, J.-G. & Larsen, A. N. (2016). High Er3+ luminescent efficiency in Er-doped SiOx films containing amorphous Si nanodots. Journal of Alloys and Compounds, 676, 428-431. https://doi.org/10.1016/j.jallcom.2016.03.184

Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2016). Higher-order ghost state. I E. Sumii (red.), ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (s. 256-269). Association for Computing Machinery. https://doi.org/10.1145/2951913.2951943

Sanna, S., Esposito, V., Christensen, M. & Pryds, N. (2016). High ionic conductivity in confined bismuth oxide-based heterostructures. APL Materials, 4(12), 1-5. Artikel 121101. https://doi.org/10.1063/1.4971801

Álvarez-Martos, I. & Ferapontova, E. (2016). Highly Biospecific Self-assembled Aptasensors for Dopamine Analysis. Abstract fra 3rd International Conference on Self Assembly and Molecular Electronics, Danmark.

Equbal, A., Basse, K. & Nielsen, N. C. (2016). Highly efficient F-19 heteronuclear decoupling in solid-state NMR spectroscopy using supercycled refocused-CW irradiation. Physical Chemistry Chemical Physics, 18(45), 30990-30997. https://doi.org/10.1039/c6cp06574k

Li, Z., Hu, Y., Chang, M., Howard, K., Fan, X., Sun, Y., Besenbacher, F. & Yu, M. (2016). Highly porous PEGylated Bi2S3 nano-urchins as a versatile platform for in vivo triple-modal imaging, photothermal therapy and drug delivery. Nanoscale, 8(35), 16005-16016. https://doi.org/10.1039/C6NR03398A

Samatov, I. (2016). High-mobility tungsten-doped indium oxide as transparent-electrode material for solar cells.

Kristensen, K., Watne, Å., Hammes, J., Lutz, A., Petäjä, T., Hallquist, M., Bilde, M. & Glasius, M. (2016). High-Molecular Weight Dimer Esters Are Major Products in Aerosols from α-Pinene Ozonolysis and the Boreal Forest. Environmental Science & Technology Letters, 3(8), 280-285. https://doi.org/10.1021/acs.estlett.6b00152

Feng, G., Mao, L., Sandel, B. S., Swenson, N. G. & Svenning, J.-C. (2016). High plant endemism in China is partially linked to reduced glacial-interglacial climate change. Journal of Biogeography, 43(1), 145-154. https://doi.org/10.1111/jbi.12613

Nissen, P. E. (2016). High-precision abundances of Sc, Mn, Cu, and Ba in solar twins Trends of element ratios with stellar age. Astronomy & Astrophysics (A&A), 593, Artikel A65. https://doi.org/10.1051/0004-6361/201628888

Southworth, J., Tregloan-Reed, J., Andersen, M. I., Calchi Novati, S., Ciceri, S., Colque, J. P., D'Ago, G., Dominik, M., Evans, D. F., Gu, S.-H., Herrera-Cordova, A., Hinse, T. C., Jørgensen, U. G., Juncher, D., Kuffmeier, M., Mancini, L., Peixinho, N., Popovas, A., Rabus, M. ... Wang, Y. (2016). High-precision photometry by telescope defocussing - VIII. WASP-22, WASP-41, WASP-42 and WASP-55. Royal Astronomical Society. Monthly Notices, 457(4), 4205-4217. https://doi.org/10.1093/mnras/stw279

Nielsen, M. B. (2016). High Pressure - A different approach to materials science.

Fassmer, K., Obermüller, G., Nagel, T., Kirst, F., Froitzheim, N., Sandmann, S., Miladinova, I., Fonseca, R. OC. & Münker, C. (2016). High-pressure metamorphic age and significance of eclogite-facies continental fragments associated with oceanic lithosphere in the Western Alps (etirol-levaz slice, valtournenche, Italy). Lithos, 252-253, 145–159. https://doi.org/10.1016/j.lithos.2016.02.019

Borup, M. A., Blichfeld, A. B., Madsen, S. R. & Iversen, B. B. (2016). High-pressure single crystal X-ray diffraction study of thermoelectric ZnSb and β-Zn₄Sb₃. Dalton Transactions, 45(38), 15097-15103. https://doi.org/10.1039/C6DT02323A

Kronbo, C. H., Nielsen, M. B., Munkholm Kevy, S., Parisiades, P. & Bremholm, M. (2016). High pressure structural studies of two SrIrO3 perovskite polymorphs. Poster-session præsenteret på DanScatt meeting, København, Danmark.