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

Arias, C. A. & Brix, H. (2006). Vertical flow constructed wetlands show promising results as on-site wastewater treatment systems in rural areas. Abstract fra Ferskvandssymposium, Plantebiologi, Aarhus Universitet, Aarhus.

Bohorquez, E., Paredes, D. & Arias, C. A. (2017). Vertical flow-constructed wetlands for domestic wastewater treatment under tropical conditions: effect of different design and operational parameters. Environmental Technology, 38(2), 199-208. https://doi.org/10.1080/09593330.2016.1230650

Bohorquez, E., Paredes, D., Arias, C. A. & Ramírez Vargas, C. A. (2015). Vertical flow constructed wetlands for domestic wastewater treatment on tropical conditions: effect of several design parameters. Poster-session præsenteret på WETPOL 2015, York, Storbritannien.

Huwer, B. M., Clemmesen, C., Grønkjær, P. & Köster, F. W. (2011). Vertical distribution and growth performance of Baltic cod larvae – Field evidence for starvation-induced recruitment regulation during the larval stage? Progress in Oceanography, 91, 382–396.

Bouchard, V., Creutzig, T., Diaconescu, D.-E., Doran, C., Quigley, C. & Sheshmani, A. (2017). Vertical D4-D2-D0 Bound States on K3 Fibrations and Modularity. Communications in Mathematical Physics, 350(3), 1069-1121. https://doi.org/10.1007/s00220-016-2772-y

Madsen, T. M. (2016). Vertical, closed-loop ground source heat pump systems: An evaluation of their performance and potential on the Danish market.

Osinniy, V., Lysgaard, S., Kolkovsky, V., Pankratov, V. & Nylandsted Larsen, A. (2009). Vertical charge-carrier transport in Si nanocrystals/SiO₂ multilayer structures. Nanotechnology, 20(19), 195201. https://doi.org/10.1088/0957-4484/20/19/195201

Madsen, N., Bowe, P. D., Siegfried, L. E., Hangst, J. S. & Nielsen, J. S. (2003). Vertical Blow-up in a Low-Current, Stored, Laser-Cooled Ion Beam. Hyperfine Interactions, (1-4), 183-187.

Edelvang, K., Lund-Hansen, L. C., Christiansen, C., Petersen, O. & Laima, M. (1999). Vertical and horizontal fluxes of suspended matter in a coast to basin depth profile of the SW Baltic Sea. Poster-session præsenteret på 3rd BASYS Annual Science Conference, Warnemüende, Tyskland.

Weber, R. E., Fago, A. & Low, P. S. (2005). Vertebrate hemoglobins - possible roles in mediating oxygenation dependence of red cell metabolism and rheology. Abstracts / Comparative Biochemistry and Physiology, Part A, 141, S187.

Tsitsulin, A., Mottin, D., Karras, P. & Müller, E. (2018). VERSE: Versatile Graph Embeddings from Similarity Measures. I P.-A. Champin, F. Gandon & L. Médini (red.), The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018: WWW '18 (s. 539-548). Association for Computing Machinery. https://doi.org/10.1145/3178876.3186120

Nielsen, L. T., Cecatto, M., Holm, A. H., Kristensen, M. V., Pedersen, S. U. & Daasbjerg, K. (2009). Versatile Transformations of Alkylamine-derivatized glassy carbon electrodes using aryl isocyanates. Langmuir, 25(20), 12160-12168.

Juhl, D. W., Tosner, Z. & Vosegaard, T. (2020). Versatile NMR simulations using SIMPSON. Annual Reports on N M R Spectroscopy, 100(Chapter One), 1-59. https://doi.org/10.1016/bs.arnmr.2019.12.001

Baami González, X., Tran, J. D. & Sutherland, D. S. (2024). Versatile Nanoring Fabrication Assisted by Hole-mask Colloidal Lithography. ACS Applied Materials and Interfaces, 16(27), 35361-35371. https://doi.org/10.1021/acsami.4c07100

Andersen, A. S., Zheng, W., Sutherland, D. & Jiang, X. (2015). Versatile multiple protein nanopatterning within a microfluidic channel for cell recruitment studies. Lab on a Chip, 15, 4524-4532. https://doi.org/10.1039/C5LC00916B

