cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
An Ontology-based Knowledge Management System for Industry Clusters
Creators: name: Sureephong, Pradorn
name: Chakpitak, Nopasit
name: Ouzrout, Yacine
name: Bouras, Abdelaziz
Publisher: name: arXiv
Year: 2008
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Knowledge-based economy forces companies in the nation to group together as a cluster in order to maintain their competitiveness in the world market. The cluster development relies on two key success factors which are knowledge sharing and collaboration between the actors in the cluster. Thus, our study tries to propose knowledge management system to support knowledge management activities within the cluster. To achieve the objectives of this study, ontology takes a very important role in knowledge management process in various ways; such as building reusable and faster knowledge-bases, better way for representing the knowledge explicitly. However, creating and representing ontology create difficulties to organization due to the ambiguity and unstructured of source of knowledge. Therefore, the objectives of this paper are to propose the methodology to create and represent ontology for the organization development by using knowledge engineering approach. The handicraft cluster in Thailand is used as a case study to illustrate our proposed methodology.
Phygadeuon melanopygus
Creators: name: Riedel
name: Pénigot
name: Schwarz
name: Diller
name: Johansson
name: Japoshvili, G.
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Ichneumonidae
Phygadeuon
Phygadeuon melanopygus

description: Phygadeuon melanopygus (GRAVENHORST, 1829), det. Schwarz
M a t e r i a l e x a m i n e d: Trap7: 1♀ 1-13.vi.
D i s t r i b u t i o n: Western Palaearctic, new record for Georgia and the Caucasus region.
description: Published as part of Riedel, Pénigot, Schwarz, Diller, Johansson & Japoshvili, G., 2023, Darwin wasps (Hymenoptera, Ichneumonidae) of the Kintrishi National Park, Sakartvelo (Georgia), with descriptions of six new species, pp. 61-153 in Linzer biologische Beiträge 55 (1) on page 125, DOI: 10.5281/zenodo.10415120
Novel Two-Dimensional Layered MSi$_2$N$_4$ (M = Mo, W): New Promising Thermal Management Materials
Creators: name: Shen, Chen
name: Wang, Lei
name: Wei, Donghai
name: Zhang, Yixuan
name: Qin, Guangzhao
name: Chen, Xing-Qiu
name: Zhang, Hongbin
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: With the miniaturization and integration of nanoelectronic devices, efficient heat removal becomes a key factor affecting the reliable operation of the nanoelectronic device. With the high intrinsic thermal conductivity, good mechanical flexibility, and precisely controlled growth, two-dimensional (2D) materials are widely accepted as ideal candidates for thermal management materials. In this work, by solving the phonon Boltzmann transport equation (BTE) based on first-principles calculations, we comprehensively investigated the thermal conductivity of novel 2D layered MSi$_2$N$_4$ (M = Mo, W). Our results point to competitive thermal conductivities (162 W/mK) of monolayer MoSi$_2$N$_4$, which is around two times larger than that of WSi$_2$N$_4$ and seven times larger than that of silicene despite their similar non-planar structures. It is revealed that the high thermal conductivity arises mainly from its large group velocity and low anharmonicity. Our result suggests that MoSi$_2$N$_4$ could be a potential candidate for 2D thermal management materials.
title: Comparison of Propulsive Power During Loaded Countermovement Jumps in Division One Female Soccer Players and Gymnasts
Creators: name: Gollofon, Kristin N.
Publisher: name: Utah State University
Year: 2016

