cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
That’s my type! : Exploring student well-being and planting strategies at UBC
Creators: name: Chan, Caitlyn
name: Partridge, Will
name: Sawada, Anna
name: Sun, Doris
name: Teo, Jeff
name: Yamada, Taishi
Publisher: name: The University of British Columbia
Year: 2022

description: This study attempted to investigate how different planting strategies (dense versus sparse, trees versus shrubs) affected student preferences, moods, and stress levels towards green spaces on UBC Campus. To test this, participants were randomly assigned to view a green space, and answered questions relating to preferences, positive and negative affect, and perceived stress levels. Our survey was distributed online and in-person to random UBC students, and we obtained 212 usable responses. We found that participants preferred trees over shrubs, and favoured higher plant densities. We also found a significant difference in preference scores between participants who viewed dense and sparse trees, but not between participants who viewed dense and sparse shrubs. Unexpectedly, we also found that shrubs evoked more positive affect among participants compared to trees. These findings point towards the influence of functionality in determining preferences, and highlights the possible distinction between implicit and explicit expressions, as well as the independent nature of preferences and emotions. We hope that these findings will contribute toward suggesting novel methods of conducting future research for SEEDS, and support UBC to better understand the value of green spaces amongst students, and consider mixed planting strategies for future development of campus green spaces. Disclaimer: “UBC SEEDS provides students with the opportunity to share the findings of their studies, as well as their opinions, conclusions and recommendations with the UBC community. The reader should bear in mind that this is a student project/report and is not an official document of UBC. Furthermore readers should bear in mind that these reports may not reflect the current status of activities at UBC. We urge you to contact the research persons mentioned in a report or the SEEDS Coordinator about the current status of the subject matter of a project/report.”
KNOWLEDGE MANAGEMENT AS THE BASIS OF HUMAN RESOURCE MANAGEMENT IN INNOVATIVE ORGANIZATIONS
Creators: name: Leszczynski, V.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: innovation
construction enterprises
innovation process
innovation activity

description: The article examines the main theoretical approaches to the definition of the concept of "innovation", "innovative process", identifies the problems that require additional research during the study, substantiates the existing models of innovative activity of enterprises in the construction industry.
Acrobates Desmarest 1817
Creators: name: Harris Abstract, Jamie M.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Diprotodontia
Acrobatidae
Acrobates

description: Acrobates Desmarest, 1817
 Acrobates Desmarest, 1817:405. Type species Didelphis pygmaea Shaw, 1794, by monotypy.
 Acrobata Desmarest, 1821:270. Incorrect subsequent spelling of Acrobates Desmarest, 1817.
 Ascobates Anon, 1839:454. Incorrect subsequent spelling of Acrobates Desmarest, 1817.
 Cercoptenus Gloger, 1841:85. Type species Didelphis pygmaea Shaw, 1794, by monotypy.
 CONTEXT AND CONTENT. Order Diprotodontia, suborder Phalangeriformes, family Acrobatidae. As currently understood, the family Acrobatidae includes 3 arboreal species, the feathertailed glider (Acrobates pygmaeus), the broad-toed feathertail glider (A. frontalis), and the feather-tailed possum (Distoechurus pennatus). The latter is endemic to New Guinea and although it has a distichous tail similar to Acrobates, it lacks a patagium. A. frontalis has only recently been recognized (Jackson and Schouten 2012; Aplin 2013), based on the resurrection of a previously described form (Dromicia frontalis De Vis 1887).
description: Published as part of Harris Abstract, Jamie M., 2015, Acrobates pygmaeus (Diprotodontia: Acrobatidae), pp. 32-44 in Mammalian Species 47 (920) on page 32, DOI: 10.1093/mspecies, http://zenodo.org/record/10086844
EDUCATING COMPASSION TO SECONDARY SCHOOL STUDENTS THROUGH EXPERIENTIAL ACTIVITIES AND CAREER ORIENTATION
Creators: name: Nguyễn Thị Gấm
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: Career oriented activities
secondary schools
compassion
educating
student.

description: In this article, the author has covered the manifestations of compassion presented in the general education program 2018 in Vietnam and the measures of educating secondary school students on compassion through the experiential activities and career orientation.
Late points for random walks in two dimensions
Creators: name: Dembo, Amir
name: Peres, Yuval
name: Rosen, Jay
name: Zeitouni, Ofer
Publisher: name: arXiv
Year: 2003
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 60G50, 82C41 (Primary) 28A80 (Secondary)

