Miracle-dz/UniFAR-FTUs huggingface dataset:
Utility of Gambling Under p-Additive Joint Receipt and Segregation or Duplex Decomposition

This article continues our exploration of the utility of gambling, but here under the assumption of a non-additive but p(olynomial)-additive representation of joint receipt. That assumption causes the utility of gambling term to have a multiplicative impact, rather than just an additive one, on what amounts to ordinary weighted utility. Assuming the two rational recursions known as branching and upper gamble decomposition, we investigate separately the rational property of segregation and the non-rational one of duplex decomposition. Under segregation, we show that each pair of disjoint events either exhibit weight complementarily or both support no utility of gambling, a property called UofG-singular. We develop representations for both cases. The former representation is simple weighted utility with each term multiplied by a function of the event underlying that branch. The latter representation is ordinary rank dependent utility with Choquet weights but with no utility of gambling. Under duplex decomposition, we show that weights have the intuitively unacceptable property that there is essentially no dependence upon the events, making duplex decomposition, in this context, of little behavioral interest.
Hole/Crack Identification by Static Strains from Multiple Loading Modes

A method using static strains measured from multiple loading modes for the identification of holes and cracks in linear anisotropic elastic materials is introduced. Because of the localized effects of holes/cracks, their existence may not be clearly reflected by a single set of remotely measured boundary strains. By the combining of the concept of multiple loading modes with the technique of nonlinear optimization, several examples of hole/crack identification have been done. During the iteration procedure, the values of the static strains corresponding to the assumed hole/crack geometry and location are obtained by using a recently developed boundary element, which is for linear anisotropic elastic materials and has also been extended to piezoelectric materials. The identified results show that our method for hole/crack identification is stable and accurate for the model problem considered and shows that the method has promise for more complex problems. In addition, the generality of hole profile, the tolerance of measurement error, the spacing and arrangement of sensors, and the flexibility of multiple loading modes are all discussed in detail.
A Case of Peripheral Neuropathy Following Chlorpropamide

Chlorpropamide has been widely used dun;11g the last few years in the treatment of · diabetes mellitus. Its side-effects include anorexia, gastrointestinal disturbances, skin rashes, jaundice, blood dyscrasias and intolerance to alcohol, but there has been no prev· 10us report of neuropathy following the use ~f this drug. Other drugs of the sulphonyurea group have been reported as causing turological damage, allergic polyneuritis
Numerical investigation of hot bulk forming processes with respect to the resulting residual stress distribution

The cost‐ and time‐efficient design of today's manufacturing processes is closely linked to numerical simulations. By developing and applying suitable simulation models, component properties can be specifically predicted and, if necessary, modified according to the customer's specifications. One important aspect of this is the adjustment towards advantageous residual stress profiles, for example to increase service life or wear resistance. Hot forming processes offer the advantage of the interaction of thermal, mechanical and metallurgical effects. In particular, cooling after prior heating and forming, in this case upsetting, results in a phase transformation on the microscale in the material. The residual stress state, which arises from dislocations in the atomic lattice, will be considered in more detail in this contribution.Here, the focus lies on the analysis of microscopic characteristics utilizing a multi‐scale Finite Element model in terms of a FE2 approach.
Analysis of the natural single phase unidirectional SAW transducer

The calculation of fundamental parameters needed for the analysis of a natural single-phase unidirectional transducer (NSPUDT) is reported. Analytical forms for the NSPUDT parameters on arbitrary crystal cuts are given in terms of material constants and electrode geometry. The acoustic-wave velocity, electromechanical-coupling parameter, power-flow angle, static capacitance, transduction coefficient, and reflection from a single strip due to both electrical and mechanical perturbations are found as a function of the propagation angle on ST quartz. The coupling-of-nodes (COM) theory is then used to analyze a practical NSPUDT device. From solutions of the coupled mode equations, the characteristics of radiation admittance and insertion loss are found. The COM-model is verified by comparison with measurements of a device built on an unconventional orientation on ST quartz. <<ETX>>
Change in Field Intensification Factor β of an Electrode Projection (Whisker) at Short Gap Lengths

