cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Invariant characterization of scalar third-order ODEs that admit the maximal point symmetry Lie algebra
Creators: name: Al-Dweik, Ahmad Y.
name: Mustafa, M. T.
name: Mahomed, F. M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'"=f(x,u,u',u")$ which admits the maximal seven-dimensional point symmetry Lie algebra. The method provides auxiliary functions which can be used to efficiently obtain the point transformation that does the reduction to the simplest linear equation $\bar{u}'"=0$. Moreover, examples are given to illustrate the method.
Communication channels in safety analysis: An industrial exploratory case study
Creators: name: Wang, Yang
name: Graziotin, Daniel
name: Kriso, Stefan
name: Wagner, Stefan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Software Engineering (cs.SE)
subject: Cryptography and Security (cs.CR)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Context: Safety analysis is a predominant activity in developing safety-critical systems. It is a highly cooperative task among multiple functional departments due to increasingly sophisticated safety-critical systems and close-knit development processes. Communication occurs pervasively. Motivation: Effective communication channels among multiple functional departments influence safety analysis, quality as well as a safe product delivery. However, the use of communication channels during safety analysis is sometimes arbitrary and poses challenges. Objective: Investige the existing communication channels, their usage frequencies, their purposes and challenges during safety analysis in industry.. Method: Multiple case study of experts (survey: 39, interview: 21) in safety-critical companies including software developers, quality engineers and functional safety managers. Direct observations and documentation review were also conducted. Results: Popular communication channels during safety analysis include formal meetings, project coordination tools, documentation and telephone. Email, personal discussion, training, internal communication software and boards are also in use. Training involving safety analysis happens 1-4 times per year, while other aforementioned communication channels happen ranges from 1-4 times per day to 1-4 times per month. We summarise 28 purposes for these communication channels. Communication happens mostly for the purpose of clarifying safety requirements, fixing temporary problems, conflicts and obstacles and sharing safety knowledge. The top challenges are reported. Conclusion: During safety analysis, to use communication channels effectively and avoid challenges, a clear purpose of communication during safety analysis should be established at the beginning. To derive countermeasures of fixing the top 10 challenges are potential next steps.
description: 35 pages, 5 figures. Accepted for publication at Journal of Systems and Software
Visibility of Control in Adaptive Systems
Creators: name: Hausi  Muller
name: Pezze, Mauro
name: Shaw, Mary
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Adaptive systems respond to changes in their internal state or external environment with guidance from an underlying control system. ULS systems are particularly likely to re- quire dynamic adaptation because of their decentralized con- trol and the large number of independent stakeholders whose actions are integral to the system's behavior. Adaptation may take various forms, but the system structure will al- most inevitably include one or more closed feedback loops. We argue that adaptability is a characteristic of a solution, not of a problem, and that the feedback loop governing con- trol of adaptability should be explicit in design and analysis and either explicit or clearly traceable in implementation.
Additional file 1 of Ezetimibe combination therapy with statin for non-alcoholic fatty liver disease: an open-label randomized controlled trial (ESSENTIAL study)
Creators: name: Cho, Yongin
name: Rhee, Hyungjin
name: Kim, Young-eun
name: Lee, Minyoung
name: Lee, Byung-Wan
name: Kang, Eun Seok
name: Cha, Bong-Soo
name: Choi, Jin-Young
name: Lee, Yong-ho
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 60506 Virology

description: Additional file 1: Appendix 1. Detailed Exclusion criteria. Appendix 2. MRI-PDFF for fat quantification and MRE for liver fibrosis quantification. Figure S1. MRI map. Table S1. Pulse sequence parameters for magnetic resonance imaging. Table S2. Longitudinal Changes in Hepatic Steatosis and Fibrosis Using Fibroscan.
Bayesian linear inverse problems in regularity scales
Creators: name: Gugushvili, Shota
name: van der Vaart, Aad
name: Yan, Dong
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics
subject: Primary: 62G20, Secondary: 35R30

description: We obtain rates of contraction of posterior distributions in inverse problems defined by scales of smoothness classes. We derive abstract results for general priors, with contraction rates determined by Galerkin approximation. The rate depends on the amount of prior concentration near the true function and the prior mass of functions with inferior Galerkin approximation. We apply the general result to non-conjugate series priors, showing that these priors give near optimal and adaptive recovery in some generality, Gaussian priors, and mixtures of Gaussian priors, where the latter are also shown to be near optimal and adaptive. The proofs are based on general testing and approximation arguments, without explicit calculations on the posterior distribution. We are thus not restricted to priors based on the singular value decomposition of the operator. We illustrate the results with examples of inverse problems resulting from differential equations.
description: 34 pages
title: ADCO, Cart. 186 (11 H 71), f. 0002r
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la Côte-d'Or, C
art. 186 (11 H 71). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la
 Côte-d'Or, Cart. 186 (11 H 71), f. 0002r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-
