cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
MOESM2 of Prevalence, resistance pattern, and molecular characterization of Staphylococcus aureus isolates from healthy animals and sick populations in Henan Province, China
Creators: name: Liu, Baoguang
name: Sun, Huarun
name: Pan, Yushan
name: Zhai, Yajun
name: Cai, Tian
name: Yuan, Xiaoling
name: Gao, Yanling
name: He, Dandan
name: Liu, Jianhua
name: Yuan, Li
name: Hu, Gongzheng
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2: Table S2. A list of the 33 tested antimicrobials, their classes, and the concentrations used for susceptibility testing of S. aureus.
Stability of the determination of a time-dependent coefficient in parabolic equations
Creators: name: Choulli, Mourad
name: Kian, Yavar
Publisher: name: arXiv
Year: 2012
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35R30

description: We establish a Lipschitz stability estimate for the inverse problem consisting in the determination of the coefficient $σ(t)$, appearing in a Dirichlet initial-boundary value problem for the parabolic equation $\partial_tu-Δ_x u+σ(t)f(x)u=0$, from Neumann boundary data. We extend this result to the same inverse problem when the previous linear parabolic equation in changed to the semi-linear parabolic equation $\partial_tu-Δ_x u=F(t,x,σ(t),u(x,t))$.
title: „Du musst wahnsinnig gut vorbereitet sein“ – Kontextualisierter Grammatikunterricht im DaF-Unterricht für Anfänger*innen
Creators: name: Bjerre, Kirsten
name: Kabel, Kristine
Publisher: name: Universitäts- und Landesbibliothek Darmstadt
Year: 2023

description: Aktuelle fremdsprachendidaktische Tendenzen heben den Wert eines expliziten Grammatikunterrichts vor, der mit meaning making in einem kommunikativen Kontext verbunden ist. Allerdings bleibt offen, wie ein solcher Unterricht konkret konzeptualisiert werden kann. In diesem Artikel präsentieren und exemplifizieren wir drei konkrete Prinzipien für einen expliziten, funktionell orientierten Grammatikunterricht und diskutieren damit verbundene Herausforderungen aus Perspektive der Lehrenden. Die Prinzipien wurden im Rahmen einer größeren ethnografischen Studie in Dänemark entwickelt, gefolgt von Teilstudien, die die Verwendung dieser Prinzipien untersucht haben. Die Datengrundlage für diesen Artikel entstammt einer Teilstudie zu DaF-Unterricht in einer 9. Klasse, in der ein kommunikativ kontextualisierter Grammatikunterricht auf der Grundlage von Bildtexten aus World Press Photo und mit dem Thema Satzvorfeld durchgeführt wurde. Ziel ist es, durch diese drei Prinzipien Denkanstöße für den Grammatikunterricht in der Sekundarstufe zu geben und so einen Beitrag zur grammatikdidaktischen Forschung zu leisten.
Synthesizing Approximate Implementations for Unrealizable Specifications
Creators: name: Dimitrova, Rayna
name: Finkbeiner, Bernd
name: Torfah, Hazem
Publisher: name: CISPA
Year: 2023

description: The unrealizability of a specification is often due to the assumption that the behavior of the environment is unrestricted. In this paper, we present algorithms for synthesis in bounded environments, where the environment can only generate input sequences that are ultimately periodic words (lassos) with finite representations of bounded size. We provide automata-theoretic and symbolic approaches for solving this synthesis problem, and also study the synthesis of approximative implementations from unrealizable specifications. Such implementations may violate the specification in general, but are guaranteed to satisfy the specification on at least a specified portion of the bounded-size lassos. We evaluate the algorithms on different arbiter specifications.
title: Simulator opleiding: deelrapport 2. Scenario verondieping put ter hoogte van Rijnkaai
Creators: name: Plancke, Yves
name: Stark, Jeroen
name: Eloot, Katrien
name: Mostaert, Frank
Publisher: name: Flanders Hydraulics Research
Year: 2021

