cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
IMPATTO DI COBICISTAT SU DURATA ETOLLERABILITA� DI REGIMI ANTIRETROVIRALICONTENENTI TENOFOVIR DIPROXIL FUMARATO
Creators: name: RESNATI, CHIARA
Publisher: name: Universit� degli Studi di Milano
Year: 2018

description: INTRODUZIONE Il dosaggio di tenofovir alafenamide � stato ridotto da 25 a 10 mg al giorno quando somministrato con farmaci con funzioni di potenziatore. Tuttavia, tale riduzione del dosaggio non � mai stata adottata per tenofovir diproxil fumarato. Questo studio vuole valutare l'effetto di cobicistat sia sulle concentrazioni di tenofovir sia sulla durata del trattamento di un regime contenente tenofovir diproxil fumarato nella pratica clinica quotidiana. METODI Sono stati arruolati nello studio pazienti con infezione da HIV in terapia antiretrovirale contenente tenofovir diproxil fumarato con almeno una valutazione delle concentrazioni plasmatiche di tenofovir. Sono state condotte analisi di regressione uni- e multivariata considerando le concentrazioni di tenofovir come variabile dipendente e le caratteristiche cliniche come covariabili indipendenti. Le analisi di sopravvivenza e di Cox sono state effettuate considerando come evento primario l?interruzione di tenofovir diproxil fumarato per qualsiasi ragione. RISULTATI 212 pazienti assumevano tenofovir diproxil fumarato con un inibitore della proteasi con ritonavir, 176 con un inibitore non nucleosidico, 46 con dolutegravir o raltegravir e 76 con elvitegravir/cobicistat. In analisi multivariata, sono risultati significativamente associati alle concentrazioni plasmatiche di tenofovir i farmaci antiretrovirali utilizzati in associazione, con le pi� alte concentrazioni misurate nei pazienti trattati con elvitegravir/cobicistat. Nell'analisi di sopravvivenza i pazienti trattati con tenofovir diproxil fumarato in associazione a elvitegravir/cobicistat presentavano la minor durata di trattamento con un rischio superiore di 2,3 volte di sospensione della terapia. CONCLUSIONI La cosomministrazione con cobicistat ha determinato concentrazioni di tenofovir significativamente pi� elevate e una maggiore interruzione del trattamento rispetto ad altri regimi. Di conseguenza, non pu� essere esclusa la possibilit� che il mancato aggiustamento del dosaggio di tenofovir diproxil fumarato quando associato a cobicistat possa aver pregiudicato il confronto di sicurezza rispetto a tenofovir alafenamide negli studi registrativi
Microscopic calculations of isospin-breaking corrections to superallowed beta-decay
Creators: name: Satula, W.
name: Dobaczewski, J.
name: Nazarewicz, W.
name: Rafalski, M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The superallowed beta-decay rates that provide stringent constraints on physics beyond the Standard Model of particle physics are affected by nuclear structure effects through isospin-breaking corrections. The self-consistent isospin- and angular-momentum-projected nuclear density functional theory is used for the first time to compute those corrections for a number of Fermi transitions in nuclei from A=10 to A=74. The resulting leading element of the CKM matrix, |V_{ud}|= 0.97447(23), agrees well with the recent result by Towner and Hardy [Phys. Rev. C {\bf 77}, 025501 (2008)].
description: 4 pages, 2 figures; replaced with accepted version
MOESM1 of High-throughput sequencing analysis of intestinal flora changes in ESRD and CKD patients
Creators: name: Hu, Jianguang
name: Zhong, Xiaoshi
name: Yan, Jing
name: Zhou, Daoyuan
name: Qin, Danping
name: Xiao, Xiao
name: Zheng, Yuanyuan
name: Liu, Yan
Publisher: name: figshare
Year: 2020
Subjects: subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: Biological Sciences not elsewhere classified

description: Additional file 1 Table S1. KEGG level 3 pathways of abundance changed intestinal flora.
MOBILE EDGE COMPUTING NETWORK OPTIMIZATION
Creators: name: PREMOLI, MARCO LUIGI
Publisher: name: Universit� degli Studi di Milano
Year: 2018

