cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
High-resolution diffraction reveals magnetoelastic coupling and coherent phase separation in tetragonal CuMnAs
Creators: name: Karigerasi, Manohar H.
name: Kang, Kisung
name: Huang, Jeffrey
name: Peterson, Vanessa K.
name: Rule, Kirrily C.
name: Studer, Andrew J.
name: Schleife, André
name: Huang, Pinshane Y.
name: Shoemaker, Daniel P.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Tetragonal CuMnAs was the first antiferromagnet where reorientation of the Néel vector was reported to occur by an inverse spin galvanic effect. A complicating factor in the formation of phase-pure tetragonal CuMnAs is the formation of an orthorhombic phase with nearly the same stoichiometry. Pure-phase tetragonal CuMnAs has been reported to require an excess of Cu to maintain a single phase in traditional solid state synthesis reactions. Here we show that subtle differences in diffraction patterns signal pervasive inhomogeneity and phase separation, even in Cu-rich Cu$_{1.18}$Mn$_{0.82}$As. From calorimetry and magnetometry measurements, we identify two transitions corresponding to the Néel temperature (T$_N$) and an antiferromagnet to weak ferromagnet transition in Cu$_{1.18}$Mn$_{0.82}$As and CuMn$_{0.964}$As$_{1.036}$. These transitions have clear crystallographic signatures, directly observable in the lattice parameters upon in-situ heating and cooling. The immiscibility and phase separation could arise from a spinoidal decomposition that occurs at high temperatures, and the presence of a ferromagnetic transition near room temperature warrants further investigation of its effect on the electrical switching behavior.
description: 11 pages, 9 figures, added author middle initial, additional text and figures in supplementary, and resizing the figures
title: Identification and functional characterization of new regulators of sensory neurogenesis in Xenopus laevis
Creators: name: Hutlet, Bertrand
Publisher: name: University of Galway
Year: 2025
Subjects: subject: sensory neurogenesis
subject: Xenopus laevis
subject: Biological and Chemical Sciences
subject: Chemistry

description: Whether to keep dividing or to differentiate is one of the key decisions cells have to make during animal development and adult life. However, very little is currently known about how this important balancing act is regulated. This study addresses this question focusing on cranial sensory cells and the sensory neurons that innervate them. In previous studies, a protein complex of the transcription factor Six1 and its cofactor Eya1 has been identified as a key regulator of these sensory cells and neurons and several studies suggested that this protein complex is required for both maintenance of neuronal/sensory progenitors and neuronal or sensory differentiation. This suggests that this protein complex plays an important role in regulating the balance between proliferating progenitors and differentiating cells. While the precise mechanism is obscure, interactions with different cofactors in a context-dependent manner probably play a decisive role. Based on a yeast two-hybrid protein interaction screen, the present study identified multiple putative protein interaction partners of Eya1. The developmental expression profiles of genes coding for five candidate Eya1 interactants (Garre1, Msh6, Pias4, Smarce1 and Zmym3) in Xenopus laevis are consistent with roles in the development of cranial sensory neurons, possibly in cooperation and/or interaction with Eya1. Even though no direct interaction between Eya1 and these candidates could be confirmed, gain and loss of function experiments performed in this study show that Pias4 and Smarce1 have important functions in sensory neurogenesis, with both proteins being required for the differentiation of sensory neurons and Pias4 potentially playing an additional role in neuronal progenitor formation.
title: Towards Investigating the Effects of Athletic Avatars and Room Size on Time Perception
Creators: name: Kocur, Martin
Publisher: name: GI
Year: 2023

description: Subjective perception of time is malleable and depends on spatial factors such as the size of the surrounding environment. Previous work shows that room size affects time perception based on the perceived travel distance. Time is perceived to pass quicker in large rooms than in small rooms, as the perceived or anticipated travel distance appears to be smaller than the same distance in a small room. Perceiving travel distances, however, is known to depend on the physical abilities of the own body. Virtual reality (VR) enables users to embody avatars associated with different physical abilities. Hence, it is unclear whether an avatar’s characteristics can also modulate time perception. Therefore, we are planning to conduct a study with 32 participants where we immerse users in virtual environments of different sizes (medium and large) while embodying avatars with varying athleticism (medium and athletic). We hypothesize that embodying an athletic avatar in a large room causes the perception of time passing faster (i.e., shortening of time). We assume that avatar embodiment mediates effects on time perception caused by environmental size.
title: Life span pigmentation changes of the substantia nigra detected by neuromelanin-sensitive MRI
Creators: name: Xing, Yue
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: CNS
subject: Neuroradiology brain
subject: MR
subject: Imaging sequences
subject: Normal variants
subject: Experimental investigations

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: Neuromelanin (NM) is a dark pigmented granule preferentially found in catecholaminergic neurons, such as the substantia nigra (SN) and locus coeruleus (LC). NM acts as a scavenger that removes excess of potentially toxic substances. Given this...
First detection and complete genome sequence of a new potexvirus naturally infecting Adenium obesum
Creators: name: Gauthier, MEA
name: Abeynayake, Shamila
name: Lelwala, RV
name: McMaster, CA
name: Eichner, R
name: Morrison, J
name: Elliott, CE
name: Fiorito, S
name: Dinsdale, A
name: Pattemore, J
name: Barrero, RA
Publisher: name: La Trobe
Year: 2023
Subjects: classificationCode: 31
subject: Biological sciences
subject: FOS: Biological sciences
classificationCode: 30
subject: Agricultural, veterinary and food sciences
classificationCode: 32
subject: Biomedical and clinical sciences
classificationCode: 310506
subject: Gene mapping
classificationCode: 310706
subject: Virology

