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

Roth, N., F. May, A., Ye, F., Chakoumakos, B. & Iversen, B. B. (2018). Model-free reconstruction of magnetic correlations in frustrated magnets. IUCrJ, 5(4), 410-416. https://doi.org/10.1107/S2052252518006590

Caspersen, M. E. & Bennedsen, J. (2008). Model-Driven Programming. Lecture Notes in Computer Science, 4821, 116-129. https://doi.org/10.1007/978-3-540-77934-6

Ratmann, O., Andrieu, C., Wiuf, C. H. & Richardson, S. (2009). Model criticism based on likelihood-free inference: with an application to protein network evolution. Proceedings of the National Academy of Sciences (PNAS), 106, 10576-10581. https://doi.org/10.1073/pnas.0807882106

Gianola, D., Sorensen, D. & Waagepetersen, R. (2003). Model choice in animal breeding: A case study of litter size in pigs. I Abstract book, International Biometrics Society and Statistical Society of Canada (s. 309)

Bloemen, V., Duret-Lutz, A. & van de Pol, J. (2019). Model checking with generalized Rabin and Fin-less automata. International Journal on Software Tools for Technology Transfer, 21(3), 307-324. https://doi.org/10.1007/s10009-019-00508-4

Lauritsen, J. V. & Besenbacher, F. (2006). Model catalyst surfaces investigated by scanning tunneling microscopy. Advances in Catalysis, 50, 97-147.

Porsgaard, S. (2012). Model catalysts studied by photoemission spectroscopy at elevated pressures.

Johns, C. A. (2025). Model-Based User Interface Optimization Under Contextual Uncertainty. [Ph.d.-afhandling, Aarhus Universitet].

Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. I S. Terzis & L. Veiga (red.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (s. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797

Møller, A. & Torp, M. T. (2019). Model-based testing of breaking changes in Node.js libraries. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 409-419). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338940

Tjell, S. (2006). Model-Based Testing of a Reactive System with Coloured Petri Nets. I Proceedings of GI Jahrestagung (2) (Bind 94, s. 274-281). Gesellschaft für Informatik e.V..

Tjell, S. (2007). Model-Based Software Engineering for Embedded Systems: Progress Report for Qualification Exam during Ph.D. studies.

Tjell, S. & Lassen, K. B. (2008). Model-Based Requirements Analysis for Reactive Systems with UML Sequence Diagrams and Coloured Petri Nets. Innovations in Systems and Software Engineering, 4(3), 233-240.

Kristensen, L. M., Westergaard, M. & Nørgaard, P. C. (2005). Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. I IFM 2005 (s. 266-286). Springer LNCS.

Dalgaard, E., Auken, E. & Larsen, J. J. (2012). Model-based noise cancelling of multichannel magnetic resonance sounding measurements. I Near Surface Geoscience 2012 European Association of Geoscientists and Engineers, EAGE. http://www.scopus.com/inward/record.url?scp=84898482260&partnerID=8YFLogxK

Grønbæk, L. J., Schwefel, H.-P. & Toftegaard, T. S. (2009). Model based Evaluation of Policies for End-Node Driven Fault Recovery. I Design of Reliable Communication Networks, 2009. DRCN 2009. 7th International Workshop on (s. 367-374). IEEE Press. https://doi.org/10.1109/DRCN.2009.5339983

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006). Model based Development of a Course of Action Scheduling Tool. I Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Bind 579, s. 1-16). Department of Computer Science, University of Aarhus.

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. E. (2008). Model-based development of a course of action scheduling tool. International Journal on Software Tools for Technology Transfer, 10(1), 5-14. https://doi.org/10.1007/s10009-007-0053-y

Larsen, J. J., Dalgaard, E. B. & Auken, E. (2012). Model-based cancelling of powerline harmonics in multichannel MRS recordings. Abstract fra Magnetic Resonance in the Subsurface, Hannover, Tyskland.

Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. I From Model-Driven Design to Resource Management for Distributed Embedded Systems (Bind 225/2006, s. 245-255). Springer.

Golbek, T. W., Faase, R. A., Rasmussen, M. H., Tykwinski, R. R., Stryker, J. M., Ivar Andersen, S., Baio, J. E. & Weidner, T. (2021). Model Asphaltenes Adsorbed onto Methyl- And COOH-Terminated SAMs on Gold. Langmuir, 37(32), 9785-9792. https://doi.org/10.1021/acs.langmuir.1c01338

Heide-Jørgensen, S., Budzik, M. K., Buhl, K. B., Hinge, M., Pedersen, S. U., Daasbjerg, K. & Kongsfelt, M. (2021). Mode I debonding under large deformation conditions including notes on cleavage-peeling transition. Engineering Fracture Mechanics, 241, Artikel 107413. https://doi.org/10.1016/j.engfracmech.2020.107413

Dall, T. H. & Frandsen, S. (2002). Mode Characterization in delta Scuti Stars. Astronomy & Astrophysics (A&A), 386, 964-970.

Du, M., Bi, S., Zhang, X., Li, Y., Li, T. & Shi, R. (2021). Mode angular degree identification in subgiant stars with convolutional neural networks based on power spectrum. Monthly Notices of the Royal Astronomical Society, 501(1), 614-622. https://doi.org/10.1093/mnras/staa3642

Rijke, E., Shulman, M. & Spitters, B. (2017, jun. 27). Modalities in homotopy type theory. https://arxiv.org/abs/1706.07526

Rijke, E., Shulman, M. & Spitters, B. (2020). Modalities in homotopy type theory. Logical Methods in Computer Science, 16(1), 2:1-2:79. https://doi.org/10.23638/LMCS-16(1:2)2020

