Miracle-dz/UniFAR-FTUs huggingface dataset:
Allocating Isolation Levels to Transactions in a Multiversion Setting

A serializable concurrency control mechanism ensures consistency for OLTP systems at the expense of a reduced transaction throughput. A DBMS therefore usually offers the possibility to allocate lower isolation levels for some transactions when it is safe to do so. However, such trading of consistency for efficiency does not come with any safety guarantees. In this paper, we study the mixed robustness problem which asks whether, for a given set of transactions and a given allocation of isolation levels, every possible interleaved execution of those transactions that is allowed under the provided allocation is always serializable. That is, whether the given allocation is indeed safe. While robustness has already been studied in the literature for the homogeneous setting where all transactions are allocated the same isolation level, the heterogeneous setting that we consider in this paper, despite its practical relevance, has largely been ignored. We focus on multiversion concurrency control and consider the isolation levels that are available in Postgres and Oracle: read committed (RC), snapshot isolation (SI) and serializable snapshot isolation (SSI). We show that the mixed robustness problem can be decided in polynomial time. In addition, we provide a polynomial time algorithm for computing the optimal robust allocation for a given set of transactions, prioritizing lower over higher isolation levels. The present results therefore establish the groundwork to automate isolation level allocation within existing databases supporting multiversion concurrency control.
Applications of Sketching and Pathways to Impact

Data summaries (a.k.a., sketches) are compact data structures that can be updated flexibly and efficiently to capture certain properties of a data set. Well-known examples include set summaries (Bloom Filters) and cardinality estimators (e.g., Hyperloglog), amongst others. PODS and SIGMOD have been home to many papers on sketching, including several best paper recipients. Sketch algorithms have emerged from the theoretical research community, but have found wide impact in practice. This paper describes some of the impacts that sketches have had, from online advertising to privacy-preserving data analysis. It will consider the range of different strategies that researchers can follow to encourage the adoption of their work, and what has and has not worked for sketches as a case study.
Water vapour products from ERA5, MERSI‐II/FY‐3D, OLCI/Sentinel‐3A, OLCI/Sentinel‐3B, MODIS/Aqua and MODIS/Terra in Australia: A comparison against in situ GPS water vapour data

Australia is a region of high sensitivity to the El Niño–Southern Oscillation events in association with atmospheric water vapour, which is an essential atmospheric parameter in hydrological cycle, energy transport and climate monitoring. In this article, we thoroughly validated the quality of multisource precipitable water vapour (PWV) products sourced from ERA5 reanalysis, advanced Medium Resolution Spectral Imager (MERSI‐II) sensor on the FY‐3D satellite, Ocean and Land Colour Instrument (OLCI) sensor on the Sentinel‐3A and Sentinel‐3B satellites, and Moderate Resolution Imaging Spectroradiometer (MODIS) sensor on the Aqua and Terra satellites. The PWV estimates measured by 453 in situ Global Positioning System (GPS) sites from 1 June 2019 to 31 May 2020 over Australia were employed as the common reference. The validation results show that all the reanalysis‐based and satellite‐based PWV products had a good agreement with reference GPS‐based PWV data. ERA5 reanalysis had the highest PWV accuracy with a root‐mean‐square error (RMSE) of 2.016 mm and a relative RMSE (RRMSE) of 12.038%, while the MODIS/Terra instrument had the lowest PWV accuracy (RMSE = 4.903 mm and RRMSE = 34.187%). In contrast to the MERSI‐II/FY‐3D instrument that underestimated PWV, the PWV data from ERA5, OLCI/Sentinel‐3A, OLCI/Sentinel‐3B, MODIS/Aqua and MODIS/Terra overestimated the water vapour values. The quality of reanalysis‐based and satellite‐based PWV measurements showed significant dependencies on several variables – location, PWV, solar zenith angle, season, elevation, land surface cover and latitude. It is expected that this research can help enhance the understanding of the quality of reanalysis and satellite water vapour products in Australia, that is, ERA5, OLCI/Sentinel‐3A, OLCI/Sentinel‐3B, MODIS/Aqua and MODIS/Terra. This work could provide an insight into improving the accuracy of reanalysis‐based and satellite‐based PWV data products after exploring the dependency factors that affect PWV performance as presented in our work.
Modal-Based Damage Detection of a Composite Helicopter Main Rotor Blade

