cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Raman Evidence for Superconducting Gap and Spin-Phonon Coupling in Superconductor Ca(Fe0.95Co0.05)2As2
Creators: name: Kumar, Pradeep
name: Bera, Achintya
name: Muthu, D. V. S.
name: Kumar, Anil
name: Waghmare, U. V.
name: Harnagea, L.
name: Hess, C.
name: Wurmehl, S.
name: Singh, S.
name: Büchner, B.
name: Sood, A. K.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Inelastic light scattering studies on single crystal of electron-doped Ca(Fe0.95Co0.05)2As2 superconductor, covering the tetragonal to orthorhombic structural transition as well as magnetic transition at TSM ~ 140 K and superconducting transition temperature Tc ~ 23 K, reveal evidence for superconductivity-induced phonon renormalization; in particular the phonon mode near 260 cm-1 shows hardening below Tc, signaling its coupling with the superconducting gap. All the three Raman active phonon modes show anomalous temperature dependence between room temperature and Tc i.e phonon frequency decreases with lowering temperature. Further, frequency of one of the modes shows a sudden change in temperature dependence at TSM. Using first-principles density functional theory-based calculations, we show that the low temperature phase (Tc < T < TSM) exhibits short-ranged stripe anti-ferromagnetic ordering, and estimate the spin-phonon couplings that are responsible for these phonon anomalies.
Teacher Professional Knowledge Building Networks: Creating Opportunities for Teacher-Shared Knowledge Creation
Creators: name: Perdue, Marcie Dawn
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Knowledge Networks
subject: Knowledge Building
subject: Teacher Professional Development
subject: Teacher Professional Learning
subject: Online Learning
subject: Education--Administration
subject: Education--Curriculum and Instruction
subject: Education--Technology

description: The purpose of this study is to explore the extent to which the development of a professional knowledge building network could increase the collective knowledge building and shared learning of teachers within one rural Alberta school division. The goal of this case study research is to examine the ways teachers share and build professional knowledge within a networked environment and identify specific inhibitors to knowledge building that may impact effective shared knowledge creation. A Conceptual Framework for the Creation of Shared Professional Knowledge was developed for this case study that provided a better understanding of knowledge building among teachers, as well as specific design features needed in a professional knowledge building network. Throughout this case study, different data sources such as questionnaires, semi-structured interviews, server log data, and card sorts provided a variety of personal perspectives and experiences with regards to professional knowledge creation shared among teachers. The findings from this study identified several Knowledge Building Inhibitors that impact the successful sharing and building of knowledge. This study also highlighted the importance of relational trust with regards to successful knowledge building and indicated that teacher expertise plays an important role in knowledge reciprocity. Overall, this research study provided a unique perspective with regards to effective teacher-shared knowledge creation within a knowledge building network.
An exact optimization method based on dominance properties for the design of AS/RSs
Creators: name: HAMZAOUI, Mohammed Adel
name: Sari, Zaki
Publisher: name: figshare
Year: 2020
Subjects: subject: 150309 Logistics and Supply Chain Management
subject: FOS: Economics and business

description: Optimizing the design of storage systems is of crucial importance for operational excellence. The aim of this paper is to explore the optimization of the design for automated storage systems. In this latter, we are interested in three different systems. First, we highlight the different methods used to deal with this problem and point out their limits. Thereafter, we present the different corresponding cycle times models. Then, we identify and demonstrate several mathematical properties, which we use as dominance properties to implement an efficient resolution algorithm. Our algorithm greatly surpasses the existing optimization methods used for the design optimization problems. The proposed approach allows us to obtain the optimal solution ten times faster than the commonly used methods, as illustrated by a comparative numerical study.
The KNOB is Broken: Exploiting Low Entropy in the Encryption Key Negotiation Of Bluetooth BR/EDR
Creators: name: Antonioli, Daniele
name: Tippenhauer, Nils Ole
name: Rasmussen, Kasper Bonne
Publisher: name: CISPA
Year: 2023

