Miracle-dz/UniFAR-FTUs huggingface dataset:
Wideband harmonically matched packaged GaN HEMTs with high PAE performances at S-band frequencies

This paper presents a design method of internally-matched packaged GaN high electron mobility transistors (HEMTs) for achieving not only high-efficiency and high-power performances but also a wide bandwidth and insensitivity to harmonic terminations in the S-band. The package and its internal matching networks are synthesized to confine the second harmonic impedances seen by the GaN die to high-efficiency regions whatever the harmonic impedances presented outside the package. This paper reports the design of a packaged GaN HEMT achieving 78% of power-added-efficiency (PAE) and 25 W of output power at 2.5 GHz. A packaged GaN power bar is also reported with the addition of fundamental matching networks inside the package. In 50 Ω environment, the packaged GaN power bar provided more than 56% of PAE from 2.5 to 3.1 GHz and was desensitized to harmonic load variations with less than two points of PAE variation when a load-pull is performed at second harmonic frequencies outside the package.
Surfactant Protein A and Napsin A in the Immunohistochemical Characterization of Canine Pulmonary Carcinomas: Comparison With Thyroid Transcription Factor-1

Thyroid transcription factor-1 (TTF-1) is a specific and sensitive marker for canine pulmonary tumors but is also expressed in thyroid carcinomas, which commonly metastasize to lung. Napsin A and surfactant protein A (SP-A) are used in the histologic diagnosis of non-small-cell lung cancer in humans but have not been thoroughly evaluated in neoplasms of dogs. The objective of this study was to compare the efficacy of immunohistochemistry for SP-A, napsin A, and TTF-1 in the diagnosis of canine pulmonary carcinomas. TTF-1, napsin A, and SP-A antibodies were applied to 67 formalin-fixed, paraffin-embedded canine pulmonary tumors. Although each marker had good sensitivity, only 3% (2/67) of lung tumors were negative for SP-A compared with 7% (5/67) and 9% (6/67) for napsin A and TTF-1, respectively. Each antigen was detected in a greater percentage of cells of tumors with acinar or papillary patterns compared with those with squamous differentiation. SP-A immunoreactivity was absent in all 113 nonpulmonary tumors tested. Of 108 normal tissues, SP-A was detected only in lung and in 1 of 6 adrenal, 1 of 3 endometrial, and 1 of 4 hepatic sections. Based on these findings, SP-A and napsin A are useful markers of canine lung epithelial neoplasia. Of these, SP-A is the most sensitive and specific (a possible pitfall is the need to distinguish entrapped normal pulmonary epithelial cells or alveolar macrophages from neoplastic cells) and can be used in combination with TTF-1 or napsin A to improve detection and differentiation of pulmonary carcinomas from metastatic tumors in the canine lung.
Estimating High Resolution Daily Air Temperature Based on Remote Sensing Products and Climate Reanalysis Datasets over Glacierized Basins: A Case Study in the Langtang Valley, Nepal

Near surface air temperature (Ta) is one of the key input parameters in land surface models and hydrological models as it affects most biogeophysical and biogeochemical processes of the earth surface system. For distributed hydrological modeling over glacierized basins, obtaining high resolution Ta forcing is one of the major challenges. In this study, we proposed a new high resolution daily Ta estimation scheme under both clear and cloudy sky conditions through integrating the moderate-resolution imaging spectroradiometer (MODIS) land surface temperature (LST) and China Meteorological Administration (CMA) land data assimilation system (CLDAS) reanalyzed daily Ta. Spatio-temporal continuous MODIS LST was reconstructed through the data interpolating empirical orthogonal functions (DINEOF) method. Multi-variable regression models were developed at CLDAS scale and then used to estimate Ta at MODIS scale. The new Ta estimation scheme was tested over the Langtang Valley, Nepal as a demonstrating case study. Observations from two automatic weather stations at Kyanging and Yala located in the Langtang Valley from 2012 to 2014 were used to validate the accuracy of Ta estimation. The RMSEs are 2.05, 1.88, and 3.63 K, and the biases are 0.42, −0.68 and −2.86 K for daily maximum, mean and minimum Ta, respectively, at the Kyanging station. At the Yala station, the RMSE values are 4.53, 2.68 and 2.36 K, and biases are 4.03, 1.96 and −0.35 K for the estimated daily maximum, mean and minimum Ta, respectively. Moreover, the proposed scheme can produce reasonable spatial distribution pattern of Ta at the Langtang Valley. Our results show the proposed Ta estimation scheme is promising for integration with distributed hydrological model for glacier melting simulation over glacierized basins.
Euclidean distortion and the sparsest cut

