Miracle-dz/UniFAR-FTUs huggingface dataset:
A duality principle for selection games

A dinner table seats k guests and holds n discrete morsels of food. Guests select morsels in turn until all are consumed. Each guest has a ranking of the morsels according to how much he would enjoy eating them; these rankings are commonly known. A gallant knight always prefers one food division over another if it provides strictly more enjoyable collections of food to one or more other players (without giving a less enjoyable collection to any other player) even if it makes his own collection less enjoyable. A boorish lout always selects the morsel that gives him the most enjoyment on the current turn, regardless of future consumption by himself and others. We show the way the food is divided when all guests are gallant knights is the same as when all guests are boorish louts but turn order is reversed. This implies and generalizes a classical result of Kohler and Chandrasekaran (1971) about two players strategically maximizing their own enjoyments. We also treat the case that the table contains a mixture of boorish louts and gallant knights. Our main result can also be formulated in terms of games in which selections are made by groups. In this formulation, the surprising fact is that a group can always find a selection that is simultaneously optimal for each member of the group.
More on Black Holes Perceiving the Dark Dimension

In the last two years the dark dimension scenario has emerged as focal point of many research interests. In particular, it functions as a stepping stone to address the cosmological hierarchy problem and provides a colosseum for dark matter contenders. We reexamine the possibility that primordial black holes (PBHs) perceiving the dark dimension could constitute all of the dark matter in the universe. We re-assess limits on the abundance of PBHs as dark matter candidates from $\gamma$-ray emission resulting from Hawking evaporation. We re-evaluate constraints from the diffuse $\gamma$-ray emission in the direction of the Galactic center which offer the best and most solid upper limits on the dark matter fraction composed of PBHs. The revised mass range which allows PBHs to assemble all cosmological dark matter is estimated to be $10^{15} \alt M_{\rm BH}/{\rm g} \alt 10^{21}$. We demonstrate that due to the constraints from $\gamma$-ray emission, quantum corrections due to the speculative memory burden effect do not modify this mass range. We also investigate the main characteristics of PBHs which are localized in the bulk. We show that PBHs localized in the bulk can make all cosmological dark matter if $10^{11} \alt M_{\rm BH}/{\rm g} \alt 10^{21}$. Finally, we comment on the black holes that could be produced if one advocates a space with two boundaries for the dark dimension.
Tumultuous Relationship between the Human Immunodeficiency Virus Type 1 Viral Infectivity Factor (Vif) and the Human APOBEC-3G and APOBEC-3F Restriction Factors

SUMMARY The viral infectivity factor (Vif) is dispensable for human immunodeficiency virus type 1 (HIV-1) replication in so-called permissive cells but is required for replication in nonpermissive cell lines and for pathogenesis. Virions produced in the absence of Vif have an aberrant morphology and an unstable core and are unable to complete reverse transcription. Recent studies demonstrated that human APOBEC-3G (hA3G) and APOBEC-3F (hA3F), which are selectively expressed in nonpermissive cells, possess strong anti-HIV-1 activity and are sufficient to confer a nonpermissive phenotype. Vif induces the degradation of hA3G and hA3F, suggesting that its main function is to counteract these cellular factors. Most studies focused on the hypermutation induced by the cytidine deaminase activity of hA3G and hA3F and on their Vif-induced degradation by the proteasome. However, recent studies suggested that several mechanisms are involved both in the antiviral activity of hA3G and hA3F and in the way Vif counteracts these antiviral factors. Attempts to reconcile the studies involving Vif in virus assembly and stability with these recent findings suggest that hA3G and hA3F partially exert their antiviral activity independently of their catalytic activity by destabilizing the viral core and the reverse transcription complex, possibly by interfering with the assembly and/or maturation of the viral particles. Vif could then counteract hA3G and hA3F by excluding them from the viral assembly intermediates through competition for the viral genomic RNA, by regulating the proteolytic processing of Pr55Gag, by enhancing the efficiency of the reverse transcription process, and by inhibiting the enzymatic activities of hA3G and hA3F.
Triaging older major trauma patients in the emergency department: an observational study

