nils-herrmann/clean_scirepeval huggingface dataset:
Efficient Verifiable Computation of Linear and Quadratic Functions over Encrypted Data
Venue: AsiaCCS

In data outsourcing, a client stores a large amount of data on an untrusted server; subsequently, the client can request the server to compute a function on any subset of the data. This setting naturally leads to two security requirements: confidentiality of input data, and authenticity of computations. Existing approaches that satisfy both requirements simultaneously are built on fully homomorphic encryption, which involves expensive computation on the server and client and hence is impractical. In this paper, we propose two verifiable homomorphic encryption schemes that do not rely on fully homomorphic encryption. The first is a simple and efficient scheme for linear functions. The second scheme supports the class of multivariate quadratic functions, by combining the Paillier cryptosystem with a new homomorphic message authentication code (MAC) scheme. Through formal security analysis, we show that the schemes are semantically secure and unforgeable.
Harnessing marketing automation for B2B content marketing

The growing importance of the Internet to B2B customer purchasing decisions has motivated B2B sellers to create digital content that leads potential buyers to interact with their company. This trend has engendered a new paradigm referred to as 'content marketing. This study investigates the organizational processes for developing valuable and timely content to meet customer needs and for integrating content marketing with B2B selling processes. The results of this single case study demonstrate the use of marketing automation to generate high quality sales leads through behavioral targeting and content personalization. The study advances understanding of the organizational processes that support content marketing and shows how content marketing can be combined with B2B selling processes via marketing automation in ways that achieve business benefits.
Knowledge Management Practices and Organizational Performance in Malaysia Government Institution

Knowledge management (KM) is the process of managing and empowering knowledge assets optimally for organizational excellence. The purpose of this study is to investigate the practice of KM and organizational performance at one leading organization in implementing modernization strategies for Malaysian public services. In this study, there are four factors of KM practices namely; culture, structure, people and technology, which were based on the literature survey. A questionnaire was used as the main instrument in gathering data, and a total of 82 respondents were involved in this survey. Descriptive statistics using mean and standard deviation were performed to analyze the data. The results of the study revealed that information technology infrastructure factor scored the highest mean and followed by cultural issues, structural issues and people (human resource) which are all factors that scores at medium high level (mean 3.68 to 3.39) The result also showed that the level of organizational performance is at medium high level in the organization, with an overall mean score of 3.59. This study will provide some worthy thoughts of how organizations should organize to manage the competitive knowledge to ensure organizational effectiveness and performance. The results may also be used as a stepping stone for further empirical research on KM Practices in the public sector to enhance the initiatives within departments, teams or organization.
Constrained maximum likelihood modal parameter identification applied to structural dynamics

A new modal parameter estimation method to directly establish modal models of structural dynamic systems satisfying two physically motivated constraints will be presented. The constraints imposed in the identified modal model are the reciprocity of the frequency response functions (FRFs) and the estimation of normal (real) modes. The motivation behind the first constraint (i.e. reciprocity) comes from the fact that modal analysis theory shows that the FRF matrix and therefore the residue matrices are symmetric for non gyroscopic, non circulatory, and passive mechanical systems. In other words, such types of systems are expected to obey Maxwell Betti's reciprocity principle. The second constraint (i.e. real mode shapes) is motivated by the fact that analytical models of structures are assumed to either be undamped or proportional damped. Therefore, normal (real) modes are needed for comparison with these analytical models. The work done in this paper is a further development of a recently introduced modal parameter identification method called ML MM that enables us to establish modal model that satisfies such motivated constraints. The proposed constrained ML MM method is applied to two real experimental datasets measured on fully trimmed cars. This type of data is still considered as a significant challenge in modal analysis. The results clearly demonstrate the applicability of the method to real structures with significant non proportional damping and high modal densities.
O uso do Business Intelligence (BI) em sistema de apoio a tomada de decisao estrategica

As transformacoes no mundo competitivo promoveram mudancas organizacionais, exigindo a inovacao de produtos e negocios. Com isso, a tecnologia da informacao se tornou aliada estrategica das organizacoes na forma de gerenciar os negocios. Este artigo relata o resultado da pesquisa bibliografica com base nos dez ultimos anos, de 2006 a 2015 nas bases Scopus e Scielo, alem das pesquisas realizadas em sites de revistas e congressos nacionais e internacionais. A pesquisa tem como objetivo central abordar a importancia da adocao do BI como uma ferramenta de apoio a tomada de decisao. Dentre os objetivos e resultados apresentados estao os beneficios do "business intelligence" (BI) e as fases de implementacao de um sistema BI. O artigo ressalta os resultados da pesquisa e da conclusao, tal como a necessidade do processamento de informacoes corretas e alinhadas aos objetivos estrategicos, pois a qualidade destas informacoes tem um papel fundamental para a determinacao de cenarios que possam auxiliar o processo de tomada de decisao e consequentemente promover inteligencia e vantagem competitiva, agregando valor ao negocio e a organizacao. Sao apresentadas as fases da implementacao do BI.
Components of a multi perspective modeling method for designing and managing IT security systems
Venue: Inf. Syst. E Bus. Manag.

