ppxscal/embedding_network huggingface dataset:
Tight Enforcement of Information-Release Policies for Dynamic Languages
Authors: Aslan Askarov, Andrei Sabelfeld
Venue: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium (2009)

This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what can be released by an application and where in the code this release may take place and (ii) tight and modular enforcement by hybrid mechanisms that combine monitoring with on-the-fly static analysis for a language with dynamic code evaluation and communication primitives. The policy framework and enforcement mechanisms support both termination-sensitive and insensitive security policies.
Bridging the uncanny: an impossible traverse?
Authors: A. Tinwell, M. Grimshaw
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

This paper proposes that increasing technological sophistication in the creation of realism for human-like virtual characters is matched by increasing technological discernment on the part of the viewer. One of the goals for achieving a realism that is believable for virtual characters is to overcome the Uncanny Valley where perceived eeriness or familiarity are rated against perceived human-likeness. Empirical evidence shows the uncanny can be applied to virtual characters, yet implies a more complex picture than the shape of a deep valley with a sharp gradient as depicted in Mori's original plot of the Uncanny Valley. Our results imply that: (1) perceived familiarity is dependent upon a wider range of variables other than appearance and behaviour; and (2) for realistic, human-like characters, the Uncanny Valley is better replaced with the notion of an Uncanny Wall because the Uncanny Valley, as a concept, is not fully supported by the empirical evidence but, more importantly as a standard for creating human-like realism, is an impossible traverse.
The strategic knowledge-based dependency diagrams: a tool for analyzing strategic knowledge dependencies for the purposes of understanding and communicating
Authors: Sameh Al-Natour, Hasan Cavusoglu
Venue: Information Technology and Management (2009)

The role of knowledge in organizations has been conceptualized in ways that range from viewing it as a primary input to the production process, to offering a knowledge-based view of the whole organization. While divergent in their approaches, the differing views increasingly emphasize the role of inter-functional and inter-organizational knowledge linkages in determining the performance of a firm (Grant and Baden-Fuller in J Manag Stud 41(1):61---84, 2004). This paper offers a conceptualization of these linkages in what is termed a knowledge dependency. Adopting the view of knowledge as the primary organizational resource (Grant in Strateg Manag J 17(Winter Special Issue):109---122, 1996), we use ideas and concepts from the resource dependency theory (Pfeffer and Salancik in The external control of organizations: a resource dependence perspective, 1978) and knowledge transformation cycle (Carlile and Rebentisch in Manag Sci 49(9):1180---1195, 2003) to identify relevant constructs and relationships needed to model these knowledge dependencies. Building on a number of already established modeling techniques, we propose a new modeling grammar that explicitly captures the appropriation of knowledge in activities needed to realize the identified goals, and the knowledge flows between the different actors in an application domain. The resulting script (strategic knowledge-based dependency diagram) is a conceptual model that aids in the analysis stage preceding the design of an information system that supports knowledge-based processes across organizations.
Integration of WiFi and WiMAX-Mesh Networks
Authors: Navid Ghazisaidi, Hossein Kassaei, M. Saeed Bohlooli
Venue: Proceedings of the 2009 Second International Conference on Advances in Mesh Networks (2009)

As one of the promising applications of IEEE 802.16 (WiMAX) WMANs is to provide backhaul (infrastructure) support for IEEE 802.11 (WiFi) WLANs based mobile hotspots, integrating IEEE 802.16 and IEEE 802.11 is definitely an attractive and inevitable challenge. In this paper we present a novel architecture for integrating IEEE 802.16-mesh with IEEE 802.11. Indeed this architecture adds the mesh capability to the already existing integrated WMAN-WLAN networks. Integrated WiFi-WiMAX and WiFi-WiMAX-mesh networks are simulated and their performance is compared and discussed in terms of not only throughput and delay but also packet loss. We show that the mesh architecture has indeed superior performance due to the inherent properties of mesh networking paradigm.
Augmenting Gesture Animation with Motion Capture Data to Provide Full-Body Engagement
Authors: Pengcheng Luo, Michael Kipp, Michael Neff
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large and flexible gesture set. This paper presents a hybrid system that combines motion capture data with a procedural animation system for arm gestures. Procedural approaches are well suited to supporting a large and easily modified set of gestures, but are less adept at producing subtle, full body movement. Our system aligns small motion capture samples of lower body movement, and procedurally generated spine rotation, with gesture strokes to create convincing full-body movement. A combined prediction model based on a Markov model and association rules is used to select these clips. Given basic information on the stroke, the system is fully automatic. A user study compares three cases: the model turned off, and two variants of our algorithm. Both versions of the model were shown to be preferable to no model and guidance is given on which variant is preferable.
A Reliability Measurement Method for Service in Grid
Authors: Yunfa Li, Pengliu Tan
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

