cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Camera Adaptation for Fundus-Image-Based CVD Risk Estimation
Creators: name: Lin, Zhihong
name: Shi, Danli
name: Zhang, Donghao
name: Shang, Xianwen
name: He, Mingguang
name: Ge, Zongyuan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Recent studies have validated the association between cardiovascular disease (CVD) risk and retinal fundus images. Combining deep learning (DL) and portable fundus cameras will enable CVD risk estimation in various scenarios and improve healthcare democratization. However, there are still significant issues to be solved. One of the top priority issues is the different camera differences between the databases for research material and the samples in the production environment. Most high-quality retinography databases ready for research are collected from high-end fundus cameras, and there is a significant domain discrepancy between different cameras. To fully explore the domain discrepancy issue, we first collect a Fundus Camera Paired (FCP) dataset containing pair-wise fundus images captured by the high-end Topcon retinal camera and the low-end Mediwork portable fundus camera of the same patients. Then, we propose a cross-laterality feature alignment pre-training scheme and a self-attention camera adaptor module to improve the model robustness. The cross-laterality feature alignment training encourages the model to learn common knowledge from the same patient's left and right fundus images and improve model generalization. Meanwhile, the device adaptation module learns feature transformation from the target domain to the source domain. We conduct comprehensive experiments on both the UK Biobank database and our FCP data. The experimental results show that the CVD risk regression accuracy and the result consistency over two cameras are improved with our proposed method. The code is available here: \url{https://github.com/linzhlalala/CVD-risk-based-on-retinal-fundus-images}
description: This preprint has not undergone peer review (when applicable) or any post-submission improvements or corrections. The Version of Record of this contribution will be added soon
The journey between the poles: The social realities of families of consumers with bipolar disorder
Creators: name: Hills, John M
Publisher: name: CQUniversity
Year: 2022
Subjects: Mental health services
Family and household studies

description: This thesis presents a study of carers who journey between the poles of family members with bipolar disorder. The quiescent periods between these storms represents, for carers, an almost unbearable quiet as they await the next change. The issue of living with bipolar disorder, whether as a consumer or carer, acknowledges no geographic, chronological or socio-economic boundaries. With this in view, a section of this thesis examines these factors in discussion of the responses received in the interviews as well as the available statistical data. The research centred on a group of families from the Central region of Queensland. In line with previous research, this study also presents an examination of the development of interest in the lives of those family members caring for a consumer with a serious mental illness. The creativity, energy and artistic outpth of consumers with bipolar sat well with the author's belief in a PhD being an opportunity to creatively explore with respondents their lived experiences. The excitement of the consumers infused an excitement, which the author hopes has translated into the thesis. The reciprocal effects of family environment and consumer behaviour, and the dependence of one upon the other, is presented in the study. Mental illness is, indeed, a family issue and, in this author's opinion, the phenomenon of mental illness underscores the need for the family's influence on the consumer's life and a need for recognition by the mental health professionals that there is a partnership required if the consumer is to best be cared for.
title: A Fault-Tolerant Programming Model for Distributed Interactive Applications
Creators: name: Mogk, Ragnar
name: Drechsler, Joscha
name: Salvaneschi, Guido
name: Mezini, Mira
Publisher: name: Association for Computing Machinery
Year: 2019

