cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Bounding the unknowns of Martian crustal heat flow from a synthesis of regional geochemistry and Insight mission data
Creators: name: Frizzell, Katelyn Rose
Publisher: name: No Publisher Supplied
Year: 2023

description: The thermal evolution of terrestrial planets is primarily modulated by the distribution of heat-producing elements (HPE) within the crust and mantle. Chemical data from Martian meteorites suggest that Mars differentiated early, which led to an early partitioning of incompatible heat-producing elements in the crust from the mantle. Previous estimates of Martian crustal heat flow that used the bulk regolith abundances of HPEs from the Gamma‐Ray Spectrometer (GRS) suite on Mars Odyssey spacecraft have further corroborated this view of Mars, albeit with poorly known crustal column representativeness. Here we couple the GRS-derived chemical maps of Mars with estimates of crustal thickness and density from the InSight lander to revise the estimated Martian crustal heat flow. The mean crustal heat flow values range from 2.6 to 6.6 mW m-2 for Insight’s end-member crustal thickness models. We also estimate uncertainty in the crustal heat flow from other factors such as the distribution of HPE with depth and the Uranium content of the crust. Our results suggest that the mean crustal heat flow varies substantially across models, with the highest mean values being associated with higher densities and constant crustal enrichment with depth. Further work is needed to constrain the crustal thickness of Mars, as the largest uncertainties in heat flow calculations reside in the crustal thickness models, not geochemical variability. The results from this work corroborate previous estimates of a strong fractionation of heat-producing elements into the Martian crust.
Many-body quantum lock-in amplifier
Creators: name: Zhuang, Min
name: Huang, Jiahao
name: Lee, Chaohong
Publisher: name: arXiv
Year: 2020
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Achieving high-precision detection of time-dependent signals in noisy environment is a ubiquitous issue in physics and a critical task in metrology. Lock-in amplifiers are detectors that can extract alternating signals with a known carrier frequency from an extremely noisy environment. Here, we present a protocol for achieving an entanglement-enhanced lock-in amplifier via empoying many-body quantum interferometry and periodic multiple pulses. Generally, quantum interferometry includes three stages: initialization, interrogation, and readout. The many-body quantum lock-in amplifier can be achieved via adding suitable periodic multiple-$π$-pulse sequence during the interrogation. Our analytical results show that, by selecting suitable input states and readout operations, the frequency and amplitude of an unknown alternating field can be simultaneously extracted via population measurements. In particular, if we input spin cat states and apply interaction-based readout operations, the measurement precisions for frequency and amplitude can both approach the Heisenberg limit. Moreover, our many-body quantum amplifier is robust against extreme stochastic noises. Our study may point out a new direction for measuring time-dependent signals with many-body quantum systems, and provides a feasible way for achieving Heisenberg-limited detection of alternating signals.
description: 19 pages, 10 figures
An improved mixture of probabilistic PCA for nonlinear data-driven process monitoring
Creators: name: Zhang, Jingxin
name: Chen, Hao
name: Chen, Songhang
name: Hong, Xia
Publisher: name: arXiv
Year: 2020
Subjects: subject: Methodology (stat.ME)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: An improved mixture of probabilistic principal component analysis (PPCA) has been introduced for nonlinear data-driven process monitoring in this paper. To realize this purpose, the technique of a mixture of probabilistic principal component analysers is utilized to establish the model of the underlying nonlinear process with local PPCA models, where a novel composite monitoring statistic is proposed based on the integration of two monitoring statistics in modified PPCA-based fault detection approach. Besides, the weighted mean of the monitoring statistics aforementioned is utilised as a metrics to detect potential abnormalities. The virtues of the proposed algorithm have been discussed in comparison with several unsupervised algorithms. Finally, Tennessee Eastman process and an autosuspension model are employed to demonstrate the effectiveness of the proposed scheme further.
Modeling multi-person choice
Creators: name: Riethmuller, Sam Henry
Publisher: name: The Australian National University
Year: 2015

description: Many important decisions are made by groups. Partners often make joint consumption decisions for the household, and multiple people are likely to be involved in important, costly or complex decisions, such as purchasing or renting a house, buying a car or selecting a destination for a family holiday. Given the prevalence of multi-person choice in practice, it seems surprising that there is not more emphasis on multi-person choice in marketing. The overall goal of this thesis is to develop a richer understanding of multi-person choice that incorporates both individual and group dynamics, while addressing key limitations with previous research. I focus on two primary areas related to multi-person choice - 1) the roles that individuals play in forming preferences for the group; and 2) the consistency of group decisions. Current approaches to modeling group decisions assume that group preferences come from individual member preferences, but this assumption fails to recognize that individuals may have different preferences depending on their role in the decision. What an individual wants for a group may be different to what they want for themselves. Drawing on work in social psychology, this thesis introduces the idea of multiple-selves, and by considering the different sets of preferences that an individual takes into the group deliberation, I offer a new approach to modeling the influence of members. While preferences are important in understanding multi-person choice, such decisions are often clouded by ambiguity and uncertainty, and it is largely a result of this uncertainty that groups, (and consumers) may make inconsistent choices in the market-place. Furthermore, different decision-makers may vary in terms of the consistency of their choices in a given context. Therefore, understanding choice consistency, as well as preferences, is important for marketers. My thesis examines the drivers of choice consistency in groups, and by doing so, offers a deeper understanding of how groups, and members of groups, make choices. I calibrate my model through a four-wave choice experiment in the context of partners selecting a holiday destination. This experiment enables me to test a variety of behavioral phenomena, relating to member similarity, prediction of others' preferences, member influence, and choice consistency. By providing a clearer understanding of group decisions, this thesis can allow managers to develop more effective targeting strategies, design more attractive products, and gain better returns from marketing investments.
Punishment and restorative crime-handling : a social theory of trust
Creators: name: Fatic, Aleksandar
Publisher: name: Canberra, ACT : The Australian National University
Year: 2018
Subjects: subject: Criminal justice, Administration of Philosophy
subject: Criminal law Philosophy
subject: Corrections Philosophy

