ppxscal/embedding_network huggingface dataset:
eThemes: An Internet Instructional Resource
Authors: Laura Diggs, John Wedman
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 paper describes a major initiative to support teachers in integrating Internet resources into the instructional process while shifting their instruction to a more constructivist approach. This paper also presents the background of this initiative and results of a study to determine teacher perceptions of this initiative. Referred to as eThemes, this service accepts requests from teachers, finds Web sites that meet the requirements specified in the requests, and creates an archive of quality Internet resources for easy access and searching. It minimizes teachers' resource-seeking time and maximizes their resource-using time in their instruction to enhance teaching practice and student performance.
Finite difference methods for an anisotropic phase field model
Authors: Chr A. Sfyrakis
Venue: Proceedings of the 10th WSEAS international conference on Mathematics and computers in biology and chemistry (2009)

We consider the phase field model consisting of the system of p.d.e's q(θ)Φt = ∇ ċ (A(θ)∇Φ) + f(Φ, u), ut = Δu + [p(Φ)]t, where Φ = Φ(x, y, t) is the phase indicator funtions, θ = arctan (Φy/ Φx), u = u(x, y, t) is the temperature, q, p, and f are given scalar function, and A is a 2 × 2 matrix of given function of θ. This system describes the evolution of phase and temperature in a two-phase medium, and is posed for t ≥ 0 on a rectangle in the x, y plane with approritate boundary and intial conditions. We solve the system using two finite difference methods. The first method is based on the explicit Euler scheme for the first equation and the Crank-Nicolson-ADI method for the second. The other method uses for both equations the Crank-Nicolson-ADI scheme. We state a convergence result for the first method and show result of numerical experiments verifying the order of convergence of both method.
Fine-grained updates in database management systems for flash memory
Authors: Zhen He, Prakash Veeraraghavan
Venue: Information Sciences: an International Journal (2009)

The growing storage capacity of flash memory (up to 640GB) and the proliferation of small mobile devices such as PDAs and mobile phones makes it attractive to build database management systems (DBMSs) on top of flash memory. However, most existing DBMSs are designed to run on hard disk drives. The unique characteristics of flash memory make the direct application of these existing DBMSs to flash memory very energy inefficient and slow. The relatively few DBMSs that are designed for flash suffer from two major short-comings. First, they do not take full advantage of the fact that updates to tuples usually only involve a small percentage of the attributes. A tuple refers to a row of a table in a database. Second, they do not cater for the asymmetry of write versus read costs of flash memory when designing the buffer replacement algorithm. In this paper, we have developed algorithms that address both of these short-comings. We overcome the first short-coming by partitioning tables into columns and then group the columns based on which columns are read or updated together. To this end, we developed an algorithm that uses a cost-based approach, which produces optimal column groupings for a given workload. We also propose a heuristic solution to the partitioning problem. The second short-coming is overcome by the design of the buffer replacement algorithm that automatically determines which page to evict from buffer based on a cost model that minimizes the expected read and write energy usage. Experiments using the TPC-C benchmark [S.T. Leutenegger, D. Dias, A modeling study of the TPC-C benchmark, in: Proceedings of ACM SIGMOD, 1993, pp. 22-31] show that our approach produces up to 40-fold in energy usage savings compared to the state-of-the-art in-page logging approach.
A virtual layout system integrated with polar coordinates-based genetic algorithm
Authors: Ya-Bo Luo
Venue: International Journal of Computer Applications in Technology (2009)

The Machine Layout Problem (MLP) is faced with two difficulties: first, the uncertainty of constringency in mathematical methodology and second, the difficulty in accuracy location. This research takes the advantage of the polar coordinates system, which can well keep the relative hereditary factors in the design variables, to solve the problem of constringency, and takes the virtual reality technology to solve the problem of visualised detailed location. First, the construction of optimisation model for MLP is proposed, and then based on which the polar coordinates-based Genetic Algorithm (GA) methodology is presented to improve the efficiency of constringency. Second, the virtual layout tactics are proposed to realise the visualised accuracy location, which take the results from GA as initial values. Contrastive experiments demonstrate the combination of the polar coordinates-based GA and the virtual layout has improved the efficiency of constringency and the practical function of detailed locations.
Propagation, detection and containment of mobile malware
Authors: Kang G. Shin
Venue:  (2008)