The field intensification factor, β, was found theoretically to be a function of gap length, projection height, and projection tip radius. The electrode projection was approximated by a grounded plane and separate grounded sphere, the opposing electrode by a charged plane. The results may be used to find the height and tip radius of a projection in a small gap by measuring β as a function of gap length.
Calculation of pitch angle and energy diffusion coefficients with the PADIE code

[1] We present a new computer code (PADIE) that calculates fully relativistic quasi-linear pitch angle and energy diffusion coefficients for resonant wave-particle interactions in a magnetized plasma. Unlike previous codes, the full electromagnetic dispersion relation is used so that interactions involving any linear electromagnetic wave mode in a predominantly cold plasma can be addressed for any ratio of the plasma-frequency to the cyclotron frequency ωpe/∣Ωe∣. The code can be applied to problems in astrophysical, magnetospheric, and laboratory plasmas. The code is applied here to the Earth's radiation belts to calculate electron diffusion by whistler mode chorus, electromagnetic ion cyclotron (EMIC), and Z mode waves. The high-density approximation is remarkably good for electron diffusion by whistler mode chorus for energies E ≥ 100 keV, even for ωpe/∣Ωe∣ ≈ 2 but underestimates diffusion by orders of magnitude at low energies (∼10 keV). When a realistic angular spread of propagating waves is introduced for EMIC waves, electron diffusion at ∼0.5 MeV is only slightly reduced compared with the assumption of field-aligned propagation, but at ∼5 MeV, electron diffusion at pitch angles near 90° is reduced by a factor of 5 and increased by several orders of magnitude at pitch angles 30°–80°. Scattering by EMIC waves should contribute to flattening of the distribution function. The first results for electron diffusion by Z mode waves are presented. They show that unlike the whistler and EMIC waves, energy diffusion exceeds pitch angle diffusion over a broad range of pitch angles less than 45°. The results suggest that Z mode waves could provide a significant contribution to electron acceleration in the radiation belts during storm times.
Protein folding simulations of the hydrophobic–hydrophilic model by combining tabu search with genetic algorithms

In this paper, a novel hybrid algorithm combining genetic algorithms and tabu search is presented. In the proposed hybrid algorithm, the idea of tabu search is applied to the crossover operator. We demonstrate that the hybrid algorithm can be applied successfully to the protein folding problem based on a hydrophobic–hydrophilic lattice model. The results show that in all cases the hybrid algorithm works better than a genetic algorithm alone. A comparison with other methods is also made.
DISTINCT ROLES OF VIRAL US3 AND UL13 PROTEIN KINASES IN HERPES VIRUS SIMPLEX TYPE 1 (HSV-1) NUCLEAR EGRESS

Herpesviruses transport nucleocapsids from the nucleus to the cytoplasm by capsid envelopment into the inner nuclear membrane and de-envelopment from the outer nuclear membrane, a process that is coordinated by nuclear egress complex (NEC) proteins, pUL34, and pUL31. Both pUL31 and pUL34 are phosphorylated by the virus-encoded protein kinase, pUS3, and phosphorylation of pUL31 regulates NEC localization at the nuclear rim. pUS3 also controls apoptosis and many other viral and cellular functions in addition to nuclear egress, and the regulation of these various activities in infected cells is not well understood. It has been previously proposed that pUS3 activity is selectively regulated by another viral protein kinase, pUL13 such that its activity in nuclear egress is pUL13-dependent, but apoptosis regulation is not, suggesting that pUL13 might regulate pUS3 activity on specific substrates. We compared HSV-1 UL13 kinase-dead and US3 kinase-dead mutant infections and found that pUL13 kinase activity does not regulate the substrate choice of pUS3 in any defined classes of pUS3 substrates and that pUL13 kinase activity is not important for promoting de-envelopment during nuclear egress. We also find that mutation of all pUL13 phosphorylation motifs in pUS3, individually or in aggregate, does not affect the localization of the NEC, suggesting that pUL13 regulates NEC localization independent of pUS3. Finally, we show that pUL13 co-localizes with pUL31 inside the nucleus in large aggregates, further suggesting a direct effect of pUL13 on the NEC and suggesting a novel mechanism for both UL31 and UL13 in the DNA damage response pathway. IMPORTANCE Herpes simplex virus infections are regulated by two virus-encoded protein kinases, pUS3 and pUL13, which each regulate multiple processes in the infected cell, including capsid transport from the nucleus to the cytoplasm. Regulation of the activity of these kinases on their various substrates is poorly understood, but importantly, kinases are attractive targets for the generation of inhibitors. It has been previously suggested that pUS3 activity on specific substrates is differentially regulated by pUL13 and, specifically, that pUL13 regulates capsid egress from the nucleus by phosphorylation of pUS3. In this study, we determined that pUL13 and pUS3 have different effects on nuclear egress and that pUL13 may interact directly with the nuclear egress apparatus with implications both for virus assembly and egress and, possibly, the host cell DNA- damage response.
EGGNet, a Generalizable Geometric Deep Learning Framework for Protein Complex Pose Scoring