description: Smart mobile devices are becoming more and more important in every aspects of human life, and mobile application are becoming more and more resources demanding with a widening gap between the required resources and those available on mobile devices. To bridge this gap, Mobile Edge Computing paradigm has been introduced to bring IT applications, computational and storage resources to the periphery, or edges, of the cellular mobile network. Several complementary technologies have been presented to implement Mobile Edge Computing, all of them considering the deployment of virtualization facilities within mobile access and backhaul network. In this thesis we face several optimization problems related to the planning of a Mobile Edge Computing Network. In the first part of the thesis we present the Mobile Edge Computing Network Design Problem (MNDP), that considers the design of a full mobile access and backhaul network together with the location of the virtualization facilities. Two variants of the problem are considered: either assuming a static condition of the network or dynamic variations of traffic demands and the human mobility that causes these variations. Matheuristics are proposed to solve MNDP and best practices are drawn on real world data. In the second part of the thesis, we face a tactical side of the optimal Mobile Edge Computing network planning, that is the routing in time of access point traffic to specific Mobile Edge Computing facilities on a fixed network structure. We present exact Branch-and-Price algorithm to solve the problem, experimenting on real-world dataset. Finally, driven by the fact that the knowledge of mobile user mobility represents a key data for the MNDP, in the third part of the thesis we face the problem of estimating human mobility given very aggregated data, that is the network traffic demand variations in time. We propose mathematical programming formulation and column generation algorithm to solve this problem, experimenting on both real-world and synthetic datasets.
A First Glimpse into the far-IR properties of high-z UV-selected Galaxies: Herschel/PACS observations of z~3 LBGs
Creators: name: Magdis, G. E.
name: Elbaz, D.
name: Hwang, H. S.
name: Daddi, E.
name: Rigopoulou, D.
name: Altieri, B.
name: Andreani, P.
name: Aussel, H.
name: Berta, S.
name: Cava, A.
name: Bongiovanni, A.
name: Cepa, J.
name: Cimatti, A.
name: Dickinson, M.
name: Dominguez, H.
name: Schreiber, N. Förster
name: Genzel, R.
name: Huang, J. -S.
name: Lutz, D.
name: Maiolino, R.
name: Magnelli, B.
name: Morrison, G. E.
name: Nordon, R.
name: García, A. M. Pérez
name: Poglitsch, A.
name: Popesso, P.
name: Pozzi, F.
name: Riguccini, L.
name: Rodighiero, G.
name: Saintonge, A.
name: Santini, P.
name: Sanchez-Portal, M.
name: Shao, L.
name: Sturm, E.
name: Tacconi, L.
name: Valtchanov, I.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present first insights into the far-IR properties for a sample of IRAC and MIPS-24um detected Lyman Break Galaxies (LBGs) at z ~ 3, as derived from observations in the northern field of the Great Observatories Origins Survey (GOODS-N) carried out with the PACS instrument on board the Herschel Space Observatory. Although none of our galaxies are detected by Herschel, we employ a stacking technique to construct, for the first time, the average spectral energy distribution of infrared luminous LBGs from UV to radio wavelengths. We derive a median IR luminosity of L_{IR} = 1.6 x 10^12 Lo, placing the population in the class of ultra luminous infrared galaxies (ULIRGs). Complementing our study with existing multi-wavelength data, we put constraints on the dust temperature of the population and find that for their L_{IR}, MIPS-LBGs are warmer than submm-luminous galaxies while they fall in the locus of the L_{IR}-T_{d} relation of the local ULIRGs. This, along with estimates based on the average SED, explains the marginal detection of LBGs in current sub-mm surveys and suggests that these latter studies introduce a bias towards the detection of colder ULIRGs in the high-z universe, while missing high-z ULIRGS with warmer dust.
description: Accepted for publication at ApJL
Additional file 3 of Preemptive intravenous iron therapy versus autologous whole blood therapy for early postoperative hemoglobin level in patients undergoing bimaxillary orthognathic surgery: a prospective randomized noninferiority trial
Creators: name: Chae, Min Suk
name: Mihyun Lee
name: Choi, Min Ho
name: Park, Je Uk
name: Misun Park
name: Kim, Young Hoon
name: Choi, Hoon
name: Joo, Jin
name: Moon, Young Eun
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Science Policy
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Comparison of perioperative inflammatory and coagulation findings between the two groups.
Model Checking Quantitative Hyperproperties
Creators: name: Finkbeiner, Bernd
name: C01chha
name: Torfah, Hazem
Publisher: name: CISPA
Year: 2023

description: Hyperproperties are properties of sets of computation traces. In this paper, we study quantitative hyperproperties, which we define as hyperproperties that express a bound on the number of traces that may appear in a certain relation. For example, quantitative non-interference limits the amount of information about certain secret inputs that is leaked through the observable outputs of a system. Quantitative non-interference thus bounds the number of traces that have the same observable input but different observable output. We study quantitative hyperproperties in the setting of HyperLTL, a temporal logic for hyperproperties. We show that, while quantitative hyperproperties can be expressed in HyperLTL, the running time of the HyperLTL model checking algorithm is, depending on the type of property, exponential or even doubly exponential in the quantitative bound. We improve this complexity with a new model checking algorithm based on model-counting. The new algorithm needs only logarithmic space in the bound and therefore improves, depending on the property, exponentially or even doubly exponentially over the model checking algorithm of HyperLTL. In the worst case, the new algorithm needs polynomial space in the size of the system. Our Max#Sat-based prototype implementation demonstrates, however, that the counting approach is viable on systems with nontrivial quantitative information flow requirements such as a passcode checker.
SPECTROSCOPIC CHARACTERIZATIONS AND DFT SIMULATIONSOF CERAMIC MATERIALS:NANOSTRUCTURED ZIRCONIUM OXIDE AND ABO3 PEROVSKITES
Creators: name: ROSA, PATRIZIA
Publisher: name: Universit� degli Studi di Milano
Year: 2017