project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
View Consistency in Architectures for Cyber-Physical Systems
Creators: name: Ajinkya  Bhave
name: Krogh, Bruce
name: Garlan, David
name: Schmerl, Bradley
Publisher: name: Carnegie Mellon University
Year: 2011
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Current methods for modeling, analysis, and design of cyber-physical systems lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Our approach is to define relationships between system models at the architectural level, which captures the structural interdependencies and some semantic interdependencies between representations without attempting to comprehend all of the details of any particular modeling formalism. This paper addresses the issue of defining and evaluating consistency between architectural views imposed by various heterogeneous models and a base architecture (BA) for the complete system. This notion of structural consistency ensures that the model elements adhere to the cyber and physical types and the connections between components present in the BA, which serves as the unifying framework for model-based development. Consistency checking between a model and the underlying system architecture is formulated as a typed graph matching problem between the connectivity graphs of the corresponding architectural view and the system's BA. The usefulness of the approach to check system modeling assumptions is illustrated in the context of two heterogeneous views of a quad rotor air vehicle.
Moments of Interference in Vehicular Networks with Hardcore Headway Distance
Creators: name: Koufos, Konstantinos
name: Dettmann, Carl P.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Interference statistics in vehicular networks have long been studied using the Poisson Point Process (PPP) for the locations of vehicles. In roads with few number of lanes and restricted overtaking, this model becomes unrealistic because it assumes that the vehicles can come arbitrarily close to each other. In this paper, we model the headway distance (the distance between the head of a vehicle and the head of its follower) equal to the sum of a constant hardcore distance and an exponentially distributed random variable. We study the mean, the variance and the skewness of interference at the origin with this deployment model. Even though the pair correlation function becomes complicated, we devise simple formulae to capture the impact of hardcore distance on the variance of interference in comparison with a PPP model of equal intensity. In addition, we study the extreme scenario where the interference originates from a lattice. We show how to relate the variance of interference due to a lattice to that of a PPP under Rayleigh fading.
description: 12 pages
D6.2 – Blockchain & Smart Contracts on the Workflow Modelling and Management v2
Creators: name: Andriopoulos, Panos
name: Moraitis, Panagiotis
name: Koletsas, Giorgos
name: Fotopoulou, Anastasia
name: Charbi, Theofania
name: Karalis, Evangelos
name: Belej, Bohuš
name: Straka, Martin
Publisher: name: Zenodo
Year: 2022

description: The complex nature of construction projects requires mutual trust and close cooperation between a large number of stakeholders, that more than often represent different interests. In this highly fragmented environment where unobscured cooperation is at constant risk, organization relies heavily on bureaucracy, conflicts and payment delays are common, the implementation of a trustless task completion verification system is a necessity. The solution that is presented here relies on Smart Contract and Blockchain technology to transform the construction industry into a more efficient and transparent environment. It creates a data and transactions governing tool to confirm the completion of tasks and works alongside with already existing methodologies. Through a collection of data from various actors it calculates a set of KPIs to evaluate the progress of construction tasks. This will eliminate the need of a central authority to govern data, and therefore it will create an environment of mutually beneficial transactions.
Proteins at air-water and oil-water interfaces in an all-atom model
Creators: name: Zhao, Yani
name: Cieplak, Marek
Publisher: name: arXiv
Year: 2018
Subjects: subject: Biomolecules (q-bio.BM)
subject: Soft Condensed Matter (cond-mat.soft)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: We study the behavior of five proteins at the air-water and oil-water interfaces by all-atom molecular dynamics. The proteins are found to get distorted when pinned to the interface. This behavior is consistent with the phenomenological way of introducing the interfaces in a coarse-grained model through a force that depends on the hydropathy indices of the residues. Proteins couple to the oil-water interface stronger than to the air- water one. They diffuse slower at the oil-water interface but do not depin from it, whereas depinning events are observed at the other interface. The reduction of the disulfide bonds slows the diffusion down.
description: 13 pages, 10 figures
Bismuth and gallium phosphinates as antibacterial agents, and additives in Bi-cellulose composites
Creators: name: HERDMAN, MEGAN ELAINE
Publisher: name: Monash University
Year: 2021
Subjects: subject: 39904 Organometallic Chemistry
subject: FOS: Chemical sciences

