LLukas22/scidocs huggingface dataset:
Attribute-Based Functional Encryption on Lattices

We introduce a broad lattice manipulation technique for expressive cryptography, and use it to realize functional encryption for access structures from post-quantum hardness assumptions. Speci cally, we build an e cient key-policy attribute-based encryption scheme, and prove its security in the selective sense from learning-witherrors intractability in the standard model.
Challenges of introducing and implementing mobile payments : A Qualitative study of the Swedish mobile payment application WyWallet

Citizens of Sweden are now facing a large shift in their habits of managing money transferring using mobile phones. They are now forced to use an application called WyWallet when making purchases w ...
The Use of Gamification in Higher Education : An Empirical Study

The use of gamification in higher education has increased considerably over the past decades. An empirical study was conducted in Hungary with two groups of students to investigate their behaviour while interacting with Kahoot! The results were analyzed based on the technology acceptance model. They indicate that the positive attitude, good experience and ease of availability contributed to improve student performance which strengthened the intention to use the application. Besides these, the perceived utility was positively influenced by the ease of use as consequence. Keywords—Gamification; education; Hungary; technology acceptance model; university student
A Computational Interpretation of Forcing in Type Theory

In a previous work, we showed the uniform continuity of definable functionals in intuitionistic type theory as an application of forcing with dependent types. The argument was constructive, and so contains implicitly an algorithm which computes a witness that a given functional is uniformly continuous. We present here such an algorithm, which provides a possible computational interpretation of forcing.
Explaining Entrepreneurial Intentions by Means of the Theory of Planned Behaviour

Purpose – This paper sets out to present a detailed empirical investigation of the entrepreneurial intentions of business students. The authors employ the theory of planned behaviour (TPB), in which intentions are regarded as resulting from attitudes, perceived behavioural control, and subjective norms. Design/methodology/approach – The methodology used was a replication study among samples of undergraduate students of business administration at four different universities (total n 1⁄4 1; 225). Five operationalisations of intentions are used as well as a composite measure. Prior to the main study, qualitative research conducted at two other universities (total n 1⁄4 373) was held to operationalise the components of the TPB. Findings – The results show that the two most important variables to explain entrepreneurial intentions are entrepreneurial alertness and the importance attached to financial security. Research limitations/implications – Various research design features are used that result in better and more detailed explanations of entrepreneurial intentions. Practical implications – Should one want to stimulate entrepreneurship in educational or training settings, then this paper’s results provide guidance. Several suggestions are offered on how entrepreneurial alertness can be improved and financial security concerns can be reduced. Originality/value – The study provides detailed and solid results on entrepreneurial intentions which are positioned in the career literature.
A cyclical evaluation model of information security maturity

! ABSTRACT Purpose The lack of a security evaluation method might expose organizations to several risky situations. This paper aims at presenting a cyclical evaluation model of information security maturity. Design/methodology/approach This model was developed through the definition of a set of steps to be followed in order to obtain periodical evaluation of maturity and continuous improvement of controls. Findings – This model is based on controls present in ISO/IEC 27002, provides a means to measure the current situation of information security management through the use of a maturity model and provides a subsidy to take appropriate and feasible improvement actions, based on risks. A case study is performed and the results indicate that the method is efficient for evaluating the current state of information security, to support information security management, risks identification and business and internal control processes. Research limitations/implications It is possible that modifications to the process may be needed where there is less understanding of security requirements, such as in a less mature organization. Originality/value This paper presents a generic model applicable to all kinds of organizations. The main contribution of this paper is the use of a maturity scale allied to the cyclical process of evaluation, providing the generation of immediate indicators for the management of information security. !
A Linear Approximation Method for Probabilistic Inference

There have been a number of techniques developed in recent years for the efficient analysis of probabilistic inference problems, represented as Bayes' networks or influence diagrams (Lauritzen and Spiegelhalter [9], Pearl [12], Shachter [14]). To varying degrees these methods exploit the conditional independence assumed and revealed in the problem structure to analyze problems in polynomial time, essentially polynomial in the number of variables and the size of the largest state space encountered during the evaluation. Unfortunately, there are many problems of interest for which the variables of interest are continuous rather than discrete, so the relevant state spaces become infinite and the polynomial complexity is of little help.
Design Guidelines for Object-Oriented Deductive Systems

This paper presents a set of design guidelines for the construction of complex, real-world problem-solving systems using a hybrid object-oriented deductive formalism. These guidelines address implementation issues in a multi-paradigm environment. Examples are provided in the context of a large-scale knowledge based system (KBS). >
Model Predictive Control of semi-active and active suspension systems with available road preview