Today's enterprise systems and networks are frequent targets of malicious attacks, such as worms, viruses, spyware and intrusions that can disrupt, or even disable critical services. Recent trends suggest that by combining spyware as a malicious payload with worms as a delivery mechanism, malicious programs can potentially be used for industrial espionage and identity theft. The problem is compounded further by the increasing convergence of wired, wireless and cellular networks, since virus writers can now write malware that can crossover from one network segment to another, exploiting services and vulnerabilities specific to each network. This dissertation makes four primary contributions. First, it builds more accurate malware propagation models for emerging hybrid malware (i.e., malware that use multiple propagation vectors such as Bluetooth, Email, Peer-to-Peer, Instant Messaging, etc.), addressing key propagation factors such as heterogeneity of nodes, services and user mobility within the network. Second, it develops a proactive containment framework based on group-behavior of hosts against such malicious agents in an enterprise setting. The majority of today's anti-virus solutions are reactive, i.e., these are activated only after a malicious activity has been detected at a node in the network. In contrast, proactive containment has the potential of closing the vulnerable services ahead of infection, and thereby halting the spread of the malware. Third, we study (1) the current-generation mobile viruses and worms that target SMS/MMS messaging and Bluetooth on handsets, and the corresponding exploits, and (2) their potential impact in a large SMS provider network using real-life SMS network data. Finally, we propose a new behavioral approach for detecting emerging malware targeting mobile handsets. Our approach is based on the concept of generalized behavioral patterns instead of traditional signature-based detection. The signature-based methods are not scalable for deployment in mobile devices due to limited resources available on today's typical handsets. Further, we demonstrate that the behavioral approach not only has a compact footprint, but also can detect new classes of malware that combine some features from existing classes of malware.
G12 - Towards the Separation of Problem Modelling and Problem Solving
Authors: Mark Wallace
Venue: Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2009)

This paper presents the G12 large scale optimisation software platform, and discusses aspects of its architecture.
APEINTA: a spanish educational project aiming for inclusive education in and out of the classroom
Authors: Ana Iglesias, Lourdes Moreno, Pablo Revuelta, Javier Jiménez
Venue: ACM SIGCSE Bulletin (2009)

APEINTA is a Spanish educational project founded by the Spanish Minister of Education and Sciences that aims for inclusive education for every student of all abilities in and out of the classroom. In this work, the APEINTA project is presented
A mobile location-based information recommendation system based on GPS and WEB2.0 services
Authors: Fan Yang, Zhi-Mei Wang
Venue: WSEAS Transactions on Computers (2009)

Combining the GPS location-based services and the latest Web2.0 technologies, this paper builds a scalable personalized mobile information pushing platform, which can provide user-friendly and flexible location-based service. We first propose a Location-based Data and Service Middleware based on Service-Oriented Architecture in order to implement Mobile Information Pushing System involved in a variety of formats of data integration and conversion, as well as a combination of a wide range of services. Then, we propose a novel 3-D Tag-Cloud module, so that it can visualize useful retrieval information even in the limited mobile screen. Especially, we design a multi-dimensional collaborative filtering algorithms, in order to achieve dynamic personalized recommendation and mobile information sharing. Cooperating with some restuarants, we also develop a dynamic restaurant mobile location-based recommendation and discount counpons pushing system. The successful application of the application system do show the efficiency of our ideas.
Control of a radiative furnace under precise and uncertainty conditions
Authors: Peyman Nazarian
Venue: WSEAS Transactions on Systems and Control (2009)

This paper discusses the control of a radiative furnace under precise and imprecise modeling. Regarding nonlinearity nature of the process, in the precise case, feedback linearization technique is applied to the furnace and under uncertainty conditions, sliding mode control is used. The conditions are completely practical and have gained from an industrial process.
Understanding distributed denial of service with object oriented simulation
Authors: José M. Garrido
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

Object-oriented modeling and simulation enhance the study and understanding of the general behavior of attacks in networks, specifically Distributed Denial of Service (DDoS). This paper presents a simulation model of a DDoS attack on a network and with it attempts to show the value of object-oriented modeling and simulation to study various aspects of network security. The DDoS network simulation model is implemented in the OOSimL simulation language. Other network models have been implemented in Java with the PsimJ2 and C++ using the Psim3 simulation package. The development of the DDoS simulation model mentioned previously is part of the OOPsim Project. One of the goals of this project is to develop new simulation tools and approaches for education, the Object Oriented Simulation Language, OOSimL, was developed with this goal. Another goal is to construct a multi-disciplinary repository of computational models and resources that help educate students of computer science, software engineering, information technology, and related disciplines, in modeling various aspects of information security.
Fuzzy modeling and control of basis weight of paper using simulink
Authors: Anamika Bhatia, M. C. Bansal, S. Mukherjee
Venue: Proceedings of the 10th WSEAS international conference on Fuzzy systems (2009)

