Publications from Technical Sciences

Follow the latest publications from the Faculty of Technical Sciences. The overview shows the publications with the latest at the top.

Sort by: Date | Author | Title

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. In F. Calimeri, K. Hamlen & N. Leone (Eds.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Vol. 10702, pp. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5

Varvaris, I., Børgesen, C. D., Kjærgaard, C. & Iversen, B. V. (2018). Three two-dimensional approaches for simulating the water flow dynamics in a heterogeneous tile-drained agricultural field in Denmark. Soil Science Society of America Journal, 82(6), 1367-1383. https://doi.org/10.2136/sssaj2018.05.0190

Hansen, J. W. (2018). Tilstand og udvikling. In J. W. Hansen (Ed.), Marine områder 2016: NOVANA (pp. 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 Vol. 299 http://dce2.au.dk/pub/SR299.pdf

Kristensen, M. Ø., Strudsholm, F., Hansen, N. P. & Weisbjerg, M. R. (2018). Toastning af hestebønner kan ikke betale sig. Kvæginfo. https://www.landbrugsinfo.dk/Oekologi/Kvaeg/Foder-og-fodring/Sider/Oe-18-3852-Toasting_af_hesteboenner_kan_ikke_betale_sig.aspx

Hallerstede, S. (2018). Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. Formal Aspects of Computing, 30(3-4), 491-492. https://doi.org/10.1007/s00165-018-0454-6

Valros, A. & Herskin, M. S. (2018). To disbud but not to dock - is that our answer? In Proceedings of the First Annual Meeting of the European Congress of Behavioural Medicine and Animal Welfare (ECVBMAW) (pp. 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

Vester-Petersen, J. (2018). Topology Optimization of Field-enhancing Nanostructures for Photovoltaic Applications. Department of Engineering, Aarhus University.

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

Ettema, J. F., Kudahl, A. B., Børsting, C. F. & Østergaard, S. (2018). Tørkeråd: Køb grovfoder i stedet for at slagte dyr. KvægNYT, 23, 2-2. https://www.landbrugsinfo.dk/kvaeg/kvaegnyt/sider/startside.aspx

Christensen, C. B., Hietkamp, R., Harte, J. MI., Lunner, T. & Kidmose, P. (2018). Toward EEG-Assisted Hearing Aids: Objective Threshold Estimation Based on Ear-EEG in Subjects With Sensorineural Hearing Loss. Trends in Hearing, 22, Article 2331216518816203. https://doi.org/10.1177/2331216518816203

Zhang, Q., Liu, J. & Zhao, G. (2018). Towards 5G Enabled Tactile Robotic Telesurgery. arxiv.org. https://arxiv.org/pdf/1803.03586.pdf

Schlie , B., Nielsen, L. H. & Lucani Rötter, D. E. (2018). Towards an Optimized Cloud Replication Protocol. In Proceedings - 3rd IEEE International Conference on Smart Cloud, SmartCloud 2018: SmartCloud 2018 (pp. 105-110). Article 8513723 IEEE. https://doi.org/10.1109/SmartCloud.2018.00025

Davidson, T. A., Bennion, H., Reid, M., Sayer, C. D. & Whitmore, T. J. (2018). Towards better integration of ecology in palaeoecology: from proxies to indicators, from inference to understanding. Journal of Paleolimnology, 60(2), 109-116. https://doi.org/10.1007/s10933-018-0032-1

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. Proceedings of the Institute for System Programming, 30(4), 79-94. https://doi.org/10.15514/ISPRAS-2018-30(4)-5

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. In A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (Eds.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (pp. 20-25). Rossijskaja akademija nauk / Russian Academy of Sciences. http://syrcose.ispras.ru/2018/SYRCoSE2018_Proceedings.pdf

Kamari, A. & Kirkegaard, P. H. (2018). Towards generation of holistic renovation scenarios using Multiple Criteria Decision Making. Poster session presented at Symposium on Simulation for Architecture and Urban Design (SimAUD) 2018, Delft, Netherlands. https://www.researchgate.net/publication/327670272_Towards_generation_of_holistic_renovation_scenarios_using_Multiple_Criteria_Decision_Making_-_Case_of_Energy_Consumption_Investment_Cost_and_Indoor_Comfort

Kamari, A., Leonhard Christensen, M., Jensen, S., Petersen, S. & Kirkegaard, P. H. (2018). Towards generation of holistic renovation scenarios using Multiple Criteria Decision Making – Case of Energy Consumption, Investment Cost, and Indoor Comfort. In H. Elsharkawy, S. Zahiri & J. Clough (Eds.), International Conference for Sustainable Design of the Built Environment, SDBE 2018: Proceedings (pp. 37-48). Article 113 British Council. http://newton-sdbe.uk/wp-content/uploads/2018/09/SDBE2018_Conference-Proceedings-.pdf

Neve, H. H. & Wandahl, S. (2018). Towards Identifying Making-Do as Lead Waste in Refurbishment Projects. In V. A. Gonzalez (Ed.), 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 (pp. 1354-1364). International Group for Lean Construction. https://doi.org/10.24928/2018/0236

Hedegaard, R. E., Pedersen, T. H., Knudsen, M. D. & Petersen, S. (2018). Towards practical model predictive control of residential space heating: Eliminating the need for weather measurements. Energy and Buildings, 170, 206-216. https://doi.org/10.1016/j.enbuild.2018.04.014

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 CaCO₃ 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

Kamari, A., Corrao, R. & Kirkegaard, P. H. (2018). Towards the development of a Decision Support System (DSS) for building renovation: Domain Mapping Matrix (DMM) for sustainability renovation criteria and renovation approaches. In G. Margani, G. Rodono & V. Sapienza (Eds.), Proceedings of the Seismic and Energy Renovation For Sustainable Cities: SER4SC (pp. 564-576). EdicomEdizioni. https://iris.unipa.it/retrieve/handle/10447/264899/509606/SER4SC%20Proceedings%20%28paper%2001%20-%20DMM%29R.pdf

Salmond, J., Sabel, C. E. & Vardoulakis, S. (2018). Towards the Integrated Study of Urban Climate, Air Pollution, and Public Health. Climate, 6(1), 14. Article 14. https://doi.org/10.3390/cli6010014

Thule, C., Gomes, C., Deantoni, J., Larsen, P. G., Brauer, J. & Vangheluwe, H. (2018). Towards the Verification of Hybrid Co-simulation Algorithms. In M. Mazzara, I. Ober & G. Salaün (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 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. In 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 (Vol. 3, pp. V003T04A007). Article DETC2018-85769 American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2018-85769

Balling, O., McCullough, M., Hodges, H., Pulley, R. & Jayakumar, P. (2018). Tracked and Wheeled Vehicle Benchmark - A Demonstration of Simulation Maturity for Next Generation Nato Reference Mobility Model. Paper presented at 2018 NDIA Ground Vehicle Systems Engineering and Technology Symposium, Novi, United States. http://gvsets.ndia-mich.org/documents/MSTV/2018/Tracked%20and%20Wheeled%20Vehicle%20Benchmark%20-%20A%20Demonstration%20of%20Simulation%20Maturity%20for%20Next%20Generation%20NATO%20Reference%20Mobility%20Model.pdf

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), Article 59. https://doi.org/10.1186/s13002-018-0258-z

Kongsted, A. G., Lambertsen, L., Jakobsen, M., Hermansen, J. E., Andersen, H. M.-L., Markussen, C., Kyed, S., Eriksen, S., Serup, T. & Jørgensen, U. (2018). Træer i svinefolde. DCA rapport No. 132 http://web.agrsci.dk/djfpublikation/index.asp?action=show&id=1277

Flarup, J. & Wivel, H. (2018). Training the staff - How to develop personal and interpersonal competencies at faculty level. In Proceedings of the 14th International CDIO Conference

Palombo, V., Loor, J. J., D'Andrea, M., Vailati-Riboni, M., Shahzad, K., Krogh, U. & Theil, P. K. (2018). Transcriptional profiling of swine mammary gland during the transition from colostrogenesis to lactogenesis using RNA sequencing. BMC Genomics, 19(1), Article 322. https://doi.org/10.1186/s12864-018-4719-5

Paul, S., Heckmann, L.-H., Sorensen, J. G., Holmstrup, M., Arumugaperumal, A. & Sivasubramaniam, S. (2018). Transcriptome sequencing, de novo assembly and annotation of the freeze tolerant earthworm, Dendrobaena octaedra. Gene Reports, 13, 180-191. https://doi.org/10.1016/j.genrep.2018.10.010

Leyva, M. O., Nagy, I., Hentrup, S., Byrne, S. & Asp, T. (2018). Transcriptomic analysis of drought-sensitive and tolerant genotypes of perennial ryegrass (Lolium perenne l.). In Breeding Grasses and Protein Crops in the Era of Genomics (pp. 160-165). Springer. https://doi.org/10.1007/978-3-319-89578-9_29

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-1504. 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. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 107-123). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.14

Bollmann, U. E., Bester, K., Vollertsen, J., Urbanczyk, M. & Rudelle, E. A. (2018). Transport and transformation of biocides in construction materials: Factors controlling release and emissions. The Danish Environmental Protection Agency. https://mst.dk/service/publikationer/publikationsarkiv/2018/nov/transbio/

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 from Nordic Geological Winter Meeting, Lyngby, Denmark. http://2dgf.dk/xpdf/NGWM2018-Programme-Print.pdf

Fogsgaard, K. K., Herskin, M. S. & Thodberg, K. (2018). Transportation of cull sows-a descriptive study of the clinical condition of cull sows before transportation to slaughter. Translational Animal Science, 2(3), 280-289. https://doi.org/10.1093/tas/txy057

Blaabjerg, K., Nørgaard, J. V., Nielsen, B., Cantor, M. D., Derkx, P., Sehested, J. & Poulsen, H. D. (2018). Transport of valine across the small intestinal epithelium in pigs fed different valine levels and Bacillus subtilis. Journal of Animal Physiology and Animal Nutrition, 102(2), e856-e863. https://doi.org/10.1111/jpn.12846

Jabs, F., Plum, M., Laursen, N. S., Jensen, R. K., Mølgaard, B., Miehe, M., Mandolesi, M., Rauber, M. M., Pfützner, W., Jakob, T., Möbs, C., Andersen, G. R. & Spillner, E. (2018). Trapping IgE in a closed conformation by mimicking CD23 binding prevents and disrupts FcεRI interaction. Nature Communications, 9(1), Article 7. https://doi.org/10.1038/s41467-017-02312-7

Fuglsang, C. H., Johansen, T., Kaila, K., Kasch, H. & Bach, F. W. (2018). Treatment of acute migraine by a partial rebreathing device: A randomized controlled pilot study. Cephalalgia, 38(10), 1632-1643. https://doi.org/10.1177/0333102418797285

Odgaard, M. V., (2018). Tre Danmarkskort, 2018, No. 2018-760-000759, 4 p., Nov 22, 2018.

Foldager, F., Balling, O. & Green, O. (2018). Trends and challenges of modelling and simulation in agriculture. Abstract from Advances and Innovations in Agricultural Engineering. The 3rd NJF - Agromek- EurAgEng joint seminar, Herning, Denmark.

Meltofte, H., Amstrup, O., Petersen, T. L., Riget, F. F. & Tøttrup, A. P. (2018). Trends in breeding phenology across ten decades show varying adjustments to environmental changes in four wader species. Bird Study, 65(1), 44-51. https://doi.org/10.1080/00063657.2018.1444014

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. In M. van Roomen, S. Nagy, G. Citegetse & H. Schekkerman (Eds.), East Atlantic Flyway Assessment 2017: the status of coastal waterbird populations and sites (pp. 33-43) https://www.waddensea-worldheritage.org/resources/east-atlantic-flyway-assessment-2017

Ndolo, D. O., Songa, J. M. & Lövei, G. L. (2018). Tri-trophic impacts of Bt-transgenic maize on parasitoid size and fluctuating asymmetry in native vs. novel host-parasitoid interactions in East Africa. Insects, 9(2), Article 38. https://doi.org/10.3390/insects9020038

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, Article 10. https://doi.org/10.1525/elementa.265

Hoye, T. T. & Culler, L. E. (2018). Tundra arthropods provide key insights into ecological responses to environmental change. Polar Biology, 41(8), 1523-1529. https://doi.org/10.1007/s00300-018-2370-x

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

Displaying results 17451 to 17500 out of 76845

350

Revised 22.11.2024

TECH web support