Results 71 to 80 of about 1,729,221 (329)

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Dementia care in acute hospitals: A framework for practice development and theory‐based evaluation

Nursing Open, 2023
Aim The aim was to generate a framework for dementia care in acute hospitals. Design Framework development with logic modelling. Methods In phase one, we identified relevant elements of the framework by analysing several sources and by critically ...
Melanie Karrer, Adelheid Zeller, Hanna Mayer   +2 more
doaj   +1 more source

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

, 2013
We propose a validity preserving translation from a subset of epistemic Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic (CTL). The considered subset of epistemic ATL is known to have the finite model property and decidable model-
Guelev, Dimitar P.
core   +2 more sources

Electroactive Liquid Crystal Elastomers as Soft Actuators

Advanced Functional Materials, EarlyView.
Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley   +1 more source

Mackey-complete spaces and power series -- A topological model of Differential Linear Logic [PDF]

, 2015
In this paper, we have described a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted by bounded linear functions ...
Kerjean, Marie, Tasson, Christine
core   +2 more sources

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source

Toward the Development of More Robust Policy Models [PDF]

Integral Review, 2010
The current state of the world suggests we have some difficulty in developing effective policy. This paper demonstrates two methods for the objective analysis of logic models within policy documents.
Steven E. Wallis
doaj   +2 more sources

Use of a Logic Model to Develop an Innovative Hand Therapy Clinic to Provide Experiential Learning for Occupational Therapy Students

Journal of Occupational Therapy Education, 2020
Occupational therapy (OT) students seek experiential learning opportunities to help them construct knowledge and meaning. Student clinics are increasing in prevalence as an effective means to engage in experiential learning.
Rose McAndrew, Vicki Kaskutas
doaj   +1 more source

Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

, 2015
Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core   +1 more source