LLukas22/scidocs huggingface dataset:
Hybrid MSW + VO solution of the solar neutrino problem in string-motivated unified theories

Abstract It is shown that the hybrid MSW + VO solution of the solar neutrino problem, according to which the solar ν e undergo matter-enhanced transitions into ν μ , τ in the Sun followed by long wave length ( ∼1.5×10 8 km) ν e ↔ ν μ , τ oscillations in vacuum between the Sun and the Earth, can occur naturally in string-motivated grand unified theories. We consider the supersymmetric version of a string-type SU (4)⊗ SU (2) L ⊗ SU (2) R theory with U (1) X family symmetry, which was shown to successfully describe the charged fermion masses and the quark mixing, and extend the earlier fermion mass analysis to the neutrino sector. We show that the four oscillation parameters Δm 31 2 , Δm 21 2 and sin 2 2 θ 12 , sin 2 2 θ 13 , characterising the combined matter-enhanced transitions and vacuum oscillations of the solar ν e , naturally get values in the ranges of the hybrid MSW + VO solutions found recently.
Recognition of weeds with image processing and their use with fuzzy logic for precision farming

Yang, C.-C., Prasher, S.O., Landry, J.-A., Perret, J. and Ramaswamy, H.S. 2000. Recognition of weeds with image processing and their use with fuzzy logic for precision farming. Can. Agric. Eng. 42:195200. Herbicide use can be reduced if the spatial distribution of weeds in the field is taken into account. This paper reports the initial stages of development of an image capture/processing system to detect weeds, as well as a fuzzy logic decision-making system to determine where and how much herbicide to apply in an agricultural field. The system used a commercially available digital camera and a personal computer. In the image processing stage, green objects in each image were identified using a greenness method that compared the red, green, and blue (RGB) intensities. The RGB matrix was reduced to a binary form by applying the following criterion: if the green intensity of a pixel was greater than the red and the blue intensities, then the pixel was assigned a value of one; otherwise the pixel was given a value of zero. The resulting binary matrix was used to compute greenness area for weed coverage, and greenness distribution of weeds (weed patch). The values of weed coverage and weed patch were inputs to the fuzzy logic decision-making system, which used the membership functions to control the herbicide application rate at each location. Simulations showed that a graduated fuzzy strategy could potentially reduce herbicide application by 5 to 24%, and that an on/off strategy resulted in an even greater reduction of 15 to 64%.
Experiences, expectations and challenges of an interactive mobile phone-based system to support self-management of hypertension: patients’ and professionals’ perspectives

Background
A well-controlled blood pressure (BP) reduces cardiovascular complications. Patient participation in care using technology may improve the current situation of only 13.8% of adults diagnosed with hypertension worldwide having their BP under control.


Objective
The objective of this study was to explore patients' and professionals' experiences of and expectations for an interactive mobile phone-based system to support self-management of hypertension.


Methods
The self-management system consists of: 1) a mobile phone platform for self-reports, motivational messages and reminders; 2) a device for measuring BP and 3) graphical feedback of self-reports. Patients diagnosed with high BP (n=20) and their treating professionals (n=7) participated in semi-structured interviews, after 8 weeks use of the system in clinical practice. Data were analyzed thematically.


Results
The self-reporting of BP, symptoms, medication use, medication side effects, lifestyle and well-being was perceived to offer insight into how daily life activities influenced BP and helped motivate a healthy lifestyle. Taking increased responsibility as a patient, by understanding factors affecting one's well-being, was reported as an enabling factor for a more effective care. Based on the experiences, some challenges were mentioned: for adoption of the system into clinical practice, professionals' educational role should be extended and there should be a reorganization of care to fully benefit from technology. The patients and professionals gave examples of further improvements to the system, for example, related to the visualization of graphs from self-reports and an integration of the system into the general technical infrastructure. These challenges are important on the path to accomplishing adoption.


Conclusion
The potential of a more autonomous, knowledgeable and active patient, through use of the interactive mobile system would improve outcomes of hypertension treatment, which has been desired for decades. Documentation and visualization of patients' self-reports and the possibilities to communicate these with professionals may be a significant resource for person-centered care.
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor

hypervisor as a nondeterministic sequential program  prove invariant properties of individual ϋobjects and compose them 14 Phase1 Startup Phase2 Intercept Phase3 Exception Proofs HW initiated concurrent execution Concurrent execution HW initiated sequential execution Sequential execution  Intro.  Motivating. Ex.  Impl.  Verif. Results  Perf.  Concl.  Architecture
An Integrated Low Cost GPS/INS Attitude Determination and Position Location System