This work presents experimental results for structural health monitoring method based on modal properties. The test subject is a composite helicopter main rotor blade, which is a highly flexible, slender beam that can display unusual dynamic behavior with orthotropic properties. A damage method detection based on the coordinate modal assurance criterion (COMAC) was implemented and evaluated on a real-size helicopter main rotor blade. This method uses the global modal properties of the system to identify and locate damaged based on a sensor network. Additionally, simpler methods of tracking changes and detecting damage are evaluated, such as natural frequency tracking and modal assurance criterion (MAC). A test setup was built to carry out an experimental modal analysis on the main rotor blade. For that purpose, a total of 55 uniaxial accelerometers were used for the sensor network along the blade in a way to measure the most significant vibration modes and an electrodynamic shaker was used to excite the system. Vibration modes and natural frequencies were identified by means of a least squares fit (PolyMAX), with damage being simulated on the blade by attaching a small mass to it, changing its global properties this way. Experimental results for the damage detection techniques are shown and a comparison between the methods is also made.
Outcomes of Revision Arthroscopic Posterior Labral Repair and Capsulorrhaphy: A Systematic Review

Background: Failure rates up to 14% have been reported after arthroscopic posterior capsulolabral repair. It is unknown if revision arthroscopic posterior capsulolabral stabilization has inferior restoration of stability and return to sport when compared with primary repair. Optimal management of failed posterior capsulolabral stabilization is unknown. Purpose: To report outcomes of revision posterior capsulolabral repair and factors that contribute to failure and to determine optimal management of failed posterior stabilization procedures. Study Design: Systematic review; Level of evidence, 4. Methods: A computerized search of the PubMed, EMBASE, and Web of Science databases and manual screening of selected article reference lists were performed in January 2022. Randomized controlled trial, cohort, case-control, and case series studies reporting clinical outcomes of revision arthroscopic posterior capsulolabral repair were eligible. Patient characteristics, indications for revision, intraoperative findings, surgical techniques, and patient-reported outcomes were recorded. Owing to heterogeneity of reported outcomes, data were summarized and presented without pooled statistics. Results: Only 3 of the 990 identified studies met inclusion criteria. The included studies encompassed 26 revision arthroscopic posterior capsulolabral repairs, with follow-up ranging from 2.3 to 5.3 years. The failed index procedure was arthroscopic capsulolabral repair with suture anchors (n = 22) or posterior thermal capsulorrhaphy (n = 4). The primary indications for revision were recurrent instability and pain. Six patients experienced recurrent instability after revision. Patient satisfaction ranged from 15% to 25%. Conclusion: This systematic review of 3 studies demonstrated that the incidence of persistent pain and recurrent instability after revision arthroscopic posterior shoulder stabilization is common, and despite slight improvement in patient-reported outcomes, many patients are dissatisfied with their clinical outcomes. Revision arthroscopic posterior shoulder stabilization appears to have a significant failure rate, and there is need for additional prospective studies to help determine the best intervention for these patients.
Synthesis and characterization of polysulfone-graft-poly(vinylchloride)-graft-2-methylimidazole membranes with Cu2O nanoparticles

Poly (sulphone) (PSu) was chemically grafted with PVC via Friedel-Crafts alkylation reaction at 85°C for 2 h under N2 atmosphere. Further, it was treated with 2-Methylimidazole (2MI) in the presence of Cu2O nanoparticle catalyst in N-methylpyrrolidone (NMP) medium for 2 h under nitrogen atmosphere with stirring. Thus synthesized PSu-g-PVC-g-2MI/Cu2O nanocomposite was characterized by FT-IR, 1H-NMR spectroscopy, DSC, TGA, XPS, SEM, EDX, HR-TEM, WCA and mechanical testing. The FT-IR spectrum showed a peak at 534 cm−1 corresponding to the metal-oxide stretching. The methyl proton signal of 2MI from the resultant polymer appeared at 2.40 ppm in the 1H-NMR spectrum. The glass transition (Tg) temperature and degradation temperature (Td) of the PSu-g-PVC-g-2MI/Cu2O nanocomposite system was determined as 169.2°C and 628°C respectively. The surface water contact angle of the resultant polymer nanocomposite system was found to be 48.1° and confirmed the hydrophilic nature of the membrane. The XPS showed the presence of Cu2p at 930.2 eV derived from Cu2O nanocatalyst. The experimental results were deeply analyzed and compared with the results of the other research teams.
Single-cell RNA sequencing reveals microenvironment context-specific routes for epithelial-mesenchymal transition in pancreas cancer cells

