Miracle-dz/UniFAR-FTUs huggingface dataset:
Haemodialysis course is associated to changes in pain threshold and in the relations between arterial pressure and pain.

ANTECEDENTS Arterial pressure is negatively associated to pain perception. OBJECTIVES In this study, pain and the relations between arterial pressure and pain threshold were compared at the beginning and end of the haemodialysis. METHODS 14 patients with chronic renal disease participated in the study. Pain thresholds were evaluated with pressure algometry bilaterally at two tender points: the second rib and the knee. Arterial pressure and pain thresholds were assessed twice: 1) 15 min alter dialysis onset and 2) 30 min before dialysis ended. RESULTS Arterial pressure remains unchanged through the dialysis. The course of dialysis was associated to a decrease in pain threshold in the second left rib and left and right knees. At the beginning of dialysis arterial pressure were uncorrelated with pain, while at the end of the dialysis both systolic and diastolic arterial pressure were strongly associated to pain thresholds (rs between 0.552 and 0.806): increased arterial pressure was associated to lower pain in terms of increased threshold. CONCLUSIONS Haemodialysis is associated to changes in pain sensitivity and in the relationships between arterial pressure and pain, suggesting a modification in the ascending pain inhibition system arising from the cardiovascular system. Possible explanations of this effect include the changes produced by haemodialysis in cognitive-perceptive functions, in autonomic cardiovascular regulation, and in the habituation of stress-related variables.
Web accessibility for people with disabilities: an introduction for Web developers

The article presents an overview of the topic of Web access for people with disabilities. First, we describe the four basic disabilities and explain the benefits of making sites accessible, as well as the reasons that more sites are not accessible. We review the relevant laws regarding Web access, and then discuss efforts being made by vendors and professional organizations, especially Microsoft and the World Wide Web Consortium, to encourage accessibility. Finally, we describe major resources that Web developers might consult to assist them in making their sites accessible to people with disabilities.
VocVille - A Casual Social Game for Learning Vocabulary

This paper introduces Vocville, a causal online game for learning vocabularies. I am creating this application for my master thesis of my career as a "Computervisualist" (computer visions) for the University of Koblenz - Landau. The application is an online browser game based on the idea of the really successful Facebook game FarmVille. The application is seperated in two parts; a Grails application manages a database which holds the game objects like vocabulary, a Flex/Flash application generates the actual game by using these data. The user can create his own home with everything in it. For creating things, the user has to give the correct translation of the object he wants to create several times. After every query he has to wait a certain amount of time to be queried again. When the correct answer is given sufficient times, the object is builded. After building one object the user is allowed to build others. After building enough objects in one area (i.e. a room, a street etc.) the user can activate other areas by translating all the vocabularies of the previous area. Users can also interact with other users by adding them as neighbors and then visiting their homes or sending them gifts, for which they have to fill in the correct word in a given sentence.
Model-based spreadsheet engineering

ion The following definition of abstraction, extracted from (Oxford 2011), should help the reader to understand how this term applies to computer science: Abstract: existing in thought or as an idea but not having a physical or concrete existence. This definition can easily be adapted to computer science: an abstraction is a general, non-concrete concept or idea; it is a classification of instances or objects. A good example of an abstraction is the one of classes in the object-oriented (OO) programming paradigm (Meyer 1997). There, it is possible to define a class representing, for example, animals. In such class, only the characteristics of all animals are represented; one does not specify which animal or even the kind of animal it represents. Then, concrete instance of this class can be defined for concrete animals. Unfortunately, this is not possible to accomplish in a spreadsheet environment. It is only possible to define concrete values, not abstract concepts.
KEY BASED LEAST SIGNIFICANT BIT (LSB) INSERTION FOR AUDIO AND VIDEO STEGANOGRAPHY

Today the security threats through modern malicious technology, confidential information is at risk such as medical records and banking or financial data and military information where the issue of authentication and authorization has become a critical factor. A solution to this problem is steganography which hides the sensitive information inside a medium (text, image, audio and video). This paper proposes how Least Significant Bit (LSB) insertion has been used to hide secret data in both audio and video with the help of key exchange. Diffie Hellman key exchange is considered to enhance the security aspects and also to generate the key based index for LSB insertion. This proposal can reduce the probability of attacks on secret data.
MOVING TOWARD SELF-DIRECTION An Action Plan for Self-Managed Teams

