LLukas22/scidocs huggingface dataset:
Principals' Leadership Styles and Teachers' Job Performance in Senior Secondary Schools in Ondo State, Nigeria

This study investigated principals’ leadership styles and teachers’ job performance in senior secondary schools in Ondo State, Nigeria. The study population comprised all the 281 secondary schools in the State. Out of this population, a sample of 240 senior secondary schools was taken and selected through the stratified random sampling technique. Out of the 7460 teachers (including principals) in the schools, a sample of 2040 teachers was selected through the stratified random sampling technique. This sample was made up of 240 principals and 1800 teachers. Two instruments were used to collect data for the study. These were the principals’ leadership style questionnaire and the teachers’ job performance questionnaire. The data collected were analyzed using frequency counts, percentages, correlation matrix and the t-test. It was found that the democratic leadership style was the most commonly used leadership style among principals of senior secondary schools in the State. Teachers’ job performance was also found to be at a moderate level in the schools. Teachers’ job performance was found to be better in schools having principals using autocratic leadership style than in schools having principals using democratic or laissez-faire leadership styles. It was recommended that school principals should imbibe a mixture of autocratic and democratic styles of leadership in their school administration in order to enhance better job performance among teachers. The use of the laissez-faire leadership style should be discouraged among school principals, as it could not bring a better job performance among teachers.
Classical gravity on fuzzy space-time

A review is made of recent efforts to find relations between the commutation relations which define a noncommutative geometry and the gravitational field which remains as a shadow in the commutative limit.
On positivity-preserving high order discontinuous Galerkin schemes for compressible Euler equations on rectangular meshes

Article history: Received 4 March 2010 Received in revised form 6 July 2010 Accepted 13 August 2010 Available online 18 August 2010
Advances in Reflective Oxygen Saturation Monitoring With a Novel In-Ear Sensor System: Results of a Human Hypoxia Study

Pulse oximetry is a well-established, noninvasive photoplethysmographic method to monitor vital signs. It allows us to measure cardiovascular parameters, such as heart rate and arterial oxygen saturation, and is considered an essential monitoring tool in clinical routine. However, since many of the conventional systems work in transmission mode, they can only be applied to the thinner or peripheral parts of the body, such as a finger tip. This has the major disadvantage that, in case of shock-induced centralization and a resulting drop in perfusion, such systems cannot ensure valid measurements. Therefore, we developed a reflective in-ear sensor system that can be worn in the ear channel like a headphone. Because the sensor is integrated in an ear mold and positioned very close to the trunk, reliable measurement is expected even in case of centralization. An additional advantage is that the sensor is comfortable to wear and has considerable resistance to motion artifacts. In this paper, we report on hypoxia studies with ten healthy participants which were performed to analyze the system with regard to the detection of heart rate and arterial oxygen saturation. It was shown earlier that, due to the high signal quality, heart rate can easily be detected. Using the conventional calculation principle, based on Beer-Lambert's law combined with a single-point calibration method, we now demonstrate that the detection of arterial oxygen saturation in the human ear canal is possible using reflective saturation sensors.
Secondary school fees and the causal effect of schooling on health behavior.

Using German census data, we estimate the causal effect of education on smoking and overweight/obesity using the abolition of secondary school fees as instrumental variable. The West German federal states enacted this reform at different dates after World War II, generating exogenous variation in the access to secondary education. While we find a strong association between schooling and health behaviors using OLS, we do not find support for the notion that education causes better health behavior.
The implicit personality theory of Islam.

Almost every traditional personality theorist had something to say about religion, but the topic of how religious beliefs might affect individuals’ views of human nature remains largely unstudied. All religions, however, contain certain implicit ideas regarding personality that are likely to impact individual behavior. This article draws on Islamic sources to consider what a practicing Muslim might believe about motivation, personality development, the self, the unconscious, psychological adjustment, and the individual and society. In general terms, understanding these beliefs can be useful in the broader study of how cultural issues affect personality. More specifically, understanding Islamic beliefs related to personality can assist in planning for the provision of psychological services to Muslims, as well as understanding the psychological perspectives of Muslims who are not extremists.
Coq: the world's best macro assembler?

We describe a Coq formalization of a subset of the x86 architecture. One emphasis of the model is brevity: using dependent types, type classes and notation we give the x86 semantics a makeover that counters its reputation for baroqueness. We model bits, bytes, and memory concretely using functions that can be computed inside Coq itself; concrete representations are mapped across to mathematical objects in the SSReflect library (naturals, and integers modulo 2n) to prove theorems. Finally, we use notation to support conventional assembly code syntax inside Coq, including lexically-scoped labels. Ordinary Coq definitions serve as a powerful "macro" feature for everything from simple conditionals and loops to stack-allocated local variables and procedures with parameters. Assembly code can be assembled within Coq, producing a sequence of hex bytes. The assembler enjoys a correctness theorem relating machine code in memory to a separation-logic formula suitable for program verification.
Associations of Cognitive Function Scores with Carbon Dioxide, Ventilation, and Volatile Organic Compound Exposures in Office Workers: A Controlled Exposure Study of Green and Conventional Office Environments