description: Zirconium dioxide, ZrO2, is a widely studied material for its strength and fracture toughness, low thermal conductivity, ionic conductivity, chemical resistance, and biocompatibility. A broad range of applications derive from these properties, such as thermal-barrier coatings, wear resistance coatings, protective coating for optical mirrors and filters, high temperature fuel cells, oxygen detectors to catalyst supports, as well as biomedical and tissue engineering applications. This work is devoted to the characterization of nanostructured zirconia thin ?lm in view of two specific applications: as catalytic support for Dry Reforming Methane (DRM) and as an electrolyte Solid Oxide Fuel Cell (SOFC). For these applications, the cubic/tetragonal phase demonstrates a better performance than the monoclinic phase. Moreover, the use of nanostructures could improve the catalytic activity and reduce the working temperature of SOFC from 800�C to 400�C. I have characterized nanostructured zirconium dioxide thin films synthesized by Supersonic Cluster Beam Deposition (SCBD) after thermal treatments using X-Ray Photoelectron Spectroscopy (XPS) and X-ray Powder Diffraction (XRPD). With these technique, it is possible to determine the surface and crystal phase evolution after the annealing process. The results indicate that the evolution mainly depends on the environmental condition in which the annealing is carried out. Moreover, I have simulated bulk zirconium dioxide in the tetragonal and monoclinic phase with different oxygen vacancies concentration. The calculations give a possible stabilization of the bulk zirconia in the tetragonal phase at room temperature that is solely due to oxygen vacancies. I have also applied a simple confinement model to determine the critical size for a film and for nanograin: the stable crystal phase at room temperature is the tetragonal phase. The simulated data are in good agreement with the experimental one. I also characterized by XPS two perovskite materials, LSCF and BSCF, used as a Mixed Ionic-Electronic Membrane (MIEC), in order to determine which one is more stable in working conditions; the LSCF membrane seems more stable than BSCF. This information can be use in the future to develop an SOFC with nanostructured zirconia thin film as an electrolyte and LSCF membrane as a cathode in an SOFC.
title: Biogenic processes of methane production and oxidation along thermokarst lake to lagoon transitions
Creators: name: Liebner, Susanne
name: Anthony, Sara E
name: Christian, Knoblauch
name: Jens, Kallmeyer
name: Jens, Strauss
name: Sizhong, Yang
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Thermokarst lagoons form at the terrestrial-marine interface when thermokarst lakes, hotspots for Arctic methane emissions, erode onto the Arctic shelf. Thermokarst lagoons are dynamic environments with seasonal ice build-up and potential alternations between freshwater and marine discharge. Aiming to understand how microbial methane cycling changes along thermokarst lake to lagoon transitions we have investigated the sediment geochemistry and microbiota of the Polar Fox lagoon, a thermokarst lagoon in north-eastern Siberia, relative to that of two adjacent thermokarst lakes. In-situ methane concentrations, methane-carbon isotopic signatures, analysis of amplicon sequencing variants (ASVs), metagenomics, and pore-water geochemistry point towards efficient communities of anaerobic methane oxidizers (AOM) in a sulfate-methane transition zone 2-3 meters below the sediment surface of the lagoon. The lagoon’s in-situ methane concentration in the sulfate zone was only 0.4 – 5% that of the deeper sediment and of the two adjacent thermokarst lakes which have no connection to the Arctic Ocean. In the lakes, methane concentrations reached values up to 2.2 µmol per gram pointing towards oversaturation with methane in the sediment. Based on the analysis of general microbiome composition, we suggest that deterministic process triggered a substantial overall shift of microbial assemblages and a loss in spatial dissimilarity and diversity. Our study shows that thermokarst lake to lagoon transitions are associated with the formation of novel sediment microbiomes and that Arctic thermokarst lagoons can host efficient AOM communities with the potential to substantially mitigate methane concentrations in coastal thermokarst sediments.
A NEW ADAPTATION OF ATTACHMENT THEORY: INTERPRETING THE LOGIC OF TRAVEL
Creators: name: Korstanje, Maximiliano
Publisher: name: tourismos
Year: 2021

description: The behaviour which characterized and symbolized the relation among the ego and the environment was built according to an early age; to be exact at the moment the child develops the affective capacity. If this is right, by the attachment theory we might explain why some consumers choose one tourist destination instead of others. In the course of this essay, we will discuss the limitations and approaches around the attachment theory and a potential application on tourism scope.
description: tourismos, Vol. 3 No. 2 (2008)
Phase diagram of electrostatically doped Strontium Titanate (SrTiO3)
Creators: name: Lee, Yeonbae
name: Clement, Colin
name: Hellerstedt, Jack
name: Kinney, Joseph
name: Kinnischtzke, Laura
name: Snyder, S. D.
name: Goldman, A. M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Electric double layer transistor configurations have been employed to electrostatically dope single crystals of insulating SrTiO_{3}. Here we report on the results of such doping over broad ranges of temperature and carrier concentration employing an ionic liquid as the gate dielectric. The surprising results are, with increasing carrier concentration, an apparent carrier-density dependent conductor-insulator transition, a regime of anomalous Hall effect, suggesting magnetic ordering, and finally the appearance of superconductivity. The possible appearance of magnetic order near the boundary between the insulating and superconducting regimes is reminiscent of effects associated with quantum critical behavior in some complex compounds.
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
Creators: name: Finkbeiner, Bernd
name: Hahn, Christopher
name: Stenger, Marvin
name: Tentrup, Leander
Publisher: name: CISPA
Year: 2023

