Miracle-dz/UniFAR-FTUs huggingface dataset:
Possible Chromosomal and Germline Integration of Human Herpesvirus 7 (HHV-7).

Human herpesvirus 7 (HHV-7) is a betaherpesvirus and is phylogenetically related to both HHV-6A and HHV-6B. The presence of telomeric repeat sequences at both end of its genome should make it equally likely to integrate into human telomere as HHV-6. However, numerous studies have failed to detect germline integration of HHV-7 suggesting an important difference between the HHV-6A/-6B and HHV-7 genomes. In search of possible germline integrated HHV-7, we developed a sensitive and quantitative real time PCR assay and discovered that primers designed against some parts of HHV-7 genome can frequently miss HHV-7 positive clinical samples even though they work efficiently in cell culture derived HHV-7 positive materials. Using a primer pair against U90 ORF of HHV-7, we identified a possible case of germline integration of HHV-7 with one copy of viral genome per cell in both peripheral blood cell and hair follicles. Chromosomal integration of HHV-7 in these individuals was confirmed by FISH analysis. Germline integration of HHV-7 was further confirmed by detection of ~2.6 copies of HHV-7 in hair follicles of one of the parents. Our results shed light on complex nature of HHV-7 genome in human derived materials in comparison to cell culture-derived materials and ask for stringent criteria for selection of primers for epidemiological HHV-7 studies.
Program ACTIVE II: Outcomes From a Randomized, Multistate Community-Based Depression Treatment for Rural and Urban Adults With Type 2 Diabetes

OBJECTIVE Depression (major depressive disorder [MDD]) in adults with type 2 diabetes mellitus (T2DM) is associated with worsened diabetes complications, increased health care costs, and early mortality. Program ACTIVE II was a randomized, controlled, multicenter treatment trial designed to test the comparative effectiveness of cognitive behavioral therapy (CBT) and/or community-based exercise (EXER) on diabetes and depression outcomes compared with usual care (UC). RESEARCH DESIGN AND METHODS Using a 2 × 2 factorial randomized controlled trial design, adults with T2DM for ≥1 year who met DSM-IV-TR criteria for MDD were randomized to CBT (10 sessions occurring over 12 weeks; N = 36), EXER (12 weeks of community-based exercise including six sessions with a personal trainer; N = 34), CBT+EXER (concurrent over a 12-week period; N = 34), and UC (N = 36). Primary outcomes were depression remission rate (assessed by psychiatric interviewers blind to assignment) and change in glycemic control (HbA1c). RESULTS The mean age was 56.0 years (SD 10.7). Participants were female (77%), white (71%), and married (52%). After controlling for education and antidepressant use, odds of achieving full MDD remission in the intervention groups were 5.0–6.8 times greater than UC (P < 0.0167). The CBT+EXER group demonstrated improved HbA1c compared with UC. For participants with a baseline HbA1c ≥7.0%, exploratory post hoc subgroup analysis showed that the CBT+EXER group had a 1.1% improvement in HbA1c (P < 0.0001) after controlling for covariates. CONCLUSIONS The Program ACTIVE behavioral treatment interventions demonstrated clinically meaningful improvements in depression outcomes in adults with T2DM and MDD. These community-based interventions are complementary to medical care and extend access to those in rural and urban areas.
Cloud Computing Task Scheduling Based on Pheromone Dynamic Adaptive Ant Colony Optimization