description: Title : WL Rapporten. Waterbouwkundig Laboratorium: Antwerpen Volume : 00_107_2 Issue : Pagination : VII, 13 + 26 p. bijl.
Backtracking of colloids: a multiparticle collision dynamics simulation study
Creators: name: Belushkin, M.
name: Winkler, R. G.
name: Foffi, G.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: The role of sound in the dynamics of mesoscale systems is typically neglected, since frequently the associated time scales are much smaller than all the other time scales of interest. However, for sufficiently small objects embedded in a solvent with a sufficiently small sound velocity, sound can play a crucial role. In particular, behavior resembling viscoelasticity has been theoretically predicted for non-viscoelastic fluids. This effect is due to the interference of the propagation of sound waves caused by the solute particle's motion and hydrodynamic vortex formation. We demonstrate this effect, known as backtracking, in computer simulations employing the method of multiparticle collision dynamics. We systematically study the influence of sound on the dynamics of the solute particle, and find that it disappears in the long-time limit. Thus, we confirm that sonic effects at the single-particle level can be neglected at sufficiently long times.
description: to appear in The Journal of Physical Chemistry B
Investigating heavy oil solution gas drive fluid properties and the effect of scale on depletion experiments
Creators: name: Goodarzi, Nina Naireka
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 169-180
description: Some pages are in colour.
description: Heavy oil reservoirs throughout the world are produced under solution gas drive mechanism, whereby oil production comes from energy inherent in the reservoir, as pressure drops and gas leaves solution with the oil. This has been observed in Canada's vast heavy oil resources in Alberta and Saskatchewan. Heavy oil solution gas drive mechanisms result in higher than Darcy predicted production and recovery, and better pressure maintenance within the reservoir. This research studies solution gas drive in heavy oil reservoirs. Heavy oil crude properties were measured using visualization CT scanning techniques and nuclear magnetic resonance techniques. Sand pack depletion experiments were also performed on different lengths in order to observe the foamy oil response with declining pressure. Understanding the effect of length on heavy oil solution gas drive may aid in scaling experimental observations to the field. Also, two 18 m long experiments were performed with different permeabilities to better understand the effect of sand permeability on the production and pressure response. Sand pack depletion results indicate that nucleation does not occur simultaneously throughout the sand pack; instead, it is a localized phenomenon. Low sand permeability causes slower pressure propagation throughout the sand, which results in slower nucleation of gas and lower recovery than higher permeability sands. In addition, gas saturation does not increase uniformly within the sand. Although the physics of foamy oil flow are captured in short cores, longer experimental systems show a more complete pressure decline response. As such, the gas in oil dispersion does not occur across the entire sand pack, and rates and recoveries will be more representative of field values.
Next-to-next-to-leading order post-Newtonian spin(1)-spin(2) Hamiltonian for self-gravitating binaries
Creators: name: Hartung, Johannes
name: Steinhoff, Jan
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present the next-to-next-to-leading order post-Newtonian (PN) spin(1)-spin(2) Hamiltonian for two self-gravitating spinning compact objects. If both objects are rapidly rotating, then the corresponding interaction is comparable in strength to a 4PN effect. The Hamiltonian is checked via the global Poincare algebra with the center-of-mass vector uniquely determined by an ansatz.
description: 7 pages, v2: published version
Approximate Automata for Omega-Regular Languages
Creators: name: Dimitrova, Rayna
name: Finkbeiner, Bernd
name: Torfah, Hazem
Publisher: name: CISPA
Year: 2023

description: Automata over infinite words, also known as omega-automata, play a key role in the verification and synthesis of reactive systems. The spectrum of omega-automata is defined by two characteristics: the acceptance condition (e.g. Büchi or parity) and the determinism (e.g., deterministic or nondeterministic) of an automaton. These characteristics play a crucial role in applications of automata theory. For example, certain acceptance conditions can be handled more efficiently than others by dedicated tools and algorithms. Furthermore, some applications, such as synthesis and probabilistic model checking, require that properties are represented as some type of deterministic omega-automata. However, properties cannot always be represented by automata with the desired acceptance condition and determinism. In this paper we study the problem of approximating linear-time properties by automata in a given class. Our approximation is based on preserving the language up to a user-defined precision given in terms of the size of the finite lasso representation of infinite executions that are preserved. We study the state complexity of different types of approximating automata, and provide constructions for the approximation within different automata classes, for example, for approximating a given automaton by one with a simpler acceptance condition.
Impact of cyber security awareness in small, medium enterprises (SMEs) in Wales
Creators: name: Rawindaran, Nisha
Publisher: name: Cardiff Metropolitan University
Year: 2023
Subjects: Cybersecurity and privacy not elsewhere classified