description: Here, we report the detection and complete genome sequence of a novel potexvirus, tentatively named “Adenium obesum virus X” (AobVX), isolated from Adenium obesum, that was sent for virus screening at Australian Government post-entry quarantine (PEQ) facilities after being imported into Australia from China. The AobVX genome is 6781 nucleotides in length excluding the poly(A) tail and is predicted to encode conserved potexvirus proteins and sequence motifs across five open reading frames. The RNA-dependent RNA polymerase of this virus shares the highest amino acid sequence similarity with that of nerine potexvirus 1 (58.7% identity) and nerine virus X (58.58% identity). This is the first report of a positive-sense single-stranded RNA virus in A. obesum related to members of the genus Potexvirus in the family Alphaflexiviridae.
Global transcriptomic analysis of the arcuate nucleus following chronic glucocorticoid treatment
Creators: name: Wray, Jonathan R
name: Davies, Alison
name: Sefton, Charlotte
name: Allen, Tiffany-Jayne
name: Adamson, Antony
name: Chapman, Philip
name: Lam, Brian YH
name: Yeo, Giles SH
name: Coll, Anthony
name: Harno, Erika
name: White, Anne
Publisher: name: Apollo - University of Cambridge Repository
Year: 2019

description: Objective Glucocorticoids (GCs) are widely prescribed medications that are well recognized to cause adverse metabolic effects including hyperphagia, obesity, and hyperglycemia. These effects have been recapitulated in a murine model of GC excess, and we hypothesize that they are mediated, in part, through central mechanisms. This study aimed to identify genes in the hypothalamic arcuate nucleus (ARC) that are altered with GC treatment and evaluate their contribution to GC-induced metabolic abnormalities. Methods Corticosterone (Cort; 75μg/ml) was administered in the drinking water to male C57Bl/6J mice for 2 days or 4 weeks. Phenotypic analysis of each group was undertaken and central and peripheral tissues were collected for biochemical and mRNA analyses. Arcuate nuclei were isolated by laser capture microdissection and tissue analyzed by RNA-seq. Results RNA-seq analysis of ARC tissue from 4 week Cort treated mice revealed 21 upregulated and 22 downregulated genes at a time when mice had increased food intake, expansion of adipose tissue mass, and insulin resistance. In comparison, after 2 days Cort treatment, when the main phenotypic change was increased food intake, RNA-seq identified 30 upregulated and 16 downregulated genes. Within the genes altered at 2 days were a range of novel genes but also those known to be regulated by GCs, including Fkbp5, Mt2, Fam107a, as well as some involved in the control of energy balance, such as Agrp, Sepp1, Dio2, and Nmb. Of the candidate genes identified by RNA-seq, type-II iodothyronine deiodinase (Dio2) was chosen for further investigation as it was increased (2-fold) with Cort, and has been implicated in the control of energy balance via the modulation of hypothalamic thyroid hormone availability. Targeted knockdown of Dio2 in the MBH using AAV-mediated CRISPR-Cas9 produced a mild attenuation in GC-induced brown adipose tissue weight gain, as well as a 56% reduction in the GC-induced increase in Agrp. However, this conferred no protection from GC-induced hyperphagia, obesity, or hyperglycemia. Conclusion This study identified a comprehensive set of genes altered by GCs in the ARC and enabled the selection of key candidate genes. Targeted knockdown of hypothalamic Dio2 revealed that it did not mediate the chronic GC effects on hyperphagia and hyperglycemia.
title: Robots for Public and Social Spaces - Design for Intent Communication, Collaboration and Acceptance
Creators: name: Häkkilä, Jonna
name: Kassem, Khaled
name: Kirjavainen, Emma
name: Kraus, Johannes
name: Michahelles, Florian
name: Müller, Heiko
name: Pfleging, Bastian
name: Seyffer, Norman
name: Trost, Kai Erik
Publisher: name: GI
Year: 2023
Subjects: subject: human-robot interaction
subject: social robotics
subject: public spaces

