Miracle-dz/UniFAR-FTUs huggingface dataset:
Insertion/Deletion and Nucleotide Polymorphism Data Reveal Constraints in Drosophila melanogaster Introns and Intergenic Regions

Our study of nucleotide sequence and insertion/deletion polymorphism in Drosophila melanogaster noncoding DNA provides evidence for selective pressures in both intergenic regions and introns (of the large size class). Intronic and intergenic sequences show a similar polymorphic deletion bias. Insertions have smaller sizes and higher frequencies than deletions, supporting the hypothesis that insertions are selected to compensate for the loss of DNA caused by deletion bias. Analysis of a simple model of selective constraints suggests that the blocks of functional elements located in intergenic sequences are on average larger than those in introns, while the length distribution of relatively unconstrained sequences interspaced between these blocks is similar in intronic and intergenic regions.
MIMO Vehicular Networks: Research Challenges and Opportunities

In this paper, we provide a review of the benefits of employing multiple-input multiple-output (MIMO) signal processing techniques in vehicular ad hoc networks (VANETs). These benefits include increasing the range of communication via beamforming, improving the reliability of communication via spatial diversity, increasing the throughput of the network via spatial multiplexing, and managing multiuser interference due to the presence of multiple transmitting terminals. We also present a number of key research challenges facing MIMO VANETs. The first one is deriving statistical MIMO vehicular channel models that take into account the spatial correlation between the transmit and receive antennas and validating them via extensive channel measurement campaigns. Deriving channel estimation and tracking algorithms for MIMO inter-vehicular channels is another challenging problem due to their non-stationary behavior and high Doppler spread. Further research is also needed to fully reap the benefits of multiple antennas in VANETs via space-time and space-frequency processing. In addition, cross layer optimization spanning the medium access control (MAC) and networking layers besides the physical layer is essential to satisfy the emerging applications of VANETS ranging from safety, convenience to infotainment.
Non-Linear Input / Output Analysis ofthe Auroral

We analyse the auroral electrojet index for the days 30-31 October 1978 as the output of a non-linear system driven by various aspects of the IMF and solar wind (speed and density). The non-linear input/output analysis takes the form of a prediction scheme; we compare the results to an autoregressive (linear) predictor and to a non-linear predictor based only on the output signal. Diierent combinations of the solar wind variables are used as input functions. We nd that only a few of the input combinations show any evidence whatsoever for non-linear coupling between the input and the output for this interval.
On the searchability of small-world networks with arbitrary underlying structure

Revisiting the "small-world" experiments of the '60s, Kleinberg observed that individuals are very effective at constructing short chains of acquaintances between any two people, and he proposed a mathematical model of this phenomenon. In this model, individuals are the nodes of a base graph, the square grid, capturing the underlying structure of the social network; and this base graph is augmented with additional edges from each node to a few long-range contacts of this node, chosen according to some natural distance-based distribution. In this augmented graph, a greedy search algorithm takes only a polylogarithmic number of steps in the graph size. Following this work, several papers investigated the correlations between underlying structure and long-range connections that yield efficient decentralized search, generalizing Kleinberg's results to broad classes of underlying structures, such as metrics of bounded doubling dimension, and minor-excluding graphs. We focus on the case of arbitrary base graphs. We show that for a simple long-range contact distribution consistent with empirical observations on social networks, a slight variation of greedy search, where the next hop is to a distant node only if it yields sufficient progress towards the target, requires no(1) steps, where $n$ is the number of nodes. Precisely, the expected number of steps for any source-target pair is at most 2(log n)1/2+o(1). This bound almost matches the best known lower bound of Ω(2√log n) steps, which applies to a general class of search algorithms. In the context of social networks, our result could be interpreted as: individuals may well be able to construct short chains between people regardless of the underlying structure of the social network.
Nutrition, Inflammation, and Acute Pancreatitis

Acute pancreatitis is acute inflammatory disease of the pancreas. Nutrition has a number of anti-inflammatory effects that could affect outcomes of patients with pancreatitis. Further, it is the most promising nonspecific treatment modality in acute pancreatitis to date. This paper summarizes the best available evidence regarding the use of nutrition with a view of optimising clinical management of patients with acute pancreatitis.
Automatic learning of pushing strategy for delivery of irregular-shaped objects