Information technology (IT) security design and management are a major concern and substantial challenge for IT management. Today's highly complex business and technological environments and the need to effectively communicate and justify IT security requirements and controls demand methodical support. The modeling method presented in this paper addresses this demand. The method is based on the assumption that enriched enterprise models integrating technological, business, organizational and strategic aspects provide an effective foundation for developing and managing IT security systems and facilitating communication and understanding between stakeholders. The proposed modeling method for designing and managing IT security in organizations accounts for different perspectives and is based on multi perspective enterprise modeling. The core components of the method, based on analysis of requirements at different levels of abstraction, are: modeling language concepts specifically designed to address security issues, process models that guide the use of the resulting language, and a modeling environment. The method facilitates elaborate representations of the various aspects of IT security at different levels of abstraction and covers the entire lifecycle of IT security systems. It not only supports multi perspective requirement analysis and design but also enables monitoring and analysis of IT security at runtime. The presented artifact is evaluated with recourse to a research method that enables the configuration of multi criteria justification procedures.
Designing a Process for Identifying and Managing the Benefits of Mobile Enterprise Applications in the Insurance Industry
Venue: SAICSIT '16

Mobile applications have not only become commonplace for consumers for use in countless daily functions, they are also becoming essential in a business context. The deployment of these mobile enterprise applications in organizations have been shown to provide benefits however, history also shows that benefits from IT innovations are often over promised and under delivered. Managing these benefits becomes essential in order to realize the return on the investment required to build and implement mobile applications. This paper uses literature to inform the design of a benefit management process in an insurance company and also to identify the potential benefits and barriers from the use of mobile enterprise applications in a short term insurance context. This design forms the start of an Action design research study.
Slotted Permanent Magnet Machines: General Analytical Model of Magnetic Fields, Torque, Eddy Currents, and Permanent Magnet Power Losses Including the Diffusion Effect
Venue: IEEE Transactions on Magnetics

This paper presents an exact analytical subdomain model of slotted permanent magnet (PM) machines, taking into account the diffusion effect. The model gives the magnetic fields, both the eddy currents and the power losses in the PM, the instantaneous and average torque. In the model, eddy currents are not assumed to be resistance limited, contrary to what is done in the conventional exact subdomain models of the slotted machines. The model is hence general and valid both at low and high frequencies. It shows that it is possible to calculate the power losses in the PMs, only knowing the fields in the air gap. The model takes into account the presence of tooth tips. The comparison with conventional exact subdomain models shows that the model presented in this paper is more accurate. The model is validated using the finite element methods.
Modeling and Identification of a Solid Core Active Magnetic Bearing Including Eddy Currents
Venue: IEEE/ASME Transactions on Mechatronics

Eddy currents are evident in solid core active magnetic bearings (AMBs) but they are omitted in the commonly used models, leading to a significant error between the analytical model and the real system. Based on the magnetic circuit method, this paper presents an analytical model including the eddy current effects of a solid core AMB under both current drive and voltage drive, after setting up the relationship between the magnetic force and the effective reluctance. A half order term is induced in the effective reluctance due to eddy currents, turning the analytical model to fractional order. The effective reluctance only appears in the coefficient of the s2 term, and affects the system dynamics under current and voltage drives distinctively. The half order term changes the order of the model from 2 to 2.5 under current drive, whereas the order of the model is not changed and is still kept 3 under voltage drive. System identification of a solid core AMB verifies the proposed models, which indicates that the voltage drive can effectively reduce the eddy current effects compared with the current drive. In addition, although the solid core AMB shows fractional order characteristics, it can be described well with an integer order model under voltage drive. As a result, the voltage drive is a more reasonable choice to a solid core AMB, since it avoids the complex fractional order modeling and control.
A Mobile App Development Guideline for Hospital Settings: Maximizing the Use of and Minimizing the Security Risks of "Bring Your Own Devices" Policies
Venue: JMIR mHealth and uHealth