Thawing old attitudes and behaviors may be one of the most difficult aspects of moving to self-directed work teams. If your organization dictates the move to self-direction, a plan for phased-in implementation can make the changeover to this new work style easier. With planning and commitment, self-directed teams can release the energy, drive, and motivation to help your organization reach new levels of accomplishment.
Web-based conferencing: Pedagogical asset or constraint?

Educators are increasingly engaging in innovative practices which use the World Wide Web as a pedagogical tool. One aspect of Web usage which shows promise of enhancing learning is that of Web-based conferencing. This paper describes an intervention in which the authors used a Web-based conferencing tool to promote dialogue within an international community of mathematics educators and prospective school teachers on the nature of mathematics and mathematics learning. Results of the intervention suggested that while benefits of new understandings about mathematics, improved writing, and collaboration did occur, affective outcomes of using a web based tool were often negative. The need to critically assess the pedagogical benefits of web based conferencing, both cognitive and affective, is discussed, and implications for practice are outlined.
Examining the Pattern of Response Behavior in a Media Model

A note submitted to Management Science by Lodish [Lodish, L. M. 1975. A note on modelling the relationship of diminishing returns to media overlap for the media planning problem. Management Sci. 22 (1, September) 111–116. ] comments on a media model previously published in this journal [Zufryden, F. S. 1973. Media scheduling: a stochastic dynamic model approach. Management Sci. 19 (16, August) 1305–1406. ]. Here, in turn, comments are made on the Lodish note. Also, in contradiction to implications of the note, empirical examples based upon both hypothetical and actual media exposure data are given. These illustrate that the media model may in fact approximate aggregate response behavior quite well for the purpose of practical applications even though it does not explicitly consider individual audience overlap patterns.
A survey of energy-aware real time scheduling tools

This paper gives a brief survey on the existing simulation tools that are available to further investigate the performances of energy-aware real time scheduling algorithms. The previous work from Y. Chandarli et.al, suggested four properties for a r eal time scheduling tools to become a reference tool by the real time scheduling community. This paper compares the properties of the most recent real time scheduling tools considering to the above mentioned properties from simulation software perspective. Programming language is one of the important properties that influence the popularity of these tools. This criteria is compared between these tools. Java language is observed to dominate the development of these simulation tools.
Project characteristics and group communication: an investigation

The research study presented examined the effects of technological complexity on project group communication. The same project teams performed three separate projects involving the development of an HTML Website, the development of a local area network (LAN), and the development of blueprints for a wide-area network (WAN). Each of the projects exposed groups to a different level of complexity. The results of the study indicated differences in group information sharing, group communication focus, and group gatekeeping activities. In each of these cases, the groups had greater communication with the less complex project task, the HTML project. The study did not find significant differences in group communication concerned with member withdrawal or group conflict.
An Effective Multi-domain Facial Feature Based Improved FRS

Biometrics is a readily available metric that is playing a vital role in face recognition. There are many domain areas for the features extractionsuch as frequency measures, geometrical measures and statistical measures. In the proposed Face Recognition System (FRS)the extraction of features are done using frequency and statistics measures. The FFT,DCT, variation, standard deviation, mean, median and entropy are the five features extracted from the ORL dataset for recognition process. A local normalization technique is applied to the extracted features. The training and testing are performed with normalized features using Back PropagationNeural Network (BPNN).
Design and Implementation for Multi-Level Cell Flash Memory Storage Systems

The flash memory management functions of write coalescing, space management, logical-to-physical mapping, wear leveling, and garbage collection require significant on-going computation and data movement. MLC flash memory also introduces new challenges: (1) Pages in a block must be written sequentially. (2) Information to indicate a page being obsolete cannot be recorded in its spare area. This paper designs an MLC Flash Translation Layer (MFTL) for flash-memory storage systems which takes new constraints of MLC flash memory and access behaviors of file system into consideration. A series of trace driven simulations is conducted to evaluate the performance of the proposed scheme. Our experiment results show that the proposed MFTL outperforms other related works in terms of the number of extra page writes, the number of total block erasures, and the memory requirement for the management. Keywords-Flash memory; MFTL; MLC; BAST; FAST. I. INTRODUCTION Flash memory chips are constructed from different types of cells (NOR and NAND), and with different numbers of cells per memory location (single-level cell or SLC; and multi-level cell or MLC). These variations result in very different performance, cost, and reliability characteristics. NOR flash memory chips have much lower density, much lower bandwidth, much longer write and erase latencies, and much higher cost than NAND flash memory chips. For these reasons, NOR flash has minimal penetration in enterprise deployments; it is primarily used in consumer devices. Leading enterprise solid state drives (SSDs) are all designed with NAND flash. Another distinction in flash memory is SLC versus MLC. MLC increases density by storing more than a single bit per memory cell. With their increased density, the cost of MLC flash chips is roughly half that of SLC, but the MLC write bandwidth is about 2 times worse than SLC, and MLC supports from 3 to 30 times fewer erase cycles than SLC. A new generation of SSDs incorporates special firmware that closes the performance and durability gap between SLC and MLC. Flash-memory storage systems are normally organized inlayers, as shown in Figure. 1.
A study on the role of relational information processes and technology usage in customer relationship management(CRM) in the State Tax Organization (Case study: Tehran office of VAT)

