Results 81 to 90 of about 70,024 (314)
Orbital Geometry‐Governed Response of Pressure‐Tunable Quantum Defects in hBN
Advanced Functional Materials, EarlyView.Defects in hBN act as ultrasensitive quantum manometers when the energy of the intradefect optical transitions is modified by lattice compression. The orbital geometry of the electron wave functions governs how electron hopping and Coulomb interactions react uniquely to the reduction of the van der Waals gap and in‐plane compression, leading to robust ...
Magdalena Grzeszczyk +6 more
wiley +1 more source
, 2002 In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple interpreter written in tabled logic programming.
Massart, Thierry, Leuschel, Michael
core
Tax analysis of the Corporate Income Tax
Путеводитель предпринимателя, 2020 This article considers the method of calculation of the corporate income tax taking into account adjustments, deductions, reductions connected with its calculation.
doaj
Does Neoclassical Econometrics Have a Scientific Foundation? A Critique Based on Hollis and Nell
Revue Interventions Économiques, 2014 The 2008 global financial crisis has rekindled the debate over the scientific foundations of neo-Classical econometrics. Neo-Classical based econometrics interprets whatever it sees as individuals choosing with some degree of (perhaps bounded ...
Karim Errouaki
doaj +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 +6 more
wiley +1 more source
Chapter 2 Linear Natural Deduction
, 2007 approach leads to a clear conceptual priority: we rst need to understand the notions of judgment and evidence for judgments, then the notions of proposition and veri cations of propositions to understand truth.
Linear Natural Deduction
core
Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]
, 2009 We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core
A Holistic Stabilization of the Anode in Lithium‐Sulfur Batteries Through a Ternary Alloy Fusion
Advanced Functional Materials, EarlyView.LiTeAl anodes fabricated through a scalable thermal fusion technique holistically addresses the stability issues faced by lithium‐metal anodes in lithium–sulfur batteries. Aluminum forming a skeletal network with lithium suppresses dendrite growth and enhances energy density, while tellurium forming a robust SEI facilitates Li+‐ion flow.
Akhil Shenoy, Arumugam Manthiram
wiley +1 more source
Current Estate Planning Topics - Marital Deduction Pitfalls: Part I
, 1991 Full-text available at SSRN. See link in this record.This article addresses the deduction for marital transfers under the United States estate tax. This is by far the most important deduction under the estate tax, and loss of the deduction can be very ...
Dickinson, Martin B., Jr.
core
, 2014 International audienceThis paper is a survey on Deduction modulo ...
Dowek, Gilles, Gilles Dowek
core