Miracle-dz/UniFAR-FTUs huggingface dataset:
Hom-bialgebras and Comodule Algebras

We construct a Hom-bialgebra M(2) representing the functor of 2 × 2-matrices on Hom-associative algebras. We also construct a Hom-algebra analogue of the affine plane and show that it is a comodule algebra over M(2) in a suitable sense.
Leveraging Inconsistency in Software Development

Software engineers make use of many descriptions, including analysis models, specifications, designs, program code, user guides, test plans, change requests, style guides, schedules, and process models. But since different developers construct and update these descriptions at various times during development, maintaining consistency among descriptions presents several problems. Descriptions tend to vary considerably. Individual descriptions can be ill-formed or self-contradictory and frequently evolve throughout the life cycle at different rates. Also, checking the consistency of a large, arbitrary set of descriptions is computationally expensive. The authors assert that maintaining consistency at all times is counterproductive. In many cases, it may be desirable to tolerate or even encourage inconsistency to facilitate distributed team-work and prevent premature commitment to design decisions. They advocate using inconsistency to highlight problem areas, using it as a tool to improve the development team's shared understanding, direct the process of requirements elicitation, and assist with verification and validation.
A low-complexity pattern synthesis algorithm for arrays

A low-complexity pattern synthesis algorithm for arrays is presented. For a given desired sidelobe level, first using the linear search at the sidelobe region to find the location and the identity of the peak of sidelobe, only at the corresponding location of the sidelobe's peaks the interferences are introduced and at the same time the interferences powers are adjusted iteratively to control the sidelobes until the desired sidelobes are acquired. As a result the number of interferences substantially reduces, it is greatly improved the complexity, and the maximum sidelobe level has achieved to −60dB.
Vacuole Biogenesis in Saccharomyces cerevisiae: Protein Transport Pathways to the Yeast Vacuole

SUMMARY Delivery of proteins to the vacuole of the yeast Saccharomyces cerevisiae provides an excellent model system in which to study vacuole and lysosome biogenesis and membrane traffic. This organelle receives proteins from a number of different routes, including proteins sorted away from the secretory pathway at the Golgi apparatus and endocytic traffic arising from the plasma membrane. Genetic analysis has revealed at least 60 genes involved in vacuolar protein sorting, numerous components of a novel cytoplasm-to-vacuole transport pathway, and a large number of proteins required for autophagy. Cell biological and biochemical studies have provided important molecular insights into the various protein delivery pathways to the yeast vacuole. This review describes the various pathways to the vacuole and illustrates how they are related to one another in the vacuolar network of S. cerevisiae.
Admission control and bandwidth allocation above packet level for IEEE 802.16 wireless MAN

IEEE 802.16 wireless MAN is expected to be the revolution of broadband wireless access technology. The grant/request mechanism in IEEE 802.16 MAC enables different QoS for different class of multimedia. Efficient resource management is essential in providing scalability in such large wireless network. The mixture of conventional voice traffic and fractal traffic make the resource management more complex in 802.16 wireless network than that in telephone networks. In this paper, by using Gaussian model for aggregated traffic in large network and Chernoff bound method, we analyze upper bound blocking probability above the packet level for all types of traffic in 802.16 wireless MAN. Based on the analysis result, we propose an admission control and bandwidth allocation mechanism above the packet level for 802.16 wireless MAN. We also compare our upper bound blocking probability methodology with Erlang B formula which is only useful for voice traffic and find out that result from our methodology can be used as approximate blocking probability when network is large and is more efficient than Erlang B formula in numerical computing
THE SPECIFICATION OF IEC 61850 BASED SUBSTATION AUTOMATION SYSTEMS