Semi-active and active suspensions influencing the vertical dynamics of vehicles enable improvement of ride comfort and handling characteristics compared to vehicles with passive suspensions. If the road height profile in front of the car is measured using vehicle sensors, more efficient control strategies can be applied. First, regarding vehicles with continuously variable dampers: A Model Predictive Controller incorporating the nonlinear constraints of the damper characteristic is set up and compared to a controller using linear constraints. The approximate linear constraints are obtained by a prediction of passive vehicle behavior over the preview horizon using a linearized model. Additionally, a controller without input constraints and clipping of the damper force is applied. This results in a quadratic program without constraints, which can be solved efficiently. The result of applying the optimal force without constraints is also evaluated, which corresponds to an ideal high bandwidth actuator. Next, two controllers for vehicles with a low bandwidth active suspension and variable dampers are proposed. While the first approach optimizes only the actuator displacement combined with the damper's soft characteristic, the second approach optimizes both the damper force and the actuator displacement. Simulation results of the controllers and the active and semi-active suspensions over real road height profiles are presented.
Decoding the "Free/Open Source (F/OSS) Software Puzzle"a survey of theoretical and empirical contributions

F/OSS software has been described by many as a puzzle. In the past five years, it has stimulated the curiosity of scholars in a variety of fields, including economics, law, psychology, anthropology and computer science, so that the number of contributions on the subject has increased exponentially. The purpose of this paper is to provide a sufficiently comprehensive account of these contributions in order to draw some general conclusions on the state of our understanding of the phenomenon and identify directions for future research. The exercise suggests that what is puzzling about F/OSS is not so much the fact that people freely contribute to a good they make available to all, but rather the complexity of its institutional structure and its ability to organizationally evolve over time. JEL Classification: K11, L22, L23, L86, O31, O34.
Effect of nutrition education intervention based on Pender's Health Promotion Model in improving the frequency and nutrient intake of breakfast consumption among female Iranian students.

OBJECTIVE
To determine the effectiveness of nutrition education intervention based on Pender's Health Promotion Model in improving the frequency and nutrient intake of breakfast consumption among female Iranian students.


DESIGN
The quasi-experimental study based on Pender's Health Promotion Model was conducted during April-June 2011. Information (data) was collected by self-administered questionnaire. In addition, a 3 d breakfast record was analysed. P < 0·05 was considered significant.


SETTING
Two middle schools in average-income areas of Qom, Iran.


SUBJECTS
One hundred female middle-school students.


RESULTS
There was a significant reduction in immediate competing demands and preferences, perceived barriers and negative activity-related affect constructs in the experimental group after education compared with the control group. In addition, perceived benefit, perceived self-efficacy, positive activity-related affect, interpersonal influences, situational influences, commitment to a plan of action, frequency and intakes of macronutrients and most micronutrients of breakfast consumption were also significantly higher in the experimental group compared with the control group after the nutrition education intervention.


CONCLUSIONS
Constructs of Pender's Health Promotion Model provide a suitable source for designing strategies and content of a nutrition education intervention for improving the frequency and nutrient intake of breakfast consumption among female students.
Two faces of narcissism on SNS: The distinct effects of vulnerable and grandiose narcissism on SNS privacy control

This study suggests narcissism as an important psychological factor that predicts one’s behavioral intention to control information privacy on SNS. Particularly, we approach narcissism as a two-dimensional construct—vulnerable and grandiose narcissism—to provide a better understanding of the role of narcissism in SNS usage. As one of the first studies to apply a two-dimensional approach to narcissism in computer-mediated communication, our results show that vulnerable narcissism has a significant positive effect on behavioral intention to control privacy on SNS, while grandiose narcissism has no effect. This effect was found when considering other personality traits, including self-esteem, computer anxiety, and concern for information privacy. The results indicate that unidimensional approaches to narcissism cannot solely predict SNS behaviors, and the construct of narcissism should be broken down into two orthogonal constructs. 2014 Elsevier Ltd. All rights reserved.
Teaching and Research: The Human Capital Paradigm.

The authors analyze why research is rewarded in academic institutions where teaching is the primary concern and suggest why even publication in obscure journals may serve as a measure of the worth of an instructor to teaching institutions.
Improving the detection and prediction of suicidal behavior among military personnel by measuring suicidal beliefs: an evaluation of the Suicide Cognitions Scale.