description: The rapid growth of digital technologies and how data is managed has transformed the way businesses operate, presenting countless opportunities and challenges. Small and Medium-sized Enterprises (SMEs) in Wales are increasingly reliant on digital systems to manage their operations, making them attractive targets for cyber threats. The particular importance of having the appropriate cyber-security in place to protect and secure their data, has become paramount within the SME sector. As cyber threats continue to evolve in sophistication and frequency, the importance of cyber security awareness for SMEs cannot be overstated and brings increased costs to SMEs. This research investigates the current state of cyber security awareness amongst Welsh SMEs, identifies the challenges they face in implementing effective security measures, and examines the potential benefits and outcomes of improved awareness. The research also assesses the existing support mechanisms available to SMEs in Wales to enhance their cyber security posture. Whilst SMEs are constantly being challenged by their own cyber regimes or to some, lack of them, the constant changes to governance and regulations, shows how SMEs can quite easily fall behind in keeping up to date. Technology can offer the protection and security of data, provided SMEs are able to understand the requirements of using the appropriate intelligent software packages to protect their growing data and the environment in which the data lives in. Through a mixed methods approach, data is collected from SMEs across various industries in Wales to tackle and answer the research question presented. The implications of this research will provide valuable insights for SMEs in Wales to understand the importance of cyber security awareness and the measures needed to protect their digital assets plus offer recommendations for policymakers and stakeholders to develop tailored support mechanisms that address the specific needs and challenges faced by SMEs. The research will explore the adoption of intelligent software and the current support structure in place for SMEs in Wales. The research will conclude by exploring various mechanisms in place for SME operations and sensitive information from cyber threats and provide a simplified framework in which SMEs can use to cope with the ever changing landscape. This research contributes to the existing body of knowledge by shedding light on the impact of cyber security awareness initiatives and informing strategies for enhancing cyber resilience amongst Welsh SMEs through this framework. The research will aim to foster a cyber-secure environment for SMEs in Wales, enabling them to thrive in an increasingly vulnerable digital landscape.
Correlations between SIDIS azimuthal asymmetries in target and current fragmentation regions
Creators: name: Kotzinian, Aram
name: Anselmino, Mauro
name: Barone, Vincenzo
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We shortly describe the leading twist formalism for spin and transverse-momentum dependent fracture functions recently developed and present results for the production of spinless hadrons in the target fragmentation region (TFR) of SIDIS. In this case not all fracture functions can be accessed and only a Sivers-like single spin azimuthal asymmetry shows up at LO cross-section. Then, we show that the process of double hadron production in polarized SIDIS -- with one spinless hadron produced in the current fragmentation region (CFR) and another in the TFR -- would provide access to all 16 leading twist fracture functions. Some particular cases are presented.
description: Talk given by Aram Kotzinian at the Third International Workshop on Transverse Polarization Phenomena in Hard Scattering (Transversity 2011), in Veli Losinj, Croatia, 29 August - 2 September 2011. 6 pages
Additional file 2: of Ube2v1-mediated ubiquitination and degradation of Sirt1 promotes metastasis of colorectal cancer by epigenetically suppressing autophagy
Creators: name: Shen, Tong
name: Cai, Ling-Dong
name: Liu, Yu-Hong
name: Li, Shi
name: Gan, Wen-Juan
name: Li, Xiu-Ming
name: Wang, Jing-Ru
name: Guo, Peng-Da
name: Zhou, Qun
name: Lu, Xing-Xing
name: Sun, Li-Na
name: Li, Jian-Ming
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Space Science
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Table S1. Primers for qPCR or DNA sequencing. Table S2. Differential proteins between control cells and cells with Ube2v1 stable overexpression by quantitative mass spectrometry. (PDF 107Â kb)
Carried in Common: Blame, Responsibility, and the Body in Tim O'Brien's Vietnam War Novels
Creators: name: Brewer, Zachary
Publisher: name: Arts
Year: 2018
Subjects: subject: Tim O'Brien
subject: Vietnam War Literature
subject: Object-Oriented Ontology
subject: New Materialism
subject: Ethics
subject: Moral Responsibility
subject: Thing Theory
subject: Literature--Modern
subject: Literature--American
subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: Guilt and blame are two significant thematic concerns for Tim O’Brien in his Vietnam war novels Going After Cacciato and The Things They Carried. However, both novels depict characters who interact with a vibrant world of ambient things which have a remarkable ability to effect change and influence the actions of the humans who nominally control them. Under the theoretical rubric of Object-Oriented Ontology (including the scholarship of Graham Harman, Bill Brown, Jane Bennett, and Karen Barad), this project challenges the uniqueness of human agency in the world while also considering the dubiousness of assigning singular blame and responsibility to human agents acting within a network of causal actors. While the majority of readings of O’Brien take a post-colonial position or investigate the author’s construction of truth through metafictional literary practices, this approach takes a broader view of O’Brien’s literary world, and the place of the human agent within it.
Single crystal growth and optical conductivity of SrPt$_2$As$_2$ superconductors
Creators: name: Fang, A. F.
name: Dong, T.
name: Wang, H. P.
name: Chen, Z. G.
name: Cheng, B.
name: Shi, Y. G.
name: Zheng, P.
name: Xu, G.
name: Wang, L.
name: Li, J. Q.
name: Wang, N. L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: SrPt$_2$As$_2$ single crystals with CaBe$_2$Ge$_2$-type structure were synthesized by self-melting technique. X-ray diffraction, transmission electron microscopy, electrical resistivity, specific heat and optical spectroscopy measurements were conducted to elucidate the properties of SrPt$_2$As$_2$. SrPt$_2$As$_2$ single crystals exhibit a superconducting transition at 5.2K, experiencing a structural phase transition well above room temperature (about 455K). The superconducting and structural phase transition temperatures are both reduced by 6% Iridium doping. Both pure SrPt$_2$As$_2$ and the doped single crystals are revealed to be highly metallic with rather high plasma frequencies. In particular, the optical spectroscopy measurement revealed two gap-like suppression features. We elaborated that the one at higher energy scale could be ascribed to the correlation effect, while the other one at lower energy scale is related to the structural phase transition, leading to the removal of a small portion of the Fermi surfaces.
description: 7 pages, 6 figures
Program Repair for Hyperproperties
Creators: name: Bonakdarpour, Borzoo
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: We study the repair problem for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple computation traces. This class of properties includes information flow policies like noninterference and observational determinism. The repair problem is to find, for a given Kripke structure, a substructure that satisfies a given specification. We show that the repair problem is decidable for HyperLTL specifications and finite-state Kripke structures. We provide a detailed complexity analysis for different fragments of HyperLTL and different system types: tree-shaped, acyclic, and general Kripke structures.
Пантелеймон Куліш-поет у критичній рецепції Миколи Зерова
Creators: name: Vashkiv, Lesia
Publisher: name: figshare
Year: 2020
Subjects: Literature