description: This thesis established the antibacterial potential of a series of bismuth and gallium phosphinate complexes, further expanding on known antibacterial metal complexes. Comparison of the different antibacterial and cytotoxic activities of the bismuth complexes allowed for structure activity relationships to be determined, giving important insights for future compound development. A viable method to examine poorly soluble compounds for their biological activity was established; bismuth complexes were incorporated in cellulose to form composites which retained antibacterial activity, with potential applications in antibacterial surfaces or coatings.
Relative Alignment Between the Magnetic Field and Molecular Gas Structure in the Vela C Giant Molecular Cloud using Low and High Density Tracers
Creators: name: Fissel, Laura M.
name: Ade, Peter A. R.
name: Angilè, Francesco E.
name: Ashton, Peter
name: Benton, Steven J.
name: Chen, Che-Yu
name: Cunningham, Maria
name: Devlin, Mark J.
name: Dober, Bradley
name: Friesen, Rachel
name: Fukui, Yasuo
name: Galitzki, Nicholas
name: Gandilo, Natalie N.
name: Goodman, Alyssa
name: Green, Claire-Elise
name: Jones, Paul
name: Klein, Jeffrey
name: King, Patrick
name: Korotkov, Andrei L.
name: Li, Zhi-Yun
name: Lowe, Vicki
name: Martin, Peter G.
name: Matthews, Tristan G.
name: Moncelsi, Lorenzo
name: Nakamura, Fumitaka
name: Netterfield, Calvin B.
name: Newmark, Amanda
name: Novak, Giles
name: Pascale, Enzo
name: Poidevin, Frédérick
name: Santos, Fabio P.
name: Savini, Giorgio
name: Scott, Douglas
name: Shariff, Jamil A.
name: Soler, Juan D.
name: Thomas, Nicholas E.
name: Tucker, Carole E.
name: Tucker, Gregory S.
name: Ward-Thompson, Derek
name: Zucker, Catherine
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We compare the magnetic field orientation for the young giant molecular cloud Vela C inferred from 500-$μ$m polarization maps made with the BLASTPol balloon-borne polarimeter to the orientation of structures in the integrated line emission maps from Mopra observations. Averaging over the entire cloud we find that elongated structures in integrated line-intensity, or zeroth-moment maps, for low density tracers such as $^{12}$CO and $^{13}$CO $J$ $\rightarrow$ 1 - 0 are statistically more likely to align parallel to the magnetic field, while intermediate or high density tracers show (on average) a tendency for alignment perpendicular to the magnetic field. This observation agrees with previous studies of the change in relative orientation with column density in Vela C, and supports a model where the magnetic field is strong enough to have influenced the formation of dense gas structures within Vela C. The transition from parallel to no preferred/perpendicular orientation appears to happen between the densities traced by $^{13}$CO and by C$^{18}$O $J$ $\rightarrow$ 1 - 0. Using RADEX radiative transfer models to estimate the characteristic number density traced by each molecular line we find that the transition occurs at a molecular hydrogen number density of approximately $10^3$ cm$^{-3}$. We also see that the Centre-Ridge (the highest column density and most active star-forming region within Vela C) appears to have a transition at a lower number density, suggesting that this may depend on the evolutionary state of the cloud.
description: 27 pages, 15 figures, accepted for publication in ApJ
Video Editing Using Lenses and Semantic Zooming
Creators: name: A. Chris Long
name: Myers, Brad
name: Casares, Juan
name: Stevens, Scott
name: Corbett, Albert
Publisher: name: Carnegie Mellon University
Year: 2003
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Digital video is becoming increasingly prevalent. Unfortunately, editing video remains difficult for several reasons: it is a time-based medium, it has dual tracks of audio and video, and current tools force users to work at the smallest level of detail. Based on interviews with professional video editors and observations of the use of our own editor, we have developed new interaction techniques for digital video based on semantic zooming and lenses. When copying or cutting a piece of video, it is desirable to select both ends precisely. However, although many video editing tools allow zooming into a fine level of detail, they do not allow zooming at more than one location simultaneously. Our system provides multiple lenses on the same timeline, so the user can see more than one location in detail.
Deliverable 10.6: Proceedings and training material from second training session for stakeholders
Creators: name: Zilliacus, Johanna
name: Rorije, Emiel
name: Kennedy, Marc
name: van Klaveren, Jacob
Publisher: name: Zenodo
Year: 2019

description: To maximise implementation of the new risk assessment strategies developed in EuroMix, training has been given for the stakeholders who will use the new tools and models. The aim of the training sessions is that the stakeholders will gain understanding of the scientific basis behind the new risk assessment strategies, be able to use the developed tools and to interpret and assess the output as well as implement the strategies in their own context.
BC TEAL Journal, Vol. 6 No. 1 (2021)
Creators: name: BC TEAL Journal
Publisher: name: BC TEAL Journal
Year: 2021