We prove that every n-point metric space of negative type (in particular, every n-point subset of L1) embeds into a Euclidean space with distortion O(√log n log log n), a result which is tight up to the O(log log n) factor. As a consequence, we obtain the best known polynomial-time approximation algorithm for the Sparsest Cut problem with general demands. If the demand is supported on a subset of size k, we achieve an approximation ratio of O(√log k log log k).
Rule Based Coordinated Control of Domestic Combined Micro-CHP and Energy Storage System for Optimal Daily Cost

This paper presents a novel control algorithm for optimising operational costs of a combined domestic micro-CHP (combined heat and power), battery and heat storage system. Using a minute by minute basic time-step, this work proposes a simple and computationally efficient rule based whole-system management, developed from empirical study of realistic simulated domestic electricity and heat loads. The CHP availability is considered in two binary states which, together with leveraging storage effectively, maximises CHP efficiency, and gives the algorithm increased real world feasibility. In addition, a novel application of a dual battery system is proposed to support the micro-CHP with each battery supplying just one of the distinctive morning and evening electrical load peaks, and thus inherently improving overall battery system lifetime. A case study is presented where the algorithm is shown to yield approximately 23% energy cost savings above the base case, almost 3% higher savings than that of the closest previous work, and 96.8% of the theoretical minimum cost. In general, the algorithm is shown to always yield better than 88% of the theoretical minimum cost, a ratio that will be considerably higher when real-world CHP limitations are factored into the theoretical minimum calculation.
Fatigue strengthening of cracked steel beams with CFRP plates

Externally bonded FRP systems offer an attractive method to improve the fatigue life of steel beams. The fatigue performance of such a strengthened beam can be further enhanced by prestressing the bonded FRP reinforcement. While a number of studies have been conducted on the fatigue strengthening of steel beams using FRP, they have generally been concerned with the overall performance of the strengthened beam, with limited attention to the behaviour of the FRP-to-steel interface and its effects. Against this background, this paper presents the preliminary results of an ongoing experimental program aiming at investigating the behaviour and fatigue failure mechanism of FRP-strengthened cracked steel beams under fatigue cyclic loading, with particular emphasis on the debonding process of the FRP reinforcement and the effect of debonding on crack propagation. The effects of prestressing and debonding on the fatigue performance of the strengthened beam are clearly demonstrated by the test results.
Cognitive and Occupational Function in Survivors of Adolescent Cancer.

PURPOSE Adolescents with cancer have unique developmental considerations. These include brain development, particularly in the frontal lobe, and a focus on completing education and entering the workforce. Cancer and treatment at this stage may prove to uniquely affect survivors' experience of cognitive and occupational function. METHODS An exploratory, cross-sectional, descriptive comparative study was employed to describe cognitive and occupational function in adult survivors of adolescent cancer (diagnosed between the ages of 15 and 21 years) and explore differences in age- and gender-matched controls. RESULTS In total, 23 survivors and 14 controls participated in the study. While significant differences were not found between the groups on measures of cognitive and occupational function, several small and medium effect sizes were found suggesting that survivors may have greater difficulty than controls. Two small effect sizes were found in measures of neuropsychological performance (the Digit Vigilance test [d = 0.396] and Stroop test [d = 0.226]). Small and medium effect sizes ranging from 0.269 to 0.605 were found for aspects of perceived and total cognitive function. A small effect size was also found in work output (d = 0.367). CONCLUSIONS While we did not find significant differences in cognitive or occupational function between survivors and controls, the effect sizes observed point to the need for future research. Future work using a larger sample size and longitudinal design are needed to further explore cognitive and occupational function in this vulnerable and understudied population and assist in the understanding of patterns of change over time.
RINspector: a Cytoscape app for centrality analyses and DynaMine flexibility prediction