The new communication standard IEC 61850 is introduced in Substation Automation replacing almost all traditional wires by serial communication. Based on mainstream communication means like Ethernet it provides a high flexibility regarding communication architectures. Due to its flexibility utilities are concerned about the process of specifying an IEC 61850 based Substation Automation systems. Based on experiences gained during the initial introduction of Substation Automation systems utilities are worried that they will not specify what is necessary. Main task for the specification is to assure that all specific requirements will be met and that at the same time a maximum use of all possible benefits is assured. This paper addresses the key issues related to the specification of an IEC 61850 based Substation Automation System. The findings are summarized as follows. Use a strictly functional specification for Substation Automation systems. Add performance and availability requirements and check whether all interfaces to the systems surrounding the SA system are covered and defined. Then allow manufactures and/or system integrators to supply a technically and economically optimized system. Finally in the specifications and the other tendering documents the role of each involved party, especially that of the system integrator must be defined and should be properly negotiated.
City browser: developing a conversational automotive HMI

This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to evaluate the impact of age and gender on device interaction errors, perceptions and experiences with the system along with physiological indices of workload is outlined. Preliminary results, plans for further analysis and a larger scale user evaluation are presented.
Efficient media access protocols for wireless LANs with smart antennas

The use of smart antennas in extending coverage range and capacity of wireless networks dictates the employment of novel media access control protocols, with which the base station (BS) or access point (AP) provides access to users by learning their locations. We consider the class of protocols that employ beam forming and use contention-based or contention-free polling methods to locate users residing in or out of coverage range of the AP. Such protocols allow rapid media access and can be embedded in existing MAC protocols.
Programming in the Image Understanding Environment : Locating Fibers in Microscope Images

The IUE provides a large, robust, well-documented, C++ hierarchy and tool suite to support Image Understanding research and technology transfer. This paper explores many of the capabilities of the IUE by looking closely at the implementation of an application to locate bers in a microscope image. Our example explores concepts such as image feature representations , spatial indices, graphs, matrices, points and curves. We also discuss the IUE vi-sualization library and tools, and demonstrate some of their capabilities.
Translation Initiation Factor AteIF(iso)4E Is Involved in Selective mRNA Translation in Arabidopsis Thaliana Seedlings

One of the most regulated steps of translation initiation is the recruitment of mRNA by the translation machinery. In eukaryotes, this step is mediated by the 5′end cap-binding factor eIF4E bound to the bridge protein eIF4G and forming the eIF4F complex. In plants, different isoforms of eIF4E and eIF4G form the antigenically distinct eIF4F and eIF(iso)4F complexes proposed to mediate selective translation. Using a microarray analysis of polyribosome- and non-polyribosome-purified mRNAs from 15 day-old Arabidopsis thaliana wild type [WT] and eIF(iso)4E knockout mutant [(iso)4E-1] seedlings we found 79 transcripts shifted from polyribosomes toward non-polyribosomes, and 47 mRNAs with the opposite behavior in the knockout mutant. The translationally decreased mRNAs were overrepresented in root-preferentially expressed genes and proteins from the endomembrane system, including several transporters such as the phosphate transporter PHOSPHATE1 (PHO1), Sucrose transporter 3 (SUC3), ABC transporter-like with ATPase activity (MRP11) and five electron transporters, as well as signal transduction-, protein modification- and transcription-related proteins. Under normal growth conditions, eIF(iso)4E expression under the constitutive promoter 35 S enhanced the polyribosomal recruitment of PHO1 supporting its translational preference for eIF(iso)4E. Furthermore, under phosphate deficiency, the PHO1 protein increased in the eIF(iso)4E overexpressing plants and decreased in the knockout mutant as compared to wild type. In addition, the knockout mutant had larger root, whereas the 35 S directed expression of eIF(iso)4E caused shorter root under normal growth conditions, but not under phosphate deficiency. These results indicate that selective translation mediated by eIF(iso)4E is relevant for Arabidopsis root development under normal growth conditions.
A Template-Based Approach for Speech Synthesis Intonation Generation Using LSTMs