Gratzer, D., Cavallo, E., Kavvos, G. A., Guatto, A. & Birkedal, L. (2022). Modalities and Parametric Adjoints. ACM Transactions on Computational Logic, 23(3), Artikel 18. https://doi.org/10.1145/3514241

Birkedal, L., Clouston, R., Mannaa, B., Ejlers Møgelberg, R., Pitts, A. M. & Spitters, B. (2020). Modal dependent type theory and dependent right adjoints. Mathematical Structures in Computer Science, 30(2), 118-138. https://doi.org/10.1017/S0960129519000197

Bertelsen, O. W., Grönvall, E. & Rizzo, A. (2008). Mockup'ing as a creative dialog with and through material. I Proceedings of ISCAR 2008

Brynskov, M. & Ludvigsen, M. (2006). Mock Games: A New Genre of Pervasive Play. I Proceedings of the 6th ACM Conference on Designing Interactive Systems (s. 169-178). Association for Computing Machinery.

Swann, A. F. (2015). Mochizuki, Takuro. Harmonic bundles and Toda lattices with opposite sign II. Comm. Math. Phys. 328 (2014), no. 3, 1159--1198. MathSciNet, Artikel MR3201222.

Meiklejohn, S. & Mercer, R. (2018). Möbius: Trustless tumbling for transaction privacy. Proceedings on Privacy Enhancing Technologies, 2018(2), 105-121. https://doi.org/10.1515/popets-2018-0015

Nielsen, K. H. (2018). Mobiltelefonens historie: I 1946 brugte de en klods på 36 kilo. Videnskab.dk. https://videnskab.dk/teknologi-innovation/mobiltelefonens-historie-i-1946-brugte-de-en-klods-paa-36-kilo

Nielsen, K. H. (2015). Mobiltelefonen. I H. Kragh & K. H. Nielsen (red.), 50 opfindelser: Højdepunkter i teknologien (s. 281-285). Aarhus Universitetsforlag.

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobilt audio drama til udeskolen - engagement, oplevelse og læring i naturen. http://design.emu.dk/artikler/1022-mobiltdrama.html

Kragh, G., Køie Poulsen, M., Iversen, L., Cheeseman, T. & Danielsen, F. (2023). Mobilizing collective intelligence for adapting to climate change in the Arctic: The case of monitoring Svalbard’s and Greenland’s environment by expedition cruises. I S. Boucher, C. A. Hallin & L. Poulson (red.), The Routledge Handbook of Collective Intelligence for Democracy and Governance (s. 456-465). Routledge. https://doi.org/10.4324/9781003215929

Bardram, J. E. & Bossen, C. (2005). Mobility Work: The Spatial Dimension of Collaboration at a Hospital. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 14(2), 131-160.

Wang, J., Kurzendorfer, A., Chen, L., Wang, Z., Ando, Y., Xu, Y., Miotkowski, I., Chen, Y. P. & Weiss, D. (2021). Mobility spectrum analysis on three-dimensional topological insulator BiSbTeSe₂. Applied Physics Letters, 118(25), Artikel 253107. https://doi.org/10.1063/5.0047773

Afrough, A., Andersen, P., Weihrauch, T. N. A., Juhl, D. W., Bakalis, S., Malmos, K. G. & Vosegaard, T. (2026). Mobility of lactose in Milk powders. Food Research International, 231 Part 2, Artikel 118724. https://doi.org/10.1016/j.foodres.2026.118724

Srivatsa, N. S., Yarloo, H., Moessner, R. & Nielsen, A. E. B. (2023). Mobility edges through inverted quantum many-body scarring. Physical Review B, 108(10), Artikel L100202. https://doi.org/10.1103/PhysRevB.108.L100202

Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H., Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023). Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. I A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (red.), Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Artikel 34 Association for Computing Machinery. https://doi.org/10.1145/3565066.3609791

Kragh, G., Poulsen, M. K., Iversen, L., Cheeseman, T. & Danielsen, F. (2022). Mobilising local communities and expedition cruise passengers in the Arctic to address issues of planetary health. Abstract fra ECSA Conference 2022: Citizen Science for Planetary Health, Berlin, Tyskland.

Hansen, T. R. (2008). Mobile Web for Pervasive environments - design webexperiences for multiple mobile devices. (s. 1).

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2008). Mobile Urban Drama - Setting the Stage with Location Based Technologies. I N. Szilas & U. Spierling (red.), Interactive Storytelling (s. 20-31). Springer. https://doi.org/10.1007/978-3-540-89454-4_4

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2012). Mobile Urban Drama - Interactive Storytelling in Real World Environments. New Review of Hypermedia and Multimedia, 18(1-2), 63-89. https://doi.org/10.1080/13614568.2012.617842

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobile Urban Drama for Multimedia-Based Out-of-School Learning. I M. Angelides & L. Lambrinos (red.), Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia. MUM '10 (s. Article no. 17). Association for Computing Machinery. https://doi.org/10.1145/1899475.1899492

Duncan, C. W., Bellotti, F. F., Oehberg, P., Zinner, N. T. & Valiente, M. (2017). Mobile spin impurity in an optical lattice. New Journal of Physics, 19(7), Artikel 075001. https://doi.org/10.1088/1367-2630/aa753e

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Mobile Sensing of Pedestrian Flocks in Indoor Environments using WiFi Signals. I IEEE International Conference on Pervasive Computing and Communications (PerCom) (s. 95 - 102 ). IEEE. https://doi.org/10.1109/PerCom.2012.6199854

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Zhang, W. (2005). Mobile Role-Playing-Game Engine with J2ME. Computer Engineering and Applications, 41(33), 115-117.

Viser resultater 23701 til 23750 ud af 54038

Forrige

471