description: The general aim of this work is to examine the main features of some of the most influential contemporary theories of criminal justice, to look at their conceptual and methodological relative advantages and shortcomings, and to try to glean in them a direction for the devising of a more promising, more optim ising way of accounting for crime and deviance, as well as for prospects of successful social control. The general contention of the work is that the key question to be asked in this respect is what value ought to lie at the base of all such explanatory attempts. The general answer, with which the 'restorative theory of crime-handling', espoused herein, deals, is that this value ought to be trust. All those arrangements which can generally be characterised as trust-enhancing appear to be optimising as well, and to contribute in a constructive way to the resolution of conflicts. Punishment, on the other hand, does not appear to be trust-enhancing; on the contrary, it seems to play an essentially trust-degrading role in most contexts, and thus creates an atm osphere and consequences which do not suggest the possibility of both effective and humane social control mechanisms. It has been the aim of theories of social control for decades to avoid excessive punitiveness and maximise the consensus which is built around the particular policies to that effect. Yet, most such theories have ended up neglecting the role of trust, and em phasising justice instead. Another contention of the arguments contained herein is to the effect that justice ought not to play such a prom inent role in any theory of social control which aspires to be trust-enhancing. Following the unavoidable directions of argum ents advanced over decades, the argum ents herein deal with theories such as 'retributivism ' and 'utilitarianism ', 'com m unitarianism ' and 'republicanism ', thereby bordering on political, and even on sociological theory. Yet, they do not remain on the level of presenting argum ents for and against these theories - the value of what is argued here against such theories, if there is any value in it, lies in its contribution to the fuller illum ination of the real role of trust in a social theory of crime-control which would derive strongly from the popular 'conflict-resolution' theories, but which, at the same time, would seek to avoid some of their greatest calam ities. To w hat extent this w ork m ight have succeeded in accomplishing that end, however, is, of course, up to the reader to judge.
Modified Two-Slit Experiments and Complementarity
Creators: name: Qureshi, Tabish
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Some modified two-slit interference experiments claim to demonstrate a violation of Bohr's complementarity principle. A typical such experiment is theoretically analyzed using wave-packet dynamics. The flaw in the analysis of such experiments is pointed out and it is demonstrated that they do not violate complementarity. In addition, it is quite generally proved that if the state of a particle is such that the modulus square of the wave-function yields an interference pattern, then it necessarily loses which-path information.
description: Revised version, to appear in J. Quantum Inf. Sci
Negotiating nation-states: North American geographies of culture and capitalism
Creators: name: Sparke, Matthew
Publisher: name: University of British Columbia
Year: 2009

description: The nation-state has for a long time appeared to have eluded the attempts of scholars to encapsulate its essence in theory. Rather than propose another attempt at encapsulation, this dissertation represents a form of geographical supplementation to these efforts. As a work of geography it focuses on the negotiation of nation-states, and, in doing so, traces a double displacement of encapsulation. Primarily, the four major studies comprising the dissertation represent geographical research which, using a wide range of archival and contemporary media material, makes manifest the irreducible complexity of the negotiations in, over and between nation-states at the end of the twentieth century. Focused on Canada and the USA, these studies trace how a diversity of cultural as well as political-economic processes come together in the inherently geographical negotiations of First Nations struggles, Canadian constitutional politics, continental free trade developments, and American patriotism. These are negotiations where no one process fully encapsulates an explanation of the events and where their collective but contested territorialization calls out for an open-ended and anti-essentialist analysis. Secondarily, while the dissertation's first and more central work of displacement is enabled by poststructuralist critiques of essentialist explanation, its other displacing effect comes in the form of a geographical deconstruction of so-called poststructuralist theory itself. This represents an attempt to turn the elusive nature of the nation-state vis-a-vis theory into a living and politicized site for investigating the limits of poststructuralist theorizing. Overall, the geographical investigations of the dissertation illustrate the value of anti-essentialist arguments for furthering geographical research into the nation-state while simultaneously calling these epistemological innovations into geographical question. Using such questioning to critique the limited geographical representation of the nationstate, it is concluded that geographers cannot not persistently examine such limits.
A Double Cryptography Using The Smarandache Keedwell Cross Inverse Quasigroup
Creators: name: Jaiyeola, Temitope Gbolahan
Publisher: name: arXiv
Year: 2008
Subjects: subject: General Mathematics (math.GM)
subject: FOS: Mathematics
subject: 20NO5, 08A05