description: Let $\mathcal{T}_n(x)$ denote the time of first visit of a point $x$ on the lattice torus $\mathbb {Z}_n^2=\mathbb{Z}^2/n\mathbb{Z}^2$ by the simple random walk. The size of the set of $α$, $n$-late points $\mathcal{L}_n(α)=\{x\in \mathbb {Z}_n^2:\mathcal{T}_n(x)\geq α\frac{4}π(n\log n)^2\}$ is approximately $n^{2(1-α)}$, for $α\in (0,1)$ [$\mathcal{L}_n(α)$ is empty if $α>1$ and $n$ is large enough]. These sets have interesting clustering and fractal properties: we show that for $β\in (0,1)$, a disc of radius $n^β$ centered at nonrandom $x$ typically contains about $n^{2β(1-α/β^2)}$ points from $\mathcal{L}_n(α)$ (and is empty if $β
description: Published at http://dx.doi.org/10.1214/009117905000000387 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Geometric effects on the electronic structure and the bound states in annular corrugated wires
Creators: name: Cheng, Run
name: Wang, Yong-Long
name: Gao, Hao-Xuan
name: Zhao, Hao
name: Wang, Jia-Qi
name: Zong, Hong-Shi
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In the spirit of the thin-layer quantization scheme, we give the effective Hamiltonian describing the noninteracting electrons confined to an annular corrugated surface, and find that the geometrically induced potential is considerably influenced by corrugations. By using numerical calculation, we investigate the eigenenergies and the corresponding eigenstates, and find that the transition energies can be sufficiently improved by adding corrugations. Particularly, the transition energy between the adjacent eigenstates corresponds to energy levels difference based on the wavefunction of annular wire, and the number of the energy levels is equal to the number of corrugations. And the larger magnitude of corrugations is capable of increasing the number of bound states. In addition, the distribution of ground state probability density is reconstructed by the corrugations, and the energy shift is generated.
description: 7 pages, 5 figures (in press)
Doratopsylla
Creators: name: Morrone, Juan J.
name: Acosta, Roxana
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Siphonaptera
Hystrichopsyllidae
Doratopsylla

description: Doratopsylla Jordan & Rothschild, 1912
Doratopsylla Jordan & Rothschild, 1912: 62.
description: Published as part of Morrone, Juan J. & Acosta, Roxana, 2006, A synopsis of the fleas (Insecta: Siphonaptera) parasitizing New World species of Soricidae (Mammalia: Insectivora), pp. 1-30 in Zootaxa 1354 on page 12, DOI: 10.5281/zenodo.273605
Various Ways to Quantify BDMPs
Creators: name: Bouissou, Marc
name: Khan, Shahid
name: Katoen, Joost-Pieter
name: Krcal, Pavel
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Engineering, Finance, and Science (cs.CE)
subject: Mathematical Software (cs.MS)
subject: FOS: Computer and information sciences

description: A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high expressive power, yet it remains readable because its graphical representation stays close to standard fault trees. The size of a BDMP is roughly speaking proportional to the size of the system it models, whereas the size of the CTMC specified by this BDMP suffers from exponential growth. Thus quantifying large BDMPs can be a challenging task. The most general method to quantify them is Monte Carlo simulation, but this may be intractable for highly reliable systems. On the other hand, some subcategories of BDMPs can be processed with much more efficient methods. For example, BDMPs without repairs can be translated into dynamic fault trees, a formalism accepted as an input of the STORM model checker, that performs numerical calculations on sparse matrices, or they can be processed with the tool FIGSEQ that explores paths going to a failure state and calculates their probabilities. BDMPs with repairs can be quantified by FIGSEQ (BDMPs capturing quickly and completely repairable behaviors are solved by a different algorithm), and by the I&AB (Initiator and All Barriers) method, recently published and implemented in a prototype version of RISKSPECTRUM PSA. This tool, based exclusively on Boolean representations looks for and quantifies minimal cut sets of the system, i.e., minimal combinations of component failures that induce the loss of the system. This allows a quick quantification of large models with repairable components, standby redundancies and some other types of dependencies between omponents. All these quantification methods have been tried on a benchmark whose definition was published at the MARS 2017 workshop: the model of emergency power supplies of a nuclear power plant. In this paper, after a recall of the theoretical principles of the various quantification methods, we compare their performances on that benchmark.
description: In Proceedings MARS 2020, arXiv:2004.12403
Modeling the Raft Distributed Consensus Protocol in LNT
Creators: name: Evrard, Hugues
Publisher: name: arXiv
Year: 2020
Subjects: subject: Software Engineering (cs.SE)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: Consensus protocols are crucial for reliable distributed systems as they let them cope with network and server failures. For decades, most consensus protocols have been designed as variations of the seminal Paxos, yet in 2014 Raft was presented as a new, "understandable" protocol, meant to be easier to implement than the notoriously subtle Paxos family. Raft has since been used in various industrial projects, e.g. Hashicorp's Consul or etcd (used by Google's Kubernetes). The correctness of Raft is established via a manual proof, based on a TLA+ specification of the protocol. This paper reports our experience in modeling Raft in the LNT process algebra. We found a couple of issues with the original TLA+ specification of Raft, which has been corrected since. More generally, this exercise offers a great opportunity to discuss how to best use the features of the LNT formal language and the associated CADP verification toolbox to model distributed protocols, including network and server failures.
description: In Proceedings MARS 2020, arXiv:2004.12403
BIBL IOTECAS ESC0LARES - PROPOSTA PARA UM SISTEMA NACIONAL DE ORGANIZACÃO
Creators: name: Santos, Maria Fernanda Pais
Publisher: name: Cadernos BAD
Year: 1976