description: Ubiquitous connectivity of web, mobile, and IoT computing platforms has fostered a variety of distributed applications with decentralized state. These applications execute across multiple devices with varying reliability and connectivity. Unfortunately, there is no declarative fault-tolerant programming model for distributed interactive applications with an inherently decentralized system model. We present a novel approach to automating fault tolerance using high-level programming abstractions tailored to the needs of distributed interactive applications. Specifically, we propose a calculus that enables formal reasoning about applications' dataflow within and across individual devices. Our calculus reinterprets the functional reactive programming model to seamlessly integrate its automated state change propagation with automated crash recovery of device-local dataflow and disconnection-tolerant distribution with guaranteed automated eventual consistency semantics based on conflict-free replicated datatypes. As a result, programmers are relieved of handling intricate details of distributing change propagation and coping with distribution failures in the presence of interactivity. We also provides proofs of our claims, an implementation of our calculus, and an empirical evaluation using a common interactive application.
Spatially resolved physical and chemical properties of the planetary nebula NGC 3242
Creators: name: Monteiro, H.
name: Gonçalves, D. R.
name: Leal-Ferreira, M. L.
name: Corradi, R. L. M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Optical integral-field spectroscopy was used to investigate the planetary nebula NGC 3242. We analysed the main morphological components of this source, including its knots, but not the halo. In addition to revealing the properties ofthe physical and chemical nature of this nebula, we also provided reliable spatially resolved constraints that can be used for future photoionisation modelling of the nebula. The latter is ultimately necessary to obtain a fully self-consistent 3D picture of the physical and chemical properties of the object. The observations were obtained with the VIMOS instrument attached to VLT-UT3. Maps and values for specific morphological zones for the detected emission-lines were obtained and analysed with routines developed by the authors to derive physical and chemical conditions of the ionised gas in a 2D fashion. We obtained spatially resolved maps and mean values of the electron densities, temperatures, and chemical abundances, for specific morphological structures in NGC 3242. These results show the pixel-to-pixel variations of the the small- and large-scale structures of the source. These diagnostic maps provide information free from the biases introduced by traditional single long-slit observations. In general, our results are consistent with a uniform abundance distribution for the object, whether we look at abundance maps or integrated fluxes from specified morphological structures. The results indicate that special care should be taken with the calibration of the data and that only data with extremely good signal-to-noise ratio and spectral coverage should be used to ensure the detection of possible spatial variations.
description: 11 pages, 8 figures accepted for publication in Astronomy & Astrophysics
GMValuator: Similarity-based Data Valuation for Generative Models
Creators: name: Yang, Jiaxi
name: Deng, Wenglong
name: Liu, Benlin
name: Huang, Yangsibo
name: Zou, James
name: Li, Xiaoxiao
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Data valuation plays a crucial role in machine learning. Existing data valuation methods, mainly focused on discriminative models, overlook generative models that have gained attention recently. In generative models, data valuation measures the impact of training data on generated datasets. Very few existing attempts at data valuation methods designed for deep generative models either concentrate on specific models or lack robustness in their outcomes. Moreover, efficiency still reveals vulnerable shortcomings. We formulate the data valuation problem in generative models from a similarity matching perspective to bridge the gaps. Specifically, we introduce Generative Model Valuator (GMValuator), the first training-free and model-agnostic approach to providing data valuation for image generation tasks. It empowers efficient data valuation through our innovative similarity matching module, calibrates biased contributions by incorporating image quality assessment, and attributes credits to all training samples based on their contributions to the generated samples. Additionally, we introduce four evaluation criteria for assessing data valuation methods in generative models. GMValuator is extensively evaluated on benchmark and high-resolution datasets and various mainstream generative architectures to demonstrate its effectiveness.
Chiral current in Floquet cavity-magnonics
Creators: name: Qi, Shi-fan
name: Jing, Jun
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Floquet engineering can induce complex collective behaviour and interesting synthetic gauge-field in quantum systems through temporal modulation of system parameters by periodic drives. Using a Floquet drive on frequencies of the magnon modes, we realize a chiral state-transfer in a cavity-magnonic system. The time-reversal symmetry is broken in such a promising platform for coherent information processing. In particular, the photon mode is adiabatically eliminated in the large-detuning regime and the magnon modes under conditional longitudinal drives can be indirectly coupled to each other with a phase-modulated interaction. The effective Hamiltonian is then used to generate chiral currents in a circular loop, whose dynamics is evaluated to measure the symmetry of the system Hamiltonian. Beyond the dynamics limited in the manifold with a fixed number of excitations, our protocol applies to the continuous-variable systems with arbitrary states. Also it is found to be robust against the systematic errors in the photon-magnon coupling strength and Kerr nonlinearity.
Moschus berezovskii Flerov 1929
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Artiodactyla
Cervidae
Moschus
Moschus berezovskii

description: Moschus berezovskii Flerov, 1929. C. R. Acad. Sci. U.S.S.R., 1928A:519. TYPE LOCALITY: China, Szechwan, near Lungan, Ho-tsi-how Pass. DISTRIBUTION: S.W. China, N. Vietnam. COMMENT: A valid species according to Cai and Feng, 1981, Acta Zootax. Sin., 6: 106-110. PROTECTED STATUS: CITES - Appendix II as Moschus spp.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Artiodactyla, pp. 315-343 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 323, DOI: 10.5281/zenodo.7352976
description: {"references": ["Cai Gui-quan, and Feng Zuo-jiang. 1981. [On the occurrence of the Himalayan musk-deer (Moschus chrysogaster) in China and an approach to the systematics of the genus Moschus]. Acta Zootaxonomica Sinica, 6: 106 - 110 (in Chinese)."]}
title: Thread-Safe Reactive Programming
Creators: name: Drechsler, Joscha
name: Mogk, Ragnar
name: Salvaneschi, Guido
name: Mezini, Mira
Publisher: name: ACM
Year: 2018