Background The objective of this study was to compare the triage category assigned to older trauma patients with younger trauma patients upon arrival to the emergency department. The focus was to examine whether older major trauma patients were less likely to be assigned an emergency triage category on arrival to the emergency department after controlling for relevant demographics, injury characteristics and injury severity. Methods This was an observational study using data from the Queensland Trauma Registry. All trauma patients aged 15 years and older who presented to contributing hospitals between 1 January 2005 and 31 December 2009 with an Injury Severity Score (ISS)>15 were included. Logistic regression analysis examined the odds of assignment to emergency (Australasian Triage Scale (ATS) 1 or 2) versus urgent (ATS 3–5) treatment for patients across various age categories after adjustment for relevant demographics, injury characteristics and injury severity. Results The study used data on 6923 patients with a median (IQR) age of 43 (26–62) years and a mortality of 11.4% (95% CI 10.7% to 12.2%). Compared with individuals aged 15–34, the adjusted odds of being assigned an ATS category 1 or 2 were 30% lower (OR=0.68, 95% CI 0.57 to 0.81) for individuals aged 55–75 years and were 50% lower (OR=0.46, 95% CI 0.37 to 0.56) for individuals aged 75 years or older. Conclusions Among patients with an ISS>15, older major trauma patients were less likely to be assigned an emergency triage category compared with younger patients. This suggests that the elderly may be undertriaged and provides a potential area of study for reducing mortality and morbidity in older trauma patients.
Deploying software functionality to manufacturing resources safely at runtime

Automated manufacturing systems are becoming increasingly flexible in order to support a growing number of different products and product variations, as well as shortening lot sizes and product life cycles. Many manufacturing resource are already multi-purpose. But they are integrated in an automation infrastructure that may require significant effort to adapt. In this contribution, we present a system architecture for the deployment of software functionality to manufacturing resources safely at runtime. The architecture integrates software model verification to ensure the integrity of new functionality, software-defined networking (SDN) to establish new communication pathways for collaboration, and the close interaction between a flexible runtime execution environment and its safety-critical counterpart.
Multiplexing Fluorescence Polarization Assays to Increase Information Content Per Screen: Applications for Screening Steroid Hormone Receptors

As the push to reduce cost per well in high-throughput screening reaches the practical limitations of liquid handling, future cost savings will likely arise from an increase in information content per well. One strategy to increase information content is to perform discreet assays against multiple targets in a single well. In such assays, reagent usage and liquid handling steps do not scale-up in direct proportion to the increase in information content, providing for a simple method to increase data points per screen without further reductions in assay volume. The authors have used tracers incorporating the spectrally distinct fluorophores fluorescein and TAMRA to develop a high-throughput assay to identify selective estrogen receptor α or proges-terone receptor ligands. Selectivity is assessed immediately in this assay, with no requirement for separate follow-up screening to determine selectivity. This methodology is easily adaptable to other target classes.
RELI11D: A Comprehensive Multimodal Human Motion Dataset and Method

Comprehensive capturing of human motions requires both accurate captures of complex poses and precise localization of the human within scenes. Most of the HPE datasets and methods primarily rely on RGB, LiDAR, or IMU data. However, solely using these modalities or a combination of them may not be adequate for HPE, particularly for complex and fast movements. For holistic human motion understanding, we present RELI11D, a high-quality multimodal human motion dataset involves LiDAR, IMU system, RGB camera, and Event camera. It records the motions of 10 actors performing 5 sports in 7 scenes, including 3.32 hours of synchronized LiDAR point clouds, IMU measurement data, RGB videos and Event steams. Through extensive experiments, we demonstrate that the RELI11D presents considerable challenges and opportunities as it contains many rapid and complex motions that require precise location. To address the challenge of integrating different modalities, we propose LEIR, a multimodal baseline that effectively utilizes LiDAR Point Cloud, Event stream, and RGB through our cross-attention fusion strategy. We show that LEIR exhibits promising results for rapid motions and daily motions and that utilizing the characteristics of multiple modalities can indeed improve HPE performance. Both the dataset and source code will be released publicly to the research community, fostering collaboration and enabling further exploration in this field.
Energy Storage Technologies: The Past and the Present