description: Definem-se o papel e objectivos das bibliotecas escolares e aponta-se uma via para a sua coordenação atraves de serviços nacionais e regionais cujas funções são sumariamente descritas. Chama-se a atenção para a necessidade de pessoal especializado e analisa-se a participação e colaboração de alunos e professores. Referem-se as linhas a seguir na constituição do fundo bibliográfico e seu tratamento técnico e conclui-se pela urgência de sensibilização e dinamização de professores, alunos e pessoal encarregado da biblioteca.
description: Cadernos BAD, N.º 2/4 (1976)
Doratopsylla blarinae Fox 1914
Creators: name: Morrone, Juan J.
name: Acosta, Roxana
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Siphonaptera
Hystrichopsyllidae
Doratopsylla
Doratopsylla blarinae

description: D. blarinae Fox, 1914
Doratopsylla blarinae Fox, 1914: 11.
Distribution. Canada and USA.
Hosts. Blarina brevicauda, Cryptotis parva, Sorex cinereus, S. fumeus, S. palustris, and Sorex sp. Other hosts. Rodentia: Microtus pinetorum and Peromyscus leucopus (Holland, 1949; Hopkins & Rothschild, 1966; Miller & Benton, 1973; Whitaker, 1974; Benton, 1980; Owen, 1984; Beneski, Jr. & Stinson, 1987; Whitaker & Cudmore, 1987; Whitaker et al., 1994; McCay & Durden, 1996; McCay, 2001; Whitaker, 2004).
description: Published as part of Morrone, Juan J. & Acosta, Roxana, 2006, A synopsis of the fleas (Insecta: Siphonaptera) parasitizing New World species of Soricidae (Mammalia: Insectivora), pp. 1-30 in Zootaxa 1354 on page 12, DOI: 10.5281/zenodo.273605
Isolating vacuum amplitudes in quantum field calculations at finite temperature
Creators: name: Blaizot, Jean-Paul
name: Reinosa, Urko
Publisher: name: arXiv
Year: 2004
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In calculating Feynman diagrams at finite temperature, it is sometimes convenient to isolate subdiagrams which do not depend explicitly on the temperature. We show that, in the imaginary time formalism, such a separation can be achieved easily by exploiting a simple method, due to M. Gaudin, to perform the sum over the Matsubara frequencies. In order to manipulate freely contributions which may be individually singular, a regularization has to be introduced. We show that, in some cases, it is possible to choose this regularization in such a way that the isolated subdiagrams can be identified with analytical continuations of vacuum n-point functions. As an aside illustration of Gaudin's method, we use it to prove the main part of a recent conjecture concerning the relation which exists in the imaginary time formalism between the expressions of a Feynman diagram at zero and finite temperature.
description: 37 pages, 12 figures
SPRING BARLEY PRODUCTIVITY IN DEPENDENCE ON MINERAL NUTRITION
Creators: name: Zabarna, T.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: barley
precursor
mineral fertilizers
height
density
individual productivity.

description: Considering the sown areas and yields of spring barley out of many cereal crops in Ukraine as well as in the area of world agriculture it takes one of the priority places. In general, the sown area of spring barley in the world is about 75 million hectares. In Ukraine it is sown on an area of about 3-5 million hectares. Barley grain is in great demand, it is widely used as a fodder and for food purposes, in addition it is used for the brewing industry as an indispensable raw material. According to the results of the research it was established that barley is a very valuable agricultural crop. We have determined that more effective conditions for preservation of spring barley plants in the crop will be under the condition of introducing mineral fertilizers in the dose of N90P60K60 into the pre-sowing cultivation and when growing after winter rape predecessor. Under these conditions, the density of plants at the time of harvesting ripeness was 275 pcs / M2, and the survival rate was 68.8%. Nitrogen fertilizers N60 applied during pre-sowing cultivation on the variants with phosphorous-potassium nutrition (P60K60) ensured the height of spring barley plants at the heading stage, which was 38 cm after rape, 37 cm after maize and 35 cm after sunflower.
Formalising the Optimised Link State Routing Protocol
Creators: name: Barry, Ryan
name: van Glabbeek, Rob
name: Höfner, Peter
Publisher: name: arXiv
Year: 2020
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more precise and verifiable descriptions of protocols. In this paper we use the timed process algebra T-AWN for modelling the Optimised Link State Routing protocol (OLSR) version 2.
description: In Proceedings MARS 2020, arXiv:2004.12403
ENGLISH AS A MEDIUM FOR INSTRUCTION IN TEACHING RUSSIAN TO HUNGARIAN STUDENTS: ANALYSIS OF MULTILINGUAL EDUCATION
Creators: name: Makarova, E.
name: Makarova, E.
name: Marchenko, S.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: subject: Interference
subject: Cultural Studies
subject: FOS: Other humanities
subject: Challenge
subject: Bilingual
subject: Multilingual
subject: Multilingualism
subject: Bilingualism
subject: Globalization
subject: Internationalization
subject: Intercultural Communication
subject: Social Culture

