cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Some Bianchi Type Cosmological Models in f(R) Gravity
Creators: name: Shamir, M. Farasat
Publisher: name: arXiv
Year: 2010
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The modified theories of gravity, especially the f(R) gravity, have attracted much attention in the last decade. In this context, we study the exact vacuum solutions of Bianchi type I, III and Kantowski-Sachs spacetimes in the metric version of f(R) gravity. The field equations are solved by taking expansion scalar theta proportional to shear scalar sigma which gives A=B^n, where A and B are the metric coefficients. The physical behavior of the solutions has been discussed using some physical quantities. Also, the function of the Ricci scalar is evaluated in each case.
description: 15 pages, accepted for publication in Astrophys. Space Sci
Additional file 5: of Prediction of plant-derived xenomiRs from plant miRNA sequences using random forest and one-dimensional convolutional neural network models
Creators: name: Zhao, Qi
name: Mao, Qian
name: Zhao, Zheng
name: Dou, Tongyi
name: Wang, Zhiguo
name: Cui, Xiaoyu
name: Liu, Yuanning
name: Fan, Xiaoya
Publisher: name: figshare
Year: 2018
Subjects: subject: Molecular Biology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Plant Biology
subject: FOS: Biological sciences
subject: Virology

description: Table S5. The top 10% most important features evaluated by RF model using mean decrease accuracy (left) and mean decrease Gini (right), respectively. (DOCX 14 kb)
Somatochlora clavata Oguma 1913
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Corduliidae
Somatochlora
Somatochlora clavata

description: 26. Somatochlora clavata Oguma, 1913 Somatochlora clavata Oguma, 1913 c, p. 449, “ Hokkaido (Sapporo)”, ♂; Oguma, 1922, p. 105, “Hokkaido”. This species was originally described from two males: the one labelled “Sapporo, 10. VIII. 1906 ” is selected as lectotype.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 62, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1913 a: (Japanese Calopterygidae). Dobutsugaku-Zasshi (Zool. Mag., Tokyo), 25, (296), 307 - 321 (June, 1913) (In Japanese).", "Oguma, K. 1913 c: (Japanese Corduliinae). Dobutsugaku-Zasshi (Zool. Mag., Tokyo), 25, (299), 439 - 454, 1 pl. (Sep. 1913) (In Japanese).", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
Somatochlora japonica Matsumura 1911
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Corduliidae
Somatochlora
Somatochlora japonica