description: We present an attack on the encryption key negotiation protocol of Bluetooth BR/EDR. The attack allows a third party, without knowledge of any secret material (such as link and encryption keys), to make two (or more) victims agree on an encryption key with only 1 byte (8 bits) of entropy. Such low entropy enables the attacker to easily brute force the negotiated encryption keys, decrypt the eavesdropped ciphertext, and inject valid encrypted messages (in real-time). The attack is stealthy because the encryption key negotiation is transparent to the Bluetooth users. The attack is standard-compliant because all Bluetooth BR/EDR versions require to support encryption keys with entropy between 1 and 16 bytes and do not secure the key negotiation protocol. As a result, the attacker completely breaks Bluetooth BR/EDR security without being detected. We call our attack Key Negotiation Of Bluetooth (KNOB) attack. The attack targets the firmware of the Bluetooth chip because the firmware (Bluetooth controller) implements all the security features of Bluetooth BR/EDR. As a standard-compliant attack, it is expected to be effective on any firmware that follows the specification and on any device using a vulnerable firmware. We describe how to perform the KNOB attack, and we implement it. We evaluate our implementation on more than 14 Bluetooth chips from popular manufacturers such as Intel, Broadcom, Apple, and Qualcomm. Our results demonstrate that all tested devices are vulnerable to the KNOB attack. We discuss countermeasures to fix the Bluetooth specification and its implementation.
Thermodynamic properties and structural stability of thorium dioxide
Creators: name: Lu, Yong
name: Yang, Yu
name: Zhang, Ping
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Using density functional theory (DFT) calculations, we have systematically investigated the thermodynamic properties and structural stabilities of thorium dioxide (ThO$_2$). Based on the calculated phonon dispersion curves, we calculate the thermal expansion coefficient, bulk modulus, and heat capacities at different temperatures for ThO$_2$ under the quasi-harmonic approximation. All the results are in good agreement with corresponding experiments proving the validity of our methods. Our theoretical studies can help people more clearly understand the thermodynamic behaviors of ThO$_2$ at different temperatures. In addition, we have also studied possible defect formations and diffusion behaviors of helium in ThO$_2$, to discuss its structural stability. It is found that in intrinsic ThO$_2$ without any Fermi energy shifts, the interstitial Th$_i^{4+}$ defect other than oxygen or thorium vacancies, interstitial oxygen, and any kinds of Frenkel pairs, is most probable to form with an energy release of 1.74 eV. However, after upshifting the Fermi energy, the formation of the other defects also becomes possible. For helium diffusion, we find that only through the thorium vacancy can it happen with the small energy barrier of 0.52 eV. Otherwise, helium atoms can hardly incorporate or diffuse in ThO$_2$. Our results indicate that people should prevent upshifts of the Fermi energy of ThO$_2$ to avoid the formation of thorium vacancies and so as to prevent helium caused damages.
description: 11 pages, 11 figures
ScriptProtect: Mitigating Unsafe Third-Party JavaScript Practices
Creators: name: Musch, Marius
name: Steffens, Marius
name: Roth, Sebastian
name: Stock, Ben
name: Johns, Martin
Publisher: name: CISPA
Year: 2023

description: The direct client-side inclusion of cross-origin JavaScript resources in Web applications is a pervasive practice to consume third-party services and to utilize externally provided libraries. The downside of this practice is that such external code runs in the same context and with the same privileges as the first-party code. Thus, all potential security problems in the code directly affect the including site. To explore this problem, we present an empirical study which shows that more than 25% of all sites affected by Client-Side Cross-Site Scripting are only vulnerable due to a flaw in the included third-party code. Motivated by this finding, we propose ScriptProtect, a non-intrusive transparent protective measure to address security issues introduced by external script resources. ScriptProtect automatically strips third-party code from the ability to conduct unsafe string-to-code conversions. Thus, it effectively removes the root-cause of Client-Side XSS without affecting first-party code in this respective. As ScriptProtect is realized through a lightweight JavaScript instrumentation, it does not require changes to the browser and only incurs a low runtime overhead of about 6%. We tested its compatibility on the Alexa Top 5,000 and found that 30% of these sites could benefit from ScriptProtect’s protection today without changes to their application code.
Magic wavelengths for optical cooling and trapping of lithium
Creators: name: Safronova, M. S.
name: Safronova, U. I.
name: Clark, Charles W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Using first-principles calculations, we identify magic wavelengths for the 2s-2p and 2s-3p transitions in lithium. The ns and np atomic levels have the same ac Stark shifts at the corresponding magic wavelength, which facilitates state-insensitive optical cooling and trapping. Tune-out wavelengths for which the ground-state frequency-dependent polarizability vanishes are also calculated. Differences of these wavelengths between 6Li and 7Li are reported. Our approach uses high-precision, relativistic all-order methods in which all single, double, and partial triple excitations of the Dirac-Fock wave functions are included to all orders of perturbation theory. Recommended values are provided for a large number of Li electric-dipole matrix elements. Static polarizabilities for the 2s, 2p, 3s, 3p, and 3d levels are compared with other theory and experiment where available. Uncertainties of all recommended values are estimated. The magic wavelengths for the uv 2s-3p transition are of particular interest for the production of a quantum gas of lithium [Duarte et al., Phys. Rev. A 84, 061406R (2011)].
description: 7 pages, 5 figures
Estimating the probability of egg loss due to scour and fill under high flows
Creators: name: Glawdel, Joanna
Publisher: name: University of British Columbia
Year: 2011

