ppxscal/embedding_network huggingface dataset:
Congestion-aware downlink scheduling for IEEE 802.16j multi-hop relay networks
Authors: Yi-Cheng Chan, Chang-Lung Wu, Chin-Yu Lai
Venue: Proceedings of the 4th Annual International Conference on Wireless Internet (2008)

In this paper, a congestion-aware downlink scheduling for IEEE 802.16j multi-hop relay networks is proposed. In the mechanism, a relay station (RS) can report its queue status of each downlink connection to the upstream station. Based on the reported information, the upstream station may properly schedule its downlink transmission and hence the system performance benefits. We focus on the following three issues to achieve the goal. First, to find a congested queue, we develop a measuring method to monitor queue statuses in a RS. Then, a report system is designed to carry the information. Finally, a congestion-aware downlink scheduling algorithm of a MR-BS and RS is devised to properly schedule the downlink transmission. According to the NS-2 simulation results, the proposed scheme effectively mitigates the congestion problem in a RS and improves the system performance. Compared with the contribution of downlink flow control presented in the IEEE 802.16j task group, the proposed scheduling scheme is able to increase the network throughput up to 60.11% and reduce the dropping ratio up to 26.21%.
E-Business Models, Services and Communications
Authors: In Lee, In Lee
Venue: Premier Reference Source (2007)

With the rapid advancement in information technologies, e-business is rapidly growing in significance and is having a direct impact upon business applications and technologies. E-Business Models, Services and Communications provides researchers and practitioners with valuable information on recent advances and developments in emerging e-business models and technologies. This book covers a variety of topics such as e-business models, telecommunication network utilization, online consumer behavior, electronic communication adoption and service provider strategies, and privacy policies and implementation issues.
A Study of Using a Cognitive Tool in a Mobile Technology Supported Classroom
Authors: Siu Cheung Kong, Chi Shing Li
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

A cognitive tool (CT) called Interactive Perimeter Learning Tool (IPLT) was devised to assist the teaching and learning of a primary mathematics topic, the “perimeter of closed shapes,” in a mobile technology supported classroom. The potential for integrating the IPLT with traditional pedagogical practices was investigated through an administration of pre-test and post-test to students, an interview for teacher and a questionnaire survey for students. The findings show that the students attained statistically significant improvement in the learning outcome within this learning context. The teachers and students were enthusiastic about using the IPLT in teaching and learning this subject topic. This study reveals that the integration of CT in a mobile technology supported classroom could stimulate learner-centred learning of the subject knowledge.
A fluid-flow model for backlog-based CSMA policies
Authors: Atilla Eryilmaz, Peter Marbach, Asuman Ozdaglar
Venue: Proceedings of the 4th Annual International Conference on Wireless Internet (2008)

We present a fluid flow model to analyze backlog-based CSMA policies. The model is obtained using a CSMA fixed point approximation that has been recently proposed and analyzed. We provide numerical case studies to illustrate the accuracy of the fluid-flow model.
Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming
Authors: Avenir Kobetski, Martin Fabian
Venue: Discrete Event Dynamic Systems (2009)

Automation and flexibility are often mentioned as key concepts in modern production industry. To increase the level of flexibility, deterministic finite automata (DFA) can be used to model, specify and verify the production systems. Often, it is also desirable to optimize some production criteria, such as for example the cycle time of a manufacturing cell. In this paper, a method for automatic conversion from DFA to a mixed integer linear programming (MILP) formulation is first presented. This conversion is developed for a number of DFA structures that have shown to be useful in practical applications. Special attention is paid to reducing the search region explored by the MILP solver. Second, a conversion from the MILP solution to a DFA supervisor is described. This allows to combine the advantages of DFA modeling with the efficiency of MILP and supervisory control theory to automatically generate time-optimal, collision-free and non-blocking working schedules for flexible manufacturing systems.
Model Inspection in Dicodess
Authors: Matthias Buchs, Pius Hättenschwiler
Venue: Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges (2008)

Dicodess is a model based distributed cooperative decision support system. It encapsulates the underlying model in a graphical user interface to shield users from the technical details of model configuration and optimization. However, a model usually evolves over time and therefore needs verification accordingly. Furthermore, users sometimes might want to have a better insight into the model to better understand a “strange” solution. Model views are a new concept for modeling language and domain independent model visualization. The focus is not on visualizing model input or model output but on the model's structure, the formalized knowledge. Modelers as well as domain experts are able to inspect a model visually in order to get a better understanding and to have a common base of discussion. The improvement of model understanding and communication among the people involved will lead to models of better quality. In this article we are proposing an integration of model views into Dicodess. This integration enables mutual benefit: Dicodess users get direct access to model visualization which through Dicodess' cooperative functionality can be done even in collaboration.
Evaluating of a Scaffolding System for Supporting Less Experienced Feedback Givers
Authors: Duenpen Kochakornjarupong, Paul Brna
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