description: Thriving through Uncertainties: The Agency and Resourcefulness of First-Year Chinese English as an Additional Language Writers in a Canadian University...78-93 Student Volunteer Motivations in a Student Support Centre for English for Academic Purposes Students ...59-77 English for Academic Purposes Writers’ Use of Reporting Verbs in Argumentative and Cause-and-Effect Essay Exams...42-58 “I Need My Instructor to Like Sit with Me”: Addressing Culture in L2 Writing Instruction...11-28 Creating an Interactive Online Orientation to Academic Practices for International Students...29-41 Gender-Oriented Topics in Teaching English as an Additional Language...1-10
Solutions of Nuclear Pairing
Creators: name: Balantekin, A. B.
name: Pehlivan, Y.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We give the exact solution of orbit dependent nuclear pairing problem between two non-degenerate energy levels using the Bethe ansatz technique. Our solution reduces to previously solved cases in the appropriate limits including Richardson's treatment of reduced pairing in terms of rational Gaudin algebra operators.
description: 4 pages with 1 figure
Additional file 1 of Prevalence of soil-transmitted helminths infections among preschool and school-age children in Ethiopia: a systematic review and meta-analysis
Creators: name: Chelkeba, Legese
name: Mekonnen, Zeleke
name: Emana, Daniel
name: Jimma, Worku
name: Melaku, Tsegaye
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1: Forest plot and meta-regression result of the prevalence of soil-transmitted helminths infections by region and species.
STROBE check list for A STUDY OF CLINICAL PROFILE IN PATIENTS OF CATARACTS WITH PSEUDOEXFOLIATION IN RURAL POPULATIONS OF CENTRAL INDIA
Creators: name: Pawar, Yuga
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 321201
subject: Ophthalmology

description: STROBE check list for A STUDY OF CLINICAL PROFILE IN PATIENTS OF CATARACTS WITH PSEUDOEXFOLIATION IN RURAL POPULATIONS OF CENTRAL INDIA
Verifying Object-Oriented Code Using Object Propositions
Creators: name: Nistor, Ligia
name: Aldrich, Jonathan
Publisher: name: Carnegie Mellon University
Year: 2011
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: The modular verification of object-oriented code is made dif- ficult by the presence of aliasing. If there are multiple clients depending on the properties of an object, one client may break the property that others depend on. Knowledge of both aliasing and predicates allows us to verify whether clients and implementations are compliant with specifications. We have developed a modular verification approach, by introducing the novel abstraction object propositions, that combines predicates and information about object aliasing. In our methodology, even if shared data is modified, we know that an object invariant specified by a client holds. This allows two references pointing to the same object to have a consistent view of the object. Our object invariant is different than a class invariant such as the ones in ESC/Java, as in our system two objects of the same class are allowed to have different invariants. Although there are separation logic approaches that can be used to specify similar programs, the specifications are complex and not modular. In separation logic, the specifi- cation of a method must describe all the heap cells that the method touches. The exact data shared between objects will then be exposed. With the help of access permissions, we are able to hide the aliasing information when possible. This is very important for software evolution because local changes to the code in a system should not modify the specification of other parts of the system
Cuspidal cohomology of stacks of shtukas
Creators: name: Xue, Cong
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: Number Theory (math.NT)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we show that the cuspidal cohomology has finite dimension and that it is equal to the (rationally) Hecke-finite cohomology defined by V. Lafforgue.
description: improvements of redaction in Sections 6.1 and 6.2
title: ADCO, Cartulaire de Cîteaux pour les domaines de Saint-Jean de Losne et Losne (XVIIIe siècle), Cart. 198-01 (11 H 1055), 185 folios, f. 0060
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2019
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP

