Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Answer Set Programming (ASP) is a famous logic language for knowledge representation, which has been really successful in the last years, as witnessed by the great interest into the development of efficient solvers for ASP.
Marco De Bortoli
doaj +1 more source
The Forcing Strong Metric Dimension of a Graph [PDF]
, 2017 For any two vertices u, v in a connected graph G, the interval I(u, v) consists of all vertices which are lying in some u − v shortest path in G. A vertex x in a graph G strongly resolves a pair of vertices u, v if either u ∈ I(x, v) or v ∈ I(x, u).
Baca, Martin, Lenin, R, Kathiresan, KM
core +2 more sources
Erratum to “On the strong metric dimension of the strong products of graphs”
Open Mathematics, 2015 The original version of the article was published in Open Mathematics (formerly Central European Journal of Mathematics) 13 (2015) 64–74. Unfortunately, the original version of this article contains a mistake: in Lemma 2.17 appears that for any C1-graph ...
Kuziak Dorota +2 more
doaj +1 more source
MALBoost: a web-based application for gene regulatory network analysis in Plasmodium falciparum
Malaria Journal, 2021 Background Gene Regulatory Networks (GRN) produce powerful insights into transcriptional regulation in cells. The power of GRNs has been underutilized in malaria research.
Roelof van Wyk +2 more
doaj +1 more source
On the Strong Metric Dimension of Certain Nanostructures [PDF]
, 2017 Let G(V, E) be a connected graph. A vertex w strongly resolves a pair of vertices u,v in V if there exists some shortestu–w path containing V or some shortest v–w path containing u. A set w ⊂ V of vertices is called a strong resolving set for G if every
Bharati Rajan +2 more
core +1 more source
Sound velocity, equation of state and strangeness in neutron star matter [PDF]
EPJ Web of ConferencesThis presentation in two parts starts with a brief review on the speed of sound in neutron star matter as inferred from observational data. It is pointed out that, in view of the strong constraints imposed by observed properties of the heaviest neutron ...
Weise Wolfram
doaj +1 more source
Minimal models for axion and neutrino
Physics Letters B, 2016 The PQ mechanism resolving the strong CP problem and the seesaw mechanism explaining the smallness of neutrino masses may be related in a way that the PQ symmetry breaking scale and the seesaw scale arise from a common origin.
Y.H. Ahn, Eung Jin Chun
doaj +1 more source
Evaluating a land surface model at a water-limited site: implications for land surface contributions to droughts and heatwaves [PDF]
Hydrology and Earth System Sciences, 2021 Land surface models underpin coupled climate model projections of droughts and heatwaves. However, the lack of simultaneous observations of individual components of evapotranspiration, concurrent with root-zone soil moisture, has limited previous model ...
M. Mu +9 more
doaj +1 more source
The strong metric dimension of graphs and digraphs [PDF]
, 2007 Let G be a connected (di)graph. A vertex w is said to strongly resolve a pair u,v of vertices of G if there exists some shortest u–w path containing v or some shortest v–w path containing u.
Peters-Fransen, Joel +1 more
core +1 more source
A Neutrosophic Framework Design and Performance Evaluation for Ethical Governance Construction in Big Data–Driven Physical Education [PDF]
Neutrosophic Sets and SystemsThe ethical challenges of implementing Big Data and intelligent systems in physical education (PE) environments demand a robust decision-making paradigm capable of handling inconsistencies, indeterminacies, and conflicting stakeholder priorities.
Jie Zhou
doaj +1 more source