Miracle-dz/UniFAR-FTUs huggingface dataset:
Virtual execution platforms for mixed time-crititcality applications : demonstrating the CompSoC platform and design flow

Systems-on-Chip (SoC) complexity increases as a growing number of applications are integrated and executed on sophisticated multi-processor systems that strike a balance between performance, cost, power consumption and flexibility [4, 6]. Complexity is further increased by an increasing number of concurrently executing applications, which result in a large number of possible use-cases. The applications have mixed time-criticality, which is a mix between firm, soft, and no real-time requirements. Firm real-time requirements must always be satisfied to avoid unacceptable output quality loss. Occasional failures to meet soft requirements can be tolerated. Non-real-time applications do not have well-defined timing requirements, but must be responsive. Verification of real-time requirements is traditionally performed using formal timing analysis, simulation, or a combination of the two. Firm real-time applications demand rigorous formal analysis, since their requirements must always be met. In contrast, soft real-time applications are often verified by simulation for a large set of inputs, as they are often dynamic by nature and difficult to verify by formal methods in a cost-effective manner. A key challenge with verification is that platform resources, such as processors, interconnect, and memories, are shared between applications to reduce cost. This results in interference between applications, making their temporal behaviors inter-dependent. This causes three problems with respect to integration and verification. Firstly, accurate system-level simulation and several approaches to timing analysis become infeasible, because of the state-space explosion resulting from the many use-cases, application inputs, and resources states. Secondly, use-case verification becomes a circular process that must be repeated if an application is added, removed, or modified [3]. Thirdly, verification of a use-case cannot begin until all applications it comprises are available. The verification process hence depends on the availability of all applications, which may be developed by independent software vendors. Together, these problems contribute to making the integration and verification process a dominant part of SoC development, both in terms of time and money [3]. The CompSoC platform [1,2] addresses these problems by executing each application in an independent virtual platform. It also uses the SDF design flow [5] that automatically analyzes firm real-time applications and maps them to resources in a virtual platform, according to their resource and timing requirements. The CompSoC virtualization technology relies on two complexity-reducing concepts: predictability and composability, detailed as follows.
Mining scholarly publications for research evaluation

Scientific research can lead to breakthroughs that revolutionise society by solving long-standing problems. However, investment of public funds into research requires the ability to clearly demonstrate beneficial returns, accountability, and good management. At the same time, with the amount of scholarly literature rapidly expanding, recognising key research that presents the most important contributions to science is becoming increasingly difficult and time-consuming. This creates a need for effective and appropriate research evaluation methods. However, the question of how to evaluate the quality of research outcomes is very difficult to answer and despite decades of research, there is still no standard solution to this problem. Given this growing need for research evaluation, it is increasingly important to understand how research should be evaluated, and whether the existing methods meet this need. However, the current solutions, which are predominantly based on counting the number of interactions in the scholarly communication network, are insufficient for a number of reasons. In particular, they struggle in capturing many aspects of the academic culture and often significantly lag behind current developments. This work focuses on the evaluation of research publications and aims at creating new methods which utilise publication content. It studies the concept of research publication quality, methods assessing the performance of new research publication evaluation methods, analyses and extends the existing methods, and, most importantly, presents a new class of metrics which are based on publication manuscripts. By bridging the fields of research evaluation and text- and data-mining, this work provides tools for analysing the outcomes of research, and for relieving information overload in scholarly publishing.
Comparison of multiple stereoscopic and monoscopic digital image formats to film for diabetic macular edema evaluation.

PURPOSE To assess agreement between evaluations of monoscopic and stereoscopic digital images versus stereo film photographs in diabetic macular edema (DME). METHODS A 152-eye group of digital monoscopic macular images (seven-field sets and wide-angle mosaics) were compared with digital stereoscopic images (uncompressed and compressed seven-field sets) and stereo 35-mm film photos (Early Treatment Diabetic Retinopathy Study protocol) for the presence of hard exudates (HE), retinal thickening (RT), clinically significant macular edema (CSME), and RT at the center of the macular (RTCM). RESULTS Agreement, according to the κ statistic, was almost perfect in identifying HE and RT between all digital formats and stereo film (HE, κ = 0.81-0.87; RT, κ = 0.87-0.92). Distribution in all digital formats was not significantly different from that in film (Bhapkar test: HE, P = 0.20-0.40; RT, P = 0.06-1.0). CSME and RTCM grading differences were either significant or trended toward significance. The readers detected CSME and RTCM in film images more often than in digital formats. In identifying DME features, agreement between evaluations of monoscopic digital formats and film was similar to that between stereo digital formats and film, and the performance of uncompressed images versus film was similar to that of compressed images versus film. Repeatability between readers was similar in evaluations of film and all digital formats. Repeatability in identifying RTCM was lower than that of other DME components in film and all digital formats. CONCLUSIONS Stereoscopic digital formats are equivalent to monoscopic for DME evaluation, but digital photography is not as sensitive as film in detecting CSME and RTCM.
The design and implementation of 3D electronic map of campus based on WEBGIS