description: The execution of an application written in a reactive language involves transfer of data and control flow between imperative and reactive abstractions at well-defined points. In a multi-threaded environment, multiple such interactions may execute concurrently, potentially causing data races and event ordering ambiguities. Existing RP languages either disable multi-threading or handle it at the cost of reducing expressiveness or weakening consistency. This paper proposes a model for thread-safe reactive programming (RP) that ensures abort-free strict serializability under concurrency while sacrificing neither expressiveness nor consistency. We also propose an architecture for integrating a corresponding scheduler into the RP language runtime, such that thread-safety is provided "out-of-the-box" to the applications. We show the feasibility of our proposal by providing and evaluating a ready-to-use implementation integrated into the REScala programming language. The scheduling algorithm is formally proven correct. A thorough empirical evaluation shows that reactive applications build on top of it scale with multiple threads, while the scheduler incurs acceptable performance overhead in a single-threaded configuration. The scalability enabled by our scheduler is roughly on-par with that of hand-crafted application-specific locking and better than the scalability enabled by a scheduler using an off-the-shelf software transactional memory library.
Classical and quantum parts of conditional mutual information for open quantum systems
Creators: name: Huang, Zhiqiang
name: Guo, Xiao-Kan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study the classical, classical-quantum, and quantum parts of conditional mutual information in the ``system-environment-ancilla'' setting of open quantum systems. We perform the separation of conditional mutual information by generalizing the classification of correlations of quantum states. The condition for identifying the classical part of conditional mutual information is given by adapting the no-local-broadcasting theorem to this setting, while the condition for classical-quantum part of conditional mutual information is obtained by considering the multipartite quantum discord and the no-unilocal-broadcasting theorem. For the quantum part of conditional mutual information, we further generalize the characterization of entanglement by quantum discord of state extensions to the multipatite setting, so as to derive a generalized Koashi-Winter-type monogamy equality for conditional mutual information. Our results have explicit dependence on the extensions of environment, which are useful for studying different environmental contributions to the quantum non-Markovianity of open quantum systems.
description: 24 pages, 1 figure
Holographic duality in nonlinear hyperbolic metamaterials
Creators: name: Smolyaninov, Igor I.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Optics (physics.optics)
subject: Superconductivity (cond-mat.supr-con)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: According to the holographic principle, the description of a volume of space can be thought of as encoded on its boundary. Holographic principle establishes equivalence, or duality, between theoretical description of volume physics, which involves gravity, and the gravity-free field theory, which describes physics on its surface. While generally accepted as a theoretical framework, so far there was no known experimental system which would exhibit explicit holographic duality and be amenable to direct experimental testing. Here we demonstrate that nonlinear optics of hyperbolic metamaterials admits such a dual holographic description. Wave equation which describes propagation of extraordinary light through the volume of metamaterial exhibits 2+1 dimensional Lorentz symmetry. The role of time in the corresponding effective 3D Minkowski spacetime is played by the spatial coordinate aligned with the optical axis of the material. Nonlinear optical Kerr effect bends this spacetime resulting in effective gravitational interaction between extraordinary photons. On the other hand, a holographic dual theory may be formulated on the metamaterial surface, which describes its nonlinear optics via interaction of cylindrical surface plasmons possessing conserved charges proportional to their angular momenta. Potential implications of this duality for superconductivity of hyperbolic metamaterials are discussed.
description: 22 pages, 2 figures. This version is accepted for publication in the Journal of Optics. arXiv admin note: text overlap with arXiv:1307.8431
Neural correlates of diverse navigational strategies
Creators: name: Sayre, Marcel
Publisher: name: Macquarie University
Year: 2024
Subjects: classificationCode: 399999
subject: Other education not elsewhere classified

description: Insects have evolved diverse and remarkable strategies for navigating in various ecologies all over the world. In particular, central place foragers, such as bees and ants, have become renowned for their fascinating navigational capabilities. At the heart of insect navigation lies a brain area known as the central complex (CX). Functionally, the CX integrates world-centric sensory information with self-motion cues to generate an internal map of angular position. It plays a role in driving motor commands and has been suggested as the neural substrate for encoding travel direction, as well as navigational vectors theorized to be involved in path integration. Interestingly, the CX appears to have been highly anatomically conserved, even across insect species that diverged hundreds of millions of years ago. The conserved nature of the CX stands in juxtaposition to the extraordinary diversity of insect behavior. How does a highly conserved brain area give rise to such diverse navigational behavior? Using block-face electron microscopy combined with neuron tracing and synapse annotation, we analyzed CX circuits in six species of bees and ants: the honeybee, the bumblebee (Paper 1), the sweat bee, the army ant, the desert ant, and the bull ant. Our data suggests that there are core circuits that have been exceptionally well preserved across evolutionary time. Namely, the head direction circuit (Paper 2) which contains neurons that share total numbers, projectivity, and connectivity motifs from flies to bees and ants. In contrast, inputs from sensory areas vary to a much larger degree. Our data suggests that the relative contribution of parallel input pathways depends strongly on the information available in the habitat of a species. Also variable are the circuits that encode self-motion, something which is fundamental for building navigationally relevant internal representations (Paper 3). Altogether, these neuroanatomical maps provide the framework for future functional and modeling studies that seek to understand how sensory information is transformed into behavioral decisions within the context of navigation.
Distributed Algorithms as a Gateway to Deductive Learning
Creators: name: Wattenhofer, Roger
Publisher: name: ETH Zurich
Year: 2024