Computational prediction of molecule-protein interactions has been key for developing new molecules to interact with a target protein for therapeutics development. Past work includes two independent streams of approaches: (1) predicting protein-protein interactions (PPI) between naturally occurring proteins and (2) predicting the binding affinities between proteins and small molecule ligands (aka drug target interaction, or DTI). Studying the two problems in isolation has limited the ability of these computational models to generalize across the PPI and DTI tasks, both of which ultimately involve non-covalent interactions with a protein target. In this work, we developed an Equivariant Graph of Graphs neural Network (EGGNet), a geometric deep learning framework for molecule-protein binding predictions that can handle three types of molecules for interacting with a target protein: (1) small molecules, (2) synthetic peptides and (3) natural proteins. EGGNet leverages a graph of graphs (GoGs) representation constructed from the molecule structures at atomic-resolution and utilizes a multi-resolution equivariant graph neural network (GNN) to learn from such representations. In addition, EGGNet leverages the underlying biophysics and makes use of both atom- and residue-level interactions, which improve EGGNet’s ability to rank candidate poses from blind docking. EGGNet achieves competitive performance on both a public proteinsmall molecule binding affinity prediction task (80.2% top-1 success rate on CASF-2016) and an synthetic protein interface prediction task (88.4% AUPR). We envision that the proposed geometric deep learning framework can generalize to many other protein interaction prediction problems, such as binding site prediction and molecular docking, helping accelerate protein engineering and structure-based drug development.
B cell-intrinsic STAT3-mediated support of latency and interferon suppression during murine gammaherpesvirus 68 infection revealed through an in vivo competition model

Cancers associated with the oncogenic gammaherpesviruses, Epstein-Barr virus and Kaposi sarcoma herpesvirus, are notable for their constitutive activation of the transcription factor STAT3. To better understand the role of STAT3 during gammaherpesvirus latency and immune control, we utilized murine gammaherpesvirus 68 (MHV68) infection. Genetic deletion of STAT3 in B cells of CD19cre/+Stat3f/fmice reduced peak latency approximately 7-fold. However, infected CD19cre/+Stat3f/f mice exhibited disordered germinal centers and heightened virus-specific CD8 T cell responses compared to WT littermates. To circumvent the systemic immune alterations observed in the B cell-STAT3 knockout mice and more directly evaluate intrinsic roles for STAT3, we generated mixed bone marrow chimeras consisting of WT and STAT3-knockout B cells. Using a competitive model of infection, we discovered a dramatic reduction in latency in STAT3-knockout B cells compared to their WT B cell counterparts in the same lymphoid organ. RNA sequencing of sorted germinal center B cells revealed that STAT3 promotes proliferation and B cell processes of the germinal center but does not directly regulate viral gene expression. Last, this analysis uncovered a STAT3-dependent role for dampening type I IFN responses in newly infected B cells. Together, our data provide mechanistic insight into the role of STAT3 as a latency determinant in B cells for oncogenic gammaherpesviruses. IMPORTANCE There are no directed therapies to the latency program of the gammaherpesviruses, Epstein-Barr virus and Kaposi sarcoma herpesvirus. Activated host factor STAT3 is a hallmark of cancers caused by these viruses. We applied the murine gammaherpesvirus pathogen system to explore STAT3 function upon primary B cell infection in the host. Since STAT3 deletion in all CD19+ B cells of infected mice led to altered B and T cell responses, we generated chimeric mice with both normal and STAT3-deleted B cells. B cells lacking STAT3 failed to support virus latency compared to normal B cells from the same infected animal. Loss of STAT3 impaired B cell proliferation and differentiation and led to a striking upregulation of interferon-stimulated genes. These findings expand our understanding of STAT3-dependent processes key to its function as a pro-viral latency determinant for oncogenic gammaherpesviruses in B cells and may provide novel therapeutic targets.
Comparative genomics of Mycoplasma feriruminatoris, a fast-growing pathogen of wild Caprinae

