Miracle-dz/UniFAR-FTUs huggingface dataset:
Reconfigurable context-free grammar based data processing hardware with error recovery

This paper presents an architecture for context-free grammar (CFG) based data processing hardware for re-configurable devices. Our system leverages on CFGs to tokenize and parse data streams into a sequence of words with corresponding semantics. Such a tokenizing and parsing engine is sufficient for processing grammatically correct input data. However, most pattern recognition applications must consider data sets that do not always conform to the predefined grammar. Therefore, we augment our system to detect and recover from grammatical errors while extracting useful information. Unlike the table look up method used in traditional CFG parsers, we map the structure of the grammar rules directly onto the field programmable gate array (FPGA). Since every part of the grammar is mapped onto independent logic, the resulting design is an efficient parallel data processing engine. To evaluate our design, we implement several XML parsers in an FPGA. Our XML parsers are able to process the full content of the packets up to 3.59 Gbps on Xilinx Virtex 4 devices
The use of DNA probes for taxonomic study of dictyostelium wild isolates.

The classification of 27 wild isolates assigned to Dictyostelium discoideum on the basis of morphological criteria was reexamined using probes specific for DNA sequences cloned from the type strain NC4. These probes included ones specific for ribosomal spacer DNA regions and for a ribosomal RNA coding sequence, as well as probes for two chromosomal gene families (actin and discoidin) and for the DIRS-1 transposable element. Four isolates (AC4, WS526, WS584 and ZA3A) which had previously been shown to have unusual mating characteristics were distinctly different from other isolates. We interpret these differences as indicating that the four atypical isolates represent species other than D. discoideum. Probes for the ribosomal spacer DNA either did not hybridize to the DNA of these four isolates or had decreased levels of hybridization to EcoRI restriction fragments of different lengths to that observed with the type strain. With the discoidin probe, all isolates had DNA fragments that hybridized but AC4, WS526, WS584 and ZA3A lacked a pair of fragments that were conserved in NC4 and other isolates. With the actin probe, AC4, WS526, WS584 and ZA3A lacked numerous fragments that the other isolates shared with NC4. The DIRS-1 probes showed strong hybridization with ZA3A and weak hybridization to the other three isolates; however, the major EcoRI fragment in WS526 and WS584 was smaller than that in NC4 while ZA3A and AC4 had fragments of similar size to that in NC4. (ABSTRACT TRUNCATED AT 250 WORDS)
Consequences of population topology for studying gene flow using link‐based landscape genetic methods

Abstract Many landscape genetic studies aim to determine the effect of landscape on gene flow between populations. These studies frequently employ link‐based methods that relate pairwise measures of historical gene flow to measures of the landscape and the geographical distance between populations. However, apart from landscape and distance, there is a third important factor that can influence historical gene flow, that is, population topology (i.e., the arrangement of populations throughout a landscape). As the population topology is determined in part by the landscape configuration, I argue that it should play a more prominent role in landscape genetics. Making use of existing literature and theoretical examples, I discuss how population topology can influence results in landscape genetic studies and how it can be taken into account to improve the accuracy of these results. In support of my arguments, I have performed a literature review of landscape genetic studies published during the first half of 2015 as well as several computer simulations of gene flow between populations. First, I argue why one should carefully consider which population pairs should be included in link‐based analyses. Second, I discuss several ways in which the population topology can be incorporated in response and explanatory variables. Third, I outline why it is important to sample populations in such a way that a good representation of the population topology is obtained. Fourth, I discuss how statistical testing for link‐based approaches could be influenced by the population topology. I conclude the article with six recommendations geared toward better incorporating population topology in link‐based landscape genetic studies.
Information requirements determination: obstacles within, among and between participants

Information Requirements Determination (IRD) is presented as a process with obstacles WITHIN individual “users”, AMONG “users”, and BETWEEN “users” and systems developers. A distinction is made between IRD and Information Requirements Analysis (IRA), two labels which are often used interchangeably. The triple-obstacle view of IRD/IRA problems and the distinction between IRD and IRA is suggested as an approach for research into the requirements determination process. A user-oriented IRD tool designed to attack the “within” obstacles is identified as the basis for the authors' current research into how to improve the user's lot in the development of information systems.
Improved Color Image Segmentation using Dynamic Region Merging