Cloud computing is an Internet-based computing method that provides computers and other devices with shared software and hardware resources and information on the Internet according to their demands. Task scheduling is a core issue of cloud computing. Aiming at the resource scheduling problem of cloud computing, a task scheduling model of DQACO is proposed by improving the pheromone Q in the traditional ant colony optimization. Experiments show that the DQACO algorithm performs better in task completion time and can achieve better scheduling of tasks in the cloud environment.
Modal Logics are Coalgebraic

Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The coalgebraic approach is generic and compositional: tools and techniques simultaneously apply to a large class of application areas and can, moreover, be combined in a modular way. In particular, this facilitates a pick-and-choose approach to domain-specific formalisms, applicable across the entire scope of application areas, leading to generic software tools that are easier to design, to implement and to maintain. This paper substantiates the authors’ firm belief that the systematic exploitation of the coalgebraic nature of modal logic will not only have impact on the field of modal logic itself but also lead to significant progress in a number of areas within computer science, such as knowledge representation and concurrency/mobility.
Multi-GPU Rendering with Vulkan API

Vulkan API provides a low level interface to modern Graphics Processing Units (GPUs). With this thesis, we demonstrate how to use Vulkan to send commands explicitly to separate GPUs for implementing platformand vendor independent multi-GPU rendering. We describe how to implement the sortrst and sort-last approaches to perform parallel rendering with Vulkan. We introduce an abstraction library which we have made available, and an application for multi-GPU rendering of meshes. The introduced solution is the rst publicly available implementation of heterogeneous multi-GPU rendering with Vulkan API. The introduced abstraction library supports creating partial renderers for the sortrst and sort-last approaches to multi-GPU rendering, and takes care of the details of multi-GPU synchronization and compositing. Performance benchmarks have been performed in order to evaluate the implementation. The sort-last implementation has been tested to render geometry with high-resolution textures, which would otherwise not t in the memory of a single GPU.
Estimation of Mixed Layer Depth in the Gulf of Aden: A New Approach

The mixed layer depth (MLD) in Gulf of Aden is analyzed using vertical high resolution (1m) profiles of both temperature and density. Firstly, we examined threshold and gradient methods for estimating the MLD. Close evaluation with individual profiles reveals the failure of both methods for most of the profiles. Furthermore, the curvature method, a relatively recent approach to define ocean MLDs, is established for open water profiles but for marginal seas, like the Gulf of Aden, it detects shallower depths than the actual MLD. These considerable differences motivated us to introduce a new approach of MLD identification, which is developed based on curvature method and is called segment method. Our segment method produces adequate MLD estimates for more than 95% of the profiles and overcomes major limitations of conventional methods. It is less biased and least scattered compared to other methods with a correlation coefficient > 0.95. The mixed layer in Gulf of Aden displays significant seasonal variability and is deeper in winter. Throughout the year, the western part of gulf experiences deeper mixed layer than the eastern part. Regional eddies dominate Gulf of Aden’s MLD pattern during all seasons.
MIMO radar demystified and where it makes sense to use

Contrary to claims made Multiple Input and Multiple Output (MIMO) radars do not provide an order of magnitude better angle resolution, accuracy and identifiability over conventional radars. What is claimed: MIMO array radar system consisting of a full transmit array and thinned receive array (or vice versa; called here a full/thin array) provides an order of magnitude or more of accuracy, resolution and identifiability, the ability to resolve and identify targets than a conventional array. This claim for MIMO results from making the wrong comparison to a full conventional array rather than to a conventional full/thin array. It is shown here that a conventional full/thin array radar can have the same angle accuracy, resolution and identifiability as a MIMO full/thin array. Moreover the conventional full/thin array example given here can have a better search energy efficiency. Where does the MIMO radar provide a better angle accuracy than a conventional radar? A monostatic MIMO array radar does provide a better angle accuracy than its conventional monostatic equivalent, but it is only about a factor of 1/√2 (29 percent) better and its resolution is the same. Alternately, a monostatic MIMO array radar can offer the advantage of the same accuracy as a conventional monostatic array radar with a smaller aperture size, one that is 1/√2 = 0.707 smaller, or equivalently 29 percent smaller. This improved accuracy comes at a heavy computation cost. For a MIMO monostatic linear array of N elements ≥ N2 matched filters (MFs) are needed versus just N for its conventional equivalent. The factor ≥ results from the need for a bank of F ≥ 1 MFs being needed for the MIMO array. A bank of F MFs are need because the MF for an orthogonal waveform is usually Doppler intolerant. In contrast a conventional array would use a linear FM waveform (chirp waveform) which is Doppler tolerant. An alternate approach for achieving this factor of √2 advantage is to simply increase the radiated power of a conventional radar by a factor of 2. This latter approach to getting the √2 advantage has to be traded off against the cost resulting from the throughput increase required when using MIMO. MIMO radar is best for search not for track, unless track-while-scan. For track, conventional array processing should be used for maximum energy efficiency and to reduce the signal processing requirements. When a MIMO array is used to search a large scan angle, it is best for maximum search energy efficiency to use subarrays of the array as the elements of the MIMO array to form what we call a subarray-MIMO (SA-MIMO). When searching a small scan angle, the subarrays should be sized so that the volume of space illuminated by the subarrays of the SA-MIMO array matches, or is smaller than, the volume of space to be searched. Using SA-MIMO reduces the processing throughput requirements. MIMO radar in the near term will be useful for coherent and incoherent combining of existing radars to achieve about a 9 dB better power-aperture-gain (PAG).
Modeling dynamic channel allocation algorithms in multi-BS TDD wireless networks with Internet based traffic