description: The article is justifying the significance of multilingualism. It presents the researchers’ views on bilingualism and multilingualism problem, defines features of teaching Russian to speakers of other languages in the limited language environment. As a result practical recommendations for teaching students are made. Our aim is to identify English language application usefulness and conditions for teaching Russian to speakers of other languages. In the context of international cooperation and trade in Europe, the role of Russian keeps growing. Although time ago Russian was widely spoken in Europe, it is neglected in school education nowadays. On the contrary, English is widely used in European Universities; visiting professors deliver lectures and speakers at International conferences present in English making it an internationally approved academic means of communication. Development of tourism strengthens the position of English in Europe and in the world. The aim of our work is to systematically promote the study of other foreign languages in addition to English that can serve a useful tool in overcoming communication difficulties between a teacher and students, for example, in Hungary, taking into consideration the linguistic fact that Hungarian is one of the most difficult languages in the world along with Chinese, Arabic and Japanese.
Corrodopsylla hamiltoni Traub 1944
Creators: name: Morrone, Juan J.
name: Acosta, Roxana
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Siphonaptera
Ctenophthalmidae
Corrodopsylla
Corrodopsylla hamiltoni

description: C. hamiltoni (Traub, 1944)
Doratopsylla hamiltoni Traub, 1944: 219. Corrodopsylla hamiltoni; Traub, 1950: 84.
Distribution. USA.
Hosts. Blarina brevicauda, Cryptotis parva, and Sorex cinereus. Other hosts. Rodentia: Microtus pennsylvanicus (Traub, 1944; Hopkins & Rothschild, 1966; Whitaker, 1974; Benton & Kelly, 1975; Benton, 1980; Whitaker, 2004).
description: Published as part of Morrone, Juan J. & Acosta, Roxana, 2006, A synopsis of the fleas (Insecta: Siphonaptera) parasitizing New World species of Soricidae (Mammalia: Insectivora), pp. 1-30 in Zootaxa 1354 on page 12, DOI: 10.5281/zenodo.273605
Formal Models of the OSPF Routing Protocol
Creators: name: Drury, Jack
name: Höfner, Peter
name: Wang, Weiyou
Publisher: name: arXiv
Year: 2020
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present three formal models of the OSPF routing protocol. The first two are formalised in the timed process algebra T-AWN, which is not only tailored to routing protocols, but also specifies protocols in pseudo-code that is easily readable. The difference between the two models lies in the level of detail (level of abstraction). From the more abstract model we then generate the third model. It is based on networks of timed automata and can be executed in the model checker Uppaal.
description: In Proceedings MARS 2020, arXiv:2004.12403
STRATEGIC DIRECTIONS OF SOCIAL POLICY IMPLEMENTATION IN UKRAINE
Creators: name: Smaglo, O.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: decentralization
economic growth
socio-economic development
social policy
social sphere
standard of living
social life.

description: The article examines the state and prospects of social policy development in Ukraine. The article analyzes new trends in social policy in the modern world. The essence of social policy as an activity of the state and other public institutions in the social sphere is considered. The article reveals the principles, priorities and goals of social policy. The modern tendencies in realization of social policy are investigated, the basic problems of its realization are defined. The priority of social policy as a factor in increasing the economic growth of the national economy is substantiated. The main attention is paid to the study, analysis and generalization of the experience of social state policy in Ukraine, as well as its priorities and goals. The influence of social policy of other countries on the development of domestic policy in the social sphere is analyzed. The experience of developed countries shows that in the conditions of innovative development the increase of social and individual wealth, as well as the development of society itself is impossible without an active, systematic social policy. The relevance of this topic is that improving the quality of life of the population is an urgent need of modern Ukraine, due to the need to consolidate society, unite efforts of all its strata to achieve social development goals with a focus on achieving high social standards and norms. It is necessary to critically rethink the world experience of forming a new socio-economic space in accordance with national needs and demands, providing for the replacement of old ways of solving social problems with fundamentally new, more effective ones. The main directions of social policy at both state and regional levels are part of the ideology of state building, which aims to ensure human rights and freedoms, integration of society around the national idea, reproduction of social values, social partnership, development of democratic institutions of self-government in society. strategies to stop the trend of moral and spiritual degradation of society. Priority is given to economic development to the detriment of the goals of human development, which in turn has a negative impact on the socio-economic development of the country.
WLS-ENO Remap: Superconvergent and Non-Oscillatory Weighted Least Squares Data Transfer on Surfaces
Creators: name: Li, Yipeng
name: Chen, Qiao
name: Wang, Xuebin
name: Jiao, Xiangmin
Publisher: name: arXiv
Year: 2019
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: Data remap between non-matching meshes is a critical step in multiphysics coupling using a partitioned approach. The data fields being transferred often have jumps in function values or derivatives. It is important but very challenging to avoid spurious oscillations (a.k.a. the Gibbs Phenomenon) near discontinuities and at the same time to achieve high-order accuracy away from discontinuities. In this work, we introduce a new approach, called WLS-ENOR, or Weighted-Least-Squares-based Essentially Non-Oscillatory Remap, to address this challenge. Based on the WLS-ENO reconstruction technique proposed by Liu and Jiao (J. Comput. Phys. vol 314, pp 749--773, 2016), WLS-ENOR differs from WLS-ENO and other WENO schemes in that it resolves not only the O(1) oscillations due to C 0 discontinuities, but also the accumulated effect of O(h) oscillations due to C 1 discontinuities. To this end, WLS-ENOR introduces a robust detector of discontinuities and a new weighting scheme for WLS-ENO near discontinuities. We also optimize the weights at smooth regions to achieve superconvergence. As a result, WLS-ENOR is more than fifth-order accurate and highly conservative in smooth regions, while being non-oscillatory and minimally diffusive near discontinuities. We also compare WLS-ENOR with some commonly used methods based on L 2 projection, moving least squares, and radial basis functions.
EVIDENCE-BASED MEDICINE AS A CLINICAL-PHARMACEUTICAL ASPECT OF THE TRAINING OF PHARMACEUTICAL WORKERS
Creators: name: Drachuk, V.
name: Goroshko О.
name: Kopchuk, T.
name: Shchudrova, T.
name: Dikal, M.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: pharmacists
evidence-based medicine
rational pharmacotherapy
level of evidence.