description: The present study further strengthens the use of the Keedwell CIPQ against attack on a system by the use of the Smarandache Keedwell CIPQ for cryptography in a similar spirit in which the cross inverse property has been used by Keedwell. This is done as follows. By constructing two S-isotopic S-quasigroups(loops) $U$ and $V$ such that their Smarandache automorphism groups are not trivial, it is shown that $U$ is a SCIPQ(SCIPL) if and only if $V$ is a SCIPQ(SCIPL). Explanations and procedures are given on how these SCIPQs can be used to double encrypt information.
description: 7 pages
Transitions to animal domestication in Southeast Asia: Zooarchaeological analysis of Cồn Cổ Ngựa and Mán Bạc, Vietnam
Creators: name: Jones, Rebecca Kate
Publisher: name: Canberra, ACT : The Australian National University
Year: 2017
Subjects: Zooarchaeology
Archaeozoology
faunal analysis
domestication
hunter-gatherer
Southeast Asia
Vietnam

description: The domestication of plants and animals was a pivotal process that significantly affected and shaped the trajectory of human history. However, this transition is still poorly understood in many parts of the world. For Mainland Southeast Asia (MSEA), most researchers believe this transition was initialised by a migration of agricultural groups that spread from the Yangtze into MSEA following rivers and the coastline (Bellwood and Oxenham 2008; Matsumura et al. 2008; 2011). This hypothesis posits that these migrant populations brought domesticated crops and animals into the region and lived alongside indigenous hunter-gatherer groups. This thesis analyses the transition from hunting and gathering to domestication by comparing the taphonomic and taxonomic characteristics of the faunal assemblages of Cồn Cổ Ngựa (CCN) and Mán Bạc (MB) in northern Vietnam. Both sites were selected as they sit on either side of the presumed hunter-gatherer (CCN) and agricultural (MB) subsistence transition in Vietnam and have the potential to show crucial societal changes. Since CCN and MB are burial sites, human-animal interactions at the sites have the potential to portray the belief systems and ontology of the people. The ultimate aim was to contextualise CCN and MB within the framework of subsistence change in Southeast Asia (SEA) and determine how and whether human behaviour and human-animal relationships developed during this purported transitional phase in the Mid Holocene. A clear and perceivable shift in the faunal composition between CCN and MB was found, and this transition can be confidently attributed to the introduction of domesticated animals around 4,000 cal. BP to northern Vietnam. Further, results from the principal component analysis of sites throughout SEA showed that the relative proportions of certain taxa can be useful in separating hunter-gatherer and agricultural based sites across the region, as well as revealing outliers based on localised environments and/or choice. It was emphasised that this transition from ‘hunting to farming’ was by no means clear-cut. MB still had a strong emphasis on hunting wild taxa and fishing, and these permeable cultural-economic boundaries are also perceivable in other SEA sites. However, this thesis suggests that domestic and wild animals probably imbued different meanings and significance. Further, both CCN and MB were not ‘simply middens’ reflecting what people ate, rather they pose intriguing insights into human-animal interactions. At both sites there is a perceivable change in the engagement with animals and the landscape that, this thesis argues, involved a reconceptualising of this relationship.
Local dark matter clumps and the cosmic ray positron excess
Creators: name: Cumberbatch, Daniel T.
name: Silk, Joseph
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: It has been proposed that the excess in cosmic ray positrons at approximately 8 GeV, observed on both flights of the HEAT balloon experiment, may be associated with the annihilation of dark matter within the Milky Way halo. In this paper we demonstrate how the self-annihilation of neutralino dark matter within local substructure can account for this excess, and estimate the annihilation cross-section for several benchmark minimal supersymmetric (MSSM) models. We also demonstrate the effect on the permitted parameter space as tidal stripping effects and destruction of substructure by mergers becomes increasingly severe.
description: Full-effects of diffusion of the positrons in the ISM have now been incorporated. (Submitted to MNRAS)
Swadesh list (1-17) and other vocabulary
Creators: name: Chaiyapha, Sidawun
name: Intanai, Thongwilai
name: Lau-Preechathammarach, Raksit Tyler
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2023
Subjects: subject: kdt