With the recent advances in the field of applications which require a certain power level over a short period of timeand with the air-quality constraints which have become more stringent in the last few decades, the energy storagesystems (ESSs) have come to play a crucial role for the electric grid. Various aspects such as the historical evolutionof ESSs, technical characteristics, and applications for the ESSs are thoroughly addressed. Special emphasis is given tothe interaction between the smart grid (SG) and microcrogrids applications, on the one hand, and the ESSs, on the otherhand. Thus, the main goal of this work is to present the specialist and nonspecialist review of the most important ESSscurrently available on the market.
Effective Immobilization of Agrobacterium sp. IFO 13140 Cells in Loofa Sponge for Curdlan Biosynthesis

Curdlan production by Agrobacterium sp. IFO13140 immobilized on loofa sponge, alginate and loofa sponge with alginate was investigated. There was no statistically-significant difference in curdlan production when the microorganism was immobilized in different matrices. The loofa sponge was chosen because of its practical application and economy and because it provides a high stability through its continued use. The best conditions for immobilization on loofa sponge were 50 mg of cell, 200 rpm and 72 h of incubation, which provided a curdlan production 1.50-times higher than that obtained by free cells. The higher volumetric productivity was achieved by immobilized cells (0.09 g/L/h) at 150 rpm. The operating stability was evaluated, and until the fourth cycle, immobilized cells retained 87.40% of the production of the first cycle. The immobilized cells remained active after 300 days of storage at 4 °C. The results of this study demonstrate success in immobilizing cells for curdlan biosynthesis, making the process potentially suitable for industrial scale-up. Additional studies may show a possible contribution to the reduction of operating costs.
Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems

In this paper, we consider a decentralized cooperative control policy proposed recently for steering multiple nonholonomic vehicles between assigned start and goal configurations while avoiding collisions. The policy is known to ensure safety (i.e., collision avoidance) for an arbitrarily large number of vehicles, if initial configurations satisfy certain conditions. The method is highly scalable, and effective solutions can be obtained for several tens of autonomous agents. On the other hand, the liveness properties of the policy, i.e. the capability of negotiating a solution in finite time, are not completely understood yet. In this paper, we introduce a condition on the final vehicle configurations, which we conjecture to be necessary and sufficient for guaranteeing liveness. We prove the necessity by a constructive method. Because of the overwhelming complexity of proving the sufficiency of such condition, we assess the correctness of the conjecture in probability through the analysis of the results of a large number of randomized experiments
On the Performance of Low-complexity Decoders of LDPC and Polar Codes

Efficient decoding is crucial to high-throughput and low-power wireless communication scenarios. A theoretical analysis of the performance-complexity tradeoff toward low-complexity decoding is required for a better understanding of the fundamental limits in the above-mentioned scenarios. This study aims to explore the performance of decoders with complexity constraints. Specifically, we investigate the performance of LDPC codes with different numbers of belief-propagation iterations and the performance of polar codes with an SSC decoder. We found that the asymptotic error rates of both polar codes and LDPC codes are functions of complexity $T$ and code length $N$, in the form of $2^{-a2^{b\frac{T}{N}}}$, where $a$ and $b$ are constants that depend on channel and coding schemes. Our analysis reveals the different performance-complexity tradeoffs for LDPC and polar codes. The results indicate that if one aims to further enhance the decoding efficiency for LDPC codes, the key lies in how to efficiently pass messages on the factor graph. In terms of decoding efficiency, polar codes asymptotically outperform $(J, K)$-regular LDPC codes with a code rate $R \le 1-\frac{J(J-1)}{2^J+(J-1)}$ in the low-complexity regime $(T \le O(NlogN))$.
Development of Full-Length cDNAs from Chinese Cabbage (Brassica rapa Subsp. pekinensis) and Identification of Marker Genes for Defence Response