BACKGROUND
Newer approaches for understanding suicidal behavior suggest the assessment of suicide-specific beliefs and cognitions may improve the detection and prediction of suicidal thoughts and behaviors. The Suicide Cognitions Scale (SCS) was developed to measure suicide-specific beliefs, but it has not been tested in a military setting.


METHODS
Data were analyzed from two separate studies conducted at three military mental health clinics (one U.S. Army, two U.S. Air Force). Participants included 175 active duty Army personnel with acute suicidal ideation and/or a recent suicide attempt referred for a treatment study (Sample 1) and 151 active duty Air Force personnel receiving routine outpatient mental health care (Sample 2). In both samples, participants completed self-report measures and clinician-administered interviews. Follow-up suicide attempts were assessed via clinician-administered interview for Sample 1. Statistical analyses included confirmatory factor analysis, between-group comparisons by history of suicidality, and generalized regression modeling.


RESULTS
Two latent factors were confirmed for the SCS: Unloveability and Unbearability. Each demonstrated good internal consistency, convergent validity, and divergent validity. Both scales significantly predicted current suicidal ideation (βs >0.316, ps <0.002) and significantly differentiated suicide attempts from nonsuicidal self-injury and control groups (F(6, 286)=9.801, p<0.001). Both scales significantly predicted future suicide attempts (AORs>1.07, ps <0.050) better than other risk factors.


LIMITATIONS
Self-report methodology, small sample sizes, predominantly male samples.


CONCLUSIONS
The SCS is a reliable and valid measure that predicts suicidal ideation and suicide attempts among military personnel better than other well-established risk factors.
Problems of Dialect Non-Inclusion in Tshivenḓa Bilingual Dictionary Entries

Tshivenḓa is characterised by a number of dialects which exhibit some linguistic features different from those of other groups. The standard dialect in Tshivenḓa is Tshiphani. This dialect is spoken in the areas of Tshivhase and Mphaphuli. The selection of the Tshiphani as a standard dialect in Tshivenḓa did not cause the other dialects to die out as they are still used by the Vhavenḓa as spoken language. However, there is non-inclusion of dialectal entries in some dictionaries, whereas in others, very few dialectal entries have been included. A lexicographer must always take into consideration that there is a variation in language. Lexicographers should not see the inclusion of non-standard dialects as corrupting the standard language. Tshiphani was superimposed on other dialects. A dictionary is expected to accommodate all dialects of a language because they have equal value in spoken language. It is important for a lexicographer to first carry out research regarding the existence of dialects in a language if one intends to compile a dictionary. This paper seeks to show that it is necessary to include lexicons from non-standard dialects in lexicography works such as bilingual dictionaries because there is no dialect which is better than others. The addition of non-standard dialects in dictionaries will enrich the languages.
Object-oriented design for C++

1. Preface. 2. Data Abstraction. 3. Inheritance. 4. Dynamic Binding. 5. Parametry. 6. Type as Object. 7. Pointers to Member Functions. 8. Design. 9. Case Study-Graphics Editor. 10. A Text Editor: Requirements. 11. Buffers, Sloops, and Yachts. 12. Extending the Text Editor.
Potential effectiveness of three different treatment approaches to improve minimal to moderate arm and hand function after stroke--a pilot randomized clinical trial.

OBJECTIVE
To test a study design and explore the feasibility and potential effects of conventional neurological therapy, constraint induced therapy and therapeutic climbing to improve minimal to moderate arm and hand function in patients after a stroke.


METHOD
A pilot study with six-month follow-up in patients after stroke with minimal to moderate arm and hand function admitted for inpatient rehabilitation was performed. Participants were randomly allocated to one of three treatment approaches. Main outcomes were improvement of arm and hand function and adverse effects.


RESULTS
283 patients with stroke were screened for inclusion over a two-year period, out of which fourtyfour were included. All patients could be treated according to the protocol. Improvement of arm and hand function was significantly higher in conventional neurological therapy and constraint induced therapy compared with therapeutic climbing at discharge, and at six months follow-up (P < 0.05, effect size = 0.56-0.76). No significant differences in arm and hand function were observed between constraint induced therapy and conventional neurological therapy. Constraint induced therapy participants were significantly less at risk of developing shoulder pain at six months follow-up compared with the other participants (P < 0.05, effect size = 0.82 and 1.79, respectively).


CONCLUSIONS
The study design needs adaptation to accommodate the stringent inclusion criteria leading to prolonged study duration. Constraint induced therapy seems to be the optimal approach to improve arm and hand function and minimize the risk of shoulder pain for patients with minimal to moderate arm hand function after stroke in the intermediate term.
A methodology for fitting and validating metamodels in simulation