BACKGROUND
The indoor built environment plays a critical role in our overall well-being because of both the amount of time we spend indoors (~90%) and the ability of buildings to positively or negatively influence our health. The advent of sustainable design or green building strategies reinvigorated questions regarding the specific factors in buildings that lead to optimized conditions for health and productivity.


OBJECTIVE
We simulated indoor environmental quality (IEQ) conditions in "Green" and "Conventional" buildings and evaluated the impacts on an objective measure of human performance: higher-order cognitive function.


METHODS
Twenty-four participants spent 6 full work days (0900-1700 hours) in an environmentally controlled office space, blinded to test conditions. On different days, they were exposed to IEQ conditions representative of Conventional [high concentrations of volatile organic compounds (VOCs)] and Green (low concentrations of VOCs) office buildings in the United States. Additional conditions simulated a Green building with a high outdoor air ventilation rate (labeled Green+) and artificially elevated carbon dioxide (CO2) levels independent of ventilation.


RESULTS
On average, cognitive scores were 61% higher on the Green building day and 101% higher on the two Green+ building days than on the Conventional building day (p < 0.0001). VOCs and CO2 were independently associated with cognitive scores.


CONCLUSIONS
Cognitive function scores were significantly better under Green+ building conditions than in the Conventional building conditions for all nine functional domains. These findings have wide-ranging implications because this study was designed to reflect conditions that are commonly encountered every day in many indoor environments.


CITATION
Allen JG, MacNaughton P, Satish U, Santanam S, Vallarino J, Spengler JD. 2016. Associations of cognitive function scores with carbon dioxide, ventilation, and volatile organic compound exposures in office workers: a controlled exposure study of green and conventional office environments. Environ Health Perspect 124:805-812; http://dx.doi.org/10.1289/ehp.1510037.
Comparison of Question Answering Systems Based on Ontology and Semantic Web in Different Environment

Problem statement: Question Answering (QA) system is taking an importa nt role in current search engine optimization concept. Natural language processing technique is mostly implemented in QA system for asking user’s question and several steps are also followed for conversion of questions to query form for getting a n exact answer. Approach: This paper surveys different types of question answering system based on ontology and semantic web model with different query format. For comparison, the types of input, q ery processing method, input and output format of each system and the performance metrics with its li mitations are analyzed and discussed. Our question answering for automatic learning system architectur e is used to overcome the difficulties raised from the different QA models. Results: The semantic search methodology is implemented by u sing RDF graph in the application of data structure domain a nd the performance is also analyzed. Answers are retrieved from ontology using Semantic Search appro ach and question-to-query algorithm is evaluated in our system for analyzing performance evaluation. Conclusion: Performance of question answering system of getting exact result can be improved by u sing semantic search methodology for retrieving answers from ontology model. Our system successfull y implements this technique and the system is also used in intelligent manner for automatic learn ing method.
The Preventable Causes of Death in the United States: Comparative Risk Assessment of Dietary, Lifestyle, and Metabolic Risk Factors

BACKGROUND
Knowledge of the number of deaths caused by risk factors is needed for health policy and priority setting. Our aim was to estimate the mortality effects of the following 12 modifiable dietary, lifestyle, and metabolic risk factors in the United States (US) using consistent and comparable methods: high blood glucose, low-density lipoprotein (LDL) cholesterol, and blood pressure; overweight-obesity; high dietary trans fatty acids and salt; low dietary polyunsaturated fatty acids, omega-3 fatty acids (seafood), and fruits and vegetables; physical inactivity; alcohol use; and tobacco smoking.


METHODS AND FINDINGS
We used data on risk factor exposures in the US population from nationally representative health surveys and disease-specific mortality statistics from the National Center for Health Statistics. We obtained the etiological effects of risk factors on disease-specific mortality, by age, from systematic reviews and meta-analyses of epidemiological studies that had adjusted (i) for major potential confounders, and (ii) where possible for regression dilution bias. We estimated the number of disease-specific deaths attributable to all non-optimal levels of each risk factor exposure, by age and sex. In 2005, tobacco smoking and high blood pressure were responsible for an estimated 467,000 (95% confidence interval [CI] 436,000-500,000) and 395,000 (372,000-414,000) deaths, accounting for about one in five or six deaths in US adults. Overweight-obesity (216,000; 188,000-237,000) and physical inactivity (191,000; 164,000-222,000) were each responsible for nearly 1 in 10 deaths. High dietary salt (102,000; 97,000-107,000), low dietary omega-3 fatty acids (84,000; 72,000-96,000), and high dietary trans fatty acids (82,000; 63,000-97,000) were the dietary risks with the largest mortality effects. Although 26,000 (23,000-40,000) deaths from ischemic heart disease, ischemic stroke, and diabetes were averted by current alcohol use, they were outweighed by 90,000 (88,000-94,000) deaths from other cardiovascular diseases, cancers, liver cirrhosis, pancreatitis, alcohol use disorders, road traffic and other injuries, and violence.