This present paper is an efficient solution to control the basis weight of paper in pulp and paper industry using a fuzzy logic controller. The traditional systems are based on operator's experience and data provided by the mill. The decision of the operator is not exact but good enough or appropriate. Fuzzy Logic offers a promising solution to this conceptual design through fuzzy modeling. Fuzzy logic control systems, as is known, are designed with the intension of replacing an expert human operator with an automated ruled-based system. In this paper, simulation tools have been reviewed and the output of the system is analyzed by simulation for basis weight control.
Object motion detection using information theoretic spatio-temporal saliency
Authors: Chang Liu, Pong C. Yuen, Guoping Qiu
Venue: Pattern Recognition (2009)

This paper proposes to employ the visual saliency for moving object detection via direct analysis from videos. Object saliency is represented by an information saliency map (ISM), which is calculated from spatio-temporal volumes. Both spatial and temporal saliencies are calculated and a dynamic fusion method developed for combination. We use dimensionality reduction and kernel density estimation to develop an efficient information theoretic based procedure for constructing the ISM. The ISM is then used for detecting foreground objects. Three publicly available visual surveillance databases, namely CAVIAR, PETS and OTCBVS-BENCH are selected for evaluation. Experimental results show that the proposed method is robust for both fast and slow moving object detection under illumination changes. The average detection rates are 95.42% and 95.81% while the false detection rates are 2.06% and 2.40% in CAVIAR (INRIA entrance hall and shopping center) dataset and OTCBVS-BENCH database, respectively. The average processing speed is 6.6fps with frame resolution 320x240 in a typical Pentium IV computer.
Image copyright protection with forward error correction
Authors: Wei-Hung Lin, Shi-Jinn Horng, Tzong-Wann Kao, Rong-Jian Chen, Yuan-Hsin Chen, Cheng-Ling Lee, Takao Terano
Venue: Expert Systems with Applications: An International Journal (2009)

A copyright protection method for digital image with 1/T rate forward error correction (FEC) is proposed in this paper. In this method, the original image is lossless and the watermark is robust to malicious attacks including geometric attacks such as scaling, rotation, cropping, print-photocopy-scan, and scaling-cropping attacks and nongeometric attacks such as low-pass filtering, sharpening, JPEG compression attacks. The watermark logo is fused with noise bits to improve the security, and later XORed with the feature value of the image by 1/T rate FEC. During extraction, the watermark bits are determined by majority voting, and the extraction procedure needs neither the original image nor the watermark logo. Experimental results show that not only the image is lossless but also the proposed method can effectively resist the common malicious attacks. Since the proposed method is based on spatial domain and there is no need to do frequency transform, the embedding and extraction performances are quite improved.
Semi-supervised Learning with Multimodal Perturbation
Authors: Lei Su, Hongzhi Liao, Zhengtao Yu, Jiahua Tang
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

In this paper, a new co-training style semi-supervised algorithm is proposed, which employs Bagging based multimodal perturbation to label the unlabeled data. In detail, through perturbing the training data, input attributes and learning parameters together, the algorithm generates accurate but diversity k-nearest neighbor classifiers. These classifiers are refined using unlabeled examples which are labeled if the other classifiers agree on the labeling. Experimental results show that the semi-supervised algorithm could effectively improve the classification generalization by utilizing the unlabeled data.
Automatic rigging for animation characters with 3D silhouette
Authors: JunJun Pan, Xiaosong Yang, Xin Xie, Philip Willis, Jian J. Zhang
Venue: Computer Animation and Virtual Worlds (2009)

Animating an articulated 3D character requires the specification of its interior skeleton structure which defines how the skin surface is deformed during animation. Currently this task is to a large extent accomplished manually, which consumes a large amount of animators' time. This paper presents an automatic rigging method making use of a new geometry entity called the 3D silhouette. The first step is to extract a coarse 3D curve skeleton and some skeletal joints of a character. This curve skeleton is then refined with a perpendicular silhouette. According to the connectivity of the skeletal joints, the hierarchical animation skeleton is finally constructed. By avoiding complicated computation such as voxelization and pruning, this method is simple and efficient, much faster than existing methods. It proves very useful for quick animation production, with applications including games design and prototype graphical systems. Copyright &copy; 2009 John Wiley & Sons, Ltd. Generating animation skeleton of a hand model with our method: (a) Original mode, (b) Primary 3D silhouette, (c) 3D medial axis of hand through constrained Delaunay triangulation, (d) Decomposition result, (e) Curve skeleton and key skeleton points, (f) Animation skeleton.
Pattern languages in the wild: exploring pattern languages in the laboratory and in the real world
Authors: Christine E. Wania, Michael E. Atwood
Venue: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology (2009)

