Aarhus Universitets segl

Publikationer fra Technical Sciences

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


Sortér efter: Dato | Forfatter | Titel

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. I F. Calimeri, K. Hamlen & N. Leone (red.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Bind 10702, s. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5
Hansen, J. W. (2018). Tilstand og udvikling. I J. W. Hansen (red.), Marine områder 2016: NOVANA (s. 114-118). Aarhus University, DCE - Danish Centre for Environment and Energy. http://dce2.au.dk/pub/SR253.pdf
Fredshavn, J. R., Holm, T. E., Clausen, K. K., Therkildsen, O. R. & Dalby, L. (2018). Tilstandsvurdering af levesteder for skovfugle. Aarhus University, DCE - Danish Centre for Environment and Energy. Videnskabelig rapport fra DCE - Nationalt Center for Miljø og Energi Bind 299 http://dce2.au.dk/pub/SR299.pdf
Valros, A. & Herskin, M. S. (2018). To disbud but not to dock - is that our answer? I Proceedings of the First Annual Meeting of the European Congress of Behavioural Medicine and Animal Welfare (ECVBMAW) (s. 35-37). Verlag der DVG Service GmbH.
Leyva-Pérez, M. D. L. O., Jiménez-Ruiz, J., Gómez-Lama Cabanás, C., Valverde-Corredor, A., Barroso, J. B., Luque, F. & Mercado-Blanco, J. (2018). Tolerance of olive (Olea europaea) cv Frantoio to Verticillium dahliae relies on both basal and pathogen-induced differential transcriptomic responses. New Phytologist, 217(2), 671-686. https://doi.org/10.1111/nph.14833
Zak, D., Goldhammer, T., Cabezas, A., Gelbrecht, J., Gurke, R., Wagner, C., Reuter, H., Augustin, J., Klimkowska, A. & McInnes, R. (2018). Top soil removal reduces water pollution from phosphorus and dissolved organic matter and lowers methane emissions from rewetted peatlands. Journal of Applied Ecology, 55(1), 311-320. https://doi.org/10.1111/1365-2664.12931
Schlie , B., Nielsen, L. H. & Lucani Rötter, D. E. (2018). Towards an Optimized Cloud Replication Protocol. I Proceedings - 3rd IEEE International Conference on Smart Cloud, SmartCloud 2018: SmartCloud 2018 (s. 105-110). Artikel 8513723 IEEE. https://doi.org/10.1109/SmartCloud.2018.00025
Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (s. 20-25). Rossijskaja akademija nauk / Russian Academy of Sciences. http://syrcose.ispras.ru/2018/SYRCoSE2018_Proceedings.pdf
Neve, H. H. & Wandahl, S. (2018). Towards Identifying Making-Do as Lead Waste in Refurbishment Projects. I V. A. Gonzalez (red.), IGLC 2018 - Proceedings of the 26th Annual Conference of the International Group for Lean Construction: Evolving Lean Construction Towards Mature Production Management Across Cultures and Frontiers (s. 1354-1364). International Group for Lean Construction. https://doi.org/10.24928/2018/0236
Ostovari, Y., Ghorbani-Dashtaki, S., Bahrami, H. A., Abbasi, M., Dematte, A. M., Arthur, E. & Panagos, P. (2018). Towards prediction of soil erodibility, SOM and CaCO3 using laboratory Vis-NIR spectra: A case study in a semi-arid region of Iran. Geoderma, 314(March), 102-112. https://doi.org/10.1016/j.geoderma.2017.11.014
Thule, C., Gomes, C., Deantoni, J., Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018). Towards the Verification of Hybrid Co-simulation Algorithms. I M. Mazzara, I. Ober & G. Salaün (red.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 5-20). Springer. https://doi.org/10.1007/978-3-030-04771-9_1
Banerjee, S., Carithers, C., Chavan, A., Ramanujan, D. & Ramani, K. (2018). Toying With Design: Experiencing Design for Rapid Prototyping Using Mini-Fabrication Exercises. I 20th International Conference on Advanced Vehicle Technologies; 15th International Conference on Design Education: Volume 3: 20th International Conference on Advanced Vehicle Technologies; 15th International Conference on Design Education (Bind 3, s. V003T04A007). Artikel DETC2018-85769 American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2018-85769
Luyssaert, S., Marie, G., Valade, A., Chen, Y. Y., Njakou Djomo, S., Ryder, J., Otto, J., Naudts, K., Lansø, A. S., Ghattas, J. & McGrath, M. J. (2018). Trade-offs in using European forests to meet climate objectives. Nature, 562(7726), 259-262. https://doi.org/10.1038/s41586-018-0577-1
Sere, A., Bougma, A., Ouilly, J. T., Traore, M., Sangare, H., Lykke, A. M., Ouedraogo, A., Gnankine, O. & Bassole, I. H. N. (2018). Traditional knowledge regarding edible insects in Burkina Faso. Journal of Ethnobiology and Ethnomedicine, 14(1), Artikel 59. https://doi.org/10.1186/s13002-018-0258-z
Pepe, D., Chlis, I. & Zito, D. (2018). Transformer-based Input Integrated Matching in Cascode Amplifiers: Analytical Proofs. IEEE Transactions on Circuits and Systems Part 1: Regular Papers, 65(5), 1495-1506. https://doi.org/10.1109/TCSI.2017.2762928
Nilsson, R. S., Lausdahl, K. G., Macedo, H. D. & Larsen, P. G. (2018). Transforming an industrial case study from VDM++ to VDM-SL. I K. Pierce & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 107-123). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.14
Petersen, R. J., Prinds, C., Iversen, B. V., Kjærgaard, C., Jessen, S. & Engesgaard, P. K. (2018). Transport and transformation of nitrate in a riparian wetland. 1. Abstract fra Nordic Geological Winter Meeting, Lyngby, Danmark. http://2dgf.dk/xpdf/NGWM2018-Programme-Print.pdf
Odgaard, M. V., (2018). Tre Danmarkskort, 2018, Nr. 2018-760-000759, 4 s., nov. 22, 2018.
Foldager, F., Balling, O. & Green, O. (2018). Trends and challenges of modelling and simulation in agriculture. Abstract fra Advances and Innovations in Agricultural Engineering. The 3rd NJF - Agromek- EurAgEng joint seminar, Herning, Danmark.
Bregnballe, T., Kleefstra, R., Scheiffarth, G., Günther, K., Hälterlein, B., Ludwig, J., Koffijberg, K., Reichert, G., Umland, J., Frikke, J., Hornman, M., Körber, P., Hansen, M. B. & van Roomen, M. (2018). Trends of waterbird populations in the Wadden Sea in comparison with flyway trends. I M. van Roomen, S. Nagy, G. Citegetse & H. Schekkerman (red.), East Atlantic Flyway Assessment 2017: the status of coastal waterbird populations and sites (s. 33-43) https://www.waddensea-worldheritage.org/resources/east-atlantic-flyway-assessment-2017
Young, P. J., Naik, V., Fiore, A. M., Gaudel, A., Guo, J., Lin, M. Y., Neu, J. L., Parrish, D. D., Rieder, H. E., Schnell, J. L., Tilmes, S., Wild, O., Zhang, L., Ziemke, J., Brandt, J., Delcloo, A., Doherty, R. M., Geels, C., Hegglin, M. I. ... Zeng, G. (2018). Tropospheric ozone assessment report: Assessment of global-scale model performance for global and regional ozone distributions, variability, and trends. Elementa: Science of the Anthropocene, 6, Artikel 10. https://doi.org/10.1525/elementa.265
Bjorkman, A. D., Myers-Smith, I. H., Elmendorf, S. C., Normand, S., Thomas, H. J. D., Alatalo, J. M., Alexander, H., Anadon-Rosell, A., Angers-Blondin, S., Bai, Y., Baruah, G., te Beest, M., Berner, L., Björk, R. G., Blok, D., Bruelheide, H., Buchwal, A., Buras, A., Carbognani, M. ... Zamin, T. (2018). Tundra Trait Team: A database of plant traits spanning the tundra biome. Global Ecology and Biogeography, 27(12), 1402-1411. https://doi.org/10.1111/geb.12821