cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Potential drug interactions between targeted oral antineoplastic agents and concomitant medication in clinical practice
Creators: name: Escudero-Vilaplana, Vicente
name: Collado-Borrell, Roberto
name: Hoyo-Muñoz, Angela
name: Gimenez-Manzorro, Alvaro
name: Calles, Antonio
name: Osorio, Santiago
name: Herranz-Alonso, Ana
name: Sanjurjo-Sáez, Maria
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Biochemistry
subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Cancer
classificationCode: 111714
subject: Mental Health
subject: Hematology
classificationCode: 110309
subject: Infectious Diseases
subject: FOS: Health sciences

description: Our objective was to analyze potential drug interactions (PDIs) between targeted OAAs and concomitant therapy in clinical practice. A cross-sectional observational study was performed in cancer outpatients who started treatment with a targeted OAA between 1 December 2015 and 31 May 2019. PDIs were analyzed using the Lexicomp® and the database About Herbs®. PDIs were classified according to severity, risk, and reliability ratings and their underlying mechanism. Univariate and multivariate analysis were performed to identify risk factors associated with PDIs. A total of 881 patients were included, of whom 50.9% had at least 1 PDI between the OAA and the concomitant medication. The factors associated with a higher risk of PDIs were polypharmacy (≥5 concomitant medicines) (OR = 3.64 (2.54–5.20), p < 0.001), type of tumor (prostate cancer [OR = not available, p < 0.001], chronic myelogenous leukemia [OR = 5.10 (1.08–24.05), p = 0.040], sarcoma [OR = 4.97 (1.05–23.55), p = 0.043]), and treatment with hormone therapies (OR = not available, p < 0.001). A search of PDIs should be prioritized, especially in patients receiving targeted OAAs with risk factors, such as polymedication, prostate cancer, chronic myelogenous leukemia, sarcoma, and treatment with hormone therapies.
Immune-mediated inflammatory disease patients’ preferences in adverse drug reaction information regarding biologics
Creators: name: Kosse, Leanne J.
name: Weits, Gerda
name: Vonkeman, Harald E.
name: Spuls, Phyllis I.
name: Van Den Bemt, Bart J.F.
name: Tas, Sander W.
name: Hoentjen, Frank
name: Nurmohamed, Mike T.
name: Van Doorn, Martijn B.A.
name: Van Puijenbroek, Eugène P.
name: Jessurun, Naomi T.
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 69999
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Patient-reported outcomes (PROs) are increasingly used in studies and medical practice to obtain information on patients’ perspectives toward their treatment or disease. However, most study outcomes are primarily directed at healthcare professionals. It was aimed to obtain insight in which type of information immune-mediated inflammatory disease (IMID) patients prefer to receive after participating in the Dutch Biologic Monitor (DBM), a PRO-based prospective cohort event monitoring system focused on adverse drug reactions (ADRs). A survey was conducted among DBM participants that wanted information about the results. Patients’ preferences were identified using twelve statements and rated with five-point Likert-type scales. Subgroup analyses and differences between statements were performed using Mann-Whitney U Tests. The survey was completed by 591 patients (response rate 67.6%). Most respondents had inflammatory rheumatic diseases (76.8%) and used adalimumab (37.2%) or etanercept (33.2%). Respondents preferred results per IMID over aggregated results (p = <0.001). Information on whether patients with similar IMIDs experience ADRs (average 4.5), which biologics are most likely to cause ADRs (4.4) and whether ADRs disappear (4.4) were most interesting. DBM participants prefer to receive disease-specific information on ADRs that is tailored to their own biologic and IMID, including the outcome of ADRs.
Laconic Private Set Intersection and Applications
Creators: name: Alamati, Navid
name: Branco, Pedro
name: Döttling, Nico
name: Garg, Sanjam
name: Hajiabadi, Mohammad
name: Pu, Sihang
Publisher: name: CISPA
Year: 2023

description: Consider a server with a large set S of strings {????1,????2…,????????} that would like to publish a small hash h of its set S such that any client with a string y can send the server a short message allowing it to learn y if ????∈???? and nothing otherwise. In this work, we study this problem of two-round private set intersection (PSI) with low (asymptotically optimal) communication cost, or what we call laconic private set intersection (ℓ PSI) and its extensions. This problem is inspired by the recent general frameworks for laconic cryptography [Cho et al. CRYPTO 2017, Quach et al. FOCS’18]. We start by showing the first feasibility result for realizing ℓ PSI based on the CDH assumption, or LWE with polynomial noise-to-modulus ratio. However, these feasibility results use expensive non-black-box cryptographic techniques leading to significant inefficiency. Next, with the goal of avoiding these inefficient techniques, we give a construction of ℓ PSI schemes making only black-box use of cryptographic functions. Our construction is secure against semi-honest receivers, malicious senders and reusable in the sense that the receiver’s message can be reused across any number of executions of the protocol. The scheme is secure under the ????-hiding, decisional composite residuosity and subgroup decision assumptions. Finally, we show natural applications of ℓ PSI to realizing a semantically-secure encryption scheme that supports detection of encrypted messages belonging to a set of “illegal” messages (e.g., an illegal video) circulating online. Over the past few years, significant effort has gone into realizing laconic cryptographic protocols. Nonetheless, our work provides the first black-box constructions of such protocols for a natural application setting.
Multiparty Cardinality Testing for Threshold Private Intersection
Creators: name: Branco, Pedro
name: Döttling, Nico
name: Pu, Sihang
Publisher: name: CISPA
Year: 2023

