Zobrazeno 1 - 10
of 298
pro vyhledávání: '"SIERT, A."'
Autor:
Holzhauer, Menno1 (AUTHOR) m.holzhauer@gddiergezondheid.nl, Boersma, Siert-Jan2 (AUTHOR) siert-jan.boersema@evidensia.nl, Boon, Dorien2 (AUTHOR) dorien.boon@evidensia.nl, de Leeuw, Han3 (AUTHOR) j.leeuw986@upcmail.nl
Publikováno v:
Animals (2076-2615). May2024, Vol. 14 Issue 10, p1396. 16p.
Autor:
Kamerman, Mandy *, van Dijk, Joris D., Timmer, Jorik R., Ottervanger, Jan Paul, Knollema, Siert, Jager, Pieter L., Mouden, Mohamed
Publikováno v:
In Journal of Nuclear Cardiology December 2023 30(6):2692-2701
Publikováno v:
Animals, Vol 14, Iss 10, p 1396 (2024)
Non-healing claw horn disorders are a serious problem in dairy herds because of the long duration of the disorder and the chronic pain derived from it, seriously affecting animal welfare and causing decreased production and premature culling from the
Externí odkaz:
https://doaj.org/article/6f1c0bd5075a45bb910bb83ef3288537
Autor:
Yokota, Shu, Borren, Nanette M., Ottervanger, Jan Paul *, Mouden, Mohamed, Timmer, Jorik R., Knollema, Siert, Jager, Pieter L.
Publikováno v:
In Journal of Nuclear Cardiology August 2020 27(4):1306-1313
Autor:
Wieringa, Siert
Model rotation is an efficient technique for improving MUS finding algorithms. In previous work we have studied model rotation as an algorithm that traverses a graph which is induced by the input formula. This document introduces the notion of blocke
Externí odkaz:
http://arxiv.org/abs/1308.2142
Autor:
Dolev, Danny, Heljanko, Keijo, Järvisalo, Matti, Korhonen, Janne H., Lenzen, Christoph, Rybicki, Joel, Suomela, Jukka, Wieringa, Siert
Consider a complete communication network on $n$ nodes, each of which is a state machine. In synchronous 2-counting, the nodes receive a common clock pulse and they have to agree on which pulses are "odd" and which are "even". We require that the sol
Externí odkaz:
http://arxiv.org/abs/1304.5719
Autor:
Yokota, Shu, Mouden, Mohamed *, Ottervanger, Jan Paul, Engbers, Elsemiek, Jager, Pieter L., Timmer, Jorik R., Knollema, Siert
Publikováno v:
In Journal of Nuclear Cardiology April 2019 26(2):602-612
Publikováno v:
EPTCS 14, 2009, pp. 62-76
This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framework for parallelized BMC named Tarmo. Our framework can be used with a
Externí odkaz:
http://arxiv.org/abs/0912.2552
Publikováno v:
EJNMMI Research, Vol 9, Iss 1, Pp 1-8 (2019)
Abstract Background A high SUV-reproducibility is crucial when different PET scanners are in use. We evaluated the SUV variability in whole-body FDG-PET scans of patients with suspected or proven cancer using an EARL-accredited conventional and digit
Externí odkaz:
https://doaj.org/article/3356ba6cb46e430f98d1c4231c8193e9
Autor:
van Dijk, Joris D. *, van Dalen, Jorn A., Mouden, Mohamed, Ottervanger, Jan Paul, Knollema, Siert, Slump, Cornelis H., Jager, Pieter L.
Publikováno v:
In Journal of Nuclear Cardiology April 2018 25(2):419-428