This study deals with the role of relational information processes and technology usage in customer relationship management CRM in The State Tax Organization. It is based on the applied design and for the nature of the data collection, it is descriptive. The population of this study consists of experts in General Dept. of VAT in Tehran. Random sampling was used for selecting the data after considering Morgan – Kerjesi table. For data analysis, the structural equation model and path analysis was used in particular.The results showed that customer orientation is associated with the use of technology of CRM and customer management system based on relational data processing, environment technology of environment, and using the customer contact technologies. CRM has a significant positive impact on customer relationship performance. Also, there is no meaningful effects by the orientation of customer relationship on relational data processing, and Customer Management System CRM on the usage, CRM technology, the environment dynamics, the information processing relational and relational data processing, and the performance of customer relationships. Normal 0 false false false RU X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Обычная таблица"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0cm; line-height:115%; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin;}
A Survey on Mobile Cloud Computing with Embedded Security Considerations

The emergence of cloud computing hold a promise to computing where software is provided as a services (SaaS) via the Internet. Mobile cloud computing integrates cloud computing with mobile devices. By this architecture, certain challenges (e.g., battery life, storage, and bandwidth) of mobile devices are addressed. Cloud computing provides the foundation for mobile cloud computing through the delivery of services, software, storage and computational capacity over the Internet, thereby reducing cost, increasing storage, improving battery life of mobile devices and providing flexibility and mobility of data and information. However, the realization of some of these benefits is far from reality in mobile applications, as a result, opens new areas of research such as security of privacy and services. To better understand how to facilitate the development of mobile cloud computing, we surveyed existing work in mobile cloud computing in the context and principles of its foundational cloud computing technology. We provided a definition of mobile cloud computing and gave a summary of results from this review, in particular, the models, architecture, applications and challenges of mobile cloud computing. We concluded with recommendations for how this better understanding of mobile cloud computing can assist in the development of better and stronger mobile applications.
61.2: Eye Movements During Visual and Auditory Task Performance

The primary focus of this research effort was the tracking of eye movements during complex cognitive tasks. 8 volunteers performed a visual tracking task alone and a combination of the visual task and the auditory Paced Serial Addition Task (PASAT). Results showed a reduction in range on the order of 50% for eye movements and an increase in variability of vergence eye movements during the dual‐task. This change can be characterized as visual tunneling.
Voice mail and media richness theory-a longitudinal study

Work by R.L. Daft, R.H. Lengel and L. Trevino (1987) in media richness theory (MRT) is being used as a major reference in the study of MRT and the place of the new media within the dimension of MRT. There is a gap in the work of Daft and Lengel: lack of analysis of the scale of equivocality. There is no evidence of the unidimensionality of the scale used to measure equivocality. Consequently there is no certainty in its use as a means of measuring equivocality. This gap can be filled by development of a reliable and uni-dimensional equivocality scale through multidimensional approaches. To demonstrate the use of multidimensional approaches the paper presents a longitudinal case study of the introduction of voice mail in an organisation. The study developed an equivocality scale under the guidance of the work of Daft and Lengel. <<ETX>>
Discovery of Web User Session Clusters Using Partition Based Clustering Techniques

