ppxscal/embedding_network huggingface dataset:
Empirical user studies inform the design of an e-notetaking and information assimilation system for students in higher education
Authors: Yolanda Jacobs Reimer, Erin Brimhall, Chen Cao, Kevin O'Reilly
Venue: Computers Education (2009)

The research presented in this paper reaches towards a better theoretical understanding of how students in higher education currently take notes, how this process is evolving in the digital age to include information assimilation, and the kinds of support students need to be successful with their changing academic tasks. To gain insight into these questions, we triangulated three major and distinct user studies. First we interviewed 70 university students from various disciplines across campus, and we administered questionnaires to these same students, receiving back a total of 68. Our second study was based on participant observation whereby we ''shadowed'' 32 university students for 2-3h each as they went about their normal academic business around campus. Lastly, we conducted a broader-based questionnaire with 280 students from a wider campus demographic than our first survey. We sought a diverse population for our research, and were able to include students from the disciplines of Business, English, Computer Science, Chemistry, Psychology, Pharmacy and Biology in one or more of the studies. We discovered how closely students are connected to technology and how they are adapting to changing expectations, current issues they have completing their academic tasks, how they view traditional notetaking versus electronic notetaking, and evidence that they are engaging more and more in the process of information assimilation. From these results, we conclude that students in higher education might accomplish certain tasks more effectively and efficiently with a well-designed software system that provides access to a centralized set of notes from different locations on campus and beyond. After identifying functional requirements for the system we envision, we preview our initial low-fidelity prototypes, and discuss feedback we gathered on these designs from a set of user focus groups.
Important properties of planar normal tiling
Authors: Hao Li
Venue: Proceedings of the 3rd WSEAS international conference on Circuits, systems, signal and telecommunications (2009)

This paper obtains some important properties of planar normal tiling and gives a purely combinatorial proof for Grünbaum's Theorem.
Context Dependant Mobile Interfaces for Collaboration in Extreme Environment
Authors: Bernard Pavard, Fabrice Gourbault, Cedric Mouton
Venue: Mobile Response: Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers (2009)

The aim of this paper is to describe a wireless cooperative system that has been specifically designed to improve medical collaboration in a degraded environment such as battle field, crisis or major disaster. We will focus on three points: the structural field data analysis we used to specify the interface, the multi agent and virtual reality simulation platforms we used in order to assess the usability of the cooperative technology and the final field test where we ran an operational scenario to assess the system.
A brain mechanism for facilitation of insight by positive affect
Authors: Karuna Subramaniam, John Kounios, Todd B. Parrish, Mark Jung-Beeman
Venue: Journal of Cognitive Neuroscience (2009)

Previous research has shown that people solve insight or creative problems better when in a positive mood (assessed or induced), although the precise mechanisms and neural substrates of this facilitation remain unclear. We assessed mood and personality variables in 79 participants before they attempted to solve problems that can be solved by either an insight or an analytic strategy. Participants higher in positive mood solved more problems, and specifically more with insight, compared with participants lower in positive mood. fMRI was performed on 27 of the participants while they solved problems. Positive mood (and to a lesser extent and in the opposite direction, anxiety) was associated with changes in brain activity during a preparatory interval preceding each solved problem; modulation of preparatory activity in several areas biased people to solve either with insight or analytically. Analyses examined whether (a) positive mood modulated activity in brain areas showing responsivity during preparation; (b) positive mood modulated activity in areas showing stronger activity for insight than noninsight trials either during preparation or solution; and (c) insight effects occurred in areas that showed mood-related effects during preparation. Across three analyses, the ACC showed sensitivity to both mood and insight, demonstrating that positive mood alters preparatory activity in ACC, biasing participants to engage in processing conducive to insight solving. This result suggests that positive mood enhances insight, at least in part, by modulating attention and cognitive control mechanisms via ACC, perhaps enhancing sensitivity to detect non-prepotent solution candidates.
Deploying Open Source IP Telephony in Rural Environments
Authors: Lambros Lambrinos
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

In the current era of advanced telecommunications and the Voice-over-IP revolution, areas lacking modern telephony facilities are still commonplace. In this paper we propose an architecture that utilises open source software and other technologies to provide enhanced telephony services in a rural community. Using a wireless network infrastructure we interconnect our SIP-based telephony exchange with the IP phones and the adaptors installed at various locations enabling seamless internal communication. Connectivity to the normal telephone network is facilitated through a satellite link and a number of analogue lines. A pilot implementation has provided some interesting findings and pinpointed some issues. We discuss potential ways of resolving those issues and enhancing our infrastructure even further.
Security, privacy and the information processing system
Authors: Kenneth Orr, Jerry Hammett Daniel B. MaGraw Andrew O. Atkinson, Mark Gitenstein
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