description: Cartulaire de Cîteaux pour les domaines de Saint-Jean de Losne et Losne (XVIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 198-01 (11 H 1055), 185 folios, f. 0060, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les domaines de Saint-Jean de Losne et Losne (XVIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 198-01 (11 H 1055), 185 folios, f. 0060, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
BC TEAL Journal, Vol. 5 No. 1 (2020)
Creators: name: BC TEAL Journal
Publisher: name: BC TEAL Journal
Year: 2020

description: Local Milestones in Scholarly Publishing: Five Years of the BC TEAL Journal...i-iii Metacognition and Language Learning: Creating Effective K–12 Learners...109-122 Review of Paltridge, B. & Phakiti, A. (2015). Research Methods in Applied Linguistics: A Practical Guide, 2nd Ed. London, UK: Bloomsbury....123-124 The Quest for Standardization: The Canadian Federal Government and the Language Instruction for Newcomers to Canada (LINC) Program...55-74 Worth the Risk: Towards Decentring Whiteness in English Language Teaching...44-54 Are Academic English Words Learned Incidentally? A Canadian Case Study...32-43 English-as-an-Additional-Language Employees’ Perspectives on Writing in the Workplace...91-108 Moving Beyond Individual Peer Review Tasks: A Collaborative Written Corrective Feedback Framework...19-31 Storybooks Canada, English Language Learners, and the School Curriculum...1-18 An Insider View: Understanding Volunteers’ Experiences Within a Peer-to-Peer Language Learning Program in Vancouver’s Downtown Eastside...75-90
Optically addressing single rare-earth ions in a nanophotonic cavity
Creators: name: Zhong, Tian
name: Kindem, Jonathan M.
name: Bartholomew, John G.
name: Rochman, Jake
name: Craiciu, Ioana
name: Verma, Varun
name: Nam, Sae Woo
name: Marsili, Francesco
name: Shaw, Matthew D.
name: Beyer, Andrew D.
name: Faraon, Andrei
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We demonstrate optical probing of spectrally resolved single Nd rare-earth ions in yttrium orthovanadate. The ions are coupled to a photonic crystal resonator and show strong enhancement of the optical emission rate via the Purcell effect, resulting in near radiatively limited single photon emission. The measured high coupling cooperativity between a single photon and the ion allows for the observation of coherent optical Rabi oscillations. This could enable optically controlled spin qubits, quantum logic gates, and spin-photon interfaces for future quantum networks.
Verifying Nondeterministic Implementations of Deterministic Systems
Creators: name: Jain, Alok
name: Nelson, Kyle
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Some modern systems with a simple deterministic high-level specification have implementations that exhibit highly nondeterministic behavior. Such systems maintain a simple operation semantics at the high-level. However their underlying implementations exploit parallelism to enhance performance leading to interaction among operations and contention for resources. The deviation from the sequential execution model not only leads to nondeterminism in the implementation but creates the potential for serious design errors. This paper presents a methodology for formal verification of such systems. An abstract specification describes the high-level behavior as a set of operations. A mapping relates the sequential semantics of these operations to the underlying nondeterminism in the implementation. Symbolic Trajectory Evaluation, a modified form of symbolic simulation, is used to perform the actual verification. The methodology is currently being used to verify portions of a superscalar processor which implements the PowerPC architecture. Our initial work on the fixed point unit indicates that this is a promising approach for verification of processors.
Hunting for $X_b$ via hidden bottomonium decays $X_b\to ππχ_{bJ}$
Creators: name: Jia, Zhao-Sai
name: Zhang, Zhen-Hua
name: Qin, Wen-Hua
name: Li, Gang
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this work, we investigate the isospin breaking decay $X_b \to π^0χ_{bJ}$ and the isospin conserved decay $X_b \to ππχ_{bJ}$, where $X_b$ is taken to be the heavy quark flavor symmetry counterpart of $X(3872)$ in the bottomonium sector as a $B^*\bar B$ molecule candidate. Since the mass of this state may be far below the $B {\bar B}^*$ threshold and the mass difference between the neutral and charged bottom meson is small compared to the binding energy of the $X_b$, the isospin-violating decay channel $X_b \to π^0 χ_{bJ}$ would be highly suppressed. The calculated partial width of $X_b \to ππχ_{b1}$ is found to be about tens of $\rm{keVs}$, $1\sim 2$ order(s) of magnitude larger than those of $X_b \to ππχ_{b2}$ and $X_b \to ππχ_{b0}$. Taking into account the fact that the total width of $X_b$ may be smaller than a few MeV like $X(3872)$, the calculated branching ratios $X_b\to ππχ_{b1}$ may reach to orders of $10^{-2}$, which makes it a possible channel for the experimental searching of the $X_b$.
description: 14 pages, 5 figures, published in Phys.Rev.D
B-L Model with ${\bf S}_{3}$ Symmetry: Nearest Neighbor Interaction Textures and Broken $μ\leftrightarrowτ$ Symmetry
Creators: name: Gómez-Izquierdo, Juan Carlos
name: Mondragón, Myriam
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We make a scalar extension of the B-L gauge model where the ${\bf S}_{3}$ non-abelian discrete group drives mainly the Yukawa sector. Motived by the large and small hierarchies among the quark and active neutrino masses respectively, the quark and lepton families are not treated on the same footing under the assignment of the discrete group. As a consequence, the Nearest Neighbor Interactions (NNI) textures appear in the quark sector, leading to the CKM mixing matrix, whereas in the lepton sector, a soft breaking of the $μ\leftrightarrow τ$ symmetry in the effective neutrino mass that comes from type I see-saw mechanism, provides a non-maximal atmospheric angle and a non-zero reactor angle.
description: 20 pages, 6 figures. Improved version and scalar discussion extended and references added. Version published in EPJC
Verification of Snapshotable Trees using Access Permissions and Typestate
Creators: name: Mehnert, Hannes
name: Aldrich, Jonathan
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: We use access permissions and typestate to specify and verify a Java library that implements snapshotable search trees, as well as some client code. We formalize our approach in the Plural tool, a sound modular typestate checking tool. We describe the challenges to verifying snapshotable trees in Plural, give an abstract interface specification against which we verify the client code, provide a concrete specification for an implementation and describe proof patterns we found. We also relate this verification approach to other techniques used to verify this data structure.
The role of nonmagnetic d0 vs. d10 B-type cations on the magnetic exchange interactions in osmium double perovskites
Creators: name: Feng, Hai L.
name: Yamaura, Kazunari
name: Tjeng, Liu Hao
name: Jansen, Martin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Polycrystalline samples of double perovskites Ba2BOsO6 (B = Sc, Y, In) were synthesized by solid state reactions. They adopt the cubic double perovskite structures (space group, Fm-3m) with ordered B and Os arrangements. Ba2BOsO6 (B = Sc, Y, In) show antiferromagnetic transitions at 93 K, 69 K, and 28 K, respectively. The Weiss-temperatures are -590 K for Ba2ScOsO6, -571 K for Ba2YOsO6, and -155 K for Ba2InOsO6. Sc3+ and Y3+ have the open-shell d0 electronic configuration, while In3+ has the closed-shell d10. This indicates that a d0 B-type cation induces stronger overall magnetic exchange interactions in comparison to a d10. Comparison of Ba2BOsO6 (B = Sc, Y, In) to their Sr and Ca analogues shows that the structural distortions weaken the overall magnetic exchange interactions.
BC TEAL Journal, Vol. 4 No. 1 (2019)
Creators: name: BC TEAL Journal
Publisher: name: BC TEAL Journal
Year: 2019

description: Scholar-Practitioners Contributing to the English as an Additional Language Teaching and Learning Community’s Knowledge Resources...i-iii The Correlation between IELTS Scores and International Students’ Academic Success: A Literature Review...84-94 Academic Engagement, Social Integration, and Academic Socialization: English as an Additional Language in Higher Education...95-107 Factors Contributing to TESOL Employment: A Graduate Perspective...13-32 Comparing First-Term Students’ English Language Proficiency at a Canadian Polytechnic Institute...53-83 Writing a Manuscript-Style Dissertation in TESOL/Applied Linguistics...33-52 The Efficacy of Teaching Independent Study Skills Within English for Academic Purposes Programs...1-12
Additional file 1 of Implications of analysing time-to-event outcomes as binary in meta-analysis: empirical evidence from the Cochrane Database of Systematic Reviews
Creators: name: Salika, Theodosia
name: Turner, Rebecca M.
name: Fisher, David
name: Tierney, Jayne F.
name: White, Ian R.
Publisher: name: figshare
Year: 2022
Subjects: subject: Statistics
subject: FOS: Mathematics

description: Additional file 1: Section 1. Fitting one-stage random-effects models for “binary” data. Section 2. Number (%) of (non-)significant meta-analyses under different scales for one-stage models (“binary” data). Section 3. Bland-Altman plots comparing standardised pooled effect and $${I}^{2}$$ I 2 estimates for one-stage models (“binary” data). Section 4. Forest plots for example MAs considered as outliers in our analyses (“binary” data). Section 5. Bland-Altman Plot comparing standardised OR vs. HR estimates for two-stage models in “OEV” data. Section 6. Forest plot for example MAs considered as outliers in our analyses (“OEV” data). Section 7: R Code
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
Creators: name: Bryant, Randal
name: Velev, Miroslav N.
Publisher: name: Carnegie Mellon University
Year: 1997
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper extends Burch and Dill’s pipeline verification method [4] to the bit level. We introduce the idea of memory shadowing, a new technique for providing on-the-fly identical initial memory state to two different memory execution sequences. We also present an algorithm which compares the final states of two memories for equality. Memory shadowing and the comparison algorithm build on the Efficient Memory Model (EMM) [13], a behavioral memory model where the number of symbolic variables used to characterize the initial state of a memory is proportional to the number of distinct symbolic locations accessed. These techniques allow us to verify that a pipelined circuit has equivalent behavior to its unpipelined specification by simulating two memory execution sequences and comparing their final states. Experimental results show the potential of the new ideas.
title: THE PROPERTIES OF X-RAY LUMINOUS YOUNG STELLAR OBJECTS IN THE NGC 1333 AND SERPENS EMBEDDED CLUSTERS
Creators: name: Winston, E.
name: Megeath, S. T.
name: Wolk, S. J.
name: Spitzbart, B.
name: Gutermuth, R.
Publisher: name: University of Massachusetts Amherst
Year: 2010
Subjects: subject: circumstellar matter; infrared: stars; stars: pre-main sequence; X-rays: stars
subject: Astrophysics and Astronomy

description: This is the pre-published version which is collected from arXiv. The published version is at http://iopscience.iop.org/1538-3881/140/1/266
description: We present new Chandra X-ray data of the NGC 1333 embedded cluster and combine these data with existing Chandra data, Spitzer photometry, and ground-based spectroscopy of both the NGC 1333 and Serpens cloud core clusters to perform a detailed study of the X-ray properties of two of the nearest embedded clusters to the Sun. We first present new, deeper observations of NGC 1333 with Chandra ACIS-I and combine these with existing Spitzer observations of the region. In NGC 1333, a total of 95 cluster members are detected in X-rays of which 54 were previously identified in the Spitzer data. Of the Spitzer-identified sources, we detected 23% of the Class I protostars, 53% of the flat-spectrum sources, 52% of the Class II, and 50% of the transition disk young stellar objects (YSOs). Forty-one Class III members of the cluster are identified, bringing the total identified YSO population to 178. The X-ray luminosity functions (XLFs) of the NGC 1333 and Serpens clusters are compared to each other and the Orion Nebula Cluster (ONC). Based on a comparison of the XLFs of the Serpens and NGC 1333 clusters to the previously published ONC, we obtain a new distance for the Serpens cluster of 360+22 –13 pc. Using our previously published spectral types, effective temperatures, and bolometric luminosities, we analyze the dependence of the X-ray emission on the measured stellar properties. The X-ray luminosity was found to depend on the calculated bolometric luminosity as in previous studies of other clusters. We examine the dependence of LX on stellar surface area and effective temperature, and find that LX depends primarily on the stellar surface area. In the NGC 1333 cluster, the Class III sources have a somewhat higher X-ray luminosity for a given surface area. We also find evidence in NGC 1333 for a jump in the X-ray luminosity between spectral types of M0 and K7, we speculate that this may result from the presence of radiative zones in the K-stars. The gas column density versus extinction in the NGC 1333 parental molecular cloud was examined using the hydrogen column density determined from the X-ray absorption to the embedded stars and the K-band extinction measured to those stars. In NGC 1333, we find NH = 0.89 ± 0.13 × 1022 AK , this is lower than expected of the standard interstellar medium but similar to that found previously in the Serpens cloud core.
BC TEAL Journal, Vol. 3 No. 1 (2018)
Creators: name: BC TEAL Journal
Publisher: name: BC TEAL Journal
Year: 2018

description: Contributing to Open Access Journals with Peer Review: A Meaningful Opportunity for Engaged Continuing Professional Development...i-iii From Stigma to Strength: A Case of ESL Program Transformation in a Greater Vancouver High School...63-76 How Accurately do English for Academic Purposes Students use Academic Word List Words?...77-89 Review of Coney, M. 2017. The Lazy Teacher Trainer’s Handbook. ?(n.p.): the round....90-92 Academic Dishonesty in a Post-Secondary Multilingual Institution...49-62 Unmasking the Early Language and Literacy Needs of ELLs: What K–3 Practitioners Need to Know and Do...22-36 Fostering Success: Belongingness Pedagogy for English Language Learners...37-48 The Portfolio-based Language Assessment Model: Perceptions of Adult Immigrant English Language Learners...1-21
Constraining models of hadronic showers using proton-Oxygen collisions at the LHC involving proton/neutron tagging
Creators: name: Pitt, Michael
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The study of hadronic showers, which are produced by cosmic rays penetrating the Earth's atmosphere, is essential for shedding light on the origins and characteristics of high-energy particles originating from space and reaching our planet. At the Large Hadron Collider at CERN, there are plans to conduct a short run of proton--oxygen collisions in 2025 to refine the modeling of hadronic showers. This work explores the potential impact on constraining models of hadronic showers by measuring interactions facilitated by color-neutral objects such as photons, pomerons, and pions. These interactions are often characterized by high-energy protons or neutrons produced at forward rapidities and can be tagged using dedicated forward proton and neutron detectors.
description: 4 pages, 5 figures, proceedings of the XVIII International Conference on Topics in Astroparticle and Underground Physics (TAUP 2023)
BC TEAL Journal, Vol. 2 No. 1 (2017)
Creators: name: BC TEAL Journal
Publisher: name: BC TEAL Journal
Year: 2017

description: Free and Open Access: How English Language Teaching Associations Can Foster the Dissemination of Knowledge Through Scholarly Journals...i-ii Review of Medgyes, P. (2017). The Non-Native Teacher, 3rd Ed. Scotland, UK: Swan Communication...49-50 Review of García, O. & Wei, L. (2014). Translanguaging: Language, Bilingualism and Education. New York, NY: Palgrave Macmillan....46-48 Making Sense of Theory: A Doctoral Student’s Narrative of Conceptualizing a Theoretical Framework...25-35 Trauma-informed Teaching Practice and Refugee Children: A Hopeful Reflection on Welcoming Our New Neighbours to Canadian Schools...36-45 The Portfolio-Based Language Assessment (PBLA): Suitable for Adult Learners?...14-24 Service-Learning: Boldly Going Where EAL Students Have Not Gone Before...1-13
Signal generation and storage in FRET-based nanocommunications
Creators: name: Kmiecik, Jakub
name: Wojcik, Krzysztof
name: Kulakowski, Pawel
name: Jajszczyk, Andrzej
Publisher: name: arXiv
Year: 2018
Subjects: subject: Medical Physics (physics.med-ph)
subject: Molecular Networks (q-bio.MN)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: The paper is concerned with Forster Resonance Energy Transfer (FRET) considered as a mechanism for communication between nanodevices. Two solved issues are reported in the paper, namely: signal generation and signal storage in FRET-based nanonetworks. First, luciferase molecules as FRET transmitters which are able to generate FRET signals themselves, taking energy from chemical reactions without any external light exposure, are proposed. Second, channelrhodopsins as FRET receivers, as they can convert FRET signals into voltage, are suggested. Further, medical in-body systems where both molecule types might be successfully applied, are discussed. Luciferase-channelrhodopsin communication is modeled and its performance is numerically validated, reporting on its throughput, bit error rate, propagation delay and energy consumption.
BC TEAL Journal, Vol. 1 No. 1 (2016)
Creators: name: BC TEAL Journal
Publisher: name: BC TEAL Journal
Year: 2016

description: A Journal for Teaching English as an Additional Language in British Columbia...i-ii Supporting Adult Learners with Refugee Experiences through English Language Instruction...82-91 Growth: The Relationship Between Metanoia and Additional Language Learning in EAP...51-66 Academic Language in K-12: What Is It, How Is It Learned, and How Can We Measure It?...67-81 “You Actually Learn Something”: Gathering Student Feedback Through Focus Group Research to Enhance Needs-Based Programming...38-50 Reducing the Affective Filter: Using Canine Assisted Therapy to Support International University Students’ English Language Development...18-37 The Dynamic Rhetorical Structures of TESOL Conference Abstracts...1-17
Additional file 1 of GATD3A, a mitochondrial deglycase with evolutionary origins from gammaproteobacteria, restricts the formation of advanced glycation end products
Creators: name: Smith, Andrew J.
name: Advani, Jayshree
name: Brock, Daniel C.
name: Nellissery, Jacob
name: Gumerson, Jessica
name: Dong, Lijin
name: Aravind, L.
name: Kennedy, Breandán
name: Swaroop, Anand
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Fig. S1. Recombinant protein production, immunoreactivity to 1,2-dicarbonyls and AGEs. Fig. S2. Protein interaction network reveals heterogeneity in GATD3A interactors. Fig. S3. Loss of mitochondrial GATD3A is not compensated for by other dicarbonyl defense enzymes. Fig. S4. Overexpression of GATD3A increases mitochondrial fragmentation.
Additional file 2 of GATD3A, a mitochondrial deglycase with evolutionary origins from gammaproteobacteria, restricts the formation of advanced glycation end products
Creators: name: Smith, Andrew J.
name: Advani, Jayshree
name: Brock, Daniel C.
name: Nellissery, Jacob
name: Gumerson, Jessica
name: Dong, Lijin
name: Aravind, L.
name: Kennedy, Breandán
name: Swaroop, Anand
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2. Uncropped gel images with indicated figures.
Null Hypersurfaces in de Sitter and anti-de Sitter Cosmologies
Creators: name: Hogan, P. A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The study of gravitational waves in the presence of a cosmological constant has led to interesting forms of the de Sitter and anti-de Sitter line elements based on families of null hypersurfaces. The forms are interesting because they focus attention on the geometry of null hypersurfaces in space-times of constant curvature. Two examples are worked out in some detail. The first originated in the study of collisions of impulsive gravitational waves in which the post-collision space-time is a solution of Einstein's field equations with a cosmological constant, and the second originated in the generalisation of plane fronted gravitational waves with parallel rays to include a cosmological constant.
description: Latex file 15 pages