Object delivery by pushing objects with mobile robots on a flat surface has been successfully demonstrated. However, existing methods can push objects that have a circular or rectangular shape. In this paper, we introduce a learning-based approach for pushing objects of any irregular shape to user-specified goal locations. We first automatically collect a set of data on how an irregular-shaped object moves given the robot's relative position and pushing direction. We collect this data with a randomized approach, and we demonstrate that this approach can successfully collect useful data. Object delivery is achieved by using the collected data with a nonparametric regression method. We demonstrate our approach with a number of irregular-shaped objects.
Testing for concurrency in UML diagrams

Concurrent programming is increasingly being used in many applications with the advent of multi-cores. The necessary support for execution of multi-threading is getting richer. Notwithstanding, a concurrent program may behave nondeterministically, it may result in different outputs with the same input in different runs. The aim of this study is to generate test sequences for concurrency from unified modelling language (UML) behavioral models such as sequence and activity diagrams. Generating exhaustive test cases for all concurrent interleaving sequences is exponential in size. Therefore, it is necessary to find adequate test cases in presence of concurrency to uncover errors due to, e.g., data race, synchronization and deadlocks. In order to generate adequate test cases a novel search algorithm, which we call concurrent queue search (CQS) is proposed. The CQS handles random nature of concurrent tasks. To generate test scenarios, a sequence diagram is converted into an activity diagram. An activity diagram encapsulates sequential, conditional, iterative and concurrent ows of the control. By the experimental results, it was observed that test sequences generated by CQS algorithm are superior as compared to DFS and BFS search algorithms.
A Smart vision system for advanced LGV navigation and obstacle detection

This article presents the VisLab solution for obstacle detection and navigation support for unmanned vehicles in industrial environments. Although the literature contains many examples to tackle this problem, this solution can be considered innovative as it improves traditional laser-based systems. The proposed system is composed by two sub-systems. The first one is an obstacle detection system, which also allows the detection of hanging obstacles, within a 3D monitored area. This solution outperforms the original laser scanner based system used for safety which was limited to bi-dimensional areas only. Another vision system is used for tracking a guideline on the ground, that solves problems of localizations and drifts that sometimes can happen using the laser and vehicle odometry only. After a long testing phase, the system is actually installed in a modern industrial warehouse in Parma in order to finally estimate its robustness and reliability.
Linear discriminant analysis for signal processing problems

Linear discriminant analysis (LDA) and principal components analysis (PCA) are two common techniques used for classification and dimensionality reduction. These techniques typically use a linear transformation which can either be implemented in a class-dependent or class-independent fashion. PCA is a feature classification technique in which the data in the input space is transformed to a feature space where the features are decorrelated. On the other hand, the optimization criterion for LDA attempts to maximize class separability. We quantify the efficacy of these two algorithms along with two other classification techniques, support vector machines (SVM) and independent components analysis (ICA). The problem of classifying forestry images based on their scenic beauty is considered. On a standard evaluation task consisting of 478 training images and 159 test images, class-dependent LDA produced a 35.22% misclassification rate, which is significantly better than the 43.3% rate obtained using PCA and is on par with the performance of ICA and SVM.
INDUSTRIES An analysis of the implications of the "creative industries" approach to arts and media policy making in the United Kingdom

This article analyses the cultural policy implications in the United Kingdom of a shift in terminology from cultural to creative industries. It argues that the use of the term “creative industries” can only be understood in the context of information society policy. It draws its political and ideological power from the prestige and economic importance attached to concepts of innovation, information, information workers and the impact of information and communication technologies drawn from information society theory. This sustains the unjustified claim of the cultural sector as a key economic growth sector within the global economy and creates a coalition of disparate interests around the extension of intellectual property rights. In the final analysis, it legitimates a return to an artistcentred, supply side defence of state cultural subsidies that is in contradiction to the other major aim of cultural policy ‐ wider access.
A New Way for Chinese Place Name Recognition

According to the characteristics of Chinese place names, we adopt N-gram model to find the Chinese place name candidates in text firstly, which is triggered by the last Chinese character of a place name according to statistical knowledge of these Chinese characters which appear in place names. Then we use maximum entropy model to process these place name candidates, and get the final recognition result, in which we introduce a kind of semantic concept features. The F value of our way is 88.49% in close-test, and 84.19% in open-test. The result also shows that semantic concept features help to improve maximum entropy model performance in Chinese place name recognition. Moreover, we also try to vary the length of training window, and the result shows that variable window can make the result better obviously.
Phosphorylated Intrinsically Disordered Region of FACT Masks Its Nucleosomal DNA Binding Elements*

