Miracle-dz/UniFAR-FTUs huggingface dataset:
A Progressive Method for Testing Protocol Conformance

—The development of communications systems demands testing. This paper presents a framework for testing on-the-ﬂy, which relies on the identiﬁcation of 3 types of tests and on their sequential execution. The ioco conformance relation was adopted in order to assign verdicts. A prototype tool is also presented that supports the proposed framework. This tool, named PROFYT, was developed based on the SPIN veriﬁer and uses communicating FSMs to describe the speciﬁcation. PROFYT was used to test Conference Protocol implementations on-the-ﬂy and enabled us to conclude about the beneﬁts of the test methodology proposed.
Green Innovation and Internationalization in Taiwanese Small and Medium Enterprises

Taiwan is one of the fastest growing economy in Asia region. In Taiwan, SMEs sector is a key component of the economy, accounting for 98.1% of all total business establishments. This study will explore the extent of Green Innovation initiatives by Taiwanese SMEs to leverage itself in achieving product competitive advantage and in internationalizing their venture. To explore the proposed conceptual model, which includes environmental resources, environmental cost and technology usage as independent variable and internationalization as dependent variable, SMEs from multiple industries are included in the sampling frame. Findings show environmental cost is the main determinant of product competitive advantage that influences Taiwanese SMEs internationalization.
Developmental and morphological responses of mycelial systems of Stropharia caerulea and Phanerochaete velutina to soil nutrient enrichment

Patterns produced by foraging mycelial systems of decomposer fungi might be the visual evidence of strategies for obtaining differently distributed carbon sources. Mycelial systems might also be responsive to unevenly distributed mineral nutrients in the soil. The nature of the mycelial response might differ between species inhabiting eutrophicated disturbed sites, such as Stropharia caerulea (Kriesel), and inhabitants of more typical woodland soils, such as Phanerochaete velutina DC. : (Pers.) Parmasto. We examined the effect of enrichment of soil by addition of different concentrations of N, P and potassium on inoculum decay rate and on extension rate, biomass production and fractal dimension (determined by image analysis) of extra-resource mycelia of S. caerulea and P. velutina extending from wood blocks across compacted non-sterile soil in trays. S. caerulea was more responsive than P. velutina to both type and quantity of soil nutrient enrichment. P. velutina grew more rapidly, produced more biomass and decayed inocula more rapidly than S. caerulea under most conditions, rates of growth and resource decay of the former remaining stable over a range of soil nutrient enrichments. In contrast, morphology of S. caerulea altered on enriched soils compared to controls with greater and more pronounced fanning (divergence of separate hyphae) of the foraging mycelial front. These changes were reflected in fractal values. Extension rate and biomass production of S. caerulea was less than controls on N-amended soil, but greater on P-amended soils, with the greatest biomass produced on 0·13–0·27 mg P g−1 air-dried soil. Decay rate of inocula was often positively related with mycelial production rates. These responses indicate extra-resource mycelium of S. caerulea is able to respond rapidly to a range of soil nutrient enrichments, and this is discussed in terms of the different foraging strategies exhibited by the two fungi.
Palynological examination of the pollen pots of native stingless bees from the Lower Amazon region in Pará, Brazil

This is the first palynological study using pollen stored by Tetragonisca angustula (Apidae: Meliponini) in the Lower Amazon region, Pará, Brazil. The samples were directly collected from the pollen pots of T. angustula in apiaries located in Belterra and Santarém. The samples were dried, weighed, diluted in warm water and ethanol, centrifuged and then processed using the acetolysis method. After mounting the samples on slides, we identified and counted at least 500 pollen grains per sample. The results indicate that the main pollen combinations in the pollen pots of T. angustula in Belterra include pollen from Byrsonima, Cecropia and Eriope, and the combinations from Santarém include pollen from Byrsonima, Cecropia, Clidemia hirta, Davilla kunthii, Myrcia and Vismia guianensis. Most pollen types came from the families Fabaceae and Asteraceae. The pollen diversity (H′) ranged from 0.03 to 1.95, and the evenness (J′) ranged from 0.04 to 0.79, with the average trend indicating heterogeneity in the collection pattern. Temporary specialisation events typified five of the samples that we studied, directly detecting pollen from Byrsonima, Cecropia and Clidemia hirta. Such events appear to be unrelated to the direct processes of effective pollination. The pollen spectra obtained corroborate the pollen types that have previously been described in palynological analyses involving Tetragonisca angustula in other areas of Brazil.
HOMOGENEOUS TURBULENCE: AN INTRODUCTORY REVIEW

