Miracle-dz/UniFAR-FTUs huggingface dataset:
Product ’ s Quality Prediction with respect to equipments data

The semiconductor manufacturing process is a complex process that consists in a big number of equipments and enormous data. This paper presents a Least Absolute Shrinkage and Selection Operator (LASSO) based method for predicting the product’s quality with respect to data of many equipments. The ability of the prediction model allows the product’s quality to be estimated in real-time instead of a sampling inspection. An application to data provided by semiconductor manufacturing is presented and the results show the ability of the proposed method to predict the product quality efficiently and effectively with an improvement of more than 90% compared to the multivariate linear regression.
A distance friction minimization-goals achievement model in data envelopment analysis An application to efficiency improvement in local government finance in Japan

Data Envelopment Analysis (DEA) has become an established approach in the analysis of efficiency problems in both public and private sectors. The aim of this paper is to present and apply a newly developed, adjusted DEA model – emerging from a blend of a Distance Friction Minimization (DFM) and a Goals Achievement (GA) approach on the basis of the Charnes-Cooper-Rhodes (CCR) method – in order to generate a more appropriate efficiency-improving projection model in conventional DEA. Our DFM model is based on a generalized distance friction function and serves to assist a Decision Making Unit (DMU) in improving its performance by a proper movement towards the efficiency frontier surface. Standard DEA models use a uniform input reduction or a uniform output augmentation in the improvement projections, but our DFM approach aims to generate a new contribution to efficiency enhancement strategies by deploying a weighted projection function, while it may address both input reduction and output augmentation as a strategy of a DMU. A suitable form of multidimensional projection functions mapping out efficiency improvement is given by a Multiple Objective Quadratic Programming (MOQP) model in conformity with a Euclidean distance. Another novelty of our approach is the introduction of prior goals set by a DMU by using a GA approach. The GA model specifies a goal value for efficiency improvement in a DFM model. The GA model can compute the input reduction value or the output augmentation value in order to achieve in an optimal way a pre-specified goal value for the efficiency improvement. Using next the integrated DFM-GA model, we are able to develop an operational efficiency-improving projection that provides a clear orientation for actions of a DMU. The above-mentioned DFM-GA model will be empirically illustrated by using a data set on cities in Hokkaido prefecture in Japan, where the aim is to increase the efficiency of local government finance mechanisms in these cities, based on various input and output performance characteristics. In summary, this paper presents a practical policy instrument that may have a great added value for decision making and planning of both public and private actors.
-‐ -‐ 16 S M M M M M

364 a Kundrata, R. & Bocak, L. (2011). The phylogeny and limits of Elateridae (Insecta, Coleoptera): is there a common tendency of click beetles to soft-bodiedness and neoteny? — Zoologica Scripta, 40, 364–378. Phylogenetic relationships in Elateroidea were investigated using partial 18S and 28S rDNA and rrnl and cox1 mtDNA sequences with special interest in the phylogeny of Elateridae and the position of soft-bodied lineages Drilidae and Omalisidae that had been classified as families in the cantharoid lineage of Elateroidea until recently. Females in these groups are neotenic and almost completely larviform (Drilidae) or brachypterous (Omalisidae). The newly sequenced individuals of Elateridae, Drilidae, Omalisidae and Eucnemidae were merged with previously published datasets and analysed matrices include either 155 taxa with the complete representation of fragments or 210 taxa when some fragments were missing. The main feature of inferred phylogenetic trees was the monophyly of Phengodidae + Rhagophthalmidae + Omalisidae + Elateridae + Drilidae with Omalisidae regularly occupying a basal node in the group; Drilidae were embedded as a terminal lineage in the elaterid subfamily Agrypninae and soft-bodied Cebrioninae were a part of Elaterinae. The soft-bodied males and incompletely metamorphosed females originated at least three times within the wider Elateridae clade. Their atypical morphology has been considered as a result of long evolutionary history and they were given an inappropriately high rank in the previous classifications. The frequent origins of these modifications seem to be connected with modifications of the hormonal regulation of the metamorphosis. The superficial similarity with other soft-bodied lineages, such as Cantharidae, Lycidae, Lampyridae, Phengodidae and Rhagophthalmidae is supposed to be a result of homoplasious modifications of the ancestral elateroid morphology due to the incomplete metamorphosis. The results of phylogenetic analyses are translated in the formal taxonomic classification. Most Drilidae are placed in Elateridae as a tribe Drilini in Agrypninae, whilst Pseudeuanoma and Euanoma are transferred from Drilidae to Omalisidae. The subfamily Cebrioninae is placed in Elaterinae as tribes Cebrionini and Aplastini. Oxynopterini, Pityobiini and Semiotini are lowered from the subfamily rank to tribes and classified in Denticollinae. Corresponding author: Ladislav Bocak, Department of Zoology, Faculty of Science, Palacky University, tr. Svobody 26, 779 00 Olomouc, Czech Republic and Department of Entomology, Natural History Museum, Cromwell Road, London, SW7 5DB, UK. E-mail: ladislav.bocak@upol.cz Robin Kundrata, Department of Zoology, Faculty of Science, Palacky University, tr. Svobody 26, 779 00 Olomouc, Czech Republic. E-mail: robin.kundrata@upol.cz
Diet of Rooks Corvus frugilegus and potential seed dispersal in urban and agricultural habitats of Romania and Poland