description: With the book Thinking Fast and Slow, Daniel Kahneman popularized the idea that the human brain can think in two different modes. The fast mode is instinctive and automatic, while the slow mode is deliberative and logical. As of 2023, one can argue that machine learning understands how to think fast. Deep neural networks are remarkably successful in rapidly classifying and regressing data. Thinking slow on the other hand is still a mystery. Large language models may provide an illusion of being able to think slow. However, prompts that need multiple deductive steps are generally beyond the capabilities of large language models. Distributed algorithms have the potential to help understanding deductive reasoning. Distributed algorithms usually consist of several little steps, iteratively applied, each step being easily learnable. As such distributed computing may provide an interesting bridge towards understanding deduction, extrapolation, reasoning, and everything else needed to think slow. In the talk, we will discuss some exciting case studies from graph generation to origami folding.
description: Leibniz International Proceedings in Informatics (LIPIcs), 286
description: ISSN:1868-8969
description: 27th International Conference on Principles of Distributed Systems (OPODIS 2023)
description: ISBN:978-3-95977-308-9
Moschus chrysogaster
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Artiodactyla
Cervidae
Moschus
Moschus chrysogaster

description: Moschus chrysogaster (Hodgson, 1839). J. Asiat. Soc. Bengal, 8:203. TYPE LOCALITY: " Nepal " (Probably Tibetan Plateau). DISTRIBUTION: Wooded slopes of Himalayas in India, Nepal, Bhutan, Sikkim, S. Tibet, C. andS.E. China (SW). COMMENT: Formerly included berezovskii; see Groves, 1975, J. Bombay Nat. Hist. Soc., 72:662-682. Regarded as separate species by Cai and Feng, 1981, Acta Zootax. Sin., 6: 106-110. According to PG, chrysogaster is the prior name for sifanicus (see below), and the next available name for this species is leucogaster Hodgson, 1839. PROTECTED STATUS: CITES - Appendix II as Moschus spp.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Artiodactyla, pp. 315-343 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 323, DOI: 10.5281/zenodo.7352976
description: {"references": ["Cai Gui-quan, and Feng Zuo-jiang. 1981. [On the occurrence of the Himalayan musk-deer (Moschus chrysogaster) in China and an approach to the systematics of the genus Moschus]. Acta Zootaxonomica Sinica, 6: 106 - 110 (in Chinese)."]}
Distinguishing a planetary transit from false positives: a Transformer-based classification for planetary transit signals
Creators: name: Salinas, Helem
name: Pichara, Karim
name: Brahm, Rafael
name: Pérez-Galarce, Francisco
name: Mery, Domingo
Publisher: name: arXiv
Year: 2023
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Current space-based missions, such as the Transiting Exoplanet Survey Satellite (TESS), provide a large database of light curves that must be analysed efficiently and systematically. In recent years, deep learning (DL) methods, particularly convolutional neural networks (CNN), have been used to classify transit signals of candidate exoplanets automatically. However, CNNs have some drawbacks; for example, they require many layers to capture dependencies on sequential data, such as light curves, making the network so large that it eventually becomes impractical. The self-attention mechanism is a DL technique that attempts to mimic the action of selectively focusing on some relevant things while ignoring others. Models, such as the Transformer architecture, were recently proposed for sequential data with successful results. Based on these successful models, we present a new architecture for the automatic classification of transit signals. Our proposed architecture is designed to capture the most significant features of a transit signal and stellar parameters through the self-attention mechanism. In addition to model prediction, we take advantage of attention map inspection, obtaining a more interpretable DL approach. Thus, we can identify the relevance of each element to differentiate a transit signal from false positives, simplifying the manual examination of candidates. We show that our architecture achieves competitive results concerning the CNNs applied for recognizing exoplanetary transit signals in data from the TESS telescope. Based on these results, we demonstrate that applying this state-of-the-art DL model to light curves can be a powerful technique for transit signal detection while offering a level of interpretability.
Neutrino-induced nucleosynthesis as a result of mixing between the He and C-O-Ne shells in core-collapse supernova
Creators: name: Nadyozhin, D. K.
name: Panov, I. V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The nucleosynthesis yields from neutrino-induced spallation of 4He are calculated in case of penetration of some 4He into the carbon-oxygen-neon shell. The neutrino contribution to creation of the weak r-process component becomes noticeable in case 4He is dragged down at radii R < 10^9 cm.
description: The Paper is in formatting for submission to MNRAS
Researching Otherwise: Pluriversal Methodologies for Landscape and Urban Studies
Creators: name: Bathla, Nitin
Publisher: name: ETH Zurich
Year: 2024
Subjects: subject: Urban Planning
subject: Urban Studies
subject: Methods
subject: Landscape
subject: Architecture
subject: FOS: Civil engineering

