Find

Til studerende
Til ph.d.er
Til medarbejdere

Faculty of Natural Sciences

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

Danvy, O. (1996). Pragmatic Aspects of Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-15).

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. I O. Danvy, R. Glück & P. Thiemann (red.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (s. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Pedersen, L. J., Jensen, K. H. & Jørgensen, E. (1996). Pre- and postpubertal LH and estradiol pattern in gilts subjected to intermittent inescapable electroshock. Acta Veterinaria Scandinavica, 37, 153-161.

Barndorff-Nielsen, O. E. & Cox, D. R. (1996). Prediction and asymptotics. Bernoulli, 2(4), 319-340. https://doi.org/10.2307/3318417

Rysgaard, S., Finster, K. & Dahlgaard, H. (1996). Primary production, nutrient dynamics and mineralisationin a northeastern greenland fjord during the summer thaw. Polar Biology, 16(7), 497-506. https://doi.org/10.1007/BF02329069, https://doi.org/10.1007/s003000050081

Danvy, O. (red.) (1996). Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97. Department of Computer Science, Aarhus University. BRICS Notes Series Nr. NS-96-13

Andersen, L. H., Heber, O., Kella, D., Pedersen, H. B., Søgaard, L. V.-C. & Zajfman, D. (1996). Production of Water Molecules from Dissociative Recombination of H₃O⁺with electrons. Physical Review Letters, 77, 4891.

Cheng, A., Larsen, K. G. & Nielsen, M. (red.) (1996). Programme and Abstracts of the BRICS Autumn School on Verification: Aarhus, Denmark, October 28 - November 1, 1996. (s. ii+18). Department of Computer Science, Aarhus University.

Jinquan, T., Vorum, H., Larsen, C. G., Madsen, P., Rasmussen, H. H., Gesser, B., Etzerodt, M., Honoré, B., Celis, J. E. & Thestrup-Pedersen, K. (1996). Psoriasin: a novel chemotactic protein. Journal of Investigative Dermatology, 107(1), 5-10.

Clarke, A. R. H., Pethica, J. B., Nieminen, J. A., Besenbacher, F., Lægsgaard, E. & Stensgaard, I. (1996). Quantitative STM imaging at atomic resolution: influence of forces and tip configuration. Physical Review Letters, 76, 1276.

Clausen, O. R., Korstgård, J. A. & Egebjerg, T. M. (1996). Quantitative strain analysis of strike-slip displacements across the Arne-Elin trend, the Danish Central Graben. Bulletin of the Geological Society of Denmark, 43, 99-113.

Kragh, H. (1996). Quantum theory, history of. I J. Rigden (red.), Macmillan Encyclopedia of Physics (s. 1294-1297). Palgrave Macmillan.

Andersen, J. U., Brink, C., Hvelplund, P., Larsson, M. O., Nielsen, B. B. & Shen, H. (1996). Radiative cooling of C-60. Physical Review Letters, 77, 3991.

Rasmussen, T. L., Thomsen, E., Van Weering, T. C. E. & Labeyrie, L. (1996). Rapid changes in surface and deep water conditions at the Faeroe Margin during the last 58,000 years. Paleoceanography and Paleoclimatology, 11(6), 757-771. https://doi.org/10.1029/96PA02618

Asmussen, S. (1996). Rare events in the presence of heavy tails. I P. Glasserman, K. Sigman & D. D. Yao (red.), Stochastic networks: stability and rare events (s. 197-214). Springer.

Asmussen, S. & Kella, O. (1996). Rate modulation in dams and ruin problems. Journal of Applied Probability, 33(2), 523-535.

Murray, P. W., Besenbacher, F. & Stensgaard, I. (1996). Reactions on single-crystal metal surfaces studied with STM. Israel Journal of Chemistry, 36, 25.

Britz, D. (1996). Recent advances in electrochemical digital simulation. Studia Universitatis "Babes-Bolyai". Mathematica, 41, 31-46.

Christiansen, C., Kunzendorff, H., Laima, M., Lund-Hansen, L. C. & Pedersen, A. (1996). Recent changes in environmental conditions in the southwestern Kattegat. Norges Geologiske Undersøgelse - Bulletin, 430, 126-133.

Olesen, B. (1996). Regulation of light attenuation and eelgrass Zostera marina depth distribution in a Danish embayment. Marine Ecology Progress Series, 134, 187-194.

Kautz, S. M. & Miltersen, P. B. (1996). Relative to a Random Oracle, NP is not small. Journal of Computer and System Sciences, 235-250. https://doi.org/10.1006/jcss.1996.0065

Asmussen, S. & Bladt, M. (1996). Renewal theory and queueing algorithms for matrix-exponential distributions. I A. S. Alfa & S. R. Chakravarthy (red.), Matrix-analytic methods in stochastic models (s. 313-341). Marcel Dekker.

Andersen, L. H., Hvelplund, P., Kella, D., Mokler, P. H., Pedersen, H. B., Schmidt, H. T. & Søgaard, L. V.-C. (1996). Resonance structure in the electron-impact detachment cross section of C-2(-) caused by the formation of C-2(2-). Journal of Physics B: Atomic, Molecular and Optical Physics, 29, L643-L649.

Danvy, O., Hentze, N. & Malmkjær, K. (1996). Resource-bounded partial evaluation. A C M Computing Surveys, 28(2), 329-332. https://doi.org/10.1145/234528.234741

Lund-Hansen, L. C. & Nielsen, L. (1996). Resuspension i Løgstør Bredning. Miljøforskning, 23, 18-21.

Kragh, H. (1996). (Review of:) A.J. Kox, M.J. Klein and R. Schulmann, eds., The Collected Papers of Albert Einstein, vol. 6 (Princeton: princeton University Press, 1996). Archives Internationales d'Histoire des Sciences, 46, 454.

Kragh, H. (1996). (Review of:) D. Cahan, Hermann von Helmholtz (Chicago: University of Chicago Press, 1995): Popular and Philosophical Essays. Centaurus (Copenhagen), 38, 371-372.

Kragh, H. (1996). (Review of:) E.R. Paul, The Milky Way and Statistical Cosmology 1890-1924 (Cambridge: Cambridge University Press, 1993). Archives Internationales d'Histoire des Sciences, 46, 163-164.

Kragh, H. (1996). (Review of:) F. Russo, Libres Propos sur l'Histoire des Sciences (Paris: Blanchard, 1994). Isis, 87, 336.

Kragh, H. (1996). (Review of:) H. Andrillat, L'Univers sous le Regard du Temps: La Cosmologie Théorique Moderne et ses Racines (Paris: Masson, 1993). Archives Internationales d'Histoire des Sciences, 46, 162-164.

Kragh, H. (1996). (Review of:) J. North, Astronomy and Cosmology (London: Fontana Press, 1994). Archives Internationales d'Histoire des Sciences, 46, 164.

Kragh, H. (1996). (Review of:) K. von Meyenn, ed., Wolfgang Pauli, Wissenschaftlicher Briefwechsel, vol. 3 (Berlin: Springer, 1993). Isis, 87, 196.

Kragh, H. (1996). (Review of:) M. Crowe, Modern Theories of the Universe (New York: Dover, 1994): From Herschel to Hubble. Centaurus (Copenhagen), 38, 372-373.

Kragh, H. (1996). (Review of:) M.J. Klein et al., eds., The Collected Papers of Albert Einstein, vol. 3 (Princeton: Princeton University Press, 1993). Archives Internationales d'Histoire des Sciences, 46, 169-170.

Kragh, H. (1996). (Review of:) M. Klein, A.J. Kox and R. Schulmann, eds., The Collected Papers of Albert Einstein, vol. 5 (Princeton: Princeton University Press, 1995). Archives Internationales d'Histoire des Sciences, 46, 454.

Kragh, H. (1996). (Review of:) R. Fox and A. Guagnini, eds., Education, Technology and Industrial Performance in Europe 1850-1939 (Cambridge: Cambridge University Press, 1993). Archives Internationales d'Histoire des Sciences, 46, 144-145.

Søndergaard, E., Ingvartsen, K. L. & Madsen, P. (1996). Sammenhæng mellem foderoptagelse og passagehastighed gennem vommen på forskellige laktationsstadier. Forskningsrapport, Statens Husdyrbrugforsøg Nr. 51

Besenbacher, F. (1996). Scanning tunneling microscopy studies of metal surfaces. Reports on Progress in Physics, 59, 1737.

Danvy, O. & Vestergaard, R. (1996). Semantics-based compiling: A case study in type-directed partial evaluation. I H. Kuchen & S. D. Swierstra (red.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (s. 182-197). Springer. https://doi.org/10.1007/3-540-61756-6_85

Danvy, O. & Vestergaard, R. (1996). Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-13).

Hansen, L. L., Justesen, J. & Kruse, T. A. (1996). Sensitive and fast mutation detection by solid phase chemical cleavage. Human Mutation, 7 (3), 256-263. https://doi.org/10.1002/(SICI)1098-1004(1996)7:3<256::AID-HUMU10>3.0.CO;2-1

Knudsen, B. R., Straub, T. & Boege, F. (1996). Separation and functional analysis of eukaryotic DNA topoisomerases by chromatography and electrophoresis. J. Chrom.

Sørensen, A. B., Duch, M., Amtoft, H. W., Jørgensen, P. & Pedersen, F. S. (1996). Sequence tags of provirus integration sites in DNAs of tumors induced by the murine retrovirus SL3-3. Journal of Virology, 70(6), 4063-70.

Nielsen, B. B., Hoffmann, L. & Budde, M. (1996). Si-H stretch modes of hydrogen-vacancy defects in silicon. Mater. Sci. Eng. B, 36, 259.

Knudsen, C. R. & Clark, B. F. C. (1996). Site-directed mutagenesis of Arg58 and Asp86 of elongation factor Tu from Escherichia coli: effects on the GTPase reaction and aminoacyl-tRNA binding. Protein Engineering, Design and Selection, 8(12), 1267-73.

Cedhagen, T. (1996). Snoken: Bibliografi över volymerna 1-25, 1971-1995. Pavo Förlag, Romelanda.

Johannsen, M. & Jørgensen, K. A. (1996). Solvent Effects in Asymmetric Hetero Diels-Alder and Ene Reactions. Tetrahedron, 52, 7321.

Kragh, H. (1996). Some aspects of J.J. Thomson's atomic model. Symmetri: Nordisk Tidsskrift for Fysik & Matematik, 3, 79-85.

Kragh, H. & Weininger, S. (1996). Sooner silence than confusion: The tortuous entry of entropy into chemistry. Historical Studies in the Natural Sciences, 27(1), 91-131.

Thorsteinsson, M. V., Bevan, D. R., Ebel, R. E., Weber, R. E. & Potts, M. (1996). Spectroscopical and functional characterization of the hemoglobin of Nostoc commune (UTEX 584 (Cyanobacterial). BBA General Subjects, 1292(1), 133-9.

Viser resultater 51601 til 51650 ud af 54387

1033

Revideret 06.08.2026

-

NAT websupport