description: The core principles of evidence-based medicine are to combine individual clinical practice with the best available independent clinical evidence from systematic studies. The globalization of information resources and processes in the medical and pharmaceutical fields makes it possible to ensure the choice of the most effective, safe and rational pharmacotherapy based on the reliable available evidence. The article discusses the main aspects of the integration of evidence-based medicine into the educational process and the need for its use in practice by pharmacists at different levels of the pharmaceutical industry, and as a result, solving the main task of the pharmaceutical industry providing the population with highly effective, safe and affordable medicines.
SUSY GUT Models of Neutrino Mass and mu to e gamma
Creators: name: Barr, S. M.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: It is explained why excessive mu to e gamma can be a problem in SUSY GUT see-saw models of neutrino mass, and ways that this problem might be avoided are discussed.
description: 13 pages, LaTeX, references added
Iterative Variable Reordering: Taming Huge System Families
Creators: name: Dubslaff, Clemens
name: Morozov, Andrey
name: Baier, Christel
name: Janschek, Klaus
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Performance (cs.PF)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: For the verification of systems using model-checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well-known state-space explosion problem. Symbolic BDD-based representations have been also shown to be successful for the analysis of families of systems that arise, e.g., through configurable parameters or following the feature-oriented modeling approach. The state space of such system families face an additional exponential blowup in the number of parameters or features. It is well known that the order of variables in ordered BDDs is crucial for the size of the model representation. Especially for automatically generated models from real-world systems, family models might even be not constructible due to bad variable orders. In this paper we describe a technique, called iterative variable reordering, that can enable the construction of large-scale family models. We exemplify feasibility of our approach by means of an aircraft velocity control system with redundancy mechanisms modeled in the input language of the probabilistic model checker PRISM. We show that standard reordering and dynamic reordering techniques fail to construct the family model due to memory and time constraints, respectively, while the new iterative approach succeeds to generate a symbolic family model.
description: In Proceedings MARS 2020, arXiv:2004.12403
The submm properties of GRB host galaxies
Creators: name: Tanvir, N. R.
name: Barnard, V. E.
name: Blain, A. W.
name: Fruchter, A. S.
name: Kouveliotou, C.
name: Natarajan, P.
name: Ramirez-Ruiz, E.
name: Rol, E.
name: Smith, I. A.
name: Tilanus, R. P. J.
name: Wijers, R. A. M. J.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Long duration gamma-ray bursts (GRBs) accompany the deaths of some massive stars and hence, since massive stars are short lived, are a tracer of star formation activity. Given that GRBs are bright enough to be seen to very high redshifts, and detected even in dusty environments, they should therefore provide a powerful probe of the global star formation history of the universe. The potential of this approach can be investigated via submm photometry of GRB host galaxies. Submm luminosity also correlates with star formation rate, so the distribution of host galaxy submm fluxes should allow us to test the two methods for consistency. Here, we report new JCMT/SCUBA 850 micron measurements for 15 GRB hosts. Combining these data with results from previous studies we construct a sample of 21 hosts with <1.4 mJy errors. We show that the distribution of apparent 850 micron flux densities of this sample is reasonably consistent with model predictions, but there is tentative evidence of a dearth of submm bright (>4 mJy) galaxies. Furthermore, the optical/infrared properties of the submm brightest GRB hosts are not typical of the galaxy population selected in submm surveys, although the sample size is still small. Possible selection effects and physical mechanisms which may explain these discrepancies are discussed.
description: 9 pages, 1 figure, MNRAS in press
COMMUNICATIVE METHOD AND PROCEDURAL APPROACHES AS A PARADIGM IN FOREIGN LANGUAGE TEACHING
Creators: name: Drohomyretska, M.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: communicative method
methodology
foreign language teaching
approaches
pedagogy
educational process