description: У статті проаналізована праця Миколи Зерова «Поетична діяльність Куліша», що є структурною частиною книжки нарисів з новітнього українського письменства «Від Куліша до Винниченка», під оглядом змісту, форми і поетики. Охарактеризовано критичну рефлексію Миколи Зерова поетичної спадщини Пантелеймона Куліша. Детально проаналізовано зміст фундаментальної статті, присвяченої з’ясуванню ролі і місця Куліша як ключової фігури українського літературного процесу другої половини ХІХ століття в розвитку національної поезії пошевченківської пори. У статті доведено, що М. Зеров «посягнув» на авторитет І. Франка в оцінці П. Куліша, бо вважав її надто категоричною і не у всьому справедливою. Його виважений неупереджений науковий аналіз, базований на використанні історико-культурного методу, сприяв обстоюванню мистецької ваги поетичної діяльності Пантелеймона Куліша. Обґрунтовано думку, що повернення до активного літературознавчого обігу академічних здобутків Миколи Зерова у царині характеристики ліричного спадку Пантелеймона Куліша, було справедливим і цінним стосовно обидвох постатей (і Куліша, і Зерова), незаслужено проскрибованих радянською літературознавчою наукою.
The article analyzes the work of Мykola Zerov, “The poetic activity of Kulish”, which is a structural part of the book of essays by the Ukrainian writer, “From Kulish to Vynnychenko”, by reviewing its content, form, and poetics. The critical reflection of Mykola Zerov on the poetic heritage of Panteleymon Kulish is characterized in the article. The content of a fundamental article devoted to clarifying the role and place of Kulish as a key figure in the Ukrainian literary process of the second half of the 19th century in the development of national poetry of the Shevchenko era was analyzed in detail. The article proved that Zerov “encroached” on the authority of Ivan Franko in the assessment of Panteleymon Kulish, as he considered it too categorical and not always fair. His balanced impartial analysis, based on the use of the historical and cultural method, helped to defend the artistic weight of the poetic activity of Panteleymon Kulish. It is justified that the return to the active literary practice of the academic achievements of Mykola Zerov in the field of characterizing the lyrical heritage of Panteleymon Kulish was fair and valuable in relation to both figures (both Kulish and Zerov), undeservedly scribbled by Soviet literary science.
การศึกษาความสามารถในการคิดอย่างมีวิจารณญาณโดยใช้วิธีการให้นั่งร้านของครูและนักเรียนชั้นประถมศึกษา ปีที่ 1-3 ในจังหวัดนครราชสีมา
Creators: name: วาสนา กีรติจำเริญ
Publisher: name: หจก.เลิศศิลป์ สาส์ณ โฮลดิ้ง
Year: 2564
Subjects: ความสามารถในการคิดอย่างมีวิจารณญาณ
การให้นั่งร้าน
20 เทคนิค

description: วารสารชุมชนวิจัย มหาวิทยาลัยราชภัฏนครราชสีมา, 15, 3, 15-29
Model Checking Data Flows in Concurrent Network Updates
Creators: name: Finkbeiner, Bernd
name: Gieseking, Manuel
name: Olderog, Ernst-Rüdiger
name: Hecking-Harbusch, Jesko
Publisher: name: CISPA
Year: 2023

description: We present a model checking approach for the verification of data flow correctness in networks during concurrent updates of the network configuration. This verification problem is of great importance for software-defined networking (SDN), where errors can lead to packet loss, black holes, and security violations. Our approach is based on a specification of temporal properties of individual data flows, such as the requirement that the flow is free of cycles. We check whether these properties are simultaneously satisfied for all active data flows while the network configuration is updated. To represent the behavior of the concurrent network controllers and the resulting evolutions of the configurations, we introduce an extension of Petri nets with a transit relation, which characterizes the data flow caused by each transition of the Petri net. For safe Petri nets with transits, we reduce the verification of temporal flow properties to a circuit model checking problem that can be solved with effective verification techniques like IC3, interpolation, and bounded model checking. We report on encouraging experiments with a prototype implementation based on the hardware model checker ABC.
Existence and uniqueness of solutions to the inverse boundary crossing problem for diffusions
Creators: name: Chen, Xinfu
name: Cheng, Lan
name: Chadam, John
name: Saunders, David
Publisher: name: arXiv
Year: 2011
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: We study the inverse boundary crossing problem for diffusions. Given a diffusion process $X_t$, and a survival distribution $p$ on $[0,\infty)$, we demonstrate that there exists a boundary $b(t)$ such that $p(t)=\mathbb{P}[τ>t]$, where $τ$ is the first hitting time of $X_t$ to the boundary $b(t)$. The approach taken is analytic, based on solving a parabolic variational inequality to find $b$. Existence and uniqueness of the solution to this variational inequality were proven in earlier work. In this paper, we demonstrate that the resulting boundary $b$ does indeed have $p$ as its boundary crossing distribution. Since little is known regarding the regularity of $b$ arising from the variational inequality, this requires a detailed study of the problem of computing the boundary crossing distribution of $X_t$ to a rough boundary. Results regarding the formulation of this problem in terms of weak solutions to the corresponding Kolmogorov forward equation are presented.
description: Published in at http://dx.doi.org/10.1214/10-AAP714 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)
«Когось нема, немов би всіх нема…» (Ярослав Павуляк у споминах / Упорядник О.С. Смоляк)
Creators: name: Vashkiv, Lesia
Publisher: name: figshare
Year: 2020
Subjects: Literature

