cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Linked Open vocabularies for the ecosystem science community
Creators: name: Guru, Siddeswara
name: Chuc, Edmond
name: Girola, Elisa Maria
name: Charles, Lachlan
name: Luo, Enzhen
name: Weis, Gerhard
Publisher: name: Zenodo
Year: 2023
Subjects: vocabularies
semantics

description: In recent years, more emphasis has been given to sharing and publishing large data collections. One of the challenges to making data reusable is to describe semantics and contextual information about data and build community-accepted vocabularies to represent data. Any developed vocabularies need to be reusable for maximum impact. Semantic web technologies and standards to create and share vocabularies will promote reusability. We provide an overview of different reusable linked-data vocabularies developed at Terrestrial Ecosystem Research Network (TERN) to describe platforms, instruments, parameters, feature types, people, and organisations. Controlled vocabularies have enabled TERN to enrich datasets with more contextual information and make published data more visible, reusable, and interoperable. We also discuss the reusability of existing vocabularies and governance on using them to meet operational needs. Acknowledgements TERN is supported by the Australian Government through the National Collaborative Research Infrastructure Strategy, NCRIS.
Stochastic Inference of Plate Bending from Heterogeneous Data: Physics-informed Gaussian Processes via Kirchhoff-Love Theory
Creators: name: Kavrakov, Igor
name: Tondo, Gledson Rodrigo
name: Morgenthal, Guido
Publisher: name: arXiv
Year: 2024
Subjects: subject: Machine Learning (cs.LG)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: Advancements in machine learning and an abundance of structural monitoring data have inspired the integration of mechanical models with probabilistic models to identify a structure's state and quantify the uncertainty of its physical parameters and response. In this paper, we propose an inference methodology for classical Kirchhoff-Love plates via physics-informed Gaussian Processes (GP). A probabilistic model is formulated as a multi-output GP by placing a GP prior on the deflection and deriving the covariance function using the linear differential operators of the plate governing equations. The posteriors of the flexural rigidity, hyperparameters, and plate response are inferred in a Bayesian manner using Markov chain Monte Carlo (MCMC) sampling from noisy measurements. We demonstrate the applicability with two examples: a simply supported plate subjected to a sinusoidal load and a fixed plate subjected to a uniform load. The results illustrate how the proposed methodology can be employed to perform stochastic inference for plate rigidity and physical quantities by integrating measurements from various sensor types and qualities. Potential applications of the presented methodology are in structural health monitoring and uncertainty quantification of plate-like structures.
description: 25 pages, 11 figures
Transformation as disease, reincorporation as cure : a comparative case-study of Apuleius’ Metamorphoses & C.S. Lewis’ The Horse and His Boy
Creators: name: Hartman, Midori E.
Publisher: name: University of British Columbia
Year: 2010

description: This dissertation analyzes the reception of Apuleius’ Metamorphoses in C.S. Lewis’ The Horse and His Boy through a case-study of the asinine transformations of Apuleius’ protagonist, Lucius, and Lewis’ antagonist, Prince Rabadash. Lewis’ use of Apuleius’ work as a model has been established in scholarship, specifically in his reworking of the Cupid and Psyche tale in Till We Have Faces (1956). This dissertation will analyze the elements of congruity between the tales of Lucius and Rabadash, namely: (1) the disregard of a superior’s warnings (Byrrhena, Aslan); (2) the “sin” of a personal lack of control (curiositas, pride) that leads to asinine metamorphosis; and (3) the reversal of metamorphosis through public religious ritual, thus resulting in a re-establishment in society with a new status (priesthood or eternal connection to the temple/deity). Medical anthropological models, specifically the health care systems and explanatory models (Kleinman: 1980), and the cultural anthropological model of the rites of passage (van Gennep: 1969) elucidate Lucius’ experiences within the context of Apuleius’ social world (2nd century A.D.) and Rabadash’s within the fictional world of Narnia. This dissertation seeks to broaden scholarship on classical reception in C.S. Lewis’ work, and add further insight into the studies of Apuleius through the use of social scientific criticism.
Dynamics of DNA breathing in the Peyrard-Bishop model with damping and external force
Creators: name: Sulaiman, A.
name: Zen, F. P.
name: Alatas, H.
name: Handoko, L. T.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Biomolecules (q-bio.BM)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: The impact of damping effect and external forces to the DNA breathing is investigated within the Peyrard-Bishop model. In in the continuum limit, the dynamics of the breathing of DNA is described by the forced-damped nonlinear Schrodinger equation and studied by means of variational method. The analytical solutions are obtained for special cases. It is shown that the breather propagation is decelerated in the presence of damping factor without the external force, while the envelope velocity and the amplitude increase significantly with the presence of external force. It is particularly found that the higher harmonic terms are enhanced when the periodic force is applied. It is finally argued that the external force accelerates the DNA breathing.
description: 20 pages, 7 figures
Comparing Methods for segmentation of Microcalcification Clusters in Digitized Mammograms
Creators: name: Moradmand, Hajar
name: Setayeshi, Saeed
name: Targhi, Hossein Khazaei
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: The appearance of microcalcifications in mammograms is one of the early signs of breast cancer. So, early detection of microcalcification clusters (MCCs) in mammograms can be helpful for cancer diagnosis and better treatment of breast cancer. In this paper a computer method has been proposed to support radiologists in detection MCCs in digital mammography. First, in order to facilitate and improve the detection step, mammogram images have been enhanced with wavelet transformation and morphology operation. Then for segmentation of suspicious MCCs, two methods have been investigated. The considered methods are: adaptive threshold and watershed segmentation. Finally, the detected MCCs areas in different algorithms will be compared to find out which segmentation method is more appropriate for extracting MCCs in mammograms.
Nested Hoare Triples and Frame Rules for Higher-order Store
Creators: name: Schwinghammer, Jan
name: Birkedal, Lars
name: Reus, Bernhard
name: Yang, Hongseok
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1, F.3.2

