cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: The Identification of Key Economic and Property Variables that Impact on Prime Office Rents: a Study of Seven European Cities
Creators: name: Reilly, Aoife
Publisher: name: Technological University Dublin
Year: 2014

description: he aim of this dissertation is to identify and assess the impact of macroeconomic and property variables on prime office rental levels. Data from seven diverse European cities was gathered from 2000 to 2014 and statistical analysis using econometric modelling was undertaken. The results unveil a number of relationships between the explanatory variables and prime office rents. In particular, the results highlight movements in the office vacancy rate and GDP as important variables impacting change in prime office rental levels while employment, interest rates and inflation play a less significant role. Results indicate that econometric modelling has a role to play in investment decision making and transnational studies such as this may prove useful for investment portfolio diversification. Like many social science econometric studies, a number of limitations are encountered such as the use of headline rents where effective rents would provide a more accurate reflection of the office market. This limitation is common to the majority of the studies in this area due to restrictions on data availability in the industry. The findings of the study should add to the existing body of knowledge on the subject area and prove useful to investors operating increasingly globalised portfolio strategies.
title: The Construction Contracts Act 2013 – An Overview
Creators: name: Cunningham, Tony
Publisher: name: Technological University Dublin
Year: 2017

description: It is absolutely fundamental to trust within the construction industry that participants should be paid for the work which they have undertaken – Sir Michael Latham

The Construction Contracts Act 2013, in essence, deals with the timing of, amount of, and enforcement procedures for payments within the Irish construction industry. The Act was introduced to redress a perceived power imbalance between main contractors and sub-contractors which fostered poor payment practices. The Act establishes a formal payment process which may be enforced by aggrieved parties who claim they have not been paid on time or in full, through suspending the works or referring the disputed payment to adjudication.
title: The effects of anoxic conditions on thermal tolerance and stress protein levels in four local bivalves
Creators: name: Allee, Rachel
Publisher: name: Western Washington University
Year: 2010

description:
Areas of oxygen depletion in the world's oceans have been on the rise, with the main culprits being anthropogenic causes such as eutrophication and pollution. Coastal marine areas, such as estuaries, are some of the more impacted ecosystems and they have been the focus of recent studies. This study focused on the effects of anoxia and the interactions it has with thermal tolerance in four local intertidal bivalves: Nuttallia obscurata, Venerupis phillipinarum, Leukoma staminea, and Mytilus trossulus. Nuttallia obscurata is a recent invader on which little physiological research has been conducted. Both V. phillipinarum and L. staminea are commercially important to local fisheries. Finally, M. trossulus is a native mussel commonly found in varying parts of the intertidal zone. The bivalves had anoxic conditions induced by using rubber bands to keep them shut. After a period of four days, they were tested for thermal tolerance by placing gill strips from the organism into one of three temperature treatments that varied per species. The gill tissue was evaluated for time to death. Gill tissue was also collected before the thermal tolerance experiment to examine stress protein levels using a Western blot analysis. Increasing temperature caused a decrease in survival time of gill tissue of all four species. However, there were no significant differences in temperature tolerance between the anoxic and control individuals in the bivalves. Levels of constitutive hsp70 were only found in Mytilus trossulus, with no difference in hsp70 expression between the control samples and those that experienced a period of anoxia. Thus, there was no evidence of either synergistic or antagonistic effects between the two stressors, anoxia and temperature, in this study. Bivalves are known to have excellent tolerance of anoxia because of their ability to decrease metabolic demands and utilize anaerobic pathways to produce needed energy.
A dynamical study on the habitability of terrestrial exoplanets I: Tidally evolved planet-satellite pairs
Creators: name: Brasser, R.
name: Ida, S.
name: Kokubo, E.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: We investigate the obliquity and spin period of Earth-Moon like systems after 4.5 Gyr of tidal evolution with various satellite masses and initial planetary obliquity and discuss their relations to the habitability of the planet. We find three possible outcomes: either i) the system is still evolving, ii) the system is double synchronous or iii) the satellite has collided with the planet. The transition between case i) and ii) is abrupt and occurs at slightly larger satellite mass ($m_s \sim 0.02m_p$) than the lunar mass. We suggest that cases ii) and iii) are less habitable than case i). Using results from models of giant impacts and satellite accretion, we found that the systems that mimic our own with rotation period $12 < P_p < 48$ h and current planetary obliquity $\varepsilon_p < 40^\circ$ or $\varepsilon_p > 140^\circ$ only represent 14% of the possible outcomes. Elser et al. (2011) conclude that the probability of a terrestrial planet having a heavy satellite is 13%. Combining these results suggests that the probability of ending up with a system such as our own is of the order of 2%.
description: Accepted for publication in MNRAS
Dynamic Hubbard model: kinetic energy driven charge expulsion, charge inhomogeneity, hole superconductivity, and Meissner effect
Creators: name: Hirsch, J. E.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Dynamic Hubbard models describe the fact that the wavefunction of an electron in an atomic orbital expands when a second electron occupies the orbital. These models give rise to superconductivity driven by lowering of kinetic energy when the electronic energy band is almost full, with higher transition temperatures resulting when the ions are negatively charged. We show that the charge distribution in dynamic Hubbard models can be highly inhomogeneous in the presence of disorder, and that a finite system will expel {\it negative charge} from the interior to the surface, and that these tendencies are largest in the parameter regime where the models give rise to highest superconducting transition temperatures. High $T_c$ cuprate materials exhibit charge inhomogeneity and they exhibit tunneling asymmetry, a larger tendency to emit electrons rather than holes in NIS tunnel junctions. We propose that these properties, as well as their high $T_c$'s, are evidence that they are governed by the physics described by dynamic Hubbard models. Below the superconducting transition temperature the models considered here describe a negatively charged superfluid and positively charged quasiparticles, unlike the situation in conventional BCS superconductors where quasiparticles are charge neutral on average. We examine the temperature dependence of the superfluid and quasiparticle charges and conclude that spontaneous electric fields should be observable in the interior and in the vicinity of superconducting materials described by these models at sufficiently low temperatures. We furthermore suggest that the dynamics of the negatively charged superfluid and positively charged quasiparticles in dynamic Hubbard models can provide an explanation for the Meissner effect observed in superconducting materials.
title: The interrater and intrarater reliability of the functional movement screen
Creators: name: Dudley, Jason
Publisher: name: Western Washington University
Year: 2010