description: Рецензія на книгу: Ярослав Павуляк у споминах / упорядник О.С. Смоляк. Тернопіль, 2017. 296 с.
«Я не дійшов до весняного лісу…» (Рецензія на видання: Василь Ярмуш у споминах / упорядкування та головна редакція О.С. Смоляка)
Creators: name: Vashkiv, Lesia
Publisher: name: figshare
Year: 2020
Subjects: Literature

description: Вашків Л.П. «Я не дійшов до весняного лісу…» (Рецензія на видання: Василь Ярмуш у споминах / упорядкування та головна редакція О.С. Смоляка). Тернопіль, 2018. 296 с.). Наукові записки Тернопільського національного педагогічного університету ім. В. Гнатюка. Серія: Літературознавство / за ред. д.ф.н. М.П. Ткачука. Тернопіль : ТНПУ. 2019. Вип. 51.
การศึกษาปัจจัยพฤติกรรมเสี่ยงที่ส่งผลต่อการเกิดอุบัติเหตุทางถนน
Creators: name: ภาวิณี เอี่ยมตระกูล
Publisher: name: หจก.เลิศศิลป์ สาส์ณ โฮลดิ้ง
Year: 2564
Subjects: พฤติกรรมเสี่ยงในการเดินทาง
อุบัติเหตุบนท้องถนน
ความปลอดภัยทางถนน

description: วารสารชุมชนวิจัย มหาวิทยาลัยราชภัฏนครราชสีมา, 15, 3, 30-42
A "saddle-node" bifurcation scenario for birth or destruction of a Smale-Williams solenoid
Creators: name: Isaeva, Olga B.
name: Kuznetsov, Sergey P.
name: Sataev, Igor R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: Formation or destruction of hyperbolic chaotic attractor under parameter variation is considered with an example represented by Smale--Williams solenoid in stroboscopic Poincaré map of two alternately excited non-autonomous van der Pol oscillators. The transition occupies a narrow but finite parameter interval and progresses in such way that periodic orbits constituting a "skeleton" of the attractor undergo saddle-node bifurcation events involving partner orbits from the attractor and from a non-attracting invariant set, which forms together with its stable manifold a basin boundary of the attractor.
description: 7 pages, 7 figures, 1 table
MultiFLIP for energetic two-phase fluid simulation
Creators: name: Boyd, William Landon
Publisher: name: University of British Columbia
Year: 2011

description: Physically-based liquid animations often ignore the influence of air, giving up interesting behaviour. We present a new method which treats both air and liquid as incompressible, more accurately reproducing the reality observed at scales relevant to computer animation. The Fluid Implicit Particle (FLIP) method, already shown to effectively simulate incompressible fluids with low numerical dissipation, is extended to two-phase flow by associating a phase bit with each particle. The liquid surface is reproduced at each time step from the particle positions, which are adjusted to prevent mixing near the surface and to allow for accurate surface tension. The liquid surface is adjusted around small-scale features so they are represented in the grid-based pressure projection, while separate, loosely coupled velocity fields reduce unwanted influence between the phases. The resulting scheme is easy to implement, requires little parameter tuning and is shown to reproduce lively two-phase fluid phenomena.
Поетичний світ Василя Ярмуша (ювілейні роздуми)
Creators: name: Vashkiv, Lesia
Publisher: name: figshare
Year: 2020
Subjects: Literature

description: Вашків Л.П. Поетичний світ Василя Ярмуша (ювілейні роздуми). Актуальні проблеми лінгводидактики в сучасному освітньому середовищі : матеріали Всеукраїнської науково-практичної конференції (з міжнародною участю) / за заг. ред. Г.І. Дідук-Ступ’як, Т.М. Миколенко, М.В. Пігур, м. Тернопіль, 6 листопада 2020 р. Тернопіль : Вектор, 2020. С. 187-189.
Vacuum stress-tensor in SSB theories
Creators: name: Asorey, Manuel
name: Lavrov, Petr M.
name: Ribeiro, Baltazar J.
name: Shapiro, Ilya L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences
subject: 81T20, 81T15

description: The renormalized energy-momentum tensor of vacuum has been deeply explored many years ago. The main result of these studies was that such a tensor should satisfy the conservation laws which reflects the covariance of the theory in the presence of loop corrections. In view of this general result we address two important questions, namely how to implement the momentum cut-off in a covariant way and whether this general result holds in the theory with Spontaneous Symmetry Breaking. In the last case some new interesting details arise and although the calculations are more involved we show that the final result satisfies the conservation laws.
description: 28 pages, RevTeX, no figures. Some comments on the previous publications on the subject modfied, one reference added
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification
Creators: name: Christi, Arpit
name: Groce, Alex
name: Gopinath, Rahul
Publisher: name: CISPA
Year: 2023

