Miracle-dz/UniFAR-FTUs huggingface dataset:
Using First Order Logic to Validate Feature Model.

Feature Model (FM) is approved as a successful technique to model variability in Software Product Line (SPL), therefore it is very important to produce errorfree FM. Inconsistency in FM is addressed as key challenge in validation of FM. This paper completes the knowledge-base(KB) method for validating FM by defining a new operation, namely inconsistencyprevention. First the inconsistency in FM is categorized into four groups as a prerequisite process for inconsistency-prevention. Then the scalability of KB method for validating FM is tested. Empirical results for each operation are presented and discussed. The empirical results are employed to illustrate scalability and applicability of the proposed knowledge-base method.
Apparent horizon formation in the head-on collision of gyratons

The gyraton model describes a gravitational field of an object moving with the velocity of light which has finite energy and spin distributed during some finite time interval L. A gyraton may be considered as a classical toy model for a quantum wave packet of high-energy particles with spin. In this paper we study a head-on collision of two gyratons and black hole formation in this process. The goal of this study is to understand the role of the gravitational spin-spin interaction in the process of mini black hole formation in particle collisions. To simplify the problem we consider several gyraton models with special profiles of the energy and spin density distribution. For these models we study the apparent horizon (AH) formation on the future edge of a spacetime region before interaction. We demonstrate that the AH forms only if the energy duration and the spin are smaller than some critical values, while the length of the spin distribution should be at least of the order of the system gravitational radius. We also study gravitational spin-spin interaction in the head-on collision of two gyratons under the assumption that the values of gyraton spins are small. We demonstrate that the metric in the interaction region for such gyratons depends on the relative helicities of incoming gyratons, and the collision of gyratons with oppositely directed spins allows the AH formation in a larger parameter region than in the collision of the gyratons with the same direction of spins. Some applications of the obtained results to the mini black hole production at the Large Hadron Collider in TeV gravity scenarios are briefly discussed.
Generations, reproduction and birth outcome. A registry-based cohort study in Norway 1967-2006

6 List of publications 9 1. Definitions and abbreviations 13 2. Intergenerational studies 15 The importance of intergenerational studies to the field of reproduction 15 Data sources for studies of intergenerational birth outcomes 15 Intergenerational causes and exposures 16 3. Previous intergenerational studies 18 Intergenerational recurrence of phenotypes 18 Intergenerational recurrence of socioeconomic and behavioural characteristics 25 Associations between exposures in parents and outcomes in their offspring 26 4. Aims of the work 29 Research objectives 29 5. Materials and methods 30
Determinantes do crime nos municípios de Minas Gerais e seus possíveis spillovers espaciais

This work explores the phenomenon of crime in the mining municipalities in 2010. Believing that this phenomenon is not distributed randomly in space and may have dependence and spatial heterogeneity, we used spatial econometric models, to know: SARMA and GWR. The main results indicate that crimes against the person tend to be more frequent in economically less developed areas. In contrast, property crimes are more common in rich regions where there are viable targets for the perpetrators of crimes. Regarding the population of 15 to 24 years, it was found that the 1 Doutorando pela Universidade Estadual de Maringá (UEM) Programa de Pós-Graduação em Ciências Econômicas (PCE). E-mail: cegomes1990@gmail.com 2 Mestre pela Universidade Estadual de Maringá (UEM) Programa de Pós-Graduação em Ciências Econômicas (PCE). E-mail: thamirys.evangelista@gmail.com 3 Mestre pela Universidade Estadual de Maringá (UEM) Programa de Pós-Graduação em Ciências Econômicas (PCE). E-mail: renatalemos87@gmail.com 4 Professor Titular do Departamento de Economia (DCO) e do Programa de Pós-Graduação em Ciências Econômicas (PCE) da Universidade Estadual de Maringá (UEM). E-mail: jlparre@gmail. com 202 Gomes; Evangelista; Lima; Parré – Determinantes do crime nos municípios de Minas Gerais. highest concentration of the population in this age group in a given region positively
Scoring Student-Generated Concept Maps in Introductory College Chemistry.

