Results 71 to 80 of about 6,811,260 (293)
DatalogMTL: Computational Complexity and Expressive Power
International Joint Conference on Artificial Intelligence, 2019 We study the complexity and expressive power of DatalogMTL - a knowledge representation language that extends Datalog with operators from metric temporal logic (MTL) and which has found applications in ontology-based data access and stream reasoning.
P. Walega +3 more
semanticscholar +1 more source
Scalar and Vectorial mu-calculus with Atoms [PDF]
Logical Methods in Computer Science, 2019 We study an extension of modal $\mu$-calculus to sets with atoms and we study its basic properties. Model checking is decidable on orbit-finite structures, and a correspondence to parity games holds. On the other hand, satisfiability becomes undecidable.
Bartek Klin, Mateusz Łełyk
doaj +1 more source
Expressive power of digraph solvability
Annals of Pure and Applied Logic, 2012 A directed graph (digraph) is said to be solvable if it has a kernel. A kernel is an independent set of vertices \(K\) such that for every vertex \(v\) not in \(K\) there is an edge from \(v\) to some vertex of \(K\). An overview of kernel theory can be found in the work of \textit{E. Boros} and \textit{V. Gurvich} [Discrete Math. 306, No. 19--20, 2336-
Walicki, Michal +2 more
openaire +5 more sources
On the expressive power of update primitives [PDF]
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems, 2013 The SQL standard offers three primitive operations (insert, delete, and update which is here called modify) to update a relation based on a generic query. This paper compares the expressiveness of programs composed of these three operations, with the general notion of update that simply replaces the content of the relation by the result of a query.
Tom J. Ameloot +2 more
openaire +2 more sources
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Safe Dependency Atoms and Possibility Operators in Team Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 I consider the question of which dependencies are safe for a Team Semantics-based logic FO(D), in the sense that they do not increase its expressive power over sentences when added to it.
Pietro Galliani
doaj +1 more source
Biophysical approaches for studying viral entry
FEBS Letters, EarlyView.Viruses infect all living organisms and have been responsible for major epidemics and pandemics. Their ongoing evolutionary battle with host defenses creates a constant need for improved tools to study viral behavior. Advancing methods to probe viral attachment, fusion, and genome release deepen our understanding of how infections begin and support the
Inbar Yosibash, Raya Sorkin
wiley +1 more source
Expressive Power of Entity-Linking Frameworks
International Conference on Database Theory, 2019 We develop a unifying approach to declarative entity linking by introducing the notion of an entity linking framework and an accompanying notion of the certain links in such a framework. In an entity linking framework, logic-based constraints are used to
Douglas Burdick +4 more
semanticscholar +1 more source