description: The ability to dynamically adapt to resource variations is critical for modern-day mission-critical systems that operate in ever-changing resource environments. Test-based Software Modification (TBSM) is a recently proposed technique to build Resource Adaptive Software (RAS) that relies on existing test infrastructure, test labeling, and program modifications. TBSM is simple and applicable, but an inefficient technique; the primary reason for inefficiency is the sheer size of the search space. In this paper, we propose AdFL, a repurposing of Fault Localization (FL) that can shrink (and prioritize) the search space for TBSM more effectively than previously proposed heuristics. We present complete case studies and an empirical analysis of a set of open source projects as evidence that AdFL can significantly reduce the search space in TBSM. We show how to combine AdFL with previous heuristics for TBSM, and propose an incremental, best-effort variant of TBSM that uses AdFL to prioritize the search.
Pursuing health and negotiating 'cure': a reflexive sociology of alternative medical practices
Creators: name: Fries, Christopher J.
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 351-390
description: Informed by the sociological theory of Foucault, Bourdieu, and Appadurai, this study investigates, ' What accounts for the increasing popularity of alternative medical practices in societies of the West, such as Canada?'. The focus is to explore the social spaces within which users of complementary / alternative medical practices negotiate cure, the forms of Bourdieuvian capital available to users, and how these are associated with the use of complementary / alternative medicine. The approach of Bourdieu's "reflexive sociology" is applied to explain the interconnections amongst the sweeping cultural transformations taking place within Western society, subjectivity, social practice, and the resurgence of medical pluralism. I suggest an operationalization of complementary / alternative medical practices that provides a basis for sociological study of medical pluralism focused on understanding how, amid a transnational, cultural context, sociocultural factors influence the pursuit of health. This study proceeds through three steps in a "sequential mixed method design": First, primary data from 12 interviews and a survey of 875 family physicians practicing in Alberta, Canada is used to develop a sociological classification of complementary / alternative medicine based upon physicians' assessments of efficacy, identifying those complementary / alternative medicine practices whose legitimacy is accepted by physicians; distinguishing them from rejected complementary / alternative medicine practices. Step 2 uses cross sectional data from the Canadian Community Health Survey to map the locations, in what Bourdieu calls "social space", of users of the two variants of complementary / alternative medicine, identified instep 1. The analysis provides both descriptive information in which the patterns of usage of accepted and rejected complementary / alternative medical practices are contrasted and multinomial logit models are used to estimate the factors which influence the use of the two variants of complementary / alternative medical practice. Step 3 uses in-depth interviews conducted with family physicians and 41 users of complementary / alternative medicine to build upon the findings from the quantitative analyses of the first part of the dissertation to further explain the relationship between the capital resources held by users and their negotiation of cure. A phenomenological typology of users of complementary /alternative medical practices is presented.
การศึกษาความสามารถในการสืบเสาะหาความรู้และการคิดเชิงประยุกต์ในวิชาชีววิทยา เรื่องโครงสร้างและหน้าที่ ของพืชดอกด้วยแนวทางการจัดการเรียนรู้แบบเชิงรุก (Active Learning): กรณีศึกษานักเรียนระดับมัธยมศึกษาชั้นปีที่ 5
Creators: name: ธวรรณรัตน์ นาคเครือ
Publisher: name: หจก.เลิศศิลป์ สาส์ณ โฮลดิ้ง
Year: 2564
Subjects: การสืบเสาะหาความรู้
การคิดเชิงประยุกต์
การจัดการเรียนรู้แบบเชิงรุก

description: วารสารชุมชนวิจัย มหาวิทยาลัยราชภัฏนครราชสีมา, 15, 3, 43-55
GDPR-Compliant Reputation System Based on Self-certifying Domain Signatures
Creators: name: Kutylowski, Miroslaw
name: Lemiesz, Jakub
name: Slowik, Marta
name: Slowik, Marcin
name: Kluczniak, Kamil
name: Gebala, Maciej
Publisher: name: CISPA
Year: 2023

description: Creating a distributed reputation system compliant with the GDPR Regulation faces a number of problems. Each record should be protected regarding its integrity and origin, while the record’s author should remain anonymous, as long as there is no justified legal reason to reveal his real identity. Thereby, the standard digital signatures cannot be applied to secure the records. In this paper we propose a Privacy Aware Distributed Reputation Evaluation system, where each subject of evaluation holds its recommendation record. By application of a novel technique of domain signatures we are able to guarantee that (a) integrity of each entry is strongly protected; in particular, the evaluation subject cannot modify it, (b) the author of each entry is anonymous, however all entries of the same author on the same subject appear under the same pseudonym (so the Sybil attacks are repelled), (c) the entries corresponding to the same author but for different evaluation subjects are unlinkable, (d) only registered users can create valid entries, (e) the real identity of the author of an entry can be revealed by relevant authorities by running a multi-party protocol, (f) for each entry one can create a pseudorandom key in a deterministic way. The first five features correspond directly to the requirements of the GDPR Regulation. In particular, they guard against profiling the users based on the entries created by them. In order to facilitate practical applications we propose to maintain a pseudorandom sample of all entries concerning a given evaluation subject. We show how to guarantee that the sample is fairly chosen despite the fact that the sample is kept by the evaluation subject. We present a few strategies enabling to mimic some important probability distributions for choosing the sample.
Modeling of Biological Membranes by a Coarse-grained Approach
Creators: name: Delgado Magnero, Karelia Hortencia
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: biological membranes
subject: coarse-grained simulation
subject: molecular dynamics simulation
subject: large-scale membrane models
subject: Martini model
subject: lipid-protein interactions
subject: Biology--Molecular
subject: Biophysics
subject: Biochemistry
subject: Applied Sciences