description:
The purpose of this study was to determine the interrater and intrarater reliability of the Functional Movement Screen (FMS). Forty]Four Western Washington University athletes from various athletic teams volunteered. Twenty]one of the athletes tested volunteered to participate in a second testing session. Each athlete performed the seven components of the FMS while being evaluated by two separate testing teams. Each testing team was comprised of two members, with one member assigned to assess the sagittal plane, and the other, the frontal plane. The scores of the two members of each testing team were combined to form the total score given by each respective team. An intraclass correlation coefficient was used to determine the strength of association between the scores given by Team 1 and Team 2 during the 1st test, and the strength of association between the scores given by Team 1 during the 1st and 2nd test. The results show 0.763 for the interrater reliability (ICC 3, 1, p < 0.001) and 0.731 for the intrarater reliability (ICC 3, 1, p < 0.001) of the FMS. However, the strength of association for intrarater reliability was diminished by the lack of a definition of pain prior to the testing. When the limitation of the pain score is removed, the intrarater reliability shows 0.818 (ICC 3, 1, p < 0.001). Despite this finding, both the interrater and intrarater reliability of the FMS needs to be improved in order to use the system to track changes in athlete's movement patterns over time. The sagittal plane showed a higher correlation than the frontal plane during both interrater (ICC 3, 1 sagittal was 0.801 and frontal was 0.752) and intrarater testing (ICC 3, 1 sagittal was 0.762 and frontal was 0.713). Improving the correlation in the frontal plane scoring criteria would increase both the interrater and intrarater reliability of the total FMS score to help track changes in athlete's movement over time.
Supplementary document for Multifunctional Graphene-based photodetector/modulator/absorber enhanced by metallic Nano-Antenna by employing an ingenious Fabry-Perot cavity - 6133036.pdf
Creators: name: Jafari, Behnam
name: Gholizadeh, Elnaz
Publisher: name: Optica Publishing Group
Year: 2022
Subjects: Uncategorized

description: This supplemental document is a necessity for both response to reviewers and the final published manuscript
Some observations on autocorrelated patterns within computational meter identification
Creators: name: White, Christopher Wm.
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Science Policy

description: The computational approach of autocorrelation relies on recurrent patterns within a musical signal to identify and analyze the meter of musical passages. This paper suggests that the autocorrelation process can act as a computational proxy for the act of period extraction, a crucial aspect of the cognition of musical meter, by identifying periodicities with which similar events tend to occur within a musical signal. Three analytical vignettes highlight three aspects of the identified patterns: (1) that the similarities between manifestations of the same patterns are often inexact, (2) that these patterns have ambiguous boundaries, and (3) that many more patterns exist on the musical surface than contribute to the passage's notated/felt meter, each of which overlaps with observations from music theory and behavioral research. An Online Supplement at chriswmwhite.com/autocorrelation contains accompanying data.
Cellular Signaling Mechanisms Underlying the Angiogenic Response to Mycobacterial Infection
Creators: name: Brewer, W. Jared
Publisher: name: Zenodo
Year: 2022
Subjects: tuberculosis
macrophage
NFAT
angiogenesis
granuloma
dissertation