Arabidopsis belongs to the Brassicaceae family and plays an important role as a model plant for which researchers have developed fine-tuned genome resources. Genome sequencing projects have been initiated for other members of the Brassicaceae family. Among these projects, research on Chinese cabbage (Brassica rapa subsp. pekinensis) started early because of strong interest in this species. Here, we report the development of a library of Chinese cabbage full-length cDNA clones, the RIKEN BRC B. rapa full-length cDNA (BBRAF) resource, to accelerate research on Brassica species. We sequenced 10 000 BBRAF clones and confirmed 5476 independent clones. Most of these cDNAs showed high homology to Arabidopsis genes, but we also obtained more than 200 cDNA clones that lacked any sequence homology to Arabidopsis genes. We also successfully identified several possible candidate marker genes for plant defence responses from our analysis of the expression of the Brassica counterparts of Arabidopsis marker genes in response to salicylic acid and jasmonic acid. We compared gene expression of these markers in several Chinese cabbage cultivars. Our BBRAF cDNA resource will be publicly available from the RIKEN Bioresource Center and will help researchers to transfer Arabidopsis-related knowledge to Brassica crops.
A nontrivial uniform algebra Dirichlet on its maximal ideal space

It is shown that there exists a nontrivial uniform algebra that is Dirichlet on its maximal ideal space and has a dense set of elements that are exponentials. This answers a 64-year-old question of John Wermer and a 16-year-old question of Garth Dales and Joel Feinstein. Our example is P(X) for a certain compact set X in complex Euclidean 2-space ($\mathbb{C}^2$). It is also shown that there exists a logmodular uniform algebra with proper Shilov boundary but with no nontrivial Gleason parts. This answers a modified form of another 64-year-old question of Wermer.
NIGHT -- Non-Line-of-Sight Imaging from Indirect Time of Flight Data

The acquisition of objects outside the Line-of-Sight of cameras is a very intriguing but also extremely challenging research topic. Recent works showed the feasibility of this idea exploiting transient imaging data produced by custom direct Time of Flight sensors. In this paper, for the first time, we tackle this problem using only data from an off-the-shelf indirect Time of Flight sensor without any further hardware requirement. We introduced a Deep Learning model able to re-frame the surfaces where light bounces happen as a virtual mirror. This modeling makes the task easier to handle and also facilitates the construction of annotated training data. From the obtained data it is possible to retrieve the depth information of the hidden scene. We also provide a first-in-its-kind synthetic dataset for the task and demonstrate the feasibility of the proposed idea over it.
Disambiguating Different Covariation Types

Covariations in neuronal latency or excitability can lead to peaks in spike train covariograms that may be very similar to those caused by spike timing synchronization (see companion article). Two quantitative methods are described here. The first is a method to estimate the excitability component of a covariogram, based on trial-by-trial estimates of excitability. Once estimated, this component may be subtracted from the covariogram, leaving only other types of contributions. The other is a method to determine whether the covariogram could potentially have been caused by latency covariations.
A Novel Corpus of Annotated Medical Imaging Reports and Information Extraction Results Using BERT-based Language Models

Medical imaging is critical to the diagnosis, surveillance, and treatment of many health conditions, including oncological, neurological, cardiovascular, and musculoskeletal disorders, among others. Radiologists interpret these complex, unstructured images and articulate their assessments through narrative reports that remain largely unstructured. This unstructured narrative must be converted into a structured semantic representation to facilitate secondary applications such as retrospective analyses or clinical decision support. Here, we introduce the Corpus of Annotated Medical Imaging Reports (CAMIR), which includes 609 annotated radiology reports from three imaging modality types: Computed Tomography, Magnetic Resonance Imaging, and Positron Emission Tomography-Computed Tomography. Reports were annotated using an event-based schema that captures clinical indications, lesions, and medical problems. Each event consists of a trigger and multiple arguments, and a majority of the argument types, including anatomy, normalize the spans to pre-defined concepts to facilitate secondary use. CAMIR uniquely combines a granular event structure and concept normalization. To extract CAMIR events, we explored two BERT (Bi-directional Encoder Representation from Transformers)-based architectures, including an existing architecture (mSpERT) that jointly extracts all event information and a multi-step approach (PL-Marker++) that we augmented for the CAMIR schema.
Navigating Eukaryotic Genome Annotation Pipelines: A Route Map to BRAKER, Galba, and TSEBRA

