Results 1 to 10 of about 1,185,266 (267)

A Type-Directed Negation Elimination [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations ...
Etienne Lozes
doaj   +4 more sources

Translator from Japanese Sentences to Well-Formed Formulas on an Extended Predicate Logic:CONV

Transactions of the Japanese Society for Artificial Intelligence, 2012
Atsushi Kamijo, Shunsuke Takayanagi, Tsutomu Ishikawa   +2 more
openaire   +4 more sources

Metamorphic titanite–zircon pseudomorphs after igneous zirconolite [PDF]

European Journal of Mineralogy, 2023
The formation of metamorphic zircon after baddeleyite is a well-known reaction that can be used to date the metamorphism of igneous silica-undersaturated rocks. By contrast, metamorphic minerals formed after igneous zirconolite have rarely been reported.
C. L. Urueña, C. Möller, A. Plan
doaj   +1 more source

Peroxy radical chemistry and the volatility basis set [PDF]

Atmospheric Chemistry and Physics, 2020
Gas-phase autoxidation of organics can generate highly oxygenated organic molecules (HOMs) and thus increase secondary organic aerosol production and enable new-particle formation.
M. Schervish, N. M. Donahue
doaj   +1 more source

Correlation between the Surface Undulation and Luminescence Characteristics in Semi-Polar $\left(11\overline{2}2\right)$ InGaN/GaN Multi-Quantum Wells

Nanomaterials, 2023
Surface undulation was formed while growing InGaN/GaN multi-quantum wells on a semi-polar m-plane (1–100) sapphire substrate. Two distinct facets, parallel to 112¯2 and 011¯1, were formed in the embedded multi-quantum wells (MQWs).
Mi-Hyang Sheen, Yong-Hee Lee, Jongjin Jang, Jongwoo Baek, Okhyun Nam, Cheol-Woong Yang, Young-Woon Kim   +6 more
doaj   +1 more source

Differences in microphysical properties of cirrus at high and mid-latitudes [PDF]

Atmospheric Chemistry and Physics, 2023
Despite their proven importance for the atmospheric radiative energy budget, the effect of cirrus on climate and the magnitude of their modification by human activity is not well quantified. Besides anthropogenic pollution sources on the ground, aviation
E. De La Torre Castro, E. De La Torre Castro, E. De La Torre Castro, T. Jurkat-Witschas, A. Afchine, V. Grewe, V. Grewe, V. Hahn, V. Hahn, S. Kirschler, S. Kirschler, M. Krämer, M. Krämer, J. Lucke, J. Lucke, N. Spelten, H. Wernli, M. Zöger, C. Voigt, C. Voigt   +19 more
doaj   +1 more source

Oxygen isotope composition of waters recorded in carbonates in strong clumped and oxygen isotopic disequilibrium [PDF]

Biogeosciences, 2020
Paleoenvironmental reconstructions, which are mainly retrieved from oxygen isotope (δ18O) and clumped isotope (Δ47) compositions of carbonate minerals, are compromised when carbonate precipitation occurs in isotopic disequilibrium.
C. Thaler, A. Katz, M. Bonifacie, B. Ménez, M. Ader   +4 more
doaj   +1 more source

A study of volatility by composition, heating, and dilution measurements of secondary organic aerosol from 1,3,5-trimethylbenzene [PDF]

Atmospheric Chemistry and Physics, 2019
Studies of the volatility distribution of secondary organic aerosol (SOA) from aromatic compounds are limited compared with SOA from biogenic monoterpenes.
K. Sato, Y. Fujitani, S. Inomata, Y. Morino, K. Tanabe, T. Hikida, A. Shimono, A. Takami, A. Fushimi, Y. Kondo, T. Imamura, H. Tanimoto, S. Sugata   +12 more
doaj   +1 more source

Chemical composition of nanoparticles from α-pinene nucleation and the influence of isoprene and relative humidity at low temperature [PDF]

Atmospheric Chemistry and Physics, 2021
Biogenic organic precursors play an important role in atmospheric new particle formation (NPF). One of the major precursor species is α-pinene, which upon oxidation can form a suite of products covering a wide range of volatilities.
L. Caudillo, B. Rörup, M. Heinritzi, G. Marie, M. Simon, A. C. Wagner, T. Müller, T. Müller, M. Granzin, A. Amorim, F. Ataei, R. Baalbaki, B. Bertozzi, Z. Brasseur, R. Chiu, B. Chu, L. Dada, J. Duplissy, J. Duplissy, H. Finkenzeller, L. Gonzalez Carracedo, X.-C. He, V. Hofbauer, W. Kong, W. Kong, H. Lamkaddam, C. P. Lee, B. Lopez, N. G. A. Mahfouz, V. Makhmutov, V. Makhmutov, H. E. Manninen, R. Marten, D. Massabò, R. L. Mauldin, R. L. Mauldin, B. Mentler, U. Molteni, U. Molteni, U. Molteni, A. Onnela, J. Pfeifer, M. Philippov, A. A. Piedehierro, M. Schervish, W. Scholz, B. Schulze, J. Shen, D. Stolzenburg, Y. Stozhkov, M. Surdu, C. Tauber, Y. J. Tham, P. Tian, A. Tomé, S. Vogt, M. Wang, D. S. Wang, S. K. Weber, A. Welti, W. Yonghong, W. Yusheng, M. Zauner-Wieczorek, U. Baltensperger, I. El Haddad, R. C. Flagan, A. Hansel, A. Hansel, K. Höhler, J. Kirkby, J. Kirkby, M. Kulmala, M. Kulmala, M. Kulmala, K. Lehtipalo, K. Lehtipalo, O. Möhler, H. Saathoff, R. Volkamer, P. M. Winkler, N. M. Donahue, A. Kürten, J. Curtius   +82 more
doaj   +1 more source

Making Sense of Helices: Right and Wrong Models in Science and Art

Molecular Frontiers Journal, 2023
Helices are ubiquitous in art and nature. Independent of their pitch and sense of rotation (handedness), helices in sculpture, painting, architecture, scientific illustrations, conference announcements, logos, and advertising are eye-catching and ...
Martin Egli, Shuguang Zhang
doaj   +1 more source