description: Threshold Private Set Intersection (PSI) allows multiple parties to compute the intersection of their input sets if and only if the intersection is larger than ????−????, where n is the size of each set and t is some threshold. The main appeal of this primitive is that, in contrast to standard PSI, known upper-bounds on the communication complexity only depend on the threshold t and not on the sizes of the input sets. Current threshold PSI protocols split themselves into two components: A Cardinality Testing phase, where parties decide if the intersection is larger than some threshold; and a PSI phase, where the intersection is computed. The main source of inefficiency of threshold PSI is the former part. In this work, we present a new Cardinality Testing protocol that allows N parties to check if the intersection of their input sets is larger than ????−????. The protocol incurs in ????̃(????????2) communication complexity. We thus obtain a Threshold PSI scheme for N parties with communication complexity ????̃(????????2).
Effects of external driving on the coherence time of a Josephson junction qubit in a bath of two level fluctuators
Creators: name: Brox, Håkon
name: Bergli, Joakim
name: Galperin, Yuri M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We study the effect of external driving on the two level systems (TLSs) assumed to be a major obstacle in increasing the coherence time of solid state Josephson-junction qubits. We find, by use of a Bloch-Redfield approach, that external driving has two major effects on the TLS. The first is increased fluctuations between the two states of the TLS, the significance of this effect compared to thermal fluctuations depend on the energy splitting of the TLS compared to temperature. The second effect is a reduction in the intensity of the noise spectrum at low frequencies, and at the same time an increase in intensity around the renormalized Rabi frequency of the TLS, the driving frequency and at beatings between these two frequencies. Finally we study the ensemble averaged noise spectrum for a typical distribution of TLSs known to give origin to $\propto 1/f$ noise. We find that strong driving leads to reduced noise at low frequencies, and therefore to an increased dephasing time $T_2^Q$ of the qubit. However this effect is exponentially suppressed when the driving frequency is large compared to temperature, as we typically find for Josephson qubits. We suggest that external driving at frequencies much lower than the qubit frequency might be used in order to enhance the the qubit coherence time.
description: 13 pages, 5 figures
Classic Maya range structures and socio-political organization
Creators: name: Seibert, Jeffrey D.
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 354-379
description: The focus of this study is an architectural and spatial analysis of three "range structures" from the Maya lowlands, two of which are located at Minanha, Cayo District, Belize, and one of which is located at N aachtun, Department of Peten, Guatemala. Range structures are long, multi-roomed buildings located adjacent to public locales such as plazas in a number of Maya centres. I suggest that these structures are loci for various public functions relating to the political administration of cities that they are a part of, including the receipt and administration of tribute, the administration of the internal affairs of the polity, meetings with foreign dignitaries and possibly relatively large scale gatherings such as feasts and political meetings. The analysis of these structures includes a discussion of architectural attributes, including the presence of benches, thrones and other architectural features, formal spatial analysis of the structures, using space syntax techniques, and comparison of these structures to contemporary artistic and epigraphic clues regarding structures function. The three structures that form the core of this study are compared to similar structures from other parts of the Classic Maya lowlands, in order to place the materials in a broader regional context, and to search for general trends in the morphology and spatial design of range structures in the Maya lowlands. The findings from this comparative exercise as well as the excavated materials are used, in turn to discuss their significance in relation to broader constructions of Classic Maya socio-political organization.
Universal Proxy Re-Encryption
Creators: name: Döttling, Nico
name: Nishimaki, Ryo
Publisher: name: CISPA
Year: 2023