description: Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we investigate the compatibility of nested Hoare triples with several variations of higher-order frame rules. The interaction of nested triples and frame rules can be subtle, and the inclusion of certain frame rules is in fact unsound. A particular combination of rules can be shown consistent by means of a Kripke model where worlds live in a recursively defined ultrametric space. The resulting logic allows us to elegantly prove programs involving stored code. In particular, using recursively defined assertions, it leads to natural specifications and proofs of invariants required for dealing with recursion through the store.
description: 42 pages
DATS 6103 O10 Project 3
Creators: name: Weirui Liu
Publisher: name: Zenodo
Year: 2020

description: Nowadays, with more and more cars on the road, how to reduce traffic accidents has become the focus of our society. This project will analyze and inference from the DateTime, location, weather condition, and point of interest in traffic accidents. Find out the factors that affect the frequency of traffic accidents. Look at how historical data can be analyzed to predict the period, road sections, weather conditions where accidents occur frequently, and how traffic infrastructure can be improved to reduce accidents.
Investigate the interaction between dark matter and dark energy
Creators: name: Lu, Jianbo
name: Wu, Yabo
name: Jin, Yongyi
name: Wang, Yan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this paper we investigate the interaction between dark matter and dark energy by considering two different interacting scenarios, i.e. the cases of constant interaction function and variable interaction function. By fitting the current observational data to constrain the interacting models, it is found that the interacting strength is non-vanishing, but weak for the case of constant interaction function, and the interaction is not obvious for the case of variable interaction function. In addition, for seeing the influence from interaction we also investigate the evolutions of interaction function, effective state parameter for dark energy and energy density of dark matter. At last some geometrical quantities in the interacting scenarios are discussed.
description: 14 pages, 6 figures
MUSBAT ANIQLANGAN MATRITSALAR VA ULAR ORQALI QURILGAN AYRIM TENGSIZLIKLAR
Creators: name: Solihov, Suhrob
name: Karimov, Abdurahim
name: Shodiyev, Mirzobek
Publisher: name: Zenodo
Year: 2023

description: Ushbu maqolada musbat aniqlangan matritsasi haqida tushuncha, uning qoʻllanilishi hamda ayrim xossalari va ular orqali qurulgan tengsizliklarga oid misollar berilgan. Musbat matritsalarning xossalari keltirilgan. "Bumerang" interfaol metodini qoʻllash va u yordamida musbat matritsalarni oʻrganish usulllari koʻrsatib oʻtilgan.
Horava-Lifshitz theory as a Fermionic Aether in Ashtekar gravity
Creators: name: Alexander, Stephon
name: Magueijo, Joao
name: Marciano, Antonino
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We show how Hořava-Lifshitz (HL) theory appears naturally in the Ashtekar formulation of relativity if one postulates the existence of a fermionic field playing the role of aether. The spatial currents associated with this field must be switched off for the equivalence to work. Therefore the field supplies the preferred frame associated with breaking refoliation (time diffeomorphism) invariance, but obviously the symmetry is only spontaneously broken if the field is dynamic. When Dirac fermions couple to the gravitational field via the Ashtekar variables, the low energy limit of HL gravity, recast in the language of Ashtekar variables, naturally emerges (provided the spatial fermion current identically vanishes). HL gravity can therefore be interpreted as a time-like current, or a Fermi aether, that fills space-time, with the Immirzi parameter, a chiral fermionic coupling, and the fermionic charge density fixing the value of the parameter $λ$ determining HL theory. This reinterpretation sheds light on some features of HL theory, namely its good convergence properties.
Digital Representation of Units of Measure
Creators: name: Cox, Simon J. D.
Publisher: name: Zenodo
Year: 2023
Subjects: vocabularies
semantics