Extensive measurements of wireless Internet traffic from a campus wide IEEE 802.11 b network are used to create binomial and dynamic traffic models. We then develop a two-base-station, two-zone wireless time-division-duplex interference model which describes the spatial features of interference between co-channel MS in adjacent BS. We present a set of candidate TDD channel allocation algorithms which vary in their level of timeslot coordination and intelligent allocation between BS. Lastly, we combine the Internet traffic models, TDD interference models and channel allocation algorithms to demonstrate the capacity for evaluating dynamic channel allocation algorithms in realistic interference and wireless Internet traffic scenarios. The theoretical analysis and simulation results show that the fixed allocation algorithms perform poorly, particularly with dynamic traffic and that the intelligent BS coordination algorithm performs best overall.
Phosphorization-synthesized virtual substrates for low-cost high efficiency III-V photovoltaics

The use of the low-cost vapor-liquid-solid (VLS) crystal growth method in the manufacturing of III-V solar cell substrates has the potential to provide a lightweight, flexible, and cheaper alternative to traditional epitaxial-based substrates typical of state-of-the-art power generation technology. In this work, the VLS method is used to produce high-quality poly- crystalline indium phosphide (InP) on lightweight flexible metal foils. This novel method is expanded upon by growing materials with unique lattice constants. Compositions of Inx Ga1−xP are explored to target the lattice constant (5.8 A) identified as a promising candidate for surpassing 50% efficiency at 30 suns. X-ray diffraction results of preliminary trials verify the presence of InP and the absence of In confirming full phosphorization of In into InP. The photoluminescence spectra shows a correlation between the VLS grown InP sample and single crystal InP, both emitting at the InP bandedge of 1.337 eV.
IR Models: Foundations and Relationships

