Results 71 to 80 of about 79,610 (265)
Normal default rules as epistemic actions
Acta Universitatis Carolinae Philosophica et Historica, 2016 The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action ...
Michal Dančák, Michal Peliš
doaj +1 more source
Theoretical Computer Science, 1986 In this paper a system of dynamic predicate logic is presented. Its distinctive features are as follows: (1) It is finitary, allowing nonstandard models of time; (2) It is essentially one-sorted, identifying time elements and data elements. After the soundness and completeness theorems are established, it is shown that this system is equivalent to the ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.Ferroelectric nematic liquid crystals (FNLCs) offer fast, tunable polarization and low‐voltage operation but suffer from poor polarization retention at zero field. Semiconductor‐modified FNLCs enhance polarization retention and exhibit short‐ and long‐term electro‐optical responses, while also supporting spike‐type signal integrations.
Kutay Sagdic, Weiming Yao, Danqing Liu
wiley +1 more source
Advanced Functional Materials, EarlyView.This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad +3 more
wiley +1 more source
Annals of Pure and Applied Logic, 2012 The axiom system \(\mathsf{S4C}\) for the bimodal dynamic measure logic combines the modal logic \(\mathsf{S4}\) for the \(\square\) operator with the modal logic \(\mathsf{KD.alt}\) for the temporal `next' operator \(\bigcirc\), with the interaction axiom \({\bigcirc} \square \phi \rightarrow \square {\bigcirc} \phi\).
openaire +2 more sources
Advanced Functional Materials, EarlyView.A low‐viscosity, soft‐solvating methyl ethanoate (ME)‐based electrolyte facilitates electrolyte infiltration into dense dry‐processed ultra‐thick NCM622 cathodes while reducing Li+ desolvation barriers at Li‐metal anodes. Balanced cathode‐scale ion transport and anode‐side interfacial kinetics mitigate concentration polarization and interfacial ...
Jae Bin Park +11 more
wiley +1 more source
Logic-dynamic approach to fault diagnosis in mechatronic systems
International Journal of Advanced Robotic Systems, 2008 This paper presents a problem of fault detection and isolation (FDI) in mechatronic systems described by nonlinear dynamic models with such types of no differentiable nonlinearities as saturation, Coulomb friction, backlash, and hysteresis. To solve this
A. N. Zhirabok, V. F. Filaretov
doaj
A Novel Logic Detection Algorithm for Logic Circuits
IEEE Access, 2019 Synthesizing logic circuits with different logic will result in different circuit structure, and then obtain different circuit performance. However, few studies have focused on logic detection technology that detects which logic is appropriate for the ...
Zhenxue He +4 more
doaj +1 more source
Advanced Functional Materials, EarlyView.This study develops a tunable n‐OSC hydrogel (PBFDO‐PAAc) platform with a tunable porous network and thermoelectric properties. It demonstrates the first report of n‐OSC hydrogels for evaporation‐driven hydrovoltaic‐thermoelectric electricity generation as well as chemically dedoping‐mediated OECT working mode reconfiguration. This work expands n‐OSCs’
Zhenli Zhou +9 more
wiley +1 more source
Making the Case for Organ‐on‐Chip Platforms in Long‐Acting Therapeutics Development
Advanced Healthcare Materials, EarlyView.LATs release drug from a tissue‐resident depot over weeks to months, improving adherence, but their development is hampered by preclinical models that cannot reproduce the coupled tissue processes, sustained release, local microenvironment change, interstitial transport, immune and foreign‐body responses, and clearance that govern depot performance in ...
Charlie Gowans +7 more
wiley +1 more source