The aim of our study was to evaluate the relationship between dispersed seed pool and the diet structure of the Rook Corvus frugilegus in two geographical regions of Central and Southeast Europe. We studied the content of regurgitation pellets (N=188) collected in urban and agricultural habitats of Poland and Romania at the end of the breeding period. Seeds (19 taxa) were present in 49% of analysed pellets; the frequency of pellets with seeds was higher in urban habitats in both regions. The vast majority of seeds represented fleshy-fruited species and the pulp of the fruits was an important part of the Rook’s diet. The most numerous and frequent was Cerasus avium / C. vulgaris. Seeds and fruits of the dry-fruited species were present in small amounts and with low frequencies. Rooks are successful dispersers of seeds and may contribute to the diversity of vegetation especially in urban areas.
Generation of restriction map of Enterococcus faecalis OG1 and investigation of growth requirements and regions encoding biosynthetic function

A defined synthetic medium was used to determine the amino acid requirements of Enterococcus faecalis OG1 and to demonstrate the absence of a requirement for exogenous purines or pyrimidines. Genomic libraries prepared from strain OG1 were transduced into Escherichia coli auxotrophic mutants, and cloned DNAs which complemented pyrC, pyrD, purF, purL, and guaAB mutations were identified. These and other cloned DNAs with known functions were localized on a restriction map of OG1 which was generated with SfiI (5 fragments), AscI (9 fragments), and NotI (15 fragments); the size of the OG1 chromosome was revised from a previous estimate of approximately 2,750 kb to 2,825 kb. The synthetic medium and the restriction map should be useful for studying enterococcal metabolic functions and the relationships between chromosomally encoded genes.
Nitric Oxide Production by Human Intestinal Epithelial Cells and Competition for Arginine as Potential Determinants of Host Defense Against the Lumen-Dwelling Pathogen Giardia lamblia1

Giardia lamblia infection of the human small intestine is a common protozoan cause of diarrheal disease worldwide. Although infection is luminal and generally self-limiting, and secretory Abs are thought to be important in host defense, other defense mechanisms probably affect the duration of infection and the severity of symptoms. Because intestinal epithelial cells produce NO, and its stable end products, nitrite and nitrate, are detectable mainly on the apical side, we tested the hypothesis that NO production may constitute a host defense against G. lamblia. Several NO donors, but not their control compounds, inhibited giardial growth without affecting viability, suggesting that NO is cytostatic rather than cytotoxic for G. lamblia. NO donors also inhibited giardial differentiation induced by modeling crucial environmental factors, i.e., encystation induced by bile and alkaline pH, and excystation in response to gastric pH followed by alkaline pH and protease. Despite the potent antigiardial activity of NO, G. lamblia is not simply a passive target for host-produced NO, but has strategies to evade this potential host defense. Thus, in models of human intestinal epithelium, G. lamblia inhibited epithelial NO production by consuming arginine, the crucial substrate used by epithelial NO synthase to form NO. These studies define NO and arginine as central components in a novel cross-talk between a luminal pathogen and host intestinal epithelium.
Development of fixed-time artificial insemination protocols for locally adapted