description: Intent communication is crucial for human-robot interactions, allowing robots to understand and respond to human intentions and enabling humans to comprehend potentially autonomous robots’ intentions. Social robots have become increasingly popular in various fields, from healthcare to education, due to their ability to interact with humans naturally and intuitively. Enabling seamless communication between robots and humans is a key challenge in developing effective social robots. This workshop explores the intersection of intent communication and user experience in social robotics, with a focus on human-centered human-robot interaction.The workshop aims to bring together researchers, developers, and practitioners from academia and industry to discuss recent advances in intent communication and user experience design in social robotics. Participants can present their research, share experiences, and engage in interactive discussions with other attendees. The workshop provides a forum for collaboration and knowledge exchange to advance the state-of-the-art in social robotics and HRI. This is the second iteration of the RoboX workshop at MuC.
Distortions of images of Schwarzschild lensing
Creators: name: Virbhadra, K. S.
Publisher: name: arXiv
Year: 2022
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We model the supermassive dark object $M87^*$ as a Schwarzschild lens and study the variations in tangential, radial, and total (the product of tangential and radial) magnifications of images (primary, secondary, and relativistic) against the changes in angular source position and the ratio of lens-source to the observer-source distance. Further, we study the behavior of partial derivatives (with respect to the angular source position) of total magnifications of images against the angular source position. Finally, we model supermassive dark objects at centers of 40 galaxies as Schwarzschild lenses and study the variations in tangential, radial, and total magnifications of images against the change in the ratio of mass of the lens to its distance. These studies yield many nonintuitive results which are likely to be significant for next generation Event Horizon Telescope observations. We {\em hypothesize} that there exists a distortion parameter such that their signed sum of all images of singular gravitational lensing of a source identically vanishes. We test this with images of Schwarzschild lensing in weak and strong gravitational fields and find that this esthetically appealing hypothesis succeeds with flying colors.
description: To appear in Physical Review D
title: The Postoperative Abdomen: to leak or not to leak? Look for the extraluminal air-fluid level!
Creators: name: De Dios Lascuevas, Marta
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Acute
subject: Surgery
subject: Complications
subject: CT
subject: Gastrointestinal tract
subject: Emergency
subject: Abdomen

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To overturn the CT diagnosis of dehiscence by highlighting a frequently overlooked radiological sign: the extraluminal air-fluid level. To provide a useful tool to elucidate the eternal conflict: anastomotic leakor normal postsurgical changes? To...
Impact of Software Engineering Research in Practice: A Patent and Author Survey Analysis
Creators: name: Kotti, Zoe
name: Gousios, Georgios
name: Spinellis, Diomidis
Publisher: name: arXiv
Year: 2022
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Existing work on the practical impact of software engineering (SE) research examines industrial relevance rather than adoption of study results, hence the question of how results have been practically applied remains open. To answer this and investigate the outcomes of impactful research, we performed a quantitative and qualitative analysis of 4,354 SE patents citing 1,690 SE papers published in four leading SE venues between 1975-2017. Moreover, we conducted a survey on 475 authors of 593 top-cited and awarded publications, achieving 26% response rate. Overall, researchers have equipped practitioners with various tools, processes, and methods, and improved many existing products. SE practice values knowledge-seeking research and is impacted by diverse cross-disciplinary SE areas. Practitioner-oriented publication venues appear more impactful than researcher-oriented ones, while industry-related tracks in conferences could enhance their impact. Some research works did not reach a wide footprint due to limited funding resources or unfavorable cost-benefit trade-off of the proposed solutions. The need for higher SE research funding could be corroborated through a dedicated empirical study. In general, the assessment of impact is subject to its definition. Therefore, academia and industry could jointly agree on a formal description to set a common ground for subsequent research on the topic.
description: 19 pages, 2 figures, 6 tables, journal article
Global Core Biodata Resources: Webinar for Applicants - February 2023
Creators: name: Drysdale, Rachel
name: Carr, David
name: Cook, Charles E
Publisher: name: Zenodo
Year: 2023
Subjects: data resource sustainability
bioscience infrastructure
core biodata resources
open data

