Search Results

On fundamental limits to glacier flow models: Computational theory and implications

by Bahr, David
Published 2009

Least-time path fast marching method for seismic travel time computing : theory and implementation

by Zhang, Xiaoning, 1981-
Published 2009

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017

Using the Cowichan problems to assess the usability of Orca

by Wilson, G.V., Bal, H.E.
Published in IEEE Parallel & Distributed Technology: Systems & Applications (1996)

NANUQ: a method for inferring species networks from gene trees under the coalescent model

by Allman, Elizabeth S., Baños, Hector, Rhodes, John A.
Published in Algorithms for Molecular Biology (2019)

Study on the Arctic Underwater Terrain-Aided Navigation Based on Fuzzy-Particle Filter

by Liu, Yanji, Zhang, Guichen, Huang, Zhijian
Published in International Journal of Fuzzy Systems (2021)

An arctic circle theorem for Groves

by Petersen, T. Kyle, Speyer, David
Published in Journal of Combinatorial Theory, Series A (2005)

DML: Dynamic Partial Reconfiguration With Scalable Task Scheduling for Multi-Applications on FPGAs

by Dhar, Ashutosh, Richter, Edward, Yu, Mang, Zuo, Wei, Wang, Xiaohao, Kim, Nam Sung, Chen, Deming
Published in IEEE Transactions on Computers (2022)

Extracting common pulse-like signals from multiple ice core time series

by Gazeaux, Julien, Batista, Deborah, Ammann, Caspar M., Naveau, Philippe, Jégat, Cyrille, Gao, Chaochao
Published in Computational Statistics & Data Analysis (2013)

Efficient clustering of identity-by-descent between multiple individuals

by Qian, Yu, Browning, Brian L., Browning, Sharon R.
Published in Bioinformatics (2013)

Assessing multivariate gene-metabolome associations with rare variants using Bayesian reduced rank regression

by Marttinen, Pekka, Pirinen, Matti, Sarin, Antti-Pekka, Gillberg, Jussi, Kettunen, Johannes, Surakka, Ida, Kangas, Antti J., Soininen, Pasi, O’Reilly, Paul, Kaakinen, Marika, Kähönen, Mika, Lehtimäki, Terho, Ala-Korpela, Mika, Raitakari, Olli T., Salomaa, Veikko, Järvelin, Marjo-Riitta, Ripatti, Samuli, Kaski, Samuel
Published in Bioinformatics (2014)

GIS-based modelling of rock-ice avalanches from Alpine permafrost areas

by Noetzli, Jeannette, Huggel, Christian, Hoelzle, Martin, Haeberli, Wilfried
Published in Computational Geosciences (2006)

Stabilized equal low-order finite elements in ice sheet modeling – accuracy and robustness

by Helanow, Christian, Ahlkrona, Josefin
Published in Computational Geosciences (2018)

Probabilistic model for eruptions and associated flood events in the Katla caldera, Iceland

by Eliasson, Jonas, Larsen, Gudrun, Tumi Gudmundsson, Magnus, Sigmundsson, Freysteinn
Published in Computational Geosciences (2006)

Efficient parameter estimation for a methane hydrate model with active subspaces

by Teixeira Parente, Mario, Mattis, Steven, Gupta, Shubhangi, Deusner, Christian, Wohlmuth, Barbara
Published in Computational Geosciences (2018)

Non-isothermal, multi-phase, multi-component flows through deformable methane hydrate reservoirs

by Gupta, Shubhangi, Helmig, Rainer, Wohlmuth, Barbara
Published in Computational Geosciences (2015)

Simultaneous assimilation of production and seismic data: application to the Norne field

by Lorentzen, Rolf J., Bhakta, Tuhin, Grana, Dario, Luo, Xiaodong, Valestrand, Randi, Nævdal, Geir
Published in Computational Geosciences (2019)

Evaluating prior predictions of production and seismic data

by Alfonzo, Miguel, Oliver, Dean S.
Published in Computational Geosciences (2019)

An intermediate-scale model for thermal hydrology in low-relief permafrost-affected landscapes

by Jan, Ahmad, Coon, Ethan T., Painter, Scott L., Garimella, Rao, Moulton, J. David
Published in Computational Geosciences (2017)