This paper presents an evaluation of McFeSPA (Metacognitive In term of metacognitive scaffolding, we mean that McFeSPA provides more opportunity for fostering reflective thinking by the feedback giver about giving feedback. Feedback Scaffolding System for Pedagogical Apprenticeship), a system to help inexperienced teaching assistants (TAs) Inexperienced TAs are taken to include novice teachers, novice tutors, and novice lecturers who lack training in how to provide quality feedback to help them improve their feedback skills while marking programming assignments. The system exploits techniques drawn from artificial intelligence, cognitive psychology and theories of education. The results of this study indicate that McFeSPA could help TAs who mark programming assignments think about/reflect on their feedback giving to provide quality feedback to students in general.
Software reuse and plagiarism: a code of practice
Authors: J. Paul Gibson
Venue: ACM SIGCSE Bulletin (2009)

In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a significant impact on a student's degree result, particularly in courses were there is a significant emphasis on large-scale projects. We argue that a policy for software reuse is the most explicit, and fair, way of overcoming this problem. In our policy, we specify the notion of software to cover all the documents that are generally built during the engineering of a software system -- analysis, requirements, validation, design, verification, implementation and tests. Examples are used to show acceptable and unacceptable forms of reuse, mostly at the design, testing and implementation stages. These examples are represented in Java, although they should be easily understood by anyone with software engineering experience. We conclude with a simple code of practice for reuse of software based on a file-level policy, combined with emphasis on re-using only what is rigorously verified.
A new method of approaching the problems of optimal control
Authors: Ovidiu Ilie Sandru, Luige Vladareanu, Alexandra Sandru
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

In this paper we will propose a new method of approaching the problems of optimal control for a large class of dynamic systems. In comparison with the classical method of solving the problems of optimal control within the theory of dynamic systems, our method will be based exclusively on the Lagrangian variational calculus. This aspect has the advantage of excluding the complications resulted from the use of dual variational calculus and from the techniques developed by Carathéodory and Pointriaghin, which the old method depends of.
A Shared Memory Benchmark in OpenMP
Authors: Matthias S. Müller
Venue: Proceedings of the 4th International Symposium on High Performance Computing (2009)

The efficient use of the memory system is a key issue for the performance of many applications. A benchmark written with OpenMP is presented that measures several aspects of a shared memory system like ban ,dwidth, memory latency and inter-thread latency. Special focus is on revealing and identifying bottlenecks and possible hierarchies in the main memory system. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Parallel Computing: Numerics, Applications, and Trends, 1st edition
Authors: Roman Trobec, Marin Vajtersic, Peter Zinterhof
Venue:  (2009)

This book targets development of efficient parallel computational methods for different scientific and technical applications. Readers who wish to design and implement efficient solutions on parallel and distributed computer systems are given insight into the theory of the computational methods through practical application being emphasized throughout. Features: Discusses development of algorithms for different applications plus other aspects related to parallel numerical solution of PDEs (e.g. grid refinement). Considers other numerical applications such as data retrieval by linear algebra approach and quasi Monte-Carlo methods. Covers molecular dynamics, computational quantum physics, analysis of bio-signals and image and video coding. Chapters overviews and conclusions with a discussion on future work. This concise volume provides the state-of-the-art in parallel and distributed computing, and is a must-read for practitioners, researchers and graduate students.
Partial Similarity of Objects, or How to Compare a Centaur to a Horse
Authors: Alexander M. Bronstein, Michael M. Bronstein, Alfred M. Bruckstein, Ron Kimmel
Venue: International Journal of Computer Vision (2009)

Similarity is one of the most important abstract concepts in human perception of the world. In computer vision, numerous applications deal with comparing objects observed in a scene with some a priori known patterns. Often, it happens that while two objects are not similar, they have large similar parts, that is, they are partially similar. Here, we present a novel approach to quantify partial similarity using the notion of Pareto optimality. We exemplify our approach on the problems of recognizing non-rigid geometric objects, images, and analyzing text sequences.
An integrated framework for performance-based optimization of scientific workflows
Authors: Vijay S. Kumar, P. Sadayappan, Gaurang Mehta, Karan Vahi, Ewa Deelman, Varun Ratnakar, Jihie Kim, Yolanda Gil, Mary Hall, Tahsin Kurc, Joel Saltz
Venue: Proceedings of the 18th ACM international symposium on High performance distributed computing (2009)

