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

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. Århus 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. (2001). Verdensbilledet. I Den Store Danske Encyklopædi (Bind 20, s. 91-92). Gyldendal.

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.

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)

Dang Diem Tuong, Borowiec, B., Clifford, A. M., Filogonio, R., Somo, D., Do Thi Thanh Huong, Nguyen Thanh Phuong, Wang, T., Bayley, M. & Milsom, W. K. (2018). Ventilatory responses of the clown knifefish, Chitala ornata, to hypercarbia and hypercapnia. Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology, 188(4), 581-589. https://doi.org/10.1007/s00360-018-1150-9

Tuong, D. D., Huong, D. T. T., Phuong, N. T., Bayley, M. & Milsom, W. K. (2019). Ventilatory responses of the clown knifefish, Chitala ornata, to arterial hypercapnia remain after gill denervation. Journal of Comparative Physiology B: Biochemical, Systemic, and Environmental Physiology, 189(6), 673-683. https://doi.org/10.1007/s00360-019-01236-6

Andrade, D. V., De Toledo, L. F., Abe, A. S. & Wang, T. (2004). Ventilatory compensation of the alkaline tide during digestion in the snake Boa constrictor. Journal of Experimental Biology, 207, 1379-1385.

Thomsen, M., Wang, T. & Bayley, M. (2016). Ventilatory and Cardiovascular Regulation in the Air-Breathing Fish Pangasianodon Hypophthalmus. Abstract fra SEB 2016 - Society for Experimental Biology, Brighton, Ukendt.

Ezat, M. M., Rasmussen, T. L., Thornalley, D. J. R., Olsen, J., Skinner, L. C., Honisch, B. & Groeneveld, J. (2017). Ventilation history of Nordic Seas overflows during the last (de)glacial period revealed by species-specific benthic foraminiferal ¹⁴C dates. Paleoceanography, 32(2), 172-181. https://doi.org/10.1002/2016PA003053

Rasmussen, T. & Thomsen, E. (2009). Ventilation changes in intermadiate water on millennial time scales in the SE Nordic seas, 65-14 kyr BP. Geophysical Research Letters, 36(L01601). https://doi.org/10.1029/2008GL036563

Malte, H. & Lomholt, J. P. (1998). Ventilation and gas exchange. I J. M. Jørgensen, J. P. Lomholt, R. E. Weber & H. Malte (red.), The Biology of Hagfishes (1 udg., s. 223-234). Chapman and Hall.

Skals, M., Skovgaard, N., Abe, A. & Wang, T. (2005). Venous regulation in reptiles. (s. 191-191).

Skals, M., Skovgaard, N., Abe, A. & Wang, T. (2005). Venous pressures and function in rattlesnakes. (s. 210-210).

Joyce, W., Williams, C. J. A., Crossley, D. A. & Wang, T. (2018). Venous pressures and cardiac filling in turtles during apnoea and intermittent ventilation. Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology, 188(3), 481-490. https://doi.org/10.1007/s00360-017-1132-3

Bøttger, P. & Pedersen, L. (2006). Ven og fjende - om fosfors to ansigter. Aktuel Naturvidenskab, 6, 21-23.

Viser resultater 1101 til 1150 ud af 51478

Forrige

Næste

Revideret 13.12.2024

NAT websupport