For more than two decades much of the pattern language literature, within the field of Human Computer Interaction (HCI), has focused on the possible benefits pattern languages may provide, but there has been very little empirical work to support these claims. In fact, existing controlled studies show practically no benefit of using pattern languages in design. Despite this lack of evidence, interest in pattern languages continues. In this paper we examine how pattern languages are used in experimental settings and in the real world. We explore two questions here: Are pattern languages real? Are pattern languages useful? We argue that the answer to both of these questions is yes. As a community, we believe that we have been looking in the wrong places to find evidence of pattern languages and have been looking for the wrong benefits. Said differently, we have been overlooking the existence of and the benefits of pattern languages. This study began exploring pattern languages in a laboratory setting, but then continued that exploration in a real setting where we encountered evidence of the existence of pattern languages and of their benefits. By continuing these explorations, we argue that, the HCI community will then begin to see the benefits from all the great efforts in this area.
Dynamics of two classes of recursive sequences
Authors: Bin Zhao
Venue: Computers Mathematics with Applications (2009)

We investigate the dynamics of two classes of recursive sequences: x"n"+"1=@?j=0k@?(i"0,i"1,...,i"2"j)@?A"2"jx"n"-"i"""0x"n"-"i"""1...x"n"-"i"""2"""j+b@?j=1k@?(i"0,i"1,...,i"2"j"-"1)@?A"2"j"-"1x"n"-"i"""0x"n"-"i"""1...x"n"-"i"""2"""j"""-"""1+1+b, and x"n"+"1=@?j=1k@?(i"0,i"1,...,i"2"j"-"1)@?A"2"j"-"1x"n"-"i"""0x"n"-"i"""1...x"n"-"i"""2"""j"""-"""1+1+b@?j=0k@?(i"0,i"1,...,i"2"j)@?A"2"jx"n"-"i"""0x"n"-"i"""1...x"n"-"i"""2"""j+b. We prove that their unique equilibrium x@?=1 is globally asymptotically stable. In addition, a new approach is presented to research the theory of recursive sequences.
Value Based Argumentation in Hierarchical Argumentation Frameworks
Authors: S. Modgil
Venue: Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006 (2006)

Hierarchical argumentation frameworks organise Dung argumentation frameworks into a hierarchy so that argumentation over preference information in a level n Dung framework is used to resolve conflicts between arguments in a level n-1 framework. In this paper we formalise and extend value based argumentation [1] in a hierarchical argumentation framework and illustrate application of the resulting framework to argumentation over action.
Practical WPF Graphics Programming
Authors: Jack Xu
Venue:  (2007)

The Windows Presentation Foundation (WPF) is a next generation graphics platform that is part of .NET 3.0 and .NET 3.5. It allows you to build advanced user interfaces that incorporate documents, media, 2D and 3D graphics, animations, and web-like characteristics. "Practical WPF Graphics Programming" provides all the tools you need to develop professional graphics applications using WPF and C#. This book will be useful for WPF and C# programmers of all skill levels. It provides a complete and comprehensive explanation of the WPF graphics capability, and pays special attention to the details of code implementation. The book shows you how to create a variety of graphics ranging from simple 2D shapes to complex 3D surfaces and interactive 3D models. It includes over 120 code examples, which cover broad array of topics on WPF graphics programming. You will learn how to create a full range of 2D and 3D graphics applications and how to implement custom 3D geometries and shapes that can be reused in your WPF projects. Please visit the author's website for more information about this book at www.authors.unicadpublish.com/~jack_xu. 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
Formal Verification of Graph Grammars using Mathematical Induction
Authors: Simone André da Costa, Leila Ribeiro
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Graph grammars are a formal description technique suitable for the specification of distributed and reactive systems. Model-checking of graph grammars is currently supported by various approaches. However, in many situations the use of this technique can be very time and space consuming, hindering the verification of properties of many systems. This work proposes a relational and logical approach to graph grammars that allows formal verification of systems using mathematical induction. We use relational structures to define graph grammars and first-order logic to model graph transformations. This approach allows proving properties of systems with infinite state-spaces.