Zobrazeno 1 - 10
of 2 664
pro vyhledávání: '"Willemse P"'
Autor:
Groote, Jan Friso, Willemse, Tim A. C.
In 1864 W.S.B. Woolhouse formulated the Cotton-Spinning problem. This problem boils down to the following. A piecer works at a spinning mule and walks back and forth to repair broken threads. The question is how far the piecer is expected to walk whe
Externí odkaz:
http://arxiv.org/abs/2408.12623
When verifying liveness properties on a transition system, it is often necessary to discard spurious violating paths by making assumptions on which paths represent realistic executions. Capturing that some property holds under such an assumption in a
Externí odkaz:
http://arxiv.org/abs/2407.08060
Publikováno v:
EPTCS 399, 2024, pp. 7-20
The consensus problem is a fundamental problem in distributed systems. It involves a set of actors, or entities, that need to agree on some values or decisions. The Raft algorithm is a solution to the consensus problem that has gained widespread popu
Externí odkaz:
http://arxiv.org/abs/2403.18916
This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks displayed by the attack tree are indeed attacks in the system; clarity
Externí odkaz:
http://arxiv.org/abs/2311.13331
Publikováno v:
Biodiversity Data Journal, Vol 12, Iss , Pp 1-20 (2024)
Measuring the use of natural history collections is essential to understand their past and present impact on science, to underpin decisions about their management and to assist with deploying them optimally to address societal challenges. Using the v
Externí odkaz:
https://doaj.org/article/b5d50f164a104f47bf9a29f58faa8e16
Autor:
Renée H.L. Raaijmakers, C. Rosanne M. Ausems, Marieke Willemse, Sarah A. Cumming, Baziel G.M. van Engelen, Darren G. Monckton, Hans van Bokhoven, Derick G. Wansink
Publikováno v:
Stem Cell Research & Therapy, Vol 15, Iss 1, Pp 1-15 (2024)
Abstract Background Cell-based strategies are being explored as a therapeutic option for muscular dystrophies, using a variety of cell types from different origin and with different characteristics. Primary pericytes are multifunctional cells found i
Externí odkaz:
https://doaj.org/article/d2979695721748088df787f7fc2a6289
Autor:
Groote, Jan Friso, Willemse, Tim A. C.
We introduce the notion of a Real Equation System (RES), which lifts Boolean Equation Systems (BESs) to the domain of extended real numbers. Our RESs allow arbitrary nesting of least and greatest fixed-point operators. We show that each RES can be re
Externí odkaz:
http://arxiv.org/abs/2307.07455
Publikováno v:
BMC Sports Science, Medicine and Rehabilitation, Vol 16, Iss 1, Pp 1-16 (2024)
Abstract Background Falling is highly prevalent among older adults and has serious impact. Age-induced mobility impairments, such as gait modifications, are strongly associated with increased fall risk. Among fall prevention interventions, those incl
Externí odkaz:
https://doaj.org/article/d27fe5bd25264d908f2215c0d43f7447
Autor:
Jo-Anne Verschoor, Martijn R. J. Croese, Sven E. Lakemeier, Annemiek Mugge, Charlotte M. C. Burgers, Paolo Innocenti, Joost Willemse, Marjolein E. Crooijmans, Gilles P. van Wezel, Arthur F. J. Ram, Johannes H. de Winde
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-13 (2024)
Abstract The rising use of plastic results in an appalling amount of waste which is scattered into the environment. One of these plastics is PET which is mainly used for bottles. We have identified and characterized an esterase from Streptomyces, ann
Externí odkaz:
https://doaj.org/article/d1c9ae063f6341508cb5cbdb026d08f3
In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an orde
Externí odkaz:
http://arxiv.org/abs/2210.06196