description: Swadesh list words (1-17) interspersed with other vocabulary. Recorder: Zoom H4n. Microphone: C544-L Headset Microphone (x2).
The Observed O VI is Just the Tip of the Iceberg: Estimating the Hidden Material in Circumgalactic and Intergalactic Clouds
Creators: name: Goetz, Eric
name: Wang, Chen
name: Shelton, Robin
Publisher: name: arXiv
Year: 2024
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: This paper proposes a new method for estimating the total quantity of material in moving circumgalactic and intergalactic clouds from O VI measurements. We simulate high-velocity clouds (HVCs) with the FLASH hydrodynamic code and track the ionization and recombination of all ionization levels of oxygen as a function of time. We calculate the O VI/oxygen ratio ($f_{\rm O VI}$) in our dynamic NEI clouds, finding that it differs significantly from that in static gas. We find that O VI exists in cool, medium, and hot gas in the clouds. As such, it traces all of the hydrogen rather than merely the ionized hydrogen. The total quantity of hydrogen along a typical observed line of sight through a cloud can be estimated from the observed O VI column density, metallicity, and our $f_{\rm O VI}$. We provide the simulations' $f_{\rm O VI}$, a prescription for finding $f_{\rm O VI}$ for observed dynamic clouds, and a methodology for calculating the total hydrogen column density from this $f_{\rm O VI}$ and an observed O VI column density. As examples, we use our $f_{\rm O VI}$ to estimate the total hydrogen column densities along various observed sight lines through two HVCs, Complex C and the Magellanic Stream, finding that these clouds contain more material than the previous lower limits. We also extend this analysis to {low-redshift} intergalactic O VI clouds, finding that they contain several times more baryonic material than previously thought and therefore may account for a significant fraction of the Universe's baryons.
description: 15 pages, 9 figures
Taxonomic studies on the nematodes of the subfamily Radopholinae Allen & Sher, 1967
Creators: name: Gafur, Abdul
Publisher: name: The Australian National University
Year: 2014

description: This study is focused on the group of migratory endoparasitic nematodes of the subfamily Radopholinae Allen & Sher, 1967. The project aimed to refine the taxonomy of the subfamily and to provide a stable classification of the group. Evolutionary relationships of species within the subfamily Radopholinae, particularly the two most important genera Radopholus and Achlysiella, were evaluated. Phylogenetic analyses of all species of Radopholus and Achlysiella were carried out using morphological data. Original and GenBank sequences of ITS1-5.8-ITS2 and D2 and D3 expansion fragments of the 28S ribosomal RNA genes of five species of Radopholus and three species of Achlysiella were analysed. Bayesian inference, maximum likelihood and maximum parsimony approaches were employed. The results showed that while morphological data could not provide enough reliable resolution, molecular data sets showed that the subfamily Radopholinae Allen & Sher, 1967 and its genera Radopholus Thorne, 1949 and Achlysiella Hunt, Bridge & Machon 1989 each formed well-supported groupings. Radopholinae was shown to have a closer affinity with Hoplolaimidae (sensu De Ley & Blaxter, 2002) than with other nematode families, and therefore should be placed within family Hoplolaimidae, instead of the traditional placement within family Pratylenchidae. The present study confirmed the existence of obese mature females of A. magniglans and A. trilineata and supported the placement of five species of Radopholus in Achlysiella as A. magniglans, A.trilineata, A. brevicaudata, A. capitata and A. vacua as originally proposed by Ebsary (1991). A new species, Achlysiella uriarrae to be called n.sp., is described. Finally, a taxonomic revision of the subfamily Radopholinae is proposed.
Phase-slip avalanches in the superflow of $^4$He through arrays of nanopores
Creators: name: Pekker, David
name: Barankov, Roman
name: Goldbart, Paul M.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Recent experiments by Sato et al. [1] have explored the dynamics of $^4$He superflow through an array of nanopores. These experiments have found that, as the temperature is lowered, phase-slippage in the pores changes its character, from synchronous to asynchronous. Inspired by these experiments, we construct a model to address the characteristics of phase-slippage in superflow through nanopore arrays. We focus on the low-temperature regime, in which the current-phase relation for a single pore is linear, and thermal fluctuations may be neglected. Our model incorporates two basic ingredients: (1) each pore has its own random value of critical velocity (due, e.g., to atomic-scale imperfections), and (2) an effective inter-pore coupling, mediated through the bulk superfluid. The inter-pore coupling tends to cause neighbours of a pore that has already phase-slipped also to phase-slip; this process may cascade, creating an avalanche of synchronously slipping phases. As the temperature is lowered, the distribution of critical velocities is expected to effectively broaden, owing to the reduction in the superfluid healing length, leading to a loss of synchronicity in phase-slippage. Furthermore, we find that competition between the strength of the disorder in the critical velocities and the strength of the inter-pore interaction leads to a phase transition between non-avalanching and avalanching regimes of phase-slippage. [1] Sato, Y., Hoskinson, E. Packard, R. E. cond-mat/0605660.
description: 8 pages, 5 figures
Information-theoretically secure data origin authentication with quantum and classical resources
Creators: name: Nikolopoulos, Georgios M.
name: Fischlin, Marc
Publisher: name: arXiv
Year: 2020
Subjects: subject: Quantum Physics (quant-ph)
subject: Cryptography and Security (cs.CR)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In conventional cryptography, information-theoretically secure message authentication can be achieved by means of universal hash functions, and requires that the two legitimate users share a random secret key, which is twice as long as the message. We address the question as of whether quantum resources can offer any advantage over classical unconditionally secure message authentication codes. It is shown that passive prepare-and-measure quantum message-authentication schemes cannot do better than their classical counterparts. Subsequently we present an interactive entanglement-assisted scheme, which ideally allows for the authentication of classical messages with a classical key, which is as long as the message.
description: close to the version to be published in Cryptography
Hansenocaris undetermined
Creators: name: Olesen, Jørgen
name: Grygier, Mark J.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Maxillopoda
Hansenocarididae
Hansenocaris
Hansenocaris undetermined

