ppxscal/embedding_network huggingface dataset:
Location privacy in mobile IPv6 distributed authentication protocol using mobile home agents
Authors: Andrew Georgiades, Yuan Luo, Aboubaker Lasebae, Richard Comley
Venue: Proceedings of the 8th WSEAS international conference on Electronics, hardware, wireless and optical communication (2009)

Mobile IPv6 will be the basis for the fourth generation 4G networks which will completely revolutionize the way telecommunication devices operate. This paradigm shift will occur due to the sole use of packed switching networks. Mobile IPv6 utilizes binding updates as a route optimization to reduced triangle routing between the mobile node, the home agent and the correspondent node, allowing direct communication between the mobile node and the correspondent. However, direct communication between the nodes produces a range of security vulnerabilities, which the home agent avoided. This paper attempts to provide the advantages of using the home agent as an intermediary whilst reducing the latency of triangle routing. This can be achieved with the proposed use of a mobile home agent which essentially follows the mobile node as it moves between points of attachment providing location privacy and pseudo-direct communication, which can be incorporated into the distributed authentication protocol or be used as a stand alone solution.
Optimization scheduling of MPEG-4 FGS video coding stream under the feasible mandatory constraint
Authors: Huey-Min Sun, Lihchyun Shu
Venue: Multimedia Tools and Applications (2009)

MPEG-4 video coding stream with Fine Granularity Scalability (FGS) can be flexibly dropped by very fine granularity so as to adapt to the available network bandwidth. The MPEG-4 FGS model is similar to the imprecise computation model originally proposed in the real-time scheduling field. In both models, it is required that all the mandatory tasks be completely scheduled before their deadlines even in the worst case, which is called the feasible mandatory constraint. The problem is how to maximize the number of the scheduled tasks based on the importance of tasks and to satisfy the feasible mandatory constraint. We adapt the existing unit-time tasks scheduling algorithm to address the problem by using a weighted assignment scheme that adds constant weights to mandatory tasks. Under the feasible mandatory constraint, we prove that the proposed algorithm maximizes the total weights of the scheduled tasks, and all mandatory tasks are guaranteed to be completely scheduled before their deadlines. The experimental results show the performance of the video quality for our scheduling algorithm by the measurements of Peak Signal to Noise Ratio (PSNR).
Methodologies for advance warning of compute cluster problems via statistical analysis: a case study
Authors: Jim Brandt, Ann Gentile, Jackson Mayo, Philippe Pébay, Diana Roe, David Thompson, Matthew Wong
Venue: Proceedings of the 2009 workshop on Resiliency in high performance (2009)

The ability to predict impending failures (hardware or software) on large scale high performance compute (HPC) platforms, augmented by checkpoint mechanisms could drastically increase the scalability of applications and efficiency of platforms. In this paper we present our findings and methodologies employed to date in our search for reliable, advance indicators of failures on a 288 node, 4608 core, Opteron based cluster in production use at Sandia National Laboratories. In support of this effort we have deployed OVIS, a Sandia-developed scalable HPC monitoring, analysis, and visualization tool designed for this purpose. We demonstrate that for a particular error case, statistical analysis using OVIS would enable advanced warning of cluster problems on timescales that would enable application and system administrator response in advance of errors, subsequent system error log reporting, and job failures. This is significant as the utility of detecting such indicators depends on how far in advance of failure they can be recognized and how reliable they are.
Meta-models for misuse cases
Authors: Mark Hartong, Rajni Goel, Duminda Wijesekera
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

Misuse Cases are recent UML constructs that can be used to specify the mal-acts against which a requirements engineer seeks guarantees from the designer. However, Misuse Cases have not been formally adopted in UML, and therefore lack a formal meta-model. This paper proposes a meta-model that covers graphical, textual and OCL models for Misuse Cases that augments the existing UML 2.0 Use Case meta-models.
Evaluation of a Constraint-based Error Diagnosis System for Logic Programming
Authors: Nguyen-Thinh Le
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

We applied the constraint-based approach to develop a web-based diagnosis system for Prolog. This paper introduces the evaluation results which reflects the current efficacy of our system. We gathered 261 log files which are created by 99 users and contain records of interactions with the system. In addition, we present the common problems of Prolog novice programmers, as well as strengths and limitations of this approach.
Comparing internal and external software quality measurements
Authors: Dimitris Stavrinoudis, Michalis Xenos
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