This study presents a quantitative method for scoring concept maps generated by students learning introductory college chemistry. Concept naps measure the amount of cLemical information the student possesses, reasoning ability in chemistry, and specific misconceptions about introductory and physical chemistry concepts. They provide a visualization of cognitive structure. When a student draws a concept map for chemical raactions, the result is a model of the student's conceptual framework for understanding the concepts and 'propositions of chemical change. Developing a valid method for scoring student concept maps will enable educators to evaluate student knowledge free of the bias and arbitrariness often associated with qualitative reviews. Concept maps may be evaluated quantitatively by categories. The category score for propositional validity reflects student reasoning ability in chemistry. The score significantly correlates with formal reasoning ability in chemistry. The category score for hierarchical structure reflects the amount of chemical information possessed by a student. Students who pvzsess large amounts of information about chemistry, position more vocabulary words within each hierarchical level than the student who demonstrates limited chemical knowledge. It is swggested that . he greater a student's understanding of introductory chemistry concepts the more strands are employed in mapping concepts and propositions related to chemical reactions. Low strand count reflected specific misconceptions about Avogadro's Number, the mole concept, and the Law of Conservation of Matter. (Author/MM) ******************************0 *************************t************* Reproductions supplied by EDRS are the best that car be made from the original document. *x********************************************************************11 Scoring Student-Generated Concept Maps In Introductory College Chemistry IIEST COPY AVA1 LE u a DspournileitiT Of X rotICAT10,41 Mc, col Educettone lieseatcft end ontgoatunere EDUCATIONAL RESOURCES INFORMATIOT CENTE R ! ERIC, ViTn9s document hes beer, lywodus ed at fte,ved from ;hp gem/so p oniaanqat.or ontionoling Mator frillnae5 tmve been made to 'ffiP,Owle reproCur hOn QUahtli Pomis C VIIBM13,0;PnMSVA/Pd ,r1 I Ns docu merit do ,101 neCPISSA74 tepresPflt oc O£Ri posIbon of pobcp "PERMISSION TO REPRODUCE THIS MATERIAL HAS BEEN GRANTED BY tIec.f. za. C. -49,2-ALb L AREC.Eck, TO THE EDUCATIONAL RESOURCES INFORMATION CENTER tERIC". "
Platelet indices- evaluation of their diagnostic role in pediatric thrombocytopenias (one year study)

Background: Thrombocytopenias can be categorised into hypoproliferative (group I) & hyperdestructive types (group II) based on their etiology. Platelet indices (MPV, PDW, P-LCR, platelet-crit) can be used to differentiate this type of thrombocytopenias & these are simple, cost-effective, noninvasive & reliable. The main objective of this study was to evaluate the efficiency of platelet indices to differentiate hypoproductive type from hyperdestructive thrombocytopenias. Methods: Automated Hematology Analyzer Sysmex XT-2000i used to assess platelet indices. 100 Cases of thrombocytopenia & age adjusted (similar age group) controls with normal CBC & peripheral blood smears were included in the study. The gender was not taken into account as the ranges of platelet indices are almost the same for boys & girls of similar age groups. Results: The platelet indices of group I was platelet count = (51.8 ± 31.6) x10 3 /mm, MPV = (8.5 ± 1.27) fl, PDW = (14.10 ± 1.15) fl, P-LCR = (31.90 ± 3.46)%. The platelet indices of group II was platelet count = (39.6 ± 32.7) x10 3 /mm, MPV = (11.6 ± 2.25) fl, PDW = (15.16 ± 1.36) fl, P-LCR = (34.30 ± 2.2)%. Comparative analysis of MPV, PDW & P-LCR of group I and group II showed p value <0.05 proving it to be statistically significant. Conclusions: The combined interpretation of MPV, PDW & P-LCR by automated cell counters can be very useful parameters in differentiating thrombocytopenias due to various etiologies. Platelet indices showed inverse relationship with platelet count as they are increased in hyperdestructive type & shows linear relationship in hypoproliferative type. MPV, PDW & P-LCR can be precisely used to differentiate hyperdestructive type (ITP) from hypoproliferative type (acute leukemias, aplastic anemias). Platelet-crit & platelet large cell ratio are less sensitive parameters to differentiate these thrombocytopenias.
Pengukuran Beban Kerja Terhadap Pegawai Teknisi Pada Divisi Access Dalam Perusahaan Yang Bergerak Di Bidang Telekomunikasi