the University of Federal Armed Forces Munich. He is responsible for research and teaching in the field of high-precision GPS/GLONASS positioning, navigation physical geodesy, gravimetry and satellite geodesy. He works in the field of GPS since 1984 and is author of numerous papers on static and kinematic positioning and navigation. responsible for the operation of the laboratory, for teaching and research in the field of GPS/GLONASS and inertial technology. Till the end of 1993 he worked in industry as a projectmanager in the development of GPS/INS navigation systems. Robert Wolf received a diploma in aerospace engineering in 1995 from the Munich University of Technology. In 1995 he joined the Institute of Geodesy and Navigation as a Research Associate, working in the field of GPS/INS integration. Erwin Loehnert received a diploma in aerospace engineering in 1993 from the Munich University of Technology. In 1994 he joined the Institute of Geodesy and Navigation as a Research Associate, working in the field of GPS/INS integration. ABSTRACT Advances in the technology of low cost solid-state inertial sensors have brought the price for a inertial measurement unit (IMU) down to the $ 10,000 level. Such an IMU, Systron Donners' MotionPak TM , has been purchased by the Institute of Geodesy and Navigation (IfEN) in order to develop an integrated GPS/INS attitude determination system. As GPS component for the integrated system, IfEN has selected the Trimble Advanced Navigation Sensor (TANS) Vector receiver system, which is a multi antenna attitude determination and position location system. IfEN has developed a realtime navigation software to calculate position, velocity and attitude from the outputs of the MotionPak gyroscopes and accelerometers. These computed values are integrated with position, velocity and attitude information from the TANS Vector in a Kalman filter. Test results show that this system can achieve up to 0.1 degrees attitude accuracy (RMS). This Paper describes the low cost integrated GPS/INS System, including GPS and INS hardware, data acquisition and software.
Bioactive metabolites from macrofungi: ethnopharmacology, biological activities and chemistry

Exploration of natural sources for novel bioactive compounds has been an emerging field of medicine over the past decades, providing drugs or lead compounds of considerable therapeutic potential. This research has provided exciting evidence on the isolation of microbe-derived metabolites having prospective biological activities. Mushrooms have been valued as traditional sources of natural bioactive compounds for many centuries and have been targeted as promising therapeutic agents. Many novel biologically active compounds have been reported as a result of research on medicinal mushrooms. In this review, we compile the information on bioactive structure-elucidated metabolites from macrofungi discovered over the last decade and highlight their unique chemical diversity and potential benefits to novel drug discovery. The main emphasis is on their anti-Alzheimer, anti-diabetic, anti-malarial, anti-microbial, anti-oxidant, anti-tumor, anti-viral and hypocholesterolemic activities which are important medicinal targets in terms of drug discovery today. Moreover, the reader’s attention is brought to focus on mushroom products and food supplements available in the market with claimed biological activities and potential human health benefits.
Islamic Mutual Funds’ Financial Performance and International Investment Style: Evidence from 20 Countries

We pursue the first large scale investigation of a strongly growing mutual fund type: Islamic funds. Based on an unexplored, survivorship bias adjusted dataset, we analyse the financial performance and investment style of 265 Islamic equity funds from twenty countries. As Islamic funds often have diverse investment regions, we develop a (conditional) three level Carhart model to simultaneously control for exposure to different national, regional and global equity markets and investment styles. Consistent with recent evidence for conventional funds, we find Islamic funds to display superior learning in more developed Islamic financial markets. While Islamic funds from these markets are competitive to international equity benchmarks, funds from especially Western nations with less Islamic assets tend to significantly underperform. Islamic funds’ investment style is somewhat tilted towards growth stocks. Funds from predominantly Muslim economies also show a clear small cap preference. These results are consistent over time and robust to time varying market exposures and capital market restrictions.
Analysis of online social networks: a cross-national study

Purpose – The purpose of this study is to investigate users’ underlying motivations for engaging in social networking through online social networking services (SNS) compared with their behaviour. It seeks to examine the differences between USA, and Korean users. Design/methodology/approach – The study surveyed SNS users in the USA and Korea to determine the key differences between the two countries. Survey questions, developed in English and Korean, were presented in each country to explore the influences of various factors from the modified Technology Acceptance Model on SNS user dimensions. The analytic design methods were based on structural equation modelling and applied to the data gathered. The TAM factors of SNS were analysed, focusing on the differences in motives between the two countries. Findings – The results of the online survey of SNS users validated the proposed theoretical model’s ability to explain and predict user acceptance of SNS very well. While the results illustrate the importance of both extrinsic and intrinsic motivation, the two countries showed different sets of motivations, providing useful implications for theory and practice. Practical implications – Based on the results of the study, practical applications for marketing strategies in online SNS markets and theoretical applications for cross-national studies are recommended. Originality/value – Despite the burgeoning interest in SNS, only a few studies have explored the acceptance of SNS in a cross-national manner, leading to a paucity of information on how different cultures influence acceptance of online services.
PanOCT: automated clustering of orthologs using conserved gene neighborhood for pan-genomic analysis of bacterial strains and closely related species

