Zobrazeno 1 - 10
of 1 492
pro vyhledávání: '"P. Kop"'
Autor:
Salahuddin, Zohaib, Ibrahim, Abdalla, Kuang, Sheng, Widaatalla, Yousif, Miclea, Razvan L., Morin, Oliver, Behr, Spencer, Kop, Marnix P. M., Marcelissen, Tom, Zondervan, Patricia, Jager, Auke, Lambin, Philippe, Woodruff, Henry C
Routine computed tomography (CT) scans often detect a wide range of renal cysts, some of which may be malignant. Early and precise localization of these cysts can significantly aid quantitative image analysis. Current segmentation methods, however, d
Externí odkaz:
http://arxiv.org/abs/2408.03789
Autor:
Murphy, Keith R, Nandi, Tulika, Kop, Benjamin, Osada, Takahiro, N'Djin, W Apoutou, Lueckel, Maximilian, Caulfield, Kevin A, Fomenko, Anton, Siebner, Hartwig R, Ugawa, Yoshikazu, Verhagen, Lennart, Bestmann, Sven, Martin, Eleanor, Pauly, Kim Butts, Fouragnan, Elsa, Bergmann, Til Ole
Low-intensity Transcranial Ultrasonic Stimulation (TUS) is a non-invasive brain stimulation technique enabling cortical and deep brain targeting with unprecedented spatial accuracy. Given the high rate of adoption by new users with varying levels of
Externí odkaz:
http://arxiv.org/abs/2407.07646
Transcranial ultrasonic stimulation (TUS) is rapidly gaining traction for non-invasive human neuromodulation, with a pressing need to establish protocols that maximise neuromodulatory efficacy. In this review, we aggregate and examine empirical evide
Externí odkaz:
http://arxiv.org/abs/2407.01232
Autor:
Nandi, Tulika, Kop, Benjamin R., Naftchi-Ardebili, Kasra, Stagg, Charlotte J., Pauly, Kim Butts, Verhagen, Lennart
Transcranial ultrasonic stimulation (TUS) has the potential to usher in a new era for human neuroscience by allowing spatially precise and high-resolution non-invasive targeting of both deep and superficial brain regions. Currently, fundamental resea
Externí odkaz:
http://arxiv.org/abs/2406.19869
Dependency pairs constitute a series of very effective techniques for the termination analysis of term rewriting systems. In this paper, we adapt the static dependency pair framework to logically constrained simply-typed term rewriting systems (LCSTR
Externí odkaz:
http://arxiv.org/abs/2406.19379
Autor:
Kop, Cynthia
In this short paper, we present a simple variant of the recursive path ordering, specified for Logically Constrained Simply Typed Rewriting Systems (LCSTRSs). This is a method for curried systems, without lambda but with partially applied function sy
Externí odkaz:
http://arxiv.org/abs/2406.18493
The class of type-two basic feasible functionals ($\mathtt{BFF}_2$) is the analogue of $\mathtt{FP}$ (polynomial time functions) for type-2 functionals, that is, functionals that can take (first-order) functions as arguments. $\mathtt{BFF}_2$ can be
Externí odkaz:
http://arxiv.org/abs/2401.12385
Autor:
Guo, Liye, Kop, Cynthia
Logically constrained term rewriting systems (LCTRSs) are a program analyzing formalism with native support for data types which are not (co)inductively defined. As a first-order formalism, LCTRSs have accommodated only analysis of imperative program
Externí odkaz:
http://arxiv.org/abs/2307.13519
Autor:
Kop, Cynthia, Vale, Deivid
In this short paper, we consider a form of higher-order rewriting with a call-by-value evaluation strategy so as to model call-by-value programs. We briefly present a cost-size semantics to call-by-value rewriting: a class of algebraic interpretation
Externí odkaz:
http://arxiv.org/abs/2307.13426
Autor:
Kop, Mauritz, Aboy, Mateo, De Jong, Eline, Gasser, Urs, Minssen, Timo, Cohen, I. Glenn, Brongersma, Mark, Quintel, Teresa, Floridi, Luciano, Laflamme, Raymond
The expected societal impact of quantum technologies (QT) urges us to proceed and innovate responsibly. This article proposes a conceptual framework for Responsible QT that seeks to integrate considerations about ethical, legal, social, and policy im
Externí odkaz:
http://arxiv.org/abs/2303.16671