Hospitals today are introducing new mobile apps to improve patient care and workflow processes. Mobile device adoption by hospitals fits with present day technology behavior; however, requires a deeper look into hospital device policies and the impact on patients, staff, and technology development. Should hospitals spend thousands to millions of dollars to equip all personnel with a mobile device that is only used in a hospital environment? Allowing health care professionals to use personal mobile devices at work, known as bring your own device (BYOD) has the potential to support both the hospital and its employees to deliver effective and efficient care.  The objectives of this research were to create a mobile app development guideline for a BYOD hospital environment, apply the guideline to the development of an in house mobile app called TaskList, pilot the TaskList app within Boston Children's Hospital (BCH) and refine the guideline based on the app pilot. TaskList is an Apple operating system (iOS) based app designed for medical residents to monitor, create, capture, and share daily collaborative tasks associated with patients.  To create the BYOD guidelines, we developed TaskList that required the use of mobile devices among medical resident. The TaskList app was designed in four phases: (1) mobile app guideline development, (2) requirements gathering and developing of TaskList fitting the guideline, (3) deployment of TaskList using BYOD with end users, and (4) refinement of the guideline based on the TaskList pilot. Phase 1 included understanding the existing hospital BYOD policies and conducting Web searches to find best practices in software development for a BYOD environment. Phase 1 also included gathering subject matter input from the Information Services Department (ISD) at BCH. Phase 2 involved the collaboration between the Innovation Acceleration Program at BCH, the ISD Department and the TaskList Clinical team in understanding what features should be built into the app. Phase 3 involved deployment of TaskList on a clinical floor at BCH. Lastly, Phase 4 gathered the lessons learned from the pilot to refine the guideline.  Fourteen practical recommendations were identified to create the BCH Mobile Application Development Guideline to safeguard custom applications in hospital BYOD settings. The recommendations were grouped into four categories: (1) authentication and authorization, (2) data management, (3) safeguarding app environment, and (4) remote enforcement. Following the guideline, the TaskList app was developed and then was piloted with an inpatient ward team.  The Mobile Application Development guideline was created and used in the development of TaskList. The guideline is intended for use by developers when addressing integration with hospital information systems, deploying apps in BYOD health care settings, and meeting compliance standards, such as Health Insurance Portability and Accountability Act (HIPAA) regulations.
The Origins of Pauline Theology: Paratexts and Priscillian of Avila's Canons on the Letters of the Apostle Paul
Venue: New Testament Studies

Pauline theology is a well established undertaking in modern New Testament studies, and yet it is almost entirely without precedent prior to the nineteenth century. This article explores the enterprise of Pauline theology by considering an important and overlooked exception to its otherwise exclusively modern provenance: Priscillian of Avila's fourth century Canons on the Letters of the Apostle Paul. The key to Priscillian's dogmatic synthesis of Paul's thought was his innovative 'versification' of Paul's letters, which facilitated efficient citation and cross referencing of epistolary data. This article uses Priscillian's literary creation to examine the intriguing correlation of technologies for ordering textual knowledge with the systematic abstraction of Pauline theology.
Theology and the (post )apartheid university: Mapping discourses, interrogating transformation

This article examines the specific position of Theology at South African universities, following the recent developments on campuses that catapulted the urgency for greater commitment to radical transformation in higher education to public attention. A large corpus of material is generated on theological education as such, but the major question is rarely thematised as the transformation of Theology at public universities in (post )apartheid South Africa. This article addresses the nature of the challenge by following a distinct approach. Ten major discourses in the wider reflection on theological education are identified and interpreted as avenues to achieve three aims: to convey the unique challenge for Theology, to give historical texture to issues conventionally addressed a politically in Theology and to forward an interpretation of 'transformation' for Theology that emphasises its multi layered nature
Chemical imaging of stained glass windows by means of macro X ray fluorescence (MA XRF) scanning