description: Sediment transportation occurs during high flow events in gravel bed rivers resulting in a change in bed elevations. Some areas of the river experience a net degradation (scour) and others net aggradation (fill). During these events, incubating salmon eggs can be scoured from their pockets or sediment may be deposited above them, preventing intergravel flow and the emergence of fry. The purpose of this thesis is to develop a framework for estimating the probability of egg loss due to scour and fill for a range of possible high flow events in a river. The developed framework consists of four steps. Steps one and two are the application of 2-dimensional hydrodynamic and morphodynamic models. The hydrodynamic model provides outputs of velocity, depth and shear stress at specified locations within the river. In the second step, these results are input into a morphodynamic model that simulates bed elevation changes during a transient simulation of the event. In the third step for a range of events, pre and post-event bed elevations are compared and the values of scour and fill depth are described by probabilistic distributions. For a specific high flow event, given a specific egg burial depth, a relationship between the proportion of egg loss due to scour and fill may be determined based on these distributions. In the final step, uncertainty in the depth of egg burial is accounted for by developing an egg loss model using reliability analysis that determines the probability of not meeting a target egg survival rate. The developed methodology can be applied to any gravel river and is applicable to any salmon species. A case study of the Campbell River, British Columbia using the 2D hydrodynamic and morphodynamic models, River 2D and R2DM, is developed to demonstrate the methodology. For the case study, the Generalized Pareto Distribution is recommended to describe scour and fill in high flow events in spawning areas.
Genetics and evolution of ultraviolet reflectance in flowers
Creators: name: Liu, Yan
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Phylogeny
subject: Biogeography
subject: Biodiversity
subject: Conservation Biology
subject: Plant Sciences
subject: Botany
subject: Genetics
subject: FOS: Biological sciences
subject: Biology--Molecular

description: Many flowers have ultraviolet (UV) reflectance patterns, which are invisible to humans but visible to pollinators, such as bumblebees and hummingbirds. In bees and hummingbirds, photoreceptors are sensitive to UV wavelengths, and it is therefore necessary to incorporate this variable to model pollinators’ perception and assess floral UV evolution. In this thesis, I explore micro- and macroevolutionary patterns in floral UV patterns, specifically concentrating on the effect of this phenotype on pollinators. I first explore the ways in which UV patterns can be measured and characterized, as well as explore the underlying basis of UV patterning in flowers. By gathering UV reflectance data (between 300 to 400nm) on 150 species, I found evidence that the phylogenetic distribution of UV trait disparity is consistent with a stabilizing selection model of evolution, but the magnitude of stabilizing selection varies with geography and pollinator syndrome. Mimulus species have become key model species for investigating the genetics of floral adaptations, in part because it is tremendous diversity in floral phenotypes. I firstly estimate genetic diversity in six populations in Alberta and British Columbia. Historical contingency (via geographic and bioclimatic events) provides the evidence of restricted gene flow. Variance in phenotypes depends not only on allelic interactions but also on environmental factors. Variation and heritability of the floral UV reflectance are further explored with experimental interspecific crosses between Mimulus guttatus and Mimulus luteus. By recoding 12 floral traits throughout the parental to F4 generations, I find that phenotypic covariance is strongest between UV reflectance and other floral traits, lending evidence to the idea that UV reflectance in flowers evolves along with other floral traits as a response to selection from pollinators. My research has implications for forecasting plant adaptation through hybridization and polyploidization, which may occur in concert with the evolution of plant-pollinator relationships.
Anomalously small blackbody radiation shift in Tl+ frequency standard
Creators: name: Zuhrianda, Z.
name: Safronova, M. S.
name: Kozlov, M. G.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The operation of atomic clocks is generally carried out at room temperature, whereas the definition of the second refers to the clock transition in an atom at absolute zero. This implies that the clock transition frequency should be corrected in practice for the effect of finite temperature of which the leading contributor is the blackbody radiation (BBR) shift. In the present work, we used configuration interaction + coupled-cluster method to evaluate polarizabilities of the $6s^2 ^1S_0$ and $6s6p ^3P_0$ states of Tl$^+$ ion; we find $α_0(^1S_0)=19.6$ a.u. and $α_0(^3P_0)=21.4$ a.u.. The resulting BBR shift of the $6s6p ^3P_0 - 6s^2 ^1S_0$ Tl$^+$ transition at $300 K$ is $Δν_{\rm BBR}=-0.0157(16)$ Hz. This result demonstrates that near cancelation of the $^1S_0$ and $^3P_0$ state polarizabilities in divalent B+, Al+, In$^+$ ions of group IIIB [Safronova \textit{et al.}, PRL 107, 143006 (2011)] continues for much heavier Tl$^+$, leading to anomalously small BBR shift for this system. This calculation demonstrates that the BBR contribution to the fractional frequency uncertainty of the Tl+ frequency standard at 300K is $1\times10^{-18}$. We find that Tl+ has the smallest fractional BBR shift among all present or proposed frequency standards with the exception of Al+.
description: 5 pages
On stochasticity in nearly-elastic systems
Creators: name: Freidlin, Mark
name: Hu, Wenqing
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 70K65, 34C28, 37D99, 60J25