IR models form a core part of IR research. This tutorial consolidates the foundations of IR models, and highlights relationships that help to better understand IR models. The first part of the tutorial reviews the state-of-the-art, and the second part shows insights into the relationships between TF-IDF, the Probability of Relevance Framework (PRF), BM25, language modelling (LM), probabilistic inference networks (PIN's), and Divergence-from-Randomness (DFR).
Due Diligence: Problematic Aspects of a Modern Auditing Service

— This paper presents the author view on problematic aspects of the due diligence procedure as a modern auditing service. Conducting the due diligence involves an investment research. The results of this research include identification of risks, that can make influence on a proposed capital market transaction, and the design of risk management techniques. The author notes one important problem – currently there are no professional audit standards and methodological recommendations in Russian legis-lation governing the process of organization and conducting of the due diligence procedure. The objectives of this article are to syn-thesize the results of earlier studies and to determine the key ele-ments of the concept needed to develop the working technique of conducting the due diligence in Russia. In this paper tasks are determined as the presentation of an algorithm for risk assessment for the due diligence, the proposal of the draft due diligence standard, the formation of a glossary of terms for the working technique of the due diligence. The relevance of the topic is determined by the necessity of the innovative development of theo-retical and methodological bases of auditing in Russia. The conditions for further improvement of professional practices should be made to provide high-level audit related and other audit services to meet today's information needs of investors, who make deci-sions in changing and risky economic conditions.
Neuromuscular blockers and ARDS.

patients with the acute respiratory distress syndrome (ARDS) treat-ed early with cisatracurium had improved 90-day survival and an increased number of ventilator-free days. We are concerned about a number of methodologic limitations that detract from the reliability of the findings. First, considering that patients who are not paralyzed can trigger the ventilator and paralyzed patients cannot, adequate blinding of study-group assignments among care-givers would seem to have been nearly impossi-ble. Furthermore, patient−ventilator dyssynchrony was not formally monitored, nor were strategies to deal with it prespecified.
Power-Capacity-Based Bus-Voltage Region Partition and Online Droop Coefficient Tuning for Real-Time Operation of DC Microgrids

Multiple-voltage-region control, in which the bus-voltage range is divided into several regions, is usually implemented for dc microgrid operation in distributed manner. Voltage/power droop relationships are imposed for active power sharing among slack terminals. Conventionally, threshold voltages for voltage region partition are determined with fixed percentage of variation around the nominal value, which may result in unevenness of droop coefficients in different regions. If system droop coefficient is too high, significant bus-voltage step change due to load variation will occur. On the other hand, significant power sharing error among slack terminals will be induced if the droop coefficient is too low. In this paper, a compromised solution with power-capacity-based bus-voltage region partition is proposed to equalize the droop coefficients in different regions. However, the droop coefficients are determined based on the rated power capacity of system units. Bus-voltage discontinuity appears when the power capacity reduces in actual implementation. To eliminate the voltage discontinuity, online droop coefficient tuning according to the real-time power capacity is implemented. Algorithms for local power capacity estimation of solar photovoltaic (PV) and battery energy storage have been proposed. A lab-scale dc microgrid has been developed for verification of the proposed methods.
An Effective Autofocus Method for Fast Factorized Back-Projection

Back-projection (BP) is a reliable synthetic aperture radar (SAR) imaging algorithm because of its high-resolution and strong adaptability. However, it is hard to implement because of its high computational complexity. Fast factorized BP (FFBP) is a new way to fix this problem. Like traditional BP, FFBP is compatible with arbitrary flight paths if the track deviations are measured within fractions of a wavelength. However, when the motion information is not accurate enough, autofocus become an important way to get well-focused images. In this paper, we present an effective autofocus method for FFBP to solve the imaging problem caused by platform’s motion errors. First, an image quality evaluation function with unknown phase error based on image sharpness for FFBP is established. Then, the phase error computation for autofocus is modeled as an optimization problem. Second, the coordinate descent (CD) and secant processing are introduced to the maximum image sharpness problem. The proposed method keeps the rapid imaging performance of FFBP and solves well the motion error compensation problem. In the end, simulated data and real data were used to verify the effectiveness of the proposed algorithm.
Numerical simulation of impact noise generated at the railway insulated joint

This paper presents a full finite element (FE) model of wheel-track interaction to study the wheel-rail impact noise excited by an insulated joint (IJ). The integration is performed in the time domain with an explicit central difference scheme. The vibratory behaviour of the track and wheel model are respectively validated with hammer test and Axle Box Acceleration (ABA) measurement. By making use of the calculated velocities and pressures on the vibrating surfaces, the boundary element method (BEM) based on Helmholtz equation is adopted to transform the vibrations of the wheel-track into acoustic signals. The decay rate of impact noise at different frequency bands during propagation are analysed. The predictions of total impact noise radiation and the noise contributions of different track components are in good agreement with results reported in the literature, while the effective frequency range is successfully extended from 5 kHz to 10 kHz.
Study on the effect of the phosphor distribution on the phosphor layer temperature in light emitting diodes by lattice Boltzmann method

The phosphor-converted light emitting diodes (LEDs) are the most frequently used white light LED. Due to the Stoke's loss, the silicone/phosphor composites generate a considerable amount of heat. However, as a result of different sedimentation times or coating processes, the phosphor particles present different distributions in the silicone matrix, which has been proved to strongly influence the performance and the reliability of LEDs. A lattice Boltzmann model with heat source is established to investigate the effect of phosphor particle distributions on the local temperature in the phosphor layer. The phosphor heat generation was calculated by a modified Kubelka-Munk theory. Simulations were conducted under four different phosphor particle distributions which correspond to four cases: homogeneous distribution, partial sedimentation, complete sedimentation, and remote coating, respectively. Then the temperature fields of the phosphor layer under these conditions were obtained. The minimum and maximum temperatures in the phosphor layer were analyzed to investigate the effect of phosphor self-heating under different phosphor particle distributions. According to the simulation results, different phosphor particle distributions lead to the hotspot location shift and different temperatures. The minimum temperatures were hardly influenced under different phosphor particle distributions, while the maximum temperatures have a difference over 26 K between these different cases. The remote coating brings the highest temperature which reaches 374.049 K and the phosphor sedimentation can decrease the maximum to a certain extent. The phosphor self-heating with different phosphor particle distributions brings obvious influence on LED thermal management.
Modeling and Nonlinear Heading Control of Sailing Yachts

This paper presents a study on the development and testing of a model-based heading controller for a sailing yacht. Using Fossen's compact notation for marine vehicles, we first describe a nonlinear four-degree-of-freedom (DOF) dynamic model for a sailing yacht, including roll. Our model also includes two possible steering mechanisms: a conventional rudder and a simple moving mass system. Starting from this model, we then design, for both steering mechanisms, a nonlinear heading controller using the integrator backstepping method, which exponentially stabilizes the heading/yaw dynamics. By computing the equilibrium points of the system, the course is related to the heading angle, and course control is also achieved. A few simulation results are presented to illustrate the behavior of our control designs.
Hydrothermal synthesis of SnQ (Q = Te, Se, S) and their thermoelectric properties

Lead-free IV–VI semiconductors SnQ (Q = Te, Se, S) are deemed as promising thermoelectric (TE) materials. In this work, we designed a hydrothermal route to selectively synthesize single phase SnTe, SnSe and SnS nanopowders. For all three samples, the phase structure were characterized by x-ray diffraction, SnTe particles with octahedron structure and SnSe/SnS particles with plate-like shape were observed by field emission scanning electron microscopy and transmission electron microscopy, the formation mechanism was discussed in detail. Then, SnTe, SnSe and SnS nanopowders were densified by spark plasma sintering for investigating TE properties. It was noticed that SnSe and SnS exhibited remarkably anisotropy in both electrical and thermal properties attributed to the layered crystal structure. The highest ZT values 0.79 at 873 K, 0.21 at 773 K, and 0.13 at 773 K were achieved for SnTe, SnSe and SnS bulk samples, respectively.
On sharp-interface dual-grid level-set method for two-phase flow simulation

Abstract Dual-grid level-set method (DGLSM), originally proposed for diffuse-interface LSM, is presented here for sharp-interface LSM—called as sharp-interface dual-grid level-set method (SI-DGLSM). Numerical methodology is presented in detail, with a finite-volume-method-based generic formulation. Performance study is presented for the novel SI-DGLSM as compared to the DI-DGLSM and the SI-LSM, by comparing the numerical results with in-house/published experimental/numerical results on five different two-phase flow problems. Accuracy of the partially refined SI-DGLSM is close to that of the fine-grid-based at a computation cost which is close to that of the coarse-grid-based