Miracle-dz/UniFAR-FTUs huggingface dataset:
Testbed for wireless vehicle communication: a simulation approach based on three-phase traffic theory

A testbed for wireless vehicle communication based on a microscopic model in the framework of three-phase traffic theory is presented. In this testbed, vehicle motion in traffic flow and analyses of a vehicle communication channel access based on IEEE 802.11e mechanisms, radio propagation modeling, message reception characteristics as well as all other effects associated with ad-hoc networks are integrated into a three-phase traffic flow model. Thus simulations of both vehicle ad-hoc network and traffic flow are integrated onto a single testbed and perform simultaneously. This allows us to make simulations of ad-hoc network performance as well as diverse scenarios of the effect of wireless vehicle communications on traffic flow during simulation times, which can be comparable with real characteristic times in traffic flow. In addition, the testbed allows us to simulate cooperative vehicle motion together with various traffic phenomena, like traffic breakdown at bottlenecks. Based on simulations of this testbed, some statistical features of ad-hoc vehicle networks as well as the effect of C2C communication on increase in the efficiency and safety of traffic are studied.
Palantír : Increasing Awareness in Distributed Software Development

Distributed software development, just like regular software development, typically involves developers working in parallel on the same set of artifacts. Unlike regular software development, however, distributed software development is limited since developers are unable to easily coordinate their efforts in person due to the presence of physical boundaries. While configuration management systems provide some automated coordination support in the form of locking and merging, the high cost of conflict resolution in distributed software development requires even higher levels of support to ensure as few integration problems as possible. In this paper, we introduce Palantír, a system that complements existing configuration management systems by providing distributed awareness of project progress. In particular, Palantír provides each developer with a graphical display that not only shows which remote artifacts are changing, but also presents them with a measure of both the severity and the impact of the changes. As a result, developers are provided with an increased level of awareness that allows them to detect and resolve problems much earlier.
Detection of chorus from an audio clip using dynamic time warping algorithm

This paper describes a method to detect repeating segments in an audio signal by using dynamic time warping algorithm. The proposed framework extracts features from frames of the audio by Mel frequency cepstral coefficients. The features extracted from the audio clip of the chorus were matched against the features of the whole clip by dynamic time warping. The number of matches found was determined by self similarity matrix. The experimental results indicate that the minimum distance matches between query and reference clip is successfully achieved. The proposed scheme was tested in a database of audio signals and the experimental results are encouraging. The proposed scheme was implemented and tested using a database of audio signals with accuracy up to 98%.
Towards a New Approach in Available Bandwidth Measures on Mobile Ad Hoc Networks

Given the development of multimedia applications with intensive consumption of network resources by the traffic generated, and the emergent use of mobile ad hoc networks, the guarantee of the quality of service (QoS) has become essential. The available bandwidth is the crucial resource, particularly in mobile ad hoc networks, since it is very limited; this is why it must be optimally managed and accurately estimated. Several projects have been conducted to provide new techniques for measuring the available bandwidth in mobile ad hoc networks. But mobility, which is the basic criterion of this type of network, is neglected and isn't processed by any measurement technique proposed. In this paper we disclose the importance of the taking into account this criterion and we will unveil a novel measurement technique ABE_MM (Available Bandwidth Estimation with Mobility Management) which is an extension of other robust existing measurement methods and which treats mobility in a specific manner.
Measuring β-Cell Function Relative to Insulin Sensitivity in Youth

OBJECTIVE To compare β-cell function relative to insulin sensitivity, disposition index (DI), calculated from two clamps (2cDI, insulin sensitivity from the hyperinsulinemic-euglycemic clamp and first-phase insulin from the hyperglycemic clamp) with the DI calculated from the hyperglycemic clamp alone (hcDI). RESEARCH DESIGN AND METHODS Complete data from hyperglycemic and hyperinsulinemic-euglycemic clamps were available for 330 youth: 73 normal weight, 168 obese with normal glucose tolerance, 57 obese with impaired glucose tolerance, and 32 obese with type 2 diabetes. The correlation between hcDI and 2cDI and Bland-Altman analysis of agreement between the two were examined. RESULTS Insulin sensitivity and first-phase insulin from hcDI showed a hyperbolic relationship. The hcDI correlated significantly with 2cDI in the groups combined (r = 0.85, P < 0.001) and within each group separately (r ≥ 62, P < 0.001). Similar to 2cDI, hcDI showed a declining pattern of β-cell function across the glucose-tolerance groups. Overall, hcDI values were 27% greater than 2cDI, due to the hyperglycemic versus euglycemic conditions, reflected in a positive bias with Bland-Altman analysis. CONCLUSIONS β-Cell function relative to insulin sensitivity could be accurately evaluated from a single hyperglycemic clamp, obviating the need for two separate clamp experiments, when lessening participant burden and reducing research costs are important considerations.
Computer Vision for Multi-Sensory Structural Health Monitoring System *