The absence of convincing intonation makes current parametric speech synthesis systems sound dull and lifeless, even when trained on expressive speech data. Typically, these systems use regression techniques to predict the fundamental frequency (F0) frame-by-frame. This approach leads to overly-smooth pitch contours and fails to construct an appropriate prosodic structure across the full utterance. In order to capture and reproduce larger-scale pitch patterns, this paper proposes a template-based approach for automatic F0 generation, where per-syllable pitchcontour templates (from a small, automatically learned set) are predicted by a recurrent neural network (RNN). The use of syllable templates mitigates the over-smoothing problem and is able to reproduce pitch patterns observed in the data. The use of an RNN, paired with connectionist temporal classification (CTC), enables the prediction of structure in the pitch contour spanning the entire utterance. This novel F0 prediction system is used alongside separate LSTMs for predicting phone durations and the other acoustic features, to construct a complete text-to-speech system. We report the results of objective and subjective tests on an expressive speech corpus of children’s audiobooks, and include comparisons to a conventional baseline that predicts F0 directly at the frame level.
Coarse Woody Debris Increases Microbial Community Functional Diversity but not Enzyme Activities in Reclaimed Oil Sands Soils

Forest floor mineral soil mix (FMM) and peat mineral soil mix (PMM) are cover soils commonly used for upland reclamation post open-pit oil sands mining in northern Alberta, Canada. Coarse woody debris (CWD) can be used to regulate soil temperature and water content, to increase organic matter content, and to create microsites for the establishment of microorganisms and vegetation in upland reclamation. We studied the effects of CWD on soil microbial community level physiological profile (CLPP) and soil enzyme activities in FMM and PMM in a reclaimed landscape in the oil sands. This experiment was conducted with a 2 (FMM vs PMM) × 2 (near CWD vs away from CWD) factorial design with 6 replications. The study plots were established with Populus tremuloides (trembling aspen) CWD placed on each plot between November 2007 and February 2008. Soil samples were collected within 5 cm from CWD and more than 100 cm away from CWD in July, August and September 2013 and 2014. Microbial biomass was greater (p<0.05) in FMM than in PMM, in July, and August 2013 and July 2014, and greater (p<0.05) near CWD than away from CWD in FMM in July and August samplings. Soil microbial CLPP differed between FMM and PMM (p<0.01) according to a principal component analysis and CWD changed microbial CLPP in FMM (p<0.05) but not in PMM. Coarse woody debris increased microbial community functional diversity (average well color development in Biolog Ecoplates) in both cover soils (p<0.05) in August and September 2014. Carbon degrading soil enzyme activities were greater in FMM than in PMM (p<0.05) regardless of distance from CWD but were not affected by CWD. Greater microbial biomass and enzyme activities in FMM than in PMM will increase organic matter decomposition and nutrient cycling, improving plant growth. Enhanced microbial community functional diversity by CWD application in upland reclamation has implications for accelerating upland reclamation after oil sands mining.
miRBase: annotating high confidence microRNAs using deep sequencing data