Mycoplasma feriruminatoris is a fast-growing Mycoplasma species isolated from wild Caprinae and first described in 2013. M. feriruminatoris isolates have been associated with arthritis, keratoconjunctivitis, pneumonia and septicemia, but were also recovered from apparently healthy animals. To better understand what defines this species, we performed a genomic survey on 14 strains collected from free-ranging or zoo-housed animals between 1987 and 2017. The average chromosome size of the M. feriruminatoris strains was 1,040 ± 0,024 kbp, with 24% G+C and 852 ± 31 CDS. The core genome and pan-genome of the M. feriruminatoris species contained 628 and 1,312 protein families, respectively. The M. feriruminatoris strains displayed a relatively closed pan-genome, with many features and putative virulence factors shared with species from the M. mycoides cluster, including the MIB-MIP Ig cleavage system, a repertoire of DUF285 surface proteins and a complete biosynthetic pathway for galactan. M. feriruminatoris genomes were found to be mostly syntenic, although repertoires of mobile genetic elements, including Mycoplasma Integrative and Conjugative Elements, insertion sequences, and a single plasmid varied. Phylogenetic- and gene content analyzes confirmed that M. feriruminatoris was closer to the M. mycoides cluster than to the ruminant species M. yeatsii and M. putrefaciens. Ancestral genome reconstruction showed that the emergence of the M. feriruminatoris species was associated with the gain of 17 gene families, some of which encode defense enzymes and surface proteins, and the loss of 25 others, some of which are involved in sugar transport and metabolism. This comparative study suggests that the M. mycoides cluster could be extended to include M. feriruminatoris. We also find evidence that the specific organization and structure of the DnaA boxes around the oriC of M. feriruminatoris may contribute to drive the remarkable fast growth of this minimal bacterium.
The association of the RSC remodeler complex with chromatin depends on prefoldin-like Bud27 and determines nucleosome positioning and polyadenylation sites usage in Saccharomyces cerevisiae

The tripartite interaction between the chromatin remodeler complex RSC, RNA polymerase subunit Rpb5 and prefoldin-like Bud27 is necessary for proper RNA pol II elongation. Indeed lack of Bud27 alters this association and affects transcription elongation. This work investigates the consequences of lack of Bud27 on the chromatin association of RSC and RNA pol II, and on nucleosome positioning. Our results demonstrate that RSC binds chromatin to gene bodies and lack of Bud27 alters this association, mainly around polyA sites. This alteration impacts chromatin organization and leads to the accumulation of RNA pol II molecules around polyA sites, likely to be arrested or slower. Our data suggest that RSC is necessary to maintain chromatin organization around those sites, and any alteration of this organization results in the widespread use of alternative polyA sites. Finally, we also find a similar molecular phenotype that occurs upon TOR inhibition with rapamycin, which suggests that alternative polyadenylation observed upon TOR inhibition is likely Bud27-dependent.
Dynamic Tracking Aggregation with Transformers for RGB-T Tracking