description: Methodological, epistemic, and ontological borders have long prevented landscape and urban studies from engaging in transdisciplinary dialogue, sensuousness, and affect. “Researching Otherwise” uncovers possibilities for deploying sensory, collaborative, and restitutive methodological tools to craft spaces for producing knowledge from pluriversal worlds. These methods connect researchers and their objects of investigation in new ways to empower restitutive and regenerative futures “otherwise.”
Original contributions draw from research methods based on drawing, photography, sounding and listening, filmmaking, walking, and cartography. They reveal journeys of specialists and their companions while navigating through multi-species walks, engaging in cinematic and performative ways of knowing, submerging in ocean worlds, unsilencing bank vaults and troubled architectural histories, and exploring collaborative ethnographic investigations with refugees.
description: ISBN:978-3-85676-469-2
description: ISBN:978-3-85676-467-8
The impact of decreasing horizontal grid spacing on the simulation of the mountain boundary layer in the hectometric range
Creators: name: Goger, Brigitta
name: Dipankar, Anurag
Publisher: name: ETH Zurich
Year: 2024

description: The horizontal grid spacing of numerical weather prediction models keeps decreasing towards the hectometric range. We perform limited-area simulations with the ICON model across horizontal grid spacings (1 km, 500 m, 250 m, 125 m) in the Inn Valley, Austria, and evaluate the model with observations from the CROSSINN measurement campaign. This allows us to investigate whether increasing the horizontal resolution automatically improves the representation of the flow structure, surface exchange, and common meteorological variables. Increasing the horizontal resolution results in an improved simulation of the thermally-induced circulation. However, the model still faces challenges with scale interactions and the evening transition of the up-valley flow. Differences between two turbulence schemes (1D TKE and 3D Smagorinsky) emerge due to their different surface transfer formulations, yielding a delayed evening transition in the 3D Smagorinsky scheme. Generally speaking, the correct simulation of the mountain boundary layer depends mostly on the representation of model topography and surface exchange, and the choice of turbulence parameterization is secondary.
description: arXiv
Algebra of operators affiliated with a finite type I von Neumann algebra
Creators: name: Niemiec, Piotr
name: Wegert, Adam
Publisher: name: arXiv
Year: 2013
Subjects: subject: Operator Algebras (math.OA)
subject: FOS: Mathematics
subject: Primary 46L10, Secondary 47C15

description: It is shown that the *-algebra of all (closed densely defined linear) operators affiliated with a finite type I von Neumann algebra admits a unique center-valued trace, which turns out to be, in a sense, normal. It is also demonstrated that for no other von Neumann algebras similar constructions can be performed.
description: 14 pages
title: Versatile Event Correlation with Algebraic Effects
Creators: name: Bračevac, Oliver
name: Amin, Nada
name: Salvaneschi, Guido
name: Erdweg, Sebastian
name: Eugster, Patrick
name: Mezini, Mira
Publisher: name: ACM
Year: 2018

description: We present the first language design to uniformly express variants of n-way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive and concurrent programming. We model asynchronous reactive programs and joins in direct style, on top of algebraic effects and handlers. Effect handlers act as modular interpreters of event notifications, enabling fine-grained control abstractions and customizable event matching. Join variants can be considered as cartesian product computations with ”degenerate” control flow, such that unnecessary tuples are not materialized a priori. Based on this computational interpretation, we decompose joins into a generic, naive enumeration procedure of the cartesian product, plus variant-specific extensions, represented in terms of user-supplied effect handlers. Our microbenchmarks validate that this extensible design avoids needless materialization. Alongside a formal semantics for joining and prototypes in Koka and multicore OCaml, we contribute a systematic comparison of the covered domains and features.
Order-by-order Anisotropic Transport Coefficients of a Magnetised Fluid: a Chapman-Enskog Approach
Creators: name: Gangopadhyaya, Utsab
name: Roy, Victor
Publisher: name: arXiv
Year: 2022
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences
subject: 76Wxx (Primary)