Since the recent development of a mobile setup, MA XRF scanning proved a valuable tool for the non invasive, technical study of paintings. In this work, the applicability of MA XRF scanning for investigating stained glass windows inside a conservation studio is assessed by analysis of a high profile, well studied late mediaeval panel. Although accurate quantification of components is not feasible with this analytical imaging technique, plotting the detected intensities of K versus Ca in a scatter plot allowed distinguishing glass fragments of different compositional types within the same panel. In particular, clusters in the Ca/K correlation plot revealed the presence of two subtypes of potash glass and three subtypes of high lime low alkali glass. MA XRF results proved consistent with previous quantitative SEM EDX analysis on two samples and analytical based theories on glass production in the Low Countries formulated in literature. A bi plot of the intensities of the more energetic Rb K versus Sr K emission lines yielded a similar glass type differentiation and is here presented as suitable alternative in case the Ca/K signal ratio is affected by superimposed weathering crusts. Apart from identification of the chromophores responsible for the green, blue and red glass colors, contrasting the associated elemental distribution maps obtained on the exterior and interior side of the glass permitted discriminating between colored pot metal glass and multi layered flashed glass as well. Finally, the benefit of obtaining compositional information from the entire surface, as opposed to point analysis, was illustrated by the discovery of what appears to be a green cobalt glass a feature that was previously missed on this well studied stained glass window, both by connoisseurs and spectroscopic sample analysis.
Closed loop shape control of a Haptic Jamming deformable surface
Venue: 2016 IEEE International Conference on Robotics and Automation (ICRA)

A Haptic Jamming tactile display, consisting of an array of thin particle jamming cells, can change its shape and mechanical properties simultaneously through a combination of vacuuming individual cells, pressurizing the air chamber beneath the surface, and pinning the nodes between the cells at various heights. In previous particle jamming devices for haptics and soft robotics, shape has typically been commanded open loop or manipulated directly by a human user. A new algorithm was designed for the three types of actuation inputs for a Haptic Jamming surface, using the depth map provided by an RGB D sensor as shape feedback for closed loop control to match a desired surface input. To test the closed loop control accuracy of the system, a mass spring model of the Haptic Jamming device generated three unique surface shapes as desired inputs into the controller with a mean height range of 25.1 mm. The average correlation coefficient between the desired input shape and the experimental output generated by the controller on the actual device across four trials for each shape was 0.88, with an average height error of 2.7 mm. When the desired input surface is generated from a 3D model of an object that a Haptic Jamming surface cannot necessarily re create, the difference between the input and the output increases substantially. However, simulation of a larger array suggests that a Haptic Jamming surface can provide a compelling match for these more complicated shapes.
Optimized load planning for motorail transportation
Venue: Comput. Oper. Res.

This paper studies a real world problem arising in the area of motorail transportation. The considered problem deals with the loading of cars and motorcycles onto motorail wagons under realistic technical and legal constraints. The load planning problem, introduced as motorail transportation problem (MTP) occurs during the booking process and afterwards during the loading process at motorail terminals. Optimization based decision support is highly valuable due to the combinatorial nature of these problems. In practical applications, the fast generation of good solutions is essential. Previous model formulations in literature reveal considerable optimality gaps in real world instances. Hence, we propose and evaluate two novel integer linear programming formulations of the MTP. The first formulation is a simplified reformulation of the original problem, uses less variables and provides a tighter LP relaxation. The second model is a column generation formulation of the reformulated model which is solved using branch and price. Both novel model formulations are compared and evaluated on the basis of real world data sets and considerably outperform previous approaches in terms of solution quality and speed. HighlightsThe real world problem of loading vehicles onto motorail wagons is studied.Two novel formulations of the problem are proposed.New formulations provide a tighter LP relaxation than the original problem formulation.Computational comparisons between all formulations.
Exploring Individuals' Well being Visiting Urban and Peri Urban Green Areas: A Quantile Regression Approach

Environmental conditions affect the individuals' quality of life as well as physical, psychological and social well being. Green areas play a key role in improving well being perceived by the citizens in urban contexts. The direct and indirect experience with nature helps to reduce psychophysical stress, induces positive emotions, and facilitates renewal of cognitive resources. An example of this is represented by Pinus pinea L. (Italian stone pine) forests located within or around urban areas. These pinewoods were originally diffused in Mediterranean region to produce wood, pine kernels for alimentary purposes and in coastal areas to protect dunes and agricultural territories. However, land use change and coastal urbanization modified their principal functions: while productive function has been gradually reduced, they become important elements of the urban landscape contributing to human well being with a wide range of cultural services. With increasing interest in the use of urban green space to promote human health, it is interesting to analyze if and to what extent different natural settings, as well as restoration components influence well being by disentangling the effect on physical and psychological benefits. The aim of this paper is to explore the effect of experience variables and restoration components on individuals' physical and psychological well being. A quantile regression approach was used for data analysis. This approach allows us to understand what happens throughout the entire distribution of psychological and physical well being reported by visitors of pinewoods and, in particular, at its extremes. Our results show that the effect of the selected covariates is different both throughout the distribution of the dependent variable and between psychological and physical subjective well being.