ppxscal/embedding_network huggingface dataset:
Supporting self-directed activities with social media
Authors: Sebastian Fiedler, Terje Väljataga
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

Apart from teaching general strategies for self-direction in formal education, we need to provide our students with opportunities to acquire some expertise regarding the selection and combination of a diverse set of networked tools and services for their own purposes. The knowledge, skills and orientations needed to select, use, connect and reconnect different networked tools and services in a meaningful way form an important part of the dispositions necessary to cope with many authentic challenges in today's increasingly networked and mediated life. The various practices that are emerging around social media seem to be a promising field of experimentation in this regard. We illustrate our line of argumentation with some empirical data collected from a pilot course "E-learning methods" taught at Tallinn University, Estonia. This master's level course was initiated with an attempt to create an educational challenge for students to enhance their dispositions for self-directed study activities with the support of social media.
The Appropriation of Information and Communication Technology: A Cross-Cultural Perspective
Authors: Jose Rojas, Matthew Chalmers
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

In this paper we explore the process of appropriation attempting to broaden the set of topics considered significant on it. We present a model of appropriation derived from two studies conducted in the UK, Japan, South Korea and China. We describe our model based on a characterisation of elements supportive of appropriation in the context of use (discussed in terms of space/place, social practices and activity) and in the ICT itself (described in terms of meaning, relevance and triviality). We emphasise the pre-eminence of context in achieving the appropriation of ICT.
Research on Authentication Security of Wireless Local Area Network Based on L2TP Protocol
Authors: Yan Niu, Jun Li, Lala Li
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Wireless LAN is considered an unreliable network there are some flaws in access authentication and data security,we put forward a method based on the improvement L2TPVPN to access wireless, the way uses double-sided type of authentication and similarity mppe encryption way, improves authentication security of accessing and data transporting, and ensures the reliability of transmission.
Pervasive Theory of Memory
Authors: Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
Venue: Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (2009)

For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buffers and store buffer forwarding, cache coherence protocols, out of order access to memory, segmentation and paging, shared memory data structures (e.g. for locks) as well as for memory models of multi-threaded programming languages. It turns out that we have to unite all of these theories into a single theory if we wish to understand why parallel C compiled by an optimizing compiler runs correctly on a contemporary multi core processor. This pervasive theory of memory is outlined here.
On the Educational Equity under the Educational Informatization
Authors: Liu Minna
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

The idea of educational equity has a long history. With the society developing many problems about educational equity has come out. But whenever it is people need educational equity especially for the harmonious society. About the concept of educational equity, different scholar has different idea. Taking one with another educational equity includes three parts: equality of educational opportunity, equality of educational process, and equity of educational results. Nowadays, educational informatization has brought education into a new development. It impact on the educational equity, not only promote the realization of the educational equity, but also brought new problems to it. It leads the education into the new unfair. This paper mostly analyzes the impact of educational equity under the educational informatization and puts forward many ideas to achieve a better educational equity.
Radiation of Arc and Its Application in GTA Welding Measurement and Testing
Authors: Zhiyong Li, Xiaoyan Gu, Yao Wang, Chunxia Xue
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

The arc plasma radiation of gas tungsten arc welding (GTAW) is studied in this paper with the application of Avaspec-2048FT optical fiber digital spectrometer. The spectrum distribution from 200 nm to 1000 nm is analyzed. The result showed that different condition of the welding can provide spectrum with different radiation. The radiation in different frequency is dominant by spectral line of different element. The radiation intensity in the chosen frequency band is closely related to the stability of the arc. Furthermore, in order to detect the defect and disturbance of the process of welding, an in-situ sensing system with dual channel is developed with narrow-band filters. The radiation in visible and infra is collected with the sensor. The system can provide characteristic signal of welding trails with different disturbance factors.
Backdoor trees
Authors: Marko Samer, Stefan Szeider
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

The surprisingly good performance of modem satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. We introduce the notion of backdoor trees as an indicator for the presence of a hidden structure. Backdoor trees refine the notion of strong backdoor sets, taking into account the relationship between backdoor variables. We present theoretical and empirical results. Our theoretical results are concerned with the computational complexity of detecting small backdoor trees. With our empirical results we compare the size of backdoor trees against the size of backdoor sets for real-world SAT instances and random 3SAT instances of various density. The results indicate that backdoor trees amplify the properties that have been observed for backdoor sets.
Design of Fuzzy Controller Based on a New Optimal Correction Function
Authors: Xiong Chunru, Hu Jufang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

