Results 71 to 80 of about 696,108 (309)
Surface Modification of Sol–Gel Synthesized Ba0.85Ca0.15Zr0.1Ti0.9O3 using Stearic Acid Additives
Advanced Engineering Materials, EarlyView.This study explores a novel approach to enhance the piezoelectric performance of lead‐free BCZT ceramics synthesized via the sol–gel method. By coating the BCZT powder with only a 0.69 nm stearic acid layer, the electromechanical response is significantly boosted up to 359 pC N−1, revealing promising implications for high‐performance sensor and ...
Michelle Weichelt +6 more
wiley +1 more source
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized [PDF]
, 2013 The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, frustrating users with type errors arising when evaluation fails to identify
Allais, Guillaume +2 more
core +2 more sources
Advanced Engineering Materials, EarlyView.Real‐time imaging and energy‐dispersive diffraction during solidification of Sn‐Bi alloy interconnect for electronic packaging applications are studied. Sn‐Bi solder alloys have generated significant interest in recent times due to their potential use in electronic packaging.
Amey Luktuke +3 more
wiley +1 more source
Gradual Certified Programming in Coq
, 2015 Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated.
Disney T. +7 more
core +3 more sources
On the Expressiveness of Intensional Communication [PDF]
, 2014 The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared ...
Given-Wilson, Thomas
core +6 more sources
Advanced Functional Materials, EarlyView.Graded refractive index (GRI) structures are prepared from the layer‐by‐layer spray coating of the mesoporous SiO2 nanoparticles, showing high solar transparency and thermal emissivity. Under outdoor conditions, after 50 days, the GRI‐coated photovoltaics show on average 6.65 ± 1.48 °C lower than that of the non‐coated references, maintaining 80.9 ± 8 ...
Heesuk Jung +14 more
wiley +1 more source
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.A high‐performance n‐type element for quasi‐solid‐state thermocells has been introduced, outperforming conventional p‐type elements and showcasing the potential to harness body heat as an energy source or power embedded sensors. This advance significantly contributes to waste thermal energy harvesting and wearable technology, paving the way for self ...
Gilyong Shin +10 more
wiley +1 more source
A Tool for Assisted Correction of Programming Exercises in Java Based in Computational Reflection
Journal on Computational Thinking (JCThink), 2018 INTRODUCTION: This work reports on the creation and use of a tool to verify compliance in java programming exercises. The solution is based on the hypothesis that computational reflection can provide a way to automatically assess the programing competences of students.
openaire +2 more sources
Turning engineers into reflective university teachers [PDF]
, 2006 Increasing attention to quality and innovation in Higher Education (HE) is enhancing the pedagogic knowledge of faculty members and thereby encouraging the academic success of their students.
Huet, I., Tavares, J., Weir, G.R.S.
core
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.The formate pseudo‐halide anion is strategically introduced at the buried interface to stabilize the intermediate phases formed during perovskite crystallization. The controlled crystallization enhances crystallinity and alleviates tensile strain, eliminating residual PbI2 near the buried interface.
Jongdeuk Seo +12 more
wiley +1 more source