In the PDAC tumor microenvironment, multiple factors initiate the epithelial-mesenchymal transition (EMT) that occurs heterogeneously among transformed ductal cells, but it is unclear if different drivers promote EMT through common or distinct signaling pathways. Here, we use single-cell RNA sequencing (scRNA-seq) to identify the transcriptional basis for EMT in pancreas cancer cells in response to hypoxia or EMT-inducing growth factors. Using clustering and gene set enrichment analysis, we find EMT gene expression patterns that are unique to the hypoxia or growth factor conditions or that are common between them. Among the inferences from the analysis, we find that the FAT1 cell adhesion protein is enriched in epithelial cells and suppresses EMT. Further, the receptor tyrosine kinase AXL is preferentially expressed in hypoxic mesenchymal cells in a manner correlating with YAP nuclear localization, which is suppressed by FAT1 expression. AXL inhibition prevents EMT in response to hypoxia but not growth factors. Relationships between FAT1 or AXL expression with EMT were confirmed through analysis of patient tumor scRNA-seq data. Further exploration of inferences from this unique dataset will reveal additional microenvironment context-specific signaling pathways for EMT that may represent novel drug targets for PDAC combination therapies.
ChromaX: a fast and scalable breeding program simulator

Summary ChromaX is a Python library that enables the simulation of genetic recombination, genomic estimated breeding value calculations, and selection processes. By utilizing GPU processing, it can perform these simulations up to two orders of magnitude faster than existing tools with standard hardware. This offers breeders and scientists new opportunities to simulate genetic gain and optimize breeding schemes. Availability and Implementation The documentation is available at https://chromax.readthedocs. io The code is available at https://github.com/kora-labs/chromax Contact omargallalaly.younis@inf.ethz. ch, luca.corinzia@inf.ethz. ch, matteo.turchetta@inf.ethz. ch
Search for non-prompt photons in a diphoton and large missing transverse momentum final state at the ATLAS Detector

A search for non-prompt photons in diphoton events with large missing transverse energy at the ATLAS detector is presented in this thesis. This search was performed using data collected from proton-proton collisions provided by the Large Hadron Collider at CERN at two energies: 4.8 fb^-1 collected at a center of mass energy of 7 TeV in 2011 and 20.3 fb^-1 collected at a center of mass energy of 8 TeV in 2012. The theoretical motivation for this search lies in the Gauge Mediated Symmetry Breaking models in which the lightest neutralino can be long-lived and decay to a photon and a gravitino, which is stable and the source of missing transverse momentum in these models. The photons produced in these decays have two unique properties due to the finite lifetime of the neutralino: they will not point back to the primary collision vertex and they will arrive at the electromagnetic calorimeter delayed compared to promptly produced photons. These two signatures were used to search for non-prompt photons in a simplified model in which the only two free parameters are the lifetime of the neutralino and the effective supersymmetry breaking scale, corresponding to the mass of the neutralino. In the two datasets, no significant excess over the Standard Model predictions was observed. These results were used to set exclusion limits on the lifetime and mass of the lightest neutralinos at the 95% confidence level: neutralinos with lifetimes varying from 250 ps to 50 ns in the mass range of 95 GeV to 240 GeV were excluded by the 7 TeV analysis, neutralinos with lifetimes varying from 250 ps to 100 ns in the mass range of 120 GeV to 440 GeV were excluded by the 8 TeV analysis.
Structural evidence for MADS-box type I family expansion seen in new assemblies of A. arenosa and A. lyrata