description: 27. Somatochlora japonica Matsumura, 1911 Somatochlora japonica Matsumura, 1911, p. 8, “Sachalia (Krestoi; Tonnaicha; Todoroki”. Three males and two females were used as cotype by Matsumura: the male labelled “Krestoi, Sachalin, 29. VII ” is selected as lectotype.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 62, DOI: 10.5281/zenodo.3516659
description: {"references": ["Matsumura, S. 1911: Erster Beitrag zur Insektenfauna von Sachalien. Journ. Coll. Agr. Tohoku Imp. Univ., IV, 1, 1 pl."]}
Using virtual human for an interactive customer-oriented constrained environment design
Creators: name: Ma, Liang
name: Ma, Ruina
name: Chablat, Damien
name: Bennis, Fouad
Publisher: name: arXiv
Year: 2010
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: For industrial product design, it is very important to take into account assembly/disassembly and maintenance operations during the conceptual and prototype design stage. For these operations or other similar operations in a constrained environment, trajectory planning is always a critical and difficult issue for evaluating the design or for the users' convenience. In this paper, a customer-oriented approach is proposed to partially solve ergonomic issues encountered during the design stage of a constrained environment. A single objective optimization based method is taken from the literature to generate the trajectory in a constrained environment automatically. A motion capture based method assists to guide the trajectory planning interactively if a local minimum is encountered within the single objective optimization. At last, a multi-objective evaluation method is proposed to evaluate the operations generated by the algorithm
A female refugee’s investment in multiple literacies post-migration
Creators: name: Crosbie, Kathryn Louise
Publisher: name: University of British Columbia
Year: 2016

description: As the immigration and refugee intake rates continue to rise in Canada, English Language Learning (ELL) schools, centres and programs strive to keep pace with the demand. ELL educators are being propelled to think and teach in new ways that meet the needs of learners living in a digital age. Some learners arrive with competency in English language literacies and/or digital literacies, while others do not. For learners who possess minimal traditional print based and/or digital literacies, integrating into modern Canadian society can prove extremely challenging. This case study explores one such learner’s engagement with ELL and other literacies in a multicultural, modern urban centre on the West Coast of Canada. Semi-structured interviews, informal observations and conversations were the methods used to provide a holistic overview of the participant’s language learning process. The findings of this research demonstrate how identity is linked to investment in ELL as a means to increase economic, cultural and/or social capital. When the dominant ideology positioned the participant as an outsider because of her low level of proficiency in spoken English, she was prevented access to meaningful employment and denied a sense of independence, leading her to be creative in constructing an “imagined identity” that would better her life chances. Similarly, she was silenced and excluded from online spaces and membership in a discourse community because of a lack of digital literacy. The participant also struggled to “read” the sociocultural literacy of her new environment and felt positioned as an outsider, unable to judge situations and people accurately. While her English language literacy development was limited, relative to her classmates, over the course of her two-year study, she did eventually develop the sociocultural literacy necessary to evaluate her life prospects and construct a new identity, which led to an increase in her symbolic capital and overall well-being.
High energy resummation of direct photon production at hadronic colliders
Creators: name: Diana, Giovanni
name: Rojo, Juan
name: Ball, Richard D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Direct photon production is an important process at hadron colliders, being relevant both for precision measurement of the gluon density, and as background to Higgs and other new physics searches. Here we explore the implications of recently derived results for high energy resummation of direct photon production for the interpretation of measurements at the Tevatron and the LHC. The effects of resummation are compared to various sources of theoretical uncertainties like PDFs and scale variations. We show how the high--energy resummation procedure stabilizes the logarithmic enhancement of the cross section at high--energy which is present at any fixed order in the perturbative expansion starting at NNLO. The effects of high--energy resummation are found to be negligible at Tevatron, while they enhance the cross section by a few percent for $p_T \lsim 10$ GeV at the LHC. Our results imply that the discrepancy at small $p_T$ between fixed order NLO and Tevatron data cannot be explained by unresummed high--energy contributions.
description: 15 pages, 7 figures
IJAS-081220-53844812_12_23_4_IJAS.pdf
Creators: name: Dechamma, Shivani
name: Krishnamurthy Bommaiah
name: Shashidhara B M
name: Vasantha Kumari R
Publisher: name: figshare
Year: 2020
Subjects: subject: 50203 Environmental Education and Extension
subject: FOS: Earth and related environmental sciences

description: The study was conducted in purposively selected Mysuru district of Karnataka state because largest number of crop specific FPOs (10 FPOs) are operating in thedistrict out of 182 FPOs in Karnataka state. The two organisations Varuna Horticulture Farmer Producer Company Limited (VHFPC) and Arkeshwara Horticulture Farmer ProducerCompany Limited (AHFPC) were purposively selected. The respondents for the study were the members in the organisations. The list of organisational members was taken fromeach organisation growing Banana and Tomato crop thus 60 respondents were selected by simple random sampling technique. Thus, a total of 120 member farmers wereselected for the study. Ex-post-facto research design was used for the present study. The collected data was analyzed using mean, frequency, standard deviation, With respect tothe personal characteristic of VHFPC members, it was found that majority half (70.00 %) of them belonged to middle age group, had high school education (35.00 %) andbelonged to medium sized family (45.00 %) further they had low farming experience (38.33 %), and belonged to big farmers (60.00 %) category. With respect to the personalcharacteristic of AHFPC members it was found that over half (56.67 %) of them belonged to young age group, had high school education (33.33 %), belonged to medium sizedfamily (65.00 %), had low farming experience (45.00 %), and belonged to small farmers (46.67 %).
Somatochlora viridiaenea Selys 1883
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Corduliidae
Somatochlora
Somatochlora viridiaenea

description: 28. Somatochlora viridiaenea atrovirens Selys, 1883 = Somatochlora vividiaenea magna Oguma, 1913 Somatochlora viridiaenea magna Oguma, 1913 c, p. 451 [Honshu (northern part)]. Judging from the original description the cotypes seem to be one male and several females. I found, in 1935, one male and three females as cotype of this subspecies in the collection. The single male specimen labelled “Dokan-yama, 1. VIII. 1901 ” is now selected as lectotype. Somatochlora viridiaenea was described by Uhler (1858) based on a single female specimen taken from Hakodate, Hokkaido. Later, Selys (1883) described S. atrovirens based on several male specimens from “Japon”. The possibility that both the species are identical has been suggested by the later authors, Foerster (1909) and Oguma (1913 c); Foerster mentioned the other possibility that atrovirens would represent the Honshu-race [“Hondorasse”] of viridiaenea which is bigger than the Hokkaido race. But Oguma named the Honshu race as magna. On examining the Selysian types of atrovirens I found that the type label is given to a large-sized specimen, therefore atrovirens Selys may have priority over magna Oguma.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 62, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1913 a: (Japanese Calopterygidae). Dobutsugaku-Zasshi (Zool. Mag., Tokyo), 25, (296), 307 - 321 (June, 1913) (In Japanese).", "Oguma, K. 1913 c: (Japanese Corduliinae). Dobutsugaku-Zasshi (Zool. Mag., Tokyo), 25, (299), 439 - 454, 1 pl. (Sep. 1913) (In Japanese).", "Uhler, P. R. 1858: Descriptions of new species of neuropterous insects, collected by the North Pacific Exploring Expedition under Capt. Rogers. Proc. Acad. Nat. Sci. Philad., 80, 29 - 31.", "Foerster, F. 1909: Beitrage zu den Gattungen und Arten der Libellen. Jahrb. Nassauisch. Vereins f. Naturkunde in Wiesbaden, 211 - 235."]}
title: Нестабильные системы: проблема однородности групп
title: Unstable Systems: The Homogeneity Problem of Groups
Creators: name: Григоренко, Виолетта Вячеславовна
name: Горбунов, С. В.
name: Хвостов, Д. Ю.
name: Касаткин, Виктор Викторович
Publisher: name: Издательский центр СурГУ
Year: 2019

description: Нобелевский лауреат I. R. Prigogine, исследователь теории термодинамики неравновесных (нестабильных) систем, в статье «The philosophy of instability», опубликованной в 1989 году, на которую тогда не обратили внимание, поднял проблему изучения, а точнее неизученности нестабильных систем. В рамках новой теории хаоса-самоорганизации мы раскрываем статистическую нестабильность выборок, полученных как от отдельного испытуемого (в неизменном гомеостазе), так и для группы разных испытуемых. Возникает новая проблема потери однородности в группе, состоящей из нестабильных элементов. Предлагаются новые критерии оценки однородности групп, которые выходят за пределы современной детерминистской и стохастической науки. Это требует новых понятий и новых подходов в биомедицине.
description: In 1989, I. R. Prigogine was the first to draw attention to the problem of unstable systems. Nobody paid attention to the article “The philosophy of instability”, although the Nobel laureate devoted the theory of the thermodynamics of non-equilibrium systems to unstable systems. In the framework of the new theory of chaos and self-organization, we reveal the statistical instability of samples obtained both from an individual test subject (in unchanged homeostasis) and for a group of different test subjects. A new problem of loss of homogeneity in the group consisting of unstable elements surfaces. New criteria for assessing the homogeneity of groups that go beyond the limits of modern deterministic and stochastic science are proposed. Therefore, new concepts and new approaches in biomedicine are needed.
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
Creators: name: Wirsing, Martin
name: Bauer, Sebastian S.
name: Schroeder, Andreas
Publisher: name: arXiv
Year: 2010
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building such applications requires not only state-of-the art techniques from artificial intelligence but also sound software engineering methods for facilitating modular design, runtime adaptation and verification of critical system requirements. In this paper we focus on high-level design and analysis, and use the algebraic rewriting language Real-Time Maude for specifying applications in a real-time setting. We propose a generic component-based approach for modeling pervasive user-centric systems and we show how to analyze and prove crucial properties of the system architecture through model checking and simulation. For proving time-dependent properties we use Metric Temporal Logic (MTL) and present analysis algorithms for model checking two subclasses of MTL formulas: time-bounded response and time-bounded safety MTL formulas. The underlying idea is to extend the Real-Time Maude model with suitable clocks, to transform the MTL formulas into LTL formulas over the extended specification, and then to use the LTL model checker of Maude. It is shown that these analyses are sound and complete for maximal time sampling. The approach is illustrated by a simple adaptive advertising scenario in which an adaptive advertisement display can react to actions of the users in front of the display.
description: In Proceedings RTRTS 2010, arXiv:1009.3982
Marina Loukaki, Les Grâces à Athènes : Éloge d'un gouverneur byzantin par Nikolaos Kataphlôron
Creators: name: Giannouli, Antonia
Publisher: name: The Byzantine Review
Year: 2021

description: Marina Loukaki, Les Grâces à Athènes : Éloge d'un gouverneur byzantin par Nikolaos Kataphlôron (Byzantinisches Archiv 36). Berlin – Boston: Walter de Gruyter 2019. XXIX, 206 pp. – ISBN: 978-3-11-063386-3 (€ 102.95)
description: The Byzantine Review, Bd. 3 (2021)
Somatochlora graeseri subsp. aureola Oguma 1913
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Corduliidae
Somatochlora
Somatochlora graeseri
Somatochlora graeseri aureola

description: 29. Somatochlora graeseri aureola Oguma. 1913 Somatochlora borealis aureola Oguma, 1913c, p. 446, “Hokkaido”; Oguma, 1922, p. 104, “Hokkaido”. The cotypes are represented by six specimens (3 ♂ 3♀): the male labelled “Sapporo, 23. VIII. 1907 ” is selected as the lectotype.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 63, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1913 c: (Japanese Corduliinae). Dobutsugaku-Zasshi (Zool. Mag., Tokyo), 25, (299), 439 - 454, 1 pl. (Sep. 1913) (In Japanese).", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
An effective method of calculating the non-Markovianity $\mathcal{N}$ for single channel open systems
Creators: name: He, Zhi
name: Zou, Jian
name: Li, Lin
name: Shao, Bin
Publisher: name: arXiv
Year: 2010
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose an effective method which can simplify the optimization of the increase of the trace distance over all pairs of initial states in calculating the non-Markovianity $\mathcal{N}$ for single channel open systems. For the amplitude damping channel, we can unify the results of Breuer $et$ $al$. [Phys. Rev. Lett. \bf 103\rm, 210401 (2009)] in the large-detuning case and the results of Xu $et$ $al$. [Phys. Rev. A \bf 81\rm, 044105 (2010)] in the resonant case; furthermore, for the general off-resonant cases we can obtain a very tight lower bound of $\mathcal{N}$. As another application of our method, we also discuss $\mathcal{N}$ for the non-Markovian depolarizing channel.
description: 7 pages, 3 figures,to be published in Phys. Rev. A
Development of a numerical optimization methodology for the aluminum alloy wheel casting process
Creators: name: Duan, Jianglan
Publisher: name: University of British Columbia
Year: 2016

description: Aluminum alloy wheel manufacturers face on-going challenges to produce high quality wheels and increase production rates. Improvements are generally realized by modifying the wheel and die designs and continually improving the manufacturing processes. Conventionally, these improvements have been realized by trial-and-error, building on past practice or experience. This approach typically results in long design lead times, high scrap rates and less than optimal production rates. The work presented in this study seeks to reduce the reliance on trial-and-error techniques by developing a new methodology to optimize the wheel casting process through the combination of a casting process model and open-source numerical optimization algorithms. The casting process model utilized in this method was developed in the commercial finite element package Abaqus™ and was validated through plant trials. An open source optimization module Python Scipy.optimize has been employed to perform the optimization. The work focuses on optimizing the cooling conditions in a low-pressure die-casting (LPDC) process used to produce automotive wheels. Specifically cooling channel timing was selected because of the critical role heat extraction plays on casting quality, both in terms of dendrite cell size and the formation and growth of porosities. The methodology was first developed with a series of test problems ending with an L-shaped geometry that employed the major features of the wheel casting process. The most suitable approach, based on the test problems, was then applied to the optimization of a 2-D axisymmetric prototype wheel die structure. The outcome revealed that numerical optimization coupled with a state-of-the-art process model has the potential to dramatically improve the method of determining cooling channel timings while also improving the product quality and process performance. The utility of the optimization methodology was found to depend on the accuracy of the casting process model. Significant challenges remain before widespread implementation of this methodology can occur in industry. Possible directions for further developments have been identified. In summary, this study represents one of the initial applications of a numerical optimization methodology to wheel casting, and that with further development; it will become an effective tool for process and die design optimization.
Boninthemis insularis Matsumura 1913
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Boninthemis
Boninthemis insularis

description: 30. Boninthemis insularis (Matsumura, 1913) Neothemis insularis Matsumura, 1913, p. 53, (Ogasawara-jima); Oguma, 1922, p. 102, “Bonin Islands”. There are ten males and four females, all of which undoubtedly represent the cotypes. One male specimen labelled “Ogasawara, 20. VIII. 1905 ” is selected as hololectotype. Cowley (1934) and Lieftinck (in litt.) are of opinion that Boninthemis should be amalgamated in Lyriothemis.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 63, DOI: 10.5281/zenodo.3516659
description: {"references": ["Matsumura, S. 1913: Thousand Insects of Japan, Addittamenta, 1, Tokyo.", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi.", "Cowley, J. 1934: Notes on some generic names of Odonata. Entom. Month. Mag., 70, 240 - 247."]}
The first deep X-ray and optical observations of the closest isolated radio pulsar
Creators: name: Tiengo, A.
name: Mignani, R.
name: De Luca, A.
name: Esposito, P.
name: Mereghetti, S.
name: Pellizzoni, A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: With a distance of 170 pc, PSR J2144-3933 is the closest isolated radio pulsar currently known. It is also the slowest and least energetic radio pulsar; indeed, its radio emission is difficult to account for with standard pulsar models, since its position in the P-Pdot diagram is far beyond typical "death lines". Here we present the first deep X-ray and optical observations of PSR J2144-3933, performed in 2009 with XMM-Newton and the VLT, from which we can set one of the most robust upper limits on the surface temperature of a neutron star. We have also explored the possibility of measuring the neutron star mass from the gravitational lensing effect on a background optical source.
description: 4 pages, 3 figures; to appear in the Proceedings of the Pulsar Conference 2010, Chia, Sardinia (Italy), 10-15 October 2010
Lyriothemis tricolor Ris 1916
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Lyriothemis
Lyriothemis tricolor

description: 31. Lyriothemis tricolor Ris, 1916 = Lyriothemis flava Oguma, 1922 Lyriothemis flava Oguma, 1922, p. 101, “Formosa” (syn. nov.). The male labelled “Gyochi, 1. X. 1908 ” and the female labelled “Formosa” were used by Oguma for the original description, consequently these specimens represent the hololectotype and the allolectotype respectively. L. flava is, however, clearly a synonym of L. tricolor Ris (1916, p. 1063, Type: 1 ♂ 1 ♀ Sokotsu, Formosa, V. 1912, H. Sauter).
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 63, DOI: 10.5281/zenodo.3516659
description: {"references": ["Ris, F. 1916: Libellulinen, Coll. Zool. Selys-Longchamps, Fasc. XlV-b.", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Creators: name: AlTurki, Musab
name: Meseguer, José
Publisher: name: arXiv
Year: 2010
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, including a rewriting logic semantics developed by the authors. Orc also has a fully fledged implementation in Java with functional programming features. However, as with descriptions of most distributed languages, there exists a fairly substantial gap between Orc's formal semantics and its implementation, in that: (i) programs in Orc are not easily deployable in a distributed implementation just by using Orc's formal semantics, and (ii) they are not readily formally analyzable at the level of a distributed Orc implementation. In this work, we overcome problems (i) and (ii) for Orc. Specifically, we describe an implementation technique based on rewriting logic and Maude that narrows this gap considerably. The enabling feature of this technique is Maude's support for external objects through TCP sockets. We describe how sockets are used to implement Orc site calls and returns, and to provide real-time timing information to Orc expressions and sites. We then show how Orc programs in the resulting distributed implementation can be formally analyzed at a reasonable level of abstraction by defining an abstract model of time and the socket communication infrastructure, and discuss the assumptions under which the analysis can be deemed correct. Finally, the distributed implementation and the formal analysis methodology are illustrated with a case study.
description: In Proceedings RTRTS 2010, arXiv:1009.3982
Additional file 1 of ERF49 mediates brassinosteroid regulation of heat stress tolerance in Arabidopsis thaliana
Creators: name: Chen, Xia
name: Xue, Huidan
name: Zhu, Liping
name: Wang, Huiqin
name: Long, Hao
name: Zhao, Jun
name: Meng, Funing
name: Liu, Yunfei
name: Ye, Yuan
name: Luo, Xiaomin
name: Liu, Zhi
name: Xiao, Guanghui
name: Zhu, Shengwei
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Plant Biology

description: Additional file 1: Figure S1. Expression analysis of BZR1 and ERF49 in different tissues. Figure S2. Relative expression level of HSPs, HSFs and DREB2A in ERF49 transgenic lines. Figure S3. Bioinformatics analysis for binding of BZR1 to the ERF49 promoter. Figure S4. The analysis of hypocotyl elongation in the ERF49 transgenic plants with 2, 4-eBL treatment. Figure S5. Dominant-negative ERF49 increases thermotolerance in bzr1-1D. Figure S6. Thermotolerance analysis of ERF49 transgenic lines in the presence of 2, 4-eBL and BRZ. Table S1. Primers used in this study.
Amorphous Precursors of Crystallization during Spinodal Decomposition
Creators: name: Gomez, Leopoldo R.
name: Vega, Daniel A.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: A general Landau's free energy functional is used to study the dynamics of crystallization during liquid-solid Spinodal Decomposition (SD). The strong length scale selectivity imposed during the early stage of SD induces the appearance of small precursors for crystallization with icosahedral order. These precursors grow in densely packed clusters of tetrahedra through the addition of new particles. As the average size of the amorphous nuclei becomes large enough to reduce geometric frustration, crystalline particles with a body center cubic symmetry (bcc) heterogeneously nucleates on the growing clusters. The volume fraction of the crystalline phase is strongly dependant on the depth of quench. At deep quenches, the SD mechanism produces amorphous structures arranged in dense polytetrahedral aggregates.
description: 5 pages, 4 figures, submitted to Phys. Rev. E
Brachydiplax chalybea subsp. flavovittata Ris 1911
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Brachydiplax
Brachydiplax chalybea
Brachydiplax chalybea flavovittata ris, 1911

description: 32. Brachydiplax chalybea flavovittata Ris, 1911 = Planiplax okinavensis Oguma, 1922 Planiplax okinavensis Oguma, 1922, p. 100, “Okinawa (Loochoo)”, ♂. (syn. nov.). The single male specimen labelled “Okinawa, VIII. ’02” is supposed as the type material. Today B. chalybea flavovittata is, in our limit, only exclusively known from two small islands, Minami-o-agari-jima (South Borodino Island) and Kita-o-agari-jima (North Borodino Island) near Okinawa Island. In Asiatic continent this subspecies is known as north as the river Yantzekiang.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 63, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
Polar codes for the two-user multiple-access channel
Creators: name: Sasoglu, Eren
name: Telatar, Emre
name: Yeh, Edmund
Publisher: name: arXiv
Year: 2010
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Arikan's polar coding method is extended to two-user multiple-access channels. It is shown that if the two users of the channel use the Arikan construction, the resulting channels will polarize to one of five possible extremals, on each of which uncoded transmission is optimal. The sum rate achieved by this coding technique is the one that correponds to uniform input distributions. The encoding and decoding complexities and the error performance of these codes are as in the single-user case: $O(n\log n)$ for encoding and decoding, and $o(\exp(-n^{1/2-ε}))$ for block error probability, where $n$ is the block length.
description: 12 pages. Submitted to the IEEE Transactions on Information Theory
Deielia phaon Selys 1883
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Deielia
Deielia phaon

description: 33. Deielia phaon (Selys, 1883) — Deielia phaon brevistigma Oguma, 1915 Deielia phaon brevistigma Oguma, 1915a, p. 50 (Formosa); Oguma, 1922, p. 100, “Formosa”. Oguma separated the Formosan form as a distinct subspecies from the type form mainly by the smaller body-size. Until a more comprehensive investigation would be made I treat it as D. phaon. The syntypes of brevistigma are represented by three males and one heterochromatic female: the male bearing the label “Shirin, 31. VII. ” is selected as lectotype.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 63, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1915 a: Key to genera, species and subspecies of the Libellulidae of Japan. Entom. Mag., Kyoto, 1, (2), 41 - 54 (In Japanese). \u25a0", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
Creators: name: Bae, Kyungmin
name: Ölveczky, Peter Csaba
Publisher: name: arXiv
Year: 2010
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the synthesized model in Real-Time Maude, have been integrated into Ptolemy II, enabling a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude.
description: In Proceedings RTRTS 2010, arXiv:1009.3982
Quantum structural phase transition in chains of interacting atoms
Creators: name: Shimshoni, Efrat
name: Morigi, Giovanna
name: Fishman, Shmuel
Publisher: name: arXiv
Year: 2010
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A quasi one--dimensional system of trapped, repulsively interacting atoms (e.g., an ion chain) exhibits a structural phase transition from a linear chain to a zigzag structure, tuned by reducing the transverse trap potential or increasing the particle density. Since it is a one dimensional transition, it takes place at zero temperature and therefore quantum fluctuations dominate. In [Fishman, et al., Phys. Rev. B 77, 064111 (2008)] it was shown that the system close to the linear-zigzag instability is described by a $ϕ^4$ model. We propose a mapping of the $ϕ^4$ field theory to the well known Ising chain in a transverse field, which exhibits a quantum critical point. Based on this mapping, we estimate the quantum critical point in terms of the system parameters. This estimate gives the critical value of the transverse trap frequency for which the quantum phase transition occurs, and which has a finite, measurable deviation from the critical point evaluated within the classical theory. A measurement is suggested for atomic systems which can probe the critical trap frequency at sufficiently low temperatures T. We focus in particular on a trapped ion system, and estimate the implied limitations on T and on the interparticle distance. We conclude that the experimental observation of the quantum critical behavior is in principle accessible.
description: 12 pages, 3 figures
Sympetrum danae Sulzer 1776
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Sympetrum
Sympetrum danae

description: 34. Sympetrum danae (Sulzer, 1776)  = Sympetrum arcticum Matsumura, 1911 Sympetrum arcticum Matsumura, 1911, p. 7, “Sachalin (Otasan); Hokkaido (Kushiro)”. The single female specimen taken from Otasan, Sachalin, on which apparently Matsumura’s description has been made, was lost. Of 2 ♂ 4 ♀ from Kushiro three females were remaining, therefore the lectotype is selected from them.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 64, DOI: 10.5281/zenodo.3516659
description: {"references": ["Matsumura, S. 1911: Erster Beitrag zur Insektenfauna von Sachalien. Journ. Coll. Agr. Tohoku Imp. Univ., IV, 1, 1 pl."]}
How well do plant functional traits and leaf-litter traits predict rates of litter decomposition?
Creators: name: Zukswert, Jenna Michelle
Publisher: name: University of British Columbia
Year: 2016

description: Foliar functional traits have been shown to strongly co-vary with each other and with rates of litter decomposition, demonstrating an “after-life effect” of foliar traits on ecosystem processes. Leaf-litter traits are often used to indicate substrate quality in decomposition studies. Chemical traits have been studied more extensively in the context of decomposition than physical traits such as specific leaf area (SLA) and leaf toughness, which impart information on litter structure and decomposer access. I investigated relationships among foliar and litter traits, and between traits and early mass-loss, in 14 plant species native to British Columbia. Both physical and chemical traits were measured in foliage and leaf litter of each species. Foliar traits novel to this kind of study include cuticle thickness and distance to lumen (DTL); novel litter traits include leaching loss and water uptake after 2 and 24 hours. Decomposition, as net proportion of mass lost over time, was measured in litterbags installed in a temperate rain forest at the University of British Columbia Farm in Vancouver. Mass loss was divided into two phases: Phase I from 0 to 3 months, and Phase II from 3 to 12 months. Foliar traits co-varied in ways predicted by the leaf economics spectrum hypothesis, and litter traits similarly co-varied. Trait-based relationships among species differed when using foliar traits and using litter traits, suggesting that the same traits measured in foliar and litter impart different meaning in the context of decomposition. Phase I was best predicted by leaching loss and litter traits, suggesting that leaching dominates Phase I, and Phase II was best predicted by foliar functional traits such as leaf dry matter content and nitrogen that relate to relative mesophyll abundance, suggesting that decomposer activity dominates Phase II. Physical traits predicted mass loss as well or better than chemical traits, and using both types of traits in correlative studies may provide insights into the processes that underlie litter decomposition.
Onosmanones A and B, two novel quinonoid xanthenes from Onosma paniculatum
Creators: name: Quan, Li-Qiu
name: Dai, Wei-Feng
name: Li, Fei
name: Li, Yan-Hong
name: Chen, Xuan-Qin
name: Li, Rong-Tao
name: Li, Hong-Mei
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Biophysics
subject: Physical Sciences not elsewhere classified
subject: Molecular Biology
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Plant Biology

description: Onosmanones A (1) and B (2), two novel quinonoid xanthenes with two geranyl groups, have been isolated from the whole plants of Onosma paniculatum. Their structures were elucidated on the basis of one- and two-dimensional NMR techniques.
Additional file 2: of Prediction of plant-derived xenomiRs from plant miRNA sequences using random forest and one-dimensional convolutional neural network models
Creators: name: Zhao, Qi
name: Mao, Qian
name: Zhao, Zheng
name: Dou, Tongyi
name: Wang, Zhiguo
name: Cui, Xiaoyu
name: Liu, Yuanning
name: Fan, Xiaoya
Publisher: name: figshare
Year: 2018
Subjects: subject: Molecular Biology
subject: Ecology
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: Virology

description: Table S2. Negative samples. (DOCX 50 kb)
A Very High Proper Motion Star and the First L dwarf in the Kepler Field
Creators: name: Gizis, John E.
name: Troup, Nicholas W.
name: Burgasser, Adam J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We report two nearby high proper motion dwarfs of special interest identified using the Preliminary Data Release of the Wide-field Infrared Survey Explorer (WISE) and the Two Micron All-Sky Survey (2MASS). WISEP J191239.91-361516.4 has a motion of 2.1 arcseconds per year. Photometry identifies it as a mid-M dwarf. WISEP J190648.47+401106.8 is a spectroscopically confirmed L1 dwarf in the Kepler Mission field with a motion of 0.48 arcseconds per year. The estimated distance is 17 parsecs. Both lie at relatively low galactic latitudes and demonstrate the possibility of discovering proper motion stars independently of the historic photographic sky surveys.
description: 11 pages, accepted by Astrophysical Journal Letters
Sympetrum parvulum Bartenef 1912
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Sympetrum
Sympetrum parvulum

description: 35. Sympetrum parvulum Bartenef, 1912  = Sympetrum eroticoides Oguma, 1915 Sympetrum eroticoides Oguma, 1915a, p. 49, ♂ ♀; Oguma, 1922, p. 99, ♀. Oguma stated that he examined three (cotype) specimens, but even in 1935 there were only two females referable to his type material. One of the females labelled “Nishinomiya, 12. X. 1913 ” is now fixed as lectotype.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 64, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1915 a: Key to genera, species and subspecies of the Libellulidae of Japan. Entom. Mag., Kyoto, 1, (2), 41 - 54 (In Japanese). \u25a0", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
Additional file 4 of TMPO-AS1 promotes cell proliferation of thyroid cancer via sponging miR-498 to modulate TMPO
Creators: name: Li, Zhenyu
name: Feng, Yun
name: Zhang, Zhen
name: Cao, Xiaozhong
name: Lu, Xiubo
Publisher: name: figshare
Year: 2020
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Hematology

description: Additional file 4. The linear correlation analysis between miR-498 and TMPO-AS1 in thyroid cancer was predicted by starbase database.
Sympetrum gracile Oguma 1915
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Sympetrum
Sympetrum gracile

description: 36. Sympetrum gracile Oguma, 1915 Sympetrum gracile Oguma, 1915a, p. 50; Oguma, 1922, p. 97, “Furumachi; Wakayama; Osaka ”. In 1935 I recognized the cotype series of 8 ♂ 1 ♀, but there is now only one broken female, which should be designated as the lectotype (Nishinomiya, Osaka, 29. IX. 1915).
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 64, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1915 a: Key to genera, species and subspecies of the Libellulidae of Japan. Entom. Mag., Kyoto, 1, (2), 41 - 54 (In Japanese). \u25a0", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
RASOR: An advanced instrument for soft x-ray reflectivity and diffraction
Creators: name: Beale, T. A. W.
name: Hase, T. P. A.
name: Iida, T.
name: Endo, K.
name: Steadman, P.
name: Marshall, A. R.
name: Dhesi, S. S.
name: van der Laan, G.
name: Hatton, P. D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: We report the design and construction of a novel soft x-ray diffractometer installed at Diamond Light Source. The beamline endstation RASOR is constructed for general users and designed primarily for the study of single crystal diffraction and thin film reflectivity. The instrument is comprised of a limited three circle (θ, 2θ, χ) diffractometer with an additional removable rotation (ϕ) stage. It is equipped with a liquid helium cryostat, and post-scatter polarization analysis. Motorised motions are provided for the precise positioning of the sample onto the diffractometer centre of rotation, and for positioning the centre of rotation onto the x-ray beam. The functions of the instrument have been tested at Diamond Light Source, and initial test measurements are provided, demonstrating the potential of the instrument.
description: 10 pages, 9 figures
title: Аддитивные технологии в дизайне и художественной обработке материалов
Creators: name: ELS IPR BOOKS
Publisher: name: Липецкий государственный технический университет, Профобразование
Year: 2021

description: В учебном пособии рассмотрены основы применения аддитивных технологий в дизайне и художественной обработке материалов, описаны оборудование и материалы для ЗD-печати, а также технологический процесс построения модели изделия с использованием компьютерной графики и ЗD-печати. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Учебное пособие будет полезно студентам специальности 15.02.09 «Аддитивные технологии» при изучении дисциплины «Теоретические основы производства изделий с использованием аддитивных технологий». Издание подготовлено на основе ранее выпущенного в 2019 году учебного пособия для высшего образования «Аддитивные технологии в дизайне и художественной обработке материалов».
Sympetrum maculatum Oguma 1915
Creators: name: Syoziro Asahina
Publisher: name: Zenodo
Year: 1961
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Libellulidae
Sympetrum
Sympetrum maculatum

description: 37. Sympetrum maculatum Oguma, 1915 Sympetrum maculatum Oguma, 1915 a, p. 50; Oguma, 1922, p. 98, “Kii (Honshu) ”. The single male type specimen taken in Kii, in 1907, has already been lost when I first examined the collection in 1935.
description: Published as part of Syoziro Asahina, 1961, The Type Specimens of the Odonata in the Entomological Institute, Hokkaido University, pp. 57-65 in Insecta matsumurana 24 on page 64, DOI: 10.5281/zenodo.3516659
description: {"references": ["Oguma, K. 1915 a: Key to genera, species and subspecies of the Libellulidae of Japan. Entom. Mag., Kyoto, 1, (2), 41 - 54 (In Japanese). \u25a0", "Oguma, K. 1922: The Japanese dragonfly-fauna of the family Libellulidae. Deutsch. Ent. Zeitschr. 1922, 96 - 112, 1 pi."]}
title: Бизнес-планирование
Creators: name: ELS IPR BOOKS
Publisher: name: Липецкий государственный технический университет, Профобразование
Year: 2021

description: В учебном пособии изложены теоретические и методические основы осуществления бизнес-планирования как процесса проведения детального анализа сформулированных бизнес-идей, их проверки на объективность и практическую реалистичность воплощения в объективной предпринимательской деятельности. Основное внимание в издании уделено рассмотрению основных разделов бизнес-плана организации, его показателей, методов их расчета, факторов и видов рисков предпринимательства. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для студентов всех специальностей и профессий, учебными планами которых предусмотрено изучение дисциплин «Бизнес-планирование», «Основы предпринимательства и бизнес-планирования».