description: This presentation introduces the Global Biodata Coalition and the Global Core Biodata Resources (GCBRs). It covers the indicators used for GCBR selection, the reasoning for choosing these indicators, and the review process that defines the Global Core Biodata Resources. The presentation was given as a series of webinars for applicants, delivered on the 22nd and 23rd of February, 2023.
title: Take the juice from every PICC line.
Creators: name: Rivera Mata, Julio Cesar
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Vascular
subject: Management
subject: Veins / Vena cava
subject: Ultrasound
subject: Venous access
subject: Cost-effectiveness
subject: Complications
subject: Economics
subject: Education and training
subject: Quality assurance

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: Know the most common indications, insertion, use and care of PICC. Prevent and treat complications. Compare cost-benefit, pros and cons against other vascular...
A Meshfree Point Collocation Method for Elliptic Interface Problems
Creators: name: Kraus, Heinrich
name: Kuhnert, Jörg
name: Meister, Andreas
name: Suchde, Pratik
Publisher: name: arXiv
Year: 2022
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: We present a meshfree generalized finite difference method for solving Poisson's equation with a diffusion coefficient that contains jump discontinuities up to several orders of magnitude. To discretize the diffusion operator, we formulate a strong form method that uses a smearing of the discontinuity; and a conservative formulation based on locally computed Voronoi cells. Additionally, we propose a novel conservative formulation for enforcing Neumann boundary conditions that is compatible with the conservative formulation of the diffusion operator. Finally, we introduce a way to switch from the strong form to the conservative formulation to obtain a locally conservative and positivity preserving scheme. The presented numerical methods are benchmarked against four test cases of varying complexity and jump magnitude on point clouds with nodes that are not aligned to the discontinuity. Our results show that the new hybrid method that switches between the two formulations produces better results than the classical generalized finite difference approach for high jumps in diffusivity.
Applied superconductivity to accelerator magnets
Creators: name: Saggese, Aniello
Publisher: name: Universita degli studi di Salerno
Year: 2020
Subjects: subject: FIS/01 FISICA SPERIMENTALE
subject: Superconductivity
subject: Quench propagation
subject: Sis100 accelerator

description: 2018 - 2019
description: The transport properties of superconducting tapes and wires for the electrotechnical applications have been investigated. The characterization measurements were carried out in our laboratory with particular attention to the investigation of the instabilities and the Normal Zone Propagation Velocity, NZPV, on novel High-Temperature Superconductors, HTS, tapes based on the rare earth compounds. The experimental measurements of superconducting features were done on some commercial tapes by using the laboratory tools adapted for this kind of experiment. Computer simulation on these tapes showed that the distance from the quench ignition region affects the NZPV values. A simple model proved that the tape length for making NZPV measurement is limited and depending on the current bias. A typical use of HTS is the realization of high current leads. A study of the possibility of using two cooling systems is used for the realization of current leads optimized for the usage with 10 kA optimized also while working also at 20 kA. The verification tests of dipoles and Quadrupole Modules, QDM, of SIS100 as performed at the Serial Test Facility of GSI in Darmstadt are reported. Vacuum tight, leakage, and electrical tests on the vessels containing the superconducting magnets and their accessory devices are done. Further to this activity, the build-up of the instrumental facilities into the Salerno laboratory is described. A detailed description of the automated electrical test boxes and their realization is explained in some details. The aspects related to the creation of a computer-controlled instrument network, with automatic test procedures, and the perspective of a full-automatized system closes this thesis. [edited by Author]
title: Scannographic aspects of intra-thoracic post treatment manifestations of breast
Creators: name: Fraj, Bouhajja
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Breast
subject: Oncology
subject: Thorax
subject: CT
subject: Radiation therapy / Oncology
subject: Chemotherapy
subject: Cancer

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To describe the different treatment modalities of breast cancer (BC). To describe the thoracic wall changes after surgical treatment of BC. To identify the thoracic complications of different therapeutic...
D5.4 VALKYRIES harmonisations on first aid response common practices and procedures
Creators: name: Montarelo Navajo, Alberto
name: Martín Curto, Mª Carmen
name: Sierra Berrocal, Carlos
name: Bravo Montarelo, David
Publisher: name: Zenodo
Year: 2023

description: Deliverable D5.4 builds on the results of the WP5 tasks set out in the previous deliverables D5.5 (description of procedural opportunities to improve EU first response capabilities), D5.6 (presentation of standardisation opportunities in this respect) and D5.3 (proposal of EU-wide roadmaps for standardisation of first response in the EU).
 This D5.4 presents a total of 7 enablers selected within the WP5 scope of work to address the integration requirements of reference and will report on the implementation of VALKYRIES harmonisation tactics on them.
 The annexes section of the deliverable contains the internal and external references, the glossary or table of acronyms used throughout the text and the internal VALKYRIES document - ID5.7 (as an option for further information, as it contains cross-cutting elements of various tasks of the Project).