This paper presents the use of multiple sensor modalities in order to perform traffic analysis for health monitoring of transportation infrastructure. In particular, testbeds containing video and seismic sensors giving complementary information about vehicles are described. Computer vision algorithms are used to detect and track the vehicles and extract their properties. This information is combined with the data from seismic sensors for robust classification of vehicles. Experimental results obtained with our testbeds are described.
Towards Programmable Fog Nodes in Smart Factories

Starting with the invention of the steam engine in the 18th century, the industrial revolutions formed an ecosystem of over 20 billion connected devices with unforeseeable influence to the Gross Domestic Product (GDP). Predictions are that, by 2020 the connectable assets will generate about 44 ZB of data, which pose interesting challenges related to privacy, connectivity, scalability and others. A current line of action is the development of Cyber-Physical Systems (CPSs), which can be monitored and controlled by private clouds or edge systems. Our approach is to bring functionalities, such as analytics, as close to the devices as possible (denoted as Fog Computing) to reduce latency and enhance data privacy and communication robustness. As a starting point we're extending a standard-compliant Machine-To-Machine Communication (M2M) architecture with container based orchestration mechanisms to enable CPSs to be programmable, autonomous and to communicate peer-to-peer. As the main field of application we are considering in particular smart factory environments and Industrial Internet domains in general.
European Case Law Identifier: Indispensable Asset for Legal Information Retrieval

In December 2010 the EU Council of Ministers decided on the ‘Conclusions inviting the introduction of the European Case Law Identifier (ECLI) and a minimum set of uniform metadata for case law’ (hereafter: ‘ECLI-conclusions’). In this paper we will discuss the coming about and the contents of these conclusions, in the broader perspective of access to case law.
Genome-wide statistical analysis of multiple transcription factor binding sites obtained by chip-seq technologies

Genome-wide identification of transcription factor binding sites and gene regulatory elements is an important problem of computational genomics. Advances in high-throughput sequencing technologies combined with chromatin immunoprecipitation, such as ChIP-on-chip, ChIP-seq and ChIP-PET (Paired-End diTag) allow us to map transcription factor binding sites (TFBS) and analyze mechanisms of gene regulation on the level of the entire genome. Examples include Oct4, Sox2, Nanog and 10 other transcription factors in mouse, and p53, c-Myc, ER, FoxA1 in human. Clustering of multiple binding sites by different TF reveals potential enhancer regions in mammalian genome. We discuss here statistical analysis of data mapping quality, sensitivity and specificity issues of the ChIP-seq TFBS sets and downstream gene expression analysis.
The evolution of obligate sex: the roles of sexual selection and recombination

The evolution of sex is one of the greatest mysteries in evolutionary biology. An even greater mystery is the evolution of obligate sex, particularly when competing with facultative sex and not with complete asexuality. Here, we develop a stochastic simulation of an obligate allele invading a facultative population, where males are subject to sexual selection. We identify a range of parameters where sexual selection can contribute to the evolution of obligate sex: Especially when the cost of sex is low, mutation rate is high, and the facultative individuals do not reproduce sexually very often. The advantage of obligate sex becomes larger in the absence of recombination. Surprisingly, obligate sex can take over even when the population has a lower mean fitness as a result. We show that this is due to the high success of obligate males that can compensate the cost of sex.
De Novo Transcriptome Assembly and Comparative Analysis of Differentially Expressed Genes in Prunus dulcis Mill. in Response to Freezing Stress

Almond (Prunus dulcis Mill.), one of the most important nut crops, requires chilling during winter to develop fruiting buds. However, early spring chilling and late spring frost may damage the reproductive tissues leading to reduction in the rate of productivity. Despite the importance of transcriptional changes and regulation, little is known about the almond’s transcriptome under the cold stress conditions. In the current reserch, we used RNA-seq technique to study the response of the reporuductive tissues of almond (anther and ovary) to frost stress. RNA sequencing resulted in more than 20 million reads from anther and ovary tissues of almond, individually. About 40,000 contigs were assembled and annotated de novo in each tissue. Profile of gene expression in ovary showed significant alterations in 5,112 genes, whereas in anther 6,926 genes were affected by freezing stress. Around two thousands of these genes were common altered genes in both ovary and anther libraries. Gene ontology indicated the involvement of differentially expressed (DE) genes, responding to freezing stress, in metabolic and cellular processes. qRT-PCR analysis verified the expression pattern of eight genes randomley selected from the DE genes. In conclusion, the almond gene index assembled in this study and the reported DE genes can provide great insights on responses of almond and other Prunus species to abiotic stresses. The obtained results from current research would add to the limited available information on almond and Rosaceae. Besides, the findings would be very useful for comparative studies as the number of DE genes reported here is much higher than that of any previous reports in this plant.
Haptic object recognition using a multi-fingered dextrous hand