description: Y-nauplius Type C
Figs 2, 6G–L
“Bumblebee” – Olesen et al. 2022: 578, 585, 587, figs 14b, 15, table 6. — Dreyer et al. 2023b: 99, figs 3a–e, 7.
Type C – Dreyer et al. 2023a: figs 1c, 2, 5a, c, s1–s2, tables s1–s2; 2024: 8, fig. 1.
Undescribed species of “y-larvae” – Olesen 2024: fig. on p. 15.
Material examined JAPAN – Okinawa, Sesoko I., laboratory pier, 26°38ʹ09.4ʺ N, 127°51ʹ55.2ʺ E • 8 LSN; 1991–2005 • 40 LSN, 27 of which molted to cyprids; 2018–2019 (Tables 1 and S1).
Description
LAST-STAGE NAUPLIUS (LSN). Lecithotrophic. Body narrowly ovate in dorso-ventral view; about twice as long as wide; lateral margins tapering gradually towards caudal end with no discontinuity at posterior end of cephalic shield. In lateral view, trunk axis downturned 30–45° relative to cephalic axis. Length 250–275 µm (without dorso-caudal spine), greatest width 150 µm, greatest dorso-ventral thickness 70 µm. Labrum weakly elevated, broadly trapezoidal with rounded posterior corners and approximately as long as wide; not divided into facets by cuticular ridges; bearing five pores: row of three posteriorly in midline and pair in left and right postero-lateral corners. Caudal end rounded, terminating in short (ca 7–10 µm), conical dorso-caudal spine and pair of short (10 µm), broad, upwardly curved furcal spines.
CYPRID VIEWED THROUGH CUTICLE OF LSN. Thorax brown, telson brown/black. Orange yolk granules concentrated centrally in cephalon posterior to nauplius eye and in posterior part of gut-like central tube. Telson approximately as long as wide and less than half as long as thorax, with notably bulging anterior half.
Identification and variation
Easily recognizable by the combination of its obtuse-ovate shape, distinctive black-brown-orange coloration (on which the nickname is based) and the three short, broad caudal spines. There is very little variation among specimens except for changes in pigment distribution as cyprid development progresses within the LSN cuticle, and only insignificant molecular variation was found among seven sequenced specimens (Olesen et al. 2022; Dreyer et al. 2023a, 2024).
Distribution
Japan (Sesoko Island, Okinawa).
description: Published as part of Olesen, Jørgen & Grygier, Mark J., 2024, Taxonomic diversity of marine planktonic ' y-larvae' (Crustacea: Facetotecta) from a coral reef hotspot locality (Japan, Okinawa), with a key to y-nauplii, pp. 1-90 in European Journal of Taxonomy 929 (1) on pages 18-19, DOI: 10.5852/ejt.2024.929.2479, http://zenodo.org/record/10876286
Effective potential at finite temperature in a constant hypermagnetic field: Ring diagrams in the Standard Model
Creators: name: Sanchez, Angel
name: Ayala, Alejandro
name: Piccinelli, Gabriella
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the symmetry breaking phenomenon in the standard model during the electroweak phase transition in the presence of a constant hypermagnetic field. We compute the finite temperature effective potential up to the contribution of ring diagrams in the weak field, high temperature limit and show that under these conditions, the phase transition becomes stronger first order.
description: 15 pages, 8 Postscript figures
Using BDDs for non-classical propositional theorem proving
Creators: name: Thomson, James Robert
Publisher: name: The Australian National University
Year: 2014
Subjects: subject: Decision making Mathematical models
subject: Branching processes
subject: Logic design Data processing
subject: Algebra, Boolean

