Zobrazeno 1 - 10
of 5 197
pro vyhledávání: '"Middeldorp, A."'
We revisit completion modulo equational theories for left-linear term rewrite systems where unification modulo the theory is avoided and the normal rewrite relation can be used in order to decide validity questions. To that end, we give a new correct
Externí odkaz:
http://arxiv.org/abs/2405.17109
We show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were obtained by r
Externí odkaz:
http://arxiv.org/abs/2402.13552
Autor:
Schöpf, Jonas, Middeldorp, Aart
Numerous confluence criteria for plain term rewrite systems are known. For logically constrained rewrite system, an attractive extension of term rewriting in which rules are equipped with logical constraints, much less is known. In this paper we exte
Externí odkaz:
http://arxiv.org/abs/2309.12112
Recently it was shown that it is undecidable whether a term rewrite system can be proved terminating by a polynomial interpretation in the natural numbers. In this paper we show that this is also the case when restricting the interpretations to linea
Externí odkaz:
http://arxiv.org/abs/2307.14805
Autor:
Hirokawa, Nao, Middeldorp, Aart
We present a new encoding of the Battle of Hercules and Hydra as a rewrite system with AC symbols. Unlike earlier term rewriting encodings, it faithfully models any strategy of Hercules to beat Hydra. To prove the termination of our encoding, we empl
Externí odkaz:
http://arxiv.org/abs/2307.14036
Autor:
Abhayaratna, Walter, Al-Falahi, Zaidon, Bell, James, Burrell, Louise, Delbridge, Lea, Elliott, Adrian, Fatkin, Diane, Ganesan, Anand, Hall, Tanya, Hendriks, Jeroen, Hill, Adam, Hsu, Meng, Jenkins, Alicia, Kalman, Jonathan, Kilkenny, Monique, Kizana, Eddy, La Gerche, Andre, McMullen, Julie, Middeldorp, Melissa, Olaiya, Muideen, Ritchie, Rebecca, Sanders, Prash, Shang, Catherine, Thijs, Vincent, Thomas, Liza, Vandenberg, Jamie, Elliott, Adrian D., Middeldorp, Melissa E., McMullen, Julie R., Gwynne, Kylie, Hill, Adam P., Hsu, Meng-Ping, Vandenberg, Jamie I., Kalman, Jonathan M., Sanders, Prashanthan
Publikováno v:
In Heart, Lung and Circulation November 2024 33(11):1523-1532
Autor:
Daniël Duijzer, Maria A. de Winter, Marc Carrier, Alexander T. Cohen, John-Bjarne Hansen, Karin A.H. Kaasjager, Ajay K. Kakkar, Saskia Middeldorp, Henrik T. Sørensen, Frank L.J. Visseren, Philip S. Wells, Jannick A.N. Dorresteijn, Mathilde Nijkeuter
Publikováno v:
Research and Practice in Thrombosis and Haemostasis, Vol 8, Iss 7, Pp 102569- (2024)
Background: After 3 months of anticoagulation for venous thromboembolism (VTE), the decision needs to be made whether to stop anticoagulation or extend treatment indefinitely. The VTE-PREDICT calculator can be used to estimate individual risks of VTE
Externí odkaz:
https://doaj.org/article/762594d3a38a49cfa6a9cbbcee03a280
Autor:
Anita van de Munckhof, Mayte Sánchez van Kammen, Katarzyna Krzywicka, Sanjith Aaron, Diana Aguiar de Sousa, Florina Antochi, Antonio Arauz, Miguel A. Barboza, Adriana B. Conforto, Francesco Dentali, Daniel Galdames Contreras, Xunming Ji, Katarina Jood, Mirjam R. Heldner, María Hernández-Pérez, Wayneho Kam, Timothy J. Kleinig, Espen S. Kristoffersen, Ronen R. Leker, Robin Lemmens, Sven Poli, Nilüfer Yeşilot, Mohammad Wasay, Teddy Y. Wu, Marcel Arnold, Lia Lucas-Neto, Saskia Middeldorp, Jukka Putaala, Turgut Tatlisumak, José M. Ferro, Jonathan M. Coutinho
Publikováno v:
Frontiers in Neurology, Vol 15 (2024)
Externí odkaz:
https://doaj.org/article/69e3d5784f884fdbb9b9c90295e39b4a
Autor:
Tim A.C. de Vries, Roisin Bavalia, Gordon Chu, Helen Xiong, Kayleigh M. van de Wiel, Hanne van Ballegooijen, Menno V. Huisman, Martin E.W. Hemels, Saskia Middeldorp, Joris R. de Groot
Publikováno v:
Research and Practice in Thrombosis and Haemostasis, Vol 8, Iss 6, Pp 102544- (2024)
Background: The patterns of direct oral anticoagulant (DOAC) selection and switching to a different oral anticoagulant (OAC) in patients with atrial fibrillation (AF) are unknown. Objectives: To describe temporal patterns in first DOAC prescriptions,
Externí odkaz:
https://doaj.org/article/9034895716814ec6b3ef441f3c85c46e
Autor:
Agnes H. Zegwaard, Frederieke J. Koop, Nico Beuk, Carlinde W. Broeks, Rien L. Van, Carolien Konijn, Aart Franken, Christel M. Middeldorp, Irma M. Hein
Publikováno v:
Frontiers in Psychiatry, Vol 15 (2024)
For youth care professionals who work with families with complex needs, we implemented an interagency, family-focused approach involving child and adult mental health care services and child protection services. The primary objective of the collabora
Externí odkaz:
https://doaj.org/article/0ffffec2d4f64ad8bf95e12923d671f4