The use of a dextrous, multifingered hand for high-level object recognition tasks is considered. The paradigm is model-based recognition in which the objects are modeled and recovered as superquadratics, which are shown to have a number of important attributes that make them well suited for such a task. Experiments have been performed to recover the shape of objects using sparse contacts point data from the hand with promising results. The authors also propose an approach to using tactile data in conjunction with the dextrous hand to build a library of grasping and exploration primitives that can be used in recognizing and grasping more complex multipart objects. <<ETX>>
Role of E-cadherin and other cell adhesion molecules in survival and differentiation of human pluripotent stem cells

The survival, proliferation, self-renewal and differentiation of human pluripotent stem cells (hPSCs, including human embryonic stem cells and human induced pluripotent stem cells) involve a number of processes that require cell-cell and cell-matrix interactions. The cell adhesion molecules (CAMs), a group of cell surface proteins play a pivotal role in mediating such interactions. Recent studies have provided insights into the essential roles and mechanisms of CAMs in the regulation of hPSC fate decisions. Here, we review the latest research progress in this field and focus on how E-cadherin and several other important CAMs including classic cadherins, Ig-superfamily CAMs, integrins and heparin sulfate proteoglycans control survival and differentiation of hPSCs
Practical minimal perfect hash functions for large databases

We describe the first practical algorithms for finding minimal perfect hash functions that have been used to access very large databases (i.e., having over 1 million keys). This method extends earlier work wherein an 0(n-cubed) algorithm was devised, building upon prior work by Sager that described an 0(n-to the fourth) algorithm. Our first linear expected time algorithm makes use of three key insights: applying randomness whereever possible, ordering our search for hash functions based on the degree of the vertices in a graph that represents word dependencies, and viewing hash value assignment in terms of adding circular patterns of related words to a partially filled disk. Our second algorithm builds functions that are slightly more complex, but does not build a word dependency graph and so approaches the theoretical lower bound on function specification size. While ultimately applicable to a wide variety of data and file access needs, these algorithms have already proven useful in aiding our work in improving the performance of CD-ROM systems and our construction of a Large External Network Database (LEND) for semantic networks and hypertext/hypermedia collections. Virginia Disc One includes a demonstration of a minimal perfect hash function running on a PC to access a 130,198 word list on that CD-ROM. Several other microcomputer, minicomputer, and parallel processor versions and applications of our algorithm have also been developed. Tests including those wiht a French word list of 420,878 entries and a library catalog key set with over 3.8 million keys have shown that our methods work with very large databases.
THE MECHANISM OF ADHESION OF CELLS TO GLASS

An optical technique for measuring the thickness of thin films has been adapted and evaluated for studying the structure of the adhesion of cells to glass in tissue culture. This technique, which is termed interference reflection microscopy, has been used to study embryonic chick heart fibroblasts. These findings have been observed: in normal culture medium the closest approach of the cell surface to substrate in its adhesions is ca. 100 A, much of the cell surface lying farther away; chemical treatments which bring the cell surface to near its charge reversal point reduce the closest approach of adhesions to <50 A, probably to <30 A; chemical treatments which increase surface charge increase the nearest approach of cell and substrate in adhesions from ca. 100 A; high osmotic concentration of a non-polar substance, i.e. sucrose, does not affect the distance between cell and substrate in the adhesions. In addition, optical evidence indicates that there is no extracellular material between cell and glass in the adhesions. When cells de-adhere from glass, they appear not to leave fragments behind. The adhesive sites in these fibroblasts appear to be confined to the edge of the side of the cell facing the substrate and to the pseudopods. The significance of this is discussed in relation to the phenomenon of contact inhibition. Evidence is presented that the mechanism of cell adhesion does not involve calcium atoms binding cells to substrate by combining with carboxyl groups on cell surface, substrate, and with a cement substance. Osmium tetroxide fixation results in a final separation of 100 to 200 A between cell and substrate: there are reasons for thinking that this fairly close approach to the condition in life is produced as an artefact. The results can be accounted for only in terms of the action of electrostatic repulsive forces and an attractive force, probably the van der Waals—London forces. Biological arguments suggest that these results are equally applicable for cell-to-cell adhesions.
A Natural Semantics for Completely Lazy Evaluation

Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional languages do not use plain call-by-need evaluation: they also use optimisations like fully lazy λ-lifting or partial evaluation. To ease reasoning, it would be nice to have all these features in a uniform setting. In this paper, we generalise Launchbury’s semantics in order to capture “complete laziness”, as coined by Holst and Gomard in 1991, which is slightly more than fully lazy sharing, and closer to on-the-fly needed partial evaluation. This gives a clear, formal and implementation-independent operational semantics to completely lazy evaluation, in a natural (or big-step) style similar to Launchbury’s. Surprisingly, this requires to share not only terms, but also contexts, a property which was thought to characterise
Pneumatic muscle actuator position control based on sliding mode control algorithms