Stachura, M., Gottberg, A., Johnston, K., Bissell, M. L., Ruiz, R. F. G., Martins Correia, J., Granadeiro Costa, A. R., Dehn, M., Deicher, M., Fenta, A., Hemmingsen, L., Molholt, T. E., Munch, M. K., Neyens, G., Pallada, S., Silva, M. R. & Zakoucky, D. (2016). Versatile Ion-polarized Techniques On-line (VITO) experiment at ISOLDE-CERN. Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, 376, 369-373. https://doi.org/10.1016/j.nimb.2016.02.030

Jensen, T. R., Nielsen, T. K., Filinchuk, Y., Jørgensen, J.-E., Cerenius, Y., MacA. Gray, E. & J. Webb, C. (2010). Versatile in situ powder X-ray diffraction cells for solid-gas investigations. Journal of Applied Crystallography, 43, 1456-1463. https://doi.org/10.1107/S0021889810038148

Ravn, A. K. (2020). Versatile Electrophiles in Transition Metal Promoted Reactions: From Utilization of Carbon Dioxide to Functionalization of Olefins. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Lund, H., Svith, H., Pedersen, S. U. & Daasbjerg, K. (2005). Versatile electrochemically based preparation of unusual Grignard reagents containing electrophilic substituents. Electrochimica Acta, 51(4), 655-664.

Lauterbur, M. E., Munch, K. & Enard, D. (2023). Versatile Detection of Diverse Selective Sweeps with Flex-Sweep. Molecular Biology and Evolution, 40(6), Artikel msad139. https://doi.org/10.1093/molbev/msad139

Plessis, A. D. (2006). Versality Properties of Projective Hypersurfaces. I J.-P. Brasselet & M. A. Soares Ruas (red.), Real and Complex Singularities: São Carlos Workshop 2004 (s. 289-298). Birkhäuser Verlag.

Lund, M. B., Schätzle, S., Schramm, A. & Kjeldsen, K. U. (2012). Verminephrobacter aporrectodeae sp. nov. subsp. tuberculatae and subsp. caliginosae; the specific nephridial symbionts of the earthworms Aporrectodea tuberculata and A. caliginosa. Antonie van Leeuwenhoek: Journal of Microbiology, 101(3). https://doi.org/10.1007/s10482-011-9659-x

Zander, P.-O. (2009). Verksamhetsteori. I S. Hrastinski (red.), Nätbaserad utbildning: en introduktion Studentlitteratur.

Gondelman, L., Hinrichsen, J. K., Pereira, M., Timany, A. & Birkedal, L. (2023). Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proceedings of the ACM on Programming Languages , 7(ICFP), 847-877. Artikel 217. https://doi.org/10.1145/3607859

Grønkjær Jensen, M. V., Kjeldsen, H.-C., Skriver Nielsen, A., Olesen, N. B. & Aranha, D. F. (2024). Verifying ElectionGuard: a theoretical and empirical analysis. I E-Vote-ID 2024 - Ninth International Joint Conference on Electronic Voting: Proceedings (s. 17-33). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/e-vote-id2024_01

Dodds, M., Jagannathan, S., Parkinson, M. J., Svendsen, K. & Birkedal, L. (2016). Verifying custom synchronisation constructs using higher-order separation logic. ACM Transactions on Programming Languages and Systems, 38/2(2), 4:1 - 4:72. Artikel 4. https://doi.org/10.1145/2818638

Aguirre, V. S., Chaplin, W. J., Bedding, T. R., Christensen-Dalsgaard, J., Kjeldsen, H., Weiss, A., Serenelli, A. M., García, R. A., Mathur, S., Pinsonneault, M. H., Casagrande, L., Basu, S., Campante, T. L., Monteiro, M. J. P. F. G., Miglio, A., Elsworth, Y., Hekker, S., Huber, D., Ballot, J. ... Uddin, K. (2012). Verifying asteroseismically determined parameters of Kepler stars using Hipparcos parallaxes: Self-consistent stellar properties and distances. Astrophysical Journal, 757(1), 99. https://doi.org/10.1088/0004-637X/757/1/99