With the publishing of the report of the Health, Education and Welfare Secretary's Committee, "Records, Computers and Rights of Citizens," on personal data systems the question of the individual's right to privacy and methods of securing this right have taken on even greater importance to the information processing committee. The panelists will attempt to define security and privacy and to draw the distinction which makes them both severable and related. In the past it has been a contention that security of systems is a panacea to the protection of privacy. It is the contention of some of the panelists that this is not necessarily the correct assumption.
Three Selfish Spanning Tree Games
Authors: Laurent Gourvès, Jérôme Monnot
Venue: Proceedings of the 4th International Workshop on Internet and Network Economics (2008)

We study a problem in a network. The input is an edge-weighted graph G&thinsp;=&thinsp;(V,E) such that V contains a specific source node r. Every v&thinsp;&isin;&thinsp;V&thinsp;∖&thinsp;{r} is an entity which wants to be connected to r either directly or via other entities. The main question is how do the entities deviate from a socially optimal network if they are not monitored by a central authority. We provide theoretical bounds on the (strong) price of anarchy of this game. In particular, three variants &ndash; each of them being motivated by a practical situation &ndash; are studied.
Cryptanalysis and improvement on Yang-Shieh authentication schemes
Authors: Jie Liu, Lei Fan, Jianhua Li
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

Yang and Shieh proposed two password authentication schemes based on smart cards. The best merit of their schemes is that the remote server can verify a login user without any prior knowledge except a login request message. Unfortunately, some security weaknesses had been found and kinds of attacks were presented later. Although some improvements were proposed to fix those weaknesses, part of these improvements need the remote server to maintain verification tables and the other improvements were proved insecure either. In this paper, we will propose two improved schemes that can withstand all existed attacks while keeping the best merit of the original schemes. The remote server in our improved schemes is still able to verify a login user only by a request message.
Association Rule Based Context Modeling for Web Service Discovery
Authors: Wenge Rong, Kecheng Liu, Lin Liang
Venue: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services (2008)

Web service is essential in achieving dynamic business process. With the dramatically increased number of web services advertised in UDDI, Web Portal or Internet, how to locate the best web service according to a user's requirement is becoming more and more important, which calls for efficient and effective web service discovery mechanism. Considerable efforts have been attained in solving this problem among them semantic based approaches show encouraging result. However, when several semantically equivalent web service candidates are returned by matchmaking process, how to discern which one is the most suitable one is a real challenge. This paper presents a framework by which provider's context and user's context has been explored to help understand the real need of a user. This framework uses association rule for context modeling of provider and user from web service composition perspective. After modeling context, a ranking service is invoked to compare web service candidates with user's requirement and then the best suitable potential web service will be selected.
Quantitative approach on image fusion evaluation
Authors: Zhengmao Ye, Hua Cao, Sitharama Iyengar, Habib Mohamadian
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

Image registration and fusion are conducted using an automated approach, which applies automatic adaptation from frame to frame with the threshold parameters. Rather than qualitative approach, quantitative measures have been proposed to evaluate outcomes of image fusion. Concepts of the discrete entropy, discrete energy, mutual information and information redundancy have been introduced. Both Canny Edge Detector and control point identification are employed to extract retinal vasculature using the adaptive exploratory algorithms. The shape similarity criteria have been used for control point matching. The Mutual-Pixel-Count maximization based optimal procedure has also been developed to adjust the control points at the sub-pixel level. Then the global maxima equivalent result has been derived by calculating Mutual-Pixel-Count local maxima. Both cases of image fusion practices are satisfactory whose testing results are evaluated on a basis of information theories.
Revisiting read wear: analysis, design, and evaluation of a footprints scrollbar
Authors: Jason Alexander, Andy Cockburn, Stephen Fitchett, Carl Gutwin, Saul Greenberg
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

In this paper, we show that people frequently return to previously-visited regions within their documents, and that scrollbars can be enhanced to ease this task. We analysed 120 days of activity logs from Microsoft Word and Adobe Reader. Our analysis shows that region revisitation is a common activity that can be supported with relatively short recency lists. This establishes an empirical foundation for the design of an enhanced scrollbar containing scrollbar marks that helps people return to previously visited document regions. Two controlled experiments show that scrollbar marks decrease revisitation time, and that a large number of marks can be used effectively. We then design an enhanced Footprints scrollbar that supports revisitation with several features, including scrollbar marks and mark thumbnails. Two further experiments show that the Footprints scrollbar was frequently used and strongly preferred over traditional scrollbars.
Real-time distributed all-fiber strain-sensing system
Authors: Yiming Zhong, Qing Shi, Tongtong Zhang, Shutong Zhou, Fuyun Lv
Venue: Proceedings of the 2008 International Conference on Advanced Infocomm Technology (2008)