description: We derive the first and second-order expressions for the shear, the bulk viscosity, and the thermal conductivity of a relativistic hot boson gas in a magnetic field using the relativistic kinetic theory within the Chapman-Enskog method. The order-by-order off-equilibrium distribution function is obtained in terms of the associate Laguerre polynomial with magnetic field-dependent coefficients using the relativistic Boltzmann-Uehling-Uhlenbeck transport equation. The order-by-order anisotropic transport coefficients are evaluated in powers of the dimensionless ratio of kinetic energy to the fluid temperature for finite magnetic fields. In a magnetic field, the shear viscosity (in all order) splits into five different coefficients. Four of them show a magnetic field dependence as seen in a previous study \cite{Ashutosh1} using the relaxation time approximation for the collision kernel. On the other hand, bulk viscosity, which splits into three components (in all order), is independent of the magnetic field. The thermal conductivity shows a similar splitting but is field-dependent. The difference in the first and second-order results are prominent for the thermal conductivities than the shear viscosity; moreover, the difference in the two results is most evident at low temperatures. The first and second-order results seem to converge rapidly for high temperatures.
description: 35 pages, 2 figures
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Creators: name: Meng, Mark Huasong
name: Bai, Guangdong
name: Teo, Sin Gee
name: Hou, Zhe
name: Xiao, Yan
name: Lin, Yun
name: Dong, Jin Song
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cryptography and Security (cs.CR)
subject: Machine Learning (cs.LG)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Neural networks have been widely applied in security applications such as spam and phishing detection, intrusion prevention, and malware detection. This black-box method, however, often has uncertainty and poor explainability in applications. Furthermore, neural networks themselves are often vulnerable to adversarial attacks. For those reasons, there is a high demand for trustworthy and rigorous methods to verify the robustness of neural network models. Adversarial robustness, which concerns the reliability of a neural network when dealing with maliciously manipulated inputs, is one of the hottest topics in security and machine learning. In this work, we survey existing literature in adversarial robustness verification for neural networks and collect 39 diversified research works across machine learning, security, and software engineering domains. We systematically analyze their approaches, including how robustness is formulated, what verification techniques are used, and the strengths and limitations of each technique. We provide a taxonomy from a formal verification perspective for a comprehensive understanding of this topic. We classify the existing techniques based on property specification, problem reduction, and reasoning strategies. We also demonstrate representative techniques that have been applied in existing studies with a sample model. Finally, we discuss open questions for future research.
Moschus moschiferus Linnaeus 1758
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Artiodactyla
Cervidae
Moschus
Moschus moschiferus

description: Moschus moschiferus Linnaeus, 1758. Syst. Nat., 10th ed.,1:66. TYPE LOCALITY: U.S.S.R., S.W. Siberia, Altai Mtns.("Tataria versus Chineum"). DISTRIBUTION: Forests of E. Siberia; N. Mongolia; N. China west to Kansu;Anwei (SW); Korea; Sakhalin Isl. COMMENT: Includes sibiricus; see Corbet, 1978:198. Type locality restricted by Heptner and Naumov, eds., 1961, [Mammals of the Soviet Union], p. 83. PROTECTED STATUS: CITES - Appendix II as Moschus spp. CITES - Appendix I as M. moschiferus (Himalayan population only) and U.S. ESA - Endangered as M. m. moschiferus subspecies only. ISIS NUMBER: 5301419006001001001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Artiodactyla, pp. 315-343 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 323, DOI: 10.5281/zenodo.7352976
Effect of spacetime dimensions on quantum entanglement between two uniformly accelerated atoms
Creators: name: Yan, Jiatong
name: Zhang, Baocheng
Publisher: name: arXiv
Year: 2022
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the entanglement dynamics for a quantum system composed of two uniformly accelerated Unruh-DeWitt detectors in different spacetime dimensions. It is found that the range of parameters in which entanglement can be generated is expanded but the amount of generated entanglement is decreased with the increasing spacetime dimension, by calculating the evolution of two-atom states using the method for open quantum systems. We study the entanglement evolution between two accelerated atoms for different initial two-atom states, and the influence of corresponding spacetime dimensions for every initial state is discussed. When the spacetime dimensions increase, the change of entanglement becomes slower with time. The influence of spacetime dimensions on the change of entanglement also expands to the case of the massive field. The time delay for entanglement generation is shown in different spacetime dimensions. In particular, entanglement decreases more quickly with the increasing spacetime dimensions compared with that in the case of the massless field. The recent found anti-Unruh effect is discussed, and a novel and interesting phenomenon is found that the Unruh effect in small spacetime dimensions can become the anti-Unruh effect in large spacetime dimensions with the same parameters.
Learning to detect RFI in radio astronomy without seeing it
Creators: name: Mesarcik, Michael
name: Boonstra, Albert-Jan
name: Ranguelova, Elena
name: van Nieuwpoort, Rob V.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Radio Frequency Interference (RFI) corrupts astronomical measurements, thus affecting the performance of radio telescopes. To address this problem, supervised segmentation models have been proposed as candidate solutions to RFI detection. However, the unavailability of large labelled datasets, due to the prohibitive cost of annotating, makes these solutions unusable. To solve these shortcomings, we focus on the inverse problem; training models on only uncontaminated emissions thereby learning to discriminate RFI from all known astronomical signals and system noise. We use Nearest-Latent-Neighbours (NLN) - an algorithm that utilises both the reconstructions and latent distances to the nearest-neighbours in the latent space of generative autoencoding models for novelty detection. The uncontaminated regions are selected using weak-labels in the form of RFI flags (generated by classical RFI flagging methods) available from most radio astronomical data archives at no additional cost. We evaluate performance on two independent datasets, one simulated from the HERA telescope and another consisting of real observations from LOFAR telescope. Additionally, we provide a small expert-labelled LOFAR dataset (i.e., strong labels) for evaluation of our and other methods. Performance is measured using AUROC, AUPRC and the maximum F1-score for a fixed threshold. For the simulated data we outperform the current state-of-the-art by approximately 1% in AUROC and 3% in AUPRC for the HERA dataset. Furthermore, our algorithm offers both a 4% increase in AUROC and AUPRC at a cost of a degradation in F1-score performance for the LOFAR dataset, without any manual labelling.
title: Incremental Confined Types Analysis
Creators: name: Eichberg, Michael
name: Kanthak, Sebastian
name: Kloppenburg, Sven
name: Mezini, Mira
name: Schuh, Tobias
Publisher: name: Elsevier
Year: 2006