Pan-genome ortholog clustering tool (PanOCT) is a tool for pan-genomic analysis of closely related prokaryotic species or strains. PanOCT uses conserved gene neighborhood information to separate recently diverged paralogs into orthologous clusters where homology-only clustering methods cannot. The results from PanOCT and three commonly used graph-based ortholog-finding programs were compared using a set of four publicly available strains of the same bacterial species. All four methods agreed on ∼70% of the clusters and ∼86% of the proteins. The clusters that did not agree were inspected for evidence of correctness resulting in 85 high-confidence manually curated clusters that were used to compare all four methods.
Vector Quantization In Text Dependent Automatic Speaker Recognition Using Mel-frequency Cepstrum Coefficient

Automatic speaker recognition is a field of study attributed in identifying a person from a spoken phrase. The technique makes it possible to use the speaker’s voice to verify their identity and control access to the services such as biometric security system, voice dialing, telephone banking, telephone shopping, database access services, information services, voice mail, and security control for confidential information areas and remote access to the computers. This thesis represents a development of a Matlab based text dependent speaker recognition system. Mel Frequency Cepstrum Coefficient (MFCC) Method is used to extract a speaker’s discriminative features from the mathematical representation of the speech signal. After that Vector Quantization with VQ-LBG Algorithm is used to match the feature. Key-Words: Speaker Recognition, Human Speech Signal Processing, Vector Quantization
Remote life monitoring system base on Internet of Things

The system is mainly based on the Internet in the computer, use wireless data communication technologies and construct a “Internet of Things” of guardian body bio-information. This paper discusses various sensor nodes in the human body, how these nodes collected information through the wireless sensor network to relay station, the relay station pass through open computer networks to achieve information exchange and sharing, then implement the human body “guardianship” Management.
Rural health professions education at East Tennessee State University: survey of graduates from the first decade of the community partnership program.

CONTEXT
To help meet rural Appalachian needs, and with initial support from the W.K. Kellogg Foundation, East Tennessee State University partnered with 2 counties to implement a health curriculum for nursing, public health, and medical students in a rural setting. The Community Partnerships Program 3-year longitudinal curriculum included theoretical, conceptual, and practice elements of the 3 disciplines incorporated into an experiential, inquiry-based, service-learning program. Interdisciplinary learning, problem solving, and reinforcement of career choices in medically underserved rural communities were emphasized.


PURPOSE
To compare career choices, attitudes, and practice locations of Community Partnerships Program graduates with traditional graduates.


METHODS
Surveys were mailed to Community Partnerships Program and traditional program graduates matriculating from 1992 to 2002 (response rates 58/84 and 72/168, respectively).


FINDINGS
Community Partnerships Program graduates indicated a significantly greater interest in rural primary care, care for the underserved and interdisciplinary group collaboration, and were more likely to practice in rural locations than did their traditionally educated peers. Family, personal factors, and the availability of employment were major influences in determining the decision to choose a career in a rural location. Community Partnerships Program graduates indicated they were better prepared to work in interdisciplinary teams and were more likely to work in community-based programs and activities than did the traditional graduates.


CONCLUSION
A program that enrolls students interested in rural health care and provides training in rural communities produces graduates who will practice in rural areas.
Road Reduction Filtering for GPS-GIS Navigation

A novel method of map matching using the Global Positioning System (GPS) has been developed for civilian use, which uses digital mapping data to infer the <100 metres systematic position errors which result largely from “selective availability” (S/A) imposed by the U.S. military. The system tracks a vehicle on all possible roads (road centre-lines) in a computed error region, then uses a method of rapidly detecting inappropriate road centre-lines from the set of all those possible. This is called the Road Reduction Filter (RRF) algorithm. Point positioning is computed using C/A code pseudorange measurements direct from a GPS receiver. The least squares estimation is performed in the software developed for the experiment described in this paper. Virtual differential GPS (VDGPS) corrections are computed and used from a vehicle’s previous positions, thus providing an autonomous alternative to DGPS for in-car navigation and fleet management. Height aiding is used to augment the solution and reduce the number of satellites required for a position solution. Ordnance Survey (OS) digital map data was used for the experiment, i.e. OSCAR 1m resolution road centre-line geometry and Land Form PANORAMA 1:50,000, 50m-grid digital terrain model (DTM). Testing of the algorithm is reported and results are analysed. Vehicle positions provided by RRF are compared with the “true” position determined using high precision (cm) GPS carrier phase techniques. It is shown that height aiding using a DTM and the RRF significantly improve the accuracy of position provided by inexpensive single frequency GPS receivers. INTRODUCTION The accurate location of a vehicle on a highway network model is fundamental to any in-car-navigation system, personal navigation assistant, fleet management system, National Mayday System (Carstensen, 1998) and many other applications that provide a current vehicle location, a digital map and perhaps directions or route guidance. A great
On (4, 2)-Choosable Graphs