This paper presents a fuzzy controller method based on a new optimal correction function, which tunes the rule scaling factor α based on error E and error change EC, and it not only self-tunes the weight of error E in the control effect according to error E, but also considers that error change EC plays an different role in each movement stage in the system .Therefore, the fuzzy controller has the greater ability of adapting to such complexity and hard control objects, as non-lined Time-variant uncertainty and so on. In the end simulates it by SIMULINK of MATLAB and the simulation results prove that the controller has strong anti-jamming capacity, robustness and fairly good accuracy in its static and dynamic control performances.
A Novel Parallel Processing for Continuous k-Nearest Neighbor Queries
Authors: Chenghua Yan, Chen Qixiang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Continuous nearest neighbor queries in road networks have recently received many attentions. To evaluate multiple concurrent continuous k nearest neighbors queries towards moving objects, we propose a Multi-threading Processing of Multiple Continuous Queries (MPMCQ) framework, which exploits pipeline strategy and departs the continuous query processing into three simultaneous stages: query processing, query executing and query results dispatching to improve the parallelism with multi-threading technology. Considering the computational capability of mobile client to locate the edge containing it, we use memory-resident hash table and linear list structures to describe the moving objects and store the directional model. We propose the unidirectional network expansion algorithm to reduce the CPU cost of continuous k-NN queries processing. Experimental results show that the algorithm outperforms existing algorithms including IMA and MKNN algorithms.
New Sociotechnical Insights in Interaction Design
Authors: José Abdelnour-Nocera, Anders I. Mørch
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

New challenges are facing interaction design. On one hand because of advances in technology --- pervasive, ubiquitous, multimodal and adaptive computing --- are changing the nature of interaction. On the other, web 2.0, massive multiplayer games and collaboration software extends the boundaries of HCI to deal with interaction in settings of remote communication and collaboration. The aim of this workshop is to provide a forum for HCI practitioners and researchers interested in knowledge from the social sciences to discuss how sociotechnical insights can be used to inform interaction design, and more generally how social science methods and theories can help to enrich the conceptual framework of systems development and participatory design. Position papers submissions are invited to address key aspects of current research and practical case studies.
Fault Simulation for the Electrostatic Parallel-Plate Micro-actuator
Authors: Yongping Hao, Fengli Liu
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

The fault analysis for the electrostatic parallel-plate is a critical issue in the design flow, as it played an important role in determining device reliability and the voltage required for successful operation. The simulations for pull-in and release voltages were carried in CoventorWare. The FEM model was constructed. The displacement of the upper electrode and corresponding capacitance between the upper and bottom electrode at different voltage are studied. The contact force and the stresses in the movable structure were presented. Electrostatic spring softing analysis interpreted the shift at the resonant frequencies.
Passive Multi-sensor Maneuvering Target Tracking Based on UKF-IMM Algorithm
Authors: Panlong Wu, Xingxiu Li
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

For effectively improving the accuracy of tracking a maneuvering target by passive sensors, a novel passive multi-sensor maneuvering target tracking algorithm based on unscented Kalman filter-interacting multiple model(UKF-IMM) is proposed. In this algorithm UKF is used by all models. UKF can avoid linearization of the highly nonlinear equations, and achieve accuracy at least to the second order. This algorithm use Markov process to describe switching probability among the models, while weighting means of inputs and outputs of UKF. Simulation results in passive maneuvering target tracking using three infrared sensors show that the proposed algorithm is more stable and effective.
Designing a DSL Solution for the Domain of Augmented Reality Software Applications Specification
Authors: André Rosa, Vasco Amaral, Bruno Barroca
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

Code repetition, lack of reuse and basic errors are typical problems in the industry that decrease the productivity during the software development process, and this is no exception in the domain of interactive applications with focus on Augmented Reality (AR). In this paper, we describe a new Domain-Specific Language (DSL), based on an existing AR software framework that tackles this problem by adding a new abstraction layer for product specification. The proposed language's abstract syntax covers the definition of application logic's organization, its configuration, objects construction and behaviour definition. The language's concrete syntax was implemented using a metamodeling language workbench. A real case study within the context of an AR software house was used for validation purposes.
An Interview with Dr. Yi Pan of Georgia State University
Authors: John Gehl
Venue: Ubiquity (2008)

