Results 51 to 60 of about 13,265 (227)

Linear-algebraic lambda-calculus

, 2005
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction.
Arrighi, Pablo, Dowek, Gilles
core   +1 more source

3D‐Printed Sulfur‐Derived Polymers With Controlled Architectures for Lithium‐Sulfur Batteries

Advanced Functional Materials, EarlyView.
Rheology‐guided formulation design for direct ink writing enables the fabrication of 3D sulfur copolymer cathodes with controlled architectures for lithium‐sulfur batteries. The printed electrodes exhibit multiscale porosity and high sulfur utilization, delivering enhanced electrochemical performance compared to conventional cast electrodes.
Bin Ling, Haoran Wang, Pan Yang, Rishav Agrawal, Alex R. Neale, Laurence J. Hardwick, Tom Hasell, Esther García‐Tuñón   +7 more
wiley   +1 more source

Program equivalence for a concurrent lambda calculus with futures [PDF]

, 2006
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Niehren, Joachim, Sabel, David, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core   +1 more source

QPCF: higher order languages and quantum circuits

, 2018
qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be duplicated and manipulated in flexible ways by means of a dependent type ...
Paolini, Luca, Piccolo, Mauro, Zorzi, Margherita   +2 more
core   +1 more source

Formation of Stable Amorphous Calcium Phosphate and Collagen Assemblies by a Versatile Spray‐Drying Approach

Advanced Functional Materials, EarlyView.
Amorphous calcium phosphate (ACP) microparticles with long‐term and thermal stability are prepared with or without collagen using a scalable one‐pot spray‐drying process. Under simulated physiological conditions, they crystallize into biomimetic bone mineral and, when combined with collagen, form extrudable, fibrillar bone‐like 3D constructs.
Camila Bussola Tovani, Nessma Bennaceur, Celina Benkhellat, Tristan Georges, Clara Doisneau, Vaskar Sardhalia, Thierry Azaïs, Flora Lemaire, Halima Kerdjoudj, Mohamed Selmane, Capucine Sassoye, Marie Albéric, Cédric Boissière, Nadine Nassif   +13 more
wiley   +1 more source

Slight Truncation Changes in Iron Oxide Nanocubes Strongly Affect Their Magnetic Properties

Advanced Functional Materials, EarlyView.
Subtle variations in nanoparticle morphology can lead to significant changes in functional properties. An automated shape‐fitting method captures minor differences in corner truncation between iron oxide nanocubes of similar sizes synthesized under identical conditions, revealing pronounced disparities in their magnetic and hyperthermia behavior ...
Kingsley Poon, Raúl López‐Martín, Verner Håkonsen, Nader Yaacoub, Francisco J. Terán, Alberto López Ortega, Jose A. De Toro, Gurvinder Singh   +7 more
wiley   +1 more source

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

, 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
core   +2 more sources

From Food to Power: Hydrogel Thermoelectrics for Ingestible Electronics

Advanced Functional Materials, EarlyView.
We introduce a fully edible thermoelectric–electrochromic platform that harvests heat from food and converts it into a visible color change. N‐type and p‐type hydrogel thermoelectric generators connected in series power anthocyanin‐based electrochromic displays, demonstrating the feasibility of safe, biodegradable, ingestible systems for on‐food ...
Antonia Georgopoulou, Bokeon Kwak, Dario Floreano, Esther Amstad   +3 more
wiley   +1 more source

Strain‐Programmable Luminescent Adhesive Patch With Tartrazine‐Mediated Optical Skin Clearing for Photochemical Tissue Bonding

Advanced Functional Materials, EarlyView.
We propose a suture‐complementary approach that integrates optical skin clearing with a strain‐programmable luminescent adhesive patch. Hyaluronic acid promotes transdermal delivery of tartrazine to improve optical clearing and stabilizes its interaction with a photosensitizer. Optical clearing increases the penetration depth of visible light into skin,
Seong‐Jong Kim, Kyungjoo Jo, Kwanghyeon Park, Jun Hee Kim, Jong Hyeong Cho, Inhoo Choi, Sei Kwang Hahn   +6 more
wiley   +1 more source

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source