Miracle-dz/UniFAR-FTUs huggingface dataset:
Scalable Register File Architecture for CGRA Accelerators by Shail Dave A Thesis Presented in Partial Fulfillment of the Requirements for the Degree Master of Science Approved November 2016 by the Graduate Supervisory Committee: Aviral Shrivastava, Chair

Coarse-grained Reconfigurable Arrays (CGRAs) are promising accelerators capable of accelerating even non-parallel loops and loops with low trip-counts. One challenge in compiling for CGRAs is to manage both recurring and nonrecurring variables in the register file (RF) of the CGRA. Although prior works have managed recurring variables via rotating RF, they access the nonrecurring variables through either a global RF or from a constant memory. The former does not scale well, and the latter degrades the mapping quality. This work proposes a hardware-software codesign approach in order to manage all the variables in a local nonrotating RF. Hardware provides modulo addition based indexing mechanism to enable correct addressing of recurring variables in a nonrotating RF. The compiler determines the number of registers required for each recurring variable and configures the boundary between the registers used for recurring and nonrecurring variables. The compiler also pre-loads the read-only variables and constants into the local registers in the prologue of the schedule. Synthesis and place-and-route results of the previous and the proposed RF design show that proposed solution achieves 17% better cycle time. Experiments of mapping several important and performance-critical loops collected from MiBench show proposed approach improves performance (through better mapping) by 18%, compared to using constant memory.
Optimization of radio resource allocation in uplink green LTE networks. (Optimisation de l'allocation des ressources radio le lien montant d'un réseau OFDMA sous contraintes de consommation d'énergie)

Actually, 3rd Generation Partnership Project (3GPP) Long Term Evolution (LTE) networks present a major advance in cellular technology. They offer significant improvements in terms of spectrum efficiency, delay and bandwidth scalability, thanks to the simple architecture design and the use of the Orthogonal Frequency Division Multiplexing (OFDM) based access techniques in the physical layer. In LTE architecture, the evolved Node B (eNB) is considered as the single node between the User Equipment (UE) and the Evolved Packet Core (EPC). Consequently, the eNB is responsible of the mobility and the Radio Resource Management (RRM). This thesis studies the uplink RRM in green LTE networks, using the Single Carrier Frequency Division Multiple Access (SC-FDMA) technique. The objective is the throughput maximization in a distributed radio resource allocation architecture. Hence, a channel dependent RRM is studied. First, to evaluate the channel condition metrics, a new Inter-Cell Interference (ICI) estimation model is proposed, when a power control process is applied to the UEs transmission power. The ICI estimation model validation and robustness against environment variations are established analytically and with simulations. Then, the LTE networks dimensioning is investigated. The adequate 3GPP standardized bandwidth that can be allocated to each cell in order to satisfy the UEs Quality of Service (QoS) is evaluated in random networks, by considering the statistical behavior of the networks configuration, and depending on the used RRM policy: fair or opportunistic Resource Block (RB) allocations, for Single Input Single Output (SISO) and Multiple Input and Multiple Output (MIMO) systems. In addition, the MIMO diversity and multiplexing gains are discussed. As a standardized bandwidth is allocated to a cell, the RRM of the limited number of available RBs is investigated. Therefore, a new radio resource allocation algorithm, respecting the SC-FDMA constraints, is proposed in SISO systems. It efficiently allocates the RBs and the UE transmission power to the users. The proposed RB allocation algorithm is adapted to the QoS differentiation. The proposed channel dependent power control considers a minimum guaranteed bit rate that the UE should reach. The performances of the proposed RRM are compared with the performances of other well known schedulers, respecting the SC-FDMA constraints, found in the literature. Finally, the proposed RB allocation algorithms are also extended to the Multi-User MIMO (MU-MIMO) systems where a new transceiver is proposed. It combines the Zero Forcing (ZF) and the Maximum Likelihood (ML) decoders at the receiver side.
Application of Convolutional Neural Networks to Four-Class Motor Imagery Classification Problem

In this paper the use of a novel feature extraction method oriented to convolutional neural networks (CNN) is discussed in order to solve four-class motor imagery classification problem. Analysis of viable CNN architectures and their influence on the obtained accuracy for the given task is argued. Furthermore, selection of optimal feature map image dimension, filter sizes and other CNN parameters used for network training is investigated. Methods for generating 2D feature maps from 1D feature vectors are presented for commonly used feature types. Initial results show that CNN can achieve high classification accuracy of 68% for the four-class motor imagery problem with less complex feature extraction techniques. It is shown that optimal accuracy highly depends on feature map dimensions, filter sizes, epoch count and other tunable factors, therefore various fine-tuning techniques must be employed. Experiments show that simple FFT energy map generation techniques are enough to reach the state of the art classification accuracy for common CNN feature map sizes. This work also confirms that CNNs are able to learn a descriptive set of information needed for optimal electroencephalogram (EEG) signal classification. DOI: http://dx.doi. org/10.5755/j01.itc. 46.2. 17528
Combined ab initio computational and experimental multinuclear solid‐state magnetic resonance study of phenylphosphonic acid

1H, 13C, 17O and 31P NMR parameters, including chemical shift tensors and quadrupolar parameters for 17O, were calculated for phenylphosphonic acid, C6H5PO(OH)2, under periodic boundary conditions. The results are in very good agreement with experimental data and permit the unambiguous assignment of all the sites present in the structure. In particular, the 17O NMR parameters of the PO and P—OH environments were precisely determined, which should help in the characterization of the bonding mode of phosphonate molecules in hybrid solids. Moreover, the effect of intermolecular interactions on the NMR parameters were investigated by comparing the results of the calculations in the crystal and in an isolated molecule of phenylphosphonic acid. Copyright © 2004 John Wiley & Sons, Ltd.
Quercetin/oleic acid-based G-protein-coupled receptor 40 ligands as new insulin secretion modulators.

AIM Management of Type 2 diabetes mellitus by diet is achievable at the early stage of the disease; patients usually underestimate this approach and an appropriate drug therapy is required. RESULTS Starting from quercetin and oleic acid, that have effect on insulin secretion, a small set of hybrid molecules was synthesized. Insulin secretion was evaluated in both in vitro and ex vivo models. AV1 was able to enhance insulin secretion dose dependently, behaving as a conceivable agonist of G-protein-coupled receptor 40. CONCLUSION AV1 represents an interesting tool that interacts with G-protein-coupled receptor 40. Further studies will be carried out to evaluate the exact binding mode, and also to enlarge the library of these antidiabetic agents. [Formula: see text].
Occurrence of neuropathological changes and dementia of Alzheimer's disease in Down's syndrome

One hundred brains of patients with Down's syndrome(DS) who died in insstitutions for chronic care were exemined for clinicopathological correlation of Alzheimer's disease. Fifty‐one were below and 49 were above age 30 years at death. Tissues from the right, prefrontal, and hippocampal cortices were processed for microscopy using H & E and Bodian‐periodic acid‐schiff impregnation. M orphometric evluations of plaques and tangles were carried out Plaques or plaques and tangles were found in the brains of 56 patients with DS, 7 below age 30 and 49 above the age of 30. The brains of the patients with DS who also had clinical dementia had more than twenty plaques or plaques and tangles per 1.5 × 106 μm2 of cortex. The numbers of plaques and tangles found in the brains of the patients with DS above the age of 30 greatly increased with age but varied from brain to brain. These observations suggest a coreelation among dementia, the density of plaques and tangles, and age. All 100 brains studied showed early arrest of brain growth and brain atrophy, a condition that may have been due to prenatal arrest of neurogenesis mainly in the granular cell layers, prenatal and postnatal arrest of synaptogenesis, and early aging. Plaques and tangles developed twenty to thirty years earlier and dementia was clinically detected at least three times more frequently (20 to 30%) in DS than it is known to occur in the non‐DS population.
Verification and validation studies of OpenFOAM for transonic compressible flow simulations inside high voltage circuit breaker diffusers

Accurate compressible flow simulations are known to improve the prediction quality of breakdown voltages in various test duties of high voltage circuit breakers. In this paper, we systematically investigate the solver quality of the open source CFD code OpenFOAM in handling transonic flow phenomena that typically occur inside the breaking chamber of high voltage circuit breakers, during contact separation. The solver quality is then compared with that of chosen commercial CFD tools. The main advantage of OpenFOAM is that, contrary to most of the commercial simulation tools, it is license fee free and allows access to the source code. This means that complicated multi- physics phenomena inside the arcing chamber can be directly modelled into the code by users, which opens an opportunity to remove limitations of commercial CFD tools. This paper consists of a number of verification and validation studies. Particularly, the shock capturing capability of OpenFOAM will be evaluated for the transonic internal flow which typically occurs in high voltage circuit breakers. The solver quality of OpenFOAM will then be compared with a number of benchmark commercial CFD tools. Overall, OpenFOAM shows acceptable shock capturing capabilities in the performed verification and validation studies, with the solver quality comparable to some of the tested commercial CFD tools. There is still room for further solver quality improvements in OpenFOAM by implementing better shock capturing schemes such as a density-based flux-difference-splitting scheme or by writing better physical modelling of the shock/boundary layer interaction into the open architecture of OpenFOAM. Considering the unlimited extensibility of the open architecture and the already proven CFD solver quality, a large part of the high voltage circuit breaker development activities can be benefited by introducing an OpenFOAM-based simulation technology.
DEVELOPMENT AND VALIDATION OF A SENSITIVE BIOANALYTICAL METHOD FOR THE DETERMINATION OF SUMATRIPTAN IN RAT PLASMA BY UPLC-MS

Objective: To develop a new, sensitive and specific isocratic ultra performance liquid chromatography mass spectrometry (UPLC-MS) method for the determination of sumatriptan in rat plasma using paracetamol as an internal standard (IS). Method: Chromatographic separation of the analyte and internal standard was achieved on a Hypersil Gold C18 (8μ, 4.6×150mm) analytical column. The mobile phase was composed of methanol and MQ water (90:10, v/v), pumped isocratically at a flow rate of 500μL/min. Result: The calibration curve was linear over a concentration range of 0.1 to 1 ng/mL (r 2 = 0.9982) with a limit of quantification 0.1 ng/mL of sumatriptan. The intra-day and inter-day precision and accuracy were between 1.003 and 2.401% and 0.317 and 2.317%, respectively. Sumatriptan containing plasma samples were stable under three freeze–thaw cycles, autosampler conditions, bench top stability and at -220c for 30 days. Conclusion: The proposed method uses less biological material and is MS compatible. This high sensitive and simple validated method can be used in pharmacokinetic application studies using HPLC or LC-MS.
Study on chemical fingerprinting of crude and processed Atractylodes macrocephala from different locations in Zhejiang province by reversed-phase high-performance liquid chromatography coupled with hierarchical cluster analysis

Background: In China, Atractylodes macrocephala is mainly distributed in Zhejiang province. It is, therefore, desirable to determine a reliable and accurate methodology to differentiate the samples collected from Zhejiang province. Although some studies on the fingerprints of Atractylodes macrocephala using HPLC have been published, none of them compared the processed product of Atractylodes macrocephala from different areas of Zhejiang province. Materials and Methods: Reversed-phase high-performance liquid chromatography (RP-HPLC) coupled with hierarchical cluster analysis was employed in the fingerprint analysis of Atractylodes macrocephala from Zhejiang province, China. The LC assay was performed on a reversed-phase C18 column with linear gradient elution using water and acetonitrile. The LC data showed considerable variation of chemical constituents among Atractylodes macrocephala populations. Results: 21 and 22 characteristic peaks in the 14 grants of Atractylodes macrocephala and its processed product were determined in samples from different habitats of Zhejiang province, respectively. Their chromatographic patterns were generally consistent although their contents of chemical compositions were greatly different. The results of hierarchical cluster analysis showed that the samples could be divided into four groups; it was able to select excellent resources from the groups. Conclusion: This was the first report of hierarchical cluster analysis of crude and processed Atractylodes macrocephala according to their chemical fingerprints and could be applied to the intrinsic quality control of crude and processed Atractylodes macrocephala. The processing technique of Atractylodes macrocephala through the pilot-scale experiment was first studied and is simple and suitable for prepared yin pian of Atractylodes macrocephala industrial manufacture.
A Unified View of Piecewise Linear Neural Network Verification

The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the reputation of learned NN models to behave as black boxes and the theoretical hardness of proving their properties, researchers have been successful in verifying some classes of models by exploiting their piecewise linear structure and taking insights from formal methods such as Satisifiability Modulo Theory. These methods are however still far from scaling to realistic neural networks. To facilitate progress on this crucial area, we make two key contributions. First, we present a unified framework that encompasses previous methods. This analysis results in the identification of new methods that combine the strengths of multiple existing approaches, accomplishing a speedup of two orders of magnitude compared to the previous state of the art. Second, we propose a new data set of benchmarks which includes a collection of previously released testcases. We use the benchmark to provide the first experimental comparison of existing algorithms and identify the factors impacting the hardness of verification problems.
Dendritic cell-based vaccination in solid cancer.

PURPOSE Dendritic cell (DC)-based immunotherapy is rapidly emerging as a viable tool in cancer treatment. This approach has been used mostly in patients in the presence of defined tumor antigens such as melanoma. In this study, cancer patients with advanced disease that lacks defined tumor antigens were vaccinated with tumor lysate-pulsed DCs. PATIENTS AND METHODS Twenty patients (pancreatic, hepatocellular, cholangiocellular, and medullary thyroid carcinoma) with stage IV disease were enrolled in the study. In 3-week intervals, freshly isolated autologous CD14 magnetic bead-selected monocytes were cultured in granulocyte-macrophage colony-stimulating factor and interleukin-4 to obtain immature DCs. These cells were pulsed with autologous tumor lysate and matured with tumor necrosis factor alpha. Mature DCs were applied into a groin lymph node, under ultrasound guidance. Adjuvant interleukin-2 (20,000 U/kg) was given subcutaneously daily, for 12 days, after each vaccination. Toxicity, tumor marker profile, immune response, and clinical response were determined. RESULTS Vaccination was well tolerated. No physical signs of autoimmunity were detected. DC vaccination induced delayed-type hypersensitivity reactivity in 18 patients. Tumor marker responses were observed in eight patients. In addition, in three patients the generation of interferon gamma-positive T cells was induced during the vaccination. Objective changes in measurable lesions or tumor markers were evident in seven of 20 assessed patients. None of the patients was found to meet the criteria for partial or complete responses. CONCLUSION These data indicate that vaccination with autologous tumor-pulsed DCs generated from peripheral blood is safe and can induce tumor-specific cellular cytotoxicity. Clinical responses are achievable, even in patients with advanced disease.
Novel Podoviridae Family Bacteriophage Infecting Weissella cibaria Isolated from Kimchi

ABSTRACT The first complete genome sequence of a phage infecting Weissella cibaria (Weissella kimchii) is presented. The bacteriophage ϕYS61 was isolated from kimchi, a Korean fermented vegetable dish. Bacteriophages are recognized as a serious problem in industrial fermentations; however, ϕYS61 differed from many virulent phages associated with food fermentations since it was difficult to propagate and was very susceptible to resistance development. Sequence analysis revealed that ϕYS61 resembles Podoviridae of the subfamily Picovirinae. Within the subfamily Picovirinae, the ϕ29-like phages have been extensively studied, and their terminal protein-primed DNA replication is well characterized. Our data strongly suggest that ϕYS61 also replicates by a protein-primed mechanism. Weissella phage ϕYS61 is, however, markedly different from members of the Picovirinae with respect to genome size and morphology. Picovirinae are characterized by small (approximately 20-kb) genomes which contrasts with the 33,594-bp genome of ϕYS61. Based on electron microscopy analysis, ϕYS61 was classified as a member of the Podoviridae of morphotype C2, similar to the ϕ29-like phages, but its capsid dimensions are significantly larger than those reported for these phages. The novelty of ϕYS61 was also emphasized by the low number of open reading frames (ORFs) showing significant similarity to database sequences. We propose that the bacteriophage ϕYS61 should represent a new subfamily within the family Podoviridae.
Ribotyping and Random Amplification of Polymorphic DNA for Nosocomial Enterobacter cloacae Isolates in a Pediatric Intensive-Care Unit

Abstract Between 1987 and 1989, two sequential outbreaks of nosocomial infection caused by Enterobacter cloacae occurred in the pediatric intensive-care unit of a tertiary-care teaching hospital. Seventeen strains retrieved from the outbreaks and two control strains identified in other wards were typed by ribotyping and random amplification of polymorphic DNA (RAPD). The results indicated that the genomic pattern of strains identified between the first and second outbreaks was different. We conclude that both ribotyping and RAPD are highly discriminatory and reproducible methods for typing E cloacae. RAPD seems to be more efficacious and cost-effective.
Retinal Telescreening for Diabetic Retinopathy Retinal Telescreening for Diabetic Retinopathy

The policies contained in the FEP Medical Policy Manual are developed to assist in administering contractual benefits and do not constitute medical advice. They are not intended to replace or substitute for the independent medical judgment of a practitioner or other health care professional in the treatment of an individual member. The Blue Cross and Blue Shield Association does not intend by the FEP Medical Policy Manual, or by any particular medical policy, to recommend, advocate, encourage or discourage any particular medical technologies. Medical decisions relative to medical technologies are to be made strictly by members/patients in consultation with their health care providers. The conclusion that a particular service or supply is medically necessary does not constitute a representation or warranty that the Blue Cross and Blue Shield Service Benefit Plan covers (or pays for) this service or supply for a particular member. 9.03. 13 Retinal Telescreening for Diabetic Retinopathy
An Ant Colony Optimization approach to solve the minimum string cover problem

In this paper, we consider the problem of covering a set of strings S with a set of strings C. C is said to cover S if every string in S can be written as a concatenation of a set of strings which are elements of C. We discuss here three different variants of Ant Colony Optimization (ACO) and propose how we can solve the minimum string cover problem using these techniques. Our simulation results show that ACO based approach gives better solution than the existing approximation algorithm for this problem.
Comparison of heart rate variability with pulse transit time during general anesthesia

The relation between stiffness of the blood vessel and ANS (autonomic nervous system) is observed by comparing the distribution of the PSD and the change of the PTT appeared the stiffness of the blood vessel at the pre-anaesthesia, sevoflurane anaesthesia and intubation after states. In this paper, PSD of the HRV well-known of the index of the ANS activity reflected the ANS activity according to anesthesia stages. Effect of LF during the anesthesia is similar to PTT changes. This means that PTT analysis is useful index reflecting the body state because of well appearing the ANS activity during svoflurane anestheisa. And this analysis is useful because the calculating method is simple and time is short compare with the method of HRV PSD.