description: The article provides an overview of the basic methods of teaching foreign languages, such as communicative approach or method of communicative language teaching and procedural approach. The history of origin and theoretical bases of the above-mentioned method and approach are briefly covered; techniques and basics of teaching; as a result, an overall assessment is given.
Catallagia Rothschild 1915
Creators: name: Morrone, Juan J.
name: Acosta, Roxana
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Siphonaptera
Hystrichopsyllidae
Catallagia

description: Catallagia Rothschild, 1915
Catallagia Rothschild, 1915b: 41; Lewis & Haas, 2001 (revision).
description: Published as part of Morrone, Juan J. & Acosta, Roxana, 2006, A synopsis of the fleas (Insecta: Siphonaptera) parasitizing New World species of Soricidae (Mammalia: Insectivora), pp. 1-30 in Zootaxa 1354 on page 12, DOI: 10.5281/zenodo.273605
On the status of pointlike fields in integrable QFTs
Creators: name: Bostelmann, Henning
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 81R12 (primary), 81T05, 81T40 (secondary)

description: In integrable models of quantum field theory, local fields are normally constructed by means of the bootstrap-formfactor program. However, the convergence of their $n$-point functions is unclear in this setting. An alternative approach uses fully convergent expressions for fields with weaker localization properties in spacelike wedges, and deduces existence of observables in bounded regions from there, but yields little information about their explicit form. We propose a new, hybrid construction: We aim to describe pointlike local quantum fields; but rather than exhibiting their $n$-point functions and verifying the Wightman axioms, we establish them as closed operators affiliated with a net of local von Neumann algebras that is known from the wedge-local approach. This is shown to work at least in the Ising model.
description: appeared in the proceedings of the ISQS-26 conference, Prague 2019; 8 pages, 2 figures
Geodesic Distance in Planar Graphs
Creators: name: Bouttier, J.
name: Di Francesco, P.
name: Guitter, E.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We derive the exact generating function for planar maps (genus zero fatgraphs) with vertices of arbitrary even valence and with two marked points at a fixed geodesic distance. This is done in a purely combinatorial way based on a bijection with decorated trees, leading to a recursion relation on the geodesic distance. The latter is solved exactly in terms of discrete soliton-like expressions, suggesting an underlying integrable structure. We extract from this solution the fractal dimensions at the various (multi)-critical points, as well as the precise scaling forms of the continuum two-point functions and the probability distributions for the geodesic distance in (multi)-critical random surfaces. The two-point functions are shown to obey differential equations involving the residues of the KdV hierarchy.
description: 38 pages, 8 figures, tex, harvmac, epsf
Relationship between Time in Green Spaces and Stress Management Ability
Creators: name: Chen, Qiyu
name: Fan, Sciaca
name: Feng, Ruochen
name: Li, Zhuoran
name: Ngo, Darian
name: Xu, Yuxin
Publisher: name: The University of British Columbia
Year: 2022

description: The purpose of this study was to determine the potential benefits of campus green spaces for students' well-being. Previous studies show mental health benefits when doing activities in natural environments, which reduces stress. We are interested in the correlation between the time spent in green space and the ability to manage stress. We conducted a correlation study at the University of British Columbia (UBC) and asked 147 UBC students to fill out a self-report survey, where we obtained 100 valid responses. We hypothesized that students who spend more time in green spaces tend to have a better ability to alleviate stress. Our data were analyzed by using the Pearson r test in JASP. Unfortunately, our results do not provide support for our hypothesis. However, we recommend further research on the possible relationship between time spent in green space and the ability to manage stress. Disclaimer: “UBC SEEDS provides students with the opportunity to share the findings of their studies, as well as their opinions, conclusions and recommendations with the UBC community. The reader should bear in mind that this is a student project/report and is not an official document of UBC. Furthermore readers should bear in mind that these reports may not reflect the current status of activities at UBC. We urge you to contact the research persons mentioned in a report or the SEEDS Coordinator about the current status of the subject matter of a project/report.”
Estimating End-to-End Latencies in Automotive Cyber-physical Systems
Creators: name: Friese, Max J.
name: Nowotka, Dirk
Publisher: name: arXiv
Year: 2020
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: D.2.4

description: Controller networks in today's automotive systems consist of more than 100 ECUs connected by various bus protocols. Seamless operation of the entire system requires a well-orchestrated interaction of these ECUs. Consequently, to ensure safety and comfort, a performance analysis is an inherent part of the engineering process. Conducting such an analysis manually is expensive, slow, and error prone. Tool support is therefore crucial, and a number of approaches have been presented. However, most work is limited to either network latencies or software latencies which results in an analysis gap at the transition between different layers of the communication stack. The work presented here introduces an approach to close this gap. Furthermore, we discuss the integration of different methods to obtain an end-to-end latency analysis.
description: In Proceedings MARS 2020, arXiv:2004.12403
MODERN APPROACHES TO TEAM BUILDING TECHNOLOGY IN TEACHING A FOREIGN LANGUAGE IN A NON-LINGUISTIC UNIVERSITY
Creators: name: Uvarov, V.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: team building technology
foreign language
efficiency
motivation
quality of teaching
skill building.

