Results 141 to 150 of about 157,712 (252)

Equivalence of call-by-name and call-by-need for lambda-calculi with letrec

, 2006
We develop a proof method to show that in a (deterministic) lambda calculus with letrec and equipped with contextual equivalence the call-by-name and the call-by-need evaluation are equivalent, and also that the unrestricted copy-operation is correct ...
Schmidt-Schauß, Manfred, Manfred Schmidt-Schauß   +1 more
core  

Comparison of Triply Periodic Minimal Surface Energy Absorbers Under Uniaxial Compressive Loading

Advanced Engineering Materials, EarlyView.
This study investigates LCD 3D printed Triply Periodic Minimal Surface (TPMS) structures as mechanical energy absorbers. By comparing various base designs and layered combinations under uniaxial compression, it identifies that a Diamond‐Gyroid sandwich structure offers superior performance.
Sergej Grednev, Noah‐Lean Roschlaub, Anne Jung   +2 more
wiley   +1 more source

Laser‐Induced Graphene from Waste Almond Shells

Advanced Functional Materials, EarlyView.
Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova, Anna Chiara Bressi, Marina Galliani, Attilio Marino, Gianni Ciofani, Eduardo Machado‐Charry, Hilda Gomez Bernal, Alessandra Francini, Luca Sebastiani, Francesco Greco   +9 more
wiley   +1 more source

Composites of Shellac and Silver Nanowires as Flexible, Biobased, and Corrosion‐Resistant Transparent Conductive Electrodes

Advanced Functional Materials, EarlyView.
Shellac, a centuries‐old natural resin, is reimagined as a green material for flexible electronics. When combined with silver nanowires, shellac films deliver transparency, conductivity, and stability against humidity. These results position shellac as a sustainable alternative to synthetic polymers for transparent conductors in next‐generation ...
Rahaf Nafez Hussein, Tiago Carneiro Gomes, Eliza Ng, Simon Rondeau‐Gagné, Tricia Breen Carmichael   +4 more
wiley   +1 more source

Optoelectronic Synaptic Devices Using Molecular Telluride Phase‐Change Inks for Three‐Factor Learning

Advanced Functional Materials, EarlyView.
Optoelectronic synaptic devices based on solution‐processed molecular telluride GST‐225 phase‐change inks are demonstrated for three‐factor learning. A global optical signal broadcast through a silicon waveguide induces non‐volatile conductance updates exclusively in locally electrically flagged memristors.
Kevin Portner, Dhananjeya Kumaar, Giacomo Torti, Killian Keller, Till Zellweger, Florian M. Schenk, Christoph Weilenmann, Daniel Chelladurai, Vara Prasad Jonnalagadda, Ghazi Sarwat Syed, Vanessa Wood, Jürg Leuthold, Alexandros Emboras, Maksym Yarema, Mathieu Luisier   +14 more
wiley   +1 more source

Texoskeletons: Developing the Fundamental Technologies for Creating Intelligent Soft Robotic Clothing With Integrated 1D Sensors and Actuators

Advanced Functional Materials, EarlyView.
ABSTRACT Traditional wearable exoskeletons rely on rigid structures, which limit comfort, flexibility, and everyday usability. This work introduces the fundamental technologies to create the first soft, lightweight, intelligent textile‐based exoskeletons (Texoskeletons) built using 1D sensors and actuators.
Amy Lukomiak, Rameesh Bulathsinghala, Jack Varga, Shuxin Meng, Kalana Marasinghe, Imaad Refai, Biyon Fernando, Amitkumar Patel, Chamika M. Halloluwa‐Arachchige, Carlos Oliveira, Arash M. Shahidi, Zahra Rahemtulla, Alexander Turner, Ziyun Ding, Bernard X. W. Liew, Andy Kerr, Ezio Preatoni, Theo Hughes‐Riley, Ishara Dharmasena, Pasindu Lugoda   +19 more
wiley   +1 more source

Announcements

Empirical Musicology Review, 2008
William Forde Thompson
doaj   +1 more source

Sex-specific microbiome-host interactions: from infection to chronic disease-call for papers. [PDF]

mSystems
Yıldırım S, Zhu W, Cope E, Lindemann S, Suez J, Shade A.   +5 more
europepmc   +1 more source

Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies

Advanced Functional Materials, EarlyView.
The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley   +1 more source

Exciton Binding Energy of Phosphorescent Emitter Molecules in Organic Light‐Emitting Diodes

Advanced Functional Materials, EarlyView.
Energy level alignment is key to efficient OLED design, yet determining LUMO energies remains challenging. A methodology based on field‐induced dissociation and kinetic Monte Carlo simulations is presented to extract LUMO energies of iridium‐based phosphorescent emitters from their exciton binding energy.
Hiroki Tomita, Lucas R. L. Norg, Patrick Diederen, Clint van Hoesel, Christ H. L. Weijtens, Peter A. Bobbert, Reinder Coehoorn   +6 more
wiley   +1 more source