CONCLUSIONS
Smoking and high blood pressure, which both have effective interventions, are responsible for the largest number of deaths in the US. Other dietary, lifestyle, and metabolic risk factors for chronic diseases also cause a substantial number of deaths in the US.
Barriers to timely discharge from the general medicine service at an academic teaching hospital.

BACKGROUND
Reducing delays for patients who are safe to be discharged is important for minimising complications, managing costs and improving quality. Barriers to discharge include placement, multispecialty coordination of care and ineffective communication. There are a few recent studies that describe barriers from the perspective of all members of the multidisciplinary team.


STUDY OBJECTIVE
To identify the barriers to discharge for patients from our medicine service who had a discharge delay of over 24 hours.


METHODOLOGY
We developed and implemented a biweekly survey that was reviewed with attending physicians on each of the five medicine services to identify patients with an unnecessary delay. Separately, we conducted interviews with staff members involved in the discharge process to identify common barriers they observed on the wards.


RESULTS
Over the study period from 28 October to 22 November 2013, out of 259 total discharges, 87 patients had a delay of over 24 hours (33.6%) and experienced a total of 181 barriers. The top barriers from the survey included patient readiness, prolonged wait times for procedures or results, consult recommendations and facility placement. A total of 20 interviews were conducted, from which the top barriers included communication both between staff members and with the patient, timely notification of discharge and lack of discharge standardisation.


CONCLUSIONS
There are a number of frequent barriers to discharge encountered in our hospital that may be avoidable with planning, effective communication methods, more timely preparation and tools to standardise the discharge process.
Visuomotor Function in School-Age Children with Single-Suture Craniosynostosis.

OBJECTIVE
Previous studies have shown that infants and young children with single-suture craniosynostosis (SSC) perform more poorly on tests of visuomotor function than children without SSC. However, previous studies are limited by small sample sizes and little is known about the persistence of visuomotor problems into the school-age years. The aim of this study was to compare visuomotor function in children with and without SSC at the beginning of elementary school.


METHODS
The study included 179 children with SSC (cases) and 183 children without SSC (controls). Visuomotor function was measured by the NEPSY-II Arrows, the Purdue Pegboard Test, and the Beery-Buktenica Developmental Test of visual-motor integration. Case-control differences were estimated using linear regression, adjusted for age, sex, socioeconomic status, and maternal IQ.


RESULTS
Cases scored more poorly on all measures of visuomotor function, although the magnitude of case-control differences varied across measures. The greatest differences were observed for the Purdue Pegboard Test, with an average adjusted difference of -0.2 to -0.4 SD points (p-values ranged from .008 to .05). Case-control differences were small in magnitude for other measures of visuomotor function, ranging from -0.01 to -0.1 SD points (p-values ranged from .22 to .88).


CONCLUSION
Children with SSC experienced deficits in manual dexterity into the school-age years but were similar to children without SSC on measures of visual processing. These findings advocate for the assessment of fine-motor function as part of school readiness evaluations in children with SSC.
Mechanisms of Disease Cancer Stem Cells

N Engl J Med 2006;355:1253-61. Copyright © 2006 Massachusetts Medical Society. The deepening of our understanding of normal biology has made it clear that stem cells have a critical role not only in the generation of complex multicellular organisms, but also in the development of tumors. Recent findings support the concept that cells with the properties of stem cells are integral to the development and perpetuation of several forms of human cancer.1-3 Eradication of the stem-cell compartment of a tumor also may be essential to achieve stable, long-lasting remission, and even a cure, of cancer.4,5 Advances in our knowledge of the properties of stem cells have made specific targeting and eradication of cancer stem cells a topic of considerable interest. In this article, we discuss the properties of cancer stem cells, outline initial therapeutic strategies against them, and present challenges for the future.
Using the Cockroft-Walton voltage multiplier design in handheld devices

A variation of the basic Cockroft-Walton (C-W) Voltage Multiplier circuit design may be used to generate multiple voltages at sufficient currents to drive the dynodes of a photomultiplier tube. In a battery-operated handheld device, the current draw on the batteries must be kept to a minimum. Several other parameters must be considered carefully during the design as well. Components must be chosen based on size restrictions, expected load current, expected output voltage range, and the maximum allowable ripple in the output voltage. A prototype surface mount C-W board was designed and tested to power two photomultipliers. The whole system, including the detectors, draws less than 15mA of supply current with the outputs at 1000VDC.
Risk of recurrence of Barrett's esophagus after successful endoscopic therapy.

