Results 111 to 120 of about 14,639 (283)

Direct Metal Deposition of Graphene–Ti28Nb35.4Zr Matrix Composites With Enhanced Mechanical, Corrosion, and Biocompatibility Properties for Bone Implants

Advanced Engineering Materials, EarlyView.
Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir, Jixing Lin, Yuncang Li, Li Zhu, Paul F. A. Wright, Cuie Wen   +5 more
wiley   +1 more source

Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations

Bulletin of the Section of Logic
In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj   +1 more source

An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials

Advanced Engineering Materials, EarlyView.
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut, Pierre Le Berre, Hamdi Jaballah, Lukas Fink, Victor Poline, Richard Haettel, Stéphane Grenier, Gilbert Chahine, Ewen Bellec, Guillaume Buatier, Wilfried Hortschitz, Santa Pile, Thomas Schrefl, Nils Blanc, Yuan Hong, Thibaut Devillers, Nora M. Dempsey   +16 more
wiley   +1 more source

Exploring Dipolar Dynamics and Ionic Transport in Metal‐Organic Frameworks: Experimental and Theoretical Insights

Advanced Functional Materials, EarlyView.
In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund, Arthur Schulz, Peter Lunkenheimer, Maryana Kraft, Thomas Bergler, Harald Oberhofer, Dirk Volkmer   +6 more
wiley   +1 more source

Functional Programming and Lambda Calculus [PDF]

, 1990
Contains fulltext : 13246.pdf (Publisher’s version ) (Open Access)
openaire   +2 more sources

Photoswitchable Conductive Metal–Organic Frameworks

Advanced Functional Materials, EarlyView.
A conductive material where the conductivity can be modulated remotely by irradiation with light is presented. It is based on films of conductive metal–organic framework type Cu3(HHTP)2 with embedded photochromic molecules such as azobenzene, diarylethene, spiropyran, and hexaarylbiimidazole in the pores.
Yidong Liu, Mersad Mostaghimi, Abhinav Chandresh, Saibal Jana, Wolfgang Wenzel, Lars Heinke   +5 more
wiley   +1 more source

Intermolecular Interactions as Driving Force of Increasing Multiphoton Absorption in a Perylene Diimide‐Based Coordination Polymer

Advanced Functional Materials, EarlyView.
This study uncovers the unexplored role of intermolecular interactions in multiphoton absorption in coordination polymers. By analyzing [Zn2tpda(DMA)2(DMF)0.3], it shows how the electronic coupling of the chromophores and confinement in the MOF enhance two‐and three‐photon absorption.
Simon Nicolas Deger, Anna Mauri, Yang Cui, Sebastian Josef Weishäupl, Ali Deniz Özdemir, Hamad Syed, Aleksandr Ovsianikov, Wolfgang Wenzel, Alexander Pöthig, Jürgen Hauer, Mariana Kozlowska, Roland Augustinus Fischer   +11 more
wiley   +1 more source

The Lambda Calculus

, 2023
The λ-calculus is, at heart, a simple notation for functions and application. The main ideas are applying a function to an argument and forming functions by abstraction. The syntax of basic λ-calculus is quite sparse, making it an elegant, focused notation for representing functions. Functions and arguments are on a par with one another.
openaire   +1 more source

Understanding and Optimizing Li Substitution in P2‐Type Sodium Layered Oxides for Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous 
Mingfeng Xu, Giovanni Gammaitoni, Michael Häfner, Eduardo Villalobos‐Portillo, Carlo Marini, Matteo Bianchini   +5 more
wiley   +1 more source

Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions

Advanced Functional Materials, EarlyView.
DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng, Qian Yao, Yanan Sun, Hongyu Lv, Zhongchao Bai, Guoliang Zhang, Nana Wang, Jian Yang   +7 more
wiley   +1 more source