description: All of the files required to compile my Ph.D. dissertation entitled "Cellular Signaling Mechanisms Underlying the Angiogenic Response to Mycobacterial Infection." The source data can be found in perpetuity at https://github.com/jaredbrewer/dissertation.
A strong call-by-need calculus
Creators: name: Balabonski, Thibaut
name: Lanco, Antoine
name: Melquiond, Guillaume
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a call-by-need $λ$-calculus that enables strong reduction (that is, reduction inside the body of abstractions) and guarantees that arguments are only evaluated if needed and at most once. This calculus uses explicit substitutions and subsumes the existing strong-call-by-need strategy, but allows for more reduction sequences, and often shorter ones, while preserving the neededness. The calculus is shown to be normalizing in a strong sense: Whenever a $λ$-term t admits a normal form n in the $λ$-calculus, then any reduction sequence from t in the calculus eventually reaches a representative of the normal form n. We also exhibit a restriction of this calculus that has the diamond property and that only performs reduction sequences of minimal length, which makes it systematically better than the existing strategy. We have used the Abella proof assistant to formalize part of this calculus, and discuss how this experiment affected its design. In particular, it led us to derive a new description of call-by-need reduction based on inductive rules.
Measurement of Thermo-Elastic Deformation of an Optic using a Polarization Based Shearing Interferometer
Creators: name: Beyersdorf, Peter
name: Cordier, Mark
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: A shearing interferometer is presented which uses polarization control to shear the wavefront and to modulate the interference pattern. The shear is generated by spatial walk-off in a birefringent crystal. By adjusting the orientation of the birefringent crystal, the components of the wavefront gradient can be independently measured to allow determination of the full wavefront vector gradient as well as reconstruction of the wavefront. Further, the monolithic nature of the crystal used for shearing allows the interferometer to be setup without need for precise alignment of any components. An algorithm incorporating homodyne detection is presented which analyzes the modulated interferograms to determine the components of the wavefront gradient, from which the wavefront is reconstructed. The thermal deformation of a mirror subject to heating from absorption of a Gaussian pump beam was accurately observed with a sensitivity better than λ/160. We show that this sensitivity is scale invariant, and present a method to account for the non-uniform spatial frequency response of the interferometer.
A protocol to analyse the factors leading to revenue leaks in O.P.D.outpatient department pharmacies from generating offline prescriptions in tertiary care hospitals in Central India
Creators: name: abhishek mantri
Publisher: name: Zenodo
Year: 2023

description: This study will acknowledge why the patient leaves left the hospital without utilizing our pharmacy's prescription medications. There can be various reasons behind not purchasing the medicine, and in this study, we will discuss and identify the problems occurring in our hospital pharmacy. The study will identify the causes of revenue leakages and focus on those in the hospital pharmacy. Through this study, we can comprehend user behavior and the cause of leakages. We can create a strategy to raise the hospital pharmacy's income.
On the new central bank strategy toward monetary and financial instabilities management in finances: Econophysical analysis of nonlinear dynamical financial systems
Creators: name: Ledenyov, Dimitri O.
name: Ledenyov, Viktor O.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Finance (q-fin.GN)
subject: Computational Finance (q-fin.CP)
subject: Risk Management (q-fin.RM)
subject: FOS: Economics and business