description: This thesis investigates a method for determining satisfiability and validity using Binary Decision Diagrams (BDDs) to construct finite (pseudo-)models. The method was originally considered by Pan et al and Marrero. We extend the method to deal with a wide variety of non-classical propositional logics including the 15 basic normal modal logics, multimodal logics, tense logic, intuitionistic logic, bi-intuitionistic tense logic, linear time logic, and propositional dynamic logic. In all of these cases we present the reasoning behind the decision procedure to best illustrate how the component ideas can be re-arranged and combined together to produce decision procedures for other logics. The BDD approach we describe constructs a finite model which contains a proxy for every world which appears in any model, and represents this finite set of proxy worlds using a BDD. Any Kripke-relations in the finite model are also represented as sets of pairs using BDDs. The semantics of the particular logic direct a refinement process which either starts with all potential worlds and removes worlds which do not appear in any model to find a greatest-fixpoint, or starts with no worlds and adds worlds which appear in some model to find a least-fixpoint. Once the final model is found, satisfiability and validity of a formula P is reduced to determining whether any worlds in the particular model satisfy or falsify P. We can also answer questions of global logical consequence by restricting the worlds considered to those satisfying a set of global assumptions. Because the method constructs models, or pseudo-models which can be converted into models, whenever the decision procedure determines a formula to be (counter)-satisfiable, a (counter)-model can be extracted. Validity or unsatisfiabilty on the other hand is determined by the lack of a model, but we also show how to extract sequent proofs of validity for Bi-Intuitionistic Tense Logic. We also compare implementations of our method for Intuitionistic Logic and Computation Tree Logic against other state of the art theorem provers and find that with appropriate optimisations the decision procedures are competitive. In particular we apply algorithmic optimisations such as early termination or converting a question of validity to a question of global logical consequence and pre-processing techniques such as rewriting formulae to reduce the size of the closure. We also consider implementation concerns such as the order to construct intermediate BDDs to minimise size, as well as the impact of different BDD variable orders.
Scaling behavior of the energy gap of spin-1/2 AF-Heisenberg chain in both uniform and staggered fields
Creators: name: Mahdavifar, S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We have studied the energy gap of the 1D AF-Heisenberg model in the presence of both uniform ($H$) and staggered ($h$) magnetic fields using the exact diagonalization technique. We have found that the opening of the gap in the presence of a staggered field scales with $h^ν$, where $ν=ν(H)$ is the critical exponent and depends on the uniform field. With respect to the range of the staggered magnetic field, we have identified two regimes through which the $H$-dependence of the real critical exponent $ν(H)$ can be numerically calculated. Our numerical results are in good agreement with the results obtained by theoretical approaches.
Astrometric and photometric observations of comet 29P/Schwassmann--Wachmann 1 at the Sanglokh international astronomical observatory
Creators: name: Kokhirova, G. I.
name: Ivanova, O. V.
name: Rakhmatullaeva, F. Dzh.
name: Buriev, A. M.
name: Khamroev, U. Kh.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Astrometric and photometric observations of the comet 29P/Schwassmann-Wachmann 1 were performed at the Zeiss-1000 telescope of the International Astronomical Observatory Sanglokh (IAOS) of the Institute of Astrophysics, Academy of Sciences of the Republic of Tajikistan in July and August 2017. Although the comet has a short period of revolution it is regarded to be an object of the Centaurs group. Comet was exhibited a new activity this period which we used for analysis of its features. The coordinates of comet were determined and the orbit was calculated, the apparent and absolute magnitudes in BVRI bands were determined, as well the comet color indices and the estimation of nucleus diameter were obtained.
description: 7 pages, 5 figures
Chemical Abundances in AGN Environment: X-Ray/UV Campaign on the MRK 279 Outflow
Creators: name: Arav, Nahum
name: Gabel, Jack R.
name: Korista, Kirk T.
name: Kaastra, Jelle S.
name: Kriss, Gerard A.
name: Behar, Ehud
name: Costantini, Elisa
name: Gaskell, C. Martin
name: Laor, Ari
name: Kodituwakku, Nalaka
name: Proga, Daniel
name: Sako, Masao
name: Scott, Jennifer E.
name: Steenbrugge, Katrien C.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present the first reliable determination of chemical abundances in an AGN outflow. The abundances are extracted from the deep and simultaneous FUSE and HST/STIS observations of Mrk 279. This data set is exceptional for its high signal-to-noise, unblended doublet troughs and little Galactic absorption contamination. These attributes allow us to solve for the velocity-dependent covering fraction, and therefore obtain reliable column densities for many ionic species. For the first time we have enough such column densities to simultaneously determine the ionization equilibrium and abundances in the flow. Our analysis uses the full spectral information embedded in these high-resolution data. Slicing a given trough into many independent outflow elements yields the extra constraints needed for a physically meaningful abundances determination. We find that relative to solar the abundances in the Mrk 279 outflow are (linear scaling): carbon 2.2+/-0.7, nitrogen 3.5+/-1.1 and oxygen 1.6+/-0.8. Our UV-based photoionization and abundances results are in good agreement with the independent analysis of the simultaneous Mrk 279 X-ray spectra. This is the best agreement between the UV and X-ray analyses of the same outflow to date.
description: 28 pages, 7 figures, accepted on 29 Nov 2006 for publication in the ApJ (submission date: 27 Jul 2006)
La crisis eléctrica en Ecuador: la desinformación agrava la incertidumbre
Creators: name: Suing, Abel
Publisher: name: Zenodo
Year: 2024
Subjects: subject: communication
subject: Communication policies
subject: Crisis
subject: Politics
subject: Law
subject: FOS: Law
subject: Freedom of expression
subject: Water
subject: drought
subject: Flood