This expository paper discusses the relationships among metamodels, simulation models, and problem entities. A metamodel or response surface is an approximation of the input/output function implied by the underlying simulation model. There are several types of metamodel: linear regression, splines, neural networks, etc. This paper distinguishes between fitting and validating a metamodel. Metamodels may have different goals: (i) understanding, (ii) prediction, (iii) optimization, and (iv) verification and validation. For this metamodeling, a process with thirteen steps is proposed. Classic design of experiments (DOE) is summarized, including standard measures of fit such as the R-square coefficient and cross-validation measures. This DOE is extended to sequential or stagewise DOE. Several validation criteria, measures, and estimators are discussed. Metamodels in general are covered, along with a procedure for developing linear regression (including polynomial) metamodels.
Should we screen for globin gene mutations in blood samples with mean corpuscular volume (MCV) greater than 80 fL in areas with a high prevalence of thalassaemia?

AIMS
To investigate whether it is worthwhile, in areas where thalassaemia is common, to screen for globin gene mutations in subjects with a mean corpuscular volume (MCV) above 80 fL, especially in partners of known thalassaemia carriers.


METHODS
Blood samples from 95 subjects with MCV between 80 and 85 fL were screened for the presence of alpha globin gene mutations and the haemoglobin (Hb) E mutation.


RESULTS
Thirty four subjects harboured globin gene mutations. Of these, 31 had deletions of one alpha globin gene, one had Hb Constant Spring, and three had Hb E mutations.


CONCLUSION
Based on the above figures and known prevalence rates of thalassaemia carriers, it would seem worthwhile to screen for globin gene mutations in partners of known thalassaemia carriers, regardless of MCV, to identify pregnancies at risk of Hb H disease or Hb E/beta thalassaemia.
A broadband printed bow-tie antenna with a simplified balanced feed

A broadband printed bow-tie antenna with a simplified balanced feeding network and modified tapering is presented. Microstrip and parallel-strip transmission lines printed on the substrate with high dielectric permittivity realize the proposed feeding network. The ground-plane transition between the microstrip line and the parallel-strip line is exponentially tapered so as to reduce the reflection losses and produce a balanced feed for the antenna. This printed bow-tie antenna achieves a 68% measured bandwidth and a stable radiation pattern within the X-band. Commercial FEM software is used for optimization of the bow-tie antenna and the simulation results agree very well with the experiment. © 2005 Wiley Periodicals, Inc. Microwave Opt Technol Lett 47: 534 –536, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.21221
Generalized Analytical Design Equations for Variable Slope Class-E Power Amplifiers

The Class-E power amplifier is widely used because of its high efficiency, resulting from switching at zero voltage and zero slope of the switch voltage. In this paper, we extend our general analytical solutions for the Class-E power amplifier to the ideal single-ended Variable Slope Class-E (Class-EVS) power amplifier which is switching at zero voltage but not necessarily at zero slope. It is shown that a Class-EVS power amplifier can have higher tolerance to switch (transistor) output capacitance compared to the normal Class-E power amplifier; this higher tolerance can be exchanged for higher drain efficiency. The presented design equations for Class-EVS power amplifiers give more degrees of freedom in the design and optimization of switching RF power amplifiers.
Simulation optimization: simulation-based optimization

In this tutorial we present an introduction to simulation-based optimization, which is, perhaps, the most important new simulation technology in the last five years. We give a precise statement of the problem being addressed and also experimental results for two commercial optimization packages applied to a manufacturing example with seven decision variables.
Scalability analysis of three monitoring and information systems: MDS2, R-GMA, and Hawkeye

Monitoring and information system (MIS) implementations provide data about available resources and services within a distributed system, or Grid. A comprehensive performance evaluation of an MIS can aid in detecting potential bottlenecks, advise in deployment, and help improve future system development. In this paper, we analyze and compare the performance of three implementations in a quantitative manner: the Globus Toolkit® Monitoring and Discovery Service (MDS2), the European DataGrid Relational Grid Monitoring Architecture (R-GMA), and the Condor project’s Hawkeye. We use the NetLogger toolkit to instrument the main service components of each MIS and conduct four sets of experiments to benchmark their scalability with respect to the number of users, the number of resources, and the amount of data collected. Our study provides quantitative measurements comparable across all systems. We also find performance bottlenecks and identify how they relate to the design goals, underlying architectures, and implementation technologies of the corresponding MIS, and we present guidelines for deploying monitoring and information systems in practice.