FACT is a heterodimer of SPT16 and SSRP1, which each contain several conserved regions in the primary structure. The interaction of FACT with nucleosomes induces chromatin remodeling through the combinatorial action of its distinct functional protein regions. However, there is little mechanistic insight into how these regions cooperatively contribute to FACT functions, particularly regarding the recognition of nucleosomal DNA. Here, we report the identification of novel phosphorylation sites of Drosophila melanogaster FACT (dFACT) expressed in Sf9 cells. These sites are densely concentrated in the acidic intrinsically disordered (ID) region of the SSRP1 subunit and control nucleosomal DNA binding by dFACT. This region and the adjacent segment of the HMG domain form weak electrostatic intramolecular interactions, which is reinforced by the phosphorylation, thereby blocking DNA binding competitively. Importantly, this control mechanism appears to support rapid chromatin transactions during early embryogenesis through the dephosphorylation of some sites in the maternally transmitted dSSRP1.
Optimal LSP selection method in MPLS networks

Multi-protocol label switching (MPLS) had been deployed by many data networking service providers because of its undeniable potential in terms of virtual private network (VPN) management, traffic engineering, etc. In MPLS networks, IP packets are transmitted along a Label Switched Path (LSP) established between edge nodes. To improve the efficiency of resource use in MPLS networks, it is essential to utilize the LSPs efficiently. This paper proposes an optimal LSP selection method in MPLS networks, on the assumption that both the upward and downward LSPs are established as a pair (both-way operation) and multiple LSP pairs are established between the same pair of edge nodes. It is supposed that the optimal LSP pair is selected from among multiple LSP pairs for each service request and both upward and downward bandwidths are allocated simultaneously in the selected LSP pair. It is demonstrated by simulation evaluations that the proposal method could reduce the total amount of the bandwidth required by up to 15% compared with the conventional selection method.
Vitamin D Status and Chronic Obstructive Pulmonary Disease: A Prospective General Population Study

Objectives Vitamin D deficiency is common among persons with chronic obstructive pulmonary disease (COPD). Whether vitamin D affects the development and deterioration of COPD or is a consequence of the disease lacks clarity. We investigated the association between vitamin D status and prevalent and incident COPD in the general population. Methods We included a total of 12,041 individuals from three general population studies conducted in 1993–94, 1999–2001, and 2006–2008, respectively, with vitamin D measurements. Information on COPD was obtained from the Danish National Patient Register and The Danish Registry of Causes of Death. Results There were 85 prevalent and 463 incident cases of COPD (median follow-up 9.7 years). We found a statistically significant inverse association between vitamin D status and prevalent COPD with odds ratio = 0.89 (95% confidence interval, CI: 0.79, 1.0), but no statistically significant association with incident COPD with a hazard ratio = 0.98 (95% CI: 0.94, 1.0), respectively, per 10 nmol/l higher vitamin D status, when adjusted for possible confounders. Conclusions We found a statistically significant inverse cross-sectional association between vitamin D status and COPD, but no association between vitamin D status and incident COPD.
Whole genome DNA methylation: beyond genes silencing

The combination of DNA bisulfite treatment with high-throughput sequencing technologies has enabled investigation of genome-wide DNA methylation at near base pair level resolution, far beyond that of the kilobase-long canonical CpG islands that initially revealed the biological relevance of this covalent DNA modification. The latest high-resolution studies have revealed a role for very punctual DNA methylation in chromatin plasticity, gene regulation and splicing. Here, we aim to outline the major biological consequences of DNA methylation recently discovered. We also discuss the necessity of tuning DNA methylation resolution into an adequate scale to ease the integration of the methylome information with other chromatin features and transcription events such as gene expression, nucleosome positioning, transcription factors binding dynamic, gene splicing and genomic imprinting. Finally, our review sheds light on DNA methylation heterogeneity in cell population and the different approaches used for its assessment, including the contribution of single cell DNA analysis technology.
2013 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops towards Robust Activity Recognition for Everyday Life: Methods and Evaluation

The monitoring of physical activities under realistic, everyday life conditions-thus while an individual follows his regular daily routine-is usually neglected or even completely ignored. Therefore, this paper investigates the development and evaluation of robust methods for everyday life scenarios, with focus on the task of aerobic activity recognition. Two important aspects of robustness are investigated: dealing with various (unknown) other activities and subject independency. Methods to handle these issues are proposed and compared, a thorough eval­ uation simulates usual everyday scenarios of the usage of activity recognition applications. Moreover, a new evaluation technique is introduced (Ieave-one-other-activity-out) to simulate when an activity recognition system is used while performing a previously unknown activity. Through applying the proposed methods it is possible to design a robust physical activity recognition system with the desired generalization characteristic.
A Multi-agent Based Model of Human Recognition Process for Analysis of the Advertisement ’ s Effectiveness

