Search Results - "Koymans, R"

Towards FAIR Paleomagnetic Data Management Through Paleomagnetism.org 2.0 by M. R. Koymans, D. J. J. vanHinsbergen, D. Pastor‐Galán, B. Vaes, C. G. Langereis

“…Abstract Scientific communities are placing an increasing emphasis on the implementation of data management protocols concerning data archiving and…”
Get full text

Paleomagnetic constraints on the timing and distribution of Cenozoic rotations in Central and Eastern Anatolia by Gürer, Derya, van Hinsbergen, Douwe J. J, Özkaptan, Murat, Creton, Iverna, Koymans, Mathijs R, Cascella, Antonio, Langereis, Cornelis G

“…To quantitatively reconstruct the kinematic evolution of Central and Eastern Anatolia within the framework of Neotethyan subduction accommodating…”
Get full text

Performance Assessment of Geophysical Instrumentation Through the Automated Analysis of Power Spectral Density Estimates by Koymans, M. R., Domingo Ballesta, J., Ruigrok, E., Sleeman, R., Trani, L., Evers, L. G.

“…This study describes an automated data quality verification procedure supported by a database of power spectral densities (PSD) estimates for geophysical…”
Get full text

Paleomagnetism.org: An online multi-platform open source environment for paleomagnetic data analysis by Koymans, Mathijs R., Langereis, Cor G., Pastor-Galán, Daniel, van Hinsbergen, Douwe J.J.

“…This contribution provides an overview of Paleomagnetism.org, an open-source, multi-platform online environment for paleomagnetic data analysis…”
Get full text

Microgravity Change During the 2008–2018 Kı̄lauea Summit Eruption: Nearly a Decade of Subsurface Mass Accumulation by Koymans, M. R., Zeeuw‐van Dalfsen, E., Evers, L. G., Poland, M. P.

“…Results from nine microgravity campaigns from Kı̄lauea, Hawaiʻi, spanning most of the volcano's 2008–2018 summit eruption, indicate persistent mass…”
Get full text

PMD79 - The Cost-Effectiveness Analysis of Philips Motiva Telehealth System: A Comparison Between Home Telemonitoring, Nurse Telephone Support And Usual Care In Chronic Heart Failure by Grustam, AS, Severens, JL, de Massari, D, Koymans, R, Vrijhoef, H

Get full text

Specifying real-time properties with metric temporal logic by Koymans, Ron

“…This paper is motivated by the need for a formal specification method for real-time systems. In these systems quantitative temporal properties play a dominant…”
Get full text

The Cost-Effectiveness Analysis of Philips Motiva Telehealth System: A Comparison Between Home Telemonitoring, Nurse Telephone Support And Usual Care In Chronic Heart Failure by Grustam, AS, Severens, JL, de Massari, D, Koymans, R, Vrijhoef, H

Get full text

Decades of subsidence followed by rapid uplift: Insights from microgravity data at Askja Volcano, Iceland by Koymans, M.R., de Zeeuw-van Dalfsen, E., Sepúlveda, J., Evers, L.G., Giniaux, J.M., Grapenthin, R., Hooper, A., Ófeigsson, B.G., Sigmundsson, F., Yang, Y.

“…•Since the 2021 uplift, no significant gravity change is detected outside the center caldera.•A 150 μGal gravity decrease from 1988–2017 may indicate…”
Get full text

Design and analysis of dynamic leader election protocols in broadcast networks by BRUNEKREEF, J, KATOEN, J.-P, KOYMANS, R, MAUW, S

“…The well-known problem of leader election in distributed systems is considered in a dynamic context where processes may participate and crash spontaneously…”
Get full text