description: We present $$\backslashtext {RVHyper}$$RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other. Specifications are given as formulas in the temporal logic $$\backslashtext {HyperLTL}$$HyperLTL, which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. $$\backslashtext {RVHyper}$$RVHyperprocesses execution traces sequentially until a violation of the specification is detected. In this case, a counter example, in the form of a set of traces, is returned. As an example application, we show how $$\backslashtext {RVHyper}$$RVHypercan be used to detect spurious dependencies in hardware designs.
GERMANY-CENTERED MERGERS AND CARTELS IN EUROPEAN TRAVEL INDUSTRY, THEIR INFLUENCE ON TURKEY AND ANTALYA
Creators: name: Altintas, Volkan
name: Yilmaz, Yusuf
Publisher: name: tourismos
Year: 2021

description: Mergers in travel industry which are extremely important in Europe and especially Germany, gained speed and these mergers give rise to cartelization. Mergers in travel industry are seen mostly in German and English establishments. These merger companies have both began to dominate the travel industry and have also become great powers with their giant revenues. The fact that these developments in travel industry are Germany-centered makes the subject more important since Germany is one of Turkey's greatest tourist coming countries. That these cartelized structures have partners in Antalya region is vital both for Antalya and Turkey. This paper is a preliminary work aiming to highlight the importance of the subject. The fact that the subject's being relatively new and lack of academic work on the subject, as well as rapid changes in mergers makes it difficult to pursue a detailed study on the subject.
description: tourismos, Vol. 3 No. 2 (2008)
STUDY OF OXIDATIVE STRESS AND ANTIOXIDANT RESPONSE IN THE SGCA NULL DYSTROPHIC MOUSE MODEL
Creators: name: CARUSO, ENRICO
Publisher: name: Universit� degli Studi di Milano
Year: 2018

description: During my PhD, I mainly focus on the of dietary antioxidant and the role of oxidative stress in the progression of Muscular Dystrophy (MDs). MDs are genetic human diseases which are hallmarked by a progressive muscle wasting of variable severity, in the most severe cases this condition leads patients to wheelchair life and premature death due to respiratory and cardiac failure (Emery 2002). Mutations, in these pathologies, mainly affect the Dystrophin-associated Glycoprotein Complex (DGC); this multiprotein complex is located in the myofiber sarcolemma and links the fibers to the extracellular matrix conferring stability to fiber structure. The absence or the malfunction of the DGC leads to myofibers instability, which leads to fibers death and in time compromise muscle functionality. In the most severe cases MD patients would die of respiratory and cardiac failure. Nowadays there is no definitive treatment for MDs that can cure the root of the pathology, although among the different approaches, many efforts are directed to slow down the progression of the disease to counteract the progressive degeneration and to improve patients life quality (Cossu & Sampaolesi 2007). It is now very well established that the DGC not only plays a structural role for the myofiber stability, but also its stretch during contraction is essential for the activation of important signalling pathways. In fact, in literature is known that accumulation of reactive oxygen species (ROS) and oxidative stress contribute strongly to the worsening of MDs, suggesting that muscles affected by these diseases display an impairment in antioxidant signalling (Rando 1998; Rando 2002). In this study, we show that an cyanidin enriched diet is able to delay MD progression in the dystrophic mouse model Sgca null. In particular we display a morphological amelioration of muscle tissue organization, more fiber stability and rescue of muscle performance. Moreover, the antioxidant diet is able to interfere with the proinflammatory environment, typical of these pathologies. Specifically, cyanidin impairs NF-kB translocation into the myonuclei, and prevent the expression of typical pro-inflammatory genes such as TNF-? and iNOS. Furthermore, we observe an increase of the antioxidant response in dystrophic mice fed with this particular diet. We found that the transcriptional levels of antioxidant genes (i.e. HO-1 and GCLC), in this scenario, are increased through the activity a specific transcription factor known as Nrf-2. We investigate on the signalling pathway that promote Nrf-2 nuclei localization, finding that AMPK activity is the crucial factor.
WHO AM I? WHERE DID I COME FROM? WHERE DO I GO TO FIND OUT? GENEALOGY, THE INTERNET, AND TOURISM
Creators: name: Josiam, Bharath
name: Frazier, Richard
Publisher: name: tourismos
Year: 2021