description: In this thesis, Martini coarse-grained simulations were performed to investigate the dynamic behavior of lipids and proteins in two different membrane-protein systems. In the first study, I simulated a chromatophore membrane. The model consists of the cytochrome-bc1 from Rhodobacter sphaeroides embedded in an asymmetric distribution of three lipid species. Analyses of a simulation carried out over 40 microseconds highlight specific lipid-protein interactions that are of biological relevance for ongoing research. The second study works towards the modeling of biological membranes at a larger scale. We developed a protocol to build and simulate complex models more representative of physiological membranes, in terms of crowdedness of proteins and lipid diversity. Several eukaryotic plasma membrane models were generated. Analyses of a system consisting of 150 proteins with more than 60 lipid species and simulated for 6 microseconds are discussed.
Особливості новелістичного мислення Марії Матіос
Creators: name: Vashkiv, Lesia
name: Boroditsa, Svitlana
Publisher: name: figshare
Year: 2020
Subjects: Literature

description: У статті аналізується жанрова і стильова специфіка новелістики М. Матіос крізь призму її художнього мислення, простежуються тематичні, образні, наративні домінанти у моделюванні художнього світу у збірці «Нація», що вияскравлює індивідуально-авторську майстерність письменниці у жанрі новели.
โมเดลสมการโครงสร้างการส่งเสริมความภักดีของลูกค้ากลุ่มวัยทำงานที่ซื้อสินค้าเกษตรอินทรีย์ในอำเภอพุทธมณฑล จังหวัดนครปฐม
Creators: name: ธันย์ ชัยทร
Publisher: name: หจก.เลิศศิลป์ สาส์ณ โฮลดิ้ง
Year: 2564
Subjects: ความภักดีของลูกค้า
กลยุทธ์การตลาดบริการ
การรับรู้คุณภาพบริการ
สินค้าเกษตรอินทรีย์

description: วารสารชุมชนวิจัย มหาวิทยาลัยราชภัฏนครราชสีมา, 15, 3, 56-69
Relaxation Height in Energy Landscapes: an Application to Multiple Metastable States
Creators: name: Cirillo, Emilio N. M.
name: Nardi, Francesca R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Probability (math.PR)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The study of systems with multiple (not necessarily degenerate) metastable states presents subtle difficulties from the mathematical point of view related to the variational problem that has to be solved in these cases. We introduce the notion of relaxation height in a general energy landscape and we prove sufficient conditions which are valid even in presence of multiple metastable states. We show how these results can be used to approach the problem of multiple metastable states via the use of the modern theories of metastability. We finally apply these general results to the Blume--Capel model for a particular choice of the parameters ensuring the existence of two multiple, and not degenerate in energy, metastable states.
Hide and Seek: An Architecture for Improving Attack-Visibility in Industrial Control Systems
Creators: name: Giraldo, Jairo
name: Urbina, David
name: Cárdenas, Alvaro A.
name: Tippenhauer, Nils Ole
Publisher: name: CISPA
Year: 2023

description: In the past years we have seen an emerging field of research focusing on using the “physics” of a Cyber-Physical System to detect attacks. In its basic form, a security monitor is deployed somewhere in the industrial control network, observes a time-series of the operation of the system, and identifies anomalies in those measurements in order to detect potentially manipulated control commands or manipulated sensor readings. While there is a growing literature on detection mechanisms in that research direction, the problem of where to monitor the physical behavior of the system has received less attention. In this paper, we analyze the problem of where should we monitor these systems, and what attacks can and cannot be detected depending on the location of this network monitor. The location of the monitor is particularly important, because an attacker can bypass attack-detection by lying in some network interfaces while reporting that everything is normal in the others. Our paper is the first detailed study of what can and cannot be detected based on the devices an attacker has compromised and where we monitor our network. We show that there are locations that maximize our visibility against such attacks. Based on our analysis, we design a low-level security monitor that is able to directly observe the field communication between sensors, actuators, and Programmable Logic Controllers (PLCs). We implement that security monitor in a realistic testbed, and demonstrate that it can detect attacks that would otherwise be undetected at the supervisory network.
Translating Asynchronous Games for Distributed Synthesis
Creators: name: Beutner, Raven
name: Finkbeiner, Bernd
name: Hecking-Harbusch, Jesko
Publisher: name: CISPA
Year: 2023

description: In distributed synthesis, a set of process implementations is generated, which together, accomplish an objective against all possible behaviors of the environment. A lot of recent work has focussed on systems with causal memory, i.e., sets of asynchronous processes that exchange their causal histories upon synchronization. Decidability results for this problem have been stated either in terms of control games, which extend Zielonka's asynchronous automata by partitioning the actions into controllable and uncontrollable, or in terms of Petri games, which extend Petri nets by partitioning the tokens into system and environment players. The precise connection between these two models was so far, however, an open question. In this paper, we provide the first formal connection between control games and Petri games. We establish the equivalence of the two game types based on weak bisimulations between their strategies. For both directions, we show that a game of one type can be translated into an equivalent game of the other type. We provide exponential upper and lower bounds for the translations. Our translations allow to transfer and combine decidability results between the two types of games. Exemplarily, we translate decidability in acyclic communication architectures, originally obtained for control games, to Petri games, and decidability in single-process systems, originally obtained for Petri games, to control games.
Clinical social work and social justice
Creators: name: McLaughlin, Anne Marie
Publisher: name: Social Work
Year: 2006