description: Publicación presentada en la sección de opinión del diario digital hora 32 https://hora32.com.ec/ que se edita en Loja (Ecuador)
OH maser toward IRAS 06056+2131: polarization parameters and evolution status
Creators: name: darwish, Mohamed Said
name: Richards, Anita M. S.
name: Etoka, Sandra
name: Edris, Khaled
name: Saad, Somaya
name: Beheary, Mohamed
name: Fullar, Gary
Publisher: name: arXiv
Year: 2021
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present high angular resolution observations of OH maser emission towards the high-mass star forming region IRAS 06056+2131. The observations were carried out using the UK radio interferometer array, Multi-Element Radio Linked Interferometer Network (MERLIN) in the OH main lines at 1665- and 1667-MHz, in addition to the OH satellite line at 1720-MHz. The results of this study revealed emission in the 1665 MHz line with an estimated total intensity of $\sim 4$ Jy. We did not detect any emission from the 1667-MHz and 1720-MHz lines. The full polarization mode of MERLIN enables us to investigate the magnetic field in the OH maser region. Our results show that IRAS 06056+2131 is a highly circularly polarized source. In this transition, a Zeeman pair is identified from which a magnetic strength of $\sim -1.5$ mG is inferred. The orientation of the linear polarization vectors suggests that the magnetic field lines at the location of the OH maser emission \textbf{might be} in agreement with the orientation of the outflow thought to be associated with this source. The star forming evolutionary status of the embedded proto-stellar object is discussed.
description: 10 pages, 5 figures
Dependence on the Dimension for Complexity of Approximation of Random Fields
Creators: name: Serdyukova, N.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 41A25, 41A63, 60G60

description: We consider an \eps-approximation by n-term partial sums of the Karhunen-Loève expansion to d-parametric random fields of tensor product-type in the average case setting. We investigate the behavior, as d tends to infinity, of the information complexity n(\eps,d) of approximation with error not exceeding a given level \eps. It was recently shown by M.A. Lifshits and E.V. Tulyakova that for this problem one observes the curse of dimensionality (intractability) phenomenon. The aim of this paper is to give the exact asymptotic expression for the information complexity n(\eps,d).
description: 18 pages. The published in Theory Probab. Appl. (2010) extended English translation of the original paper "Zavisimost slozhnosti approximacii sluchajnyh polej ot rasmernosti", submitted on 15.01.2007 and published in Theor. Veroyatnost. i Primenen. 54:2, 256-270
title: RETRACTED: Nanoporous Au/Ag Catalyzed Benzylic sp3C−H Oxidation of 9H-Fluorene Derivatives and Similar Molecules with TBHP
Creators: name: Thayssen, Jan
name: Riedel, Wiebke
name: Risse, Thomas
name: Staubitz, Anne
name: Wittstock, Arne
Publisher: name: Freie Universität Berlin
Year: 2024
Subjects: subject: Nanomaterials
subject: Nanoporous Gold
subject: Peroxides
subject: Liquid Phase Catalysis
subject: Oxidation
classificationCode: 540
subject: Chemie und zugeordnete Wissenschaften

description: Nanoporous gold (npAu) was tested as a catalyst for oxidations of various benzylic sp3-carbon positions in 9H-fluorene derivatives and similar hydrocarbons using tertbutyl hydroperoxide (TBHP) as an oxidant. The silver content in the npAu catalyst had a major influence on the overall conversion: Lower silver amounts (0.53 mol%) led to higher conversions, whereas higher amounts of silver increasingly resulted in the disproportionation of TBHP as a competing reaction. Because residual silver from the bulk alloy was oxidized by TBHP and leached into the solution during the reaction, the Ag content diminished over time. Therefore, the recycling of the catalyst had a positive effect on the conversion after each use. Using electron paramagnetic resonance (EPR) spectroscopy, the formation of radicals from TBHP by npAu was evidenced indicating a radical-based reaction mechanism which was further elucidated by NMR spectroscopic and GC-MS (trace) product analysis. Subsequent oxidations of benzylic sp3-carbon positions gave good to excellent conversions and chemoselectivities featuring npAu as a suitable catalyst for such reactions.
บทวิจารณ์และแนะนำหนังสือ "ธรรมาธิปไตยไม่มา จึงหาประชาธิปไตยไม่เจอ (จุดบรรจบ: รัฐศาสตร์ กับ นิติศาสตร์)"
Creators: name: Nualnada Sa-Nguanwongthong
Publisher: name: National Institute of Development Administration
Year: 2010