The reliability of service is related to the kind and the number of service resources in grid. The kind and the number of service resources often change, so the service reliability is variable. In this paper, we propose a reliability measurement model for service in grid, which is based on the dynamic characteristic of service resource. In this model, the dynamic state of service is divided into a series of relative stabilized states, and the difference of each relative stabilized state denotes a change of the service resource in the kind or the number, we propose three index values, namely the reliability of service, the mathematical expectation of reliability and the mean square deviation of reliability, to measure the reliability quality of service. In order to show the feasibility and the availability of this method, a case study is described. The results show that it is feasible and efficient to measure the reliability of service in grid
Lattice Constant Prediction of A2BB'O6 Type Double Perovskites
Authors: Abdul Majid, Muhammad Farooq Ahmad, Tae-Sun Choi
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

Researchers are taking interest in the computational prediction models to efficiently predict the structure of perovskites. we are using Support Vector Regression, Artificial Neural Network, Multiple Linear Regression and SPuDS program based approaches in predicting the lattice constants (LC) of double perovskites of A2BB'O6-type. These prediction models correlate the LC to atomic parameters i.e., size of ionic radii, electro-negativity, and oxidation state. These models are developed using training data. Their performance is then estimated for validation data. To investigate the generalization capability, 48 new perovskites are also collected from recent literature. Analysis shows that SVR based proposed models are more accurate and generalized, reducing the prediction error effectively.
Research of pH Characteristics and Control Algorithm in Lincomycin's Fermentation Process
Authors: Liguo Zhai, Wei Long, Nie Huijuan
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

For the pH control in lincomycin fermentation is non-linear, heavy lag and time varying, With the advantages of a small overshoot, small oscillation, easy to regulate the parameters and extension, the fuzzy control should be rigorously tested and practiced to get the satisfied control result. Otherwise, it will be presented as typical Bang Bang control, and the system is not stable. a new controller to regulate ammonia addition speed was constructed according to fuzzy control algorithm. With the advantages of a small overshoot, small oscillation, easy to regulate the parameters and extension, the fuzzy control should be rigorously tested and practiced to get the satisfied control result. The simulation analysis showed that the fuzzy controller was very effective with good performance on anti-lag and anti-interference, especially suitable for the regulation of parameters with heavy lag and strong interference.
Cube Testers and Key Recovery Attacks on Reduced-Round MD6 and Trivium
Authors: Jean-Philippe Aumasson, Itai Dinur, Willi Meier, Adi Shamir
Venue: Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers (2009)

CRYPTO 2008 saw the introduction of the hash function MD6 and of cube attacks, a type of algebraic attack applicable to cryptographic functions having a low-degree algebraic normal form over GF(2). This paper applies cube attacks to reduced round MD6, finding the full 128-bit key of a 14-round MD6 with complexity 222 (which takes less than a minute on a single PC). This is the best key recovery attack announced so far for MD6. We then introduce a new class of attacks called cube testers, based on efficient property-testing algorithms, and apply them to MD6 and to the stream cipher Trivium. Unlike the standard cube attacks, cube testers detect nonrandom behavior rather than performing key extraction, but they can also attack cryptographic schemes described by nonrandom polynomials of relatively high degree. Applied to MD6, cube testers detect nonrandomness over 18 rounds in 217 complexity; applied to a slightly modified version of the MD6 compression function, they can distinguish 66 rounds from random in 224 complexity. Cube testers give distinguishers on Trivium reduced to 790 rounds from random with 230 complexity and detect nonrandomness over 885 rounds in 227, improving on the original 767-round cube attack.
Taking advantage of metadata semantics: the case of learning-object-based lesson graphs
Authors: Olivier Motelet, Nelson Baloian, Jos&#x00e9; A. Pino
Venue: Knowledge and Information Systems (2009)