Modern software development companies that have a quality assurance program use measurements and standards to improve product quality as perceived by the users of these products. However, during the entire software life cycle, except for the final customers, different types of 'users' also appear. This paper firstly shows the different views of software quality of these types of users. It also presents the internal and external measurement methods that we used in order to measure the users' opinion of software quality, the benefits and drawbacks of each method, as well as information concerning the techniques used to conduct internal and external measurements. Surveys and examples showing whether software metrics and external views of quality are correlated are also presented. The aim of this paper is to determine up to what point and in which cases can we rely on software metrics in order to define the users' perception of software quality.
A fuzzy logic system for home elderly people monitoring (EMUTEM)
Authors: Hamid Medjahed, Dan Istrate, Jerome Boudy, Bernadette Dorizzi
Venue: Proceedings of the 10th WSEAS international conference on Fuzzy systems (2009)

The purpose of this paper is to present a view of a telemonitoring system based on fuzzy logic for distress situations detection of elderly people living alone in the home environment. This system includes three different sensors: physiological sensors (cardiac frequency, activity or agitation, posture and fall detection sensor), microphones and infrared sensors. Taking into account the difficulty of the statistical modeling of abnormal situation and considering that the Fuzzy Logic has been actually used with success in the development of classifier and analysis of control systems, its use in the decision fusion module of our home elderly people monitoring system is presented and evaluated in this paper.
A stochastic model for generating disturbance patterns within landscapes
Authors: Z. L. Krougly, I. F. Creed, D. A. Stanford
Venue: Computers Geosciences (2009)

A stochastic model for generating disturbances in landscapes that interfaces with geographic information systems (GIS) is presented. The model operates on a lattice (rectangular array of points) using a space-time Markov process, which gives a stochastic simulation of growth patterns in terms of parameters of the local region. The model generates disturbance patterns on the landscape based on user-defined inputs of the total area disturbed and the number of patches to be disturbed. The model is developed in a C++ software package named ''TDsimulator'' (''Terrain Disturbance Simulator'') which can be used to predict changes in landscape cover under a variety of stochastic scenarios. The software comprises a set of GIS routines that collectively yield the disturbance patterns. A demonstration of the stochastic model is provided for simulating fire behaviour in a forested landscape. The numerical examples illustrate the total disturbance impact under different initial conditions and scenarios.
Developing Web Application to Support Effective Recycling and Material Circulation
Authors: Sang-Jae Song
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

This paper proposes a new perspective on improving product service and maintenance through effective utilization of feedback information on recycling in the whole product life cycle stage. To develop an analytical model and tools, simulation optimization techniques are considered, and diagnosis based on alarm conditions and acknowledging warnings indicates is also developed to continuously improve in less energy consumption and environmental impacts.
A Study of Curriculum Implementation and School Culture in the Information Age
Authors: Shinn-Rong Lin, Hsiao-Ting Teng, Huei-Chuan Lin, Chuang-Chieh Chiu
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

This study explores curriculum implementation and school culture in the information age, and explores the implied meaning of organizational culture that is proposed by Schein (1992,2004), namely, artifacts, espoused beliefs and values, and underlying assumptions. The study sample composed of two schools. One of the sampled schools is famous for its performance in integrating information technology into teaching and for having an abundance of hardware, software, and so on. Meanwhilethe other school lacked sufficient IT hardware. Participant observations in-depth interviews, document analysis, and a focus group interview were used to obtain data. The artifacts included in preliminary results were computers and IT equipment, instructional websites, and computer arrangement in terms of teacher's instructional perspective. The level of espoused beliefs and values includes collaboration and sharing experience, and the transformation of instructional paradigm (from teacher-center instruction to student-center instruction). Finally, the level of underlying assumptions includes space, time and enhancing the instructional effectiveness of IT.
Electronic and Electrical Servicing, Second Edition: Consumer and Commercial Electronics, 2nd edition
Authors: Ian Sinclair, John Dunton
Venue:  (2007)

