Miracle-dz/UniFAR-FTUs huggingface dataset:
Genomatica: an integrated data management and analysis tool for genome sequencing projects

Genomatica is an integrated software tool designed for helping systematic management of a large number of DNA sequence fragments obtained through a genome sequencing project. Its graphic user-interface also allows users to look, with any magnifying factor, into any position of the specified chromosome and to browse various kinds of collected information altogether (including: DNA sequence itself, related gene descriptions, bibliographic references, corresponding GenBank entries, confirmed or putative coding regions, results from homology analysis for the expected protein, RNA genes, clone information, enzyme restriction maps, comments from administrator, private memorandums by user). We are planning to use Genomatica in E. coli (local data compilation mainly managed by Mori), B.subtilis (by Ogasawara), and S.cerevisiae (by Murakami) genome sequencing projects. The Genomatica project was started on 1992 as one of the advanced genome database projects sponsored by Human Genome Center, University of Tokyo. In June 1993, ver.2. 0 which was fully re-designed with NCBI vibrant library was released. Further augmented version Genomatica 2.1 (with several sequence analysis functions and network communication modules) will be released on Nov. 1993 and will be distributed through anonymous ftp services. The Genomatica system is currently available for X11 window system on Unix workstations, but Macintosh and IBM-PC versions will be also announced soon. 1秋山 泰* ,森 浩禎,久 原 哲,小 笠原 直毅,宮 嶋 伸行,古川 哲也,佐藤賢二,村上 康文 *〒611京 都府宇治市五 ヶ庄 京都大学化学研究所
Fluid Particles: A Review

The concept of fluid particle is fundamental to study the Physics of fluid flow. Three types of fluid particles are currently used: the finite, the infinitesimal and the point particle. The finite particle renders the atomic-molecular structure of matter and is particularly relevant in flow measurements. The infinitesimal and the point concepts are mathematical abstractions used in modeling fluid flow. The subject is reviewed on the basis of well-known fluid flow related textbooks (all in English), comprising authors of different backgrounds and spanning over fifty years of editions
B-method based approach for designing ballistic computers

The B-method to design general ballisticcomputer programs was selected,which represented a typicalapplication in mission-critical areas where formal methods were increasingly applied to improve software qualityand reliability.By modeling eachbasic ballistic computer as an abstract machine and stepwise enhancing new functions into existing machines during the refinement process,the com-plexity between ballistic parameters was well controlled and reduced,the run-time security of software was formally guaranteed in virtue of invariants,and the programs with reusability and extensibility were ultimately generated.
Modular Neural Networks Chronicles in Biological Aspects

Modular Neural Network Is A One of The Model Of Artificial Neural Networks. This Manuscript Describes The Urge Of Modular Neural Network (MNN) And How It Can Be Applied In The Biological Aspects, Since All The Cell Functions Are Modular In Nature And Can Be Applied In All Most All Cell Structures And Function Through The Connectionist Approach And The Weightless Logical Approach For Best Optimized Error.
Energy Saving in Ultra Dense Network via Dynamic Base Station Sleeping Combined with Interference Mitigation

Ultra dense network is envisioned as a promising solution to meet the exponential growth of mobile data traffic. However, with the increasing density of small cells, the strength of inter-cell interference increases as well, which generates negative influence on the network performance. Since access networks are designed to support peak load, the utilization of base station can be inefficient most of the time which will result in a huge waste of energy. In this paper, we combine the base station sleeping with interference mitigation to address these issues. In our algorithm, we take advantage of the characteristic that the data traffic can tolerate a certain delay to mitigate interference. Therefore, base stations can be in sleep mode for a longer time while guaranteeing users’ minimal average transmission rate requirements. We also adopt the base station clustering to reduce the computational complexity of the proposed algorithm. The simulation results show that our proposed scheme can greatly reduce the energy consumption.
Android the Open Source for Mobile Application