This paper proposed two novel discrete sliding model controllers (DSMC), which based on equivalent control and exponential reaching law respectively. Three different control algorithms, PID, DSMC based on Equivalent control (DSMCEC) and DSMC based on exponential reaching (DSMC-ER) law, are applied to control a pneumatic muscle actuator (PMA) in a position control system. Simulation and experiment methods are used to study characteristics of those control algorithms. Results show that two DSMC control algorithms are both better compared with PID controller in robustness, though they own some strengths and weaknesses.
Differential Effects of Continuous Exposure to the Investigational Metastin/Kisspeptin Analog TAK-683 on Pulsatile and Surge Mode Secretion of Luteinizing Hormone in Ovariectomized Goats

Abstract The aim of the present study was to determine if the estradiol-induced luteinizing hormone (LH) surge is influenced by the constant exposure to TAK-683, an investigational metastin/kisspeptin analog, that had been established to depress the pulsatile gonadotropin-releasing hormone (GnRH) and LH secretion in goats. Ovariectomized goats subcutaneously received TAK-683 (TAK-683 group, n=6) or vehicle (control group, n=6) constantly via subcutaneous implantation of an osmotic pump. Five days after the start of the treatment, estradiol was infused intravenously in both groups to evaluate the effects on the LH surge. Blood samples were collected at 6-min intervals for 4 h prior to the initiation of either the TAK-683 treatment or the estradiol infusion, to determine the profiles of pulsatile LH secretion. They were also collected at 2-h intervals from –4 h to 32 h after the start of estradiol infusion for analysis of LH surges. The frequency and mean concentrations of LH pulses in the TAK-683 group were remarkably suppressed 5 days after the start of TAK-683 treatment compared with those of the control group (P<0.05). On the other hand, a clear LH surge was observed in all animals of both groups. There were no significant differences in the LH concentrations for surge peak and the peak time of the LH surge between the TAK-683 and control groups. These findings suggest that the effects of continuous exposure to kisspeptin or its analog on the mechanism(s) that regulates the pulsatile and surge mode secretion of GnRH/LH are different in goats.
VS3: The Virtual Storage Service-Based System

As the enterprise application business changing more complex and more constantly, the back-end storage services framework must be on-demand. While the on-demand dynamic integration and reorganization of enterprises focusing on the equipment and management is urgently needed. So for this goal, we propose the VS3, virtual storage system model. Using the technology of virtual storage and the storage services application integration, the model allows users facing the upper applications management, directly. The paper details the model of the entire VS3 framework, and has designed the VS3 service discovery and data transmission mechanism. Under the premise of the existing equipments cost reduction, we use the computing and storage resources separation strategy to synthesize new applications and services for future.
Exact enumeration of self-avoiding walks

A prototypical problem on which techniques for exact enumeration are tested and compared is the enumeration of self-avoiding walks. Here, we show an advance in the methodology of enumeration, making the process thousands or millions of times faster. This allowed us to enumerate self-avoiding walks on the simple cubic lattice up to a length of 36 steps.
Image restoration with union of directional orthonormal DWTs

This work proposes to apply directional lapped orthogonal transforms to image restoration. A DirLOT is an orthonormal transform of which basis is allowed to be anisotropic with the symmetric, real-valued and compact-support property. In this work, DirLOTs are used to generate symmetric orthonormal discrete wavelet transforms and then a redundant dictionary as a union of unitary transforms. The multiple directional property is suitable for representing natural images which contain diagonal edges and textures. The performances of deblurring, super-resolution and inpainting are evaluated for several images with the iterative-shrinkage/thresholding algorithm. It is verified that the proposed dictionary yields comparable or superior restoration performance to the non-subsampled Haar transform.
Application of RS Theory and SVM in the Ore-Rock Classification

One of the main goals in machine learning is the general functional dependencies. Recent advances in kernel- based methods are focused on designing flexible and powerful input and output representations. This paper describes how rough set (RS) and support vector machine (SVM) can be practically implemented in ore-rock classification, and discusses the kernel mapping technique which is used to construct SVM solutions. In ore-rock classification using RS theory and SVM, original sample data is preprocessed with the knowledge reduction algorithm of RS theory, and the redundant condition attributes and conflicting samples are eliminated from the training sample sets to reduce space dimension of the data. Preprocessed data is used as training data of SVM, and fuzzy discrete model is used as training model. The results show that the RS and SVM can improve the training speed and precision of ore-rock classification.