nils-herrmann/clean_scirepeval huggingface dataset:
FoDRA — A new content-based job recommendation algorithm for job seeking and recruiting

In this paper, we propose a content-based recommendation Algorithm which extends and updates the Minkowski distance in order to address the challenge of matching people and jobs. The proposed algorithm FoDRA (Four Dimensions Recommendation Algorithm) quantifies the suitability of a job seeker for a job position in a more flexible way, using a structured form of the job and the candidate's profile, produced from a content analysis of the unstructured form of the job description and the candidate's CV. We conduct an experimental evaluation in order to check the quality and the effectiveness of FoDRA. Our primary study shows that FoDRA produces promising results and creates new prospects in the area of Job Recommender Systems (JRSs).
Design, modeling and simulation of a green building energy system

Traditional buildings consume more of the energy resources than necessary and generate a variety of emissions and waste. The solution to overcoming these problems will be to build them green and smart. One of the significant components in the concept of smart green buildings is using renewable energy. Solar energy and wind energy are intermittent sources of energy, so these sources have to be combined with other sources of energy or storage devices. While batteries and/or supercapacitors are an ideal choice for short-term energy storage, regenerative hydrogen-oxygen fuel cells are a promising candidate for long-term energy storage. This paper is to design and test a green building energy system that consists of renewable energy, energy storage, and energy management. The paper presents the architecture of the proposed green building energy system and a simulation model that allows for the study of advanced control strategies for the green building energy system. An example green building energy system is tested and simulation results show that the variety of energy source and storage devices can be managed very well.
Information diffusion among users on Facebook fan pages over time: Its impact on movie box office

In this work, we investigate the impact of social influence of a Facebook fan page on movie box offices. We aim to enhance the accuracy of predicting the box office by leveraging the social influence among users in the fan page. We develop the Global Influence Model to compute the user influence and predict the engagements between the fan page and users. In addition, we propose the Linear Box Office Revenue Prediction Model to bridge the gap between Facebook fan pages and the box offices by utilizing the social influence and some statistics obtained from Facebook fan pages. By considering the social influence, the accuracy of forecasting box offices for movies can be improved significantly.
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications

For the foreseeable future, industrial hardware design will continue to use both simulation and model checking in the design verification process. To date, these techniques are applied in isolation using different tools and methodologies, and different formulations of the problem. This results in cumulative high cost and little (if any) cross-leverage of the individual advantages of simulation and formal verification. With the goal of effectively and advantageously exploiting the co-existence of simulation and model checking, we have developed a tool called FoCs (”Formal Checkers”). FoCs, implemented as an independent component of the RuleBase toolset, takes RCTL1 properties as input and translates them into VHDL programs (”checkers”) which are integrated into the simulation environment and monitor simulation on a cycle-by-cycle basis for violations of the property. Checkers, also called Functional Checkers, are not a new concept: manuallywritten checkers are a traditional part of simulation environments (cf. . Checkers facilitate massive random testing, because they automate test results analysis. Moreover, checkers facilitate the analysis of intermediate results, and therefore save debugging effort by identifying problems directly ”as they happen”, and by pointing more accurately to the source of the problems. However, the manual writing and maintenance of checkers is a notoriously high-cost and labor-intensive effort, especially if the properties to be verified are complex temporal ones. For instance, in the case of a checker for a design with overlapping transactions (explained in Section 3), writing a checker manually is an excruciating error-prone effort. Observing the inefficient process of manual checker writing in ongoing IBM projects has inspired the development of FoCs, as a means for automatically generating checkers from formal specifications. For each property of the specification, represented as an RCTL formula, FoCs generates a checker for simulation. This checker essentially implements a state machine which will enter an error
How Software Process Improvement Helped Motorola

n many companies, the Capability Maturity Model 1 plays a major role in defining software process improvement. Frequently, organizations contemplating software process improvement (SPI) seek assurances that tangible benefits will result from such activities. Pockets of data across industry 2 show that CMM-based process improvement is making a difference in those organizations committed to improvement. Raytheon yielded a twofold increase in its productivity and a return ratio of 7.7 to 1 on its improvement expenditures, for a 1990 savings of $4.48 million from a $0.58 million investment. Over a period of four and a half years, from mid-1988 to the end of 1992, the company eliminated $15.8 million in rework costs. Many organizations are using or considering the Capability Maturity Model as a vehicle for software process improvement. But does the CMM provide real benefits? The authors offer metrics and data that show the results of Motorola's CMM usage.
Impact of Outlier Removal and Normalization Approach in Modified k-Means Clustering Algorithm

Clustering technique is mainly focus on pattern recognition for further organizational design analysis which finds groups of data objects such that objects in a group are similar to one another and dissimilar from the objects in the other group. It is important to preprocess data due to noisy data, errors, inconsistencies, outliers and lack of variable values. Different data preprocessing techniques like cleaning method, outlier detection, data integration and transformation can be carried out before clustering process to achieve successful analysis. Normalization is an important preprocessing step in Data Mining to standardize the values of all variables from dynamic range into specific range. Outliers can significantly affect data mining performance, so outlier detection and removal is an important task in wide variety of data mining applications. k-Means is one of the most well known clustering algorithms yet it suffers major shortcomings like initialize number of clusters and seed values preliminary and converges to local minima. This paper analyzed the performance of modified k-Means clustering algorithm with data preprocessing technique includes cleaning method, normalization approach and outlier detection with automatic initialization of seed values on datasets from UCI dataset repository.
Business-to-Consumer Electronic Commerce: A Longitudinal Study

The objective of this study is to investigate the factors affecting online shopping. A model explaining the impact of different factors on online shopping intentions and behavior is developed based on the T h e o p of Planned Behavior. The model is then tested empirically in a longitudinal study with two surveys. Data collected from 705 consumers indicate that subjective norms, attitude, and beliefs concerning the consequences of online shopping have significant effects on consumers' intentions to buy online. Behavioral control and intentions significantly influenced online shopping behavior. The results also provide strong support f o r the positive effects of personal innovativeness on attitude and intentions to shop online. The implications of the findings f o r theon, and practice
Segmentation and analysis of the human airway tree from three-dimensional X-ray CT images

The lungs exchange air with the external environment via the pulmonary airways. Computed tomography (CT) scanning can be used to obtain detailed images of the pulmonary anatomy, including the airways. These images have been used to measure airway geometry, study airway reactivity, and guide surgical interventions. Prior to these applications, airway segmentation can be used to identify the airway lumen in the CT images. Airway tree segmentation can be performed manually by an image analyst, but the complexity of the tree makes manual segmentation tedious and extremely time-consuming. We describe a fully automatic technique for segmenting the airway tree in three-dimensional (3-D) CT images of the thorax. We use grayscale morphological reconstruction to identify candidate airways on CT slices and then reconstruct a connected 3-D airway tree. After segmentation, we estimate airway branchpoints based on connectivity changes in the reconstructed tree. Compared to manual analysis on 3-mm-thick electron-beam CT images, the automatic approach has an overall airway branch detection sensitivity of approximately 73%.
Mobile Networks Connected Drones: Field Trials, Simulations, and Design Insights

Drones are becoming increasingly used in a wide variety of industries and services and are delivering profound socioeconomic benefits. Technology needs to be in place to ensure safe operation and management of the growing fleet of drones. Mobile networks have connected tens of billions of devices on the ground in the past decades and are now ready to connect the flying drones in the sky. In this article, we share some of our findings in cellular connectivity for low altitude drones. We first present and analyze field measurement data collected during drone flights in a commercial Long-Term Evolution (LTE) network. We then present simulation results to shed light on the performance of a network when the network is serving many drones simultaneously over a wide area. The results, analysis, and design insights presented in this article help enhance the understanding of the applicability and performance of mobile network connectivity to low altitude drones.
Enhanced vector calibration of load-pull measurement systems

This paper presents an alternative approach to improving the vector measurement accuracy, especially near the edge of the Smith Chart, of load-pull measurement systems. Improved measurement accuracy, after vector calibration, is achieved by exploiting the load-pull capability during calibration to minimize the impact of measurement errors on the raw data of the calibration standards before it is utilized in the traditionally implemented LRL/TRL calibration algorithm. This approach eliminates the need to utilize complex optimization algorithms post calibration. The proposed method has been tested and applied to actual measurement data.
Velocity and Acceleration Cones for Kinematic and Dynamic Constraints on Omni-Directional Mobile Robots

We consider the problems of kinematic and dynamic constraints, with actuator saturation and wheel slippage avoidance, for motion planning of a holonomic three-wheeled omni-directional robot. That is, the motion planner must not demand more velocity and acceleration at each time instant than the robot can provide. A new coupled non-linear dynamics model is derived. The novel concepts of Velocity and Acceleration Cones are proposed for determining the kinematic and dynamic constraints. The Velocity Cone is based on kinematics; we propose two Acceleration Cones, one for avoiding actuator saturation and the other for avoiding wheel slippage. The wheel slippage Acceleration Cone was found to dominate. In practical motion, all commanded velocities and accelerations from the motion planner must lie within these cones for successful motion. Case studies, simulations, and experimental validations are presented for our dynamic model and controller, plus the Velocity and Acceleration Cones.
Integrating customer relationship management in hotel operations : managerial and operational implications

As travelers are becoming more price sensitive, less brand loyal and more sophisticated, Customer Relationship Management (CRM) becomes a strategic necessity for attracting and increasing guests’ patronage. Although CRM in hospitality has overstated the importance of ICT, it is now widely recognised that successful CRM implementation should effectively combine and align ICT functionality with business operations. Given the lack of a widely accepted framework for CRM implementation, this paper proposed a model for managing and integrating ICT capabilities into CRM strategies and business processes. The model argues that successful CRM implementation requires the management and alignment of three managerial processes: ICT, relationship (internal and external) and knowledge management. The model is tested by gathering data from Greek hotels, while findings provide useful practical implications and suggestions for future research.
The new new product development game Stop running the relay race and take up rugby

In today's fast-paced, fiercely competitive world of commercial new product development, speed and flexibility are essential. Companies are increasingly realizing that the old, sequential approach to developing new products simply won't get the job done. Instead, companies in Japan and the United States are using a holistic method—as in rugby, the ball gets passed within the team as it moves as a unit up the field. This holistic approach has six characteristics: built-in instability, self-organizing project teams, overlapping development phases, "multilearning," subtle control, and organizational transfer of learning. The six pieces fit together like a jigsaw puzzle, forming a fast and flexible process for new product development, fust as important, the new approach can act as a change agent: it is a vehicle for introducing creative, market-driven ideas and processes into an old, rigid organization. Mr. Takeuchi is an associate professor and Mr. Nonaka, a professor at Hitotsubashi University in fapan. Mr. Takeuchi's research has focused on marketing and global competition. Mr Nonaka has published widely in Japan on organizations, strategy, and marketing. The rules of the game in new product development are changing. Many companies have discovered that it takes more than the accepted basics of high quality, lov^ cost, and differentiation to excel in today's competitive market. It also takes speed and flexibility. This change is reflected in the emphasis companies are placing on new products as a source of new sales and profits. At 3M, for example, products less than five years old account for 25%* of sales. A 1981 survey of 700 U.S. companies indicated that new products would account for one-third of all profits in the 1980s, an increase from one-fifth in the 1970s.' This new emphasis on speed and flexibility calls for a different approach for managing new product development. The traditional sequential or "relay race" approach to product developmentexemplified by the National Aeronautics and Space Administration's phased program planning (PPP) system-may conflict with the goals of maximum speed and flexibility. Instead, a holistic or "rugby" approach-where a team tries to go the distance as a unit, passing the ball back and forth-may better serve today's competitive requirements. Under the old approach, a product development process moved like a relay race, with one group of functional specialists passing the baton to the next group. The project went sequentially from phase to phase: concept development, feasibility testing, product design, development process, pilot produc-
A Declarative Approach to Data-Driven Fact Checking

Fact checking is an essential part of any investigative work. For linguistic, psychological and social reasons, it is an inherently human task. Yet, modern media make it increasingly difficult for experts to keep up with the pace at which information is produced. Hence, we believe there is value in tools to assist them in this process. Much of the effort on Web data research has been focused on coping with incompleteness and uncertainty. Comparatively, dealing with context has received less attention, although it is crucial in judging the validity of a claim. For instance, what holds true in a US state, might not in its neighbors, e.g., due to obsolete or superseded laws. In this work, we address the problem of checking the validity of claims in multiple contexts. We define a language to represent and query facts across different dimensions. The approach is non-intrusive and allows relatively easy modeling, while capturing incompleteness and uncertainty. We describe the syntax and semantics of the language. We present algorithms to demonstrate its feasibility, and we illustrate its usefulness through examples.
Face-Selective Cells in the Temporal Cortex of Monkeys

The notion of a neuron that responds selectively to the image of a particular complex object has been controversial ever since Gross and his colleagues reported neurons in the temporal cortex of monkeys that were selective for the sight of a monkey's hand (Gross, Rocha-Miranda, & Bender, 1972). Since that time, evidence has mounted for neurons in the temporal lobe that respond selectively to faces. The present paper presents a critical analysis of the evidence for face neurons and discusses the implications of these neurons for models of object recognition. The paper also presents some possible reasons for the evolution of face neurons and suggests some analogies with the development of language in humans.
Software Architecture in Practice (Second Edition)

Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless. Reading, for some people become a need that is to do every day such as spending time for eating. Now, what about you? Do you like to read a book? Now, we will show you a new book enPDFd software architecture in practice second edition that can be a new way to explore the knowledge. When reading this book, you can get one thing to always remember in every reading time, even step by step.
A highly sensitive hydrogen sensor with gas selectivity using a PMMA membrane-coated Pd nanoparticle/single-layer graphene hybrid.

A polymer membrane-coated palladium (Pd) nanoparticle (NP)/single-layer graphene (SLG) hybrid sensor was fabricated for highly sensitive hydrogen gas (H2) sensing with gas selectivity. Pd NPs were deposited on SLG via the galvanic displacement reaction between graphene-buffered copper (Cu) and Pd ion. During the galvanic displacement reaction, graphene was used as a buffer layer, which transports electrons from Cu for Pd to nucleate on the SLG surface. The deposited Pd NPs on the SLG surface were well-distributed with high uniformity and low defects. The Pd NP/SLG hybrid was then coated with polymer membrane layer for the selective filtration of H2. Because of the selective H2 filtration effect of the polymer membrane layer, the sensor had no responses to methane, carbon monoxide, or nitrogen dioxide gas. On the contrary, the PMMA/Pd NP/SLG hybrid sensor exhibited a good response to exposure to 2% H2: on average, 66.37% response within 1.81 min and recovery within 5.52 min. In addition, reliable and repeatable sensing behaviors were obtained when the sensor was exposed to different H2 concentrations ranging from 0.025 to 2%.
Factors influencing the Cloud Computing adoption in Higher Education Institutions of Punjab, Pakistan

Cloud Computing is one of the most important trend and newest area in the field of information technology in which resources (e.g. CPU and storage) can be leased and released by customers through the Internet in an on-demand basis. The adoption of Cloud Computing in Education and developing countries is real an opportunity. Although Cloud computing has gained popularity in Pakistan especially in education and industry, but its impact in Pakistan is still unexplored especially in Higher Education Department. Already published work investigated in respect of factors influencing on adoption of cloud computing but very few investigated said analysis in developing countries. The Higher Education Institutions (HEIs) of Punjab, Pakistan are still not focused to discover cloud adoption factors. In this study, we prepared cloud adoption model for Higher Education Institutions (HEIs) of Punjab, a survey was carried out from 900 students all over Punjab. The survey was designed based upon literature and after discussion and opinions of academicians. In this paper, 34 hypothesis were developed that affect the cloud computing adoption in HEIs and tested by using powerful statistical analysis tools i.e. SPSS and SmartPLS. Statistical findings shows that 84.44% of students voted in the favor of cloud computing adoption in their colleges, while 99% supported Reduce Cost as most important factor in cloud adoption.
Forward kinematics and workspace analysis of a 3-RPS medical parallel robot

The paper addresses the analysis of forward kinematics of a 3-DOF medical parallel robot with R-P-S (Revolute-Prismatic-Spherical) joint structure using MATLAB/Simulink. Forward kinematics is solved numerically using Newton-Kantorovich (N-K) method and then is verified with a 1:1 CAD model through SimMechanics Toolbox from MATLAB/Simulink. Also the workspace of the robot is determined through forward kinematics equations.
Smart World of Internet of Things (IoT) and Its Security Concerns

Due to increasing number of internet users, popularity of Broadband Internet also increasing. Hence the connection cost should be decrease due to Wi Fi connectivity and built-in sensors in devices as well the maximum number of devices should be connected through a common medium. To meet all these requirements, the technology so called Internet of Things is evolved. Internet of Things (IoT) can be considered as a connection of computing devices like smart phones, coffee maker, washing machines, wearable device with an internet. IoT create network and connect "things" and people together by creating relationship between either people-people, people-things or things-things. As the number of device connection is increased, it increases the Security risk. Security is the biggest issue for IoT at any companies across the globe. Furthermore, privacy and data sharing can again be considered as a security concern for IoT. Companies, those who use IoT technique, need to find a way to store, track, analyze and make sense of the large amounts of data that will be generated. Few security techniques of IoT are necessary to implement to protect your confidential and important data as well for device protection through some internet security threats.
Crime and Punishment : An Economic Approach

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use.