My credentials for presenting this opening review 1 are slender, relying as they do on the simple fact that I am one of the handful of surviving participants of the now legendary 1961 Marseille Colloque International du CNRS, Mécanique de la Turbulence (hereafter Marseille ’61), which this present Colloquium seeks, if not to emulate, at least to commemorate. Allow me first to recall some features of that 1961 Colloquium that made it so special. I draw on the Proceedings (CNRS publication No. 108, 1962) as a jog to my memory: a large red volume, perhaps less well-known hitherto than it should have been, but now scanned and accessible on the website <http://turbulence.ens. fr> of this present meeting.
Survey On Data Stream Clustering And Summarization

- With the explosive growth of micro blogging services, short-text messages (also known as tweets) are being created and shared at an unpredictable rate. Tweets are present in raw form and tweets gives information but it is large in amount . That tweets are used by both end-users and data analyst ,but walking through that lots of tweets which have noise & redundancy is impossible. To avoid this problem continuous tweet stream generation is used . The previous methods focus on selecting several posts from given sets manually and consider small as well as static data. In this paper fast arriving, dynamic and big scale tweet streams are considered. Use Sumblr algorithm (SUMmarization By stream cLusteRing) for tweet streams. Here, present two methods for summarization. First algorithm cluster the tweets that are generated & maintain these statistics in a data structure called as tweet cluster vector. Second algorithm then rank that cluster for generating dynamic summaries & summaries that based on fixed any time duration. Our methods gives efficiency & effectiveness on large scale data sets.
Field experiments on feeding of European fiddler crab ilea tangeri

The quality of the food, especially origin and size, of the only European fiddler crab. Uca tangeri (Eydoux, 1835), was studied over a 2 yr period. In experiments with fluorescent microparticles, all particles smaller than 250 pm were ingested regardless of thelr chemical composition. Comparisons of sediment, feeding pellets and faeces showed that U. tangeri feeds primarily on microalgae which are completely extracted from the sediment. It also consumes vascular macrophytes (Arthrocnemum spp.), macroalgae, detritus and fish carcasses.
Model-Based Diagnosis with Sentential Decision Diagrams

Knowledge-compilation has been advocated in the literature as a way to obtain theoretical guarantees and practically speed-up Model-Based Diagnosis (MBD). In this paper we consider a recent canonical form introduced by Adnan Dar-wiche and its team, namely Sentential Decision Diagrams (SDDs), as the target for model compilation within the MBD task. SDDs have been proved to be a subset of DNNFs (Decomposable Negation Normal Forms) and a superset of OB-DDs (Orderd Binary Decision Diagrams), two target compilation languages already exploited in MBD. We discuss model compilation and some diagnostic applications of SDDs and compare them with their OBDD and DNNF counterparts.
The Triangular Interaction between Dairy Cow Efficiency, Sub-Acute Ruminal Acidosis and Lifetime Production

Introduction: Milk production per cow has increased dramatically in countries in the past 50 years (FAO, 2010). The increase in milk production per cow occurred for the most part in countries where stored feeds, grain supplementation and some degree of confined feeding became common practices. Energy intake by cows increased during this time as the result of rations with a greater proportion of fermentable carbohydrate sources from cereal grains, improved forage quality, and feeding management. However, innovation created new issues for the cow, producer, veterinarian and nutritionist.
Practicing Media – Mediating Practice | Evaluative Practices in a Broadcasting Newsroom Archive: Culture, Context, and Understanding in Practice