description: We put forward the notion of universal proxy re-encryption (UPRE). A UPRE scheme enables a proxy to convert a ciphertext under a (delegator) public key of any existing public-key encryption (PKE) scheme into another ciphertext under a (delegatee) public key of any existing PKE scheme (possibly different from the delegator one). The proxy has a re-encryption key generated from the delegator’s secret key and the delegatee public key. Thus UPRE generalizes proxy re-encryption by supporting arbitrary PKE schemes and allowing to convert ciphertexts into ones of possibly different PKE schemes. In this work, we provide syntax and definitions for both UPRE and a variant we call relaxed UPRE. The relaxed variant means that decryption algorithms for re-encrypted ciphertexts are slightly modified but still only use the original delegatee secret keys for decryption. construct a UPRE based on probabilistic indistinguishability obfuscation (PIO). It allows us to re-encrypt ciphertexts polynomially many times. construct relaxed UPRE from garbled circuits (GCs). We provide two variants of this construction, one which allows us to re-encrypt ciphertexts polynomially many times, and a second one which satisfies a stronger security requirement but only allows us to re-encrypt ciphertexts a constant number of times.
Open superstring field theory I: gauge fixing, ghost structure, and propagator
Creators: name: Kroyter, Michael
name: Okawa, Yuji
name: Schnabl, Martin
name: Torii, Shingo
name: Zwiebach, Barton
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The WZW form of open superstring field theory has linearized gauge invariances associated with the BRST operator Q and the zero mode eta_0 of the picture minus-one fermionic superconformal ghost. We discuss gauge fixing of the free theory in a simple class of gauges using the Faddeev-Popov method. We find that the world-sheet ghost number of ghost and antighost string fields ranges over all integers, except one, and at any fixed ghost number, only a finite number of picture numbers appear. We calculate the propagators in a variety of gauges and determine the field-antifield content and the free master action in the Batalin-Vilkovisky formalism. Unlike the case of bosonic string field theory, the resulting master action is not simply related to the original gauge-invariant action by relaxing the constraint on the ghost and picture numbers.
description: LaTeX2e, 34 pages, no figures; v2: typos corrected
Safety and tolerability of IV ketamine in adults with major depressive or bipolar disorder: results from the Canadian rapid treatment center of excellence
Creators: name: Rodrigues, Nelson B.
name: McIntyre, Roger S.
name: Lipsitz, Orly
name: Lee, Yena
name: S., Danielle
name: Nasri, Flora
name: Gill, Hartej
name: Lui, Leanna M.W.
name: Subramaniapillai, Mehala
name: Kratiuk, Kevin
name: Lin, Kangguang
name: Ho, Roger
name: Mansur, Rodrigo B.
name: Rosenblat, Joshua D.
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Space Science
subject: Medicine
subject: Neuroscience
subject: Pharmacology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 111714
subject: Mental Health

description: Rigorous clinical trials suggest ketamine is safe and well-tolerated in patients with treatment-resistant depression (TRD). There is a paucity of data on the safety and tolerability of ketamine in community-based clinics treating patients with TRD. Retrospective data was analyzed from 203 patients with TRD who received repeat-dose IV ketamine. Safety was operationalized as hemodynamic changes. Tolerability was evaluated through the reporting of adverse events and dissociation symptom severity, as measured by the Clinician-Administered Dissociative States Scale. Ketamine was well-tolerated, with less than 5% of patients withdrawing due to tolerability concerns. Blood pressure significantly increased during infusion, with 44.3% meeting criteria for treatment-emergent hypertension (i.e., blood pressure ≥ 165/100 mmHg). 12% of patients exhibiting hypertension required pharmacological intervention. The most frequently reported adverse events included drowsiness (56.4%), dizziness (45.2%), dissociation (35.6%), and nausea (13.3%). Dissociation severity significantly attenuated after the first infusion, but plateaued for subsequent infusions. Intravenous ketamine was safe and well-tolerated. Hypertension was commonly observed and was often transient. Dissociation was most frequently reported after the first infusion but remained a consistent but not treatment-limiting adverse event thereafter. No patients exhibited psychosis, mania, or new onset suicidality with IV ketamine.
A Temporal Logic for Strategic Hyperproperties
Creators: name: Beutner, Raven
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: Hyperproperties are commonly used in computer security to define information-flow policies and other requirements that reason about the relationship between multiple computations. In this paper, we study a novel class of hyperproperties where the individual computation paths are chosen by the strategic choices of a coalition of agents in a multi-agent system. We introduce HyperATL^*, an extension of computation tree logic with path variables and strategy quantifiers. HyperATL^* can express strategic hyperproperties, such as that the scheduler in a concurrent system has a strategy to avoid information leakage. HyperATL^* is particularly useful to specify asynchronous hyperproperties, i.e., hyperproperties where the speed of the execution on the different computation paths depends on the choices of the scheduler. Unlike other recent logics for the specification of asynchronous hyperproperties, our logic is the first to admit decidable model checking for the full logic. We present a model checking algorithm for HyperATL^* based on alternating word automata, and show that our algorithm is asymptotically optimal by providing a matching lower bound. We have implemented a prototype model checker for a fragment of HyperATL^*, able to check various security properties on small programs.
MOESM3 of Prevalence, resistance pattern, and molecular characterization of Staphylococcus aureus isolates from healthy animals and sick populations in Henan Province, China
Creators: name: Liu, Baoguang
name: Sun, Huarun
name: Pan, Yushan
name: Zhai, Yajun
name: Cai, Tian
name: Yuan, Xiaoling
name: Gao, Yanling
name: He, Dandan
name: Liu, Jianhua
name: Yuan, Li
name: Hu, Gongzheng
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3: Table S3. Oligonucleotide sequences, primers, and targets for polymerase chain reaction amplification of antibiotic resistance genes and integrons in S. aureus isolates.
Understanding early adolescents' social behaviours and relationships with peers
Creators: name: Closson, Leanna Mary
Publisher: name: University of British Columbia
Year: 2011