Workload has been known in workforce area for a long time. It is considered as a significant topic since workload could affect a worker’s performance. Over workload demands a worker works over than his capacity, meanwhile less workload demands a worker works under his capacity. Both of these conditions could lead workers to be under-performed. Therefore, it is necessary to manage workload in an optimum level. There are several methods can be conducted to investigate workload. One of them is workload analysis based on a time study method. Workload analysis conducted in this study is a time study method developed by Taylor (Sutalaksana et. al., 2006). Subject in this study was the technician employee of Access Division in an Information and Communication Company, aged more than 45 year-old and all amounts 47 employees. Workload analysis was conducted to two groups of workers. The result shown that workload in optimum level, eventhoough there was a tendency to over workload. From the result of the study, it has been concluded that it is necessary to revise the job specification in order to be able to find a qualified employee to hold the technician position.
2,4-dichlorophenoxy acetic acid-mediated stress in tomato plants: a biochemical and molecular approach

In the last 60 years, auxinic herbicides like 2,4-dichlorophenoxyacetic acid (2,4D) have been among the widest and successful herbicides used in agriculture. 2,4-D is a selective herbicide that kills dicots and mimics the natural plant phytohormone indol-3acetic acid (IAA) at the molecular level. Nevertheless, concerted efforts are still being made to unravel the precise mechanism of action of this herbicide. It is known that ethylene, abscisic acid (ABA) and reactive oxygen species (ROS) play a central role in 2,4-D toxicity, leading to numerous unbeneficial changes in plant tissues. Yet, how ROS are perceived by the cell and how they regulate defenseand/or stress-related genes’ expressions remains to be elucidated. In this study, tomato plants (Solanum lycopersicum L.) were used in order to unravel the effects of 2,4-D-related ROS in the plant antioxidant system, a special attention being given to the expression of the GST phi class gene family members. When S. lycopersicum plants were root-treated with 2.26 mM 2,4-D for 48 h, H2O2 and O2 levels increased in leaves and were accompanied by a reduction in stomatal aperture, CO2 assimilation and chlorophyll loss. Contrary to their effect on the leaves, in roots 2.26 mM 2,4-D did not provoke clear symptoms of oxidative stress, as lipid peroxidation, H2O2 and O2 levels decreased. Despite the difference in ROS levels observed in both organs, the exposure of tomato plants to 2,4-D lead to the activation of key antioxidant enzymes in both organs, apart from superoxide dismutase (SOD) whose activity increased only in roots. Ascorbate peroxidase (APX) and catalase (CAT) activities increased in leaves and in roots. Also, tomato plants responded to 2.26 mM 2,4-D by increasing Ascorbate (AsA) levels in both organs while an increase in Glutathione (GSH) was only observed in leaves. The herbicide increased both the synthesis and the regeneration of GSH, as well as its usage to conjugate 2,4-D, as leaf γ-glutamyl-cysteinyl synthetase (γ-ECS), glutathione reductase (GR) and glutathione Stransferase (GST) activities increased. Leaf GST increased activity was due to an increased expression of SlGSTF4 and SlGSTF5, and none of the SlGSTFs increased their expression in roots. This study clearly showed that leaves and roots of tomato plants were differentially affected by the exposure to 2.26 mM 2,4-D for 48 h. Moreover, the obtained results suggest that in tomato plants 2,4-D detoxification occurs mainly in leaves, with the participation of specific glutathione transferase phi class members SlGSTF4 and SlGSTF5. FCUP 2,4-dichlorophenoxyacetic acid-mediated stress in tomato plants: a biochemical and molecular approach. v
Book Reviews: Epilepsy and the Functional Anatomy of the Human Brain