Seeking to contribute to practice theory debates on the nature of culture and cognition, this article draws on work in cultural sociology to present an approach for analyzing the cultural processes supporting what practice theorists describe as “understanding in practice. ” Specifically, the article draws on the influential toolkit theory of culture, and its subsequent elaboration in the literature on evaluative repertoires, to develop a model for analyzing how cultural structures support situated cognition in organizational contexts of practice. The article then demonstrates the import of this model for media studies by examining the evaluative repertoires that newsroom archivists draw on when selecting and acquiring news broadcasting materials for archival preservation. The analysis is based on fieldwork and interview data collected at the digital news broadcasting archives of the Canadian Broadcasting Corporation.
Brain Blood Flow Change with functional Near Infrared Spectroscopy While Guessing

In a previous study using functional near-infrared spectroscopy (Yoichi et al, 2002), the authors found spontaneous blood flow change often occurred at both temporal lobes while guessing for hidden figures (clairvoyant condition). This phenomenon has a relationship to the degree of impression formulation of figures (Kokubo, et al., 2005). These studies were forced choice tests. In the present study, the authors researched the brain blood flow change in free-response guessing tests chiefly. Subjects were 11 healthy volunteers. Targets were geometric symbols, the inside of human body or a thing in a dark box. Brain blood flow was measured at frontal area and right temporal area while guessing the targets from 3 to 30 minutes. Results, star psychics showed the increase of blood flow at their prefrontal areas, not right temporal lobes. While the other subjects showed the increase of blood flow at their right temporal lobes, not frontal area. In case that the task was to guess the hidden visual targets, the activated areas of the brain of star psychics were different from ones of the other persons.
Advanced Lab Course Semiconductor Photoelectrochemistry

The photocatalytic conversion of sunlight into chemical fuels using semiconductors is a promising approach for sustainable energy storage that overcomes the limitations of intermittent solar radiation. In such a process, often called artificial photosynthesis, semiconductors are responsible for capturing sunlight and transporting charge to solid/liquid interfaces where chemical reactions proceed. Currently, semiconductor materials form the basis for key technologies such as modern microprocessors, light emitting diodes, and solar cells. However, to apply semiconductors for solar energy conversion to high energy density fuels, they need to meet a challenging combination of different requirements, such as a suitable energetic band alignment with the desired redox reaction energy levels, a high photoactivity in the visible light range and stability in harsh electrochemical conditions. Finding suitable, efficient and stable materials remains a challenge of current research. An essential method for investigating semiconducting materials for their suitability is to characterize their photoelectrochemical (PEC) properties. In this laboratory module, you will perform state-of-the-art photoelectrochemical measurements with the semiconductor bismuth vanadate (BiVO 4 ) for the application of solar water splitting into H 2 and O 2 . You will prepare your own BiVO 4 photoanode, setup and operate a three-electrode PEC reactor, ensure photoexcitation with sun-like light with a solar simulator and analyze the BiVO 4 PEC characteristics in electrolyte with a potentiostat. In addition to the practical experience, you will gain insights into the fundamental charge carrier transfer mechanisms across the semiconductor/liquid interface and understand the competitive kinetics of photocarrier recombination and chemical reactions that are unique to such systems.
Parâmetros hematológicos e bioquímicos da tilápia-do-Nilo (Oreochromis niloticus L.) sob estresse por exposição ao ar