Electronic and Electrical Servicing provides a thorough grounding in the electronics and electrical principles required by service engineers servicing home entertainment equipment such as TVs, CD and DVD machines, as well as commercial equipment including PCs.In the printed book, this new edition covers all the core units of the Level 2 Progression Award in Electrical and Electronics Servicing (Consumer/Commercial Electronics) from City & Guilds (C&G 6958), plus two of the option units. For those students who wish to progress to Level 3, a further set of chapters covering all the core units at this level is available as a free download from the book's companion website or as a print-on-demand book. The book and website material also offer a fully up-to-date course text for the City & Guilds 1687 NVQs at Levels 2 and 3.The book contains numerous worked examples to help students grasp the principles. Each chapter ends with review questions, for which answers are provided at the end of the book, so that students can check their learning.Level 2 units covered in the book:Unit 1 - d.c. technology, components and circuitsUnit 2 - a.c. technology and electronic componentsUnit 3 - Electronic devices and testingUnit 4 - Electronic systemsUnit 5 - Digital electronicsUnit 6 - Radio and television systems technologyUnit 8 - PC technologyIan Sinclair has been an author of market-leading books for electronic servicing courses for over 20 years, helping many thousands of students through their college course and NVQs into successful careers. Now with a new co-author, John Dunton, the new edition has been brought fully up-to-date to reflect the most recent technical advances and developments within the service engineering industry, in particular with regard to television and PC servicing and technology.Level 3 units covered in free downloads at http://books.elsevier.com/companions/9780750669887:Unit 1 - Electronic principlesUnit 2 - Test and measurementUnit 3 - Analogue electronicsUnit 4 - Digital electronics * Complete coverage of the core units of the 6958 PA syllabus, along with the most popular option units - PC Technology and Radio & TV Systems Technology* Level 2 material covered in the printed book; Level 3 material available as free downloads and as a print-on-demand book* A new edition of a title which has been the market leading electronic servicing text for over 20 years
Comparison of I/O scheduling algorithms for high parallelism MEMS-based storage devices
Authors: Eunji Lee, Kern Koh, Hyunkyoung Choi, Hyokyung Bahn
Venue: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems (2009)

MEMS-based storage is one of the leading candidates as tomorrow's storage medium due to its salient characteristics such as high-parallelism, high density, and low-power consumption. Because physical structures of MEMS-based storage is different from those of hard disks, new software management techniques for MEMS-based storage are needed. Specifically, MEMS-based storage has thousands of parallel-activating heads, which requires parallelism-aware request scheduling algorithms to maximize the performance of the storage media. In this paper, we compare various versions of I/O scheduling algorithms that exploit high-parallelism of MEMS-based storage devices. Trace-driven simulations show that parallelism-aware algorithms can be effectively used for high capacity mass storage servers because they perform better than other algorithms in terms of the average response time when the workload intensity becomes heavy.
Classifying temporal relations between events
Authors: Nathanael Chambers, Shan Wang, Dan Jurafsky
Venue: Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions (2007)

This paper describes a fully automatic two-stage machine learning architecture that learns temporal relations between pairs of events. The first stage learns the temporal attributes of single event descriptions, such as tense, grammatical aspect, and aspectual class. These imperfect guesses, combined with other linguistic features, are then used in a second stage to classify the temporal relationship between two events. We present both an analysis of our new features and results on the TimeBank Corpus that is 3% higher than previous work that used perfect human tagged features.
Multilingual Question Classification based on surface text features
Authors: E. Bisbal, D. Tomás, L. Moreno, J. L. Vicedo, A. Suárez
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

This paper presents a multilingual approach to Question Classification based on machine learning, using language independent features. This way we obtain a system flexible and easily adaptable to new languages. Using a parallel corpus in English and Spanish, we test the performance of the system with three different techniques: Support Vector Machines,Memory-based Learning and Maximum Entropy.
A Discrete Event Control Based on EVALPSN Stable Model
Authors: Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki
Venue: Proceeding of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 (2005)

In this paper, we introduce a typical discrete event control example, Cat and Mouse problem can be controlled by EVALPSN stable model computation. First we show the Cat and Mouse example can be easily formalized as an EVALPSN whose stable models provide its control. Generally, stable model computation takes long time and not so appropriate for real-time control. Therefore, in order to realize real-time control for the Cat and Mouse example, we consider a restricted subset of the stable models.
Distribution υ(x) and properties with control engineering applications
Authors: Emil Pop, Monica Leba
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

Based on distributions definition, a new distribution Υ(x) is introduced using segments string limit and switch operators, modeled and simulated. For this distribution, new properties are developed and verified by simulation. Using this distribution and its properties, a complex nonlinear controller was synthesized, modeled, simulated and applied to design a pulse amplitude modulation controller. The proposed solution based on Υ(x) distribution solves this problem in a robust and simple manner. This controller can be easily coded using a microcontroller or an HDL ASIC embedded solution.
Enumeration of parallel manipulators
Authors: Roberto Simoni, Andrea piga Carboni, Daniel Martins
Venue: Robotica (2009)

