Results 181 to 190 of about 4,158,085 (300)

Characterization and Reporting Protocols for Structural Power Composites: A Perspective

Advanced Energy Materials, EarlyView.
Here, the issues for testing and reporting on structural power composites are described: multifunctional materials that can carry loads while providing electrical energy. As well as proposing best practice, the development of a “universal coupon” is recommended for studying these materials and any interactions that occur between the two functions ...
Emile S. Greenhalgh, Sang Nguyen, Leif E. Asp, Alfredo Bici, Alexander Bismarck, Derrick Fam, Mats Johansson, Göran Lindbergh, Jodie L. Lutkenhaus, Milo S. P. Shaffer, Natasha Shirshova, Madhavi Srinivasan, Johanna Xu, Dan Zenkert   +13 more
wiley   +1 more source

Unconstitutionality of the income tax calculation when offsetting foreign taxes with regard to the exemption of the subsistence minimum? A quantitative analysis. [PDF]

Heliyon
Kollruss T.
europepmc   +1 more source

A normal form for natural deductions in a type theory with realizing terms

, 2018
Helmut Schwichtenberg
openalex   +2 more sources

Natural deduction rules for modal logics. [PDF]

, 1972
Thomas W. Satre
openalex   +1 more source

Harnessing Solar Energy for Ammonia Synthesis from Nitrogen and Seawater Using Oxynitride Semiconductors

Advanced Energy Materials, EarlyView.
In this work, the challenging green ammonia evolution is addressed by developing a photothermal system that utilizes nitrogen and natural seawater under simulated solar irradiation, employing ruthenium‐doped barium tantalum oxynitride semiconductors.
Yiyang Li, Mengqi Duan, Simson Wu, Robert A. Taylor, Shik Chi Edman Tsang   +4 more
wiley   +1 more source

The effects of the diagnosis-intervention packet payment reform in China: evidence from Guangzhou. [PDF]

Front Public Health
Wang Y, Huang X, Lu N, Xu X, Wang L, Du W, Xu W.   +6 more
europepmc   +1 more source

Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation)

, 2009
Yuuki Andou
openalex   +1 more source

A Brief History of Natural Deduction

, 1999
Francis Jeffry Pelletier
openalex   +2 more sources

Process Parameter Specification and Control in Solution Processing of Hybrid Perovskite Photovoltaics: From Domain‐Specific Jargon to Evidence‐Based, Unambiguous Description of Experimental Workflows

Advanced Energy Materials, EarlyView.
Hybrid perovskite solar cells are nearing commercial mass production. Therefore, academic research must tackle the remaining barriers for their large‐scale rollout. One of these is consistent manufacturing yield. Here, evidence is reviewed for the impact of process paramters on perovskite solution processes, finding a great potential for better ...
Simon Ternes, Christoph J. Brabec, Luigi A. Castriotta, Thomas Exlager, Karen Forberich, Alessio Gagliardi, Michael Götte, Florian Mathies, Sinclair Ryley Ratnasingham, Lennart K. Reb, Eva Unger, Aldo Di Carlo   +11 more
wiley   +1 more source

Challenges to Accounting Education in Higher Economic Education

Икономика и компютърни науки
Accounting can be referred to as the "language" of business. For the needs of management, it provides comprehensive and exhaustive information within the enterprise about the tangible, labor, financial and natural resources, and their utilization.
Nedelin Markov, Nadka Kostadinova
doaj