RGB-thermal (RGB-T) tracking using unmanned aerial vehicles (UAVs) involves challenges with regards to the similarity of objects, occlusion, fast motion, and motion blur, among other issues. In this study, we propose dynamic tracking aggregation (DTA) as a unified framework to perform object detection and data association. The proposed approach obtains fused features based a transformer model and an L1-norm strategy. To link the current frame with recent information, a dynamically updated embedding called dynamic tracking identification (DTID) is used to model the iterative tracking process. For object association, we designed a long short-term tracking aggregation module for dynamic feature propagation to match spatial and temporal embeddings. DTA achieved a highly competitive performance in an experimental evaluation on public benchmark datasets.
POWER8

Presents a collection of slides covering the following topics: POWER8 vision; POWER8 processor; POWER8 core; on chip caches; cache bandwidth; memory organization; memory buffer chip; POWER8 integrated PCIe Gen 3; CAPI coherence attach processor interface; socket performance; POWER8 innovation; and power system brand identity.
The norm of the Riemann‐Liouville operator on Lp[0,1]: a probabilistic approach

We obtain explicit lower and upper bounds for the norm of the Riemann–Liouville operator Vs on Lp[0, 1] which are asymptotically sharp, thus completing previous results by Eveson. Similar statements are shown with respect to the norms ||Vs f||p, whenever f satisfies certain smoothness properties. It turns out that the correct rate of convergence of ||Vs f||p as s → ∞ depends both on the infimum of the support of f and on the degree of smoothness of f. We use a probabilistic approach which allows us to give unified proofs.
Vortex Encounter Rates with Fixed Barometer Stations: Comparison with Visual Dust Devil Counts and Large-Eddy Simulations

AbstractA phenomenological model is developed wherein vortices are introduced at random into a virtual arena with specified distributions of diameter, core pressure drop, longevity, and translation speed, and the pressure history at a fixed station is generated using an analytic model of vortex structure. Only a subset of the vortices present are detected as temporary pressure drops, and the observed peak pressure-drop distribution has a shallower slope than the vortex-core pressure drops. Field studies indicate a detection rate of about two vortex events per day under favorable conditions for a threshold of 0.2 mb (1 mb = 1 hPa): this encounter rate and the observed falloff of events with increasing pressure drop can be reproduced in the model with approximately 300 vortices per square kilometer per day—rather more than the highest visual dust devil counts of approximately 100 devils per square kilometer per day. This difference can be reconciled if dust lifting typically only occurs in the field above a.
A Mobile Application for Obesity Early Diagnosis Using CNN-based Thermogram Classification

Obesity is one of the major risk factors for non-communicable diseases. Developing an early obese screening method is crucial to facilitate the early treatment of obese patients. In this study, we proposed a stand-alone mobile application for early diagnosis of obesity based on Convolution Neural Network (CNN) classifier model. The proposed CNN model was developed based on MobileNetV2 by modifying the fully connected layers. We trained the proposed model with the obese thermogram dataset through the transfer learning method and compared the classification performances with pre-trained models. The testing results show that the proposed model achieved an accuracy of 87.50%, a specificity of 100 %, and a sensitivity of 75.00 %. The proposed model demonstrated an optimal fit learning with 2.5 million learning parameters, a computation cost of 0.613 GFLOPs, and a size of 9.8 MB. The proposed model has been deployed and tested into the thermal camera smartphone CAT S62 Pro to do an early diagnosis of obesity.
An Improved Framework for Monkey GUI Testing for EDA Desktop Applications

Graphical User Interface (GUI) tools are essential in Electronic Design Automation (EDA) to facilitate reports visualization and debugging. Yet, the complexity of generated results requires a sophisticated GUI to adhere to different debugging features and use cases. Generally in EDA companies, automated GUI testing is the main testing approach, but it cannot fulfill high coverage so it has to be complemented by more advanced GUI testing techniques such as Monkey testing. For complex desktop applications, native Monkey testing consumes significant time to traverse the available GUI spectrum and cover all elements. This paper initially applies a native Monkey testing approach to EDA GUI-based tools and observes various limitations. Then, it proposes modifications to make use of the automated GUI testing library to have a faster retrieval of the available GUI elements and construct valid test sequences. After that, the paper presents how the improved approach yields a faster generation of more meaningful test sequences with more coverage.