The three-dimensional electronic map of campus based on WEBGIS, is an electronic map system which takes the Northeast Petroleum University as the prototype. It can implement web publishing and spread the campus culture via the Internet. Moreover, it can provide conveniences for the users roaming campus by means of the system. Equally important, it has certain practical significance to the users. This article describes the development processes and various functions of the three-dimensional electronic map in detail.
Circuit model for microwave filters via the reduced-basis method

In this work, the electromagnetic behaviour in microwave filters is described in terms of circuit theory. A transversal coupling matrix gathering all electromagnetic phenomena within a frequency band is found. As a result, further insight from the microwave point of view arises. A Finite Element Method approach is carried out for the microwave filter analysis and a reliable reduced-order model for fast frequency sweep is proposed. The ingredients of this methodology are: 1) the use of field solutions at given frequencies as basis functions to reduce the original Maxwell system, 2) adaptively choosing the field solution frequency samples and 3) change of basis in the reduced-order model to get a transversal coupling matrix description of electromagnetics.
ANALYSIS ON OFFLINE AND ONLINE IDENTIFICATION METHODS FOR AIRCRAFT STABILITY AND CONTROL DERIVATIVES

Stability and control characteristics analysis has long been the important research area of aircraft flight dynamics, which is the critical factor of control system design, performance evaluation and integrated design of aircraft. The linear perturbation equations describing aircraft longitudinal and lateral motion, which are derived from nonlinear dynamic equations based on the small perturbation theory, are characterized with matrices called stability and control derivatives in flight control theory. There are two main methods to obtain these derivatives, theoretic deduction and parameter identification, where the latter is a valuable complement for the former one. Offline and online parameter identification are utilized in engineering application with different emphasis. Offline methods are commonly used to obtain linear dynamic model of aircraft under specific operation conditions, with complicated aerodynamic shape or dynamic characteristics, where the model could be used to investigate the stability and control characteristics. Online methods are commonly used in fault detection or flight adaptive control, where the derivatives are estimated with Kalman filters. Aircraft longitudinal and lateral stability and control characteristics are discussed here with online and offline identification methods. Firstly, the small perturbation dynamic equations under rudder perturbation are deduced, and the expressions of all stability and control derivatives are given. Secondly, the Unscented Kalman filter (UKF) method and maximum likelihood estimation (MLE) method are verified with aerodynamic data of a small unmanned aerial vehicle ANCE, where UKF proves to be an adequate online estimation method by the consistent results and its asymptotic approximation to the theoretic values. We also compare the effects of random noises on the estimation accuracy and modes response eigenvalues for these two methods. The results show that UKF has better noise-resistance than MLE, and that UKF prevails in longitudinal derivatives estimation and modes response analysis while maintaining equal performance in lateral direction.
Measuring the organisational health of acute sector healthcare organisations: Development and validation of the Healthcare-OH survey

ABSTRACT Healthy organisations have a strong provision of the vital elements required for long-term sustainable success and proponents of organisational health concern themselves with the recognition and measurement of these elements. However, despite many leading companies focussing on organisational health in addition to organisational performance there has been very limited work within the context of healthcare to date. This is the first study to look specifically at the measurement of organisational health within the context of acute sector healthcare organisations. The Healthcare-OH survey was developed in three sequential stages. In the first, a qualitative interview study was used to establish the elements of organisational health within acute sector healthcare organisations. The second stage involved item generation to formulate a draft questionnaire which was then piloted across a sample of healthcare staff and analysed by way of exploratory factor analysis to create the final questionnaire. The third stage comprised a final round of pilot testing with confirmatory factor analysis to confirm data model fit. We believe that the Healthcare-OH survey provides an innovative and novel way of considering the performance of healthcare organisations.
Syndesmos, a Syndecan-4 Cytoplasmic Domain Interactor, Binds to the Focal Adhesion Adaptor Proteins Paxillin and Hic-5*

Syndecan-4 and integrins are the primary transmembrane receptors of focal adhesions in cells adherent to extracellular matrix molecules. Syndesmos is a cytoplasmic protein that interacts specifically with the cytoplasmic domain of syndecan-4, and it co-localizes with syndecan-4 in focal contacts. In the present study we sought possible interactors with syndesmos. We find that syndesmos interacts with the focal adhesion adaptor protein paxillin. The binding of syndesmos to paxillin is direct, and these interactions are triggered by the activation of protein kinase C. Syndesmos also binds the paxillin homolog, Hic-5. The connection of syndecan-4 with paxillin through syndesmos parallels the connection between paxillin and integrins and may thus reflect the cooperative signaling of these two receptors in the assembly of focal adhesions and actin stress fibers.
An Embarrassment of Riches: Forecasting Using Large Panels