Learning objects (LOs) are pieces of educational material characterized with a valuable amount of information about their content and usage. This additional information is defined as a set of metadata generally following the IEEE LOM specification. This specification also serves to characterize the relations existing between LOs. LOs whose relations are explicit are regarded as the nodes of a lesson graph. Link types and LO metadata constitute the lesson graph semantics. This article proposes to take advantage of lesson graph semantics using a context diffusion approach. It consists in diffusing the metadata-based processes along the edges of the lesson graph. This technique aims at coping with the metadata processing issues arising when some graph metadata are missing, incorrect, or incomplete. This article also presents a three-layer extensible framework for easing the use of context diffusion in a graph. As part of the framework, two original types of metadata processes are introduced. The first one takes advantage of the metadata attribute similarities between related LOs. The second one focuses on the lesson graph consistency. The framework and the application examples were implemented as an open-source Java library used in the lesson graph authoring tool LessonMapper2. During the lesson authoring process, we show that the framework can bring support not only for generating and validating metadata, but also for retrieving LOs.
Development of Online Measuring Instrument for Water-in-Oil percentage Based on MCU
Authors: Xie Nan, Zhang Haibo, Gao Shenyong, Ma Yan, Chen Weimin
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Water may access to hydraulic and lubricant system due to various reasons, so the lubricant oil in hydraulic system will be out of work for high water-in-oil percentage. Traditional measuring instruments for water-in-oil percentage have slower response-time and higher costs. The principle of water-in-oil percentage detection, capacitance to voltage signal conversion and the structure of measurement system are proposed in this paper. It is demonstrated that the detection device which uses the mixed technology of real-time MCU, XE2004 conversion chip and smart sensor can quickly and precisely measure water-in-oil percentage and avoid the potential hazards.
Trading Anonymity for Influence in Open Communities Voting Schemata
Authors: Ernesto Damiani, Marco Viviani
Venue: Proceedings of the 2009 International Workshop on Social Informatics (2009)

We discuss how the notion of gradual information disclosure can be incorporated into basic social computing protocols, such as reputation-based service selection. Our technique links the decrease in anonymity a subject is ready to endure (e.g., by disclosing the values of some of her attributes) to the weight her views will carry in the final outcome of the protocol.
Recent Advances in Population Protocols
Authors: Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

The population protocol model (PP) proposed by Angluin et al. [2] describes sensor networks consisting of passively mobile finite-state agents. The agents sense their environment and communicate in pairs to carry out some computation on the sensed values. The mediated population protocol model (MPP) [13] extended the PP model by communication links equipped with a constant size buffer. The MPP model was proved in [13] to be stronger than the PP model. However, its most important contribution is that it provides us with the ability to devise optimizing protocols, approximation protocols and protocols that decide properties of the communication graph on which they run. The latter case, suggests a simplified model, the GDM model, that was formally defined and studied in [11]. GDM is a special case of MPP that captures MPP's ability to decide properties of the communication graph. Here we survey recent advances in the area initiated by the proposal of the PP model and at the same time we provide new protocols, novel ideas and results.
Search war: a game for improving web search
Authors: Edith Law, Luis von Ahn, Tom Mitchell
Venue: Proceedings of the ACM SIGKDD Workshop on Human Computation (2009)

We present a competitive online game called Search War, which collects data that is useful for improving Web search. Specifically, as a by product of gameplay, players will provide, for a given web page, an evaluation of its relevance to a particular search query as well as its most salient purpose.
A Skill Transfer Method for Manual Machine Tool Operation Utilizing Cutting Sound
Authors: Takashi Kawashimo, Noriaki Sato, Daisuke Doyo, Michiko Anse, Tsutomu Tabe
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

This study focuses on the inheritance of skills that has faced difficulties through the years in Japan. Sensorimotor knowledge, which is hard to be described by words alone, is often seen in technical skills in a manufacturing environment in Japan. Interpreting sensorimotor knowledge as formal knowledge, attempts have been made to impart technical skills but have faced barriers particularly in lathe processing due to no visual check of finished quality being allowed. Thus, this study suggested training on the inheritance of skills utilizing the level of cutting sound generated in process. Novice workers served as experimental subjects for an experiment to verify the effectiveness of proposed training.
Improving Static Print Design Readability Using Mobile Reading Filters
Authors: Jackson Feijó Filho, Wilson Prata
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