In this paper, we present a new method of enumeration of parallel manipulators with one end-effector. The method consists of enumerating all the manipulators possible with one end-effector that a single kinematic chain can originate. A very useful simplification for kinematic chain, mechanism and manipulator enumeration is their representation through graphs. The method is based on group theory where abstract structures are used to capture the internal symmetry of a structure in the form of automorphisms of a group. The concept used is orbits of the group of automorphisms of a colored vertex graph. The theory and some examples are presented to illustrate the method.
Economical green product design based on simplified computer-aided product structure variation
Authors: Chih-Hsing Chu, Yuan-Ping Luh, Tze-Chang Li, Hom Chen
Venue: Computers in Industry (2009)

Environmental issues have become an imperative concern for most companies in relation to modern product development. Special procedures have to be taken during the product development process to comply with recent green directives. Product structure is recognized as a critical factor that provides effective means for reducing environmental impact in product end-of-life. However, most previous studies failed to leverage the vast latitude at the design stage due to the assumption of a fixed product structure. To overcome this deficiency, we propose a CAD-based approach that allows automatic variation of 3D product structure by means of changing the combination of parts, selecting the assembly method, and rearranging the assembly sequence. A computing scheme uses Genetic Algorithm (GA) techniques to produce an optimal product structure from the design alternatives generated by the approach. This corresponds to lower assembly/disassembly costs, while complying with specified recycling and recovering rates. The scheme also chooses a smaller set of parts that needs to be disassembled and determines an economical disassembly process. Implemented in a commercial CAD system, the test results demonstrated the effectiveness of this scheme in green product design in a cost-effective manner.
Irregular Assignment Computations on cc-NUMA Multiprocessors
Authors: Manuel Arenaz, Juan Touriño, Ramón Doallo
Venue: Proceedings of the 4th International Symposium on High Performance Computing (2009)

This paper addresses the parallelization of loops with irregular assignment computations on cc-NUMA multiprocessors. This loop pattern is distinguished by the existence of loop-carried output data dependences that can only be detected at run-time. A parallelization technique based on the inspector-executor model is proposed in this paper. In the inspector, loop iterations are reordered so that they can be executed in a conflict-free manner during the executor stage. The design of the inspector ensures load-balancing and uniprocessor data write locality exploitation. Experimental results show the scalability of this technique, which is presented as a clear alternative to other existing methods.
And the ringleaders were banned: an examination of protest in virtual worlds
Authors: Bridget M. Blodgett
Venue: Proceedings of the fourth international conference on Communities and technologies (2009)

Protest has made the jump between the offline and the online spaces and is frequently used in most virtual worlds available today. Despite the frequency of these protest actions in virtual worlds, and their similarities to offline protest actions, further research is needed to see how the adaptation to a virtual environment changes the protest. This research uses case studies to examine several major protest actions that have occurred in several different virtual worlds over the last 10 years. The author finds that the use of the technology in virtual world enables very different methods of protest. She makes the argument that these differences are large enough that they require a deeper exploration and grounding in theoretical models for the field to grow into its potential.
Complex network discovery: router-level internet topology mapping
Authors: Kamil Sarac
Venue:  (2008)

Understanding the topological characteristics of the Internet has been an important research issue. This understanding is not simply an intellectual curiosity but also a necessity to better design, implement, and operate the underlying network technologies, protocols, and services. It is also a requirement for protection of critical infrastructures that depend on the Internet. In general, Internet topology measurement studies involve three phases: topology collection, topology construction, and topology analysis. The first step is to collect topology information using various measurement approaches. In topology construction step, raw data obtained in the topology collection phase is converted into a corresponding topology map. Finally, the constructed network topologies are analyzed. This dissertation presents my work on topology construction from collected measurement data in the context of router-level Internet topology discovery. In general, there are several challenges in accurately sampling the Internet topology, and it includes resolving anonymous routers, IP aliases and underlying subnets. These tasks especially become challenging when large scale topologies of millions of nodes are studied. In this dissertation, I analyze each of these tasks and propose efficient algorithms to resolve them. Finally, I point out the need for characteristic oriented sampling for the measurement study at hand. I point out that one should be careful in collecting raw topology data and in constructing the corresponding network depending on the goals of the study and challenges in the sampling approach. These challenges are especially important where there is lack of methodologies to verify the correctness of topology collection and topology construction mechanisms.