description: Genealogists seek to answer the questions: Who am I? Where did I come from? Who were my ancestors? For answers, genealogists today use the Internet. However, genealogists still need to travel. Genealogy related tourism involves covering distances, studying places, and learning while traveling, while satisfying personal needs. Major questions of interest that this study researched were: Who are genealogists? What are their travel patterns and motivations? How has the Internet impacted their travel? A total of 1,374 respondents completed Internet based surveys. Respondents were subscribers to genealogy focused e-mail lists. The average respondent was college educated, “working on genealogy” for six to ten years, and had travelled 200 to 299 miles for a genealogy related trip. Over 75% planned to travel out-ofstate in the coming year by car. Males and older people spent more money on travel. The majority of the respondents indicated that the Internet had increased their travel, and that they had used the Internet for travel arrangements.
description: tourismos, Vol. 3 No. 2 (2008)
Additional file 2 of Preemptive intravenous iron therapy versus autologous whole blood therapy for early postoperative hemoglobin level in patients undergoing bimaxillary orthognathic surgery: a prospective randomized noninferiority trial
Creators: name: Chae, Min Suk
name: Mihyun Lee
name: Choi, Min Ho
name: Park, Je Uk
name: Misun Park
name: Kim, Young Hoon
name: Choi, Hoon
name: Joo, Jin
name: Moon, Young Eun
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Science Policy
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2. Summary of our bimaxillary orthognathic surgery protocol.
MOESM1 of Diagnostic value of serum soluble triggering expressed receptor on myeloid cells 1 (sTREM-1) in suspected sepsis: a meta-analysis
Creators: name: Chang, Wei
name: Peng, Fei
name: Meng, Shan-Shan
name: Xu, Jing-Yuan
name: Yang, Yi
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Hematology
subject: Computational Biology

description: Additional file 1. Full electronic search strategy on PubMed.
Stochastic Equations in Black Hole Backgrounds and Non-equilibrium Fluctuation Theorems
Creators: name: Iso, Satoshi
name: Okazawa, Susumu
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We apply the non-equilibrium fluctuation theorems developed in the statistical physics to the thermodynamics of black hole horizons. In particular, we consider a scalar field in a black hole background. The system of the scalar field behaves stochastically due to the absorption of energy into the black hole and emission of the Hawking radiation from the black hole horizon. We derive the stochastic equations, i.e. Langevin and Fokker-Planck equations for a scalar field in a black hole background in the $\hbar \rightarrow 0$ limit with the Hawking temperature $\hbar κ/2 π$ fixed. We consider two cases, one confined in a box with a black hole at the center and the other in contact with a heat bath with temperature different from the Hawking temperature. In the first case, the system eventually becomes equilibrium with the Hawking temperature while in the second case there is an energy flow between the black hole and the heat bath. Applying the fluctuation theorems to these cases, we derive the generalized second law of black hole thermodynamics. In the present paper, we treat the black hole as a constant background geometry. Since the paper is also aimed to connect two different areas of physics, non-equilibrium physics and black holes physics, we include pedagogical reviews on the stochastic approaches to the non-equilibrium fluctuation theorems and some basics of black holes physics.
description: 53 pages
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
Creators: name: Finkbeiner, Bernd
name: C01chha
name: Stenger, Marvin
name: Tentrup, Leander
Publisher: name: CISPA
Year: 2023

description: We present $$\backslashtext {RVHyper}$$RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other. Specifications are given as formulas in the temporal logic $$\backslashtext {HyperLTL}$$HyperLTL, which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. $$\backslashtext {RVHyper}$$RVHyperprocesses execution traces sequentially until a violation of the specification is detected. In this case, a counter example, in the form of a set of traces, is returned. As an example application, we show how $$\backslashtext {RVHyper}$$RVHypercan be used to detect spurious dependencies in hardware designs.
title: Microbially induced iron retention in the Central German coalfield using the example of the Witznitz mine dump: results of a feasibility study
Creators: name: Hildmann, Christian
name: Kruber, Sarah
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
As a result of the rearrangement of tertiary sediments and the groundwater lowering during open pit lignite mining, the formerly stable iron sulfide compounds oxidize to iron and sulfate ions and acidity. With the end of mining operations and the resulting rise in groundwater levels, these substances are transported into surface water, causing negative effects on the ecosystem and water management.
Sulfate reduction reverses the preceding oxidation process. By adding a carbon source, sulfate-reducing bacteria are activated in the aquifer. These metabolize the added carbon, producing sulfide which combines with the iron present in the groundwater to form iron sulfide and is fixed in the subsurface.
The process has already been tested as a pilot project in the Lusatian coalfield. For the transfer to the Central German mining district, adjustments had to be made to the plant design due to the cohesive soils and higher concentrations of iron and sulfate.
The plant configuration provides for a modular structure consisting of six self-sufficient sections. In each module, 86 individually controllable lances are provided for both lifting and infiltration of the water. Infiltration takes place in one lance at a time, while water is being lifted from other lances or these are paused so that water flows in. In this way, the problem of groundwater surface drawdown caused by upstream wells or the disadvantages of using external water are avoided. The lifted water is mixed with glycerine as a carbon source and then infiltrated again.
TRAVEL DECISION MAKING - THE ROLE OF HABIT
Creators: name: Björk, Peter
name: Jansson, Therese
Publisher: name: tourismos
Year: 2021