: Android is one of the most popular most popular open source operating system for mobile platforms. Contemplating Android application development is great choice as per current market scenario. Tough there are plenty of advantages of associated with it. The Android app ecosystem is rich and diverse and their usage is changing people‟s lives. Today‟s the world is moving towards mobility and we think all of us have Smartphone in our hand of android, IOS, windows. Over the year Smartphone have become an important part of the day to day life, today‟s era are more addicted for the Smartphone and it became basic need in all over the word. There are some advanced feature sin android Smartphone, with which user can easily share application via online market store i.e. Google market store. But still the security area is underdeveloped. This survey is about the current work done on the android operating system.
Implementation on Secure Distributed Deduplication Systems with Improved Reliability

: Data deduplication is a method for removing multiple copies of same data, and has been widely used in cloud storage to reduce storage space and uploading speed. However, there is only one copy for each ﬁle stored in cloud even if such a ﬁle is owned by a multiple number of users. As a result, deduplication system improves storage utilization while reducing reliability. Mostly, the challenge of privacy for sensitive data also arises when they are outsourced by users to cloud. Aiming to address the above security challenges, this paper makes the ﬁrst attempt to formaliz e the notion of reliable deduplication system. We propose new distributed deduplication systems with higher reliability in which the data chunks are distributed across multiple cloud servers. The data con ﬁdentiality and tag consistency of data are also achieved by introducing a deterministic secret sharing scheme in distributed storage systems, instead of using convergent encryption as in previous deduplication systems. Security analysis depicts that our deduplication systems are secure in terms of the de ﬁnitions speciﬁed in the proposed security model. As a proof of concept, we implement the proposed systems and demonstrate that the incurred overhead is very limited in realistic environments.
Delay Weighted Dynamic Subcarrier Allocation Algorithm for OFDMA Downlink

The dynamic subcarrier allocation algorithm was studied.A novel algorithm for subcarrier allocation called delay weighted dynamic subcarrier assignment(DWDSA) was proposed.DWDSA was composed of inner and outer loop control structure.The function of inner loop was to allocate the subcarrier with the given power allocation scheme.And that of out loop was to adjust the delay weighted parameters.The performance of the queuing delay and buffer occupancy are improved according the simulation results.Moreover,in this algorithm the queuing delay and channel condition were consi-(dered) to improve the resources utility and to satisfy the requirement of quality of service(QoS).
REPRÉSENTATION DE TEXTES À L'AIDE D'ÉTIQUETTES SÉMANTIQUES DANS LE CADRE DE LA CLASSIFICATION AUTOMATIQUE

This paper describes an algorithm for document representation in a reduced vectorial space by a process of feature extraction. The algorithm is evaluated in the context of the supervised classification of news articles. We are generating a document representation (profile) represented by semantic tags from a machine-readable dictionary. We are dealing with synonymy handled by thematic conflation, and polysemy for which we have developed a statistical method for word-sense disambiguation. We propose four variants for the profile generation depending on whether a recursive system is used or not, and whether a corrective factor for polysemous words is taken into account or not. We have evaluated 32 variants, depending on the algo rithm type and on three other parameters: grammatical category selection, 15% reduction of the profile, and a stop-list of semantic tags. Some parameters (like profile reduction) have low influence on the classifier performance and others (corrective factor for the ambiguous words, stop-list) improve the performance noticeably. Mots-cle : representation des documents; reduction de l'espace de representation; categorisation; classification des documents; traitement automatique; desambiguisation statistique; evaluation.
Team Cooperation In A Network Of Multi Vehicle Unmanned Systems Synthesis Of Consensus Algorithms

Thank you very much for downloading team cooperation in a network of multi vehicle unmanned systems synthesis of consensus algorithms. Maybe you have knowledge that, people have look numerous times for their favorite novels like this team cooperation in a network of multi vehicle unmanned systems synthesis of consensus algorithms, but end up in infectious downloads. Rather than enjoying a good book with a cup of coffee in the afternoon, instead they cope with some infectious virus inside their laptop.
SAT-Encodings for Treecut Width and Treedepth