Data analysis processes in scientific applications can be expressed as coarse-grain workflows of complex data processing operations with data flow dependencies between them. Performance optimization of these workflows can be viewed as a search for a set of optimal values in a multi-dimensional parameter space. While some performance parameters such as grouping of workflow components and their mapping to machines do not affect the accuracy of the output, others may dictate trading the output quality of individual components (and of the whole workflow) for performance. This paper describes an integrated framework which is capable of supporting performance optimizations along multiple dimensions of the parameter space. Using two real-world applications in the spatial data analysis domain, we present an experimental evaluation of the proposed framework.
Mixing Legal and Non-legal Norms
Authors: Alexander Boer, Tom van Engers, Radboud Winkels
Venue: Proceeding of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference (2005)

In Boer et al. (viz. [9]) we argued that evaluation of draft legislation, change from an old to a new regime, harmonization of legislation from multiple jurisdictions, and the decision to move a good, person, or service over the borders of a jurisdiction, involves a process of integration and comparison of preference structures. This paper argues that legal norms are in many contexts best understood as expressions of a ceteris paribus preference, and that this viewpoint adequately accounts for normative conflict and contrary-to-duty norms.
Non-linear effect of noise around highway on-ramp
Authors: Ding-wei Huang
Venue: Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems (2008)

We study the influence of stochastic noises in asymmetric simple exclusion processes in the presence of an on-ramp. Two types of bottleneck can be induced by the noises. With small noises, the light bottleneck is observed as traffic jams emerge intermittently around the on-ramp. With large noises, the heavy bottleneck is observed as the traffic in the upstream becomes severely congested. Both the phase diagram and the density profile are discussed. We also comment on the daily experiences on highway.
Requirements and challenges for building service-oriented pervasive middleware
Authors: Marcio E.F. Maia, Lincoln S. Rocha, Rossana M.C. Andrade
Venue: Proceedings of the 2009 international conference on Pervasive services (2009)

The dinamicy and uncertainness of resources in mobile networks ask for novel uncoupled, adaptable and autonomous programming abstractions. Although applications are built upon a middleware layer that encapsulates some of that complexity, there is a lot left to fully explore the potential of ubiquitous and pervasive systems. To provide an insight on the challenges to develop interoperable middleware systems, this paper highlights the requirements to build service-oriented ubiquitous and pervasive middleware. These requirements are divided into primary and cross-cutting requirements. Primary requirements are Message Exchange, Mobility Support, Service Description, Discovery and Coordination, and Security. While Cross-cutting requirements are Context-Awareness and Adaptability, Autonomy, and QoS Requirements.
A restarted and modified simplex search for unconstrained optimization
Authors: Qiu Hong Zhao, Dragan Urosević, Nenad Mladenović, Pierre Hansen
Venue: Computers and Operations Research (2009)

In this paper we propose a simple but efficient modification of the well-known Nelder-Mead (NM) simplex search method for unconstrained optimization. Instead of moving all n simplex vertices at once in the direction of the best vertex, our ''shrink'' step moves them in the same direction but one by one until an improvement is obtained. In addition, for solving non-convex problems, we simply restart the so-modified NM (MNM) method by constructing an initial simplex around the solution obtained in the previous phase. We repeat restarts until there is no improvement in the objective function value. Thus, our restarted modified NM (RMNM) is a descent and deterministic method and may be seen as an extended local search for continuous optimization. In order to improve computational complexity and efficiency, we use the heap data structure for storing and updating simplex vertices. Extensive empirical analysis shows that: our modified method outperforms in average the original version as well as some other recent successful modifications; in solving global optimization problems, it is comparable with the state-of-the-art heuristics.
Haptic rehabilitation exercises performance evaluation using automated inference systems
Authors: Ahmad Barghout, Atif Alamri, Mohamad Eid, Abdulmotaleb El Saddik
Venue: International Journal of Advanced Media and Communication (2009)