We describe an update of the miRBase database (http://www.mirbase.org/), the primary microRNA sequence repository. The latest miRBase release (v20, June 2013) contains 24 521 microRNA loci from 206 species, processed to produce 30 424 mature microRNA products. The rate of deposition of novel microRNAs and the number of researchers involved in their discovery continue to increase, driven largely by small RNA deep sequencing experiments. In the face of these increases, and a range of microRNA annotation methods and criteria, maintaining the quality of the microRNA sequence data set is a significant challenge. Here, we describe recent developments of the miRBase database to address this issue. In particular, we describe the collation and use of deep sequencing data sets to assign levels of confidence to miRBase entries. We now provide a high confidence subset of miRBase entries, based on the pattern of mapped reads. The high confidence microRNA data set is available alongside the complete microRNA collection at http://www.mirbase. org/. We also describe embedding microRNA-specific Wikipedia pages on the miRBase website to encourage the microRNA community to contribute and share textual and functional information.
Clique-connecting forest and stable set polytopes

Let G=(V,E) be a simple undirected graph. A forest of G is said to be clique-connecting if each tree of F spans a clique of G. This paper adresses the clique-connecting forest polytope. First we give a formulation and a polynomial time separation algorithm. Then we show that the nontrivial nondegenerate facets of the stable set polytope are facets of the clique-connecting polytope. Finally we introduce a family of rank inequalities which are facets, and which generalize the clique inequalities.
Long-Term Outcomes of Cardiac Rehabilitation in Diabetic and Non-diabetic Patients With Myocardial Infarction

Objective To investigate the long-term outcomes of cardiac rehabilitation (CR) on exercise capacity in diabetic (DM) and non-diabetic (non-DM) patients with myocardial infarction (MI). Methods Of the MI patients who received hospital-based CR from February 2012 to January 2014, we retrospectively reviewed the medical records of the patients who continued follow-up through the outpatient clinic and community-based self-exercise after CR. A total of 37 patients (12 with DM and 25 without DM) were included in this study. Exercise capacity was measured by symptom-limited exercise tests before and after hospital-based CR and 1 year after the onset of MI. Results Before the CR, the DM group had significantly lower exercise capacity in exercise times, peak oxygen consumption (VO2peak), and metabolic equivalent tasks (METs) than did the non-DM group. After the CR, both groups showed significantly improved exercise capacity, but the DM group had significantly lower exercise capacity in exercise times, submaximal rate pressure products (RPPsubmax), VO2peak, and METs. One year after the onset of the MI, the DM group had significantly lower exercise capacity in exercise times, RPPsubmax, and VO2peak than did the non-DM group, and neither group showed a significant difference in exercise capacity between before and after the CR. Conclusion As a result of continued follow-up through an outpatient clinic and community-based self-exercise after hospital-based CR in patients with MI, the DM group still had lower exercise capacity than did the non-DM group 1 year after the onset of MI, but both groups maintained their improved exercise capacity following hospital-based CR.
A NEW FUZZY C MEANS CLUSTERING ALGORITHM BASED ON CONSTRAINED DYNAMIC TIME WARPING DISTANCE MEASURE 1

A decade back, Dynamic Time Warping (DTW) was establishing into Data Mining neighborhood as effectiveness for different responsibilities for moments sequence evils including categorization, group, and variance discovery. The method has flourished, chiefly in the last three years, and has been useful to a multiplicity of troubles in a variety of authority. In this paper, distant intellect clustering methods that make use of a solitary position iterative modified fuzzy C-means grouping algorithm is projected based leading the preceding in sequence. This technique is able to work out the fuzzy C-means algorithm's difficulty to the clustering worth is really reproduction by the data issue and the stochastic initializing the middle of clustering. Experimental results make obvious that the Modified FCM advance create better clusters than FCM clustering algorithms.
Switching Bilateral Filter With a Texture/Noise Detector for Universal Noise Removal

In this paper, we propose a switching bilateral filter (SBF) with a texture and noise detector for universal noise removal. Operation was carried out in two stages: detection followed by filtering. For detection, we propose the sorted quadrant median vector (SQMV) scheme, which includes important features such as edge or texture information. This information is utilized to allocate a reference median from SQMV, which is in turn compared with a current pixel to classify it as impulse noise, Gaussian noise, or noise-free. The SBF removes both Gaussian and impulse noise without adding another weighting function. The range filter inside the bilateral filter switches between the Gaussian and impulse modes depending upon the noise classification result. Simulation results show that our noise detector has a high noise detection rate as well as a high classification rate for salt-and-pepper, uniform impulse noise and mixed impulse noise. Unlike most other impulse noise filters, the proposed SBF achieves high peak signal-to-noise ratio and great image quality by efficiently removing both types of mixed noise, salt-and-pepper with uniform noise and salt-and-pepper with Gaussian noise. In addition, the computational complexity of SBF is significantly less than that of other mixed noise filters.
ICT in Thai Education Ideological and Structural Determinants that Support its Development , Introduction and Use

It is the main thesis of this paper that teaching practices in education in Thailand is set to undertake major change as technology affects how and what is taught. This paper explores what are considered important issues regarding the management of ICT in the Thai education system and assesses the importance of ICT in education; the meaning of technology; attempts to appraise the impact of computers, teacher/lecturer and student attitudes to technology in education; discusses the possible affects of access to technology and constructs a basis for realizing the purpose and use of technology in the classroom and further raises some issues relating to technological literacy.
Ectopic Mediastinal Thyroid Tissue With a Normally Located Thyroid Gland

Ectopic thyroid tissue (ETT) is a rare entity and a challenging differential diagnosis. This is a report of a case of a mediastinal mass that was found to be an ectopic mediastinal thyroid tissue, in a 77-year-old woman who was admitted to our hospital for breast cancer management. The mediastinal mass was identified in the postsurgical computed tomography (CT) scan of the chest and was suspected as mediastinal lymph node metastasis. A CT-guided percutaneous transthoracic punch biopsy (CT-TPB) proved to be an adequate diagnostic tool to exclude malignancy and provide a definite diagnosis of the mediastinal mass. We find that CT-guided punch biopsy as a useful diagnostic alternative enabling histopathological specimens to be obtained from mediastinal masses and lymph nodes suspected of malignancy.
Employing Blended Interaction to Blend the Qualities of Digital and Physical Books / Anwendung von Blended Interaction zur Vermischung der Eigenschaften digitaler und physischer Bücher

Summary This paper presents Integrative Workplace, a system which blends the qualities of digital and physical sources by augmenting physical books with properties of digital books and vice versa. On the base of Blended Interaction, we designed a system which helps users to interact with the new and unfamiliar functionality of digitally augmented books. In a user study, law students employed Integrative Workplace to work on a legal case. The positive feedback of participants indicated that we managed to design a system which is usable in a professional context. Furthermore, the study revealed evidence that digitally well-established concepts are a part of users’ reality and need to be considered in the design of new user interfaces. The results of this user study encourage us to continue to use Blended Interaction in the design process of novel user interfaces with an unfamiliar functionality. Zusammenfassung In diesem Beitrag wird Integrative Workplace vorgestellt, ein Arbeitsplatz der physische Bücher mit den Eigenschaften digitaler Bücher anreichert und umgekehrt. Auf Basis des Design Frameworks Blended Interaction wurde ein System entwickelt, das Benutzern hilft mit der neuartigen Funktionalität von digital angereicherten Büchern interagieren zu können. In einer Nutzerstudie verwendeten Jurastudenten Integrative Workplace um einen Sachverhalt zu bearbeiten. Die positive Resonanz der Teilnehmer zeigt, dass das System rechtswissenschaftliches Arbeiten unterstützt. Darüber hinaus gab die Studie Hinweis darauf, dass etablierte digitale Konzepte ein Teil der Realität geworden sind und daher beim Design von Benutzerschnittstellen berücksichtigt werden müssen. Die Ergebnisse der Studie ermutigen uns, Blended Interaction auch weiterhin im Designprozess neuartiger Benutzerschnittstellen zu verwenden.
Global software development in the freeBSD project

FreeBSD is a sophisticated operating system developed and maintained as open-source software by a team of more than 350 individuals located throughout the world. This study uses developer location data, the configuration management repository, and records from the issue database to examine the extent of global development and its effect on productivity, quality, and developer cooperation. The key findings are that global development allows round-the-clock work, but there are some marked differences between the type of work performed at different regions. The effects of multiple dispersed developers on the quality of code and productivity are negligible. Mentoring appears to be sometimes associated with developers living closer together, but ad-hoc cooperation seems to work fine across continents.
The Málaga urban dataset: High-rate stereo and LiDAR in a realistic urban scenario

This paper introduces a dataset gathered entirely in urban scenarios with a car equipped with one stereo camera and five laser scanners, among other sensors. One distinctive feature of the present dataset is the existence of high-resolution stereo images grabbed at a high rate (20 fps) during a 36.8 km trajectory, which allows the benchmarking of a variety of computer vision techniques. We describe the sensors employed and highlight some applications which could be benchmarked using the present work. Both plain text and binary files are provided, as well as open-source tools for working with the binary versions. The dataset is available for download at http://www.mrpt. org/MalagaUrbanDataset.