Results 31 to 40 of about 112 (75)
Starter sequences: generalizations and applications [PDF]
, 2018 In this thesis we introduce new types of starter sequences, pseudo-starter sequences, starter-labellings, and generalized (extended) starter sequences. We apply these new sequences to graph labeling.
Omer, Farej
core
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates [PDF]
, 2019 First-order logic is one of the most prominent formalisms in computer science and mathematics. Since there is no algorithm capable of solving its satisfiability problem, first-order logic is said to be undecidable.
Voigt, Marco
core +1 more source
The geometry and arithmetic of bielliptic Picard curves
Journal of the London Mathematical Society, Volume 112, Issue 5, November 2025.Abstract We study the geometry and arithmetic of the curves C:y3=x4+ax2+b$C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces P$P$. We prove a Torelli‐type theorem in this context and give a geometric proof of the fact that P$P$ has quaternionic multiplication by the quaternion order of discriminant 6.
Jef Laga, Ari Shnidman
wiley +1 more source
Small Methods, Volume 9, Issue 9, September 1, 2025.Schematic representation of band alignment and scanning transmission electron microscopy (STEM) image of Mo2S3‐WS2 nanocomposites. Abstract Addressing the energy crisis and environmental pollution demands the development of efficient electro‐ and photocatalysts capable of facilitating hydrogen production via water splitting.
Levna Chacko +8 more
wiley +1 more source
, 2014 A k-cycle system of a multigraph G is an ordered pair (V,C) where V is the vertex set of G and C is a set of k-cycles, the edges of which partition the edges of G. A k-cycle system of lambda K_v is known as a lambda-fold k-cycle system of order v.
Asplund, John
core
Does Shareholder Activism Create Value? A Meta‐Analysis
Corporate Governance: An International Review, Volume 33, Issue 5, Page 1039-1061, September 2025.ABSTRACT Research Question/Issue This study identifies the determinants of shareholder value created by investor activism. It quantifies and corrects the pool of published empirical estimates for bias due to the selective reporting of empirical results.
Josef Bajzik +3 more
wiley +1 more source
Cyclic automorphic graph decompositions [PDF]
, 2011 Chapter 1 introduces the tools and mechanics necessary for this report. Basic definitions and topics of graph theory which pertain to the report and discussion of automorphic decompositions will be covered in brief detail.
Misson, Michael Li
core +1 more source
Chemistry – A European Journal, Volume 31, Issue 41, July 22, 2025.We designed and synthesized novel mannose‐6‐phosphate (M6P) derivatives to enhance their binding affinity for the CI‐M6P/IGF2 receptor, which plays a key role in lysosomal targeting. Using a fluorescence polarization assay, we evaluated di‐, tri‐, and penta‐M6P peptides and modified M6P analogs.
Lucie Mrázková +11 more
wiley +1 more source
Decompositions of complete graphs into cycles of arbitrary lengths [PDF]
, 2013 We show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$.
Bryant, Darryn +2 more
core +2 more sources
Is Kant's critique of metaphysics obsolete?
Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 25-53, July 2025.Abstract I raise a problem about the possibility of metaphysics originally due to Kant: what explains the fact that the terms in our metaphysical theories (e.g., ‘property’, ‘grounding’) refer to entities and structures (e.g., properties, grounding) in the world?
Nicholas F. Stang
wiley +1 more source