Results 11 to 20 of about 1,558,342 (70)
Skolem Number of Subgraphs on the Triangular Lattice [PDF]
, 2021 A Skolem sequence can be thought of as a labelled path where any two vertices with the same label are that distance apart. This concept has naturally been generalized to graph labelling.
Carrigan, Braxton, Green, Garrett
core +1 more source
, 1991 A Skolem labelled graph is a triple (G, L, d), where G = (V, E) is a graph and L:V → d, d + 1,…, d+m satisfying: 1.(a) There are exactly two vertices in V, such that L(v)=d+i, 0 ⩽i⩽m.2.(b) The distance in G between any two vertices with the same label is
Shalaby, N., Mendelsohn, E.
core +1 more source
On the Skolem Problem for Reversible Sequences [PDF]
, 2022 Given an integer linear recurrence sequence $\langle X_n \rangle_n$, the Skolem Problem asks to determine whether there is a natural number $n$ such that $X_n = 0$.
Kenison, George
core +2 more sources
Disjoint skolem-type sequences and applications [PDF]
, 2018 Let D = {i₁, i₂,..., in} be a set of n positive integers. A Skolem-type sequence of order n is a sequence of i such that every i ∈ D appears exactly twice in the sequence at position aᵢ and bᵢ, and |bᵢ - aᵢ| = i.
Alghamdi, Naeemah
core +1 more source
NP-completeness of generalized multi-Skolem sequences [PDF]
, 2007 A Skolem sequence is a sequence a1,a2,…,a2n (where ai∈A={1,…,n}), each ai occurs exactly twice in the sequence and the two occurrences are exactly ai positions apart. A set A that can be used to construct Skolem sequences is called a Skolem set.
Nordh, Gustav,, Nordh, Gustav
core +1 more source
Journal of Food Safety, Volume 46, Issue 4, August 2026.The formation of mono‐, dual‐, and triple‐species biofilms by L. monocytogenes, S. aureus, and E. coli was characterized by cell growth, metabolic activity, staining, and microscopy. Their resistance to a commercial disinfectant (NaOCl) and natural agents such as vinegar and lactic acid was evaluated.
Viviana Švarcová +6 more
wiley +1 more source
The Skolem Landscape (Invited Talk)
, 2023 The Skolem Problem asks to determine whether a given integer linear recurrence sequence (LRS) has a zero term. This decision problem arises within a number of different topics in computer science, including loop termination, weighted automata, formal ...
Worrell, James
core +1 more source
Kripke on Gödel Incompleteness
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
WIREs Energy and Environment, Volume 15, Issue 1, March 2026.This graphical abstract illustrates seven strategic pillars to advance a low‐carbon economy in ASEAN: Carbon Pricing & CBAM, Renewable Energy Auctions, Sustainable Finance Mobilization, Regional Carbon Trading Systems, Green Finance Standards, Private Sector Participation, and Digital‐Driven Monitoring & Trading. These elements aim to unlock investment,
Ohn Zin Lin +4 more
wiley +1 more source
Determinacy on the edge of second‐order arithmetic, I
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley +1 more source