The decomposition of graphs is a prominent algorithmic task with numerous applications in computer science. A graph decomposition method is typically associated with a width parameter (such as treewidth) that indicates how well the given graph can be decomposed. Many hard (even #P-hard) algorithmic problems can be solved efficiently if a decomposition of small width is provided; the runtime, however, typically depends exponentially on the decomposition width. Finding an optimal decomposition is itself an NP-hard task. In this paper we propose, implement, and test the first practical decomposition algorithms for the width parameters treecut width and treedepth. These two parameters have recently gained a lot of attention in the theoretical research community as they offer the algorithmic advantage over treewidth by supporting so-called fixed-parameter algorithms for certain problems that are not fixed-parameter tractable with respect to treewidth. However, the existing research has mostly been theoretical. A main obstacle for any practical or experimental use of these two width parameters is the lack of any practical or implemented algorithm for actually computing the associated decompositions. We address this obstacle by providing the first practical decomposition algorithms. Our approach for computing treecut width and treedepth decompositions is based on efficient encodings of these decomposition methods to the propositional satisfiability problem (SAT). Once an encoding is generated, any satisfiability solver can be used to find the decomposition. This allows us to leverage the surprising power of todays state-of-the art SAT solvers. The success of SAT-based decomposition methods crucially depends on the used characterisation of the decomposition method, as not every characterisation is suitable for that task. For instance, the successful leading SAT encoding for treewidth is based on a characterisation of treewidth in terms of elimination orderings. For treecut width and treedepth, however, we propose new characterisations that are based on sequences of partitions of the vertex set, a method that was pioneered for clique-width. We implemented and systematically tested our encodings on various benchmark instances, including famous named graphs and random graphs of various density. It turned out that for the considered width parameters, our partition-based SAT encoding even outperforms the best existing SAT encoding for treewidth. We hope that our encodings-which we will make publicly available-will stimulate the experimental research on the algorithmic use of treecut width and tree depth, and thus will help to bride the gap between theoretical and experimental research. For future work we propose to scale our approach to larger graphs by means of SAT-based local improvement, a method that have been recently shown successful for the width parameters treewidth and branchwidth.
Usability Testing of Marking Menus

In this paper I investigate the usability of the multi-touch marking menus in multi-touch devices through three prototype applications that support multi-touch marking menus and I suggest a general area where they seem fit to be used. For the usability testing four testing methods were used. These meth-ods are described further in this paper along with the resources used and the produced results. At the end of the paper the conclusions are given with the recommended area of usage of the multi-touch marking menus.
Hypolipidemic effects of barley-β-glucan in experimentally induced hyperlipidemic rats

Hyperlipidemia is one of the major risk factors for heart disease. One way to reduce the risk of developing the disease is to lower serum cholesterol levels by making dietary changes. Beta-glucan are glucose polymers present in cereal grains as barley,consumption of the whole grain or concentrated β-glucan preparation has been shown to lower blood lipid profile and atherogenic ratios. Fifty male albino rats were assigned into five groups. The control groupreceived standard diet, the hyperlipidemic group fed 1% cholesterol and 20% coconut oil in the dietfor 8 weeks. The β-glucan treated group received high fat diet for 4 weeks then high fat diet plus barley β-glucan 10 mg/rats given orally for more 4 weeks. The β-glucan protected group received standard diet +10 mg/rat barley β-glucan for 2 weeks then high fat diet + barley β-glucan 10 mg/rat for another 8 weeks. The β-glucan group received standard diet + barley β-glucan 10 mg/rat for 8 weeks. The hyperlipidemicrats showed an increase in lipid profile, total lipid, phospholipids, atherogenic ratios, liver enzymes, kidney functions and glucose and a decrease in HDL-C and albumin compared with the control group. Moreover histological examination of liver tissue of hyperlipidemic rats showed fatty hepatocytes compared with the control. Administration of barley β-glucan 10 mg/rat in treated and protected groups ameliorated the levels of lipids, atherogenic ratios, liver functions, kidney functions and glucose. In addition, the liver tissues showed improved pathological alterations.
Perancangan Codec Berbasis Algoritma Kompresi H.264 untuk Aplikasi Konferensi Video

Dewasa ini, banyak aplikasi yang dibuat dengan melibatkan fitur multimedia. Salah satu aplikasi tersebut adalah aplikasi konferensi, yaitu komunikasi yang dilakukan oleh suatu group yang terhubung pada suatu jaringan dengan setiap anggota group dapat saling melihat anggota yang lain melaluifasilitas video yang direkam menggunakan sebuah piranti webcam. Dalam komunikasi video, dibutuhkan bandwidth yang cukup besar karena ukuran data video yang jauh lebih besar dibandingkan data suara. Untuk menyiasati hal tersebut, maka dilakukan kompresi pada video sebelum ditransmisikan. Dengan adanya kompresi, maka ukuran data video yang akan ditransmisikan menjadi lebih kecil sehingga dapat menghemat bandwidth saat transmisi data berlangsung. Dalam penelitian ini dirancang codec yang mengadopsi standar kompresi video H.264. Selanjutnya dianalisis kualitas video hasil kompresi meliputi : rasio kompresi, Peak Signal-to-Noise Ratio (PSNR), dan Mean Opinion Score (MOS). Selain itu, juga dianalisis pengaruh kompresi video terhadap kinerja aplikasi konferensi video. Dari hasil penelitian yang dilakukan, didapatkan hasil bahwa dengan adanya kompresi H.264 menghasilkan bitrate video yang rendah dengan penurunan mencapai 98.7% (1:77) hingga 99.52%(1:208) dengan PSNR minimal 30,90 dB.
Feature Detectors and Descriptors Generations with Numerous Images and Video Applications: A Recap

Feature detectors have a critical role in numerous applications such as camera calibrations, object recognition, biometrics, medical applications and image/video retrieval. One of its main tasks is to extract point correspondences “Interest points” between two similar scenes, objects, images or video shots. Extensive research has been done concerning the progress of visual feature detectors and descriptors to be robust against image deformations and achieve reduced computational speed in real-time applications. The current chapter introduced an overview of feature detectors such as Moravec, Hessian, Harris and FAST (Features from Accelerated Segment Test). It addressed the feature detectors’ generation over time, the principle concept of each type, and their use in image/video applications. Furthermore, some recent feature detectors are addressed. A comparison based on these points is performed to illustrate their respective strengths and weaknesses to be a base for selecting an appropriate detector according to the application under concern. Feature Detectors and Descriptors Generations with Numerous Images and Video Applications: A Recap
Growth and yield responses of two ginger species to different levels of nitrogen

Nitrogen (N) is a critical determinant of plant growth and productivity, but there is limited information on the agronomic parameters of medicinal plants. Three levels of N fertiliser (0, 1.375 and 1.625 g plant−1) were used to investigate the effects of fertilisation on the growth and yield parameters of two ginger species (Siphonochilus aethiopicus and Zingiber officinale). The experiment was conducted in the glasshouse with six treatments (two ginger species and three levels of N fertiliser) arranged in a randomised complete block design and replicated four times. The results indicated that N application significantly affected plant height, leaf number, chlorophyll content and rhizome yield of the species for two cropping seasons. Scanning electron microscopy analyses of stomata opening revealed that a higher N level increased the number of open stomata in both ginger species. The results showed that with application of 1.625 g N plant−1 both ginger growth and yield were higher compared with the lowest N fertiliser application levels. However, the growth parameters of Z. officinale were variably greater than those of S. aethiopicus. Therefore, the present study demonstrates that application of 1.625 g N plant−1 to commercial ginger and African ginger can be used to improve growth and yield.
Speaking of landmarks. How visual information influences reference in spatial domains

In a production experiment (Experiment 1) and an acceptability rating one (Experiment 2), we assessed two factors, spatial position and salience, which may influence the production of relational descriptions (such as “the ball between the man and the drawer”). In Experiment 1, speakers were asked to refer unambiguously to a target object (a ball). In Experiment 1a, we addressed the role of spatial position, more specifically if speakers mention the entity positioned leftmost in the scene as (first) relatum. The results showed a small preference to start with the left entity, which leaves room for other factors that could influence spatial reference. Thus, in the following studies, we varied salience systematically, by making one of the relatum candidates animate (Experiment 1b), and by adding attention capture cues, first subliminally by priming one relatum candidate with a flash (Experiment 1c), then explicitly by using salient colors for objects (Experiment 1d). Results indicate that spatial position played a dominant role. Entities on the left were mentioned more often as (first) relatum than those on the right (Experiment 1a, 1b, 1c, 1d). Animacy affected reference production in one out of three studies (in Experiment 1d). When salience was manipulated by priming visual attention or by using salient colors, there were no significant effects (Experiment 1c, 1d). In the acceptability rating study (Experiment 2), participants expressed their preference for specific relata, by ranking descriptions on the basis of how good they thought the descriptions fitted the scene. Results show that participants preferred most the description that had an animate entity as the first mentioned relatum. The relevance of these results for models of reference production is discussed. This chapter is based on: Baltaretu, A. , Krahmer, E. , Maes, A. , & van Wijk, C. (2016). Talking about relations: Factors influencing the production of relational descriptions. Frontiers in Psychology, 7 (103). doi: 10.3389/fpsyg.2016. 00103 Talking about Relations 13
Redefinition and Reclassification of Literature Review under the Big Data Environment

This document explains and demonstrates how to redefine and reclassify the Literature Review under the Big Data environment. We compared the three typical traditional definitions by Cooker, Fink and Machi-McEvoy, and found that their definitions have not adapted to the present age. According to the new requirements about Literature Review, we put forward a new redefinition for it. Our new redefinition includes 11 attributes, which are essence, objects, objectives, patterns or forms, procedures, requirements, results, contents, scope, significance and technique. In addition, except adjusting the classifications of Basic Literature Review and Senior Literature Review, the new type Synthetical Research of Literature Review is added and discussed in detail. From the redefinition and reclassification we can know the variation of Literature Review and the Literature Review should be sharing, reusable, systematic, comprehensive and consistent in Big Data era. Keywords—Redefinition, Reclassification, Literature Review, Big Data
Flow‐based electromagnetic‐type energy harvester using microplanar coil for IoT sensors application

Battery is the sole power source for Internet of thing (IoT) sensors. Due to limited shelf life, the batteries are required to be replaced intermittently. This periodic replacement of batteries is inflated in terms of both logistics and time. This article illustrates conceptual design, development, and characterization of a flow‐based electromagnetic‐type energy harvester (F‐EH) using microplanar coil for IoT sensors application. The F‐EH converts hydro energy into useful electrical energy utilizing electromagnetic transduction mechanism. The microfabrication and macrofabrication techniques adopted to manufacture harvester's components are presented. The F‐EH has been successfully characterized by laboratory scale experimental flow test loop commissioned for this work. Experimentation with associated uncertainty analysis prevails that at a matching impedance, the F‐EH can generate a 686 μW of maximum power at an operating flow rate of 12 L/min with an uncertainty of 8.1%.
A New IPL Algorithm for Constructing an RBF Network

In this paper a new incremental projection leaming( IPL) algorithm is presented. Through the network parameter adjustment, this new algorithm can adjust the operator A of IPL. It needs a small number of sampling data, and its training speed is higher than the traditional one. The new IPL algorithm is utilized to produce an RBF network. The computer simulation results show that the structure of the network constructed by the new algorithm is simple and the output of the system is accurate.
A Study of Theme-based Approach in the Effect of Language Output under Multi-Media and Network Environment

Students' competence in language output(speaking and writing) has become the hardest nut to crack for both the language learners and educators.This paper discusses the equally important stages of"input—intake—output"in language learning with the same theme and explores the effect of theme-based approach on enhancing the learners' output competence under multi-media and network environment.After a year' s instruction and learning,results show students in the experimental class reflect an apparent change in their competence of the language as a whole,especially output language competence.