description: The article makes an attempt to demonstrate the relevance of the use of team building technology in the educational process. The arguments and examples are based on the author's own professional experience of teaching English at a non-linguistic university for over thirteen years. The author dwells in detail on the advantages that the use of team building technology gives, emphasizing not only their individual significance for each student, but also calling the skills and personal qualities of students formed by teambuilding as strategically important for the harmonious functioning of the whole society.
PRINCIPLES OF STATE POLICY IN THE AREA OF EDUCATION
Creators: name: Jumaniyazova, N.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: higher education
law on education
concept
competitive specialist
principles
international rating.

description: This article examines the education policy of Uzbekistan and its principles. The issues of international relations and education promotion are analyzed. Attention is paid to the existing problems in this area.
Expand-and-Randomize: An Algebraic Approach to Secure Computation
Creators: name: Zhao, Yizhou
name: Sun, Hua
Publisher: name: arXiv
Year: 2020
Subjects: subject: Information Theory (cs.IT)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: We consider the secure computation problem in a minimal model, where Alice and Bob each holds an input and wish to securely compute a function of their inputs at Carol without revealing any additional information about the inputs. For this minimal secure computation problem, we propose a novel coding scheme built from two steps. First, the function to be computed is expanded such that it can be recovered while additional information might be leaked. Second, a randomization step is applied to the expanded function such that the leaked information is protected. We implement this expand-and-randomize coding scheme with two algebraic structures - the finite field and the modulo ring of integers, where the expansion step is realized with the addition operation and the randomization step is realized with the multiplication operation over the respective algebraic structures.
INTERACÇÃO DA ECONOMIA DA AUTOMATIZAÇÃO NUM SISTEMA DE RECUPERAÇÃO DE GRANDE DIMENSÃO
Creators: name: Rolling, L.
name: Piette, J.
Publisher: name: Cadernos BAD
Year: 1976

description: INTERACÇÃO DA ECONOMIA DA AUTOMATIZAÇÃO NUM SISTEMA DE RECUPERAÇÃO DE GRANDE DIMENSÃO
description: Cadernos BAD, N.º 1 (1976)
PROGNOSTIC VALIDITY OF COMPETITIVE SELECTION OF ENTRANTS TO HIGHER EDUCATION
Creators: name: Shevchuk, O.
Publisher: name: The Scientific Heritage
Year: 2021
Subjects: prognostic validity
correlation coefficient
competitive selection
competitive score
external independent evaluation (EIE)
higher education institution (HEI)

description: The article analyzes the statistical relationships between the components of competitive selection and the average performance of undergraduate and graduate students of a particular institution of higher education (HEI). The obtained values of correlation coefficients showed that the competitive score calculation models used in the test HEI have a sufficiently high level of prognostic validity (R > 0.5) for each educational level. At the same time, the article provides recommendations on possible areas for their improvement.
Impact parameter dependence of the azimuthal asymmetry in lepton pair production in heavy ion collisions
Creators: name: Li, Cong
name: Zhou, Jian
name: Zhou, Ya-jin
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We investigate the impact parameter dependence of the $\cos 4ϕ$ azimuthal asymmetry for electromagnetic lepton pair production in heavy ion collisions. The asymmetry induced by linearly polarized coherent photons exhibits strong impact parameter dependence.
description: 6 pages, 4 figures
N-point Amplitudes in Intersecting Brane Models
Creators: name: Abel, S. A.
name: Owen, A. W.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We derive general and complete expressions for N-point tree-level amplitudes in Type II string models with matter fields localised at D-brane intersections.
description: 33 pages, 10 figures. Typos corrected. References added. Improvements to treatment of classical part of N>4 point function
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Creators: name: Mateescu, Radu
name: Serwe, Wendelin
name: Bouzafour, Aymane
name: Renaudin, Marc
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at various abstraction levels, a patented asynchronous circuit for detecting physical attacks, such as cutting wires or producing short-circuits.
description: In Proceedings MARS 2020, arXiv:2004.12403
Concurrence of mixed bipartite quantum states in arbitrary dimensions
Creators: name: Mintert, Florian
name: Kus, Marek
name: Buchleitner, Andreas
Publisher: name: arXiv
Year: 2004
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We derive a lower bound for the concurrence of mixed bipartite quantum states, valid in arbitrary dimensions. As a corollary, a weaker, purely algebraic estimate is found, which detects mixed entangled states with positive partial transpose.
description: accepted py PRL
Rural Cooperatives Magazine, September/October 2010
Creators: name: Bagley, Scott
name: Parker, Bob
name: Lebel, Colette
name: Spicer, Lynette
name: Thompson, Stephen
name: Bagley, Scott
name: Parker, Bob
name: Lebel, Colette
name: Spicer, Lynette
name: Thompson, Stephen
Publisher: name: Unknown
Year: 2010
Subjects: Agribusiness
Community/Rural/Urban Development