Arabidopsis thaliana diverged from A. arenosa and A. lyrata at least 6 million years ago and are identified by genome-wide polymorphisms or morphological traits. The species are to a high degree reproductively isolated, but hybridization barriers are incomplete. A special type of hybridization barrier is based in the triploid endosperm of the seed, where embryo lethality is caused by endosperm failure to support the developing embryo. The MADS-box type I family of transcription factors are specifically expressed in the endosperm and has been proposed to play a role in endosperm-based hybridization barriers. The gene family is well known for a high evolutionary duplication rate, as well as being regulated by genomic imprinting. Here we address MADS-box type I gene family evolution and the role of type I genes in the context of hybridization. Using two de-novo assembled and annotated chromosome-level genomes of A. arenosa and A. lyrata ssp. petraea we analyzed the MADS-box type I gene family in Arabidopsis to predict orthologs, copy number and structural genomic variation related to the type I loci. Our findings were compared to gene expression profiles sampled before and after the transition to endosperm cellularization in order to investigate the involvement of MADS-box type I loci in endosperm-based hybridization barriers. We observed substantial differences in type-I expression between A. arenosa and A. lyrata ssp. petraea in the endosperm, suggesting a genetic cause for the endosperm-based hybridization barrier in A. arenosa and A. lyrata ssp. petraea hybrid seeds.
MIRROR IMAGE RULES II: LEXICON AND PHONOLOGY

As defined for syntax, the mirror image convention allows two rules to be collapsed into a single rule when they are mirror images of one another-i.e., when the terms of their structure indices and output sequences are identical, but occur in exactly reverse order.l By this convention, the hypothetical transformations T1 and T2 can be collapsed as T3, where the asterisk marks a mirror image rule.
Overcoming donor variability and risks associated with fecal microbiota transplants through bacteriophage-mediated treatments

Fecal microbiota transplantation (FMT) and fecal virome transplantation (FVT, sterile filtrated donor feces) have proven effective in treating recurrent Clostridioides difficile infection (rCDI). However, variability in donor materials and costly screening, coupled with concerns (motivated by case reports) over pathogen transfer with FMT or FVT, hinders their wider clinical application in treating less acute diseases. Although FVT presents safety advantages over FMT by transferring no bacteria, the presence of eukaryotic viruses poses a risk of harmful infections. To overcome these challenges, we developed methods to broaden FVT’s clinical application while maintaining efficacy and increasing safety. Namely: 1) chemostat-fermentation to reproduce the bacteriophage FVT component and remove eukaryotic viruses (FVT-ChP); 2) solvent-detergent treatment to inactivate enveloped viruses (FVT-SDT); and 3) pyronin-Y treatment to block RNA-virus replication (FVT-PyT). We evaluated the efficacy of these processed FVTs using a CDI mouse model and compared them with untreated FVT (FVT-UnT), FMT, and saline control. FVT-UnT, FVT-SDT, and FVT-ChP significantly reduced C. difficile colonization, limited CDI symptoms and reduced the incidence of mice reaching humane endpoints compared with the saline control. This proof-of-concept opens the possibility of developing safer and more effective phage-mediated therapies for a broad range of gut-related diseases and addresses the reproducibility issues associated with fecal donor material. Summary Fecal viromes depleted of enveloped viruses efficiently treat Clostridioides difficile- associated diarrhea in a murine model.
Permeabilization status affects the relationship between basal metabolic rate and mitochondrial respiration in great tit blood cells

Although mitochondrial respiration is believed to explain a substantial part of the variation in whole-animal basal (BMR) or resting metabolic rate (RMR), few studies have addressed the relationship between organismal and cellular metabolism and how this may vary in environments where individual demands for energy differ. We investigated the relationship between whole-individual metabolic rate, measured in temperatures ranging thermoneutrality to far below thermoneutrality, and mitochondrial respiration of intact or permeabilized blood cells in two separate studies on wild great tits (Parus major L.). Our results show that, in permeabilized cells, there are significant positive relationships between BMR or RMR and several mitochondrial traits, including phosphorylating respiration rate through both complexes I and II (i.e., OXPHOS respiration). However, surprisingly, the LEAK respiration (i.e., basal respiration that mainly counteract for proton leakage) was not related to BMR or RMR. When measurements were performed using intact blood cells, BMR was positively related to ROUTINE respiration (i.e., mitochondrial respiration on endogenous substrates) in one of the two studies, but no other mitochondrial traits could explain variation in BMR or RMR in any thermal environment. These studies seem to show that the level of activation of mitochondrial metabolism as well as the permeabilization status of blood cells play a primary role on the extent to which blood metabolism might explain variations in the whole-individual metabolic rate.
The study of two-particle response functions in strongly correlated electron systems within the dynamical mean field theory