Ubiquity is proud to publish this inspirational interview, which starts with a discussion of the creation of the computer science department at Georgia State University, and concludes with the heroic efforts an impoverished student from Tsinghua University in China overcame many obstacles to rise to a significant position at Georgia. The interviewee is Yi Pan, Chair and Professor of Georgia State University's computer science department, who provided us with these inspirational reflections on computer science, academic success, and true success. The interview was conducted by Ubiquity editor-in-chief John Gehl.
CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time Compression
Authors: Rosa Filgueira, David E. Singh, Alejandro Calderón, Jesús Carretero
Venue: Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (2009)

This paper presents an optimization of MPI communications, called CoMPI, based on run-time compression of MPI messages exchanged by applications. A broad number of compression algorithms have been fully implemented and tested for both MPI collective and point to point primitives. In addition, this paper presents a study of several compression algorithms that can be used for run-time compression, based on the datatype used by applications. This study has been validated by using several MPI benchmarks and real HPC applications. Show that, in most of the cases, using compression reduces the application communication time enhancing application performance and scalability. In this way, CoMPI obtains important improvements in the overall execution time for many of the considered scenarios.
Mobile Phone Game Virtual Machine Research
Authors: Chen Xin
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Virtual Machine belongs to the running environment of mobile phone game. This paper centres on what the main mobile phone game virtual machines are and their technology features and the prospects of various virtual machines.
EMADS: An extendible multi-agent data miner
Authors: Kamal Ali Albashiri, Frans Coenen, Paul Leng
Venue: Knowledge-Based Systems (2009)

In this paper, we describe EMADS, an extendible multi-agent data mining system. The EMADS vision is that of a community of data mining agents, contributed by many individuals, interacting under decentralised control to address data mining requests. EMADS is seen both as an end user application and a research tool. This paper details the EMADS vision, the associated conceptual framework and the current implementation. Although EMADS may be applied to many data mining tasks; the study described here, for the sake of brevity, concentrates on agent based data classification. A full description of EMADS is presented.
Local ambiguity packing and discontinuity in German
Authors: Berthold Crysmann
Venue: Proceedings of the Workshop on Deep Linguistic Processing (2007)

We report on recent advances in HPSG parsing of German with local ambiguity packing (Oepen and Carroll, 2000), achieving a speed-up factor of 2 on a balanced test-suite. In contrast to earlier studies carried out for English using the same packing algorithm, we show that restricting semantic features only is insufficient for achieving acceptable runtime performance with a German HPSG grammar. In a series of experiments relating to the three different types of discontinuities in German (head movement, extraction, extraposition), we examine the effects of restrictor choice, ultimately showing that extraction and head movement require partial restriction of the respective features encoding the dependency, whereas full restriction gives best results for extraposition.
Multi-level Abstractions and Multi-dimensional Retrieval of Cases with Time Series Features
Authors: Stefania Montani, Alessio Bottrighi, Giorgio Leonardi, Luigi Portinale, Paolo Terenziani
Venue: Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development (2009)

Time series retrieval is a critical issue in all domains in which the observed phenomenon dynamics have to be dealt with. In this paper, we propose a novel, domain independent time series retrieval framework, based on Temporal Abstractions (TA). Our framework allows for multi-level abstractions, according to two dimensions, namely a taxonomy of (trend or state) symbols, and a variety of time granularities. Moreover, we allow for flexible querying, where queries can be expressed at any level of detail in both dimensions, also in an interactive fashion, and ground cases as well as generalized ones can be retrieved. We also take advantage of multi-dimensional orthogonal index structures, which can be refined progressively and on demand. The framework in practice is illustrated by means of a case study in hemodialysis.
An Undecidable Permutation of the Natural Numbers
Authors: Eero Lehtonen
Venue: Proceedings of the 3rd International Workshop on Reachability Problems (2009)