— In the field of image processing, Image quality is important. It can be improved using various operations like image segmentation, filtering, etc. Image segmentation is an improvement process in which features sharing similar characteristics are identified and grouped together. Most segmentation techniques are either region-based or edge based. Image is segmented depending on various features like grey level, intensity and colour. Colour image is divided into clusters using HSI (Hue-Saturation-Intensity) model. Consistency test is use to check similarity between regions. The consistency of predicate is decided by sequential probability ratio test. Merging of region follows the nearest neighbour graph and dynamic region merging algorithm. Depending on similarity, partitions are merged. This merging will give the enhanced segmented image which is the final output. Nearest neighbour graph is used to increase the speed and efficiency of above process. This improved image is useful in the field of medical and security purpose.
Automatic Design Mechanism for Resource Distribution for Construction Operations Simulation

A planner may use simulation for in the analysis and design of construction operation processes to optimize overall performance of a construction system. Normally, the basic elements used in construction operation process simulation system such as CYCLONE (CYCLic Operation NEtworks) are activities and queues. Activity is used to model the execution of the task work which consumes resources and time to perform. Queue acts as a storage location for resources entering an idle state. In the simulation system, queues have to be created according to the ways of assigning resources to activities. Conventionally, planner creates queue at his/her judgment distinguishing what resources and how many should be allocated to which activity. This paper introduces a Genetic Algorithms (GA) based modeling mechanism for facilitating the automation of modeling resource distribution scenarios.
Design and FEM Analysis of a High Efficiency Axial-Flux Brushless DC Motor for Flywheel System

A high efficiency axial-flux brushless DC motor assisted by self axial magnetic bearing and used in flywheel energy storage system is proposed in this paper. In this design, the rotor with composite rim acts as the flywheel of the system and is sandwiched between two disk type stators which are made of amorphous metal to reduce iron losses. The dual-stator machine combines the functions of axial flux brushless DC motor and axial magnetic bearing to rotate the flywheel-rotor and levitate it in vertical orientation. The other four degrees of freedom in radial directions are constrained by ceramic ball bearings for simple operation, high efficiency and long life span. Optimized design approaches are employed to achieve low losses, and high power density. Three-dimensional FEM analyses are implemented, and the analysis results support the feasibility of the proposed motor.
Limited domain synthesis

Abstract : This work presents a reliable and efficient method for building limited domain speech synthesis voices. By constructing databases close to the targeted domain of the speech application, unit selection synthesis techniques can be used to reliably give very high quality synthesis within domain. In addition to a high quality result we include the techniques and processes required to build such voices often allowing new voices in limited but quite complex domains such as dialog systems to be created in under a week.
Newborn Interneurons in the Accessory Olfactory Bulb Promote Mate Recognition in Female Mice

In the olfactory bulb of adult rodents, local interneurons are constantly replaced by immature precursors derived from the subventricular zone. Whether any olfactory sensory process specifically relies on this cell renewal remains largely unclear. By using the well known model of mating-induced imprinting to avoid pregnancy block, which requires accessory olfactory bulb (AOB) function, we demonstrate that this olfactory memory formation critically depends on the presence of newborn granule neurons in this brain region. We show that, in adult female mice, exposure to the male urine compounds involved in mate recognition increases the number of new granule cells surviving in the AOB. This process is modulated by male signals sensed through the vomeronasal organ and, in turn, changes the activity of the downstream amygdaloid and hypothalamic nuclei involved in the pregnancy block response. Chemical depletion of newly generated bulbar interneurons causes strong impairment in mate recognition, thus resulting in a high pregnancy failure rate to familiar mating male odors. Taken together, our results indicate that adult neurogenesis is essential for specific brain functions such as persistent odor learning and mate recognition.
Effect of Alpha-Hederin, the active constituent of Nigella sativa, on miRNA-126, IL-13 mRNA levels and inflammation of lungs in ovalbumin-sensitized male rats

Objective: In previous studies the therapeutic effects of Nigella sativa have been demonstrated on asthmatic animals. In the present study, the preventive effect of single dose of alpha-hederin, its active constituent, has been evaluated on lung inflammation and some inflammatory mediators in lungs of ovalbumin sensitized rat in order to elicit its mechanism. Materials and Methods: Forty rats were randomly grouped in 4 groups; control (C), sensitized (S), sensitized pretreated groups with thymoquinone (3 mg/kg i.p., S+TQ) and alpha-hederin (0.02 mg/kg i.p., S+AH). Levels of IL-13 mRNA and miRNA-126 in lung tissue and its pathological changes in each group were assessed. Results: Elevated levels of miRNA-126, IL-13 mRNA and pathological changes were observed in the sensitized group compared to the control group (p<0.001 to p<0.05). All of these factors were significantly reduced in S+TQ and S+AH groups in comparison to S group (p<0.001 to p<0.05). Although alpha-hederin decreased the levels of miRNA-126, IL-13 mRNA and pathological changes in comparison with thymoquinone, the results were statistically not significant. Conclusion: The results suggested that alpha-hederin had preventive effect on sensitized rats like thymoquinone. It may intervene in miRNA-126 expression, which consequently could interfere with IL-13 secretion pathway leading to a reduction in inflammatory responses.
Need‐adapted treatment of new schizophrenic patients: experiences and results of the Turku Project