OF THE DISSERTATION The study of two-particle response functions in strongly correlated electron systems within the dynamical mean field theory by Hyowon Park Dissertation Director: Prof. Kristjan Haule In this thesis, we tackle various problems in strongly correlated electron systems, which can be addressed properly via the non-perturbative dynamical mean field theory (DMFT) approach using the continuous time quantum Monte Carlo method as an impurity solver. First, we revisit the old Nagaoka ferromagnetism problem in the U = ∞ Hubbard model and study the stability of the ferromagnetic state as a function of the temperature, the doping level, and the next-nearest-neighbor hopping t. We then address the nature of the Mott transition in the twodimensional Hubbard model at half-filling using cluster DMFT. Cluster DMFT can incorporate the short-range correlations beyond DMFT by extending the spatial range in which correlations are treated exactly to a finite cluster size. The non-local correlations reduce substantially the critical interaction U and modify the shape of the transition lines in the phase diagram. We then concentrate on the calculation of two-particle response functions from the ab initio perspective by means of computing the one-particle excitation spectrum using the combination of the density functional theory (DFT) and DMFT and extracting the two-particle irreducible
ICCHP-AAATE 2022 Open Access Compendium "Assistive Technology, Accessibility and (e)Inclusion" Part I Older Adults’ Experiences of Using Digital Health Technology for Multimorbidity Self-Management - Findings from a Longitudinal Study

It is widely accepted that digital health technologies can support the self-management of chronic disease, aiding in symptom and lifestyle monitoring and management, encouraging behaviour change, and sharing data amongst a care network. However, little is understood about how older adults with multiple chronic conditions might digitally self-manage. In this paper, we present findings from a longitudinal 12-month trial whereby older adults with multimorbidity used the ProACT digital health platform to self-manage their conditions. Interviews were conducted with participants at four time-points during the trial and data were thematically analysed. Findings presented in this article relate to three themes, the learning journey of participants, routines and strategies of using the technology, and facilitators and barriers to use. This paper demonstrates that older adults with multiple chronic conditions are willing and capable of engaging in digital self-management, and that this cohort can develop and master the technical skills necessary for self-management.
ICT Effects on Firms’ Export Decisions: Evidence for Colombian Manufacturing

This work aims at exploring the impact of several indicators of ICT on firms’ export decisions for Colombian manufacturing. To study this decision, we specify a model that accounts for sunk costs, firm experience in exporting and the impact of importing on exporting, and we estimate a dynamic (panel data) discrete model for the decision to export. To undertake this study, we merge three data bases at the firm level for Colombia: the Annual Manufacturing Survey (EAM), the Technological Development and Innovation Survey (EDIT) and the Annual ICT Manufacturing Survey (EAM-TIC), for the period 2013-2016. Our results show that ICTs have a significant and positive impact on firms’ propensity to export, regardless the ICT category examined. Our work also confirms the existence of persistence on firms’ exports, self-selection, and depreciation of export experience. This evidence contributes to the scarce empirical literature on this topic for emerging economies, such as Colombia.
Undular Hydraulic Jump

The transition from subcritical to supercritical flow when the inflow Froude number F o is close to unity appears in the form of steady state waves called undular hydraulic jump. The characterization of the undular hydraulic jump is complex due to the existence of a non-hydrostatic pressure distribution that invalidates the gradually-varied flow theory, and supercritical shock waves. The objective of this work is to present a mathematical model for the undular hydraulic jump obtained from an approximate integration of the Reynolds equations for turbulent flow assuming that the Reynolds number R is high. Simple analytical solutions are presented to reveal the physics of the theory, and a numerical model is used to integrate the complete equations. The limit of application of the theory is discussed using a wave breaking condition for the inception of a surface roller. The validity of the mathematical predictions is critically assessed using physical data, thereby revealing aspects on which more research is needed.