Abstract Motivation Protein function is directly related to amino acid residue composition and the dynamics of these residues. Centrality analyses based on residue interaction networks permit to identify key residues in a protein that are important for its fold or function. Such central residues and their environment constitute suitable targets for mutagenesis experiments. Predicted flexibility and changes in flexibility upon mutation provide valuable additional information for the design of such experiments. Results We combined centrality analyses with DynaMine flexibility predictions in a Cytoscape app called RINspector. The app performs centrality analyses and directly visualizes the results on a graph of predicted residue flexibility. In addition, the effect of mutations on local flexibility can be calculated. Availability and implementation The app is publicly available in the Cytoscape app store. Supplementary information Supplementary data are available at Bioinformatics online.
A Comparison of Regression Techniques for Estimation of Above-Ground Winter Wheat Biomass Using Near-Surface Spectroscopy

Above-ground biomass (AGB) provides a vital link between solar energy consumption and yield, so its correct estimation is crucial to accurately monitor crop growth and predict yield. In this work, we estimate AGB by using 54 vegetation indexes (e.g., Normalized Difference Vegetation Index, Soil-Adjusted Vegetation Index) and eight statistical regression techniques: artificial neural network (ANN), multivariable linear regression (MLR), decision-tree regression (DT), boosted binary regression tree (BBRT), partial least squares regression (PLSR), random forest regression (RF), support vector machine regression (SVM), and principal component regression (PCR), which are used to analyze hyperspectral data acquired by using a field spectrophotometer. The vegetation indexes (VIs) determined from the spectra were first used to train regression techniques for modeling and validation to select the best VI input, and then summed with white Gaussian noise to study how remote sensing errors affect the regression techniques. Next, the VIs were divided into groups of different sizes by using various sampling methods for modeling and validation to test the stability of the techniques. Finally, the AGB was estimated by using a leave-one-out cross validation with these powerful techniques. The results of the study demonstrate that, of the eight techniques investigated, PLSR and MLR perform best in terms of stability and are most suitable when high-accuracy and stable estimates are required from relatively few samples. In addition, RF is extremely robust against noise and is best suited to deal with repeated observations involving remote-sensing data (i.e., data affected by atmosphere, clouds, observation times, and/or sensor noise). Finally, the leave-one-out cross-validation method indicates that PLSR provides the highest accuracy (R2 = 0.89, RMSE = 1.20 t/ha, MAE = 0.90 t/ha, NRMSE = 0.07, CV (RMSE) = 0.18); thus, PLSR is best suited for works requiring high-accuracy estimation models. The results indicate that all these techniques provide impressive accuracy. The comparison and analysis provided herein thus reveals the advantages and disadvantages of the ANN, MLR, DT, BBRT, PLSR, RF, SVM, and PCR techniques and can help researchers to build efficient AGB-estimation models.
Radix Priority Search Tree in Circular Range Searching for GIS

paper presents a method for circular range searching in 2D geographical data for GIS. The proposed is based on the priority search tree (PST) developed by Edvard T. McCreight in the mid eighties. The Priority Search Tree is a data structure used for performing semi-infinite range queries. In the solution presented in this paper, the two operation of PST, Insert operation and EnumerateRectangle are combined for getting all data-points in a circular range. A query in this new data structure returns all points in circlular range. The proposed circular range searching is the querying of all datapoints P which are the subset of dataset R and also locating in the circular range with the radius and the center is query point.
Design and Implementation of the Andromeda Proof Assistant

