Results 121 to 130 of about 16,571,812 (297)
Chemical Strategies for Multistimuli Responsive Dynamic Covalent Materials in Regenerative Medicine
Advanced Healthcare Materials, EarlyView.Multistimuli responsive dynamic covalent materials integrate reversible chemistry with the complex chemical, mechanical, and biochemical cues of regenerative environments. This review highlights chemical strategies based on orthogonal dynamic bonds, multicomponent networks, and hierarchical architectures to regulate mechanics, degradation, and ...
Saurabh Joshi +2 more
wiley +1 more source
Injonction comptable et révolution culturelle à l’Université
La Nouvelle Revue du Travail, 2015 The article uses the sociology of economics and public policy to examine financialisation-like processes occurring in the field of higher education and research.
Frédéric Lebaron
doaj +1 more source
Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors
Advanced Materials, EarlyView.A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi +11 more
wiley +1 more source
Higher Order Modal Logic [PDF]
, 2006 A logic is called higher order if it allows for quantication (and possibly ab-straction) over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions ...
Muskens, R.A. +2 more
core
Logic program synthesis in a higher-order setting
, 2000 We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been implemented within the proof planning system λClam.
Richardson, J +5 more
core +1 more source
Advanced Materials, EarlyView.A Nb‐proximitized Josephson junction based on a WTe2/α‐Fe2O3 heterostructure exhibits a robust superconducting diode effect with programmable polarity. The diode direction can be trained by magnetic fields and switched by temperature cycling, revealing tunable finite‐momentum pairing states and competing superconducting states in symmetry‐broken ...
Enze Zhang +9 more
wiley +1 more source
Formalization of Function Matrix Theory in HOL
Journal of Applied Mathematics, 2014 Function matrices, in which elements are functions rather than numbers, are widely used in model analysis of dynamic systems such as control systems and robotics.
Zhiping Shi +5 more
doaj +1 more source
Advanced Materials, EarlyView.Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son +20 more
wiley +1 more source
Investigations on Higher-Order Infinitary Logic [PDF]
Higher-order logic and infinitary logic are two extensions of first-order logic that allow greater expressivity. Both features have not been investigated together yet.
Hermant, Olivier +2 more
core +1 more source
Advanced Materials, EarlyView.ABSTRACT The accelerating expansion of data‐centric technologies is sharply increasing the energy burden of information storage, placing unprecedented pressure on the efficiency of magnetic switching. Conventional field‐driven reversal, once the foundation of magnetic memory, has become impractical in modern architectures due to its high energy cost ...
Mohammad H. Badarneh +2 more
wiley +1 more source