description: Hawley (1999) proposed that the ability to consider one’s own characteristics in relation to the characteristics of interaction partners is an adaptive social skill in guiding the use of prosocial or aggressive behaviour. Although research has shown that social status is associated with aggression and prosocial behaviour generally, we know very little about how youths’ behaviours directed toward certain types of peers (e.g., friends vs. nonfriends; popular vs. unpopular peers) vary as a function of their own social status. The purpose of the present study was to evaluate variability in early adolescents’ aggressive and prosocial behaviours across peer targets and determine whether higher status youth behave differently toward specific types of peers as compared to lower status youth. Early adolescents in grades 6 through 8 (N = 426) completed self-report measures assessing how often they engaged in aggressive or prosocial behaviours toward each participating peer in their grade. Participants also completed self-report measures assessing their relationship with each grademate (i.e., friendship, liking) in addition to peer-report measures of three indices of social status (i.e., social preference/likeability, perceived popularity, social dominance). Results showed that, regardless of their own social status, early adolescents varied their behaviours toward different types of peers to some degree. However, high and low status youth often behaved differently toward certain types of peers. Importantly, a distinct pattern of findings was apparent for each index of social status. Among the findings, the results showed that popular, but not unpopular, youth reported more prosocial and aggressive behaviours toward popular and personally liked peers than toward unpopular and personally disliked peers. Well-accepted, but not rejected, youth reported engaging in prosocial behaviours toward a variety of peers in addition to greater relational aggression toward friends than nonfriends. Finally, dominant, but not subordinate, youth reported greater aggression toward dominant than subordinate peers. The present study has demonstrated the value of examining multiple social status indices and of considering toward whom youth direct their aggressive and prosocial behaviours to obtain a richer understanding of the complex social processes involved in the early adolescent peer group.
Safety and tolerability of IV ketamine in adults with major depressive or bipolar disorder: results from the Canadian rapid treatment center of excellence
Creators: name: Rodrigues, Nelson B.
name: McIntyre, Roger S.
name: Lipsitz, Orly
name: Lee, Yena
name: Cha, Danielle S.
name: Nasri, Flora
name: Gill, Hartej
name: Lui, Leanna M.W.
name: Subramaniapillai, Mehala
name: Kratiuk, Kevin
name: Lin, Kangguang
name: Ho, Roger
name: Mansur, Rodrigo B.
name: Rosenblat, Joshua D.
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Space Science
subject: Medicine
subject: Neuroscience
subject: Pharmacology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 111714
subject: Mental Health

description: Rigorous clinical trials suggest ketamine is safe and well-tolerated in patients with treatment-resistant depression (TRD). There is a paucity of data on the safety and tolerability of ketamine in community-based clinics treating patients with TRD. Retrospective data was analyzed from 203 patients with TRD who received repeat-dose IV ketamine. Safety was operationalized as hemodynamic changes. Tolerability was evaluated through the reporting of adverse events and dissociation symptom severity, as measured by the Clinician-Administered Dissociative States Scale. Ketamine was well-tolerated, with less than 5% of patients withdrawing due to tolerability concerns. Blood pressure significantly increased during infusion, with 44.3% meeting criteria for treatment-emergent hypertension (i.e., blood pressure ≥ 165/100 mmHg). 12% of patients exhibiting hypertension required pharmacological intervention. The most frequently reported adverse events included drowsiness (56.4%), dizziness (45.2%), dissociation (35.6%), and nausea (13.3%). Dissociation severity significantly attenuated after the first infusion, but plateaued for subsequent infusions. Intravenous ketamine was safe and well-tolerated. Hypertension was commonly observed and was often transient. Dissociation was most frequently reported after the first infusion but remained a consistent but not treatment-limiting adverse event thereafter. No patients exhibited psychosis, mania, or new onset suicidality with IV ketamine.
Quantum state tomography and quantum logical operations in a three qubits NMR quadrupolar system
Creators: name: Araujo-Ferreira, A. G.
name: Brasil, Carlos Alexandre
name: Soares-Pinto, D. O.
name: deAzevedo, E. R.
name: Bonagamba, T. J.
name: Teles, J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In this work, we present an implementation of quantum logic gates and algorithms in a three effective qubits system, represented by a (I = 7/2) NMR quadrupolar nuclei. To implement these protocols we have used the strong modulating pulses (SMP). The various stages of each implementation were verified by quantum state tomography (QST). It is presented here the results for the computational base states, Toffolli logic gates, and Deutsch-Jozsa and Grover algorithms. Also, we discuss the difficulties and advantages of implementing such protocols using the SMP technique in quadrupolar systems.
description: 24 pages, 8 figures
Live Synthesis
Creators: name: Finkbeiner, Bernd
name: Klein, Felix
name: Metzger, Niklas
Publisher: name: CISPA
Year: 2023