Andromeda is an LCF-style proof assistant where the user builds derivable judgments by writing code in a meta-level programming language AML. The only trusted component of Andromeda is a minimalist nucleus (an implementation of the inference rules of an object-level type theory), which controls construction and decomposition of type-theoretic judgments. Since the nucleus does not perform complex tasks like equality checking beyond syntactic equality, this responsibility is delegated to the user, who implements one or more equality checking procedures in the meta-language. The AML interpreter requests witnesses of equality from user code using the mechanism of algebraic operations and handlers. Dynamic checks in the nucleus guarantee that no invalid object-level derivations can be constructed. %even if the AML code (or interpreter) is untrusted. To demonstrate the flexibility of this system structure, we implemented a nucleus consisting of dependent type theory with equality reflection. Equality reflection provides a very high level of expressiveness, as it allows the user to add new judgmental equalities, but it also destroys desirable meta-theoretic properties of type theory (such as decidability and strong normalization). The power of effects and handlers in AML is demonstrated by a standard library that provides default algorithms for equality checking, computation of normal forms, and implicit argument filling. Users can extend these new algorithms by providing local "hints" or by completely replacing these algorithms for particular developments. We demonstrate the resulting system by showing how to axiomatize and compute with natural numbers, by axiomatizing the untyped $\lambda$-calculus, and by implementing a simple automated system for managing a universe of types.
A flying projector stabilizing image fluctuation

This paper proposes an autonomous flying projector (AFP) that projects images from a micro aerial vehicle (MAV) on which a small projector is placed. The AFP works as a public and ubiquitous display, and has a potential for an expansion of projector applications (e.g., a digital signage moving in response to a distribution state of people, and the one following moving targets such as a person and a vehicle). We achieve to reduce fluctuations of projected images using a geometric correction method based on the estimation of the projector's position and orientation.
SKL1 Is Essential for Chloroplast Development in Arabidopsis

The Arabidopsis shikimate kinase-like 1 (skl1-8) mutant is characterized by a pigment-defective phenotype. Although the related phenotypical defect mainly has been attributed to the blocking of chloroplast development, the molecular functions of SKL1 remain largely unknown. In this study, we combined multiple approaches to investigate the potential functions of SKL1. Results showed that the skl1-8 mutant exhibited an albino phenotype and had dramatically reduced chlorophyll content as a consequence of a single nuclear recessive gene mutation. Chemical complementation analysis indicated that SKL1 does not function as SK enzyme in the shikimate pathway. In addition, by chlorophyll fluorescence parameters and immunoblot analysis, the levels of photosynthetic proteins are substantially reduced. Moreover, by transcriptome analysis, specific groups of nuclear genes involved in photosynthesis, such as light-harvesting complex, pigment metabolism, carbon metabolism, and chloroplast gene expression, were down-regulated, whereas several defense and oxidative stress responsive genes were up-regulated in the skl1-8 mutant compared with the wide type. Furthermore, we found the expression of genes related to auxin transport and response was repressed in the skl1-8 mutant, probable suggesting that SKL1 is involved in auxin-related pathways during chloroplast development. Together, these results provide a useful reference for characterization of SKL1 function during chloroplast biogenesis and development.
Experimental characterization of interlaminar shear failure in sandwich structures under three-point bending

We applied an improved six-step phase-shifting method in digital photoelasticity to an adhesively bonded aluminum/epoxy/aluminum sandwich structure in order to study interlaminar shear failure behavior. Before and after three-point bending, a self-balanced thermal residual shear stress appeared on the interface because of the difference in thermal expansion coefficients between aluminum faces and epoxy core interlayer. At the beginning of loading, the shear stress in the core layer distributes continuously and forms shear bands tilting at a 45° direction. It then joins with the upper and bottom aluminum faces in order to realize the shear load transfer. As the bending load increases, the maximum interface shear stress occurs near the supports and a partially debonded region appears at the interface. The interfacial shear stress in the partially debonded region decreases rapidly until a shear failure occurs. A load–flexibility curve of the vibration-damping–type sandwich structure agrees well with the theoretical prediction of a laminated beam.
Decreases in Psychological Well-Being Among American Adolescents After 2012 and Links to Screen Time During the Rise of Smartphone Technology