description: Nearly-elastic model systems with one or two degrees of freedom are considered: the system is undergoing a small loss of energy in each collision with the "wall". We show that instabilities in this purely deterministic system lead to stochasticity of its long-time behavior. Various ways to give a rigorous meaning to the last statement are considered. All of them, if applicable, lead to the same stochasticity which is described explicitly. So that the stochasticity of the long-time behavior is an intrinsic property of the deterministic systems.
description: 35 pages, 12 figures, already online at Stochastics and Dynamics
Complementary currency and quality of life: social and economic capital effects on subjective well-being
Creators: name: Wheatley, Gerald
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 145-162
description: Some pages are in colour.
description: This thesis draws on popular and academic literature to provide a conceptual framework for understanding complementary currencies and their relation to social movements, social capital, economic capital, voluntary simplicity, mindfulness, and subjective well-being. With a sample drawn from complementary currency participants in Calgary, Alberta, Ithaca, New York, and Nelson, British Columbia, purposive, in-person interviews were conducted from 2002 to 2003. Geographic, demographic, univariate, bivariate, and multivariate data analyses were conducted to determine potential relationships between complementary currency participation and social capital, economic capital, and subjective well-being. Social and economic capital are shown to increase as a result of increased complementary currency participation. Attendance at complementary currency events is positively associated with social capital, economic capital, and subjective well-being. Social and economic capital are also positively associated with increased mindfulness. Respondents assert the positive influence of complementary currency participation on their life satisfaction.
Scaling behavior of a square-lattice Ising model with competing interactions in a uniform field
Creators: name: de Queiroz, S. L. A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Transfer-matrix methods, with the help of finite-size scaling and conformal invariance concepts, are used to investigate the critical behavior of two-dimensional square-lattice Ising spin-1/2 systems with first- and second-neighbor interactions, both antiferromagnetic, in a uniform external field. On the critical curve separating collinearly-ordered and paramagnetic phases, our estimates of the conformal anomaly $c$ are very close to unity, indicating the presence of continuously-varying exponents. This is confirmed by direct calculations, which also lend support to a weak-universality picture; however, small but consistent deviations from the Ising-like values $η=1/4$, $γ/ν=7/4$, $β/ν=1/8$ are found. For higher fields, on the line separating row-shifted $(2 \times 2)$ and disordered phases, we find values of the exponent $η$ very close to zero.
description: RevTeX 4.1, 9 pages, 5 .eps figures (published version)
Mutter Courage und ihre Erbe: Mother Courage and her Legacy
Creators: name: Young, Adrian
Publisher: name: Arts
Year: 2018
Subjects: subject: Brecht
subject: Mother Courage and Her Children
subject: Theater
subject: Literature--Germanic