The present study evaluated the hematological and biochemical parameters of adult tilapia (Oreochromis niloticus) under the influence of the physiological stress factor in animals submitted to air exposure during fattening in raceway system. Blood cell count, hemoglobin, hematocrit, mean corpuscular volume (MCV), mean corpuscular hemoglobin (MCH), mean corpuscular hemoglobin concentration (MCHC), leukogram, differencial leukocyte count, platelet, glucose, total protein, cholesterol, triglycerides and electrolytes (calcium, chloride, sodium and potassium) were analyzed. The results showed a uniform distribution for red blood cells, hematocrit, hemoglobin, secondary Wintrobe indices, total protein, glucose, cholesterol, and serum ions, indicated by a relatively low variation coefficient. There was positive correlation only for total white blood cells, organic defense cells (neutrophils and lymphocytes), glucose, cholesterol, sodium and calcium. As for the leukocytes (WBC), as the animals were exposed to aeration, the number of leukocytes gradually decreased (leukopenia), simultaneously occurring neutrophilia and lymphopenia. The glycemic index was a good indicator of physiological stress due to hyperglycemia (82.0±20.88mg/dL) demonstrated in the treatments. The air exposure constituted an imbalance factor at the ion homeostasis and at the endogenous cholesterol synthesis. Besides, the recovery time did not result in the complete physiological rehabilitation face the imposed challenge.
EFFECTS OF SEASON, EWE AGE AND THEIR INTERACTIONS ON IN VITRO EMBRYO PRODUCTION OF SYRIAN AWASSI SHEEP

To study the effects of season and ewe age and their interactions on the oocytes competence for in vitro maturation (IVM), in vitro fertilization (IVF) and subsequent development of early embryos in Awassi sheep, Awassi ewes from which oocytes were taken, were classified into three main groups according to their age: A: <1, B: 1-2 and C :>2 year, a total of 1363 oocytes were collected from ovaries by slicing method. Season of the year clearly affected (p=0.00) the IVM and IVF rates (57.98% and 37.91% for summer and autumn, respectively). According to ewe age, a significant differences(p=0.00) were noticed in IVM rates where group B had the highest values comparing with A and C groups (62.67%,Vs 48.92 and 46.39% ,respectively). As for results of interaction between ewe age and seasons of the year, a significant differences (p<0.01) were noticed in IVM rates, the highest value was in autumn (B group) while the lowest was in winter at A group (27.04 % Vs 29.12% ,respectively), a significant differences (p<0.01) were also noticed in IVF rates,the highest value was in spring at group B while the lowest was in winter at group A (46.47% vs 13.33%, respectively), while no significant differences noticed at cleavage phases. It concluded that opertations of in vitro embryo production (IVEP) in Awassi sheep could be intensified in summer and autumn across different ages of ewes.
DETERMINANTS OF SME ACCESS TO BANK FINANCE

In this paper, we model the determinants of successful bank loan applications to Bank Al Tanmeyaby small and medium-sized enterprises (SMEs) in Libya. The posited determinants of successful bank finance include firm size (in terms of employment), the business sector of operation, the age of the business, and the age and level of education of the owner– manager. All other things being equal, we find that older firms, more educated managers, and firms with a strong banking relationship are more like to be granted loans, while older owner–managers, larger firms, and firms in the services industry are less likely to be granted loans. The presence of business plans and attendance at training workshops appears to have little influence on whether loans are granted. These findings suggest that banks loans in Libya are largely made on the strength of the relationship between the bank and the SME rather than the financial statement-, asset-, or credit scoring-based approaches to bank lending found in more developed economies with stronger banking sectors. Index terms Bank finance, Small and medium-sized enterprises, Firm factors, Owner–manager factors.
Treating Dialogue Quality Evaluation as an Anomaly Detection Problem

Dialogue systems for interaction with humans have been enjoying increased popularity in the research and industry fields. To this day, the best way to estimate their success is through means of human evaluation and not automated approaches, despite the abundance of work done in the field. In this paper, we investigate the effectiveness of perceiving dialogue evaluation as an anomaly detection task. The paper looks into four dialogue modeling approaches and how their objective functions correlate with human annotation scores. A high-level perspective exhibits negative results. However, a more in-depth look shows some potential for using anomaly detection for evaluating dialogues.
The Effect of Fermented Purple Sweet Potato (Ipomoea batatas L.) Skin on Blood Malondialdehide (MDA), Sugar and Uric acid Concentration of Bali Duck