In nationally representative yearly surveys of United States 8th, 10th, and 12th graders 1991–2016 (N = 1.1 million), psychological well-being (measured by self-esteem, life satisfaction, and happiness) suddenly decreased after 2012. Adolescents who spent more time on electronic communication and screens (e.g., social media, the Internet, texting, gaming) and less time on nonscreen activities (e.g., in-person social interaction, sports/exercise, homework, attending religious services) had lower psychological well-being. Adolescents spending a small amount of time on electronic communication were the happiest. Psychological well-being was lower in years when adolescents spent more time on screens and higher in years when they spent more time on nonscreen activities, with changes in activities generally preceding declines in well-being. Cyclical economic indicators such as unemployment were not significantly correlated with well-being, suggesting that the Great Recession was not the cause of the decrease in psychological well-being, which may instead be at least partially due to the rapid adoption of smartphones and the subsequent shift in adolescents’ time use.
Mismatch Negativity Latency and Cognitive Function in Schizophrenia

Background The Mismatch Negativity (MMN) is an event-related potential (ERP) sensitive to early auditory deviance detection and has been shown to be reduced in schizophrenia patients. Moreover, MMN amplitude reduction to duration deviant tones was found to be related to functional outcomes particularly, to neuropsychological (working memory and verbal domains) and psychosocial measures. While MMN amplitude is thought to be correlated with deficits of early sensory processing, the functional significance of MMN latency remains unclear so far. The present study focused on the investigation of MMN in relation to neuropsychological function in schizophrenia. Method Forty schizophrenia patients and 16 healthy controls underwent a passive oddball paradigm (2400 binaural tones; 88% standards [1 kHz, 80 db, 80 ms], 11% frequency deviants [1.2 kHz], 11% duration deviants [40 ms]) and a neuropsychological test-battery. Patients were assessed with regard to clinical symptoms. Results Compared to healthy controls schizophrenia patients showed diminished MMN amplitude and shorter MMN latency to both deviants as well as an impaired neuropsychological test performance. Severity of positive symptoms was related to decreased MMN amplitude to duration deviants. Furthermore, enhanced verbal memory performance was associated with prolonged MMN latency to frequency deviants in patients. Conclusion The present study corroborates previous results of a diminished MMN amplitude and its association with positive symptoms in schizophrenia patients. Both, the findings of a shorter latency to duration and frequency deviants and the relationship of the latter with verbal memory in patients, emphasize the relevance of the temporal aspect of early auditory discrimination processing in schizophrenia.
FRAppE: detecting malicious facebook applications

With 20 million installs a day, third-party apps are a major reason for the popularity and addictiveness of Facebook. Unfortunately, hackers have realized the potential of using apps for spreading malware and spam. The problem is already significant, as we find that at least 13% of apps in our dataset are malicious. So far, the research community has focused on detecting malicious posts and campaigns. In this paper, we ask the question: given a Facebook application, can we determine if it is malicious? Our key contribution is in developing FRAppE---Facebook's Rigorous Application Evaluator---arguably the first tool focused on detecting malicious apps on Facebook. To develop FRAppE, we use information gathered by observing the posting behavior of 111K Facebook apps seen across 2.2 million users on Facebook. First, we identify a set of features that help us distinguish malicious apps from benign ones. For example, we find that malicious apps often share names with other apps, and they typically request fewer permissions than benign apps. Second, leveraging these distinguishing features, we show that FRAppE can detect malicious apps with 99.5% accuracy, with no false positives and a low false negative rate (4.1%). Finally, we explore the ecosystem of malicious Facebook apps and identify mechanisms that these apps use to propagate. Interestingly, we find that many apps collude and support each other; in our dataset, we find 1,584 apps enabling the viral propagation of 3,723 other apps through their posts. Long-term, we see FRAppE as a step towards creating an independent watchdog for app assessment and ranking, so as to warn Facebook users before installing apps.