Two experiments were conducted aiming to evaluate the effects of two ovulatory inducers (Exp.1) and equine chorionic gonadotropin (eCG; Exp.2) on follicular and luteal dynamics in a fixed-time AI (FTAI) protocol in locally adapted Curraleiro Pé-Duro cows. In Exp. 1 multiparous cows (n=12) received an intravaginal device containing 1g of progesterone (P4) for 8 days and 2mg of estradiol benzoate (EB) intramuscularly (IM) at device insertion (Day 0). At device removal (Day 8) 0.150mg of Sodium DCloprostenol was administered IM and the cows were randomly assigned to receive 1mg of EB (EB8) or 1mg of estradiol cypionate (EC8) IM, or to not receive any ovulatory inducer (Control). All the animals participated in all treatments (crossover). The interval from P4 removal to ovulation was shorter and less variable in the EB8 treatment group (P≤0.05). In Exp. 2 (crossover), multiparous cows (n=12) received the same hormonal treatment as the EB8 group in Exp.1. At device removal (Day 8) cows were randomly assigned to receive 300UI of eCG IM or to not receive eCG (Control). No difference was ascertained on follicular and luteal parameters in Exp. 2 (P>0.05). We concluded that EB can be used as the ovulatory inducer (Exp. 1) in a FTAI protocol in Curraleiro Pé-Duro cows. However, eCG (Exp. 2) was not able to stimulate follicular and luteal development. This result is probably due to the adaptive capacity of Curraleiro Pé-Duro cows that maintained a satisfactory body condition score even in dry and hot environments.
Fast visual saliency map extraction from digital video

A fast algorithm to extract the visual saliency map from digital video is proposed in this research. Since digital video is stored and/or transmitted in coded form, we utilize the motion vector field (MVF) for foreground/background separation and apply an image based contrast model for further performance improvement. The performance of the proposed algorithm is demonstrated by experimental results.
IMPROVING THE NUTRITIVE VALUE OF COMMON REED AND RICE STRAW BY TREATMENT WITH PLEUROTUS OSTREATUS

Fungal treatment can used to enhance the nutritive value of agro-industrial by-products. Common reed and rice straw were treated with white strain of Pleurotus ostreatus to investigate the effect of fungi on nutrient composition and in-vitro digestibility after 21 days. Results revealed that P. ostreatus treatment increased (P<0.01) crude protein (CP) and decreased (P<0.01) neutral detergent fiber (NDF) and acid detergent lignin (ADL) contents of common reed and rice straw compared to untreated. Higher increment in CP but higher decrease in ADL content occur with common reed treated with P. ostreatus. The in-vitro digestibility were increased (P<0.01) of both substrates. However, treated common reed showed higher improvement in in-vitro digestibility than of rice straw, it is concluded that P. ostreatus improved nutritive value of common reed and could be used in feeding ruminant instead of left unused or controlled by herbicide.
Volatility spillovers of the major stock markets in ASEAN-5 with the U.S. and Japanese stock markets

The purpose of this study is to examine volatility spillovers among the ASEAN-5 stock market as well as between the ASEAN-5 with the United States and Japan for period after the Asian financial crisis. The study used the EGARCH model to determine the intraregional and interregional spillovers effects. The results indicate that market returns in the stock market in ASEAN-5 are highly dependent on their own past returns. Besides that, stock market in the United States is found to be more influential in terms of returns and volatility compared to the Japanese stock market. Intraregional linkages are also found among the stock price movements in the ASEAN-5. In addition, stock market in the Philippines and Thailand appear to be more vulnerable to stock movements from other countries.
Parallel, self organizing, consensus neural networks