description: Mother Courage and Her Children is a play that has seemingly lost its place in the world. Brecht’s original intent was to use verfremdungseffekt to distance his audience from the violence that had swallowed them and use that distance to let his audience have a long, critical look at society. However, in modern Western society we have been desensitized to the sort of violence and the context that Brecht wanted critical distance from. We live in a world that the play does not anticipate. The context of the contemporary world does not necessarily allow for the Brechtian playing of Mother Courage. Therefore, a contemporary interpretation that is more in touch with the current world is required. This document examines the attempt to bring the play, and its significantly important context, to a contemporary North American audience in order to see if the words of the play still reverberate.
Temperature-dependent Raman study of CeFeAsO0.9F0.1 Superconductor: Crystal field excitations, phonons and their coupling
Creators: name: Kumar, Pradeep
name: Kumar, Anil
name: Saha, Surajit
name: Muthu, D. V. S.
name: Prakash, J.
name: Waghmare, U. V.
name: Ganguli, A. K.
name: Sood, A. K.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We report temperature-dependent Raman spectra of CeFeAsO0.9F0.1 from 4 K to 300 K in spectral range of 60 to 1800 cm-1 and interpret them using estimates of phonon frequencies obtained from first-principles density functional calculations. We find evidence for a strong coupling between the phonons and crystal field excitations; in particular Ce3+ crystal field excitation at 432 cm-1 couples strongly with Eg oxygen vibration at 389 cm-1 . Below the superconducting transition temperature, the phonon mode near 280 cm-1 shows softening, signaling its coupling with the superconducting gap. The ratio of the superconducting gap to Tc thus estimated to be ~ 10 suggests CeFeAsO0.9F0.1 as a strong coupling superconductor. In addition, two high frequency modes observed at 1342 cm-1 and 1600 cm-1
Reduced-parameter approaches to time-sensitive discovery and analysis of navigational patterns
Creators: name: Udechukwu, Ajumobi Okwuchukwu
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 130-142
description: Navigational pattern discovery is the application of pattern mmmg techniques to navigational studies. Previous work on navigational pattern discovery strongly relies on user-specified preset parameters (notably, support thresholds). A major drawback of parameter-driven data mining is setting appropriate thresholds. In most practical scenanos, data mining 1s iterative, meaning that the analyst may mme at varymg thresholds before arriving at satisfactory results. This usually proves expensive m parameter-driven techniques. These challenges faced in parameter-driven data mining become very pronounced in environments with continuously streaming data where it is no longer possible to apply simple iterative data mining techniques. This thesis explores a new design goal for the discovery and analysis of navigational patterns, which aims to reduce the use of pre-defined parameters required at the beginning of the mining process (reduced-parameter mining), and completely removes pre-defined parameters wherever possible (parameter-free mining). The new paradigm is developed in the context of time-sensitive navigational pattern discovery. Three broad dimensions are explored where time can significantly affect the ways navigational patterns are to be discovered or analyzed. The first dimension 1s m information systems where the content continuously changes with time (thus affecting navigational behaviour). The second dimension is in high-volume information systems, where the usage-logs continuously change with time. The final dimension of temporal significance in navigational pattern discovery explored in the thesis is the representation and analysis of navigational patterns as full temporal objects ( or time series). This thesis conceptualizes the notions of time significance in navigational pattern discovery with respect to the dimensions identified above, and then proposes novel techniques for discovering navigational patterns in such environments that are based on reduced-parameter or parameter-free principles. Interestingly, the results from this thesis show that reduced-parameter mining and parameter-free mining are practical concepts. The results also show that reduced-parameter/parameter-free mining techniques out­perform parameter-based mining techniques in environments that require continuous updates of patterns. This is contrary to the general belief that early introduction of pre­defined parameters always improves the mining process. This result has strong implications to other data mining tasks.
The Omega Deformation From String and M-Theory
Creators: name: Hellerman, Simeon
name: Orlando, Domenico
name: Reffert, Susanne
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present a string theory construction of Omega-deformed four-dimensional gauge theories with generic values of ε_1 and ε_2. Our solution gives an explicit description of the geometry in the core of Nekrasov and Witten's realization of the instanton partition function, far from the asymptotic region of their background. This construction lifts naturally to M-theory and corresponds to an M5-brane wrapped on a Riemann surface with a selfdual flux. Via a 9-11 flip, we finally reinterpret the Omega deformation in terms of non-commutative geometry. Our solution generates all modified couplings of the Ω-deformed gauge theory, and also yields a geometric origin for the quantum spectral curve of the associated quantum integrable system.
description: LaTeX, 35 pages, 1 figure. Appendix on couplings of hypermultiplets in N=4 SYM added
China Global Television Network's International Communication: Between the National and the Global
Creators: name: Zhang, Yang
Publisher: name: Arts
Year: 2018
Subjects: subject: International Communication
subject: China
subject: China Global Television Network (CGTN)
subject: Globalization
subject: China's Communication Policy
subject: Audience Reception
subject: China's English-language News Media
subject: Mass Communications

description: In the context of globalization and digitalization, international Chinese news media have developed rapidly over the past decade. One typical example is the rise of China Global Television Network, CGTN, an English-language news channel operating under the predominant state television broadcaster, China Central Television, CCTV. This project focuses on the production, distribution and consumption of CGTN. It addresses the question of "What roles does Chinese global television network play in China's integration into the globalization process?" Through a systematic analysis of current government policies, news programs of relative events, and extensive interviews of national and overseas audiences, the project describes some of the social impacts CGTN has or potentially may have on Chinese society in terms of globalization and its relation to national identity. As the study demonstrates, CGTN integrates both national and global elements in its branding strategies under the guidance of the Party state. The convergence of nationalism and globalization is the prevalent theme represented in its news and public affairs programs. In this way, CGTN frames a Chinese national identity that includes globalization while at the same time maintaining traditional national values. Based on an analysis of the responses, it appears that this news channel has more influence among its national audiences than its international audiences in terms of values and identities. The effectiveness of CGTN's international communication is still a challenging task.
Local structure of ReO$_3$ at ambient pressure from neutron total scattering study
Creators: name: Bozin, Emil S.
name: Chatterji, T.
name: Billinge, Simon J. L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: A hypothesis that the local rotations of ReO$_6$ octahedra persist in the crystallographically untilted ambient phase of ReO$_3$ is examined by the high-resolution neutron time-of-flight total scattering based atomic pair distribution function analysis. Three candidate models were tested, Pm$\bar{3}$m, P4/mbm, and Im$\bar{3}$, for the local structure of ReO$_3$ at ambient pressure and 12 K, and both quantitative and qualitative assessment of the data were performed. No evidence for large local octahedral rotations was found, suggesting that the local and the average structure are the same (Pm$\bar{3}$m) as normally assumed.
description: Submitted
FluCaP: A Heuristic Search Planner for First-Order MDPs
Creators: name: Hoelldobler, S.
name: Karabaev, E.
name: Skvortsova, O.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating states individually, and heuristic search that avoids evaluating all states. Firstly, in contrast to existing systems, which start with propositionalizing the FOMDP and then perform state abstraction on its propositionalized version we apply state abstraction directly on the FOMDP avoiding propositionalization. This kind of abstraction is referred to as first-order state abstraction. Secondly, guided by an admissible heuristic, the search is restricted to those states that are reachable from the initial state. We demonstrate the usefulness of the above techniques for solving FOMDPs with a system, referred to as FluCaP (formerly, FCPlanner), that entered the probabilistic track of the 2004 International Planning Competition (IPC2004) and demonstrated an advantage over other planners on the problems represented in first-order terms.
MOESM5 of Differential analysis of quantitative proteome and acetyl-proteome profiling between premenopausal and postmenopausal ovarian tissues
Creators: name: Yi, Jinling
name: Hu, Huatianshu
name: Shi, Peipei
name: Shi, Song
name: Zhao, Junda
name: Xu, Linna
name: Yang, Weining
name: Li, Bin
name: Zhu, Jin
name: Zou, Shien
Publisher: name: figshare
Year: 2018
Subjects: subject: Biophysics
subject: Biochemistry
subject: Physical Sciences not elsewhere classified
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified

description: Additional file 5: Figure S1.
Spin and charge orderings in the atomic limit of the U-V-J model
Creators: name: Mancini, Ferdinando
name: Plekhanov, Evgeny
name: Sica, Gerardo
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In this paper we study a generalization of the 1D Hubbard model by considering density-density and Ising-type spin-spin nearest neighbor (NN) interactions, parameterized by $V$ and $J$, respectively. We present the T=0 phase diagram for both ferro ($J>0$) and anti-ferro ($J<0$) coupling obtained in the narrow-band limit by means of an extension to zero-temperature of the transfer-matrix method. Based on the values of the Hamiltonian parameters, we identify a number of phases that involve orderings of the double occupancy, NN density and spin correlations, being these latter very fragile.
description: 4 pages, 2 figures, SCES2011 Proceedings
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11
Creators: name: Dax, Alexander
name: Tangermann, Sven
name: Künnemann, Robert
name: Backes, Michael
Publisher: name: CISPA
Year: 2023

description: Being the most widely used and comprehensive standard for hardware security modules, cryptographic tokens and smart cards, PKCS#11 has been the subject of academic study for years. PKCS#11 provides a key store that is separate from the application, so that, ideally, an application never sees a key in the clear. Again and again, researchers have pointed out the need for an import/export mechanism that ensures the integrity of the permissions associated to a key. With version 2.40, for the first time, the standard included authenticated deterministic encryption schemes. The interface to this operation is insecure, however, so that an application can get the key in the clear, subverting the purpose of using a hardware security module. This work proposes a formal model for the secure use of authenticated deterministic encryption in PKCS#11, including concrete API changes to allow for secure policies to be implemented. Owing to the authenticated encryption mechanism, the policy we propose provides more functionality than any policy proposed so far and can be implemented without access to a random number generator. Our results cover modes of operation that rely on unique initialisation vectors (IVs), like GCM or CCM, but also modes that generate synthetic IVs. We furthermore provide a proof for the deduction soundness of our modelling of deterministic encryption in Böhl et.al.'s composable deduction soundness framework.
Empirical Modeling of the Saturated Shear Modulus in Heavy Oil Saturated Rocks
Creators: name: Javanbakhti, Ahmad Reza
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: heavy oil
subject: shear modulus
subject: frequency
subject: temperature
subject: seismic monitoring
subject: rock physics
subject: Geophysics
subject: FOS: Earth and related environmental sciences
subject: Engineering--Petroleum

