Zobrazeno 1 - 10
of 3 540
pro vyhledávání: '"Guttmann, P."'
As new manufacturing methods enable manufacturing of microstructured surfaces with varying structure geometries, questions remain on some effects on the wetting behavior and the resulting apparent contact angles. In this study, we report the manufact
Externí odkaz:
http://arxiv.org/abs/2411.06961
This paper explores Minimum Bayes Risk (MBR) decoding for self-improvement in machine translation (MT), particularly for domain adaptation and low-resource languages. We implement the self-improvement process by fine-tuning the model on its MBR-decod
Externí odkaz:
http://arxiv.org/abs/2405.11937
An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the given relation (the "star" of the relation) and, second, construct the
Externí odkaz:
http://arxiv.org/abs/2310.08946
Autor:
Furusawa, Hitoshi, Guttmann, Walter
Previous work has axiomatised the cardinality operation in relation algebras, which counts the number of edges of an unweighted graph. We generalise the cardinality axioms to Stone relation algebras, which model weighted graphs, and study the relatio
Externí odkaz:
http://arxiv.org/abs/2309.11676
Autor:
Daniel P. Joyce, Jeffrey S. Berger, Allison Guttmann, Ghadeer Hasan, Jill P. Buyon, H. Michael Belmont, Jane Salmon, Anca Askanase, Joan Bathon, Laura Geraldino-Pardilla, Yousaf Ali, Ellen M. Ginzler, Chaim Putterman, Caroline Gordon, Charles G. Helmick, Kamil E. Barbour, Heather T. Gold, Hilary Parton, Peter M. Izmirly
Publikováno v:
Arthritis Research & Therapy, Vol 26, Iss 1, Pp 1-10 (2024)
Abstract Background The Manhattan Lupus Surveillance Program (MLSP), a population-based retrospective registry of patients with systemic lupus erythematosus (SLE), was used to investigate the prevalence of cardiovascular disease events (CVE) and comp
Externí odkaz:
https://doaj.org/article/b18e5aa8e7f54b6faa5918657cfc2460
Autor:
Conway, Andrew R, Guttmann, Anthony J
We develop a new, powerful method for counting elements in a multiset. As a first application, we use this algorithm to study the number of occurrences of patterns in a permutation. For patterns of length 3 there are two Wilf classes, and the general
Externí odkaz:
http://arxiv.org/abs/2306.12682
Binary multirelations can model alternating nondeterminism, for instance, in games or nondeterministically evolving systems interacting with an environment. Such systems can show partial or total functional behaviour at both levels of alternation, so
Externí odkaz:
http://arxiv.org/abs/2305.11344
We formalise the modal operators from the concurrent dynamic logics of Peleg, Nerode and Wijesekera in a multirelational algebraic language based on relation algebra and power allegories, using relational approximation operators on multirelations dev
Externí odkaz:
http://arxiv.org/abs/2305.11346
Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating structure wi
Externí odkaz:
http://arxiv.org/abs/2305.11342
Autor:
Guttmann, Walter
Publikováno v:
Fundamenta Informaticae, Volume 192, Issue 1 (November 10, 2024) fi:10856
This paper studies how to use relation algebras, which are useful for high-level specification and verification, for proving the correctness of lower-level array-based implementations of algorithms. We give a simple relation-algebraic semantics of re
Externí odkaz:
http://arxiv.org/abs/2301.10311