description: Aquatic training has become more prevalent as a means of training power, and provides unique features such as buoyancy and inflicting less stress on the body than traditional land based training. Purpose: The purpose of this study was to assess absolute and relative peak propulsive and mean power in loaded countermovement jumps (CMJ) performed on land and in water in Division I soccer players and gymnasts. Methods: Twenty-four Utah State University soccer players (N=12) and gymnasts (N=12) performed randomized countermovement jumps in eight conditions (Land BW, BW+10%, BW+20%, BW+30%; Chest-height water BW, BW+10%, BW+20%, BW+30%). Peak power (PP), relative peak power (rPP), mean power (MP), and relative mean power (rMP) were examined for all jumping conditions. A 2 (sport team) by 2 (environment) by 2 (load) repeated measures ANOVA was used to evaluate main effects and interactions. Results: PP, rPP, MP, and rMP were not significantly different for increased loads within the same environment. When compared to jumps performed on land, all four variables were significantly higher for water conditions (p
An investigation of the extent and use of bibliotherapy in the lower mainland of British Columbia
Creators: name: Yasin, Sandra Rae
Publisher: name: University of British Columbia
Year: 2010

description: This study is an investigation of the extent and use of bibliotherapy in the lower mainland of British Columbia. Bibliotherapy is defined as the use of literature, either fiction or non-fiction, to help people with their problems. The sample consists of forty mental health practitioners, randomly selected, fifteen of whom were interviewed personally. These fifteen respondents were those who used bibliotherapy as part of their practice. A questionnaire was devised, on the basis of the literature review to examine the methods and procedures of bibliotherapy. The tape-recorded interviews were then transcribed verbatim and summarized into major and sub-categories. Frequencies and percentages of the responses were recorded and tabulated. The findings were that most of the respondents use a similar procedure when prescribing bibliotherapy, i.e. they are semi-directive in their recommendations, provide an adequate rationale for their suggestions and discuss the impact of the reading with their clients. The types of books most often employed were non-fiction, either lay psychology or self-help literature. The type of problem which the client presents played a determining role in the decision to use bibliotherapy. It was possible to isolate two major areas with which bibliotherapy was most effective: communication and interpersonal problems and family conflicts. In conclusion, bibliotherapy has been effectively employed by the respondents in this study and is a valuable form of psychotherapy whose wider application should be considered.
COVID-19 STRESS AND MENTAL HEALTH: HOW PERCEIVED SOCIAL SUPPORT MITIGATES IMPACT
Creators: name: Luisa, Santos Reyes
Publisher: name: AYDEN JOURNAL
Year: 2024
Subjects: COVID-19, Philippines, healthcare professionals, anxiety, psychological distress, mental health

description: The COVID-19 pandemic has had a profound impact on various aspects of life in the Philippines, affecting the economy, physical health, and mental well-being. This global health crisis has led to increased anxiety and psychological distress among healthcare professionals and the general population. As of July 9, 2021, there have been 1,455,585 confirmed COVID-19 cases and 25,650 deaths in the Philippines, highlighting the significant burden of the virus.

Healthcare institutions, particularly for frontliners, have become high-risk environments due to the additional workloads and increased exposure to health hazards. This situation has taken a toll on the mental health of medical professionals. Studies from other countries, such as Albania and Germany, during previous pandemics have also reported anxiety and psychological distress among healthcare workers and patients.

This crisis underscores the importance of identifying and addressing the immediate psychological needs of patients and healthcare professionals. Understanding the mental health challenges arising from the pandemic is crucial for developing effective strategies and support systems to mitigate the psychological impact
title: Modeling of Mating Encounters: The Classical Mass Action Paradigm and an Application to Pest Control
Creators: name: Snyder, Katherine R.
Publisher: name: Utah State University
Year: 2016

description: The growth of a two-sex population is undoubtedly dependent upon the dynamics of its mating encounter rates. Encounter rates are influenced by several factors that affect the modeling of a population. In this work we first look at the law of mass action as applied to mating encounter rates. We review the underlying assumptions of mass action and present a derivation using dimensional reduction and simulated data. This approach led to a revised proportionality constant that seems to produce results in better accord to experimental data than does the original constant. We also explore numerically how random fluctuations on the revised constant affect the conditioned time to extinction of a two-sex population subject to reproductive Allee effect. Next we present an application to pest management. We consider the effectiveness of chemosterilant induced infertility in a rat population and present qualitative predictions for population behavior when subject to this fertility control. We look at the dynamics of both a spatially isolated rat population and a population with multiple rat communities where individual movement between patches occur.
Diffusion of magnetic field and removal of magnetic flux from clouds via turbulent reconnection
Creators: name: Santos-Lima, R.
name: Lazarian, A.
name: Pino, E. M. de Gouveia Dal
name: Cho, J.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The diffusion of astrophysical magnetic fields in conducting fluids in the presence of turbulence depends on whether magnetic fields can change their topology via reconnection in highly conducting media. Recent progress in understanding fast magnetic reconnection in the presence of turbulence is reassuring that the magnetic field behavior in computer simulations and turbulent astrophysical environments is similar, as far as magnetic reconnection is concerned. Our studies of magnetic field diffusion in turbulent medium reveal interesting new phenomena. In the presence of gravity and turbulence, our 3D simulations show the decrease of the magnetic flux-to-mass ratio as the gaseous density at the center of the gravitational potential increases. We observe this effect both in the situations when we start with equilibrium distributions of gas and magnetic field and when we follow the evolution of collapsing dynamically unstable configurations. Thus the process of turbulent magnetic field removal should be applicable both to quasi-static subcritical molecular clouds and cores and violently collapsing supercritical entities. The increase of the gravitational potential as well as the magnetization of the gas increases the segregation of the mass and magnetic flux in the saturated final state of the simulations, supporting the notion that the reconnection-enabled diffusivity relaxes the magnetic field + gas system in the gravitational field to its minimal energy state. This effect is expected to play an important role in star formation, from its initial stages of concentrating interstellar gas to the final stages of the accretion to the forming protostar.
description: 22 pages, 16 figures. Accepted for publication in the ApJ.
Make life simple: unleash the full power of the parallel tempering algorithm
Creators: name: Bittner, Elmar
name: Nussbaumer, Andreas
name: Janke, Wolfhard
Publisher: name: arXiv
Year: 2008
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We introduce a new update scheme to systematically improve the efficiency of parallel tempering simulations. We show that by adapting the number of sweeps between replica exchanges to the canonical autocorrelation time, the average round-trip time of a replica in temperature space can be significantly decreased. The temperatures are not dynamically adjusted as in previous attempts but chosen to yield a 50% exchange rate of adjacent replicas. We illustrate the new algorithm with results for the Ising model in two and the Edwards-Anderson Ising spin glass in three dimensions
description: 4 pages, 5 figures
Modeling a Coronal Mass Ejection from an Extended Filament Channel. II. Interplanetary Propagation to 1 au
Creators: name: Palmerio, Erika
name: Maharana, Anwesha
name: Lynch, Benjamin J.
name: Scolini, Camilla
name: Good, Simon W.
name: Pomoell, Jens
name: Isavnin, Alexey
name: Kilpua, Emilia K. J.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: We present observations and modeling results of the propagation and impact at Earth of a high-latitude, extended filament channel eruption that commenced on 2015 July 9. The coronal mass ejection (CME) that resulted from the filament eruption was associated with a moderate disturbance at Earth. This event could be classified as a so-called "problem storm" because it lacked the usual solar signatures that are characteristic of large, energetic, Earth-directed CMEs that often result in significant geoeffective impacts. We use solar observations to constrain the initial parameters and therefore to model the propagation of the 2015 July 9 eruption from the solar corona up to Earth using 3D magnetohydrodynamic heliospheric simulations with three different configurations of the modeled CME. We find the best match between observed and modeled arrival at Earth for the simulation run that features a toroidal flux rope structure of the CME ejecta, but caution that different approaches may be more or less useful depending on the CME-observer geometry when evaluating the space weather impact of eruptions that are extreme in terms of their large size and high degree of asymmetry. We discuss our results in the context of both advancing our understanding of the physics of CME evolution and future improvements to space weather forecasting.
description: 20 pages, 8 figures, 2 tables, accepted for publication in The Astrophysical Journal
A note on Friedmann equation of FRW universe in deformed Horava-Lifshitz gravity from entropic force
Creators: name: Wei, Shao-Wen
name: Liu, Yu-Xiao
name: Wang, Yong-Qiang
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: With entropic interpretation of gravity proposed by Verlinde, we obtain the Friedmann equation of the Friedmann-Robertson-Walker universe for the deformed Hořava-Lifshitz gravity. It is shown that, when the parameter of Hořava-Lifshitz gravity $ω\rightarrow \infty$, the modified Friedmann equation will go back to the one in Einstein gravity. This results may imply that the entropic interpretation of gravity is effective for the deformed Hořava-Lifshitz gravity.
description: 9 pages, no figures
Orbit determination for the binary Cepheid V1344 Aql
Creators: name: Cseh, B.
name: Csörnyei, G.
name: Szabados, L.
name: Csák, B.
name: Kovács, J.
name: Kriskovics, L.
name: Pál, A.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Context. Binary Cepheids play an important role in investigating the calibration of the classical Cepheid period-luminosity relationship. Therefore a thorough study of individual Cepheids belonging to binary systems is necessary. Aims. Our aim is to determine the orbit of the binary system V1344 Aql using newly observed and earlier published spectroscopic and photometric data. Methods. We collected new radial velocity observations using medium resolution (${R \approx 11000}$ and ${R \lessapprox 20000}$) spectrographs and we updated the pulsation period of the Cepheid based on available photometric observations using $O-C$ diagram. Separating the pulsational and orbital radial velocity variations for each observational season (year), we determined the orbital solution for the system using $χ^2$ minimisation. Results. The updated pulsation period of the Cepheid estimated for the epoch of HJD 2458955.83 is 7.476826 days. We determined orbital elements for the first time in the literature. The orbital period of the system is about 34.6 years, with an eccentricity e = 0.22.
description: accepted for publication in A&A
Fano effect in a Josephson junction with a quantum dot
Creators: name: Osawa, Kentaro
name: Kurihara, Susumu
name: Yokoshi, Nobuhiko
Publisher: name: arXiv
Year: 2008
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We theoretically investigate the Fano effect in dc Josephson current at the absolute zero of temperature. The system under consideration is a double-path Josephson junction in which one path is through an insulating barrier and the other one is through a quantum dot (QD). Here the Kondo temperature is assumed to be much smaller than the superconducting gap, and the Coulomb interaction inside the QD is treated by the Hartree-Fock approximation. It is shown that the Josephson critical current exhibits an asymmetric resonance against the QD energy level. This behavior is caused by the interference between the two tunneling processes between the superconductors; the direct tunneling across the insulating barrier and the resonant one through the QD. Moreover, we find that the Josephson critical current changes its sign around the resonance when the Coulomb interaction is sufficiently strong. Our results suggest that 0-$π$ transition is induced by the cooperation of the Fano effect and the Coulomb interaction inside the QD.
2D chemical evolution models II. Effects of multiple spiral arm patterns on O, Eu, Fe and Ba abundance gradients
Creators: name: Spitoni, E.
name: Cescutti, G.
name: Recio-Blanco, A.
name: Minchev, I.
name: Poggio, E.
name: Palicio, P. A.
name: Matteucci, F.
name: Peirani, S.
name: Barbillon, M.
name: Vasini, A.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: According to observations and numerical simulations, the Milky Way could exhibit several spiral arm modes with multiple pattern speeds, wherein the slower patterns are located at larger Galactocentric distances. Our aim is to quantify the effects of the spiral arms on the azimuthal variations of the chemical abundances for oxygen, iron and for the first time for neutron-capture elements (europium and barium) in the Galactic disc. We assume a model based on multiple spiral arm modes with different pattern speeds. The resulting model represents an updated version of previous 2D chemical evolution models. We apply new analytical prescriptions for the spiral arms in a 2D Galactic disc chemical evolution model, exploring the possibility that the spiral structure is formed by the overlap of chunks with different pattern speeds and spatial extent. The predicted azimuthal variations in abundance gradients are dependent on the considered chemical element. Elements synthesised on short time scales (i.e., oxygen and europium in this study) exhibit larger abundance fluctuations. In fact, for progenitors with short lifetimes, the chemical elements restored into the ISM perfectly trace the star formation perturbed by the passage of the spiral arms. The map of the star formation rate predicted by our chemical evolution model with multiple patterns of spiral arms presents arcs and arms compatible with those revealed by multiple tracers (young upper main sequence stars, Cepheids, and distribution of stars with low radial actions). Finally, our model predictions are in good agreement with the azimuthal variations that emerged from the analysis of Gaia DR3 GSP-Spec [M/H] abundance ratios, if at most recent times the pattern speeds match the Galactic rotational curve at all radii.
description: Accepted for publication in Astronomy and Astrophysics (A&A), 18 pages, 17 figures
title: Effects of High Intensity and Sprint Interval Training Frequency on 1.5 Mile Run Times in Air Force ROTC Cadets
Creators: name: Dahle, Jared Hill
Publisher: name: Utah State University
Year: 2016

description: The effects of varying high intensity interval training (HIIT) and sprint interval training (SIT) frequency on 1.5 mile (2.4km) run performance in Air Force ROTC cadets were studied.  Twenty-seven cadets (21.6 ± 2.8 years) were stratified then randomly assigned to 3 groups: a high frequency group (HF) that performed HIIT/SIT 3x week, a low frequency group (LF) that performed HIIT/SIT 2x week, and a continuous training group (CG) that performed moderate intensity training 3x week.  HIIT workouts consisted of 4 x 3 min intervals at 90-100% of velocity at maximal oxygen consumption (vVO2 max) with 4 min of active recovery between sets.  SIT workouts consisted of 4 x 30s all out sprints with 4 min active recovery between sets.  Baseline 1.5 mile run performance was measured, then retested at 6 and 10 weeks.  At the end of 6 weeks, all groups significantly improved in mean 1.5 mile run time (LF, 7.3% + 4.2, p
Observation of nonadditive mixed state phases with polarized neutrons
Creators: name: Klepp, J.
name: Sponar, S.
name: Filipp, S.
name: Lettner, M.
name: Badurek, G.
name: Hasegawa, Y.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In a neutron polarimetry experiment the mixed state relative phases between spin eigenstates are determined from the maxima and minima of measured intensity oscillations. We consider evolutions leading to purely geometric, purely dynamical and combined phases. It is experimentally demonstrated that the sum of the individually determined geometric and dynamical phases is not equal to the associated total phase which is obtained from a single measurement, unless the system is in a pure state.
description: RevTex, 4 pages, 4 figures, accepted by PRL
title: An Original Computer Game Incorporating Optical Illusions
Creators: name: Butterfield, Jacob
Publisher: name: Utah State University
Year: 2016

description: Computer games have a diverse range of genres and implementations. Many of the most popular computer games consist of time-killing puzzles targeted at mobile devices. Each game has a well-dened challenge that a user must solve in order to progress.
The goal of this project is to investigate and implement a new obstacle for use in computer games, namely optical illusions. One illusion in particular, the Fraser spiral, was especially considered. Before this project, no other computer game integrating this optical illusion has been attempted.
Included in this report is an overview of the design, implementation and testing involved in creating this game. A gameplay method is introduced that effectively makes use of the Fraser spiral illusion. Tests were conducted in order to investigate the impact of the illusion on user performance. The results of these tests demonstrate the plausibility of using optical illusions to increase gameplay difficulty.
NuSTAR and XMM-Newton observations of the binary 4FGL J1405.1-6119. A $γ$-ray emitting microquasar?
Creators: name: Saavedra, Enzo A.
name: Fogantini, Federico A.
name: Escobar, Gastón J.
name: Romero, Gustavo E.
name: Combi, Jorge A.
name: Marcel, Estefania
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: 4FGL J1405.1-6119 is a high-mass $γ$-ray emitting binary that has been studied at several wavelengths. The nature of this type of binary is still under debate, with three possible scenarios usually invoked to explain the origin of the $γ$-ray emission: collisions between the winds of a rapidly rotating neutron star and its companion, collisions between the winds of two massive stars, and non-thermal emission from the jet of a microquasar. We analyze two pairs of simultaneous NuSTAR and XMM-Newton observations to investigate the origin of the radio, X-ray, and $γ$-ray emissions. We extracted light curves between 0.5-78 keV from two different epochs, named Epoch 1 and Epoch 2, respectively. We propose a scenario to explain the observations involving a parabolic, mildly relativistic, lepto-hadronic jet. This jet has a compact acceleration region that injects a hard spectrum of relativistic particles. The dominant non-thermal emission processes include synchrotron radiation of electrons, inverse Compton scattering of photons from the stellar radiation field, and the decay of neutral pions resulting from inelastic proton-proton collisions within the bulk matter of the jet. These estimates are in accordance with the values of a super-Eddington lepto-hadronic jet scenario. The compact object could be either a black hole or a neutron star with a low magnetic field. Most of the X-ray emission from the disk could be absorbed by the dense wind that is ejected from the same disk. We conclude that it is possible that the binary 4FGL J1405.1-6119 could be a supercritical microquasar like SS433.
description: Accepted for publication in Astronomy & Astrophysics
title: Comparison of Dynamic Stability between Gymnast and Soccer Players Following a Countermovement Jump on Land and in Water
Creators: name: Dwyer, Berangere A.
Publisher: name: Utah State University
Year: 2016

description: Gymnasts and Soccer players are faces with increasingly high injury rates and demanding impact landing forces during participation. The use of a water environment may provide some benefit by the reduced peak forces and lower impulses compared to land. The sport of gymnastics may provide specific training that promotes rapid postural stabilization upon landing a variety of jumps. The measure of Time to Stabilization (TTS) is a measure of dynamic stability and may be a method to differentiate between athletes in different sports. Purpose: This study was created to evaluate dynamic stability between soccer and gymnastics in two environments (land vs water) with varying external loads through the use of TTS. Each participant performed a series of countermovement jumps on land and in water submerged to xyphiod process. In each environment participants performed jumps with varying external loads (body weight (BW), and additional loads equal to 10%, 20%, and 30% BW). Vertical ground reaction forces from which TTS was determined were assessed using a waterproof force plate. A repeated measures ANOVA was used to determine if any significant main effects or interactions were present. Result: A significant main effect between land and water environments (p=.006) was observed, where TTS in water was shorter than on land. There were no effect due to sport, load or any interaction among sport, load and environment. These results suggest a water environment may facilitate an index of postural stability when landing from a CMJ. The observation of no difference between gymnasts and soccer athletes may reflect a true similarity in landing technique or a measure that is not sensitive in differentiating subtle differences between well-trained female athletes.
title: Language Learning for Real-World Context
Creators: name: Burk, Jenifer Jones
Publisher: name: Utah State University
Year: 2016

description: This portfolio contains the beliefs about language learning and teaching that the author possesses. The portfolio is based on the author’s experiences as a language learner and a language teacher. The main theme of the portfolio is to enable students to use the language learned in the classroom in real-world contexts.
The first section comprises the author’s teaching philosophy, emphasizing the role of the teacher, student, and environment. Following the teaching philosophy are three artifacts that address topics on language, literacy, and culture. First, the language artifact discusses corrective feedback and the feedback the teacher gives to students. Second, the literacy artifact discusses the benefits of biliteracy. Third, the culture artifact explores the role that immersion has in developing the cultural awareness of the language and culture. After the artifacts, the author concludes and extends the portfolio with three annotated bibliographies written throughout the Master’s of Second Language Teaching program.
Good-Enough Synthesis
Creators: name: Almagor, Shaull
name: Kupferman, Orna
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: In the classical synthesis problem, we are given an LTL formula ψover sets of input and output signals, and we synthesize a system T that realizes ψ: with every input sequences x, the system associates an output sequence T(x) such that the generated computation x \otimes T(x) satisfies ψ. In practice, the requirement to satisfy the specification in all environments is often too strong, and it is common to add assumptions on the environment. We introduce a new type of relaxation on this requirement. In good-enough synthesis (GE-synthesis), the system is required to generate a satisfying computation only if one exists. Formally, an input sequence x is hopeful if there exists some output sequence y such that the computation x \otimes y satisfies ψ, and a system GE-realizes ψif it generates a computation that satisfies ψon all hopeful input sequences. GE-synthesis is particularly relevant when the notion of correctness is multi-valued (rather than Boolean), and thus we seek systems of the highest possible quality, and when synthesizing autonomous systems, which interact with unexpected environments and are often only expected to do their best. We study GE-synthesis in Boolean and multi-valued settings. In both, we suggest and solve various definitions of GE-synthesis, corresponding to different ways a designer may want to take hopefulness into account. We show that in all variants, GE-synthesis is not computationally harder than traditional synthesis, and can be implemented on top of existing tools. Our algorithms are based on careful combinations of nondeterministic and universal automata. We augment systems that GE-realize their specifications by monitors that provide satisfaction information. In the multi-valued setting, we provide both a worst-case analysis and an expectation-based one, the latter corresponding to an interaction with a stochastic environment.
description: 26 pages, published in CAV 2020
title: Teaching Arabic as a Foreign Language: The Role of Communicative Competence, Pragmatics, and Literacy
Creators: name: Kataw, Yasmine
Publisher: name: Utah State University
Year: 2016

description: This portfolio is the culmination of various writings reflecting the author’s beliefs and ideas on effective second language teaching. The first section includes the author’s teaching philosophy, which emphasizes communicative learning, remaining in the target language, intercultural and pragmatic competence, and using the standards for foreign language learning. The second section includes three artifacts: the first demonstrates the application of concept-based instruction according to sociocultural theory to introduce cultural concepts to Arabic language learners. The second artifact addresses the role of teacher discourse in Dual Language Immersion programs. The third artifact is a literature review and lesson plan regarding refusals in Arab culture. Finally, the portfolio ends with three annotated bibliographies supporting the author’s perspective and teaching philosophy, including the role of translation in Arabic language learning, communicative teaching in different contexts, and reading anxiety in foreign language learning.
title: A Sedimentation Study of the Green River Irrigation Canal, Green River, Utah
Creators: name: Miller, Jan Michael
Publisher: name: Utah State University
Year: 2006

description: This sedimentation study of the Green River irrigation canal provides the Green River Canal Company (GRCC) with a detailed aerial map of the Green River irrigation canal system to allow operators to quickly and accurately locate canal structures. Also, an Excel spreadsheet accounting model was created which provides the GRCC with the ability to determine where sedimentation likely occurs throughout the canal under given conditions. This model must be operated within set guidelines to provide reliable results and should be calibrated for increased accuracy. It was determined that with no irrigation (i.e., with no canal structures open except for the final return) a minimum flow rate of sixty-three cubic feet per second is needed to prevent sedimentation throughout the canal. Therefore, a flow rate above sixty-three cubic feet per second is needed for any irrigation along the canal in order to prevent sedimentation.
Dark-ages Reionization and Galaxy Formation Simulation XX. The Ly$α$ IGM transmission properties and environment of bright galaxies during the Epoch of Reionization
Creators: name: Qin, Yuxiang
name: Wyithe, J. Stuart B.
name: Oesch, Pascal A.
name: Illingworth, Garth D.
name: Leonova, Ecaterina
name: Mutch, Simon J.
name: Naidu, Rohan P.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The highly neutral inter-galactic medium (IGM) during the Epoch of Reionization (EoR) is expected to suppress Ly$α$ emission with damping-wing absorption, causing nearly no Ly$α$ detection from star-forming galaxies at $z{\sim}8$. However, spectroscopic observations of the 4 brightest galaxies (${\rm H}_{160}{\sim}25$ mag) at these redshifts do reveal prominent Ly$α$ line, suggesting locally ionised IGM. In this paper, we explore the Ly$α$ IGM transmission and environment of bright galaxies during the EoR using the Meraxes semi-analytic model. We find brighter galaxies to be less affected by damping-wing absorption as they are effective at ionizing surrounding neutral hydrogen. Specifically, the brightest sources (${\rm H}_{160}{\lesssim}25.5$ mag) lie in the largest ionized regions in our simulation, and have low attenuation of their Ly$α$ from the IGM (optical depth ${
description: 10 pages, 3 figures, submitted to MNRAS, comments are welcome
Proof of the Feldman-Karlin Conjecture on the Maximum Number of Equilibria in an Evolutionary System
Creators: name: Altenberg, Lee
Publisher: name: arXiv
Year: 2009
Subjects: subject: Populations and Evolution (q-bio.PE)
subject: Algebraic Geometry (math.AG)
subject: FOS: Biological sciences
subject: FOS: Mathematics
subject: G.1.5
subject: 14J70

description: Feldman and Karlin conjectured that the number of isolated fixed points for deterministic models of viability selection and recombination among n possible haplotypes has an upper bound of 2^n - 1. Here a proof is provided. The upper bound of 3^{n-1} obtained by Lyubich et al. (2001) using Bezout's Theorem (1779) is reduced here to 2^n through a change of representation that reduces the third-order polynomials to second order. A further reduction to 2^n - 1 is obtained using the homogeneous representation of the system, which yields always one solution `at infinity'. While the original conjecture was made for systems of viability selection and recombination, the results here generalize to viability selection with any arbitrary system of bi-parental transmission, which includes recombination and mutation as special cases. An example is constructed of a mutation-selection system that has 2^n - 1 fixed points given any n, which shows that 2^n - 1 is the sharpest possible upper bound that can be found for the general space of selection and transmission coefficients.
description: 9 pages, 1 figure; v.4: final minor revisions, corrections, additions; v.3: expands theorem to cover all cases, obviating v.2 distinction of reducible/irreducible; details added to: discussion of Lyubich (1992), example that attains upper bound, and homotopy continuation methods
Directly constraining the spatial coherence of the $z\sim1$ circumgalactic medium
Creators: name: Afruni, A.
name: Lopez, S.
name: Anshul, P.
name: Tejos, N.
name: Noterdaeme, P.
name: Berg, T. A. M.
name: Ledoux, C.
name: Solimano, M.
name: Gonzalez-Lopez, J.
name: Gronke, M.
name: Barrientos, F.
name: Johnston, E. J.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: One of the biggest puzzles regarding the circumgalactic medium (CGM) is the structure of its cool ($T\sim10^4$ K) gas phase. While the kinematics of quasar absorption systems suggests the CGM is composed of a population of different clouds, constraining the clouds' extent and spatial distribution has proven challenging, both from the theoretical and observational points of view. In this work we study the spatial structure of the $z\sim 1$ CGM with unprecedented detail via resolved spectroscopy of giant gravitational arcs. We put together a sample of Mg II$λλ2796,2803$ detections obtained with VLT/MUSE in 91 spatially independent and contiguous sight-lines toward 3 arcs, each probing an isolated star-forming galaxy believed to be detected in absorption. We constrain the coherence scale of this gas ($C_{\rm{length}}$), which represents the spatial scale over which the Mg II equivalent width (EW) remains constant, by comparing EW variations measured across all sight-lines with empirical models. We find $1.4
description: 19 pages, 13 figures, accepted for publication in A&A
Cluster mass estimation through Fair Galaxies
Creators: name: Cupani, Guido
name: Mezzetti, Marino
name: Mardirossian, Fabio
Publisher: name: arXiv
Year: 2009
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We analyse a catalogue of simulated clusters within the theoretical framework of the Spherical Collapse Model (SCM), and demonstrate that the relation between the infall velocity of member galaxies and the cluster matter overdensity can be used to estimate the mass profile of clusters, even though we do not know the full dynamics of all the member galaxies. In fact, we are able to identify a limited subset of member galaxies, the 'fair galaxies', which are suitable for this purpose. The fair galaxies are identified within a particular region of the galaxy distribution in the redshift (line-of-sight velocity versus sky-plane distance from the cluster centre). This 'fair region' is unambiguously defined through statistical and geometrical assumptions based on the SCM. These results are used to develop a new technique for estimating the mass profiles of observed clusters and subsequently their masses. We tested our technique on a sample of simulated clusters; the mass profiles estimates are proved to be efficient from 1 up to 7 virialization radii, within a typical uncertainty factor of 1.5, for more than 90 per cent of the clusters considered. Moreover, as an example, we used our technique to estimate the mass profiles and the masses of some observed clusters of the Cluster Infall Regions in the Sloan Digital Sky Survey catalogue. The technique is shown to be reliable also when it is applied to sparse populated clusters. These characteristics make our technique suitable to be used in clusters of large observational catalogues.
description: 11 pages, 11 figures, 5 tables - Slightly revised to match the version published on MNRAS; abstract updated
Identification of Social-Media Platform of Videos through the Use of Shared Features
Creators: name: Maiano, Luca
name: Amerini, Irene
name: Celsi, Lorenzo Ricciardi
name: Anagnostopoulos, Aris
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Videos have become a powerful tool for spreading illegal content such as military propaganda, revenge porn, or bullying through social networks. To counter these illegal activities, it has become essential to try new methods to verify the origin of videos from these platforms. However, collecting datasets large enough to train neural networks for this task has become difficult because of the privacy regulations that have been enacted in recent years. To mitigate this limitation, in this work we propose two different solutions based on transfer learning and multitask learning to determine whether a video has been uploaded from or downloaded to a specific social platform through the use of shared features with images trained on the same task. By transferring features from the shallowest to the deepest levels of the network from the image task to videos, we measure the amount of information shared between these two tasks. Then, we introduce a model based on multitask learning, which learns from both tasks simultaneously. The promising experimental results show, in particular, the effectiveness of the multitask approach. According to our knowledge, this is the first work that addresses the problem of social media platform identification of videos through the use of shared features.
title: Nutrition in Thailand
Creators: name: Larptavee, Methee
Publisher: name: Utah State University
Year: 1966

description: Thailand is located in souteast Asia between Burman, Laos, and Cambodia. It has a long coast line as one strip of land reaches out into the sea. It has a warm climate with much rain, especially in the south. There are 27 million people in the area of 200,000 square miles. Rice ranks number one in the Thailand diet. Next to rice is fish, both from fresh water and from the sea.
A nutritional survey was first made in Thailand in Bang Chan Village in 1952-54, in connection with the Cornell-Thailand project. Since the results covered only a small segment of the population, a number of surveys have since been made which were directed toward finding information on nutritional status of additional groups of Thai people in other areas of Thailand. The most extensive survey ever made in Thailand was the work of the Interdepartmental Committee on Nutrition for National Defense in 1960.
Malnutrition does exist in spite of the fact that Thailand is a food surplus country. Factors involved are an imbalance of foods eaten, often low intake of protein, economic problems in many rural areas, and sometimes even in urban areas, and ignorance or lack of education in nutrition.
Kinetic description of quantum Brownian motion
Creators: name: Vacchini, Bassano
name: Petruccione, Francesco
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We stress the relevance of the two features of translational invariance and atomic nature of the gas in the quantum description of the motion of a massive test particle in a gas, corresponding to the original picture of Einstein used in the characterization of Brownian motion. The master equation describing the reduced dynamics of the test particle is of Lindblad form and complies with the requirement of covariance under translations.
description: 7 pages, no figures
Additional file 3: of The Ramazzini Institute 13-week pilot study on glyphosate and Roundup administered at human-equivalent dose to Sprague Dawley rats: effects on the microbiome
Creators: name: Mao, Qixing
name: Manservisi, Fabiana
name: Panzacchi, Simona
name: Mandrioli, Daniele
name: Menghetti, Ilaria
name: Vornoli, Andrea
name: Bua, Luciano
name: Falcioni, Laura
name: Lesseur, Corina
name: Chen, Jia
name: Belpoggi, Fiorella
name: Hu, Jianzhong
Publisher: name: figshare
Year: 2018
Subjects: subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: Figure S2. The changes of lactobacillus and Prevotella during the time of sampling. Line plots show the mean and standard error of relative abundance% of Lactobacillus (upper figure) and Prevotella (lower figure) during the time of sampling from PND 7 to PND 125. (PDF 543Â kb)
How are Researchers Documenting Their Day-to-Day Activities?
Creators: name: Lalwani, Leena
name: Brandenburg, Marci
name: Martin, Scott
name: MacEachern, Mark
name: Rosensweig, Merle
name: Sevryugina, Yulia
Publisher: name: My University
Year: 2019
Subjects: subject: Information and Library Science
subject: Social Sciences

description: Poster design by Jamie Niehof, Engineering Librarian
description: We undertook a pilot project to evaluate the feasibility of launching a full-scale research project to investigate best practices of researchers at our institution for keeping lab notebooks. Our objectives are to learn about practices already present on campus through a series of faculty interviews, and analyze those practices based on their similarities or differences, their compliance with modern technology, and ease of use and access, as well as to suggest other practices based on our review of tools reported in the literature. We focused on a narrowly defined group of researchers to obtain a more useful set of conclusions upon which to launch a full-scale project. After obtaining IRB exemption(HUM00147763), we emailed a biology department at our institution, our sample population, to explain the project and ask for volunteers. We interviewed six research faculty from that department at our institution about their recordkeeping practices, print vs. electronic notebook use, data and protocol sharing within the lab, and standard policies. Interviews were recorded and transcribed, and the transcripts were coded and analyzed. The results provide a snapshot of current disciplinary practice, which is useful as a benchmark for longitudinal studies of this community as campus-supported electronic tools for research documentation are expected to become more widely available in the coming years. They also suggest points of need where the library might productively offer services within the current paradigm to improve access to and preservation of day-to-day research documentation.