Search Results

A measurement of the correlation of galaxy surveys with CMB lensing convergence maps from the south pole telescope

by Bleem, L E, Busha, M T
Published 2012

Current models of the observable consequences of cosmic reionization and their detectability

by Iliev, I T, Mellema, G, Pen, U L, Bond, J R, Shapiro, P R
Published 2008

Innovative Approaches in Computer Science within Higher Education : материалы II Международной...

Published 2020

A cross-polar modeling approach to hindcast paleo-arctig mega icebergs : a storyboard

by Furrer, Reinhard, Jakobsson, Martin, Kirchner, Nina
Published 2014

James Fastook, Professor of Computer Science and Quaternary and Climate StudiesCAN A LITTLE ICE AGE...

by Jessica L. Black, L. Black
Published 2001

Reduction of spatially structured errors in Wide-Swath altimetric satellite data using data assimilation

by Metref, Sammy, Cosme, Emmanuel, Le Sommer, Julien, Poel, Nora, Brankart, Jean-Michel, Verron, Jacques, Gomez Navarro, Laura
Published in Remote Sensing (2019)

Modes of deformation in ice in dynamic regions: applications to basal crevasses and calving

by Curry-Logan, Elizabeth Stacia
Published 2015

Depth to diameter analysis on small simple craters at the lunar south pole - possible implications for ice harboring

by Marco Figuera, Ramiro, Riedel, Christian (Dr. rer. nat.), Rossi, Angelo Pio (Dr.), Unnithan, Vikram
Published in Remote Sensing (2022)

Earth as an Exoplanet. I. Time Variable Thermal Emission Using Spatially Resolved Moderate Imaging Spectroradiometer Data

by Mettler, Jean-Noël, Quanz, Sascha P, Helled, Ravit
Published in The Astronomical Journal (2020)

The observability of galaxy merger signatures in nearby gas-rich spirals

by McElroy, Rebecca, Bottrell, Connor, Hani, Maan H, Moreno, Jorge, Croom, Scott M, Hayward, Christopher C, Twum, Angela, Feldmann, Robert, Hopkins, Philip F, Hernquist, Lars, Husemann, Bernd
Published 2022

Earth as an Exoplanet. II. Earth’s Time-variable Thermal Emission and Its Atmospheric Seasonality of Bioindicators

by Mettler, Jean-Noël, Quanz, Sascha P, Helled, Ravit, Olson, Stephanie L, Schwieterman, Edward W
Published 2023

Dominant-feature identification in data from Gaussian processes applied to Finnish forest inventory records

by Flury, Roman, Aakala, Tuomas, Ruha, Leena, Kuuluvainen, Timo, Furrer, Reinhard
Published 2022

Automated avalanche mapping from SPOT 6/7 satellite imagery with deep learning: results, evaluation, potential and limitations

by Hafner, Elisabeth D, Barton, Patrick, Daudt, Rodrigo Caye, Wegner, Jan Dirk, Schindler, Konrad, Bühler, Yves
Published 2022

The Weak Call-By-Value {\lambda}-Calculus is Reasonable for Both Time and Space

by Forster, Yannick, Kunze, Fabian, Roth, Marc
Published in Proceedings of the ACM on Programming Languages (2019)

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus

by Xi, Hongwei, Ren, Zhiqiang, Wu, Hanwen, Blair, William
Published 2016

Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems

by Kovacs, Laura, Pugliese, Rosario, Tiezzi, Francesco
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Symbolic Analysis of Maude Theories with Narval

by Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia
Published 2019

Semi-Automation of Meta-Theoretic Proofs in Beluga

by Schwartzentruber, Johanna, Pientka, Brigitte
Published in Electronic Proceedings in Theoretical Computer Science (2023)

Informed Machine Learning, Centrality, CNN, Relevant Document Detection, Repatriation of Indigenous Human Remains

by Bashar, Md Abul, Nayak, Richi, Knapman, Gareth, Turnbull, Paul, Fforde, Cressida
Published in Social Science Computer Review (2023)