This article describes a psychotherapeutically oriented approach to schizophrenia developed especially to meet the needs of the community psychiatric field. Because of the heterogeneous nature of the schizophrenic psychoses, the authors emphasize that these patients should always be treated based on case‐specific premises. The main principles of the need‐adapted approach are: I. The therapeutic activities are planned and carried out flexibly and individually in each case so that they meet the real and changing needs of the patients as well as of their family members. 2. Examination and treatment are dominated by a psychotherapeutic attitude. 3. The different therapeutic activities should support and not impair each other. 4. The process quality of therapy is clearly perceived. A family‐centred initiation of the treatment is especially emphasized for both diagnostic and therapeutic reasons. The positive experiences of this led the Finnish national programme for the treatment and rehabilitation of schizophrenic patients to recommend the establishment of family‐ and environment‐oriented acute psychosis teams (APT) in the mental health districts. In later phases of treatment, the significance of individual psychotherapy is increased. The preliminary results of the approach are presented and compared with an earlier sample of patients.
A novel antenna phase center estimation method for synthetic aperture radar

For synthetic aperture radar (SAR), motion errors should be compensated to get well focused microwave images. The inertial measurement unit (IMU) is widely applied to compensate motion errors for back projection (BP) algorithm. However, the measurement errors degrade the performance of BP as well. Recently, an effective autofocus BP (ABP) algorithm has been proposed, but it ignores the spatial variance effect of motion errors and the residual phase errors defocus most pixels. For this problem, a novel motion compensation method for BP is presented in this paper. Unlike the ABP, in which the per-pulse phase errors are estimated, we estimate the errors of antenna phase centers (APCs) through optimization technique. In this way, the imaging quality of BP can be significantly improved. The simulation results validate the efficacy of this method.
Stem cells: the changing face of dentistry

Stem cell research is making giant leaps that could revolutionize the way we treat diseases and test drugs. The subject of stem cells is one of the most interesting and upcoming fields in medical research with vast areas yet to be discovered. The pluripotent nature of the stem cells has been studied and used in various scientific fields for curing the disease and regeneration of a body part. Some cells are more specialized than others. Stem cells since they are not specialized can be differentiated to any tissue of choice. But the availability of stem cells was impossibility until recent times. Now researchers have found an abundant source of stem cells with the potential to treat a number of diseases in dentistry including craniofacial disorders, deficient jaws, cleft lip and palate, traumatized teeth etc. The purpose of this article is to provide an understanding of the basic biology and sources of stem cells and review the clinical applications of dental stem cells in particular
Teaching academic writing to medical professionals using computer communication media

Academic writing is an important skill of those medical professionals who wish to engage in education and research. In addition, many medical professionals whose first language is not English need to learn academic writing in English because it is the dominant language in academic communications. At most universities in Taiwan, however, academic writing is not included in the undergraduate curriculum, and therefore most of the medical professionals began to learn academic writing after starting their careers. Medical professionals usually have busy schedules and need to do shift work, but learning to write in a second language is time consuming and needs a lot of practice. Whereas learners can benefit from proof reading of the instructor, they can benefit even more if the instructor can guide them through the proof reading process and explain the reasons for corrections. This study applied one of the most popular computer communication media, which has a desktop sharing function, to the teaching of academic writing and asked students report their experience. In comparison with face-to-face one-on-one teaching, students reported advantages including flexibilities in schedule and place, saving of traffic time, potential to broadcast to other students, no need for a classroom or office, and the option of making a recording for replaying and sharing with other students. On the other hand, students reported limitations including the needs of equipment and access to network, interruptions of the connection, and bad quality of communication sometimes. Overall, medical professionals prefer this learning mode than face-to-face one-on-one learning.
Exact JPEG recompression