Annotating the structure of protein-coding genes represents a major challenge in the analysis of eukaryotic genomes. This task sets the groundwork for subsequent genomic studies aimed at understanding the functions of individual genes. BRAKER and Galba are two fully automated and containerized pipelines designed to perform accurate genome annotation. BRAKER integrates the GeneMark-ETP and AUGUSTUS gene finders, employing the TSEBRA combiner to attain high sensitivity and precision. BRAKER is adept at handling genomes of any size, provided that it has access to both transcript expression sequencing data and an extensive protein database from the target clade. In particular, BRAKER demonstrates high accuracy even with only one type of these extrinsic evidence sources, although it should be noted that accuracy diminishes for larger genomes under such conditions. In contrast, Galba adopts a distinct methodology utilizing the outcomes of direct protein-to-genome spliced alignments using miniprot to generate training genes and evidence for gene prediction in AUGUSTUS. Galba has superior accuracy in large genomes if protein sequences are the only source of evidence. This chapter provides practical guidelines for employing both pipelines in the annotation of eukaryotic genomes, with a focus on insect genomes.
Análise espaço-temporal de parâmetros de qualidade de água no alto São Francisco e sua relação com intervenções antrópicas

O objetivo do presente trabalho foi investigar a qualidade da agua e os impactos ambientais relacionados na bacia do Alto Sao Francisco. Os seguintes parâmetros de qualidade da agua foram avaliados: temperatura da agua, pH (potencial hidrogenionico), condutividade eletrica, oxigenio dissolvido (OD), cloreto, chumbo, cadmio, zinco, ferro e manganes, os quais foram obtidos junto a Agencia Nacional das Aguas. Na regiao da Usina hidreletrica de Tres Marias e proximidades, os recursos naturais estao comprometidos seriamente e a qualidade de agua e a pior da regiao. Nessa area a concentracao de chumbo atingiu maximos valores de 30,1 mg L-1 e 56 mg L-1. Foram sugeridas praticas conservacionistas no uso e manejo do solo, planejamento urbano, monitoramento da qualidade hidrica, protecao das areas marginais e implantacao de projetos de educacao ambiental, entre outras. Palavras-chave: uso e manejo do solo, usina hidreletrica de Tres Marias, oxigenio dissolvido, poluicao hidrica e degradacao ambiental. ABSTRACT The objective of the present work was to investigate the quality of the water and the related ambient impacts in the basin of the High San Francisco. The following parameters of quality of the water had been evaluated: temperature of the water, pH (potential hidrogenionic), electric condutividade, dissolved oxygen (OD), chloride, lead, cadmium, zinc, iron and manganese, which had been gotten through to National Agency of Waters. In the region of the Hydroelectric of Three Marias and neighborhoods, the natural resources are compromised seriously and the quality of water is the worse one of the region. In this area the lead concentration reached maximums values of 30.1 mg L-1 and 56 mg L-1. Practical conservatives in the use and handling of the ground, urban planning, monitoring of the hydric quality, protection of the areas edges and implantation of projects of ambient education had been suggested, among others. Key-words: use and handling of the ground, hydroelectric of Three Marias, dissolved oxygen, hidrics pollution and ambient degradation.
University of Birmingham Integration of texture and disparity cues to surface slant in dorsal visual cortex

• Users may freely distribute the URL that is used to identify this publication. • Users may download and/or print one copy of the publication from the University of Birmingham research portal for the purpose of private study or non-commercial research. • User may use extracts from the document in line with the concept of ‘fair dealing’ under the Copyright, Designs and Patents Act 1988 (? ) • Users may not further distribute the material nor use it for the purposes of commercial gain.