Results 121 to 130 of about 201,623 (302)
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
Higher-order representation of substructural logics [PDF]
ACM SIGPLAN Notices, 2010 We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Framework, without any linear or modal extensions. Using this encoding, metatheoretic proofs about such logics can easily be developed in the Twelf proof assistant.
openaire +1 more source
Advances in Magnesium‐Based Thermoelectrics: A Critical Review
Advanced Materials, EarlyView.Magnesium‐based thermoelectric materials have emerged as promising candidates for low‐to‐mid‐temperature energy conversion due to their abundance, low cost, and competitive performance. This review summarizes recent advances in Mg3X2, MgAgSb, and Mg2X systems, covering transport mechanisms, fabrication strategies, stability challenges, and device ...
Li‐Min Zhang +5 more
wiley +1 more source
Probabilistic-Input, Noisy Conjunctive Models for Cognitive Diagnosis
Frontiers in Psychology, 2018 Existing cognitive diagnosis models conceptualize attribute mastery status discretely as either mastery or non-mastery. This study proposes a different conceptualization of attribute mastery as a probabilistic concept, i.e., the probability of mastering ...
Peida Zhan +3 more
doaj +1 more source
Giant Orbital Rashba–Edelstein Effect in Crystalline Cu2O/Cu Heterostructures
Advanced Materials, EarlyView.An enhanced orbital Rashba–Edelstein effect is demonstrated in a crystalline Cu2O/Cu heterostructure, compared to naturally oxidized CuOx structures, highlighting the critical role of crystallinity and interface control in orbital torque generation. The resulting spin torque conductivity exceeds that of Pt, indicating the potential of orbital torque ...
San Ko +10 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
Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles
Advanced Materials, EarlyView.Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung +9 more
wiley +1 more source
Second‐Harmonic Hyper‐Mie Optical Activity Enables Closed‐Loop Chiral Photochemistry
Advanced Materials, EarlyView.Nonlinear chiral photochemistry is demonstrated in CdTe/CdO nanohelices, where circularly polarized infrared light both drives and tracks photo‐oxidation via second‐harmonic scattering. This closed‐loop process reveals real‐time structural evolution, including shell fracturing and core exposure, accompanied by a transition from hyper‐Mie to hyper ...
Hoyeon Choi +6 more
wiley +1 more source
Advanced Materials, EarlyView.A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong +11 more
wiley +1 more source
Formal reasoning about synthetic biology using higher-order-logic theorem proving. [PDF]
IET Syst Biol, 2020 Abed S, Rashid A, Hasan O.
europepmc +1 more source