This work proposes the use of mobile computer cameras as an alternative assistive technology for people who do not read easily. It attempts to explore mobile camera software options to improve readability, making use of well known reading filters concepts. A proof of concept of this work is demonstrated by the implementation and demonstration of a mobile application prototype that applies various real-time filters to the viewfinder.
Concurrent Kleene Algebra
Authors: C. A. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange law. We show applicability of the algebra to a partially-ordered trace model of program execution semantics and demonstrate its usefulness by validating familiar proof rules for sequential programs (Hoare triples) and for concurrent ones (Jones's rely/guarantee calculus). This involves an algebraic notion of invariants; for these the exchange inequation strengthens to an equational distributivity law. Most of our reasoning has been checked by computer.
A corpus-based hybrid approach to music analysis and composition
Authors: Bill Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

We present a corpus-based hybrid approach to music analysis and composition, which incorporates statistical, connectionist, and evolutionary components. Our framework employs artificial music critics, which may be trained on large music corpora, and then pass aesthetic judgment on music artifacts. Music artifacts are generated by an evolutionary music composer, which utilizes music critics as fitness functions. To evaluate this approach we conducted three experiments. First, using music features based on Zipf's law, we trained artificial neural networks to predict the popularity of 992 musical pieces with 87.85% accuracy, Then, assuming that popularity correlates with aesthetics, we incorporated such neural networks into a genetic-programming system, called NEvMuse. NEvMuse autonomously "composed" novel variations of J.S. Bach's Invention #13 in A minor (BWV 784), variations which many listeners found to be aesthetically pleasing. Finally, we compared aesthetic judgments from an artificial music critic with emotional responses from 23 human subjects. Significant correlations were found. We provide evaluation results and samples of generated music. These results have implications for music information retrieval and computer-aided music composition.
The Role of ESLEA in the development of eVLBI
Authors: R. E. Spencer, R. Hughes-Jones, M. Strong, S. Casey, A. Rushton, P. Burgess, S. Kershaw, C. Greenwood
Venue: Future Generation Computer Systems (2010)

The Internet has been used for data transfer in radio astronomy ever since its inception; however it is only recently that network bandwidth capability means that the Internet becomes competitive with traditional forms of data transport. Very Long Baseline Interferometry (VLBI) uses widely separated telescopes where high bandwidth direct connection to a central processor has not been feasible until recently. The academic networks now allow us to connect at high data rates (~1 Gbps) in ''eVLBI''. The ESLEA project has played a major role in the development of eVLBI. We outline this development in this paper.
A New Method for People-Counting Based on Support Vector Machine
Authors: Fang Zhu, Xinwei Yang, Junhua Gu, Ruixia Yang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

This paper proposed a new method for infrared people-counting. According to the characteristics of the time continuous data collected by infrared sensors, the pattern recognition idea is introduced in the data processing procedure. After the special pretreatment, adaptive segmentation and feature extraction for the people-counting data, the feature vector is used as the inputs of the trained support vector machine classifier to classify and statistic the total number of the people who go through the infrared sensor area in a period of time. Compared with traditional people-counting using sensor, this method is more accurate and it can count the people number at the situation that several people go through the infrared sensor at the same time. Finally, the experiments indicate that the method can be applied in actual application.
Real-Time Face Tracking and Recognition Based on Particle Filtering and AdaBoosting Techniques
Authors: Chin-Shyurng Fahn, Ming-Jui Kuo, Kai-Yi Wang
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

In this paper, a real-time face tracking and recognition system based on particle filtering and AdaBoosting techniques is presented. Regarding the face tracking, we develop an effective particle filter to locate faces in image sequences. Since we have considered the hair color information of a human head, the particle filter will keep tracking even if the person is back to the line of sight of a camera. We further adopt both the motion and color cues as the features to make the influence of the background as low as possible. A new fashion of classification architecture trained with an AdaBoost algorithm is also proposed to achieve face recognition rapidly. Compared to other machine learning schemes, the AdaBoost algorithm can update training samples to deal with comprehensive circumstances, but it need not spend much computational cost. Experimental results reveal that the face tracking rate is more than 97% in general situations and 89% when the face suffering from temporal occlusion. As for the face recognition, the accuracy rate is more than 90%; besides this, the efficiency of system execution is very satisfactory, which reaches 20 frames per second at least.
Superposition and Model Evolution Combined
Authors: Peter Baumgartner, Uwe Waldmann
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

We present a new calculus for first-order theorem proving with equality, ${\mathcal ME}$+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality) by integrating their inference rules and redundancy criteria in a non-trivial way. The main motivation is to combine the advantageous features of both--rather complementary--calculi in a single framework. For instance, Model Evolution, as a lifted version of the propositional DPLL procedure, contributes a non-ground splitting rule that effectively permits to split a clause into non variable disjoint subclauses. In the paper we present the calculus in detail. Our main result is its completeness under semantically justified redundancy criteria and simplification rules.