description: Units of measurement are an essential reference providing scale factors for quantitative data. There are multiple community-based standards for digital representation of units, such as UCUM(Schadow and McDonald 1999), QUDT(Hodgson et al. 2013), UDUNITS(Unidata), NVS-P06(BODC), UNECE(UNECE), However, in scientific projects it is still common for data managers to set up a local table of unit codes, often in schemas and data dictionaries separate from the actual data. This presents barriers to combining data from different sources, and the risks around units ambiguity have been discussed in a comment article in Nature (Hanisch et al. 2022).

 For historical and cultural reasons, it is unlikely that a single system will be adopted by all communities. However, increased awareness of the existing options should serve to relieve new initiatives of the need for a bespoke system, and it is feasible to maintain crosswalks between a small number of systems (e.g. (Blumberg et al.)). A CODATA Task Group on Digital Representation of Units of Measure (DRUM) was formed in 2018, with a goal of addressing this challenge. DRUM is now collaborating with CIPM on the Digital-SI project. CIPM is evaluating the existing systems to determine the optimal strategy moving forward. Metrologists and users have different goals and requirements, so this creates some tension in determining priorities. References Blumberg, Kai. et al. ‘Units of Measurement’. https://units-of-measurement.org/ . BODC. ‘BODC-Approved Data Storage Units (P06)’. https://vocab.nerc.ac.uk/collection/P06/current/ . Hanisch, Robert, et al. 2022. Nature 605 (7909): 222–24. https://doi.org/10.1038/d41586-022-01233-w . Hodgson, Ralph, et al. 2013. http://www.qudt.org/ . Schadow, Gunther, and Clement J McDonald. 1999. https://ucum.org/ucum.html . UNECE. ‘UN/CEFACT-Rec20 | UNECE’. https://unece.org/trade/documents/2021/06/uncefact-rec20-0 . Unidata. ‘UDUNITS’. https://www.unidata.ucar.edu/software/udunits/#home
Supplementary document for Effects of high-power laser radiation on polymers for 3D printing micro-optics - 6725597.pdf
Creators: name: ruchka, pavel
name: Klein, Sebastian
name: Giessen, Harald
name: Steinle, Tobias
name: Bartels, Nils
name: Klumpp, Thomas
Publisher: name: Optica Publishing Group
Year: 2023
Subjects: Uncategorized

description: Supplementary Figures
Topological Sector Fluctuations and Curie Law Crossover in Spin Ice
Creators: name: Jaubert, Ludovic D. C.
name: Harris, Mark J.
name: Fennell, Tom
name: Melko, Roger G.
name: Bramwell, Steven T.
name: Holdsworth, Peter C. W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: At low temperatures, a spin ice enters a Coulomb phase - a state with algebraic correlations and topologically constrained spin configurations. In Ho2Ti2O7, we have observed experimentally that this process is accompanied by a non-standard temperature evolution of the wave vector dependent magnetic susceptibility, as measured by neutron scattering. Analytical and numerical approaches reveal signatures of a crossover between two Curie laws, one characterizing the high temperature paramagnetic regime, and the other the low temperature topologically constrained regime, which we call the spin liquid Curie law. The theory is shown to be in excellent agreement with neutron scattering experiments. On a more general footing, i) the existence of two Curie laws appears to be a general property of the emergent gauge field for a classical spin liquid, and ii) sheds light on the experimental difficulty of measuring a precise Curie-Weiss temperature in frustrated materials; iii) the mapping between gauge and spin degrees of freedom means that the susceptibility at finite wave vector can be used as a local probe of fluctuations among topological sectors.
description: 10 pages, 5 figures
Radiation Pressure-supported Accretion Disks: Vertical Structure, Energy Advection, and Convective Stability
Creators: name: Gu, Wei-Min
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: By taking into account the local energy balance per unit volume between the viscous heating and the advective cooling plus the radiative cooling, we investigate the vertical structure of radiation pressure-supported accretion disks in spherical coordinates. Our solutions show that the photosphere of the disk is close to the polar axis and therefore the disk seems to be extremely thick. However, the profile of density implies that most of the accreted matter exists in a moderate range around the equatorial plane. We show that the well-known polytropic relation between the pressure and the density is unsuitable for describing the vertical structure of radiation pressure-supported disks. More importantly, we find that the energy advection is significant even for slightly sub-Eddington accretion disks. We argue that the non-negligible advection may help to understand why the standard thin disk model is likely to be inaccurate above \sim 0.3 Eddington luminosity, which was found by some works on the black hole spin measurement. Furthermore, the solutions satisfy the Solberg-Hoiland conditions, which indicates the disk to be convectively stable. In addition, we discuss the possible link between our disk model and ultraluminous X-ray sources.
description: 27 pages, 8 figures, accepted for publication in ApJ
Use of GitHub to create and manage semantic-enabled controlled vocabularies with a case study
Creators: name: Chuc, Edmond
name: Guru, Siddeswara
name: Yu, Junrong
name: Ramesh, Arun Singh
Publisher: name: Zenodo
Year: 2023
Subjects: vocabularies
semantics