description: The complexity of travel decision making is widely recognized and has previous been studied by the means of grand models and process studies. This study has used the Self-Reported Habit Index of Verplanken and Orbell (2003) to measure habit strength in 23 statements concerning travel decision making. The four subdecisions of particular interest in this study were; where and when to go on vacation, what to do, as well as how to travel to the chosen destination. The developed instrument unfolds a well recognized structure of travel behavior, results which validate the statements of SRHI and its applicability to the field of tourism. This research adds to the field of travel decision making by emphasizing the possibility to identify sub-decisions that are made out of habit and to use habit as a platform for tourist segmentation.
description: tourismos, Vol. 3 No. 2 (2008)
PEACE FESTIVAL PROJECT AS CULTURE COMMODIFIED IN THE DMZ AREA, KOREA
Creators: name: Shin, Youngsun
Publisher: name: tourismos
Year: 2008

description: Tourism, because of its peculiar nature, depends much on security and safety at the destination. Likewise, Korea needs to assure concrete security and safety to develop tourism in particular. In new millennium, however, Korea has a major issue to be solved. That is to decrease the political tension between South and North so as to accelerate the reunification of the peninsula. In this context, the peace festival tourism project should be placed in the first priority since this will ease the strained political relations between South and North. This paper attempts to review the actual condition of the peace festival tourism project and to examine economic, socio-cultural and political impacts. To analyze the effects of the study, secondary data and information provided by the research & research agency, newspaper articles and the Bank of Korea were utilized.
description: tourismos, Vol. 3 No. 2 (2008)
Shear coordinate description of the quantised versal unfolding of D_4 singularity
Creators: name: Chekhov, Leonid
name: Mazzocco, Marta
Publisher: name: arXiv
Year: 2010
Subjects: subject: Mathematical Physics (math-ph)
subject: Algebraic Geometry (math.AG)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 32G15, 32G81, 32G34, 17B37, 17B63

description: In this paper by using Teichmuller theory of a sphere with four holes/orbifold points, we obtain a system of flat coordinates on the general affine cubic surface having a D_4 singularity at the origin. We show that the Goldman bracket on the geodesic functions on the four-holed/orbifold sphere coincides with the Etingof-Ginzburg Poisson bracket on the affine D_4 cubic. We prove that this bracket is the image under the Riemann-Hilbert map of the Poisson Lie bracket on the direct sum of three copies of sl_2. We realise the action of the mapping class group by the action of the braid group on the geodesic functions . This action coincides with the procedure of analytic continuation of solutions of the sixth Painlevé equation. Finally, we produce the explicit quantisation of the Goldman bracket on the geodesic functions on the four-holed/orbifold sphere and of the braid group action.
description: 14 pages, 2 pictures
Digital twin assisted process monitoring and control
Creators: name: Bakhshandeh, Parsa
Publisher: name: University of British Columbia
Year: 2023

description: Monitoring and control systems for machine tools are essential for increasing productivity. A robust monitoring system, coupled with the ability to use machining state signals predicted by the digital model is key to the implementation of such systems in production environment. This thesis presents the use of machining simulations to CNC-inherent or accessible data collected from sound, vibration, and force sensors. Through the combination of simulations and on-line measurements, a digital twin is created to detect chatter, tool breakage, and tool wear. First, the machining process states such as force, torque, power, and cumulative chip removal are simulated along the tool path. The actual and virtual positions of the tool along the tool path are synchronized during actual machining so that measured and simulated states can be compared. A new tool wear monitoring algorithm is proposed. The cutter – workpiece engagement area and cumulative chip removed by the cutting edge are computed using the Virtual Machining Software developed in the laboratory. The spindle servo motor current is collected from the CNC and normalized by the engagement area. The tool wear is correlated to cumulative chip thickness and an increase in the geometry-independent spindle motor current using a few tool wear measurements. It is shown that the tool wear progress can effectively be monitored by integrating simulation and motor current extracted from the CNC system. Similarly, chatter is also detected from sound spectrum measurement along the tool path by differentiating it from the air cut, transient vibrations and changes in the workpiece geometry with the aid of digital simulations. Chatter detection and avoidance algorithm is also enhanced by deactivating it at transient cutting zones. In some applications such as adaptive force control, it is necessary to measure cutting forces during machining. A commercial tool holder equipped with accelerometers is used to predict cutting forces from vibration data. The transfer function between the vibrations measured by the instrumented tool holder and the applied force is modeled. The cutting forces are predicted from the vibration measurements with the aid of Kalman filter and compared against the digital estimations along the tool path.
Additional file 1 of “It started 30 years ago, and it still haunts me”: an exploratory investigation of Territorians’ gambling behaviours, harm, and help-seeking for gambling issues in an Australian jurisdiction
Creators: name: Gupta, Himanshu
name: Stevens, Matthew
Publisher: name: figshare
Year: 2021
Subjects: subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1:. Interview schedules. This file contains interview schedules that have been used for data collection.
Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse
Creators: name: Lyastani, Sanam Ghorbani
name: Schilling, Michael
name: Fahl, Sascha
name: Backes, Michael
name: Bugiel, Sven
Publisher: name: CISPA
Year: 2023

