Results 101 to 110 of about 1,821,618 (323)
A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids
Scientific Annals of Computer Science, 2021 In this paper we introduce a weighted LTL over product omega-valuation monoids that satisfy specific properties. We also introduce weighted generalized Buchi automata with epsilon-transitions, as well as weighted Buchi automata with epsilon-transitions ...
Eleni Mandrali
doaj +1 more source
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
One-dimensional fragment of first-order logic [PDF]
, 2014 We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core
, 2018 We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable.
Rybakov, Mikhail, Shkatov, Dmitry
core +1 more source
Advanced Science, EarlyView.In this study maize chloroplastic malate dehydrogenase7 (ZmMDH7), is identified as a Rhizoctonia solani resistance gene in maize. ZmMDH7 is regulated by transcription factor ZmWRKY44 via pathogens challenge to elevate mitochondrial ROS and SA signaling pathway.
Luyang Wei +9 more
wiley +1 more source
Fragmented self of Gen Z in Instagram: Digital dramaturgy on Bourdieu’s logic of practice
, 2023 Sari Monik Agustin, Fitria Angeliqa
openalex +2 more sources
On the Complexity of Temporal-Logic Path Checking
, 2014 Given a formula in a temporal logic such as LTL or MTL, a fundamental problem is the complexity of evaluating the formula on a given finite word. For LTL, the complexity of this task was recently shown to be in NC.
B. Finkbeiner +7 more
core +1 more source
Environmental and Ecological Monitoring with Biodegradable Technologies
Advanced Science, EarlyView.This review examines the development and application of wireless biodegradable sensors for environmental monitoring. It explores (bio)degradable materials, their degradation mechanisms in various environments, and non‐toxic fabrication techniques. Additionally, it addresses scalable production and sustainable powering solutions, emphasizing the high ...
Mohammad Javad Bathaei +7 more
wiley +1 more source
A five-valued logic and a system
Journal of Computer Science and Technology, 2004 The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj
Advanced Science, EarlyView.It is revealed that limited solid‐state Zn2⁺ diffusion within the cathode leads to interfacial Zn2⁺ accumulation, forming a transport bottleneck that distorts Zn2⁺ flux directionality. Through advanced analytical techniques, including in situ electrochemical impedance spectroscopy (EIS), distribution of relaxation time (DRT) analysis, and COMSOL ...
Juyeon Han +4 more
wiley +1 more source