If looking for the ebook Epilepsy and the Functional Anatomy of the Human Brain by Wilder Penfield;Herbert Jasper in pdf format, in that case you come on to loyal site. We furnish the complete edition of this book in ePub, txt, doc, PDF, DjVu formats. You can read Epilepsy and the Functional Anatomy of the Human Brain online by Wilder Penfield;Herbert Jasper or download. In addition, on our site you can reading the instructions and different artistic books online, or download theirs. We will draw consideration that our site not store the eBook itself, but we provide url to the website wherever you may load or reading online. So that if you have must to download Epilepsy and the Functional Anatomy of the Human Brain by Wilder Penfield;Herbert Jasper pdf , in that case you come on to the correct site. We have Epilepsy and the Functional Anatomy of the Human Brain DjVu, ePub, doc, txt, PDF forms. We will be glad if you return again and again.
Shingles and Postherpetic Neuralgia

Shingles destroys peripheral sensory neurons and can cause serious complications, of which the most common is postherpetic neuralgia (PHN), the persistence of pain in an area affected by shingles at least three months prior. PHN often resolves within the first six months following shingles, but for some, the pain can last for years or indefinitely. Age is the most significant risk factor for developing shingles and, independently, PHN.
Test Effort Estimation Using Use Case Points

This paper presents a new approach to the estimation of software testing efforts based on Use Case Points [UCP] as a fundamental project estimation measure. From preliminary applications on our web-based projects, we conjecture that this could in fact be more reliable than FP. The caveat here is that the Vmodel must be in use and use case generation must start becoming available right at the requirements gathering phase. The acceptance test plan is then prepared with the use cases from the requirement documents as input. Further work could provide a more exact relationship between the two.
Composition in Convergence: The Impact of New Media on Writing Assessment

Contents: Preface. Introduction. Moving Toward Internetworked Writing and Assessment. Transforming Texts, Transforming Assessment. Who Owns the Words in Electronic Texts? Rethinking Validity and Reliability in an Age of Convergence. Hot and Cool Technologies in the Age of Convergence: Assessing the Writing in Room 25. Access Before Assessment? Remediating Writing Assessment.
Factors influencing sentence intelligibility in noise

The goal of this thesis is to increase comparability, accuracy, and diagnostical benefit of sentence intelligibility tests within one language and to give suggestions for realizing comparable sentence intelligibility tests across languages. Sentence intelligibility tests are either composed of meaningful or syntactically fixed, but semantically unpredictable sentences. The second type was investigated in detail in this thesis. It is available in Swedish, German, and Danish. The development, optimization, and evaluation of the Danish test is presented. The comparability of these sentence intelligibility tests across languages was investigated. A large number of tests was conducted employing a systematic parameter variation to study the influence of various test parameters on the outcome of a sentence test and its comparability within one language (i.e. German). Fluctuating interfering noises were found to differentiate best between different degrees of hearing loss. Therefore, these noises were investigated in more detail. In order to better understand the mechanism of sentence intelligibility in fluctuating noise, it was modeled with different approaches. The presented two-stage model that calculates the intelligibility of sub-word units at different signal-to-noise ratios with consideration of context effects models speech intelligibility in fluctuating noise best. Taken together, the sentence tests and measurement procedures recommended in this thesis appear to yield the highest practically achievable comparability within and across languages.
The Effect of Teacher's Aides in the Classroom: Evidence from a Randomized Trial

Teacher's aides are used worldwide, in various school systems, although, there is no strong evidence of their impact on student outcomes. We use a randomized trial to challenge this state of evidence. We randomly allocate 105 schools to two types of treatments—aides with or without a teaching degree—compared to a control group. Both types of aides have positive impacts on test scores and the effects are persistent over time for disadvantaged students. Exploratory analyses of mechanisms suggest that a teacher's aide is not just a class-size reduction, but especially impactful when sharing instructional responsibility for the classroom.
Physical Cue Influences Children’s Empathy for Pain: The Role of Attention Allocation