description: Despite their well-known security problems, passwords are still the incumbent authentication method for virtually all online services. To remedy the situation, users are very often referred to password managers as a solution to the password reuse and weakness problems. However, to date, the actual impact of password managers on password strength and reuse has not been studied systematically.

We provide the first large-scale study of the password managers' influence on users' real-life passwords. By combining qualitative data on users' password creation and management strategies, collected from 476 participants of an online survey, with quantitative data (incl. password metrics and entry methods) collected in situ with a browser plugin from 170 users, we were able to gain a more complete picture of the factors that influence our participants' password strength and reuse. Our approach allows us to quantify for the first time that password managers indeed influence the password security, however, whether this influence is beneficial or aggravating existing problems depends on the users' strategies and how well the manager supports the users' password management right from the time of password creation. Given our results, we think research should further investigate how managers can better support users' password strategies in order to improve password security as well as stop aggravating the existing problems.
APPLYING S.W.O.T. ANALYSIS METHODOLOGY IN THE FORMULATION OF PROPOSITIONS AIMING AT A MORE EFFECTIVE OPERATIONAL APPLICATION OF TIMESHARE IN GREECE
Creators: name: Stavrinoudis, Theodoros
Publisher: name: tourismos
Year: 2008

description: The present paper aims to suggest specific actions- proposals for policies likely to counteract the difficulties involved in the operational application of Timeshare in Greece. The choice of the S.W.O.T. Analysis methodology can be accounted for by the fact that it enables the detection of strengths and weaknesses as they manifest themselves in the internal operational environment of the Greek Timeshare enterprises. Concurrently, opportunities and threats related to the Greek product are brought to light and clearly determined through the analysis of the external environment as well as of the Greek Timeshare market.
description: tourismos, Vol. 3 No. 2 (2008)
Research communication guidance, tools, and frameworks: a rapid scoping review
Creators: name: Barreto, Jorge Otavio Maia
name: Toma, Tereza Setsuko
name: Bortoli, Maritsa Carla de
name: Araújo, Bruna Carolina de
name: Freitas, Cíntia Oliveira
name: Silva, Letícia Aparecida Lopes Bezerra da
name: Melo, Roberta Crevelarios de
Publisher: name: Zenodo
Year: 2021
Subjects: Evidence-informed Policymaking
Communication
Frameworks

description: Rapid scoping review protocol. A rapid scoping review will be carried out with the aim to systematically identify and map evidence about needs, preferences, and perspectives of policy makers for receiving scientific information, as well as guidance, tools, and frameworks to support the communication on research evidence to them.
Eremias undetermined
Creators: name: Müller, F
Publisher: name: Zenodo
Year: 1885
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Squamata
Sauria
Lacertidae
Eremias
Eremias undetermined

description: Eremias sp. verwa. m.
Knoxii Gray cat.
Angra pequeña v. F M. [1]
description: Published as part of Müller, F, 1885, Vierter Nachtrag zum Katalogder herpetologischen Sammlung des Basler Museums, pp. 668-717 in Verhandlungen der Naturforschenden Gesellschaft in Basel. 7 (3) on page 702, DOI: 10.5962/bhl.part.2388, http://zenodo.org/record/15183591
ANALYSIS OF THE IMPACT OF TOURISM ON THE WEST AFRICA ECONOMY: A PANEL DATA APPROACH
Creators: name: Ige, Cyril Segun
name: Odularu, Gbadebo Olusegun
Publisher: name: tourismos
Year: 2008

description: Tourism and related recreation activities play a significant role in the generation of income / foreign exchange and provision of employment opportunities. Against this backdrop, this paper aims at ascertaining empirically the impact of tourism on the West African economy from 2000 – 2004. The relationship is analysed based on a panel data approach. While the study estimates the relationship between economic growth and growth in tourist arrivals conditional on main macroeconomic variables, it recommends that the role of tourism cannot be overemphasized in the sustainable economic development in West Africa. In other words, economic performance in West Africa can be enhanced through sound tourism development policies that support economic openness with greater emphasis on liberalization policy since the region stands to gain from this policy stance.
description: tourismos, Vol. 3 No. 2 (2008)
Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse
Creators: name: Lyastani, Sanam Ghorbani
name: Michael.Schilling
name: Fahl, Sascha
name: Backes, Michael
name: Bugiel, Sven
Publisher: name: CISPA
Year: 2023

description: Despite their well-known security problems, passwords are still the incumbent authentication method for virtually all online services. To remedy the situation, users are very often referred to password managers as a solution to the password reuse and weakness problems. However, to date, the actual impact of password managers on password strength and reuse has not been studied systematically.