description: Bibliography: p. 185-206
description: This study explores how clinical social workers working in the field of mental health understand and express social justice. Interest in this area arose in the context of an increased interest both within the social work profession and from outside, to increase efforts to attain social justice. Yet the concept of social justice is not well understood. Meanings differ, depending on underlying political philosophy and goals. Eighteen social workers practicing in the field of mental health were interviewed in order to gain insight into their understanding and interpretation of what social justice means. Grounded theory method was utilized in the collection and analysis of data. With respect to the meaning of social justice for participants the following main themes were identified: social justice as social systems, social justice as resources, and social justice as transformative respect. The primary vehicle for advancing social justice for participants in this study was through advocacy. A re-conceptualization of what advocacy entails is presented. Barriers, identified by participants, to achieving social justice include: time, the organization, complexity, ambivalence, and the clinical trap. Recommendations for improving the ability of clinical social workers to engage in social justice strategies are suggested. For example, a revamping of the advanced practice social work curriculum is required with particular emphasis paid to the multiple meanings of social justice, including different underlying political philosophies. Further, it is suggested that professional associations are an under utilized resource for engaging social workers in social justice pursuits.
การออกแบบและพัฒนารูปแบบเครื่องประดับเพื่อหาแนวทางเพิ่มมูลค่าผลิตภัณฑ์ผ้าไหมย้อมสีธรรมชาติจากใบขลู่
Creators: name: ภัทรา ศรีสุโข
Publisher: name: หจก.เลิศศิลป์ สาส์ณ โฮลดิ้ง
Year: 2564
Subjects: เครื่องประดับ
ผ้าย้อมสีธรรมชาติ
ใบขลู่
ไหม

description: วารสารชุมชนวิจัย มหาวิทยาลัยราชภัฏนครราชสีมา, 15, 3, 70-79
Образ козака-характерника у першому українському історичному романі “Чорна рада” Пантелеймона Куліша
Creators: name: Vashkiv, Lesia
Publisher: name: figshare
Year: 2020
Subjects: Literature

description: У статті розглядається образ козака-характерника у першому українському історичному романі “Чорна рада” Пантелеймона Куліша
Scaling of the anomalous Hall effect in SrRuO$_{3}$
Creators: name: Haham, Noam
name: Shperber, Yishai
name: Schultz, Moty
name: Naftalis, Netanel
name: Shimshoni, Efrat
name: Reiner, James W.
name: Klein, Lior
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We measure the anomalous Hall effect (AHE) resistivity $ρ_{xy}$ in thin films of the itinerant ferromagnet SrRuO$_{3}$. At low temperatures, the AHE coefficient $R_{s}$ varies with $ρ_{xx}^2$, and at higher temperatures, $R_{s}$ reaches a peak and then changes sign just below $T_{c}$. We find that for all films studied $R_{s}$ scales with resistivity in the entire ferromagnetic phase. We attribute the observed behavior to the contribution of the extrinsic side jumps mechanism and the intrinsic Karplus-Luttinger (Berry phase) mechanism including the effect of finite scattering rates.
description: arXiv admin note: substantial text overlap with arXiv:1105.3059
Measuring decay rate of spontaneous emission from an ensemble of cold atoms by homodyne detection
Creators: name: Jalnapurkar, Shreyas
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: atomic fluorescence
subject: homodyne detection
subject: ultracold atoms
subject: nanofiber
subject: spontaneous emission
subject: Physics--Atomic
subject: Optics

description: Nanofibers are a valuable tool for interfacing photons with atomic media through its guided mode which propagates evanescent to the fiber. However, the nanofiber modifies the natural decay rate of the atomic dipoles due to the Purcell effect. It is vital to study these atom-fiber interactions to characterize the system. This thesis delineates an experimental technique to obtain the spontaneous emission rate of a cloud of Rubidium-87 atoms in the presence of a nanofiber. The atoms are prepared in a magneto optical trap and the emissions are monitored by balanced homodyne detection. The temporal autocorrelation function of the homodyne’s photocurrent reproduces the exponential profile of spontaneous emission. The measured time constant of the profile is 26.3 ns which is almost twice that of free space emission. The modified decay rate depends on the atom’s orientation and distance from the nanofiber surface. We theoretically estimate the modified decay rate and model the expected decay profile for our ensemble of atoms which agrees well with our measurements. To our knowledge, this is the first experimental demonstration of spontaneous emission being measured by homodyne detection.
การออกแบบการเรียนรู้เพื่อพัฒนาทักษะการเรียนรู้ในศตวรรษที่ 21 ของนักศึกษามหาวิทยาลัยราชภัฏนครราชสีมา
Creators: name: จันทร์เพ็ญ แสงอรุณ
Publisher: name: หจก.เลิศศิลป์ สาส์ณ โฮลดิ้ง
Year: 2564
Subjects: ทักษะการเรียนรู้ในศตวรรษที่ 21
จิตวิทยาการปรึกษาและการแนะแนว
การออกแบบ

description: วารสารชุมชนวิจัย มหาวิทยาลัยราชภัฏนครราชสีมา, 15, 3, 80-90