Results 131 to 140 of about 1,803,872 (361)
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.We show that solutal Marangoni flows in thin films climbing the outer surfaces of hydrophilic obstacles break circular Belousov‐Zhabotinsky waves into striking flower‐like patterns. Evaporation‐driven surface‐tension gradients, coupled with gravity, trigger the instability; above a threshold, petal number scales linearly with obstacle diameter ...
Sangram Gore +9 more
wiley +1 more source
Advanced Energy Materials, EarlyView.Full cells pairing NMC811 cathodes with graphite, prelithiated SiOx, and Li‐metal anodes are cycled at 45 °C to investigate how anode reactivity influences the cathode surface composition. Electrochemical and surface characterization techniques reveal that anodes with unstable solid‐electrolyte interphases increase cathode degradation through cathode ...
Karla Aranda, Arumugam Manthiram
wiley +1 more source
A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)
, 2018 We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$).
Cantone, Domenico +2 more
core
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz. [PDF]
, 1984 Jacek K. Kabziński
openalex +1 more source
Molecular Engineering of Hybrid Electrolytes for Aqueous Zinc Ion Batteries
Advanced Energy Materials, EarlyView.A molecularly engineered hybrid electrolyte enhances Zn (de)plating reversibility in aqueous zinc‐ion batteries (AZIBs). Fluorine‐functionalized triethyl phosphate tailors the solvation environment to modulate the desolvation kinetics and suppress water‐induced parasitic reactions.
Minkwan Kim, Jimin Lee, Jang Wook Choi
wiley +1 more source
Weak MSO: Automata and Expressiveness Modulo Bisimilarity
, 2014 We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal $\mu$-calculus where the application of the least fixpoint operator $\mu p.\varphi$ is restricted to formulas $\varphi$
Carreiro, Facundo +3 more
core +1 more source
Foreign labor, peer‐networking and agricultural efficiency in the Italian dairy sector
Agribusiness, EarlyView.Abstract While the presence of immigrants in the agricultural sector is widely acknowledged, the empirical evidence on its economic consequences is lacking, especially from a microeconomic perspective. Using the Farm Accountancy Data Network panel data for Italian dairy farms in the period 2008–2018, the present study investigates the relationship ...
Federico Antonioli +2 more
wiley +1 more source
The decidability of a fragment of BB′IW-logic
Theoretical Computer Science, 2004 AbstractDespite its simple formulation, the decidability of the logic BB′IW has remained an open problem. We present here a decision procedure for a fragment of it, called the arity-1 formulas.The decidability proof is based on a representation of formulas called formula-trees, which is coupled with a proof method that computes long normal λ-terms that
Marcelo Finger +3 more
openaire +2 more sources
Characterization of the axiomatizable prenex fragments of first-order Godel logics [PDF]
, 2004 Matthias Baaz +2 more
openalex +1 more source