Exoplanet Cartography using Convolutional Neural Networks

Autor: Meinke, K., Stam, D. M., Visser, P. M.

Publikováno v: A&A 664, A59 (2022)

In the near-future, dedicated telescopes observe Earth-like exoplanets in reflected light, allowing their characterization. Because of the huge distances, every exoplanet will be a single pixel, but temporal variations in its spectral flux hold infor

Externí odkaz: http://arxiv.org/abs/2204.11821

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Correctness of dataflow and systolic algorithms using algebras of streams.

Autor: Meinke, K., Steggles, L.J.

Publikováno v: Acta Informatica. 2001, Vol. 38 Issue 1, p45. 44p. 3 Diagrams.

Modular properties of algebraic type systems

Autor: Barthe, G., Geuvers, J.H., Dowek, G., Heering, J., Meinke, K., Möller, B.

Publikováno v: Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers), 37-56
STARTPAGE=37;ENDPAGE=56;TITLE=Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers)
Higher-Order Algebra, Logic, and Term Rewriting, 1074, 37-56
Higher-Order Algebra, Logic, and Term Rewriting ISBN: 9783540612544
HOA
Higher-Order Algebra, Logic, and Term Rewriting, 1074, pp. 37-56

We introduce the framework of algebraic type systems, a generalisation of pure type systems with higher order rewriting a la Jouannaud-Okada, and initiate a generic study of the modular properties of these systems. We give a general criterion for one

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be5c29df0d653282719b052401ed3c8a
https://doi.org/10.1007/3-540-61254-8_18

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.