Haptics and virtual environments offer the opportunity to improve the traditional methods of stroke rehabilitation. Traditionally, a therapist has to subjectively evaluate the patient's performance. This paper aims to introduce an automated inference system that utilises haptic data to quantise the patient's performance. Two systems were implemented: a Fuzzy Inference System (FIS) and an Adaptive Neuro-Fuzzy Inference System (ANFIS). The two systems were validated with sample input&#47;output datasets. Testing with real subjects' data has led to the conclusion that the CyberForce system is incapable of providing normative data for evaluating the patient performance due to calibration and consistency issues. This is an expanded version of a paper presented at the 3rd IEEE International Workshop on Medical Measurements and Applications, 9 10 May 2008, Ottawa, ON, Canada.
Stratification in musical texts based on rank-frequency distribution of tone pitches
Authors: Ioan-Iovitz Popescu, Zuzana Martináková-Rendeková, Gabriel Altmann
Venue: Proceedings of the 10th WSEAS international conference on Acoustics & music: theory & applications (2009)

In this study we investigated the stratification in musical texts based on rank-frequency distribution of the tone pitches. Stratification is a common phenomenon in nature and culture. Homogeneity is always only partial or something perceived from a certain point of view. Real things consist of different elements and different subsystems. This holds for the most abstract human creation like language or music down to the subatomic world. However, in many cases analysis is possible only if we suppose homogeneity or stipulate the ceteris paribus condition. Advance in research means in many cases the stepwise relaxing of the homogeneity condition and admitting further variables.
Virtual machines: abstraction and implementation
Authors: Shimon Schocken
Venue: ACM SIGCSE Bulletin (2009)

Various forms of virtualization play key roles in the construction and usage of diverse system artifacts ranging from modern compilers to hardware migration to mobile computing. Virtualization is also a powerful concept on cognitive grounds, requiring considerable abstraction skills and modeling abilities. We present a methodology, a software tool, and a set of instructional resources designed to expose students to virtual machines, focusing on both abstraction and implementation issues. An early version of our methodology appeared in a book form [4] in which we describe how to build a complete computer system - hardware and software - in one semester. Recently we've re-written our VM emulation software and consolidated all our VM materials into a web site that supports a stand-alone module on virtual machines [5]. This module can be plugged into many system-oriented CS courses. All the resources that we present are freely available in open source and are presently used successfully in several universities.
Future direction of incremental association rules mining
Authors: Ahmed Emam
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

Data mining has been attracted much attention from practitioners and researchers in recent years. Association rules are one of the most important research areas of data mining. Association Rule Mining (ARM) aims to discovers the relationship between the most frequent itemsets. Many algorithms have been developed for mining static datasets. It is nontrivial to maintain such discovered rules from large datasets, this was the main idea behind Incremental Association Rules Mining (IARM), which recently has received much attention from the Data Mining researcher. In this paper, a survey of Incremental Association Rule Mining (IARM) techniques and algorithms that had been developed are categorized and analyzed.
Constraint-based tutors: a success story
Authors: Tanja Mitrovic
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Constraint-based modelling (CBM) was proposed in 1992 as a way of overcoming the intractable nature of student modelling. Originally, Ohlsson viewed CBM as an approach to developing short-term student models. In this talk, I will illustrate how we have extended CBM to support both short-and long-term models, and developed methodology for using such models to make various pedagogical decisions. In particular, I will present several successful constraint-based tutors built for a various procedural and non-procedural domains. I will illustrate how constraint-based modelling supports learning and meta-cognitive skills, and present current project within the Intelligent Computer Tutoring Group.
Serious Games for Language Learning: How Much Game, How Much AI?
Authors: W. Lewis Johnson, Hannes Vilhjalmsson, Stacy Marsella
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term user engagement and motivation. These techniques are increasingly being employed in so-called serious games, games that have non-entertainment purposes such as education or training. Although such games share the goal of AIED of promoting deep learner engagement with subject matter, the techniques employed are very different. Can AIED technologies complement and enhance serious game design techniques, or does good serious game design render AIED techniques superfluous? This paper explores these questions in the context of the Tactical Language Training System (TLTS), a program that supports rapid acquisition of foreign language and cultural skills. The TLTS combines game design principles and game development tools with learner modelling, pedagogical agents, and pedagogical dramas. Learners carry out missions in a simulated game world, interacting with non-player characters. A virtual aide assists the learners if they run into difficulties, and gives performance feedback in the context of preparatory exercises. Artificial intelligence plays a key role in controlling the behaviour of the non-player characters in the game; intelligent tutoring provides supplementary scaffolding.