description: We describe the innovations in finances, introduced over the recent decades, and analyze most of the business and regulatory challenges, faced by the financial industry, because of the present disruptive changes in the global capital markets. We use the integrative thinking approach to formulate the new central bank strategy and propose that the new strategy has to be focused on the constant management of the monetary and financial instabilities, using the knowledge base in the field of econophysics. We propose the new theoretical model of economics, which is called the Nonlinear Dynamic Stochastic General Equilibrium (NDSGE), which takes to the account the nonlinearities, appearing during the interaction between the business cycles. We show that the central banks, which will apply the knowledge gained from the econophysical analysis to understand the complex processes in the national financial systems in the time of high volatility in global capital markets, will be able to govern the national financial systems successfully.
description: 8 pages, 1 table
Current challenges for preseismic electromagnetic emissions: shedding light from micro-scale plastic flow, granular packings, phase transitions and self-affinity notion of fracture process
Creators: name: Eftaxias, K.
name: Potirakis, S. M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Geophysics (physics.geo-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Are there credible electromagnetic (EM) EQ precursors? This a question debated in the scientific community and there may be legitimate reasons for the critical views. The negative view concerning the existence of EM precursors is enhanced by features that accompany their observation which are considered as paradox ones, namely, these signals: (i) are not observed at the time of EQs occurrence and during the aftershock period, (ii) are not accompanied by large precursory strain changes, (iii) are not accompanied by simultaneous geodetic or seismological precursors and (v) their traceability is considered problematic. In this work, the detected candidate EM precursors are studied through a shift in thinking towards the basic science findings relative to granular packings, micron-scale plastic flow, interface depinning, fracture size effects, concepts drawn from phase transitions, self-affine notion of fracture and faulting process, universal features of fracture surfaces, recent high quality laboratory studies, theoretical models and numerical simulations. Strict criteria are established for the definition of an emerged EM anomaly as a preseismic one, while, precursory EM features, which have been considered as paradoxes, are explained. A three-stage model for EQ generation by means of preseismic fracture-induced EM emissions is proposed. The claim that the observed EM precursors may permit a real-time and step-by-step monitoring of the EQ generation is tested.
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Creators: name: Bartoletti, Massimo
name: Murgia, Maurizio
name: Zunino, Roberto
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarity inspired by the one introduced by Desharnais, Laviolette, and Tracol, and parametric with respect to an approximation error $δ$, and to the depth $n$ of the observation along traces. Essentially, our soundness theorem establishes that, when a state $q$ satisfies a given formula up-to error $δ$ and steps $n$, and $q$ is bisimilar to $q'$ up-to error $δ'$ and enough steps, we prove that $q'$ also satisfies the formula up-to a suitable error $δ"$ and steps $n$. The new error $δ"$ is computed from $δ$, $δ'$ and the formula, and only depends linearly on $n$. We provide a detailed overview of our soundness proof. We extend our bisimilarity notion to families of states, thus obtaining an asymptotic equivalence on such families. We then consider an asymptotic satisfaction relation for PCTL formulae, and prove that asymptotically equivalent families of states asymptotically satisfy the same formulae.
Dirac Electrons on a Sharply Edged Surface of Topological Insulators
Creators: name: Takane, Yositake
name: Imura, Ken-Ichiro
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: An unpaired gapless Dirac electron emergent at the surface of a strong topological insulator (STI) is protected by the bulk-surface correspondence and believed to be immune to backward scattering. It is less obvious, however, and yet to be verified explicitly whether such a gapless Dirac state is smoothly extended over the entire surface when the surface is composed of more than a single facet with different orientations in contact with one another at sharp corner edges (typically forming a steplike structure). In the realistic situation that we consider, the anisotropy of the sample leads to different group velocities in each of such facets. Here, we propose that much insight on this issue can be obtained by studying the electronic states on a hyperbolic surface of an STI. By explicitly constructing the surface effective Hamiltonian, we demonstrate that no backward scattering takes place at a concave $90^\circ$ step edge. A strong renormalization of the velocity in the close vicinity of the step edge is also suggested.
description: 4 pages, 2 figures, to be published in J. Phys. Soc. Jpn
Machine Learning Product State Distributions from Initial Reactant States for a Reactive Atom-Diatom Collision System
Creators: name: Arnold, Julian
name: Veliz, Juan Carlos San Vicente
name: Koner, Debasish
name: Singh, Narendra
name: Bemish, Raymond J.
name: Meuwly, Markus
Publisher: name: arXiv
Year: 2021
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Machine Learning (cs.LG)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: A machine learned (ML) model for predicting product state distributions from specific initial states (state-to-distribution or STD) for reactive atom-diatom collisions is presented and quantitatively tested for the N($^4$S)+O$_{2}$(X$^3 Σ_{\rm g}^{-}$) $\rightarrow$ NO(X$^2Π$) +O($^3$P) reaction. The reference data set for training the neural network (NN) consists of final state distributions determined from explicit quasi-classical trajectory (QCT) simulations for $\sim 2000$ initial conditions. Overall, the prediction accuracy as quantified by the root-mean-squared difference $(\sim 0.003)$ and the $R^2$ $(\sim 0.99)$ between the reference QCT and predictions of the STD model is high for the test set and off-grid state specific initial conditions and for initial conditions drawn from reactant state distributions characterized by translational, rotational and vibrational temperatures. Compared with a more coarse grained distribution-to-distribution (DTD) model evaluated on the same initial state distributions, the STD model shows comparable performance with the additional benefit of the state resolution in the reactant preparation. Starting from specific initial states also leads to a more diverse range of final state distributions which requires a more expressive neural network to be used compared with DTD. Direct comparison between explicit QCT simulations, the STD model, and the widely used Larsen-Borgnakke (LB) model shows that the STD model is quantitative whereas the LB model is qualitative at best for rotational distributions $P(j')$ and fails for vibrational distributions $P(v')$. As such the STD model can be well-suited for simulating nonequilibrium high-speed flows, e.g., using the direct simulation Monte Carlo method.
Order-theoretic trees: monadic second-order descriptions and regularity
Creators: name: Courcelle, Bruno
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: An order-theoretic forest is a countable partial order such that the set of elements larger than any element is linearly ordered. It is an order-theoretic tree if any two elements have an upper-bound. The order type of a branch can be any countable linear order. Such generalized infinite trees yield convenient definitions of the rank-width and the modular decomposition of countable graphs. We define an algebra based on only four operations that generate up to isomorphism and via infinite terms these order-theoretic trees and forests. We prove that the associated regular objects, those defined by regular terms, are exactly the ones that are the unique models of monadic second-order sentences.
description: 32 pages, 6 figures
Many-to-one remote information concentration for qudits and multipartite entanglement
Creators: name: Wang, Xin-Wen
name: Tang, Shi-Qing
name: Xie, Li-Jun
name: Zhang, Deng-Yu
name: Kuang, Le-Man
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Telecloning and its reverse process, referred to as remote information concentration(RIC), have attracted considerable interest because of their potential applications in quantum-information processing. We here present a general scheme for RIC in d-level systems (qudits), in which the quantum information initially distributed in many spatially separated qudits can be remotely and deterministically concentrated to a single qudit via an entangled channel without performing any global operations. We show that the entangled channel of RIC can be different types of entangled states, including mixed states as well as pure ones. More interestingly, these mixed states include a bound entangled state which has a similar form to the generalized Smolin state but has different characteristics from it. We also show that there exists a multipartite entangled state which can be used to implement both telecloning and RIC in the two-level system. Our many-to-one RIC protocol could be slightly modified to perform some types of many-to-many RIC tasks.
description: 11 pages, one figure
High-degree compression functions on alternative models of elliptic curves and their applications
Creators: name: Wroński, Michał
name: Kijko, Tomasz
name: Dryło, Robert
Publisher: name: arXiv
Year: 2021
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: This paper presents method for obtaining high-degree compression functions using natural symmetries in a given model of an elliptic curve. Such symmetries may be found using symmetry of involution $[-1]$ and symmetry of translation morphism $τ_T=P+T$, where $T$ is the $n$-torsion point which naturally belongs to the $E(\mathbb K)$ for a given elliptic curve model. We will study alternative models of elliptic curves with points of order $2$ and $4$, and specifically Huff's curves and the Hessian family of elliptic curves (like Hessian, twisted Hessian and generalized Hessian curves) with a point of order $3$. We bring up some known compression functions on those models and present new ones as well. For (almost) every presented compression function, differential addition and point doubling formulas are shown. As in the case of high-degree compression functions manual investigation of differential addition and doubling formulas is very difficult, we came up with a Magma program which relies on the Gröbner basis. We prove that if for a model $E$ of an elliptic curve exists an isomorphism $ϕ:E \to E_M$, where $E_M$ is the Montgomery curve and for any $P \in E(\mathbb K)$ holds that $ϕ(P)=(ϕ_x(P), ϕ_y(P))$, then for a model $E$ one may find compression function of degree $2$. Moreover, one may find, defined for this compression function, differential addition and doubling formulas of the same efficiency as Montgomery's. However, it seems that for the family of elliptic curves having a natural point of order $3$, compression functions of the same efficiency do not exist.
description: 33 pages
The Virgo Cluster
Creators: name: Mould, Jeremy
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: In the era of precision cosmology the Virgo cluster takes on a new role in the cosmic distance scale. Its traditional role of testing the consistency of secondary distance indicators is replaced by an ensemble of distance measurements within the Local Supercluster united by a velocity field model obtained from redshift survey based reconstruction. WMAP leads us to see the Hubble Constant as one of six parameters in a standard model of cosmology with considerable covariance between parameters. Independent experiments, such as WMAP and the HST Key Project (and their successors) constrain these parameters.
description: to appear in IAU Symposium 289
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Creators: name: Kapur, Deepak
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Algorithms for computing congruence closure of ground equations over uninterpreted symbols and interpreted symbols satisfying associativity and commutativity (AC) properties are proposed. The algorithms are based on a framework for computing a congruence closure by abstracting nonflat terms by constants as proposed first in Kapur's congruence closure algorithm (RTA97). The framework is general, flexible, and has been extended also to develop congruence closure algorithms for the cases when associative-commutative function symbols can have additional properties including idempotency, nilpotency, identities, cancellativity and group properties as well as their various combinations. Algorithms are modular; their correctness and termination proofs are simple, exploiting modularity. Unlike earlier algorithms, the proposed algorithms neither rely on complex AC compatible well-founded orderings on nonvariable terms nor need to use the associative-commutative unification and extension rules in completion for generating canonical rewrite systems for congruence closures. They are particularly suited for integrating into the Satisfiability modulo Theories (SMT) solvers. A new way to view Groebner basis algorithm for polynomial ideals with integer coefficients as a combination of the congruence closures over the AC symbol * with the identity 1 and the congruence closure over an Abelian group with + is outlined.
Non-equilibrium quasi-condensates in reduced dimensions
Creators: name: Chiocchetta, Alessio
name: Carusotto, Iacopo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We develop a generic phenomenological model to describe the fluctuations on top of a non-equilibrium Bose-Einstein condensate. Analytic expressions are obtained for the momentum distribution of the non-condensed cloud and for the long-distance behavior of the spatial coherence in the different dimensionalities. Comparison of our predictions with available experimental data on condensates of exciton-polaritons and on surface-emitting planar laser devices is finally made.
description: 6 pages, 1 figure
title: Photographic Mediation as a Mode of Production: Investigating the Agency of Commercial Institutions in Contemporary Vernacular Photography
Creators: name: Bales, Adam
Publisher: name: Goldsmiths, University of London
Year: 2021

description: This dissertation argues that to understand what is at stake in contemporary vernacular photography, it is vital to account for the commercial imperatives that are invested in our photographic apparatus. The vernacular is often seen as emerging from the milieu of everyday life, operating outside of institutional constraints. However, commercial institutions have always played a vital role in shaping the meaning and matter of vernacular photography, producing the extended network of devices and protocols through which photographic activity takes place. Vernacular photography should therefore be seen to encapsulate a series of complex negotiations between individual desires and commercial imperatives. Through an examination of three central case studies - Kodak, Snapchat and Ditto Labs - this thesis aims to elucidate how the productive potential of vernacular photography is instrumentalized as a means of generating value. Bringing together approaches from western Marxism with contemporary theories of networked media and photography, the argument is made that photographic mediation can be usefully framed as a mode of production. Photographic mediation, referring to the processual and material dynamics of photography, is employed to investigate the circuits of labour, value and desire that flow through our photographic apparatus. In performing this analysis, the concept of deterritorialization is applied as a way of understanding how photographic mediation has become more productive through destabilizing the boundaries between photography, subjectivity and the everyday. As photography proliferates and disperses into the rhythms and atmospheres that constitute daily life, it is increasingly imbricated into the performance and production of identities, relationships and desires. Under these circumstances, it becomes all the more vital that we recognize the role of commercial actors in shaping not only our photographic apparatus, but also our ways of being in, and relating to, the world.
Electrostatic Potential of a Point Charge in a Brans-Dicke Reissner-Nordstrom Field
Creators: name: Watanabe, Maya
name: Lun, A. W. C
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider the Brans-Dicke Reissner-Nordstrom spacetime in isotropic coordinates and the electrostatic field of an electric point charge placed outside its surface of inversion. We treat the static electric point charge as a linear perturbation on the Brans-Dicke Reissner-Nordstrom background. We develop a method based upon the Copson method to convert the governing Maxwell equation on the electrostatic potential generated by the static electric point charge into a solvable linear second order ordinary differential equation. We obtain a closed form fundamental solution of the curved space Laplace equation arising from the background metric, which is shown to be regular everywhere except at the point charge and its image point inside the surface of inversion. We also develop a method that demonstrates that the solution does not contain any other charge that may creep into the region that lies beyond the surface of inversion and which is not covered by the isotropic coordinates. The Brans-Dicke Reissner-Nordstrom spacetime therefore is linearly stable under electrostatic perturbations. This stability result includes the three degenerate cases of the fundamental solution that correspond to the Brans Type 1, the Reissner-Nordstrom and the Schwarzschild background spacetimes.
Accretion of non-minimally coupled generalized Chaplygin gas into black holes
Creators: name: Rodrigues, Manuela G.
name: Bernardini, Alex E.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The mass evolution of Schwarzschild black holes by the absorption of scalar fields is investigated in the scenario of the generalized Chaplygin gas (GCG). The GCG works as a unification picture of dark matter plus dark energy that naturally accelerates the expansion of the Universe. Through elements of the quasi-stationary approach, we consider the mass evolution of Schwarzschild black holes accreted by non-minimally coupled cosmological scalar fields reproducing the dynamics of the GCG. As a scalar field non-minimally coupled to the metrics, such an exotic content has been interconnected with accreting black holes. The black hole increasing masses by the absorption of the gas reflects some consistence of the accretion mechanism with the hypothesis of the primordial origin of supermassive black holes. Our results effectively show that the non-minimal coupling with the GCG dark sector accelerates the increasing of black hole masses. Meanwhile some exotic features can also be depicted for specific ranges of the non-minimal coupling in which the GCG dynamics is substantially modified.
description: 13 pages, 03 figures
The spherical perfect fluid collapse with pressure in the cosmological background
Creators: name: Moradi, Rahim
name: Firouzjaee, Javad T.
name: Mansouri, Reza
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We have constructed a spherically symmetric structure model in a cosmological background filled with perfect fluid with non-vanishing pressure and studied its quasi-local characteristics. This is done by using the Lemaître solution of the Einstein equations and suggesting an algorithm to integrate it numerically. The result shows intriguing effects of the pressure inside the structure. The evolution of the central black hole within the FRW universe, its decoupling from the expanding parts of the model, the structure of its space-like apparent horizon, the limiting case of the dynamical horizon tending to a slowly evolving horizon, and the decreasing mass in-fall to the black hole is also studied. The quasi-local features of this cosmological black hole may not be inferred from the weak field approximation although the gravity outside the structure is very weak.
Zero-sum partitions of Abelian groups of order $2^n$
Creators: name: Cichacz, Sylwia
name: Suchan, Karol
Publisher: name: arXiv
Year: 2021
Subjects: subject: Combinatorics (math.CO)
subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: G.2.1; G.2.2
subject: 05E16, 20K01, 05C25, 05C78

description: The following problem has been known since the 80's. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $m_i$, $1 \leq i \leq t$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $S_i$, $1 \leq i \leq t$, such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $i$, $1 \leq i \leq t$. It is easy to check that $m_i\geq 2$ (for every $i$, $1 \leq i \leq t$) and $|I(Γ)|\neq 1$ are necessary conditions for the existence of such partitions, where $I(Γ)$ is the set of involutions of $Γ$. It was proved that the condition $m_i\geq 2$ is sufficient if and only if $|I(Γ)|\in\{0,3\}$. For other groups (i.e., for which $|I(Γ)|\neq 3$ and $|I(Γ)|>1$), only the case of any group $Γ$ with $Γ\cong(Z_2)^n$ for some positive integer $n$ has been analyzed completely so far, and it was shown independently by several authors that $m_i\geq 3$ is sufficient in this case. Moreover, recently Cichacz and Tuza proved that, if $|Γ|$ is large enough and $|I(Γ)|>1$, then $m_i\geq 4$ is sufficient. In this paper we generalize this result for every Abelian group of order $2^n$. Namely, we show that the condition $m_i\geq 3$ is sufficient for $Γ$ such that $|I(Γ)|>1$ and $|Γ|=2^n$, for every positive integer $n$. We also present some applications of this result to graph magic- and anti-magic-type labelings.
The Effects of ultrasound transducer velocity on intramuscular tissue temperature across a treatment site
Creators: name: Liceralde, Pamela
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: This purpose of this study was twofold: to determine whether ultrasound transducer velocity affected tissue temperature increase, and whether heating was uniform across the treatment site. Thermocouples were inserted 2.5cm below the skin surface at the center, edge of the ERA, and the edge of the treatment site that was the size of two times the soundhead. Each subject received three 10-minute treatments at each speed, letting tissue temperature return to baseline between treatments.

Repeated measures factorial ANOVA revealed no significant differences in the speed of application and no interaction between speed and location. However, the location of the thermocouples proved to be a factor, with pairwise comparisons showing a significant difference among the 3 locations. In conclusion, the speed at which ultrasound is applied has no effect on temperature rise; however, the size of the treatment area needs to be taken into account as uniform heating does not occur.
Méta-Analyse en recherche de la performance logistique portuaire : quelles limites ?
Creators: name: Rhizlane CHENNOUFI
name: Saliha EL HAKMI
Publisher: name: Zenodo
Year: 2023

description: L'article expose une revue de littérature détaillée sur le thème de «La Performance Logistique Portuaire» et ce, en se basant sur une vingtaine d'articles publiés dans les dernières années allant de 1986 à 2010 dans divers revues consacrées à la recherche en Logistique Portuaire.
Certes, la logistique portuaire est devenue un véritable atout de compétitivité à travers le monde entier, elle fait partie des préoccupations des stratèges visant la croissance économique des pays. Nous essayerons dans cet article de présenter les différentes explorations traitées par les auteurs à partir du concept de la logistique portuaire tout en montrant leur diversité en matière théorique méthodologique. Toutefois, La Logistique portuaire est souvent liée à la performance ; sujet de divers auteurs dans le monde. La logistique portuaire est donc une variable explicative de la compétitivité et de la performance. A cet effet, ce champ de recherche paraît être très important pour les chercheurs tout comme les auteurs, il s'avère donc nécessaire de jeter un œil sur ce que disent les auteurs durant la période écoulée pour pouvoir sortir avec une méta-analyse en matière de recherche sur la performance logistique portuaire.
Onset of vortex shedding around a short cylinder
Creators: name: Yang, Yongliang
name: Feng, Zhe
name: Zhang, Mengqi
Publisher: name: arXiv
Year: 2021
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: This paper presents results of three-dimensional direct numerical simulations (DNS) and global linear stability analyses (LSA) of a viscous incompressible flow past a finite-length cylinder with two free flat ends. The cylindrical axis is normal to the streamwise direction. The work focuses on the effects of aspect ratios (in the range of $0.5\leq \rm{\small AR} \leq2$, cylinder length over diameter) and Reynolds numbers ($Re\leq1000$ based on cylinder diameter and uniform incoming velocity) on the onset of vortex shedding in this flow. All important flow patterns have been identified and studied, especially as $\rm{\small AR}$ changes. The appearance of a steady wake pattern when $\rm{\small AR}\leq1.75$ has not been discussed earlier in the literature for this flow. LSA based on the time-mean flow has been applied to understand the Hopf bifurcation past which vortex shedding happens. The nonlinear DNS results indicate that there are two vortex shedding patterns at different $Re$, one is transient and the other is nonlinearly saturated. The vortex-shedding frequencies of these two flow patterns correspond to the eigenfrequencies of the two global modes in the stability analysis of the time-mean flow. Wherever possible, we compare the results of our analyses to those of the flows past other short-$\rm{\small AR}$ bluff bodies in order that our discussions bear more general meanings.
description: 33 pages, 21 figures, the version of record of this article is accepted in Journal of Fluid Mechanics
A Study of Dirac Fermionic Dark Matters
Creators: name: Chua, Chun-Khiang
name: Hsieh, Ron-Chou
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We study pure weak eigenstate Dirac fermionic dark matters (DM). We consider WIMP with renormalizable interaction. According to results of direct searches and the nature of DM (electrical neutral and being a pure weak eigenstate), the quantum number of DM is determined to be $I_3=Y=0$. There are only two possible cases: either DM has non-vanishing weak isospin ($I\neq 0$) or it is an isosinglet (I=0). In the first case, the Sommerfeld enhancement is sizable for large $I$, producing large $χ^0\bar{χ^0}\to VV$ rates. In particular, we obtain large $χ\barχ\to W^+ W^-$ cross section, which is comparable to the latest bounds from indirect searches and $m_χ$ is constrained to be larger than few hundred GeV to few TeV. It is possible to give correct relic density with $m_χ$ higher than these lower bounds. In the second case, to couple DM to standard model (SM) particles, a SM-singlet vector mediator $X$ is required from renormalizability and the SM gauge quantum numbers. To satisfy the latest bounds of direct searches and to reproduce the DM relic density at the same time, resonant enhancement in DM annihilation diagram is needed. Thus, the masses of DM and the mediator are related. Furthermore, this model is not sufficient to explain the deviation in muon $g-2$.
description: 17 pages, 6 figures, version to appear in Phys. Rev. D
Rab GTPases in immunity and inflammation
Creators: name: Prashar, A
name: Schnettger, L
name: Bernard, EM
name: Gutierrez, MG
Publisher: name: The Francis Crick Institute
Year: 2021
Subjects: Model organisms
Infectious Disease
Cell Biology

description: Strict spatiotemporal control of trafficking events between organelles is critical for maintaining homeostasis and directing cellular responses. This regulation is particularly important in immune cells for mounting specialized immune defenses. By controlling the formation, transport and fusion of intracellular organelles, Rab GTPases serve as master regulators of membrane trafficking. In this review, we discuss the cellular and molecular mechanisms by which Rab GTPases regulate immunity and inflammation.