In this paper, an undecidability result concerning a permutation of natural numbers is presented. More precisely, it is shown that for a certain piecewise defined permutation, which consists of five affine transformations, it is undecidable whether a given number belongs to a finite cycle or not.
Photonic NoCs: System-Level Design Exploration
Authors: Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni
Venue: IEEE Micro (2009)

Network-on-chip is a key enabling technology to address the challenges of interconnecting the increasing number of cores in emerging chip multiprocessors. By leveraging recent advances in the CMOS integration of photonic devices and the unique properties of the optical medium, photonic NoCs offer a promising solution to meet the communication requirements of chip multiprocessors with minimal draw from their power budget.
Research on the Gear Fault Diagnosis Using Order Envelope Spectrum
Authors: Hui Li, Lihui Fu, Zhenjiang Shi
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The speed-up and speed-down of the gearbox are non-stationary process and the vibration signal can not be processed by traditional processing method. In order to process the non-stationary vibration signals such as speed-up or speed-down signals effectively, the order envelope analysis technique is presented. This new method combines order tracking technique with envelope spectrum analysis. Firstly, the vibration signal is sampled at constant time increments and then uses software to resample the data at constant angle increments. Therefore, the time domain non-stationary signal is changed into angle domain stationary signal. In the end, the resampled signals are processed by envelope spectrum analysis. The experimental results show that order envelope spectrum analysis can effectively diagnosis the faults of the gear crack.
Stochastic Programs and Hybrid Automata for (Biological) Modeling
Authors: Luca Bortolussi, Alberto Policriti
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of this construction is to provide a framework to approximate the stochastic behavior by a mixed discrete/continuous dynamics with a variable degree of discreteness.
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Authors: Jana Koehler, Jörg Hoffmann
Venue: Journal of Artificial Intelligence Research (2000)

The paper addresses the problem of computing goal orderings, which is one of the longstanding issues in AI planning. It makes two new contributions. First, it formally defines and discusses two different goal orderings, which are called the reasonable and the forced ordering. Both orderings are defined for simple STRIPS operators as well as for more complex ADL operators supporting negation and conditional effects. The complexity of these orderings is investigated and their practical relevance is discussed. Secondly, two different methods to compute reasonable goal orderings are developed. One of them is based on planning graphs, while the other investigates the set of actions directly. Finally, it is shown how the ordering relations, which have been derived for a given set of goals G, can be used to compute a so-called goal agenda that divides G into an ordered set of subgoals. Any planner can then, in principle, use the goal agenda to plan for increasing sets of subgoals. This can lead to an exponential complexity reduction, as the solution to a complex planning problem is found by solving easier subproblems. Since only a polynomial overhead is caused by the goal agenda computation, a potential exists to dramatically speed up planning algorithms as we demonstrate in the empirical evaluation, where we use this method in the IPP planner.
Fault Detection for Electro-Hydraulic Valve-Controlled Single Rod Cylinder Servo System Using Linear Robust Observer
Authors: Ting-tao Ming, Yong-xiang Zhang, Xi-yong Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

This paper presents a method of linear robust observer design for electro-hydraulic valve-controlled single rod cylinder servo system fault detection. Firstly, the paper outlines the difficulties associated with modeling nonlinear observer and the dynamic equations of the system. Secondly, the linear modeling process is recapped by highlighting the likely uncertainties which influence the implementation of model-based approaches. Thirdly, the linear robust observer is designed in the presence of unknown inputs, such as adscititious force disturbance, linearization error, parameters fluctuation, process noise, measurement noise. Finally, experiments show that this observer has the ability to reject disturbance and reliably respond to the fault due to oil leakage.
Data caching, garbage collection, and the Java memory model
Authors: Wolfgang Puffitsch
Venue: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (2009)

Multiprocessors often feature weaker memory models than sequential consistency. Relaxed memory models can be implemented more efficiently and allow more optimizations. The Java memory model is a relaxed memory model that is a natural choice for a Java processor. In this paper, we show that a data cache that obeys the restrictions of the Java memory model can be implemented efficiently. The proposed implementation requires only local actions to ensure data consistency and is therefore timing analysis friendly. Furthermore, we investigate the impact of the proposed data cache design on the correctness of real-time garbage collection. Relaxed memory models must to be taken into account when initializing and moving objects during heap compaction. Also, write barriers and the start of a garbage collection cycle require careful design under the Java memory model.