description: Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable and secure software. Unfortunately, the use of these concepts is not widespread as most implementations are proofs of concept and fall short with respect to the integration with standard software development tools and processes. In this paper, we discuss an implementation of confined types based on Java 5 annotations. The contribution of this paper is twofold: First, we discuss the incrementalization of the confined types analysis and second, we present the integration of the analysis into Eclipse using the static analysis platform Magellan.
$U(1)_{B-L}$ extra-natural inflation with Standard Model on a brane
Creators: name: Furuuchi, Kazuyuki
name: Wu, Jackson M. S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The interrelation between inflationary cosmology and new physics beyond the Standard Model (SM) is studied in a $U(1)_{B-L}$ extension of the SM embedded in a (4+1)-dimensional spacetime. In the scenario we study, the inflaton arises from the Wilson loop of the $U(1)_{B-L}$ gauge group winding an extra-dimensional cycle. Particular attention is paid to the coupling between the inflaton and SM particles that are confined on a brane localised in the extra dimension. We find that the inflaton decay channels are rather restricted in this scenario and the resulting reheating temperature is relatively low.
description: 1+14 pages
7p Duplication Syndrome Phenotype: Genes to cognition, behavior to proteins
Creators: name: Martins, Jorge Emanuel
Publisher: name: Zenodo
Year: 2023

description: INTRODUCTION: The phenotype of pure 7p duplication syndrome is not yet fully characterized. Few studies only address laconically its cardiac and neurodevelopmental dimensions. However, the (a) cognitive-behavioral and (b) molecular dimensions of the syndrome are not classified.
AIMS AND FRAMEWORK: This case study evaluates monozygotic twin sisters (Ω and ß) with a 7p duplication syndrome phenotype, clinically, with a global developmental disorder, mild ventriculomegaly, and macrocephaly, na atrioventricular shunt, and distinct craniofacial morphological characteristics. The karyotype, via array-CGH, showed an unbalanced chromosome translocation: a terminal duplication (56.3 Mb) of the short arm of chromosome 7 (7p22.3p11.2 – partial trisomy of the 7).
CONCLUSION: The clinical correlation of both cognitive and molecular dimensions presented as a singular and distinct phenotype, which should be further explored and quantified. Capillary electrophoresis and multiplexed simultaneous immunodetection mixed analysis are an adequate solution. This methodology may prove appropriate in probing into neurodevelopmental disorders, such as 7p duplication syndrome.
APA: Martins, J. E., Myers, C., Sperdin, H.F., Schaer, M., Eliez, S (2019). 7p Duplication Syndrome Phenotype: Genes to cognition, behavior to proteins (ID7171). PSY-Kongress 2019, SSPPEA, Bern, September
The method of layer potentials in $L^p$ and endpoint spaces for elliptic operators with $L^\infty$ coefficients
Creators: name: Hofmann, Steve
name: Mitrea, Marius
name: Morris, Andrew J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35J25, 58J32, 31B10, 31B15, 31A10, 45B05, 47G10, 78A30