This work presents a real-time distributed all-fiber strain-sensing system based on Fabry-Perot (F-P) interferometric sensors using hollow-core photonic band-gap fiber (HCPBF), which is demodulated by Fast Fourier Transform and the signals are detected through GPIB access utilizing LabVIEW software. The difference of pulse shifts to different sensors makes possible a simple and direct method of measuring the cavity length of HCPBF sensors, which in turn can be used to measure phase change and the corresponding strain. Based on a various advantages of HCPBF, the system holds an improved performance on high sensitivity and real-time measurement.
System-level power estimation using an on-chip bus performance monitoring unit
Authors: Youngjin Cho, Younghyun Kim, Sangyoung Park, Naehyuck Chang
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

In this paper we propose an on-chip bus PMU which makes accurate estimates of system power consumption from a first-order linear power model by utilizing system-level activity information exchanged on the on-chip bus. It can easily be customized for different on-chip and off-chip memory devices, and is not dependent on a specific CPU core. We model memory devices using energy state machines, describe them in XML, and use that description automatic synthesis of the PMU. We compare the short-term accuracy of the proposed PMU with a cycle-accurate system-level power estimator, and assess its long-term accuracy with a real hardware prototype. Experimental results show that the the power estimation deviates less than 5% from real measurements.
SVM Based Classification Mapping for User Navigation
Authors: Jing-Ling Yuan, Yang Yu, Xuan Xiao, Xiao-Yan Li
Venue: International Journal of Distributed Sensor Networks (2009)

In order to implement active service, a kind of user navigation based on Support Vector Machine (SVM) classification was proposed which solved many traditional problems such as lack of rules and adaptability and so on. Especially, this paper completed a dual classified coordination between user attribute classification and SVM user classification using mapping matrix. In our SVM based user navigation, we first regard User interest Set as input, then apply the SVM classifier to sort out users on the basis of their interests or attributes, and what is more, combine the merit that user attributes classification promise better service being offered to users whose using frequency is not high, a dual-classified collaborating navigation between user attribute classification, and SVM user classification by using mapping matrix is being proposed. We use the mapping method to mix their advantages of common classification methods which lead them to collaborate and to provide the new and old custom with navigation. Using Classification T to statistic the latest and the most frequently used demands of each user type, then applying a mapping from user attribute class (A) to user interest class (T) with the purpose to judge what kind of user type in Classification T has the most possibility the user might belong, to and then to provide the user with the latest services according to their interests. From the experiments, the fitting degree of A and T classification and the true personality of users are derived by tracking the demand of 50 users. We can see that with the increase of frequency in use, the matching degree between Users Attribute Classification (A) and real types of user are essentially the same, and User Personalized Classification (T) is gradually reaching saturation. Regarding the certain point as a dividing line, after using classification mapping, the user's true extent of matching has a broader applicability. SVM have excellent generalization performance and minimum structural risk, which is a good machine learning method that elicits objective regulation from complex statistical dates. So we have improved the user model of active service navigation system and user navigation combined with User Attribute Classification A and SVM User Interest Classification T by mapping matrix. Classification A and T using mapping matrix to bounding them can satisfy the requirement of a different user. The records in the Classified Statistic Library can provide feedback date and research information for further study between a personalized user and user attribute.
LTL Generalized Model Checking Revisited
Authors: Patrice Godefroid, Nir Piterman
Venue: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2008)