A neural network architecture, the parallel self-organizing consensus neural net (PSCNN), is developed to improve performance and speed of such networks. The architecture has all the advantages of previous models such as self-organization and possesses new or superior characteristics such as input parallelism and decision making based on consensus. Due to the parallel properties of this network its parallel implementation on an N-cube machine was also studied. The architecture self organizes its modules to maximize performance. Since the system is completely parallel, both recall and learning procedures are very fast. The performance of the network was compared to backpropagation networks in problems of language perception remote sensing and binary logic (Exclusive-Or). PSCNN showed superior performance in all cases studied. In the research reported in the paper, we demonstrate and test the development of the PSCNN's architecture as well as its training rules. In addition, the performance of this new PSCNN system is compared to the performance of backpropagation models.
Detection of P2P and anonymity networks

V této práci navrhujeme metodu pro detekci Toru v počítačových sítích. S použitím klasických metod strojového učení, například SVM, se nepodařilo najít příznaky, které by dokázaly popsat Tor s dostatečnou přesností, a získané výsledky obsahovaly příliš mnoho falešně pozitivních výsledků. Provedli jsme rozbor společných vlastností anonymizačních nástrojů, abychom našli nějaké nestandardní příznaky, které by mohly sloužit k jejich identifikaci. Dospěli jsme k závěru, že stroje, které jsou součástí Toru, nebo případně jiného anonymizačního nástroje, mohou být spojeny na základě velkého množství svých sdílených kontaktů. Proto jsme se rozhodli použít přístupy teorie grafů a doplnili jsme původní klasifikační algoritmus detekcí komunit. Navrhovaný postup jsme testovali na datech z reálné sítě a zjistili jsme, že metoda je funkční a je schopná nalézt dostatečně velkou část strojů v dané síti, které jsou součástí Toru. Zároveň nezpůsobuje velké množství falešnýh poplachů. Přehled vybraných anonymizačních nástrojů a detailní popis Toru jsou rovněž součástí práce. V práci také shrnujeme relevantní poznatky z oborů strojového učení a teorie grafů. Klíčová slova Tor; anonymizační sítě; teorie grafů; detekce komunit; strojové učení
Vehicle Platoon Control with Virtual Path Constraints

This paper studies distributed platoon control with virtual path constraints. Using transverse feedback linearization, the control approach decouples the platoon’s dynamics into components tangential and transversal to the path. A platoon controller exclusively in the tangential subsystem controls the platoon’s formation tangentially along the path, while a feedback control law in the transversal component stabilizes the platoon to remain on the path. As an application of the theory, a human-robot interaction experiment is performed on a platoon of quadrotors. The platoon leader implements an admittance controller, which allows the platoon to respond to human-applied forces. The path constraints limit the platoon’s movement to only be along the path, ensuring safety to the interacting human.
The one-step-map for switched singular systems in discrete-time

We study switched singular systems in discrete time and first highlight that in contrast to continuous time regularity of the corresponding matrix pairs is not sufficient to ensure a solution behavior which is causal with respect to the switching signal. With a suitable index-1 assumption for the whole switched system, we are able to define a one-stepmap which can be used to provide explicit solution formulas for general switching signals.
V ects of spelling consistency on phonological awareness : A comparison of English and German

Within alphabetic languages, spelling-to-sound consistency can diVer dramatically. For example, English and German are very similar in their phonological and orthographic structure but not in their consistency. In English the letter a is pronounced diVerently in the words bank, ball, and park, whereas in German the letter a always has the same pronunciation (e.g., Ball, Park, Bank). It is often argued that reading acquisition has a reciprocal eVect on phonological awareness. As reading is acquired, therefore, spoken language representation may be aVected diVerently for English and German children. Prior to literacy acquisition, however, phonological representation in English and German children should be similar due to the similar phonological structure of the two languages. We explored this hypothesis by comparing phonological awareness at the rime and phoneme levels in prereaders and beginning readers in English and German. Similar developmental eVects were indeed observed in prereaders, but diVerential eVects had emerged within the Wrst year of reading instruction.  2005 Elsevier Inc. All rights reserved. 0022-0965/$ see front matter  2005 Elsevier Inc. All rights reserved. doi:10.1016/j.jecp. 2005.06. 002 * Corresponding author. Fax: +44 1223 324421. E-mail address: ucg10@cam.ac. uk (U. Goswami). 2 U. Goswami et al. / Journal of Experimental Child Psychology xxx (2005) xxx–xxx ARTICLE IN PRESS
Rab5-dependent Trafficking of the m4 Muscarinic Acetylcholine Receptor to the Plasma Membrane, Early Endosomes, and Multivesicular Bodies*