The explosive growth of World Wide Web (WWW) has necessitated the development of Web personalization systems in order to understand the user preferences to dynamically serve customized content to individual users. To reveal information about user preferences from Web usage data, Web Usage Mining (WUM) techniques are extensively being applied to the Web log data. Clustering techniques are widely used in WUM to capture similar interests and trends among users accessing a Web site. Clustering aims to divide a data set into groups or clusters where inter-cluster similarities are minimized while the intra cluster similarities are maximized. This paper describes the discovery of user session clusters using the two most popular partition based clustering techniques namely kMeans and k-Medoids. These techniques are implemented and tested against the Web user navigational data. Performance and validity results of each technique are presented and compared.
NPSNET: Four user interface paradigms for entity control in a virtual world

The Department of Computer Science, Naval Postgraduate School, has been researching networked shared environments for the last four years. The NPSNET series, our current family of virtual worlds, emphasizes ground-based and low-flying networked entity simulation. We have developed four distinct user interface paradigms for NPSNET (keyboard with mouse, dial/button box, SpaceBall, stick and throttle), the choices governed by available equipment, the entity to be controlled, the purpose of the virtual world, sponsor request, and previous experience. Each paradigm has strengths and weaknesses for different purposes and entities. A wide spectrum of users has provided feedback on the various paradigms, under learning conditions ranging from training in our laboratory, minimal instruction at demonstrations like SIGGRAPH '91 and '93, and a user's guide provided with the software distribution. NPSNET has served as a networked game, surrogate crew station, analytical model display, out-the-window and sensor display, and command and control tool. Different users and operational platforms demand different interfaces. From these varied user experiences, we have developed anecdotal guidelines for developing virtual world interfaces. This paper examines the
TOWARDS MORE EFFICIENT DELAY MEASUREMENTS ON THE INTERNET

As more applications rely on distributed systems (peer-to-peer services, content distribution networks, cloud services), it becomes necessary to identify hosts that return content to the user with minimal delay. A large scale map of delays would aid in solving this problem. Existing methods, which deploy devices to every region of the Internet or use of a single vantage point have yet to create such a map. While services such as PlanetLab offer a distributed network for measurements, they only cover 0.3% of the Internet. The focus of our research is to increase the speed of the single vantage point approach so that it becomes a feasible solution. We evaluate the feasibility of performing large scale measurements by performing an experiment using more hosts than any previous study. First, an efficient scanning algorithm is developed to perform the measurement scan. We then find that a custom Windows network driver is required to overcome bottlenecks in the operating system. After developing a custom driver, we perform a measurement scan larger than any previous study. Analysis of the results reveals previously unidentified drawbacks to the existing architectures and measurement methodologies. We propose novel methods for increasing the speed of experiments, improving the accuracy of measurement results, and reducing the amount of traffic generated by the scan. Finally, we present architectures for performing an Internet scale measurement scan. We found that with custom drivers, the Windows operating system is a capable platform for performing large scale measurements. Scan results showed that in the eleven years since the original measurement technique was developed, the response patterns it relied upon had changed from what was expected. With our suggested improvements to the measurement algorithm and proposed scanning architectures, it may be possible to perform Internet scale measurement studies in the future. ii
Verification of Pipelined Ciphers

The purpose of this thesis is to explore the formal verification technique of completion functions and equivalence checking by verifying two pipelined cryptographic circuits, KASUMI and WG ciphers. Most of current methods of communications either involve a personal computer or a mobile phone. To ensure that the information is exchanged in a secure manner, encryption circuits are used to transform the information into an unintelligible form. To be highly secure, this type of circuits is generally designed such that it is hard to analyze. Due to this fact, it becomes hard to locate a design error in the verification of cryptographic circuits. Therefore, cryptographic circuits pose significant challenges in the area of formal verification. Formal verification use mathematics to formulate correctness criteria of designs, to develop mathematical models of designs, and to verify designs against their correctness criteria. The results of this work can extend the existing collection of verification methods as well as benefiting the area of cryptography. In this thesis, we implemented the KASUMI cipher in VHDL, and we applied the optimization technique of pipelining to create three additional implementations of KASUMI. We verified the three pipelined implementations of KASUMI with completion functions and equivalence checking. During the verification of KASUMI, we developed a methodology to handle the completion functions efficiently based on VHDL generic parameters. We implemented the WG cipher in VHDL, and we applied the optimization techniques of pipelining and hardware re-use to create an optimized implementation of WG. We verified the optimized implementation of WG with completion functions and equivalence checking. During the verification of WG, we developed the methodology of “skipping” that can decrease the number of verification obligations required to verify the correctness of a circuit. During the verification of WG, we developed a way of applying the completion functions approach such that it can deal with a circuit that has been optimized with hardware re-use.