description: Synthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized implementation replaces an al- ready running system. In addition to satisfying its own specification, the synthesized implementation must guarantee a sound transition from the previous implementation. This version of the synthesis problem is highly relevant in “always-on” applications, where updates happen while the system is running. To specify the correct handover between the old and new implementation, we introduce an extension of linear-time temporal logic (LTL) called LiveLTL. A LiveLTL specification defines separate requirements on the two implementations and ensures that the new implementation satisfies, in addition to its own requirements, any obligations left unfinished by the old implementation. For specifications in LiveLTL, we show that the live synthesis problem can be solved within the same complexity bound as standard reactive synthesis, i.e., in 2EXPTIME. Our experiments show the necessity of live synthesis for LiveLTL specifications created from benchmarks of SYNTCOMP and robot control.
Resting pulmonary function and artery pressure and cardiopulmonary exercise testing in chronic heart failure patients in Taiwan − a prospective observational cross-sectional study comparing healthy subjects and interstitial lung disease patients
Creators: name: Chuang, Ming-Lung
name: Sia, Sung-Kien
name: Chang, Kai-Wei
Publisher: name: Taylor & Francis
Year: 2023
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
classificationCode: 111714
subject: Mental Health

description: Restrictive ventilatory defects and elevated pulmonary artery pressure (PAP) are common in patients with chronic heart failure (CHF) and those with interstitial lung disease (ILD). However, as oxyhemoglobin desaturation seldom occurs in stable CHF patients at peak exercise, we hypothesized that the pathophysiology may be different between them. This study aimed to investigate: (1) PAP and lung function at rest, (2) pulmonary gas exchange (PGX) and breathing patterns at peak exercise, (3) mechanisms of dyspnea at peak exercise in patients with CHF compared to healthy subjects and ILD patients. We consecutively enrolled 83 participants (27 with CHF, 23 with ILD, and 33 healthy controls). The CHF and ILD groups had similar functional status. Lung function and cardiopulmonary exercise tests with Borg Dyspnea Score were performed. PAP was estimated using echocardiography. Resting lung function, PAP and peak exercise data in the CHF group were compared to the healthy and ILD groups. Correlation analysis was performed to elucidate the mechanisms of dyspnea in the CHF and ILD groups. Compared to the healthy group, the CHF group had normal lung function, PAP at rest, and normal dyspnea score and PGX at peak exercise, whereas the ILD group had abnormal values compared to the CHF group. Dyspnea score was positively correlated with pressure gradient, lung expansion capabilities, and expiratory tidal flow in the CHF group (all p < 0.05), but inversely correlated with inspiratory time-related variables in the ILD group (all p < 0.05). Normal lung function and PAP at rest, and dyspnea scores and PGX at peak exercise indicated that pulmonary hypertension and fibrosis were insignificant in the patients with CHF. The factors affecting dyspnea at peak exercise were different between the CHF and ILD groups. As the sample size in this study was small, large-scale studies are warranted to confirm our findings. Normal lung function and pulmonary arterial pressure at rest, and dyspnea scores and pulmonary gas exchange at peak exercise indicated that pulmonary hypertension and fibrosis in the patients with chronic heart failure were not significant. Dyspnea score was correlated with different physiological variables between the groups with chronic heart failure and interstitial lung disease.
Monitoring with Verified Guarantees
Creators: name: Dauer, Johann C.
name: Finkbeiner, Bernd
name: Schirmer, Sebastian
Publisher: name: CISPA
Year: 2023

description: Runtime monitoring is generally considered a light-weight alternative to formal verification. In safety-critical systems, however, the monitor itself is a critical component. For example, if the monitor is responsible for initiating emergency protocols, as proposed in a recent aviation standard, then the safety of the entire system critically depends on guarantees of the correctness of the monitor. In this paper, we present a verification extension to the Lola monitoring language that integrates the efficient specification of the monitor with Hoare-style annotations that guarantee the correctness of the monitor specification. We add two new operators, assume and assert, which specify assumptions of the monitor and expectations on its output, respectively. The validity of the annotations is established by an integrated SMT solver. We report on experience in applying the approach to specifications from the avionics domain, where the annotation with assumptions and assertions has led to the discovery of safety-critical errors in the specifications. The errors range from incorrect default values in offset computations to complex algorithmic errors that result in unexpected temporal patterns.
Analyzing Tag Distributions in Folksonomies for Resource Classification
Creators: name: Zubiaga, Arkaitz
name: Martínez, Raquel
name: Fresno, Víctor
Publisher: name: arXiv
Year: 2012
Subjects: subject: Digital Libraries (cs.DL)
subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences

