Results 41 to 50 of about 153,799 (254)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review

Advanced Science, EarlyView.
Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh, Ki‐bum Lee, Junghyeon Lee, Seunghee Cho, Malkeshkumar Patel, Hangfei Li, Yu Wen, Ye Zhou, Joondong Kim   +8 more
wiley   +1 more source

An exciting Approach to Theoretical Spectroscopy

Advanced Science, EarlyView.
ABSTRACT Theoretical spectroscopy, and more generally, electronic‐structure theory, are powerful concepts for describing the complex many‐body interactions in materials. They cover methods from ground‐state properties to lattice excitations and light‐matter interaction, including time‐resolved variants.
Martí Raya‐Moreno, Alexander Buccheri, Noah Alexy Dasch, Nasrin Farahani, Ignacio Gonzalez Oliva, Andris Gulans, Seokhyun Hong, Manoar Hossain, Hannah Kleine, Martin Kuban, Sven Lubeck, Benedikt Maurer, Pasquale Pavone, Fabian Peschel, Daria Popova‐Gorelova, Lu Qiao, Elias Richter, Santiago Rigamonti, Ronaldo Rodrigues Pela, Maximilian Schebek, Kshitij Sinha, Daniel T. Speckhard, Jan Stutz, Sebastian Tillack, Dmitry Tumakov, Jānis Užulis, Mara Voiculescu, Cecilia Vona, Mao Yang, Claudia Draxl   +29 more
wiley   +1 more source

Liquid Metals in Radio Frequency Applications: A Review of Physics, Manufacturing, and Emerging Technologies

Advanced Electronic Materials, EarlyView.
This paper reviews the physics of liquid metals in RF devices, including the influence of mechanical strain on resonance as well as fabrication methods and strategies for designing tunable and strain‐tolerant inductors, capacitors, and antennas.
Md Saifur Rahman, William J. Scheideler
wiley   +1 more source

Quand le diable écrit et publie. Le littéraire comme pratique sociale dans la correspondance de Surin et La Possession de Loudun

Les Dossiers du GRIHL, 2018
When the devil writes and publishes. Literary practices as social practices in the Correspondence of Surin and the Possession of Lundun. This article analyses how Michel de Certeau uses literature as a social phenomenon on the one hand, and studies on ...
Nicolas Schapira
doaj   +1 more source

Low Participation and Risk Reduction Potential of Supplemental Crop Insurance in the United States

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT Federally subsidized crop insurance is a cornerstone of U.S. farm risk management, yet policies with the greatest share of participation only trigger indemnities after losses exceed 15%. Supplemental insurance was introduced to cover part of this deductible, but participation remains largely unchanged.
Francis Tsiboe, Hunter Biram, Amy Hagerman   +2 more
wiley   +1 more source

Decoration, Deviation, and the Selected Edition: Some Poems of Lionel Johnson (1912)

Cahiers Victoriens et Edouardiens, 2016
With the 1912 publication by Elkin Mathews of a selection from Lionel Johnson’s posthumous works titled Some Poems of Lionel Johnson, the complex representation, marketing, and intellectual inheritance of Victorian, late-Victorian, and fin de siècle ...
Jeremy Valentine Freeman
doaj   +1 more source

Resolving passive heat transfer and phase‐change heat in cryogenic CO2 deposition (Desublimation) from CO2/N2 mixtures

AIChE Journal, EarlyView.
Abstract In cryogenic CO2 desublimation systems where phase change dominates both heat transfer and separation, conventional lumped thermal‐resistance treatments embed interfacial latent heat into an overall heat‐transfer coefficient, obscuring how phase‐change heat is partitioned between the gas phase and the coolant and limiting diagnostic insight ...
Shengwen Xiao, Hiroshi Machida, Koyo Norinaga   +2 more
wiley   +1 more source

LLM‐Based Scientific Assistants for Knowledge Extraction: Which Design Choices Matter?

Advanced Intelligent Discovery, EarlyView.
A comprehensive framework for optimizing Large Language Models in domain‐specific applications is introduced. The LLM Playground integrates Prompt Engineering, knowledge augmentation, and advanced reasoning strategies to enable systematic comparison of architectures and base models.
David Exler, Manuel Raimann, Marc Münker, Maxim Rosin, Joaquin E. Urrutia Gómez, Christof M. Niemeyer, Markus Reischl, Luca Rettenberger   +7 more
wiley   +1 more source

Design, Control, and Clinical Applications of Magnetic Actuation Systems: Challenges and Opportunities

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo, Lidong Yang, Tiantian Xu, Dong Sun   +3 more
wiley   +1 more source