We provide the first large-scale study of the password managers' influence on users' real-life passwords. By combining qualitative data on users' password creation and management strategies, collected from 476 participants of an online survey, with quantitative data (incl. password metrics and entry methods) collected in situ with a browser plugin from 170 users, we were able to gain a more complete picture of the factors that influence our participants' password strength and reuse. Our approach allows us to quantify for the first time that password managers indeed influence the password security, however, whether this influence is beneficial or aggravating existing problems depends on the users' strategies and how well the manager supports the users' password management right from the time of password creation. Given our results, we think research should further investigate how managers can better support users' password strategies in order to improve password security as well as stop aggravating the existing problems.
Additional file 1 of Examining social-cognitive theory constructs as mediators of behaviour change in the active team smartphone physical activity program: a mediation analysis
Creators: name: Romeo, Amelia V.
name: Edney, Sarah M.
name: Plotnikoff, Ronald C.
name: Olds, Tim
name: Vandelanotte, Corneel
name: Ryan, Jillian
name: Curtis, Rachel
name: Maher, Carol A.
Publisher: name: figshare
Year: 2021
Subjects: subject: Neuroscience
subject: Science Policy
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1. Correlation Matrix.
SEASONAL ANALYSIS OF TOURIST REVENUES: AN EMPIRICAL RESEARCH FOR GREECE
Creators: name: Dritsakis, Nikolaos
Publisher: name: tourismos
Year: 2008

description: This paper examines the role and factors of seasonality in tourist revenues in the case of Greece. The empirical analysis of the current research is conducted using quarterly data for the period 1960:I– 2005:IV. Osborn et. al. (1998), Miron (1994) and Hylleberg et al. (1990) tests for seasonal unit roots are used to examine deterministic and stochastic seasonality in the various series. The results revealed that tourist revenues in Greece are to some extent seasonal, which implies that most involving parties should extend tourist period aiming at developing tourism of all seasons. Finally, recommendations are provided to deal with the “problem” of seasonality.
description: tourismos, Vol. 3 No. 2 (2008)
Additional file 2 of “It started 30 years ago, and it still haunts me”: an exploratory investigation of Territorians’ gambling behaviours, harm, and help-seeking for gambling issues in an Australian jurisdiction
Creators: name: Gupta, Himanshu
name: Stevens, Matthew
Publisher: name: figshare
Year: 2021
Subjects: subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional File 2:. COREQ Checklist. This file contains a completed COREQ checklist that has been used for reporting this research.
Datenschutz durch Technikgestaltung für Genomdaten
Creators: name: Kawohl, Claudia
name: Krämer, Annika
name: Marnau, Ninja
Publisher: name: CISPA
Year: 2023

description: Klinische genetische Tests und Endverbraucher-Genetik, wie sie z.B. von 23andme angeboten wird, sind auf dem Weg zum Massenmarkt. Im Umfeld der klinischen Genetik haben die Patienten jedoch oft kaum Kontrolle über ihre eigenen genetischen Daten, während viele der am Markt tätigen privaten Anbieter von Genanalysen einer Vielzahl von Datenschutzbedenken begegnen. Der Artikel 25 DSGVO bietet in diesem Kontext nun gesetzliche Anreize, durch datenschutzfreundliche Technikgestaltung die Kontrolle über die Verwendung ihrer genetischen Daten in die Hände der Patienten zu legen.
Der Beitrag gibt einen Einblick in die interdisziplinäre Forschung zu Datenschutz durch Technikgestaltung auf Basis neuer Verfahren speziell für medizinische Daten. Wir stellen rechtliche und technische Überlegungen einer interdisziplinären Forschungsstudie von Rechtswissenschaftlern, Medizinern und Informatikern vor. Das gemeinsam entwickelte Systemdesign für eine sichere Forschungsplattform für Genomdaten unter der Kontrolle der Patienten ist geeignet, die Anforderungen der DSGVO insbesondere an Datenminimierung und Zweckbindung mit Hilfe kryptographischer Verfahren innovativ umzusetzen.
Topological Insulators in Ternary Compounds with a Honeycomb Lattice
Creators: name: Zhang, Hai-Jun
name: Chadov, Stanislav
name: Müchler, Lukas
name: Yan, Binghai
name: Qi, Xiao-Liang
name: Kübler, Jürgen
name: Zhang, Shou-Cheng
name: Felser, Claudia
Publisher: name: arXiv
Year: 2010
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: One of the most exciting subjects in solid state physics is a single layer of graphite which exhibits a variety of unconventional novel properties. The key feature of its electronic structure are linear dispersive bands which cross in a single point at the Fermi energy. This so-called Dirac cone is closely related to the surface states of the recently discovered topological insulators. The ternary compounds, such as LiAuSe and KHgSb with a honeycomb structure of their Au-Se and Hg-Sb layers feature band inversion very similar to HgTe which is a strong precondition for existence of the topological surface states. In contrast to graphene with two Dirac cones at K and K' points, these materials exhibit the surface states formed by only a single Dirac cone at the Γ-point together with the small direct band gap opened by a strong spin-orbit coupling (SOC) in the bulk. These materials are centro-symmetric, therefore, it is possible to determine the parity of their wave functions, and hence, their topological character. Surprisingly, the compound KHgSb with the strong SOC is topologically trivial, whereas LiAuSe is found to be a topological non-trivial insulator.
description: 4 pages + 1 page supplemental