Verner, G. A., Chaplin, W. J., Basu, S., Brown, T. M., Hekker, S., Huber, D., Karoff, C., Mathur, S., Metcalfe, T. S., Mosser, B., Quirion, P.-O., Appourchaux, T., Bedding, T. R., Bruntt, H., Campante, T. L., Elsworth, Y., García, R. A., Handberg, R., Régulo, C. ... Girouard, F. R. (2011). Verification of the Kepler Input Catalog from Asteroseismology of Solar-type Stars. The Astrophysical Journal Letters, 738(2). https://doi.org/10.1088/2041-8205/738/2/L28

Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Jørgensen, J. B. & Kristensen, L. M. (2003). Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. LINCOM Studies in Computer Science, (1), 17-34.

Jiang, C. & Christensen-Dalsgaard, J. (2014). Verification of asymptotic relation for mixed modes in red giant stars. Royal Astronomical Society. Monthly Notices, 444(4), 3622-3631. https://doi.org/10.1093/mnras/stu1697

Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8

Branzei, S. & Procaccia, A. D. (2015). Verifiably Truthful Mechanisms. I T. Roughgarden (red.), Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS '15 (s. 297-306 ). Association for Computing Machinery. https://doi.org/10.1145/2688073.2688098

Aranha, D. F., Baum, C., Gjøsteen, K. & Silde, T. (2023). Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 1467-1481). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616683

Camenisch, J. & Damgård, I. B. (2000). Verifiable Encryption, Group Encryption, and Their Applications to Separable Group Signatures and Signature Sharing Schemes (Extended Abstract). I T. Okamoto (red.), Advances in Cryptology - ASIACRYPT 2000: 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3-7, 2000 Proceedings (s. 331-345). Springer. https://doi.org/10.1007/3-540-44448-3_25

Ateniese, G., Chen, L., Francati, D., Papadopoulos, D. & Tang, Q. (2023). Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). I A. Boldyreva & V. Kolesnikov (red.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part II (s. 63-93). Springer. https://doi.org/10.1007/978-3-031-31371-4_3

Sidenmark, L., Clarke, C., Newn, J., Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (2023). Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 257 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580685

Weber, R. E. (1972). Vergelijkende studies over haemoglobinen van mediterrane polychaeten. Verslagen van de Koninklijke Nederlandse Akademie van Wetenschappen, 80, 155-160.

Jørgensen, B. B. & Toftdal, C. N. (2012). Verdens største bakterier. Aktuel Naturvidenskab, (6), 30-35. http://aktuelnaturvidenskab.dk/fileadmin/Aktuel_Naturvidenskab/nr-6/AN_6_2012stor_bakte.pdf

Kragh, H. (2006). Verdens navle. Weekendavisen, 8.

Hvelplund, P. (1999). Verdens mindste fodbold. Jyllands-Posten, (12. september).

Nygaard, N. (2001). Verdens mindste ekplosion. Berlingske Tidende.

Lund, M. S., Nielsen, V. H., Bendixen, C., Kargo Sørensen, M. & Jensen, J. (1998). Verdenskongres i husdyrgenetik. Jordbrugsforskning, 2, 19-23.

Kragh, H. (2011). Verdensbilleder i antikken: fra myter til videnskab. I O. Høiris (red.), Antikkens Verden: Videnskab, Kunst, Kultur, Myter og Religion (s. 71-85). Aarhus Universitetsforlag.

Nielsen, K. H. (2023). Verdens ældste pyramide. Weekendavisen, Sektion 4 (Ideer), 5.

Kragh, H. (2010). Verden på formler. Magisterbladet, (5), 28.

Kragh, H. (2011). Verden på formler: Niels Bohr. Magisterbladet, (17), 24.

Vandsø, A., Leth-Espensen, P., Barfod, A. S., Oelsner, G. & Shepherd, N. (2025). Verden i vindueskarmen. I Plantefeber: Verden i vindueskarmen (s. 14-25). Aarhus Universitetsforlag.

Keiding, S. R. (2006). Verden består af Atomer. Aktuel Naturvidenskab, 3, 18-19.

Blunck, H., Hinrichs, K., Puke, I. & Vahrenhold, J. (2004). Verarbeitung von Trajektorien mobiler Objekte. I Geoinformation und Mobilität - von der Forschung zur praktischen Anwendung. : Beiträge zu den Münsteraner GI-Tagen 2004 (s. 29-40)

Viser resultater 1051 til 1100 ud af 52763

Forrige

Næste

Revideret 11.12.2025

NAT websupport