Results 71 to 80 of about 21,854 (294)
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 +29 more
wiley +1 more source
On specification logics for algebra-coalgebra structures: reconciling reachability and observability [PDF]
, 2002 The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification.
Cirstea, Corina, Corina Cîrstea
core +1 more source
Advanced Science, EarlyView.Correcting the apparent priming effect resolves systematic biases in Asian rice fertilizer nitrogen accounting. Net soil retention drops below 7%, while 48% of fertilizer escapes, inflicting US$98.53 billion in annual reactive‐nitrogen damages. High‐resolution mapping uncovers N‐risk archetypes across 42% of the rice area, delivering a spatially ...
Xiuyun Liu +5 more
wiley +1 more source
The universal Steenrod algebra at odd primes [PDF]
, 2004 The aim of this work is to study the universal Steenrod algebra Qp for odd primes p. An invariant-theoretic description of Qp is given and two families of algebras related to Qp are presented.
LOMONACO, LUCIANO AMITO +1 more
core
Some model-theoretic correspondences between dimension groups and AF algebras
Annals of Pure and Applied Logic, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization
Advanced Science, EarlyView.A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley +1 more source
Advanced Science, EarlyView.We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai +8 more
wiley +1 more source
MODEL THEORY AND DIFFERENTIAL ALGEBRA [PDF]
, 2008 I survey some of the model-theoretic work on differential algebra and related topics. 1 Introduction The origins of model theory and differential algebra, foundations of mathematics and real analysis, respectively, may be starkly different in character ...
core
Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections
Advanced Electronic Materials, EarlyView.The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley +1 more source
Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors
Advanced Electronic Materials, EarlyView.Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko +3 more
wiley +1 more source