description: Seismic reservoir characterization and monitoring require the knowledge of seismic wave velocities and their dependencies on reservoir properties and production induced changes. Many attempts have been done to investigate the seismic properties of heavy oils and to model their effects on seismic rock properties. In heavy oil saturated rocks in cold temperatures, due to non-zero shear rigidity of the oil, observed P- and S-wave velocities are higher than Gassmann’s predicted velocities. The Ciz and Shapiro model generally underestimates the saturated shear modulus at cold temperatures. Appropriate modeling of the saturated shear modulus can greatly enhance the accuracy of quantitative interpretation of spatial fluid saturation and temperature distribution within the reservoir through production. The apparent shear modulus of heavy oils depends on their density, temperature and the frequency of the measurements. Using modulus-temperature cross plots of a well log data set of an Athabasca heavy oil play, the existence of the liquidation temperature and apparent shear modulus of the heavy oil is verified. Two empirical relationships are proposed to predict the shear and bulk moduli of extra heavy oils at different reservoir conditions from seismic to ultrasonic frequencies. Using measured viscosities of core samples, an empirical model is proposed which uses apparent shear modulus of the oil, its saturation, porosity and dry shear modulus to estimate saturated shear modulus of the rock. The model is calibrated to ultrasonic lab measurements. Comparing its results with available literature data supports the validity of the model. The behavior of the model with respect to input parameters, the range of its applicability and theoretical limitations are also discussed. The observed weakening of the shear moduli at temperatures above 100°C is attributed to thermal expansion of the rock and its effect on effective pressure.
Automated Verification of Accountability in Security Protocols
Creators: name: Künnemann, Robert
name: Esiyok, Ilkan
name: Backes, Michael
Publisher: name: CISPA
Year: 2023

description: Accountability is a recent paradigm in security protocol design which aims to eliminate traditional trust assumptions on parties and hold them accountable for their misbehavior. It is meant to establish trust in the first place and to recognize and react if this trust is violated. In this work, we discuss a protocol-agnostic definition of accountability: a protocol provides accountability (w.r.t. some security property) if it can identify all misbehaving parties, where misbehavior is defined as a deviation from the protocol that causes a security violation. We provide a mechanized method for the verification of accountability and demonstrate its use for verification and attack finding on various examples from the accountability and causality literature, including Certificate Transparency and Kroll’s Accountable Algorithms protocol. We reach a high degree of automation by expressing accountability in terms of a set of trace properties and show their soundness and completeness.
Exact results for the entanglement across defects in critical chains
Creators: name: Peschel, Ingo
name: Eisler, Viktor
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We consider fermionic and bosonic quantum chains where a defect separates two subsystems and compare the corresponding entanglement spectra. With these, we calculate their Rényi entanglement entropies and obtain analytical formulae for the continuously varying coefficient of the leading logarithmic term. For the bosonic case we also present numerical results.
description: 17 pages, 6 figures, some remarks added
First Principles Calculation of Helical Spin Order in Iron Perovskite SrFeO3 and BaFeO3
Creators: name: Li, Zhi
name: Laskowski, Robert
name: Iitaka, Toshiaki
name: Tohyama, Takami
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Motivated by recent discovery of ferromagnetism in cubic perovskite BaFeO3 under small magnetic field, we investigate spin order in BaFeO3 and isostructual SrFeO3 by the first principles calculation. The on-site Coulomb and exchange interactions are necessary for the helical spin order consistent with experiments. SrFeO3 exhibits stable G-type helical order, while A- and G-type helical orders in BaFeO3 are almost degenerate at short propagating vector with tiny energetic barrier with respect to ferromagnetic spin order, explaining ferromagnetism under small field. The results are consistent with model calculation where negative charge-transfer energy is explicitly taken into account.
Causality and Control flow
Creators: name: Künnemann, Robert
name: Garg, Deepak
name: Backes, Michael
Publisher: name: CISPA
Year: 2023

description: Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Recent work defines actual causation in terms of Pearl's causality framework, but most definitions brought forward so far struggle with examples where one event preempts another one. A key point to capturing such examples in the context of programs or distributed systems is a sound treatment of control flow. We discuss how causal models should incorporate control flow and discover that much of what Pearl/Halpern's notion of contingencies tries to capture is captured better by an explicit modelling of the control flow in terms of structural equations and an arguably simpler definition. Inspired by causality notions in the security domain, we bring forward a definition of causality that takes these control-variables into account. This definition provides a clear picture of the interaction between control flow and causality and captures these notoriously difficult preemption examples without secondary concepts. We give convincing results on a benchmark of 34 examples from the literature.
PAtt: Physics-based Attestation of Control Systems
Creators: name: Ghaeini, Hamid Reza
name: Chan, Matthew
name: Bahmani, Raad
name: Brasser, Ferdinand
name: Garcia, Luis
name: Zhou, Jianying
name: Sadeghi, Ahmad-Reza
name: Tippenhauer, Nils Ole
name: Zonouz, Saman
Publisher: name: CISPA
Year: 2023