description: Features - Ag co-ops sales and income second highest on record; Chipping in; Canadian farmers see benefits of local farm machinery co-ops; Look Who's Minding the Store; Taking Root; eXtending Co-op Knowledge; Biofuel Prometheus
title: Subject identity and school knowledge.
Creators: name: Smetherham, David
Publisher: name: The Open University
Year: 1978

description: This thesis examines the nature of the pedagogic subject identity from the perspective of a participating observer who eventually became an observing participant. What has been written is an 'insider' account of the secondary school teacher's subject identity yet even the act of writing this thesis resulted in the insider becoming an outsider: his knowledge was no longer appropriate to his identity. An examination of the way in which one's social identity of research personna and subject practitioner interact as a result of the knowledge held by virtue of these socially located positions leads on to an awareness of the rhetorics of knowledge. The performances of the actor are constrained by the knowledge, appropriate to this identity since the appropriateness of the one knowledge necessarily limits access to other knowledge. Furthermore, the knowledge each party holds of the other will be more or less accurate according to the processual aspects of the identity. One consequence of this view is to challenge the view that research accounts are more credible than those of the participating actors. It may be different, and this will be so because of the different location of the salient identity. The researcher has no reason to exempt himself from the same theoretical and pragmatic perspective with which he views the approached group since other groups also theorise about the meanings for them of such strangers.
OS SERVIÇOS DE DOCUMENTAÇÃO DA UNIVERSIDADE DE AVEIRO PRINCIPIOS DE ORGANIZAÇÃO E PERSPECTIVAS DE DESENVOLVIMENTO
Creators: name: Calado, Adelino Almeida
Publisher: name: Cadernos BAD
Year: 1976

description: Definem-se os objetivos dos Serviços de Documentação da Universidade de Aveiro, com prioridade para o apoio às actividades de ensino e Investigação. Descreve-se a estrutura dos Serviços na sua fase inicial e enunciam-se as funções dos elementos components da estrutura. São analisadas algumas linhas de orientação para a seleção e comportamento profissional e humano do pessoal, e descrevem-se os condicionalismos materiais (instalações disponíveis, equipamento a adquirir e dotação financeira). Define-se o plano de organização dos fundos bibliográficos e as directrizes técnicas relativas a aquisição, registo, selecção, catalogação, leitura e empréstimo, indexação, informação documental, difusão e reprografia. A terminar analisa-se a posição dos Serviços perante o utilizador, o mundo exterior e o seu próprio desenvolvimento future.
description: Cadernos BAD, N.º 1 (1976)
Operculina complanata
Creators: name: Gedik, Fatma
name: Karadenizli, Levent
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Chromista
Foraminifera
Globothalamea
Rotaliida
Nummulitidae
Operculina
Operculina complanata

description: Operculina complanata (Defrance, 1822) (Fig. 5A, B)
 Lenticulites complanata Defrance, 1822: 453.
 Operculina complanata – Souaya 1963: pl. 53, figs 1, 2. — Cherif 1980: pl. I, figs 4, 10; pl. II, figs 1, 5. — Abdelgany 2002: pl. II, figs 2-4. — Sirel 2003: pl. III, figs 1-9. — Gedik 2008: pl. 2, figs 6-10.
REMARKS
The test is thin, bilateral and symmetric. Its diameter ranges from 2.5 to 2.9 mm, and the thickness from 0.4 to 1.8 mm. The test is planispiral and evolute, with numerous narrow chambers in many rapidly expanding whorls, so that the height of the chambers may be five times the width of the chambers (Fig. 5A, B). The proloculus is spherical and small (90 µ diameter).
description: Published as part of Gedik, Fatma & Karadenizli, Levent, 2021, Oligocene larger benthic foraminifera and sedimentation of the Burdur Basin, SW Anatolia, Turkey, pp. 377-389 in Geodiversitas 43 (13) on page 383, DOI: 10.5252/geodiversitas2021v43a13, http://zenodo.org/record/5036926
Rural Cooperatives Magazine, September/October 1999
Creators: name: Borst, Alan
name: Karg, Pamela J.
name: Duffey, Patrick
name: Kozak, Jerry
name: Wadswortj, James J.
name: Borst, Alan
name: Karg, Pamela J.
name: Duffey, Patrick
name: Kozak, Jerry
name: Wadswortj, James J.
Publisher: name: Unknown
Year: 1999
Subjects: Agribusiness
Community/Rural/Urban Development

description: Features - Network Difficulties; Taking Flight; The Price Is Right; The Changing Role of Trade Groups and Dairy Co-ops; Large Cooperatives Unifying: A Strategic Trend To Monitor; Calcot’s Tom Smith, Other Outstanding Communicators Win CCA Honors; Net Business Volume, Net Income for Farmer Co-ops Decline in 1998