In this paper, we propose a multi -agent model for analyzing recognition process of advertising information. We selected brand communication in enterprises as our research target and analyzed customer ’s recognition process of TV commercials from the viewpoints of audio-visual rhetoric and cognitive science. And we designed multi -agent model concerned with customer ’s recognition process. The multi agent model makes clear the interaction between elements of customer ’s knowledge structure and the rhetorical characteristics of audio-visuals. It is found that the model is effective in the evaluation of advertisement.
System Level Virtual Prototyping becomes a reality with OVP donation from Imperas.

For many years, Electronic System Level (ESL) design and verification has been on the cusp of widespread adoption, but never seems to get there. Universities and companies claim to have the necessary breakthrough only to see the technology sit there for years or the company to hobble along without ever really becoming a success. Is this because ESL is failing to deliver on the promises or that the products are flawed? Is it because the preconceived notion of ESL is wrong? In this whitepaper the reasons behind this are investigated and the roles of a System Level Virtual Prototype (SLVP) will be discussed. Imperas Inc. recently announced their Open Virtual Platforms (OVP) initiative which may provide the missing piece of the puzzle to jump start successful commercial deployment of ESL flows.
Cultural Computing: A Case Study of Northern Indian Culture

Cultural Computing is the most important area in research in these days. By taking this concept this paper presents a case study of northern Indian culture based on Hindu & Sikh religion. It is associated with the conscious and unconscious states of human mind. A prototype model of an AI (Artificial Intelligence) based interactive narrative system going to be developed. This model reflects the Northern Indian culture and religious aspects of Hindu & Sikh religion. The implementation details prototype model have been described in this paper also.
GCDS: A Compiler Strategy for Trading Code Size Against Performance in Embedded Applications

In this paper we present GDS, a new approach for code optimization within the context of embedded systems. GDS applies several transformation sequences on each piece of code and chooses a posteriori the best trade-off between code size and performance, given the particular constraints. The proposed implementation relies on a modular framework that makes easy to handle differentcompilation strategies on the same piece of code.
New Hybrid High-Power Rectifier With Reduced THDI and Voltage-Sag Ride-Through Capability Using Boost Converter

Temporary voltage sags in the side of network supply voltage are the main cause of untimely stops of automated systems that use adjustable speed drives (ASDs). In this context, this paper presents an analysis of a new hybrid three-phase rectifier which was designed to correct the power factor and to promote voltage-sag ride-through capability to ASDs. In order to prove the effectiveness of the proposed solution, this paper shows experimental results for three case studies, evaluating the performance of the proposed hybrid rectifier under voltage-sag conditions. In all analyzed cases, it was proved that the proposed solution is efficient and can be very attractive for high-power applications.
K-scope: A Java-Based Fortran Source Code Analyzer with Graphical User Interface for Performance Improvement

Given that scientific computer programs are becoming larger and more complicated, high performance application developers routinely examine the program structure of their source code to improve their performance. We have developed K-scope, a source code analysis tool that can be used to improve code performance. K-scope has graphical user interface that visualizes program structures of Fortran 90 and FORTRAN 77 source code and enables static data-flow analysis. To develop the tool, we adopted the filtered abstract syntax tree (filtered-AST) model with Java to visualize the program structure efficiently. Filtered-AST, which extends the AST in the structured programming model by abstract block structuring, is suitable for visualization program structures. Based on this model, K-scope has been developed as an experimental implementation. It constructs filtered-AST objects from both source and intermediate code generated by the front-end of the XcalableMP compiler. We provide illustrations of the graphical user interface and give detailed examples of the tool applied to an actual application code.
Proportional Fair Scheduling Using Capacity with Outage in Rayleigh Fading CDMA Wireless Networks

In this paper, we consider the utility maximization problem for proportional fairness using capacity with outage. Firstly, we formulate a log utility maximization problem in case of perfect orthogonal channels. With the gradient algorithm of convex optimization problem, we present the implementation algorithm for maximizing utility of capacity with outage. Also, we extend the result to the case with interference due to non-orthogonal channels. Finally, with the information of an outage indicator, we propose the estimation algorithm for average signal-to-interference-noise ratio (SINR) of wireless links. From numerical results, we confirm that the utility of capacity with outage is maximized and the average performance of proposed algorithm converges to the desired maximizing point.