description: Ensuring the integrity of embedded programmable logic controllers (PLCs) is critical for safe operation of industrial con-trol systems. In particular, a cyber-attack could manipulatecontrol logic running on the PLCs to bring the process ofsafety-critical application into unsafe states. Unfortunately,PLCs are typically not equipped with hardware support thatallows the use of techniques such as remote attestation to ver-ify the integrity of the logic code. In addition, so far remoteattestation is not able to verify the integrity of the physicalprocess controlled by the PLC.In this work, we present PAtt, a system that combines re-mote software attestation with control process validation. PAttleverages operation permutations—subtle changes in the op-eration sequences based on integrity measurements—whichdo not affect the physical process but yield unique traces ofsensor readings during execution. By encoding integrity mea-surements of the PLC’s memory state (software and data) intoits control operation, our system allows to remotely verifythe integrity of the control logic based on the resulting sensortraces. We implement the proposed system on a real PLCcontrolling a robot arm, and demonstrate its feasibility. Ourimplementation enables the detection of attackers that ma-nipulate the PLC logic to change process state and/or reportspoofed sensor readings (with an accuracy of 97% againsttested attacks).
Towards the construction of a model to describe the inter-ELM evolution of the pedestal on MAST
Creators: name: Dickinson, D.
name: Saarelma, S.
name: Scannell, R.
name: Kirk, A.
name: Roach, C. M.
name: Wilson, H. R.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Pedestal profiles that span the ELM cycle have been obtained and used to test the idea that the pedestal pressure gradient in MAST is limited by the onset of Kinetic Ballooning Modes (KBMs). During the inter-ELM period of a regularly type I ELM-ing discharge on MAST, the pressure pedestal height and width increase together while the pressure gradient increases by only 15 % during the ELM cycle. Stability analyses show that the pedestal region over which infinite-n ballooning modes are unstable also broadens during the ELM cycle. To test the relationship between the width of the region that is unstable to n = \infty ideal magnetohydrodynamic ballooning modes and KBMs the gyrokinetic code, GS2, has been used for microstability analysis of the edge plasma region in MAST. The gyrokinetic simulations find that KBM modes with twisting parity are the dominant microinstabilities in the steep pedestal region, with a transition to more slowly growing tearing parity modes in the shallower pressure gradient core region immediately inside the pedestal top. The region over which KBMs are unstable increases during the ELM cycle, and a good correlation is found between the regions unstable to KBMs and infinite-n ideal ballooning modes.
description: Version accepted and to appear in PPCF October 2011
Improving usability and sustainability for NumPy and OpenBLAS
Creators: name: Weber Mendonça, Melissa
Publisher: name: Zenodo
Year: 2020
Subjects: NumPy, OpenBLAS, Fortran, Documentation

description: In this presentation, we discuss some of the recent development around NumPy and OpenBLAS that were made possible by the first grant we got from CZI, including the new NumPy website, the establishment of our documentation team and other organizational improvements for NumPy, as well as the technical work done on OpenBLAS. We also talk about our plans for 2021 and why the new grant we just received is important to both projects, which have been historically under-funded.
Cryogenic High-Frequency Readout and Control Platform for Spin Qubits
Creators: name: Colless, J. I.
name: Reilly, D. J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Instrumentation and Detectors (physics.ins-det)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We have developed a cryogenic platform for the control and readout of spin qubits that comprises a high density of dc and radio frequency sample interconnects based on a set of coupled printed circuit boards. The modular setup incorporates 24 filtered dc lines, 14 control and readout lines with bandwidth from dc to above 6 GHz, and 2 microwave connections for excitation to 40 GHz. We report the performance of this platform, including signal integrity and crosstalk measurements and discuss design criteria for constructing sample interconnect technology needed for multi-qubit devices.
Graph theory based transit indicators applied to ridership and safety models
Creators: name: Quintero- Cano, Liliana
Publisher: name: University of British Columbia
Year: 2011

description: Public transportation systems are a fundamental necessity in current times where sustainability and rising safety costs are important concerns to government officials and the general public. Therefore, the design of public transportation systems is an area of great interest for researchers and practitioners. Nonetheless, there is usually little analysis of network properties during transit design and planning. Moreover, due to the lack of empirical tools, there is not much consideration of transit safety at the planning stage . In this research, a study was performed to explore zonal based network properties applied to bus systems. A new technique to measure network connectivity was developed and applied to a real-world transit system, which in addition to the relationship between edges and vertices, incorporated the influence of transit operational factors (i.e. frequency of routes). Additionally, the effect of bus route transfers was analyzed and modeled by adding intermediate walking transfer links between bus stops. The calculated network properties were applied as explanatory variables in the development of macro-level ridership and collision prediction models. The proposed methodology was applied to the Greater Vancouver Regional District (GVRD) public transportation system and its 577 traffic analysis zones. The developed mathematical models include, seven multiple linear regression models which explain transit commuting ridership. The regression models revealed that ridership is positively linked to network characteristics such as coverage, connectivity, complexity and, the local index of transit availability (LITA). In addition, 35 collision prediction models were developed using a Generalized Linear Regression technique, assuming a Negative Binomial error structure. The safety models showed that increased collisions were associated with transit network properties such as: connectivity, coverage, overlapping degree and the LITA. As well, the models revealed a positive relation between collisions and transit physical and operational attributes such as number of routes, frequency of routes, bus density, length of bus route and 3+ priority lanes, among others.