We present a variant of the JPEG baseline image compression algorithm optimized for images that were generated by a JPEG decompressor. It inverts the computational steps of one particular JPEG decompressor implementation (Independent JPEG Group, IJG), and uses interval arithmetic and an iterative process to infer the possible values of intermediate results during the decompression, which are not directly evident from the decompressor output due to rounding. We applied our exact recompressor on a large database of images, each compressed at ten different quality factors. At the default IJG quality factor 75, our implementation reconstructed the exact quantized transform coefficients in 96% of the 64-pixel image blocks. For blocks where exact reconstruction is not feasible, our implementation can output transform-coefficient intervals, each guaranteed to contain the respective original value. Where different JPEG images decompress to the same result, we can output all possible bit-streams. At quality factors 90 and above, exact recompression becomes infeasible due to combinatorial explosion; but 68% of blocks still recompressed exactly.
Formalization of the Standard Uniform Random Variable in HOL

Continuous random variables are widely used to mathematically describe random phenomenon in engineering and physical sciences. In this paper, we present a higher-order logic formalization of the Standard Uniform random variable. We show the correctness of this specification by proving the corresponding probability distribution properties within the HOL theorem prover and the proof steps have been summarized. This formalized Standard Uniform random variable can be transformed to formalize other continuous random variables, such as Uniform, Exponential, Normal, etc., by using various Non-uniform random number generation techniques. The formalization of these continuous random variables will enable us to perform error free probabilistic analysis of systems within the framework of a higher-order-logic theorem prover. For illustration purposes, we present the formalization of the Continuous Uniform random variable based on our Standard Uniform random variable and then utilize it to perform a simple probabilistic analysis of roundoff error in HOL.
A Hyperelastic Approach for Composite Reinforcement Large Deformation Analysis

A hyperelastic constitutive model is developed for textile composite reinforcement at large strain. A potential is proposed, which is the addition of two tension and one shear energies. The proposed potential is a function of the right Cauchy Green and structural tensor invariants whose choice corresponds to textile composite reinforcement mechanical behavior which exhibits weak elongations in the fiber directions and large angular variations in the fabric plane. The model is implemented in a Vumat user routine of ABAQUS/Explicit. Some elementary tests are performed in order to identify the model and verify its validity. It is then used to simulate the hemispherical punch forming of balanced and unbalanced fabrics. A correct agreement is obtained with experimental forming processes.
The effect of psycho-educational intervention on the life quality of major depressive patients referred to hospitals affiliated to Shiraz University of Medical Sciences in Shiraz-Iran

Background: Depression is the world’s fourth most prevalent health problem which is associated with substantial mortality, direct medical cost, diminished life quality, and significant physical and psychosocial impairment. This study aimed to investigate the effect of psycho-educational intervention on the life quality of major depressive patients. Materials and Methods: Sixty patients who were willing and had met the required criteria for participation were selected from hospitals in Shiraz city, Iran. So 30 of the patients were assigned to the experimental group and 30 others to the control group. For data collection, a two part questionnaire was developed, the first part consists of 13 items related to general characteristics and the second part with 36 items on life quality were used. The experimental group was divided into five subgroups of 6 patients. For each group, six intervention sessions were scheduled. The control group did not receive the intervention. The questionnaires were completed for all subjects in the experimental and control groups before and 1 month after the end of psycho-educational intervention. Tabulated data were analyzed using chi-square, independent and pair T-test. Results: The results of the study indicated that psycho-educational intervention in comparison with other available treatments proved to be more effective on eight domains of life quality in the experimental group. A significant difference was observed for all the domains (P < 0.001). Conclusion: Psycho-educational intervention can be used as an auxiliary treatment in improving life quality and decreasing depression in patients suffering from major depressive disorder.
Free-Space Tunable and Drop Optical Filters Using Vertical Bragg Mirrors on Silicon

Vertical Bragg grating mirrors are realized by the anisotropic etching of Si using deep reactive ion etching (DRIE), thus producing multiple vertical interfaces between Si and air. The Bragg mirrors are used to realize two optical filter configurations. The first is a tunable Fabry-Peacuterot cavity composed of two mirrors, where tuning is achieved by moving one of the mirrors using silicon-on-insulator (SOI) electrostatic microelectromechanical system (MEMS) actuation. The second is a drop filter, where a tilted Bragg mirror acts as a wavelength selective reflector. The enhanced etching process involving a mix of cryogenic and Bosch DRIE processes is presented. The realized structures, fabrication process, as well as measured performance are also presented