description: 1, 50, NIDA Development Journal
The visibility of low-frequency solar acoustic modes
Creators: name: Broomhall, A. M.
name: Chaplin, W. J.
name: Elsworth, Y.
name: Fletcher, S. T.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We make predictions of the detectability of low-frequency p modes. Estimates of the powers and damping times of these low-frequency modes are found by extrapolating the observed powers and widths of higher-frequency modes with large observed signal-to-noise ratios. The extrapolations predict that the low-frequency modes will have small signal-to-noise ratios and narrow widths in a frequency-power spectrum. Monte Carlo simulations were then performed where timeseries containing mode signals and normally distributed Gaussian noise were produced. The mode signals were simulated to have the powers and damping times predicted by the extrapolations. Various statistical tests were then performed on the frequency-amplitude spectra formed from these timeseries to investigate the fraction of spectra in which the modes could be detected. The results of these simulations were then compared to the number of p-modes candidates observed in real Sun-as-a-star data at low frequencies. The fraction of simulated spectra in which modes were detected decreases rapidly as the frequency of modes decreases and so the fraction of simulations in which the low-frequency modes were detected was very small. However, increasing the signal-to-noise (S/N) ratio of the low-frequency modes by a factor of 2 above the extrapolated values led to significantly more detections. Therefore efforts should continue to further improve the quality of solar data that is currently available.
description: 9 pages, 6 figures, accepted for publication in Astronomische Nachrichten
Block MedCare: Advancing healthcare through blockchain integration
Creators: name: Simonoski, Oliver
name: Bogatinoska, Dijana Capeska
Publisher: name: arXiv
Year: 2024
Subjects: subject: Software Engineering (cs.SE)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: In an era driven by information exchange, transparency and security hold crucial importance, particularly within the healthcare industry, where data integrity and confidentiality are paramount. This paper investigates the integration of blockchain technology in healthcare, focusing on its potential to revolutionize Electronic Health Records (EHR) management and data sharing. By leveraging Ethereum-based blockchain implementations and smart contracts, we propose a novel system that empowers patients to securely store and manage their medical data. Our research addresses critical challenges in implementing blockchain in healthcare, including scalability, user privacy, and regulatory compliance. We propose a solution that combines digital signatures, Role-Based Access Control, and a multi-layered architecture to enhance security and ensure controlled access. The system's key functions, including user registration, data append, and data retrieval, are facilitated through smart contracts, providing a secure and efficient mechanism for managing health information. To validate our approach, we developed a decentralized application (dApp) that demonstrates the practical implementation of our blockchain-based healthcare solution. The dApp incorporates user-friendly interfaces for patients, doctors, and administrators, showcasing the system's potential to streamline healthcare processes while maintaining data security and integrity. Additionally, we conducted a survey to gain insights into the perceived benefits and challenges of blockchain adoption in healthcare. The results indicate strong interest among healthcare professionals and IT experts, while also highlighting concerns about integration costs and technological complexity. Our findings...
Deep Reinforcement Learning for Tropical Air Free-Cooled Data Center Control
Creators: name: Van Le, Duc
name: Wang, Rongrong
name: Liu, Yingbo
name: Tan, Rui
name: Wong, Yew-Wah
name: Wen, Yonggang
Publisher: name: arXiv
Year: 2020
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Air free-cooled data centers (DCs) have not existed in the tropical zone due to the unique challenges of year-round high ambient temperature and relative humidity (RH). The increasing availability of servers that can tolerate higher temperatures and RH due to the regulatory bodies' prompts to raise DC temperature setpoints sheds light upon the feasibility of air free-cooled DCs in tropics. However, due to the complex psychrometric dynamics, operating the air free-cooled DC in tropics generally requires adaptive control of supply air condition to maintain the computing performance and reliability of the servers. This paper studies the problem of controlling the supply air temperature and RH in a free-cooled tropical DC below certain thresholds. To achieve the goal, we formulate the control problem as Markov decision processes and apply deep reinforcement learning (DRL) to learn the control policy that minimizes the cooling energy while satisfying the requirements on the supply air temperature and RH. We also develop a constrained DRL solution for performance improvements. Extensive evaluation based on real data traces collected from an air free-cooled testbed and comparisons among the unconstrained and constrained DRL approaches as well as two other baseline approaches show the superior performance of our proposed solutions.
title: A software reference architecture for service-oriented 3D geovisualization systems
Creators: name: Hildebrandt, Dieter
Publisher: name: Universität Potsdam
Year: 2021
Subjects: subject: 550 Geowissenschaften

description: Modern 3D geovisualization systems (3DGeoVSs) are complex and evolving systems that are required to be adaptable and leverage distributed resources, including massive geodata. This article focuses on 3DGeoVSs built based on the principles of service-oriented architectures, standards and image-based representations (SSI) to address practically relevant challenges and potentials. Such systems facilitate resource sharing and agile and efficient system construction and change in an interoperable manner, while exploiting images as efficient, decoupled and interoperable representations. The software architecture of a 3DGeoVS and its underlying visualization model have strong effects on the system's quality attributes and support various system life cycle activities. This article contributes a software reference architecture (SRA) for 3DGeoVSs based on SSI that can be used to design, describe and analyze concrete software architectures with the intended primary benefit of an increase in effectiveness and efficiency in such activities. The SRA integrates existing, proven technology and novel contributions in a unique manner. As the foundation for the SRA, we propose the generalized visualization pipeline model that generalizes and overcomes expressiveness limitations of the prevalent visualization pipeline model. To facilitate exploiting image-based representations (IReps), the SRA integrates approaches for the representation, provisioning and styling of and interaction with IReps. Five applications of the SRA provide proofs of concept for the general applicability and utility of the SRA. A qualitative evaluation indicates the overall suitability of the SRA, its applications and the general approach of building 3DGeoVSs based on SSI.
description: Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe; 1131