The m4 subtype of muscarinic acetylcholine receptor regulates many physiological processes and is a novel therapeutic target for neurologic and psychiatric disorders. However, little is known about m4 regulation because of the lack of pharmacologically selective ligands. A crucial component of G protein-coupled receptor regulation is intracellular trafficking. We thus used subtype-specific antibodies and quantitative immunocytochemistry to characterize the intracellular trafficking of m4. We show that following carbachol stimulation, m4 co-localizes with transferrin, and the selective marker of early endosomes, EEA1. In addition, m4 intracellular localization depends on Rab5 activity. The dominant negative Rab5S34N inhibits m4 endocytosis initially following carbachol stimulation, and reduces the size of m4 containing vesicles. The constitutively active Rab5Q79L enhances m4 intracellular distribution, even in unstimulated cells. Rab5Q79L also produces strikingly enlarged vacuoles, which by electron microscopy contain internal vesicles, suggesting that they are multivesicular bodies. m4 localizes both to the perimeter and interior of these vacuoles. In contrast, transferrin localizes only to the vacuole perimeter, demonstrating divergence of m4 trafficking from the pathway followed by constitutively endocytosed transferrin. We thus suggest a novel model by which multivesicular bodies sort G protein-coupled receptors from a transferrin-positive recycling pathway to a nonrecycling, possibly degradative pathway.
The quadratic cumulative odds regression model for scored ordinal outcomes: application to alcohol dependence.

In this paper, we develop new regression models for the analysis of scored ordinal data (i.e. ordinal outcomes where the categories are assigned numeric values). The novel feature of these models is that they enable one to capture and identify nonlinear aspects of the relationship between an ordinal clinical measurement (used for disease diagnosis) and risk factors. These nonlinearities may be useful in generating hypotheses about the risk factor's role in the etiologic process as well as suggesting how to design future studies of the risk factor. We apply our model to study the effects of race, gender, and family history on alcohol dependence among a cohort of lifetime drinkers from the 1992 National Longitudinal Alcohol Epidemiologic Survey.
Critical-Path Driven Routers for on-Chip Networks

Multithreaded programming has become the dominant paradigm in computer architecture, mainly in the form of multi-core processors. The performance bottleneck of a multithreaded program is its critical path, whose length is its total execution time. As the number of cores within a processor increases, Network-on-Chip (NoC) has been proposed as a promising approach for inter-core communication. In order to optimize the performance of a multithreaded program running on an NoC based multi-core platform, we design and implement the critical-path driven router, which prioritizes inter-thread communication on the critical path when routing packets. The experimental results show that the critical-path driven router improves the execution time of the test case by 14.8% compared to the ordinary router.
Design Science Research: Evaluation in the Lens of Big Data Analytics

Given the different types of artifacts and their various evaluation methods, one of the main challenges faced by researchers in design science research (DSR) is choosing suitable and efficient methods during the artifact evaluation phase. With the emergence of big data analytics, data scientists conducting DSR are also challenged with identifying suitable evaluation mechanisms for their data products. Hence, this conceptual research paper is set out to address the following questions. Does big data analytics impact how evaluation in DSR is conducted? If so, does it lead to a new type of evaluation or a new genre of DSR? We conclude by arguing that big data analytics should influence how evaluation is conducted, but it does not lead to the creation of a new genre of design research.