Zobrazeno 1 - 10
of 2 261
pro vyhledávání: '"Willemse, A 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
Autor:
Arunah Chandran, Meike van Harten, Deependra Singh, Josep Vilaseca, Ausvydas Patasius, Krzysztof Tupikowski, Ángel Gómez Amorín, David Galvin, Héctor López, Juan Pablo Salazar, Anna Arnau, Gemma Cuberas, Gintare Miksiene, Katarzyna Hodyra-Stefaniak, Monika Litwin, Małgorzata Krynicka-Duszyńska, Paweł Zawadzki, Adam Maciejczyk, Gillian Horgan, Pieter Vynckier, Lieven Annemans, Milagros Otero-Garcia, Pia Kirkegaard, Mette Bach Larsen, Sofie Meyer Andersen, Grace McKinney, Vera Vasilyeva, Peter-Paul Willemse, Roderick van den Bergh, Lionne D.F. Venderbos, Sarah Collen, Hendrik van Poppel, Monique J. Roobol, Partha Basu
Publikováno v:
European Urology Open Science, Vol 70, Iss , Pp 8-17 (2024)
Prostate cancer (PCa) is a major public health concern for men globally and the most commonly diagnosed cancer among men in the European Union (EU). Despite large trials suggesting benefits from early detection of PCa, risks of overdiagnosis and over
Externí odkaz:
https://doaj.org/article/ee0bce9d091c4d9696ca7ff2d1487ced
Autor:
Vasileios Sakalis, Yagnaseni Bhattacharya, Katharina Beyer, Charlotte Murray, Emma Jane Smith, Peter-Paul M. Willemse, Giorgio Gandaglia, Romain Boissier, Angelika Borkowetz, Saeed Dabestani, Renee C.A. Leenen, Antoni Vilaseca, Gianluca Maresca, Jeremy Teoh, Juan Gómez Rivas, Pawel Rajwa, Michael Lardas, Nikolas Grivas, Thomas Van den Broeck, Benjamin Pradere, Natasha Schouten, Zafer Tandogdu, Susan Evans-Axelsson, Steven Maclennan, Marlene Thomas, Alberto Briganti, Anders Bjartell, Phil Cornford, Hagen Kruger, James N’Dow, Monique J. Roobol, Muhammad Imran Omar
Publikováno v:
European Urology Open Science, Vol 70, Iss , Pp 183-193 (2024)
Background and objective: Clinical practice guidelines for prostate cancer (PCa) are a valuable resource for everyday clinical practice. The clinical practice guidelines and recommendations produced by various societies should demonstrate a considera
Externí odkaz:
https://doaj.org/article/52d8b747f5de4b06940447fc58111adf
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:
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
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