A graph G is called (a, b)-choosable if for any list assignment L that assigns to each vertex v a set L(v ) of a permissible colors, there is a b-tuple L-coloring of G. An (a, 1)-choosable graph is also called achoosable. In the pioneering article on list coloring of graphs by Erdős et al. [2], 2-choosable graphs are characterized. Confirming a special case of a conjecture in [2], Tuza and Voigt [3] proved that 2-choosable graphs are (2m, m)-choosable for any positive integer m. On the other hand, Voigt [6] proved that if m is an odd integer, then these are the only (2m, m)choosable graphs; however, when m is even, there are (2m, m)-choosable graphs that are not 2-choosable. A graph is called 3-choosable-critical if it is not 2-choosable, but all its proper subgraphs are 2-choosable. Voigt conjectured that for every positive integer m, all bipartite 3-choosablecritical graphs are (4m, 2m)-choosable. In this article, we determine which 3-choosable-critical graphs are (4, 2)-choosable, refuting Voigt’s conjecture in the process. Nevertheless, a weaker version of the conjecture is true: we prove that there is an even integer k such that for any positive integer m, every bipartite 3-choosable-critical graph is (2km, km)-choosable. Moving ∗ Contract grant sponsor: CNSF; contract grant number: 11571319. Journal of Graph Theory C © 2016 Wiley Periodicals, Inc. 412 ON (4, 2)-CHOOSABLE GRAPHS 413 beyond 3-choosable-critical graphs, we present an infinite family of non-3choosable-critical graphs that have been shown by computer analysis to be (4, 2)-choosable. This shows that the family of all (4, 2)-choosable graphs has rich structure. C © 2016 Wiley Periodicals, Inc. J. Graph Theory 85: 412–428, 2017
Fuzzy Model in Human Emotions Recognition

This paper discusses a fuzzy model for multi-level human emotions recognition by computer systems through keyboard keystrokes, mouse and touch-screen interactions. This model can also be used to detect the other possible emotions at the time of recognition. Accuracy measurements of human emotions by the fuzzy model are discussed through two methods; the first is accuracy analysis and the second is false positive rate analysis. This fuzzy model detects more emotions, but on the other hand, for some of emotions, a lower accuracy was obtained with the comparison with the non-fuzzy human emotions detection methods. This system was trained and tested by Support Vector Machine (SVM) to recognize the users’ emotions. Overall, this model represents a closer similarity between human brain detection of emotions and computer systems. Key-Words: fuzzy emotions, multi-level emotions, human emotion recognition, human computer interaction.
Reactivity theory of transition-metal surfaces: a Brønsted-Evans-Polanyi linear activation energy-free-energy analysis.

The exponential increase in computational processor speed, the development of novel computational architectures, together with the tremendous advances in ab initio theoretical methods that have emerged over the past two decades have led to unprecedented advances in our ability to probe the fundamental chemistry that occurs on complex catalytic surfaces. In particular, advances in density functional theory (DFT) have made it possible to elucidate the elementary steps and mechanisms in surface-catalyzed processes that would be difficult to explore experimentally. The advanced state of plane wave DFT has made it possible to rapidly examine systematic changes to the metal or the reactant in order to establish structure-property relationships. As a result, extensive data based on the energetics for various different surface-catalyzed reactions has been generated. This invites a detailed theoretical analysis of the factors that control reaction paths and corresponding potentialenergy surfaces of surface reactions. Such a theoretical analysis will not only provide interesting new insights into the intricate relationship between the chemical bonding features, structure, and energies of transition states but also serve as a basis for the development of analytical expressions that relate transitionstate properties to more easily accessible thermodynamic properties. The Brønsted-Evans-Polanyi (BEP) relationship is one such example which has been widely applied in the analysis of surface elementary reaction steps.1-8 δEact )RδEr (1)
Design of a high efficiency 22 kW wireless power transfer system for EVs fast contactless charging stations

The technology of wireless charging, also referred to as wireless power transfer (WPT) or inductive power transfer (IPT), has been successfully applied at the low power level, such as applications in the medical field or in small devices such as smart phones Along with the fast growing interest in electric vehicles (EVs) and plug-in hybrid electric vehicles (PHEVs), wireless charging is becoming a new way of charging batteries. In this paper, the design of a WPT system for electrical bus fast wireless charging stations will be presented. The system is composed by a two stage switching power supply, i.e. a multiphase soft-switching buck converter controlling the output power and a high-frequency resonant full-bridge converter connected to a series-series compensation topology. The input DC voltage is around 700 V and the maximum output power is 22 kW. An analytical description of the system is reported, as well as simulations and experimental results based on a TMS320F28335 DSP are presented to confirm the effectiveness of the proposed system.