Strange stars in $f(\mathcal{R})$ gravity Palatini formalism and gravitational wave echoes from them
Creators: name: Bora, Jyatsnasree
name: Gogoi, Dhruba Jyoti
name: Goswami, Umananda Dev
Publisher: name: arXiv
Year: 2022
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The compact stars are promising candidates associated with the generation of gravitational waves (GWs). In this work, we study a special type of compact stars known as strange stars in the $f(\mathcal{R})$ gravity Palatini formalism. Here we consider three promising $f(\mathcal{R})$ gravity models viz., Starobinsky, Hu-Sawicki and Gogoi-Goswami models in the domain of MIT Bag model and linear equations of state (EoSs). We compute the stellar structures numerically and constrained the $f(\mathcal{R})$ model parameters with a set of probable strange star candidates. The study shows that the consideration of stiffer MIT Bag model and linear EoSs within a favourable set of $f(\mathcal{R})$ gravity model parameters may result in strange stars with sufficient compactness to produce echoes of GWs. Thus, we have computed the GWs echo frequencies and characteristic echo times for such stars. It is found that in compliance with the experimentally obtained possible strange star candidates, the obtained GW echo frequencies for all the models are in the range of $65 - 85$ kHz.
description: 22 pages, 9 figures
Improving power grid transient stability by plug-in electric vehicles
Creators: name: Gajduk, Andrej
name: Todorovski, Mirko
name: Kurths, Juergen
name: Kocarev, Ljupco
Publisher: name: arXiv
Year: 2014
Subjects: subject: Systems and Control (eess.SY)
subject: Optimization and Control (math.OC)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: Plug-in electric vehicles (PEVs) can serve in discharge mode as distributed energy and power resources operating as vehicle-to-grid (V2G) devices and in charge mode as loads or grid-to-vehicle (G2V) devices. It has been documented that PEVs serving as V2G systems can offer possible backup for renewable power sources, can provide reactive power support, active power regulation, load balancing, peak load shaving,% and current harmonic filtering, can provide ancillary services as frequency control and spinning reserves, can improve grid efficiency, stability, reliability, and generation dispatch, can reduce utility operating costs and can generate revenue. Here we show that PEVs can even improve power grid transient stability, that is, stability when the power grid is subjected to large disturbances, including bus faults, generator and branch tripping, and sudden large load changes. A control strategy that regulates the power output of a fleet of PEVs based on the speed of generator turbines is proposed and tested on the New England 10-unit 39-bus power system. By regulating the power output of the PEVs we show that (1) speed and voltage fluctuations resulting from large disturbances can be significantly reduced up to 5 times, and (2) the critical clearing time can be extended by 20-40%. Overall, the PEVs control strategy makes the power grid more robust.
description: 15 pages, 4 figures, submitted to New Journal of Physics
title: Value of functional MRI for treatment evaluation in patients with head and neck squamous cell carcinoma.
Creators: name: Nooij, Roland
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Head and neck
subject: MR-Functional imaging
subject: MR-Diffusion/Perfusion
subject: MR-Spectroscopy
subject: Imaging sequences
subject: Cancer
subject: Metastases
subject: Inflammation

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To understand the role of functional MRI in patients treated for head and neck squamous cell carcinoma in differentiating post-treatment effects from residual/recurrent...
Modeling and computation of an integral operator Riccati equation for an infinite-dimensional stochastic differential equation governing streamflow discharge
Creators: name: Yoshioka, Hidekazu
name: Tsujimura, Motoh
name: Tanaka, Tomohiro
name: Yoshioka, Yumi
name: Hashiguchi, Ayumi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optimization and Control (math.OC)
subject: Systems and Control (eess.SY)
subject: FOS: Mathematics
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We propose a linear-quadratic (LQ) control problem of streamflow discharge by optimizing an infinite-dimensional jump-driven stochastic differential equation (SDE). Our SDE is a superposition of Ornstein-Uhlenbeck processes (supOU process), generating a sub-exponential autocorrelation function observed in actual data. The integral operator Riccati equation is heuristically derived to determine the optimal control of the infinite-dimensional system. In addition, its finite-dimensional version is derived with a discretized distribution of the reversion speed and computed by a finite difference scheme. The optimality of the Riccati equation is analyzed by a verification argument. The supOU process is parameterized based on the actual data of a perennial river. The convergence of the numerical scheme is analyzed through computational experiments. Finally, we demonstrate the application of the proposed model to realistic problems along with the Kolmogorov backward equation for the performance evaluation of controls.
title: Job satisfaction of radiographers: a comparative study
Creators: name: Abrantes, Antonio
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Digital radiography
subject: Management
subject: Professional issues
subject: Radiographers
subject: CT
subject: MR
subject: Diagnostic procedure
subject: Health policy and practice
subject: Physiological studies
subject: Quality assurance
subject: Patterns of Care

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: The job satisfaction can be described as "the pleasurable emotional state resulting from the appraisal of one's job as achieving or facilitating the achievement of one's job values", being important to consider motivation and dissatisfaction factors...
Towards Porting Operating Systems with Program Synthesis
Creators: name: Hu, Jingmei
name: Lu, Eric
name: Holland, David A.
name: Kawaguchi, Ming
name: Chong, Stephen
name: Seltzer, Margo I.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Programming Languages (cs.PL)
subject: Operating Systems (cs.OS)
subject: FOS: Computer and information sciences

