Results 31 to 40 of about 188,837 (207)
An Extensible Ad Hoc Interface between Lean and Mathematica
, 2017 We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our ...
Lewis, Robert Y.
core +1 more source
S@M, a Mathematica Implementation of the Spinor-Helicity Formalism [PDF]
, 2007 In this paper we present the package S@M (Spinors@Mathematica) which implements the spinor-helicity formalism in Mathematica. The package allows the use of complex-spinor algebra along with the multi-purpose features of Mathematica.
Anastasiou +138 more
core +1 more source
Uncovering the Origin of Efficiency Roll‐Off in TADF OLEDs
Advanced Functional Materials, EarlyView.OLEDs based on thermally activated delayed fluorescent (TADF) materials often suffer from a severe drop in efficiency at high brightness levels. This work presents a technique to uncover the source of this efficiency drop, and quantifies the exciton‐exciton and exciton‐polaron annihilation processes responsible for efficiency losses in our TADF OLEDs ...
Liam G. King +3 more
wiley +1 more source
PneumoniaBackground The incidence of pneumococcal disease differs based on demographic and clinical factors, yet the impact of area-level social determinants of health, particularly for children, remains less understood.
Salini Mohanty +14 more
doaj +1 more source
Mathematica code for implementing the aggregate EMF [PDF]
, 2020 This report contains the Mathematica code, used to implement the aggregate EMF spectral density due to several nearby ...
Addie, Ron, Alhasnawi, Mohammad
core
Advanced Science, EarlyView.A new class of biohybrid spheroids is engineered through the self‐assembly of adherent cells and extracellular matrix‐mimetic hydrogel microparticles (microgels). By mimicking a snowballing effect, this approach enables scalable formation of porous, millimeter‐scale spheroids with enhanced cell viability and molecular diffusion.
Zaman Ataie +7 more
wiley +1 more source
Hydrous Carbonatitic Liquids Drive CO2 Recycling From Subducted Marls and Limestones
Geophysical Monograph Series, Page 209-221., 2020 This book is Open Access. A digital copy can be downloaded for free from Wiley Online Library.
Explores the behavior of carbon in minerals, melts, and fluids under extreme conditions
Carbon trapped in diamonds and carbonate-bearing rocks in subduction zones are examples of the continuing exchange of substantial carbon ...
Erwin Schettino, Stefano Poli
wiley +1 more source
Communications MedicineBackground The incidence of pneumonia varies by demographic and clinical factors, but less is known about the influence of area-level social determinants of health. Methods Using Medicare and Medicaid claims, we characterized the relationship between the
Salini Mohanty +13 more
doaj +1 more source
Infinity, 2019 Rapid development of technology for the past two decades has greatly influenced mathematic learning system. Mathematica software is one of the most advanced technology that helps learn math especially in Geometry.
Yanuar Hery Murtianto +3 more
doaj +1 more source
Comments on supersymmetric renormalization in two-dimensional curved spacetime
, 2017 In this technical note we introduce a manifestly gauge-invariant and supersymmetric procedure to regularize and renormalize one-loop divergences of chiral multiplets in two-dimensional N=(2,2) theories in curved spacetime.
Okuda, Takuya
core +1 more source