BACKGROUND AND AIMS
Previous estimates of incidence of intestinal metaplasia (IM) recurrence after achieving complete remission of IM (CRIM) through endoscopic therapy of Barrett's esophagus (BE) have varied widely. We performed a systematic review and meta-analysis of studies to estimate an accurate recurrence risk after CRIM.


METHODS
We performed a systematic search of multiple literature databases through June 2015 to identify studies reporting long-term follow-up after achieving CRIM through endoscopic therapy. Pooled incidence rate (IR) of recurrent IM, dysplastic BE, and high-grade dysplasia (HGD)/esophageal adenocarcinoma (EAC) per person-year of follow-up after CRIM was estimated. Factors associated with recurrence were also assessed.


RESULTS
We identified 41 studies that reported 795 cases of recurrence in 4443 patients over 10,427 patient-years of follow-up. This included 21 radiofrequency ablation studies that reported 603 cases of IM recurrence in 3186 patients over 5741 patient-years of follow-up. Pooled IRs of recurrent IM, dysplastic BE, and HGD/EAC after radiofrequency ablation were 9.5% (95% CI, 6.7-12.3), 2.0% (95% CI, 1.3-2.7), and 1.2% (95% CI, .8-1.6) per patient-year, respectively. When all endoscopic modalities were included, pooled IRs of recurrent IM, dysplastic BE, and HGD/EAC were 7.1% (95% CI, 5.6-8.6), 1.3% (95% CI, .8-1.7), and .8% (95% CI, .5-1.1) per patient-year, respectively. Substantial heterogeneity was noted. Increasing age and BE length were predictive of recurrence; 97% of recurrences were treated endoscopically.


CONCLUSIONS
The incidence of recurrence after achieving CRIM through endoscopic therapy was substantial. A small minority of recurrences were dysplastic BE and HGD/EAC. Hence, continued surveillance after CRIM is imperative. Additional studies with long-term follow-up are needed.
Toward sub 1 V analog integrated circuits in submicron standard CMOS technologies

Lower channel lengths lead to lower supply voltages. For 0.25 /spl mu/m MOSTs the supply voltage is 2.5 V. Even lower supply voltages will follow. This paper deals with analog integrated circuits that can handle the reduction of the supply voltage down to 1 V. Existing solutions for such low supply voltages are: 1) reduction of threshold voltages from 0.7 V to 0.3-0.4 V; 2) use of voltage multipliers. It is possible to reduce supply voltages to 1 V in standard CMOS without voltage multipliers. The advent of deep submicron CMOS dictates reduced supply voltage.
The notion of overview in information visualization

Overview is a frequently used notion and design goal in information-visualization research and practice. However, it is difficult to find a consensus on what an overview is and to appreciate its relation to how users understand and navigate an information space. We review papers that use the notion of overview and develop a model. The model highlights the awareness that makes up an overview, the process by which users acquire it, the usefulness of overviews, and the role of user-interface components in developing an overview. We discuss the model in relation to classic readings in information visualization and use it to generate recommendations for future research.
On eigenvalue problems of real symmetric tensors

Abstract We use variational methods to give a positive answer to a conjecture posed by Liqun Qi [L. Qi, Eigenvalues of a real supersymmetric tensor, J. Symbolic Comput. 40 (2005) 1302–1324] regarding the real eigenvalues of certain higher order tensors.
Inferring extended finite state machine models from software executions

The ability to reverse-engineer models of software behaviour is valuable for a wide range of software maintenance, validation and verification tasks. Current reverse-engineering techniques focus either on control-specific behaviour (e.g., in the form of Finite State Machines), or data-specific behaviour (e.g., as pre / post-conditions or invariants). However, typical software behaviour is usually a product of the two; models must combine both aspects to fully represent the software’s operation. Extended Finite State Machines (EFSMs) provide such a model. Although attempts have been made to infer EFSMs, these have been problematic. The models inferred by these techniques can be non-deterministic, the inference algorithms can be inflexible, and only applicable to traces with specific characteristics. This paper presents a novel EFSM inference technique that addresses the problems of inflexibility and non-determinism. It also adapts an experimental technique from the field of Machine Learning to evaluate EFSM inference techniques, and applies it to three diverse software systems.
Trust management in mobile ad hoc networks

We investigate an approach to trust management in a mobile ad-hoc network by first clustering the network in an efficient manner based on the cost of analysis/processing concept, and then using the experience of some nodes to achieve trust information dissemination through the network. This is accomplished by first exchanging trust information between the nodes and the cluster-head when the cluster is initially formed, and later (on demand) when a client consults the cluster-head prior to proceeding with a transaction. We also examine a possible scenario for trust restoration if a node is found to be in low trust due to former malicious behavior.