description: Semantically enhancing new and existing data with controlled vocabularies is becoming more prevalent in the digital age of data management. Enhancing data with controlled vocabularies provides the much-needed contextual information and metadata in a machine-readable manner. However, the development and management of controlled vocabularies is a challenge. The tooling and platform used to manage the controlled vocabularies need to have the following qualities:
 ● Open community-based collaborative environment
 ● Simple editorial interface for domain experts
 ● Provenance information
 ● Review process
 ● Version management
 ● Release and publication
 ● Validation
 ● Automated pipelines
 ● Issue tracker
 ● Community discussions

 These qualities bear the hallmarks of typical open-source software development communities.
 In this session, we will explore and demonstrate how to use the different aspects of GitHub to maintain, manage and publish controlled vocabularies. We will detail how we use software development practices to improve the efficiency of how our technical and domain expert teams communicate and work on the controlled vocabularies. Lastly, we will showcase our automated release pipeline and how we validate and integrate the controlled vocabularies with downstream services such as Research Vocabularies Australia. Acknowledgements TERN is supported by the Australian Government through the National Collaborative Research Infrastructure Strategy, NCRIS
Evaluation of Factors Influencing 12 Month Production of the Raven River Member, Cardium Formation, Garrington Field, West-Central Alberta.
Creators: name: Van, Raymond
Publisher: name: Graduate Studies
Year: 2017
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences
subject: Geology
subject: Raven River Member

description: The Raven River Member of the Cardium Formation in the Garrington Field is a petroliferous, late-cretaceous unit composed of heterogeneous, bioturbated sandstones and mudstones. Researchers attempted to optimize various drilling and completion parameters, but a multivariate analysis of how geological, drilling and completion variables affect early hydrocarbon production has not been examined. This study uses a combination of sedimentology, sequence stratigraphy and statistics to determine the influence of these variables on 12 month production. Core and wireline log data were used to construct a sequence stratigraphic framework, and geologic maps including net sandstone, net pay, and H. The geologic maps alone were poor predictors of 12 month production, from where midpoint pressure, natural fracture analysis, and drilling and completion variables are included in a statistical analysis. The statistical analysis concludes that 12 month production correlates strongest with the completion length, the number of stages completed, drilling in zone, and pressure.
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback
Creators: name: Seidel, Peter-Michael
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Hardware Architecture (cs.AR)
subject: Mathematical Software (cs.MS)
subject: FOS: Computer and information sciences
subject: F.3.1

description: We present the formal verification of a low-power x86 floating-point multiplier. The multiplier operates iteratively and feeds back intermediate results in redundant representation. It supports x87 and SSE instructions in various precisions and can block the issuing of new instructions. The design has been optimized for low-power operation and has not been constrained by the formal verification effort. Additional improvements for the implementation were identified through formal verification. The formal verification of the design also incorporates the implementation of clock-gating and control logic. The core of the verification effort was based on ACL2 theorem proving. Additionally, model checking has been used to verify some properties of the floating-point scheduler that are relevant for the correct operation of the unit.
description: In Proceedings ACL2 2011, arXiv:1110.4473
The IUPAC Gold Book: Compendium of Chemical Terminology
Creators: name: Chalk, Stuart
Publisher: name: Zenodo
Year: 2023
Subjects: vocabularies
semantics