description: The end of Moore's Law has ushered in a diversity of hardware not seen in decades. Operating system (and system software) portability is accordingly becoming increasingly critical. Simultaneously, there has been tremendous progress in program synthesis. We set out to explore the feasibility of using modern program synthesis to generate the machine-dependent parts of an operating system. Our ultimate goal is to generate new ports automatically from descriptions of new machines. One of the issues involved is writing specifications, both for machine-dependent operating system functionality and for instruction set architectures. We designed two domain-specific languages: Alewife for machine-independent specifications of machine-dependent operating system functionality and Cassiopea for describing instruction set architecture semantics. Automated porting also requires an implementation. We developed a toolchain that, given an Alewife specification and a Cassiopea machine description, specializes the machine-independent specification to the target instruction set architecture and synthesizes an implementation in assembly language with a customized symbolic execution engine. Using this approach, we demonstrate successful synthesis of a total of 140 OS components from two pre-existing OSes for four real hardware platforms. We also developed several optimization methods for OS-related assembly synthesis to improve scalability. The effectiveness of our languages and ability to synthesize code for all 140 specifications is evidence of the feasibility of program synthesis for machine-dependent OS code. However, many research challenges remain; we also discuss the benefits and limitations of our synthesis-based approach to automated OS porting.
description: ACM Transactions on Programming Languages and Systems. Accepted on August 2022
Lo scavo della cattedrale di Benevento. Un contributo alla comprensione dei processi insediativi tra la deduzione della colonia latina (268 a.C.) e l’età tardo antica
Creators: name: Siano, Stefania
Publisher: name: Universita degli studi di Salerno
Year: 2013
Subjects: subject: L-ANT/07 ARCHEOLOGIA CLASSICA
subject: Beneventum
subject: Processi insediativi

description: 2011 - 2012
description: The large number of archaeological excavations carried out in the past decades have increased the data concerning Benevenum, making it necessary to study the different archaeological evidence methodically. The purpose of this study is to give new contributions to the knowledge of the settlement evolution, which developed in Beneventum in the roman age, thanks to information given by the copious stratigraphy found in the Cathedral area. The study of the ceramic finds provides us with a punctual chronology of the occupation in this area of the historical centre ofthe town, showing the centrality that this place had in roman and medieval times. The Republican phase has given a huge amount of pottery, discovered into wells and ditches, dating between the IlIrd and the 1st BC, and decisive to outline the function of different archaeological evidences. The same area has been concerned in great transformations during the imperial period: new buildings was constructed at the end of the 1st century BC, I~sting alm'ost to the end of the imperial age. Analysis of finds has reveald essential also to the comprehension of transformations happened in late roman age, when the Early Christian church was built, and in the surrounding area, where previously were the tabernae, a small number of children graves was placed. Therefore this study may offer new elements to get ready the topography of Beneventum and to discuss the settlement evolution of the latin colony, comparing the new knowledge to what we already knew about latin colonies. [edited by Author]
title: What to analyse and report in computed tomography imaging of peritoneal carcinomatosis
Creators: name: MARZOUKI, NOUR ELHOUDA
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Abdomen
subject: Oncology
subject: CT
subject: CT-High Resolution
subject: Contrast agent-intravenous
subject: Structured reporting
subject: Diagnostic procedure
subject: Neoplasia
subject: Metastases
subject: Cancer
subject: Peritoneum

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: The purposes of this educational exhibit are: To make a pictorial review of computed tomography (CT) imaging and to remind the key signs in diffuse peritoneal involvement. To specify sites that radiologists need to check for creating a precise...
Assamese-English Bilingual Machine Translation
Creators: name: Baruah, Kalyanee Kanchan
name: Das, Pranjal
name: Hannan, Abdul
name: Sarma, Shikhar Kr.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Machine translation is the process of translating text from one language to another. In this paper, Statistical Machine Translation is done on Assamese and English language by taking their respective parallel corpus. A statistical phrase based translation toolkit Moses is used here. To develop the language model and to align the words we used two another tools IRSTLM, GIZA respectively. BLEU score is used to check our translation system performance, how good it is. A difference in BLEU scores is obtained while translating sentences from Assamese to English and vice-versa. Since Indian languages are morphologically very rich hence translation is relatively harder from English to Assamese resulting in a low BLEU score. A statistical transliteration system is also introduced with our translation system to deal basically with proper nouns, OOV (out of vocabulary) words which are not present in our corpus.
description: In the proceedings of International Conference of Natural Language Processing and Cognitive Computing (ICONACC)-2014, pp. 227-231
Repeating fast radio burst 20201124A originates from a magnetar/Be star binary
Creators: name: Wang, F. Y.
name: Zhang, G. Q.
name: Dai, Z. G.
name: Cheng, K. S.
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Fast radio bursts (FRBs) are cosmic sources emitting millisecond-duration radio bursts. Although several hundreds FRBs have been discovered, their physical nature and central engine remain unclear. The variations of Faraday rotation measure and dispersion measure, due to local environment, are crucial clues to understanding their physical nature. The recent observations on the rotation measure of FRB 20201124A show a significant variation on a day time scale. Intriguingly, the oscillation of rotation measure supports that the local contribution can change sign, which indicates the magnetic field reversal along the line of sight. Here we present a physical model that explains observed characteristics of FRB 20201124A and proposes that repeating signal comes from a binary system containing a magnetar and a Be star with a decretion disk. When the magnetar approaches the periastron, the propagation of radio waves through the disk of the Be star naturally leads to the observed varying rotation measure, depolarization, large scattering timescale, and Faraday conversion. This study will prompt to search for FRB signals from Be/X-ray binaries.
description: 42 pages, 5 figures. Published in Nature Communications https://www.nature.com/articles/s41467-022-31923-y. Title changed, and new RM data of FRB 20190520B is fitted
title: Endorsing Values through Participation: Facilitating Workshops for Participatory Value Elicitation in Two Different Contexts to Inform Sociotechnical Designs
Creators: name: Sörries, Peter
name: Leimstädtner, David
name: Sperl, Markus
name: Müller-Birn, Claudia
Publisher: name: GI
Year: 2023

