Results 131 to 140 of about 1,821,618 (323)
Complexity of Safety and coSafety Fragments of Linear Temporal Logic [PDF]
, 2022 Alessandro Artale +4 more
openalex +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
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic [PDF]
, 2013 Khushraj Madnani +2 more
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
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
Meaning is Use: the Case of Propositional Identity
Bulletin of the Section of LogicWe study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj +1 more source
Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [PDF]
, 2015 Marta Cialdea Mayer
openalex +1 more source
One-variable fragments of intermediate logics over linear frames
, 2021 Xavier Caicedo +3 more
openalex +1 more source
On Generalizing Decidable Standard Prefix Classes of First-Order Logic
, 2017 Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms.
Voigt, Marco
core