description: Recent research has shown the usefulness of social tags as a data source to feed resource classification. Little is known about the effect of settings on folksonomies created on social tagging systems. In this work, we consider the settings of social tagging systems to further understand tag distributions in folksonomies. We analyze in depth the tag distributions on three large-scale social tagging datasets, and analyze the effect on a resource classification task. To this end, we study the appropriateness of applying weighting schemes based on the well-known TF-IDF for resource classification. We show the great importance of settings as to altering tag distributions. Among those settings, tag suggestions produce very different folksonomies, which condition the success of the employed weighting schemes. Our findings and analyses are relevant for researchers studying tag-based resource classification, user behavior in social networks, the structure of folksonomies and tag distributions, as well as for developers of social tagging systems in search of an appropriate setting.
Time Temperature Superposition in Soft Glassy Materials
Creators: name: Gupta, Rahul
name: Baldewa, Bharat
name: Joshi, Yogesh M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Soft glassy materials are out of thermodynamic equilibrium and show time dependent slowing down of the relaxation dynamics. Under such situation these materials follow Boltzmann superposition principle only in the effective time domain, wherein time dependent relaxation processes are scaled by a constant relaxation time. In this work we extend effective time framework to successfully demonstrate time - temperature superposition of creep and stress relaxation data of a model soft glassy system comprised of clay suspension. Such superposition is possible when average relaxation time of the material changes with time and temperature without affecting shape of the spectrum. We show that variation in relaxation time as a function of temperature facilitates prediction of long and short time rheological behavior through time - temperature superposition from the experiments carried out over experimentally accessible timescales.
description: 19 pages, 7 figures
The rovibrational spectrum of BeH, MgH and CaH at high temperatures in the $X\,{}^2Σ^+$ state: a theoretical study
Creators: name: Yadin, Benjamin
name: Veness, Thomas
name: Conti, Pierandrea
name: Hill, Christian
name: Yurchenko, Sergei N.
name: Tennyson, Jonathan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Accurate line lists for three molecules, BeH, MgH and CaH, in their ground electronic states are presented. These line lists are suitable for temperatures relevant to exoplanetary atmospheres and cool stars (up to 2000K). A combination of empirical and \textit{ab initio} methods is used. The rovibrational energy levels of BeH, MgH and CaH are computed using the programs Level and DPotFit in conjunction with `spectroscopic' potential energy curves (PECs). The PEC of BeH is taken from the literature, while the PECs of CaH and MgH are generated by fitting to the experimental transition energy levels. Both spin-rotation interactions (except for BeH, for which it is negligible) and non-adiabatic corrections are explicitly taken into account. Accurate line intensities are generated using newly computed \textit{ab initio} dipole moment curves for each molecule using high levels of theory. Full line lists of rotation-vibration transitions for $^9$BeH, $^{24}$MgH, $^{25}$MgH, $^{26}$MgH and $^{40}$CaH are made available in an electronic form as supplementary data to this article and at \url{www.exomol.com}.
description: MNRAS (in press)
Parametrization of Seesaw Models and Light Sterile Neutrinos
Creators: name: Blennow, Mattias
name: Fernandez-Martinez, Enrique
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The recent recomputation of the neutrino fluxes from nuclear reactors relaxes the tension between the LSND and MiniBooNE anomalies and disappearance data when interpreted in terms of sterile neutrino oscillations. The simplest extension of the Standard Model with such fermion singlets is the addition of right-handed sterile neutrinos with small Majorana masses. Even when introducing three right-handed neutrinos, this scenario has less free parameters than the 3+2 scenarios studied in the literature. This begs the question whether the best fit regions obtained can be reproduced by this simplest extension of the Standard Model. In order to address this question, we devise an exact parametrization of Standard Model extensions with right-handed neutrinos. Apart from the usual 3x3 neutrino mixing matrix and the 3 masses of the lightest neutrinos, the extra degrees of freedom are encoded in another 3x3 unitary matrix and 3 additional mixing angles. The parametrization includes all the correlations among masses and mixings and is valid beyond the usual seesaw approximation. Through this parametrization we find that the best fit regions for the LSND and MiniBooNE anomalies in a 3+2 scenario can indeed be reproduced despite the smaller number of degrees of freedom.
description: 18 pages, REVTeX4. Minor corrections
Formal Verification of Spectres Combination
Creators: name: Fabian, Xaver
name: Chan, Koby
name: Patrignani, Marco
Publisher: name: CISPA
Year: 2023

description: Speculative execution allows CPUs to improve performance by using prediction mechanisms that predict the outcome of branching and other instructions without waiting for the correct result. When the prediction is wrong, the CPU rolls back the effects of the speculatively-executed instructions on the architectural state (i.e., memory, registers). However, the side effects on the microarchitectural state, which includes the cache and buffers, are not rolled back and thus can leak possible confidential data that was speculatively accessed (Listing 1). Spectre attacks [1–4] demonstrate that most modern CPUs are affected by this speculation-based vulnerability.
Superconductivity at Tc = 44 K in LixFe2Se2(NH3)y
Creators: name: Scheidt, E. -W.
name: Hathwar, V. R.
name: Schmitz, D.
name: Dunbar, A.
name: Scherer, W.
name: Tsurkan, V.
name: Deisenhofer, J.
name: Loidl, A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Following a recent proposal by Burrard-Lucas et al. [unpublished, arXiv: 1203.5046] we intercalated FeSe by Li in liquid ammonia. We report on the synthesis of new LixFe2Se2(NH3)y phases as well as on their magnetic and superconducting properties. We suggest that the superconducting properties of these new hybride materials appear not to be influenced by the presence of electronically-innocent Li(NH2) salt moieties. Indeed, high onset temperatures of 44 K and shielding fractions of almost 80% were only obtained in samples containing exclusively Lix(NH3)y moieties acting simultaneously as electron donors and spacer units. The c-axis of the new intercalated phases is strongly enhanced when compared to the alkali-metal intercalated iron selenides A1-xFe2-ySe2 with A = K, Rb, Cs, Tl with T c = 32 K.
description: 6 pages, 3 figures
ATP2B1 genotypes rs2070759 and rs2681472 polymorphisms and risk of hypertension in Saudi population
Creators: name: Althwab, Sami A.
name: Ahmed, Ahmed A.
name: Rasheed, Zafar
name: Alkhowailed, Mohammad
name: Hershan, Almonther
name: Alsagaby, Suliman
name: Alblihed, Mohamd A.
name: Alaqeel, Aqeel
name: Alrehaili, Jihad
name: Alhumaydhi, Fahad A.
name: Alkhamiss, Abdullah
name: Abdulmonem, Waleed Al
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer

description: This study examined an association of ATP2B1 gene polymorphism and hypertension in the Saudi population. The 246 hypertensive cases and 300 healthy human controls were genotyped. The results showed that genotypes rs.207075 (CA + AA) [p = 0.05; OR: 95% CI, 1.5:(1.0 to 2.4) and p = 0.001, OR: 95% CI, 2.4: (1.5 to 4.0) and rs2681472 (CT + TT) [p = 0.05; OR: 95% CI, 1.5 (1.0 to 2.4) and p = 0.006 OR: 95% CI, 2.0 (1.2 to 3.1) respectively] associated with the risk of hypertension. Cases carrying the recessive models: [(CA + AA)/(CT + TT)] and [(AA)/(TT)] genotypes confer a strong susceptibility risk of hypertension [p = 0.002; OR: (95%CI) 1.8 (1.2 to 2.6) and p = 0.001; OR: (95%CI) 2.6 (1.5 to 4.7) respectively]. However, cases with body-mass-index (BMI)<25, carrying homozygous mutant genotypes [AA, rs2070759, p = 0.007; OR: (95%CI) 2.75(1.37 to 5.5) and (TT, rs2681472, p = 0.05; OR: (95%CI) 1.96 (1.03 to 3.72)] as well as A allele of rs2070759 [p = 0.006; OR: (95%CI) 1.62 (1.16 to 2.25)] and T allele of rs2681472, p = 0.04, 1.43(1.03 to 1.98)] showed a significant association with high risk of hypertension. In short, a significant association between ATP2B1 gene polymorphism and risk of hypertension was noticed. In addition, individuals carrying recessive genotypes have greater risk in developing hypertension than those carrying dominant genotypes. Moreover, cases with high-risk BMI associated with ATP2B1 variants may play a critical role in developing hypertension. Supplemental data for this article is available online at https://doi.org/10.1080/15257770.2021.1973034 .
Adolescents’ initial experiences of sitting mindfulness meditation
Creators: name: Farzaneh, Babak
Publisher: name: University of British Columbia
Year: 2011

description: Mindfulness-based programs have become popular clinical interventions and are receiving attention in the scientific literature. This qualitative study explored the initial experiences of adolescents with “Sitting Mindfulness Meditation” (SMM: Kabat-Zinn, 1994, 2002), a technique that involves intentionally focusing one’s attention on the physical sensations of the breath while engaging in non-evaluative and non-judgmental observation of one’s thoughts, feelings, and sensations. This study explored SMM using a phenomenological design to answer the question, “What are the initial experiences of adolescents practicing SMM?” Participants, grade 11 and 12 students, were recruited from two secondary high schools in a large metropolitan Canadian city through poster advertisements and contacting high school counsellors. In order to capture the essence of the phenomenon being investigated, two semi-structured interviews were conducted. The first interview followed adolescents’ initial experiences with SMM, using CD instructions from Kabat-Zinn’s Mindfulness-Based Stress Reduction Program (Kabat-Zinn, 2002). The second research interview was conducted a week after the adolescents had practiced SMM every second day for a total of three sessions at home using the CD. The adolescents were encouraged to keep a journal of their experiences at home. All data were analyzed according to Giorgi and Giorgi’s (2003) psychological phenomenological method. Eight major structures capturing participants’ experiences of SMM emerged: a) expectations of SMM; b) attention and concentration; c) distraction; d) awareness; e) self-reflection; f) getting in touch with feelings; g) beneficial experiences; and h) conceptualization of SMM. This study contributes to a greater understanding of how SMM may be experienced by adolescents. Implications for future research and application of mindfulness-based interventions are discussed.
Additional file 1 of Evolocumab attenuate pericoronary adipose tissue density via reduction of lipoprotein(a) in type 2 diabetes mellitus: a serial follow-up CCTA study
Creators: name: Yu, Meng-Meng
name: Zhao, Xin
name: Chen, Yin-Yin
name: Tao, Xin-Wei
name: Ge, Jun-Bo
name: Jin, Hang
name: Zeng, Meng-Su
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Ecology
subject: Biological Sciences not elsewhere classified
subject: Virology
subject: Computational Biology

description: Additional file 1. Evolocumab attenuate pericoronary adipose tissue density via reduction of lipoprotein(a) in type 2 diabetes mellitus: a serial follow-up CCTA study.
Photon Generalized Parton Distributions
Creators: name: Mukherjee, Asmita
name: Nair, Sreeraj
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We present a calculation of the generalized parton distributions of the photon using overlaps of photon light-front wave functions.
description: Talk given at LightCone 2011, 4 pages, 3 figures
Evaluation of the resonance enhancement effect in neutrinoless double-electron capture in 152Gd, 164Er and 180W atoms
Creators: name: Fang, Dong-Lianf
name: Blaum, K.
name: Eliseev, S.
name: Faessler, Amand
name: Krivoruchenko, M. I.
name: Rodin, V.
name: Simkovic, F.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study the resonant neutrinoless double-electron capture (0nECEC) in 152Gd, 164Er and 180W atoms, associated with the ground-state to ground-state nuclear transitions. The corresponding matrix elements are calculated within the deformed QRPA using the realistic Bonn-CD nucleon-nucleon interaction. The half-lives are estimated with the use of the most recent precision data on the Q-values of these processes. Perspectives of experimental search for the 0nECEC with the isotopes 152Gd, 164Er and 180W are discussed.
description: 6 pages
Überlieferungen amerikanischer Walfänger als Quellen zur afrikanischen Geschichte des 19. Jahrhunderts
Creators: name: Schürmann, Felix
Publisher: name: Stichproben - Wiener Zeitschrift für kritische Afrikastudien / Vienna Journal of African Studies
Year: 2016

description: Die historisch orientierte Afrika-Forschung hat von den Überlieferungen amerikanischer Walfänger aus dem 19. Jahrhundert bislang kaum Gebrauch gemacht. Zur Klärung der Frage, inwieweit das Archiv des Walfangs Einsichten in die Sozial- und Kulturgeschichte afrikanischer Küstengesellschaften zu geben vermag, diskutiert der Aufsatz jeweils anhand eines Beispiels vier Sorten von Schriftquellen: Logbücher, Tagebücher, Reiseberichte und Lebenserinnerungen. Dabei konturiert er Seeleute von Walfängern als eine distinktive Akteursgruppe, die sich von anderen äußeren Beobachtern an den Küsten des Kontinents auch dadurch unterscheidet, dass Walfänger kein imperiales Projekt verfolgten.
Rapid Prototyping for Microarchitectural Attacks
Creators: name: Easdon, Catherine
name: Schwarz, Michael
name: Schwarzl, Martin
name: Gruss, Daniel
Publisher: name: CISPA
Year: 2023

description: In recent years, microarchitectural attacks have been demonstrated to be a powerful attack class. However, as our empirical analysis shows, there are numerous implementation challenges that hinder discovery and subsequent mitigation of these vulnerabilities. In this paper, we examine the attack development process, the features and usability of existing tools, and the real-world challenges faced by practitioners. We propose a novel approach to microarchitectural attack development, based on rapid prototyping, and present two open-source software frameworks, libtea and SCFirefox, that improve upon state-of-the-art tooling to facilitate rapid prototyping of attacks. libtea demonstrates that native code attacks can be abstracted sufficiently to permit cross-platform implementations while retaining fine-grained control of microarchitectural behavior. We evaluate its effectiveness by developing proof-of-concept Foreshadow and LVI attacks. Our LVI prototype runs on x86-64 and ARMv8-A, and is the first public demonstration of LVI on ARM. SCFirefox is the first tool for browser-based microarchitectural attack development, providing the functionality of libtea in JavaScript. This functionality can then be used to iteratively port a prototype to unmodified browsers. We demonstrate this process by prototyping the first browser-based ZombieLoad attack and deriving a vanilla JavaScript and WebAssembly PoC running in an unmodified recent version of Firefox. We discuss how libtea and SCFirefox contribute to the security landscape by providing attack researchers and defenders with frameworks to prototype attacks and assess their feasibility.
Irreversible spherical model and its stationary entropy production rate
Creators: name: Hase, M. O.
name: de Oliveira, M. J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The nonequilibrium stationary state of an irreversible spherical model is investigated on hypercubic lattices. The model is defined by Langevin equations similar to the reversible case, but with asymmetric transition rates. In spite of being irreversible, we have succeeded in finding an explicit form for the stationary probability distribution, which turns out to be of the Boltzmann-Gibbs type. This enables one to evaluate the exact form of the entropy production rate at the stationary state, which is non-zero if the dynamical rules of the transition rates are asymmetric.