description: Legal measures such as the GDPR aim to regulate the collection and use of personal data for scientific or commercial purposes. However, these measures might not be enough to protect individual privacy. Moreover, it is rarely possible for individuals to participate in and contribute to regulatory strategies. Informed by this situation, we were challenged on how responsible data collection can be achieved considering individuals’ values and needs. Based on our ongoing research in healthcare and urban mobility, we developed a two-step method: first, a workshop concept for participatory values elicitation, and second, an analysis procedure to examine the empirical data collected systematically. Our findings from the workshops show how values can inform sociotechnical designs.
Modeling the Noticeability of User-Avatar Movement Inconsistency for Sense of Body Ownership Intervention
Creators: name: Li, Zhipeng
name: Jiang, Yu
name: Zhu, Yihao
name: Chen, Ruijia
name: Wang, Ruolin
name: Wang, Yuntao
name: Yan, Yukang
name: Shi, Yuanchun
Publisher: name: arXiv
Year: 2022
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: An avatar mirroring the user's movement is commonly adopted in Virtual Reality(VR). Maintaining the user-avatar movement consistency provides the user a sense of body ownership and thus an immersive experience. However, breaking this consistency can enable new interaction functionalities, such as pseudo haptic feedback or input augmentation, at the expense of immersion. We propose to quantify the probability of users noticing the movement inconsistency while the inconsistency amplitude is being enlarged, which aims to guide the intervention of the users' sense of body ownership in VR. We applied angular offsets to the avatar's shoulder and elbow joints and recorded whether the user identified the inconsistency through a series of three user studies and built a statistical model based on the results. Results show that the noticeability of movement inconsistency increases roughly quadratically with the enlargement of offsets and the offsets at two joints negatively affect the probability distributions of each other. Leveraging the model, we implemented a technique that amplifies the user's arm movements with unnoticeable offsets and then evaluated implementations with different parameters(offset strength, offset distribution). Results show that the technique with medium-level and balanced-distributed offsets achieves the best overall performance. Finally, we demonstrated our model's extendability in interventions in the sense of body ownership with three VR applications including stroke rehabilitation, action game and widget arrangement.
description: Published in IMWUT'22. 23 pages without references, 15 figures, and 2 tables
Equation and test of possible delay time of Newton force
Creators: name: Diósi, Lajos
Publisher: name: arXiv
Year: 2014
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Recently, a simple heuristic modification of the Newton potential with a non-zero delay-time $τ_G$ has been proposed. Our modification is largely suppressed for purely gravitational interactions, it becomes relevant under non-gravitational accelerations of the sources. We illustrate how the choice $τ_G\sim1$ms may already influence the 5th digit of G determined by Cavendish experiments. Re-evaluation of old Cavendish experiments and implementing slightly modified new ones may confirm the proposal or, at least, put a stronger upper limit on $τ_G$.
description: 4 pp, 2 figs, based on talk at Int. Symp. Wigner 111 - Colourful & Deep (Budapest, 11-13 Nov, 2013)
Large-scale geometry obstructs localization
Creators: name: Ludewig, Matthias
name: Thiang, Guo Chuan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Mathematical Physics (math-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: K-Theory and Homology (math.KT)
subject: Operator Algebras (math.OA)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We explain the coarse geometric origin of the fact that certain spectral subspaces of topological insulator Hamiltonians are delocalized, in the sense that they cannot admit an orthonormal basis of localized wavefunctions, with respect to any uniformly discrete set of localization centers. This is a robust result requiring neither spatial homogeneity nor symmetries, and applies to Landau levels of disordered quantum Hall systems on general Riemannian manifolds.
description: 12 pages, Minor improvements made
Quantum information spreading in random spin chains with topological order
Creators: name: Orito, Takahiro
name: Kuno, Yoshihito
name: Ichinose, Ikuo
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Quantum information spreading and scrambling in many-body systems attract interests these days. Tripartite mutual information (TMI) based on operator-based entanglement entropy (EE) is an efficient tool for measuring them. In this paper, we study random spin chains that exhibit phase transitions accompanying nontrivial change in topological properties. In their phase diagrams, there are two types of many-body localized (MBL) states and one thermalized regime intervening these two MBL states. Quench dynamics of the EE and TMI display interesting behaviors providing essential perspective concerning encoding of quantum information. In particular, one of the models is self-dual, but information spreading measured by the TMI does not respect this self-duality. We investigate this phenomenon from the viewpoint of spatial structure of the stabilizers. In general, we find that knowledge of phase diagram corresponding to qubit system is useful for understanding nature of quantum information spreading in that system. Connection between the present work and random circuit of projective measurements and also topological Majorana quantum memory is remarked.
description: 14 pages, 12 figures, Phys. Rev. B in press
title: Complications of abdominal aortic aneurysm: beyond the rupture.
Creators: name: Leal, Grettel
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Pathology
subject: Aneurysms
subject: Education
subject: Diagnostic procedure
subject: Ultrasound-Colour Doppler
subject: CT-Angiography
subject: Vascular
subject: Cardiovascular system
subject: Arteries / Aorta

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: Review the imaging findings that suggest rupture of abdominal Aorta aneurysm (AAA) by diagnostic methods such as AngioTC and US Doppler. To recognize the signs of AAA complications from the most frequent to the least...
On the high frequency spectrum of a classical accretion disc
Creators: name: Balbus, Steven A.
Publisher: name: arXiv
Year: 2014
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We derive simple and explicit expressions for the high frequency spectrum of a classical accretion disc. Both stress-free and finite stress inner boundaries are considered. A classical accretion disc spectrum with a stress-free inner boundary departs from a Wien spectrum at large $ν$, scaling as $ν^{2.5}$ (as opposed to $ν^3$) times the usual exponential cut-off. If there is finite stress at the inner disc boundary, the maximum disc temperature generally occurs at this edge, even at relatively modest values of the stress. In this case, the high frequency spectrum is proportional to $ν^2$ times the exponential cut-off. If the temperature maximum is a local hot spot, instead of an axisymmetric ring, then an interior maximum produces a $ν^2$ prefactor while an edge maximum yields $ν^{1.5}$. Because of beaming effects, these latter findings should pertain to a classical relativistic disc. The asymptotics are in general robust and independent of the detailed temperature profile, provided only that the liberated free energy of differential rotation is dissipated locally, and may prove useful beyond the strict domain of classical disc theory. As observations continue to improve with time, our findings suggest the possibility of using the high energy spectral component of black hole candidates as a signature prediction of classical theory, as well as an diagnostic of the stress at the inner regions of an accretion disc.
description: 10 pages, 2 figures. To appear in MNRAS Letters
title: Bitplush: Unleashing the Paws-ibilities of Smart Materials in Smart Plush Toys
Creators: name: Kurze, Albrecht
name: Chuang, Lewis
name: Berger, Arne
name: Stephan, Klaus
name: Sontopski, Natalie
name: Hildebrandt, Stephan
name: Jost, Elisabeth
name: Eibl, Maximilian
Publisher: name: GI
Year: 2023

description: ‘bitplush’ is a project that will explore how individuals can be emotionally connected through smart connected plush toys. The goal is to explore and formalize the design space of implicit and multimodal interactions that can be supported with and through them, in a way that is tangible, graspable, and meaningful. To achieve this, highquality, handcrafted plush toys will be equipped with hardware and software for innovative data processing and communication. Off-the-shelf as well as novel textile-integrated and textile-based sensors and actuators will be used to develop novel communication channels that will enable a sense of “closeness over distance” without diminishing other forms of communication. Interdisciplinary tools, methods, materials and theories of social relationships serve as a framework for our design space. We conclude with a brief discussion on the planned iterative stages of this project and seek opportunities for like-minded collaborations.
title: Experience in radiofrequency ablation of hepatic focal lesions in a fourth-level institution.
Creators: name: Morales Cárdenas, Adriana Sofía
Publisher: name: European Congress of Radiology
Year: 2018
Subjects: subject: Liver
subject: Management
subject: Interventional non-vascular
subject: MR
subject: Ablation procedures
subject: Cirrhosis
subject: Neoplasia

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: To describe the experience in radiofrequency ablation (RFA) of hepatic focal lesions and the epidemiological profile of patients undergoing this procedure, technique, complications, and results in a fourth level...