The increasing availability of data and potential predictor variables poses new challenges to forecasters. The task of formulating a single forecasting model that can extract all the relevant information is becoming increasingly difficult in the face of this abundance of data. The two leading approaches to addressing this "embarrassment of riches" are philosophically distinct. One approach builds forecast models based on summaries of the predictor variables, such as principal components, and the second approach is analogous to forecast combination, where the forecasts from a multitude of possible models are averaged. Using several data sets we compare the performance of the two approaches in the guise of the diffusion index or factor models popularized by Stock and Watson and forecast combination as an application of Bayesian model averaging. We find that none of the methods is uniformly superior and that no method performs better than, or is outperformed by, a simple AR(p) process.
Delta-induced Notch Signaling Mediated by RBP-J Inhibits MyoD Expression and Myogenesis*

Signaling induced by interaction between the receptor Notch and its ligand Delta plays an important role in cell fate determination in vertebrates as well as invertebrates. Vertebrate Notch signaling has been investigated using its constitutively active form, i.e. the truncated intracellular region which is believed to mimic Notch-Delta signaling by interaction with a DNA-binding protein RBP-J. However, the molecular mechanism for Notch signaling triggered by ligand binding, which leads to inhibition of differentiation, is not clear. We have established a myeloma cell line expressing mouse Delta1 on its cell surface which can block muscle differentiation by co-culture with C2C12 muscle progenitor cells. We showed that Delta-induced Notch signaling stimulated transcriptional activation of RBP-J binding motif, containing promoters including the HES1 promoter. Furthermore, ligand-induced Notch signaling up-regulated HES1 mRNA expression within 1 h and subsequently reduced expression of MyoD mRNA. Since cycloheximide treatment did not inhibit induction of HES1 mRNA, the HES1 promoter appears to be a primary target of activated Notch. In addition, a transcriptionally active form of RBP-J, i.e. VP16-RBP-J, inhibited muscle differentiation of C2C12 cells by blocking the expression of MyoD protein. These results suggest that HES1 induction by the Delta1/Notch signaling is mediated by RBP-J and blocks myogenic differentiation of C2C12 cells by subsequent inhibition of MyoD expression.
Failure of Demonstrated Clinical Efficacy of Antibiotic-Bonded Continuous Ambulatory Peritoneal Dialysis (CAPD) Catheters

Previous in vitro, in vivo, and a preliminary clinical report have demonstrated efficacy of noncovalently bonding antibiotics to the surface of continuous ambulatory peritoneal dialysis (CAPO) catheters in decreasing infectious complications. A larger prospective randomized clinical trial was completed. Eighty-six patients with chronic renal failure were enrolled in the study and randomized to receive either a surfactant treated or untreated control catheter. All catheters were soaked in cefoxitin at the time of insertion. Groups were comparable in terms of pre-existing illnesses, age, and gender. No differences were shown in the incidence of cathetertract infections, peritonitis or mechanical complications. There was also no differences in microbiologic culture results. Therefore, it is concluded that this clinical trial did not demonstrate a reduction in catheter-related infectious complications by antibiotic bonding.
Relativistic lattice model for Black Hole formation

Using a lattice gas equation of state combined with the D-dimensional Tolman-Oppenheimer-Volkoff equation and the Friedman equations, we investigate the possibility of formation of a black hole as well as the time evolution of the scale factor and the density profile. The numerical results show that in a $2+1$ dimensional spacetime, the mass is independent of the central pressure and the formation of only compact objects with finite constant mass such as white dwarf is possible. However, in a $3+1$ dimensional spacetime, self-gravity leads to the formation of compact with a large gap of mass that includes white dwarf and Neutron Star. The results point also that beyond certain critical central pressure, the stars are unstable against gravitational collapse, and it ends in a black hole. Analysis of spacetime of higher dimension shows that gravity has a stronger effect in the $3+1$ dimension. Numerical solutions of the Friedman equations show that effect curvature of spacetime increases with increasing temperature, but decreases with increasing dimensionality beyond $D=3$.
Allocation of R&D Grants in the Business Sector

The aim of this paper is to provide new empirical evidence on the most crucial determinants of success for firms applying for public RD particularly for innovative content and novelty as well as to expected additional impacts on R&D activities. In contrast to previous studies, most firm-level characteristics (R&D intensity, labor productivity, cash flow, industry affiliation) are not relevant, indicating that the R&D funding agency does not discriminate among different types of firms. Consequently, applicant firms should focus on radical, new and innovative ideas in their applications rather than on minor improvements.
Social media as a leverage tool for the organization of a film festival: case study of COSMO FEST