description: The IUPAC Compendium of Chemical Terminology (the "Gold Book") (https://goldbook.iupac.org) is the online resource for access to the official definitions of chemical concepts published in IUPAC Recommendations (in Pure and Applied Chemistry). The current resource includes almost 7,000 terms spanning the chemical sciences and several thousand more defined concepts are in the pipeline. Every term is referable by a DOI and programmatically accessible through an API. This presentation will discuss ongoing developments to the metadata and API service to enhance the Gold Book as a FAIR-enabling resource and facilitate ontological reuse of terms.
Designing Attractive Models via Automated Identification of Chaotic and Oscillatory Dynamical Regimes
Creators: name: SIlk, Daniel
name: Kirk, Paul D. W.
name: Barnes, Chris P.
name: Toni, Tina
name: Rose, Anna
name: Moon, Simon
name: Dallman, Margaret J.
name: Stumpf, Michael P. H.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Applications (stat.AP)
subject: Dynamical Systems (math.DS)
subject: Quantitative Methods (q-bio.QM)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: FOS: Biological sciences

description: Chaos and oscillations continue to capture the interest of both the scientific and public domains. Yet despite the importance of these qualitative features, most attempts at constructing mathematical models of such phenomena have taken an indirect, quantitative approach, e.g. by fitting models to a finite number of data-points. Here we develop a qualitative inference framework that allows us to both reverse engineer and design systems exhibiting these and other dynamical behaviours by directly specifying the desired characteristics of the underlying dynamical attractor. This change in perspective from quantitative to qualitative dynamics, provides fundamental and new insights into the properties of dynamical systems.
description: 19 pages, 4 figures
title: Electrical conduction of ion tracks in tetrahedral amorphous carbon: temperature, field and doping dependence and comparison with matrix data
Creators: name: Krauser, J.
name: Gehrke, H.-G.
name: Hofsäss, H.
name: Amani, J.
name: Trautmann, C.
name: Weidinger, A.
Publisher: name: IOP Publishing
Year: 2023

description: This paper gives an extended overview of the electrical properties of ion tracks in hydrogen-free tetrahedral amorphous carbon (ta-C) with a sp³ bond fraction of about 80%. The films were grown by mass selected ion beam deposition of 100 eV ¹²C⁺ ions. The ion tracks are generated by irradiation of ta-C films with uranium ions of 1 GeV kinetic energy. Along the ion path a conversion from diamond-like (sp³) carbon to graphite-like (sp²) carbon takes place. Topography and current measurements of individual ion tracks were performed by atomic force microscopy at ambient temperature. The temperature dependence of the electric conductivity was studied between 15 and 390 K by means of 0.28 mm² large contact pads averaging over about 10⁷ tracks. For each sample and at each temperature the conductivity as a function of the applied electrical field (non-ohmic behaviour) was measured separately and the data were extrapolated to field zero. In this way, the zero-field conductivity was determined independent from the field dependence. In spite of large differences in the absolute values, the temperature dependence of the zero-field conductivities is found to be very similar in shape for all samples. The conductivities follow a T-1/4 law up to temperatures slightly below room temperature. At higher temperatures a transport mechanism based on over-barrier hopping dominates with an activation energy of about 220 meV for tracks and 260 meV for the ta-C matrix. The field dependence measurements show that the deviation of the I–V characteristics from ohmic behaviour decreases with increasing zero-field conductivity. We also tested Cu-doped ta-C samples and found that they conduct significantly better than pure ta-C. However, the doping also increases the zero-field conductivity resulting in a weaker contrast between the track and matrix. The data are interpreted within the so-called ‘barrier model’ where the electrons are assumed to move fairly freely in well-conducting sp² regions but encounter barriers in track sections consisting of more sp³-like bonds.
Nonabelian dualization of plane wave backgrounds
Creators: name: Hlavatý, Ladislav
name: Turek, Miroslav
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate plane-parallel wave metrics from the point of view of their (Poisson-Lie) T-dualizability. For that purpose we reconstruct the metrics as backgrounds of nonlinear sigma models on Lie groups. For construction of dual backgrounds we use Drinfel'd doubles obtained from the isometry groups of the metrics. We find dilaton fields that enable to satisfy the vanishing beta equations for the duals of the homogenous plane-parallel wave metric. Torsion potentials or B-fields, invariant w.r.t. the isometry group of Lobachevski plane waves are obtained by the Drinfel'd double construction. We show that a certain kind of plurality, different from the (atomic) Poisson-Lie T-plurality, may exist in case that metrics admit several isometry subgroups having the dimension of the Riemannian manifold. An example of that are two different backgrounds dual to the homogenous plane-parallel wave metric.
description: 18 pages
Modern Cosmology: Assumptions and Limits
Creators: name: Hwang, Jai-chan
Publisher: name: arXiv
Year: 2012
Subjects: subject: History and Philosophy of Physics (physics.hist-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Physical cosmology tries to understand the Universe at large with its origin and evolution. Observational and experimental situations in cosmology do not allow us to proceed purely based on the empirical means. We examine in which sense our cosmological assumptions in fact have shaped our current cosmological worldview with consequent inevitable limits. Cosmology, as other branches of science and knowledge, is a construct of human imagination reflecting the popular belief system of the era. The question at issue deserves further philosophic discussions. In Whitehead's words, "philosophy, in one of its functions, is the critic of cosmologies". (Whitehead 1925)
description: 4 pages, published in JKAS, 45, 65 (2012)
Time variable cosmological constant of holographic origin with interaction in Brans-Dicke theory
Creators: name: Lu, Jianbo
name: Ma, Lina
name: Liu, Molin
name: Wu, Yabo
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Time variable cosmological constant (TVCC) of holographic origin with interaction in Brans-Dicke theory is discussed in this paper. We investigate some characters for this model, and show the evolutions of deceleration parameter and equation of state (EOS) for dark energy. It is shown that in this scenario an accelerating universe can be obtained and the evolution of EOS for dark energy can cross over the boundary of phantom divide. In addition, a geometrical diagnostic method, jerk parameter is applied to this model to distinguish it with cosmological constant.
description: 10 pages, 9 figures
Determination of the Binding Mode of Hydroxycitrate, and Investigation of the Binding Site of 14-3-3 Protein on Human ATP Citrate Lyase
Creators: name: Hu, Jinhong
Publisher: name: Graduate Studies
Year: 2017
Subjects: Biology

description: ATP citrate lyase (ACLY) catalyzes the reaction: citrate + CoA + ATP → acetyl-CoA + oxaloacetate +ADP + Pi (Srere & Lipmann, 1953). Because acetyl-CoA is the precursor of de novo lipogenesis, human ACLY (hACLY) is linked to multiple diseases (Groot et al., 2003; Bauer et al., 2005). The goal of this study is to understand the catalytic and regulatory mechanism of hACLY. Crystals of a rationally designed form of the amino terminus of hACLY showed electron density of the catalytic loop for the first time. The binding modes of the inhibitors, 4R- and 4S-hydroxycitrate, were seen, and it was concluded that either the hydroxycitryl-CoA cannot be formed or cannot be cleaved. Binding assays were done to determine whether 14-3-3 protein binds directly to phosphorylated serine-455 of hACLY. The results suggest that 14-3-3 protein binds to hACLY, but not specific ally to phosphorylated Ser-455.
Quarkonia production at forward rapidity in Pb+Pb collisions at $\bf \sqrt{s_{\rm NN}}=2.76$ TeV with the ALICE detector
Creators: name: Das, Debasish
Publisher: name: arXiv
Year: 2011
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The study of formation of heavy quarkonia in relativistic heavy ion collisions provides important insight into the properties of the produced high density QCD medium. Lattice QCD studies show sequential suppression of quarkonia states with increasing temperature; which affirms that a full spectroscopy, can provide us a thermometer for the matter produced under extreme conditions in relativistic heavy ion collisions and one of the most direct probes of de-confinement. Muons from the decay of charmonium resonances are detected in ALICE Experiment in p+p and Pb+Pb collisions with a muon spectrometer, covering the forward rapidity region($2.5
description: 2 figures. Proceedings for XXV International Symposium on Lepton Photon Interactions at High Energies, 22-27th August 2011, Mumbai, India
The Proposed Quadruple System SZ Herculis: Revised LITE Model and Orbital Stability Study
Creators: name: Hinse, T. C.
name: Gozdziewski, K.
name: Lee, J. W.
name: Haghighipour, N.
name: Lee, C. -U.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: In a recent study, Lee et al. presented new photometric follow-up timing observations of the semi-detached binary system SZ Herculis and proposed the existence of two hierarchical cirumbinary companions. Based on the light-travel time effect, the two low-mass M-dwarf companions are found to orbit the binary pair on moderate to high eccentric orbits. The derived periods of these two companions are close to a 2:1 mean-motion orbital resonance. We have studied the stability of the system using the osculating orbital elements as presented by Lee et al. Results indicate an orbit-crossing architecture exhibiting short-term dynamical instabilities leading to the escape of one of the proposed companions. We have examined the system's underlying model parameter-space by following a Monte Carlo approach and found an improved fit to the timing data. A study of the stability of our best-fitting orbits also indicates that the proposed system is generally unstable. If the observed anomalous timing variations of the binary period is due to additional circumbinary companions, then the resulting system should exhibit a long-term stable orbital configuration much different from the orbits suggested by Lee et al. We, therefore, suggest that based on Newtonian-dynamical considerations, the proposed quadruple system cannot exist. To uncover the true nature of the observed period variations of this system, we recommend future photometric follow-up observations that could further constrain eclipse-timing variations and/or refine light-travel time models.
description: 24 pages, 2 tables, 8 figures (bw), submitted to AJ
Coherent radiation of atoms and a channeling particle
Creators: name: Epp, V.
name: Sosedova, M. A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: New mechanism of radiation emitted at channeling of a relativistic particle in a crystal is studied. Superposition of coherent radiation of the atoms in a crystal lattice which are excited by a channeling particle and radiation of the channeling particle itself is considered. It is shown that coherent radiation of the chain of oscillating atoms forms a resonance peak on the background of radiation of the channeling particle.
description: 7 pages, 4 figures
Spatiotemporal Clusters of GPS Locations and Prediction of Grizzly Bear Behaviour
Creators: name: Kermish-Wells, Joseph
Publisher: name: Environmental Design
Year: 2017
Subjects: subject: Forestry and Wildlife
subject: Ecology
subject: FOS: Biological sciences
subject: Grizzly bear
subject: Ursus arctos
subject: GPS
subject: Space-time clusters
subject: West-central Alberta
subject: Behaviour prediction
subject: Foraging
subject: Predation
subject: Bedding

description: Changes to grizzly bears foraging patterns caused by natural or anthropogenic alterations in their environment could have substantial consequences for both ungulate populations of prey and for bears in Alberta, where the species is considered as “Threatened”. I developed a method for identifying foraging sites of bears fitted with Geographic Positioning System collars, which allowed downloads of locations through satellites. Using spatiotemporal collar data and landscape data I created logistic regression models to predict occurrence of bedding, predation, and other foraging behaviours. I was therefore able to precisely identify sites where grizzly bears concentrated their activity and also increased the predictability of predation event locations by 2.75 times, compared to visits of random GPS-collar locations. My study also determined the natural and human factors influencing bear behavioural patterns, prominently forestry operations and human infrastructure; i.e. factors to be considered in conservation planning for grizzly bears.
The emerging, multi-layered, geo-vocabulary governance regime
Creators: name: Car, Nicholas
Publisher: name: Zenodo
Year: 2023
Subjects: vocabularies
semantics

description: The government geoscience community in Australia - state and Commonwealth agencies and inter-governmental bodies - and their international domain bodies such as the Commission for Geoscience Information (CGI) have a long-standing commitment to the use of vocabularies. Now, several state agencies, Geoscience Australia, the inter-governmental GGIC committee and CGI all have the technical capability to publish Semantic Web vocabularies and we are starting to see defined and managed governance of content in these systems working together.

 In this talk we will describe how these organisations got here, where governance is up to today, what options this regime provides for geoscience producers and consumers and what some future plans are. Acknowledgements The authors acknowledge the various data transformation projects at Australian state Geological Survey agencies that have funded their participation in GGIC & CGI activities.
Astrophysical limits on light NMSSM neutralinos
Creators: name: Vasquez, Daniel Albornoz
name: Belanger, Genevieve
name: Boehm, Celine
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: It was recently shown that light LSP neutralinos could be found in the framework of the NMSSM. These candidates would escape known Particle Physics constraints even though they are relatively light. We now investigate the astrophysical limits which can be set on these particles. We show, in particular, that the Fermi observation of dwarf spheroidal galaxies enable to constrain the parameter space associated with these candidates. Combined with the XENON100 experimental limits, our results illustrate the complementarity between direct and indirect searches for dark matter. Yet, our findings also suggest that probing light neutralinos in the NMSSM scenario will be very difficult because the sensitivity of both dark matter direct and indirect detection experiments would have to be improved by at least six order of magnitude compared to present values in order to explore the entire parameter space. Finally, we show that the parameter space compatible with the CoGeNT signal (albeit disfavored by the XENON100 limit) is not excluded by gamma nor radio observations.
description: References added, one Figure added, one Figure and Table corrected
Bit-Blasting ACL2 Theorems
Creators: name: Swords, Sol
name: Davis, Jared
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Interactive theorem proving requires a lot of human guidance. Proving a property involves (1) figuring out why it holds, then (2) coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDD- or SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and automates the process of admitting it as a theorem. We use GL at Centaur Technology to verify execution units for x86 integer, MMX, SSE, and floating-point arithmetic.
description: In Proceedings ACL2 2011, arXiv:1110.4473
Spin-spectral-weight distribution and energy range of the parent compound La$_2$CuO$_4$
Creators: name: Araujo, M. A. N.
name: Carmelo, J. M. P.
name: Sampaio, M. J.
name: White, S. R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The spectral-weight distribution in recent neutron scattering experiments on the parent compound La$_2$CuO$_4$ (LCO), which are limited in energy range to about 450\,meV, is studied in the framework of the Hubbard model on the square lattice. We find that the higher-energy weight extends to about 566\,meV and is located at and near the momentum $[π,π]$. Our results confirm that the $U/t$ value suitable to LCO is in the range $U/t\in (6,8)$. The continuum weight energy-integrated intensity vanishes or is extremely small at momentum $[π,0]$. This behavior of the intensity is consistent with that of spin waves, which are damped at $[π,0]$.
description: 5 pages, 3 figures
Fighting Pollution Attacks in P2P Streaming
Creators: name: Tauhiduzzaman, Md.
Publisher: name: Graduate Studies
Year: 2012
Subjects: subject: Computer Science
subject: P2P
subject: Streaming
subject: Pollution

description: In recent years, the demand for multimedia streaming over the Internet is soaring. Due to the lack of a centralized point of administration, Peer-to-Peer (P2P) streaming systems are vulnerable to pollution attacks, in which video segments might be altered by any peer before being shared. Among existing proposals, reputation-based defense mechanisms are the most effective and practical solutions. In this thesis, we perform a measurement study on the effectiveness of this class of solutions. We simulate a framework that allows us to simulate different variations of the reputation rating systems, from the centralized global approach to the decentralized local approach, under different parameter settings and pollution models. In order to ensure that the framework and the simulated solution is representative enough, we dissect existing proposals and simulate a flexible defense mechanism, in which different components may be enabled and disabled by simply tuning certain parameters. Our experimental results reveal that global knowledge of the reputation rating is necessary to provide the best defense against the attack. But it is often susceptible under collaborative attacks, like collusion. We also find that expelling misbehaving peers is often more useful to prevent attacks than limiting their likelihood to be connected, although this can lead to poor playback quality. Based on these key observations, we propose DRank, a fully distributed rank-based reputation system, which decentralizes the global ranking system and combines it with Bayesian reputation rating systems. Experimental results show that this technique is more flexible and robust in fighting pollution attacks.
Quantum walks as a probe of structural anomalies in graphs
Creators: name: Hillery, Mark
name: Zheng, Hongjun
name: Feldman, Edgar
name: Reitzner, Daniel
name: Buzek, Vladimir
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study how quantum walks can be used to find structural anomalies in graphs via several examples. Two of our examples are based on star graphs, graphs with a single central vertex to which the other vertices, which we call external vertices, are connected by edges. In the basic star graph, these are the only edges. If we now connect a subset of the external vertices to form a complete subgraph, a quantum walk can be used to find these vertices with a quantum speedup. Thus, under some circumstances, a quantum walk can be used to locate where the connectivity of a network changes. We also look at the case of two stars connected at one of their external vertices. A quantum walk can find the vertex shared by both graphs, again with a quantum speedup. This provides an example of using a quantum walk in order to find where two networks are connected. Finally, we use a quantum walk on a complete bipartite graph to find an extra edge that destroys the bipartite nature of the graph.
description: 10 pages, 2 figures
The Accuracy of Cup Anemometers for Field Wind Speed Measurements
Creators: name: Nandez, Adrian
Publisher: name: Graduate Studies
Year: 2017
Subjects: subject: Engineering--Aerospace
subject: Accuracy
subject: Cup anemometry
subject: Urban wind resource assessment

description: A comparison of field-measured wind speed between a RNRG#40C Cup Anemometer and a Thies Clima 3D Ultrasonic Anemometer was performed. Differences in the horizontal wind speed indicated from both sources were analyzed under the current operational condition of the measuring station, i.e. no recalibration of the former sensor, and with the latter being assumed as reference of the true local wind. The characteristically low speed north-easterly winds yielded the strongest fluctuations of the sign of the normalized difference between anemometers, ranging from -45.18% to 15.19%. The data processing involved the synchronization of both data logging systems, the removal of measurements affected by shadowing and the restriction to a significant wind speed regime, i.e. above the cut-in wind speed of most wind turbines, 3.5 m/s. Accordingly, the error between anemometers was approximated by a simple linear regression using the horizontal turbulence intensity and wind speed increments as predictors of an independent model, whose aim is to correct the error based on cup anemometer data only. During the evaluation of 1554 data points, 28.83% of cup anemometer measurements showed overspeeding, i.e. recorded higher velocities than those from the assumed true wind. The original magnitude of the error in the wind speed indicated by the cup anemometer was fitted linearly as a function of turbulence to yield an apparent reduction from 1.23% to 0.63%. Similarly, the apparent correction achieved by fitting the error as function of wind speed increments was 0.62%.
Research Terminologies Australia (Rosetta)
Creators: name: Boyle, Douglas R.
name: Lawley, Michael
name: Brownlee, Rowan
Publisher: name: Zenodo
Year: 2023
Subjects: vocabularies
semantics

description: In many domains, multiple languages, vocabularies, or terminologies are utilized to describe the same thing. Mapping between definitions can be complex and open to differences in opinion and human error. In 196 BC, King Ptolemy V Epiphanes commissioned the ‘Rosetta Stone’1 – a stele inscribed with a decree written in three languages – Egyptian hieroglyphs, Demotic, and Greek script. This stele became the key to deciphering Egyptian hieroglyphs. The Rosetta Stone is the inspiration for a new initiative called Research Terminologies Australia or ‘RoseTtA’ for short. A collaboration between the ARDC, The University of Melbourne, CSIRO and the Australian Health Research Alliance, our version of Rosetta aims to help curate mappings between terminologies commonly utilized in health and related domains.

 In the health domain, we do have standards such as 'SNOMED Clinical Terms'. Unfortunately, many systems do not conform to this or indeed any standard. In many cases, text is manually entered rather than coded. Mappings between terminologies or even simple concepts such as ‘Sex’ and its representation are ad-hoc and subject to human error. Rosetta aims to build on the internationally leading health terminology server technologies ‘Ontoserver’2 and ‘Snap2SNOMED’3 to build a tool that allows for open community curation of clinical terminology mappings, mappings of concepts such as ‘Sex’ across custom database implementations and that supports mappings of free text terms to discrete medical concepts.

 Rosetta aims to complement Research Vocabularies Australia and to participate towards harmonization in the vocabulary and terminology space. This presentation will introduce the background to Rosetta, will describe Ontoserver and Snap2SNOMED and will set the context from the perspective of the ARDC. Acknowledgements Australian Research Data Commons (ARDC)