description: We consider layer potentials associated to elliptic operators $Lu=-{\rm div}(A \nabla u)$ acting in the upper half-space $\mathbb{R}^{n+1}_+$ for $n\geq 2$, or more generally, in a Lipschitz graph domain, where the coefficient matrix $A$ is $L^\infty$ and $t$-independent, and solutions of $Lu=0$ satisfy interior estimates of De Giorgi/Nash/Moser type. A "Calderón-Zygmund" theory is developed for the boundedness of layer potentials, whereby sharp $L^p$ and endpoint space bounds are deduced from $L^2$ bounds. Appropriate versions of the classical "jump-relation" formulae are also derived. The method of layer potentials is then used to establish well-posedness of boundary value problems for $L$ with data in $L^p$ and endpoint spaces.
description: 37 pages
Moschus sifanicus
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Artiodactyla
Cervidae
Moschus
Moschus sifanicus

description: Moschus sifanicus (Buchner, 1891). Melanges Biol. Soc. St. Petersb., 13: 162. TYPE LOCALITY: China, S. Kansu, Hsifan. DISTRIBUTION: Alpine zone of Tibetan plateau region from E. Afghanistan and N. Pakistan to W. China and N. Burma; also Honan (China) (SW). COMMENT: According to PG, correct name probably chrysogaster Hodgson, 1839; see comment under chrysogaster. PROTECTED STATUS: CITES - Appendix II as Moschus spp.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Artiodactyla, pp. 315-343 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 323, DOI: 10.5281/zenodo.7352976
Edge states, Majorana fermions and topological order in superconducting wires with generalized boundary conditions
Creators: name: Maiellaro, A.
name: Romeo, F.
name: Illuminati, F.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study the properties of one-dimensional topological superconductors under the influence of generic boundary conditions mimicking the coupling with external environments. We identify a general four-parameters classification of the boundary effects and show that particle-hole and reflection symmetries can be broken or preserved by appropriately fixing the boundary parameters. When the particle-hole symmetry is broken, the topological protection of the edge modes is lost due to the hybridization with the external degrees of freedom (quasiparticle poisoning). We assess the robustness of the edge modes in the various regimes by considering different quantifiers of topological properties. In particular, we investigate the resilience of the long-distance, edge-to-edge quantum mutual information and squashed entanglement, measuring the nonlocal correlations of the Majorana excitations. Besides their relevance for the open dynamics of topological systems, these results may provide a useful guide to the appropriate embedding of low-dimensional topological systems on nanodevices in realistic conditions.
description: 11 pages, 5 figures
Revisiting the Carrollian Scalar Field
Creators: name: Rivera-Betancour, David
name: Vilatte, Matthieu
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We investigate the (conformally coupled) scalar field on a general Carrollian spacetime in arbitrary dimension. The analysis discloses electric and magnetic dynamics. For both, we provide the energy and the momenta of the field, accompanied by their conservation equations. We discuss the conservation and non-conservation properties resulting from the existence of conformal isometries and the associated charges. We illustrate those results for a scalar field propagating on the null boundary of four-dimensional Ricci-flat Robinson--Trautman spacetimes.
description: V1:1+19 pages, LaTex ; V2: PRD version
Competing electronic states in high temperature phase of NaTiO$_2$
Creators: name: Dhariwal, Monika
name: Pisani, L.
name: Maitra, T.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: First principle density functional theory (DFT) calculations on the high temperature phase of layered triangular lattice system NaTiO$_2$ have revealed that there exists a collective electronic state energetically close to the ground state but with competing transport properties: the latter is metallic with partially occupied doubly degenerate e$_g^{\prime}$ orbitals whereas the former is insulating with a$_{1g}$ orbital fully occupied. Significant occupation of this excited state is possible at non zero temperature either thermally or thanks to very soft (large amplitude) oxygen vibrations. Possible explanations of the experimental low conductivity based on competing orbital transport and of the specific heat jump at a structural transition based on orbital entropy are discussed.
description: 12 pages, 8 figures
On Direct Sum Decompositions of Krull-Schmidt Artinian Modules
Creators: name: Orendain, Juan
Publisher: name: arXiv
Year: 2013
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics

description: We study direct sum decompositions of modules satisfying the descending chain condition on direct summands. We call modules satisfying this condition Krull-Schmidt artinian. We prove that all direct sum decompositions of Krull-Schmidt artinian modules refine into finite indecomposable direct sum decompositions and we prove that this condition is strictly stronger than the condition of a module admitting finite indecomposable direct sum decompositions. We also study the problem of existence and uniqueness of direct sum decompositions of Krull-Schmidt artinian modules in terms of given classes of modules. We present also brief studies of direct sum decompositions of modules with deviation on direct summands and of modules with finite Krull-Schmidt length.
description: 23 pages, to appear in Journal of Algebra and its Applications