Empathy for pain is evolutionally important and context-dependent. The current study explored the effect of physical cue on 4- to 5-year-old children’s empathy for pain with two experiments. Experiment 1 investigated the effect of valid and invalid physical cue as compared to baseline (without cue) in pain evaluation task (evaluating the pain intensity of a facial expression, N = 28). Experiment 2 employed eye-tracking to investigate the attentional process in valid and baseline conditions (evaluating the pain intensity of a body image with an apparently injured arm or leg, N = 65). We found the evaluation of pain intensity was the highest in the valid condition, and higher in baseline condition than invalid. As for eye-tracking results, children fixated more quickly, had more fixations and longer total fixation duration in valid-cue condition. Of attention allocation, compared with baseline condition, children fixated on arm/leg more quickly, more frequently and for longer time in valid condition. Additionally, eye-tracking results were significantly related to their evaluation of pain intensity.
Concentrations of some elements in the pubic hair of males with peripheral artery disease

Ann. Acad. Med. Siles. 2012, 66, 1, 43–51 Copyright © Śląski Uniwersytet Medyczny w Katowicach ISSN 0208-5607 1 Department of Toxicology, Medical University of Silesia in Katowice 2 Institute of Engineering of Water and Wastewater, Silesian Technical University 3 Laboratory Diagnostics, Regional Specialised Hospital No. 4 in Bytom Concentrations of some elements in the pubic hair of males with peripheral artery disease
A report on early neurodevelopmental outcomes in extremely low birth weight infants managed on early nasal continuous positive airway pressure

Abstract At our institution a policy of early nasal continuous positive airway pressure (ENCPAP) in extremely low birth weight (ELBW) infants has been followed during the past 5 years. Routine intubation and surfactant administration is no longer our practice. The impact of this policy on infant outcomes is under investigation. This is a retrospective review of ELBW infants (< 1000 g) born at our institution between January 1998 and July 2002. Data on hearing deficits, visual impairment and Bayley scores at 3–6 months of corrected age were analyzed. Ninety-two ELBW infants were identified. Sixteen (17.4%) infants died and 14 (15.2%) ELBW were transferred to another institution. For the 62 survivors discharged home, mean gestational age was 26.4 ± 1.6 wks and birth weight was 797±129 g. The majority (67%) of these ELBW infants were managed with ENCPAP. Three (10.3%) infants had abnormalities on hearing evaluation. Three (4.8%) infants had retinopathy of prematurity requiring laser. Thirty infants were followed up developmentally. Four of these infants had normal neurodevelopmental evaluation at 6–8 weeks corrected age, and did not return for further follow-up. Twenty-six infants were followed at least through the three to six month visit. Six (23%) remained on high calorie formula with four (14%) infants requiring nasogastric tube feeding. Seven (25%) infants had Bayley mental developmental index < 70 (< 2 SD) and seven (25%) infants had Psychomotor Developmental Index < 70. Neurodevelopmental morbidity remains a concern for ELBW infants managed with ENCPAP. Although these results are subject to selection bias, the rates of neurodevelopmental morbidity are similar to those reported in the recent literature. (J Pediatr Neurol 2004; 2(3): 149–152).
An examination of jump kinematics in dogs over increasing hurdle heights

Research examining kinematic parameters of the canine athlete is markedly behind equivalent human and equine research. With increasing participation and popularity, canine sports science needs to bridge this gap with comparable equine research. The aim of this study was to examine changes to specific kinematic parameters as hurdle height increases. Twenty border collies and border collie crosses were analysed jumping over a single hurdle at increasing heights, starting with a pole on the floor and increasing to a maximum height of 65 cm. Length of trajectory and jump speed were analysed, alongside apparent (without the use of markers) neck, lumbar spine and shoulder angles using Dartfish software. For each dog, the percentage of the hurdle height in relation to their height at the dorsal aspect of the scapula (withers) was used to normalise the dogs evenly. Overall jump speed decreased as percentage height increased (P<0.001), with a strong negative correlation between the two (r=-0.815). Length of trajec.