COSMO FEST (CF) is a very small independent film festival held in Tokyo, Japan, that is now in its fourth year after starting in 2012 as a student project. This study, which is best thought of as a pilot study, investigates ways in which CF can make use of the Social Network Sites Twitter and Facebook as a promotional tool for attracting attendees to the festival. The data used for the study are Twitter tweets (and retweets) and Facebook posts (and likes) found on the Twitter and Facebook pages of three other Japan-based film festivals: the Tokyo Student Film Festival, The Chigasaki Film Festival (a small city-based festival) and the much larger Tokyo International Film Festival. By looking carefully at this small set of data a surprisingly useful set of insights emerged that can inform the Social Media strategy of CF in the future. ChiFF among these is the weak emphasis on “Theme” as an organizing principle each year that these festivals exhibit in general and through their use of Twitter and Facebook. This finding suggests the potential for CF to brand itself as distinct from other film festivals by establishing a strong thematic orientation each year. Other insights gained from the study were to do with the research process itself, particularly the potential for an open-minded and multi-dimensional probing of a small set of data to yield rich results.
Towards Automated Neural Interaction Discovery for Click-Through Rate Prediction

Click-Through Rate (CTR) prediction is one of the most important machine learning tasks in recommender systems, driving personalized experience for billions of consumers. Neural architecture search (NAS), as an emerging field, has demonstrated its capabilities in discovering powerful neural network architectures, which motivates us to explore its potential for CTR predictions. Due to 1) diverse unstructured feature interactions, 2) heterogeneous feature space, and 3) high data volume and intrinsic data randomness, it is challenging to construct, search, and compare different architectures effectively for recommendation models. To address these challenges, we propose an automated interaction architecture discovering framework for CTR prediction named AutoCTR. Via modularizing simple yet representative interactions as virtual building blocks and wiring them into a space of direct acyclic graphs, AutoCTR performs evolutionary architecture exploration with learning-to-rank guidance at the architecture level and achieves acceleration using low-fidelity model. Empirical analysis demonstrates the effectiveness of AutoCTR on different datasets comparing to human-crafted architectures. The discovered architecture also enjoys generalizability and transferability among different datasets.
Molecular Cloning and Expression of Cellulase Genes of Alkalophilic Bacillus sp . Strain N4 in Escherichia coli

The genes for cellulases of alkalophilic Bacillus sp. strain N-4 were cloned in Escherichia coli with pBR322. Plasmids pNK1 and pNK2 were isolated from the transformants producing carboxymethyl cellulase, and the carboxymethyl cellulase genes cloned were in 2.0and 2.8-kilobase-pair HindlIl fragments, respectively. On the DNA level, the pNK1 fragment had a different restriction map from that of the pNK2 fragment, but the genomic hybridization experiments showed partial homology among these fragments. A total of 74 and 34% of the enzyme activities were observed in the periplasmic space of E. coli carrying the plasmids pNK1 and pNK2, respectively. The carboxymethyl cellulase thus produced had broad pH activity curves (pH of 5 to 10.9) and was stable up to 75°C.
Design and Evaluation of a New Localization Scheme for Underwater Acoustic Sensor Networks

Underwater acoustic sensor networks are quite different from terrestrial wireless sensor networks. Localization for underwater applications is different due to the bandwidth limited acoustic communication, sparsely distributed network deployment, and more expensive and powerful sensor nodes. In this paper, we propose a new scheme to achieve better localization accuracy for underwater acoustic sensor networks. Instead of using the commonly adopted circle-based event detection and least squares algorithm based location estimation, the proposed scheme utilizes the hyperbola-based approach for event localization and a normal distribution for estimation error modeling and calibration. Our analysis and simulation results indicate that the performance of the proposed scheme is clearly better than those from the least squares location estimation based localization schemes.
A refinement scheme for location estimation process in indoor wireless sensor networks

Wireless Sensor Networks (WSNs) present one of the most representative and vibrant examples of networked embedded systems. With the emergence of location-based applications, location finding techniques are becoming increasingly important almost in all WSNs [1]. In this paper, we propose the improvement of location estimation of unknown wireless sensor nodes (a.k.a. unknowns or mobile nodes) through feeding the network with additional information about the a priori known distances between mobile nodes. We show with the simulation results that our method can enhance the accuracy of location estimation. For the localization of unknowns, we have used prepositioned anchor nodes (beacons). The proposed refinement scheme can be applied for different localization algorithms based on RSSI (Received Signal Strength Indication) [2], LQI (Link Quality Indicator) [3], ToF (Time of Flight), TDoA (Time Difference of Arrival) [4], etc. The radio channel model was determined using ZEBRA2411 modules from senTec Elektronik GmbH, based on the chipset ZRP1 developed by Freescale Semiconductor [5].