An experiment was carried out to determine the effe ct of fermented purple sweet potato ( Ipomoea batatas L) skin in diets on Malondialdehide (MDA), sugar and uric acid of Bali duck blood. Seve n treatment diets were used in a completely randomize d design (CRD) consisted of control diet A (diet without containing purple sweet potato skin), diet B containing 5% purple sweet potato skin, diet C containing 10% purple sweet potato skin, diet D con taining 15% purple sweet potato skin, diet E containing 5% fermented purple sweet potato skin, d iet F containing 10% fermented purple sweet potato skin and diet G containing 15% fermented pur ple sweet potato skin. Five ducks were used with four replications in each treatment. The variables ob erved as of: blood Malondialdehyde (MDA), level of sugar, level of uric acid, feed anthocyani n consumption and antioxidant capacity. In general, it showed that addition of fermented purple sweet pota to skin in the diets significantly reduced blood malondialdehyde (MDA), level sugar and uric acid. However, the MDA content of duck blood in the treatment B, and sugar content of duck blood in the treatment B, C, and D were found similar to the control diet (P>0.05). Fermented purple sweet potat o skin in diets significantly reduced anthocyanin consumption and antioxidant capacity. In contrast, diet without fermented purple sweet potato skin in diets were not significantly different to anthocyan in consumption (P.<0.05) compared to control diet. It can be concluded that fermented purple sweet pot ato (Ipomoea batatas L) skin in diets could improve MDA blood, sugar and uric acid concentratio n of Bali duck.
Characterization and Utilization of Acid‐modified Rice Starches for Use in Pharmaceutical Tablet Compression

Acid modified, agglomerated starches offer specific advantages as fillers in production of pharmaceutical tablets. Spray drying can improve processing of tablet mixtures significantly. In order to investigate prerequisites in utilization of rice starch, non-waxy and waxy types were partially hydrolyzed in 6% (w/v) HCl solution at room temperature for varied length of time to obtain rice starches with increased crystallinity (so-called crystalline rice starches). Scanning electron micrographs of native and highly crystalline starches were used to study the morphological changes and to suggest the mode of acid attack during hydrolysis. Exo-corrosion distributed over the surface of acid-modified waxy rice starch (AWRS) was observed after 192 h of hydrolysis. In contrast, the surface of acid-modified rice starch (ARS) remained unchanged at 192 h of acid hydrolysis. The amylose content and the median particle size (diameter) were reduced with increasing hydrolysis time. It was found by X-ray diffraction that the relative crystallinity of acid-modified starches at >95% relative humidity was clearly increased with prolonged hydrolysis time. For studying tablet properties spherical agglomerates of the native and acid modified starches were directly compressed at 4 kN to obtain tablets. Crushing strength and disintegration time of tablets increased with relative crystallinity. In contrast, tablet friability was reduced. Concerning tablet functionality, the crystalline starches were positioned in overlapping ranges between the common commercial tablet fillers (microcrystalline cellulose, pregelatinized starch and lactose, respectively).
Upgrading Properties of Aggregates in Flexible Pavements with e-Control

-This paper involves a case study which has been carried out to upgrade the properties of aggregates with the use of e-quality control system in Highway construction. Flaky aggregates have larger surface area which results in higher demand of bitumen content in bituminous mix. Flaky aggregates also break during rolling and decrease the strength of the pavement layer. During the actual execution of work, the grading and size of the aggregates change from the designed one in the job mix formula due to practical reasons. These changes, even when within tolerance limits of the specifications, can upset the properties like workability and cohesiveness of bituminous mixes resulting in substandard quality of work. More compacting effort is required as the percentage of flakiness and elongation indices increases. The different percentage of flaky particles largely effect the properties of aggregates, such as, bulk density, impact value, crushing value, water absorption and angularity number etc. This study involves the solution of a real life problem faced by an engineer during the construction of a highway. In this paper, we present a methodology using e-quality control system how to upgrade the properties of aggregates in flexible pavements so as to get the best workability & strength with optimum use of bitumen content in the mix.