Results 31 to 40 of about 964 (264)

Levi Contractions and AGM Contractions: A Comparison

Notre Dame Journal of Formal Logic, 1995
Among the AGM postulates for contraction, the one that has been most open to query is that of recovery. In his book: The fixation of belief and its undoing (Cambridge UK, 1991), \textit{Isaac Levi} proposed modifying the AGM partial meet construction for contraction in such a way as to invalidate recovery.
Hansson, Sven Ove, Olsson, Erik J.
openaire   +2 more sources

Unveiling UV/IR mixing via symmetry defects: A view from topological entanglement entropy

SciPost Physics
Some topological lattice models in two spatial dimensions exhibit intricate lattice size dependence in their ground state degeneracy (GSD). This and other features such as the position-dependent anyonic excitations are manifestations of UV/IR mixing.
Jintae Kim, Yun-Tak Oh, Daniel Bulmash, Jung Hoon Han
doaj   +1 more source

Contracting planar graphs to contractions of triangulations

Journal of Discrete Algorithms, 2011
For every graph $H$, there exists a polynomial-time algorithm deciding if a planar input graph $G$ can be contracted to~$H$. However, the degree of the polynomial depends on the size of $H$. In this paper, we identify a class of graphs $\cal C$ such that for every $H \in \cal C$, there exists an algorithm deciding in time $f(|V(H)|) \cdot |V(G)|^{\bigO{
Marcin Kaminski 0001, Daniël Paulusma, Dimitrios M. Thilikos   +2 more
openaire   +6 more sources

Contract theory and EU contract law [PDF]

SSRN Electronic Journal, 2015
This paper explores the relationship between contract theory and European contract law. In particular, it confronts the leading contract law theories with the main characteristics of EU contract law. The conclusion is that the two do not match well. In particular, monist normative contract theories are largely irreconcilable with the contract law of ...
openaire   +1 more source

On Hierarchical Composite Endpoints in Pediatric Cancer Supportive Care: Illustrative Examples From Two Multi‐Center Phase‐III Randomized Clinical Trials

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric supportive care clinical trials often involve multiple clinically important outcomes, complicating trial interpretation. Hierarchical composite endpoints (HCEs) provide a framework to integrate key outcomes according to clinical importance.
Willem H. Collier, Mark Zobeck, Adam J. Esbenshade, Christopher C. Dvorak, Lillian Sung, David Freyer, Sarah Alexander, Etan Orgel, Nicole J. Ullrich, Zach Prudowsky, Brian Fisher, Caitlin W. Elgarten   +11 more
wiley   +1 more source

Finding shortest non-trivial cycles in directed graphs on surfaces

Journal of Computational Geometry, 2016
Let $D$ be a weighted directed graph cellularly embedded in a surface of genus $g$, orientable or not, possibly with boundary.  We describe algorithms to compute shortest non-contractible and shortest surface non-separating cycles in $D$, generalizing ...
Sergio Cabello, Éric Colin de Verdière, Francis Lazarus   +2 more
doaj   +1 more source

Distribution of Contractible Edges and the Structure of Noncontractible Edges having Endvertices with Large Degree in a 4-Connected Graph

Discussiones Mathematicae Graph Theory, 2021
Let G be a 4-connected graph G, and let Ec(G) denote the set of 4-contractible edges of G. We prove results concerning the distribution of edges in Ec(G). Roughly speaking, we show that there exists a set K0 and a mapping φ : K0 → Ec(G) such that |φ −1(e)
Nakamura Shunsuke
doaj   +1 more source

A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho, Karim M. Soliman, Wisit Cheungpasitporn, Wannasit Wathanavasin, Ahmed Daoud, Ahmed I. Kamal, Balázs Szamosfalvi, Tibor Fülöp   +7 more
wiley   +1 more source

Weak omega-categories from intensional type theory [PDF]

Logical Methods in Computer Science, 2010
We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster.
Peter LeFanu Lumsdaine
doaj   +1 more source

Safety of Daprodustat for the Treatment of Chronic Kidney Disease Anemia: Final Analysis of a Multicenter Postmarketing Surveillance Study in Japan

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction This final analysis of a multicenter, prospective postmarketing surveillance study evaluated the safety of daprodustat in patients with chronic kidney disease anemia in routine clinical practice in Japan. Methods Patients who initiated daprodustat between September 2020 and July 2022 were registered.
Tadao Akizawa, Kyomi Kanaya, Kiyomi Aizawa, Masanori Onoki, Hirofumi Ozeki, Kazuko Suzuki, Ai Hayashi, Tomohiko Asamura   +7 more
wiley   +1 more source