Given a 3-valued abstraction of a program (possibly generated using static program analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks whether there exists a concretization of that abstraction that satisfies the formula. In this paper, we revisit generalized model checking for linear time (LTL) properties. First, we show that LTL GMC is 2EXPTIME-complete in the size of the formula and polynomial in the model, where the degree of the polynomial depends on the formula, instead of EXPTIME-complete and quadratic as previously believed. The standard definition of GMC depends on a definition of concretization which is tailored for branching-time model checking. We then study a simpler linear completeness preorder for relating program abstractions. We show that LTL GMC with this weaker preorder is only EXPSPACE-complete in the size of the formula, and can be solved in linear time and logarithmic space in the size of the model. Finally, we identify classes of formulas for which the model complexity of standard GMC is reduced.
Intel® atom™ processor core made FPGA-synthesizable
Authors: Perry H. Wang, Jamison D. Collins, Christopher T. Weaver, Blliappa Kuttanna, Shahram Salamian, Gautham N. Chinya, Ethan Schuchman, Oliver Schilling, Thorsten Doil, Sebastian Steibl, Hong Wang
Venue: Proceeding of the ACM/SIGDA international symposium on Field programmable gate arrays (2009)

We present an FPGA-synthesizable version of the Intel Atom processor core, synthesized to a Virtex-5 based FPGA emulation system. To make the production Atom design in SystemVerilog synthesizable through industry standard EDA tool flow, we transformed and mapped latches in the design, converted clock gating, and replaced nonsynthesizable constructs with FPGA-synthesizable counterparts. Additionally, as the target FPGA emulator is hosted on a PC platform with the Pentium-based CPU socket that supports a significantly different front side bus (FSB) protocol from that of the Atom processor, we replaced the existing bus control logic in the Atom core with an alternate FSB protocol to communicate with the rest of the PC platform. With these efforts, we succeeded in synthesizing the entire Atom processor core to fit within a single Virtex-5 LX330 FPGA. The synthesizable Atom core runs at 50Mhz on the Pentium PC motherboard with fully functional I/O peripherals. It is capable of booting off-the-shelf MS-DOS, Windows XP and Linux operating systems, and executing standard x86 workloads.
Control of dermatology image integrity using reversible watermarking
Authors: Imen Fourati Kallel, Mohamed Salim Bouhlel, Jean-Christophe Lapayre, Eric Garcia
Venue: International Journal of Imaging Systems and Technology (2009)

As advanced melanoma remains practically incurable, early surgical excision is an important step toward a reduction in mortality. For that, the dermatologists always encouraged the detection of the nevus at an early stage. In recent years, a considerable interest has arisen in the development of noninvasive tools to improve early diagnosis, many new technical operation using a telecommunication network allow practitioners to perform in real time a relevant diagnosis. Because of the open environment of web-based applications, their exploitation in medical field introduces many security concerns. In this article, we present DECOPREME (COllaborative PREcocious DEtection of Melanoma) a new project which allows practitioners to use telecommunication technologies to provide early diagnosis. We describe, after that, our proposed reversible watermarking method used for integrity verification, we also evaluate image visual quality after watermark embedding and the effectiveness of locating tampered regions. &copy; 2009 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 19, 5&ndash;9, 2009
Video mobile communication: a memory-based approach
Authors: Moshe Porat
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Multimedia information is becoming a major part of today's communication, as used over the Internet and mobile applications. As a result, the increasing amount of information transmitted via band-limited channels has to be handled in an efficient manner to avoid congestion and delays. In this work, an efficient approach to multimedia data transmission is proposed. Its main assumption is that in many situations the multimedia data could be decomposed into basic components that have been used in the past to represent future data. To illustrate the capabilities of the proposed approach, a compression system for video transmission is proposed and tested. Experimental results show a high compression ratio of over 100:1, obtaining almost lossless visual reproduction, with a signal-to-noise ratio higher than 1000. The proposed approach can be also applied to other components of the multimedia stream, such as audio. Our conclusion is that memory-based compression could be an efficient means in mobile communication.
Discrete Laplace operators: no free lunch
Authors: Max Wardetzky, Saurabh Mathur, Felix Kälberer, Eitan Grinspun
Venue: ACM SIGGRAPH ASIA 2008 courses (2008)

Discrete Laplace operators are ubiquitous in applications spanning geometric modeling to simulation. For robustness and efficiency, many applications require discrete operators that retain key structural properties inherent to the continuous setting. Building on the smooth setting, we present a set of natural properties for discrete Laplace operators for triangular surface meshes. We prove an important theoretical limitation: discrete Laplacians cannot satisfy all natural properties; retroactively, this explains the diversity of existing discrete Laplace operators. Finally, we present a family of operators that includes and extends well-known and widely-used operators.
Molecular modeling and dynamics simulation of human cyclin-dependent kinase 3 complexed with inhibitors
Authors: Patrícia Cardoso Perez, Rafael A. Caceres, Fernanda Canduri, Walter Filgueira de Azevedo,  Jr.
Venue: Computers in Biology and Medicine (2009)

The complex CDK3-cyclin is involved in the control of the progression of G0. While the mechanisms governing early and late G1 progression are well understood, very little is known about the G0-G1 transition. Human CDK3 is closely related to cyclin-dependent kinase 2 (CDK2). Since there is no crystallographic structure of human CDK3, this work describes for the first time a molecular model of human CDK3 complexed with several inhibitors. Comparison of the binary complexes with different inhibitors strongly indicates that those inhibitors should inhibit CDK3 as well as CDK2.