ppxscal/embedding_network huggingface dataset:
Emerging Internet Technologies
Authors: Chris Carey, Maurice Draggon, Sheila Ryan, John Lien
Venue:  (2007)

Are your students Digital Natives? Do your students know more about the Internet than you? This book will give you all the tips and tricks to use the latest Internet technologies in your classroom. Each application and service featured in this book can be downloaded or used online for free. Keep up with the Digital Natives in your classrooms, by capturing photos with Flickr, podcasting with Feedburner, or blogging with Blogger. There are handy activities in the back of the book to help both teachers and students become familiar with each of the applications discussed. Each activity is in simple step-by-step directions, including how to use the application as an educational tool. From recording a video on YouTube, to using Wikipedia as a resource for research, this book discusses every tip and trick to make the Internet a powerful tool for the classroom. Emerging Internet Technologies will help you utilize the free applications on the Internet to their fullest potential.
PHP 6 and MySQL 5 for Dynamic Web Sites: Visual QuickPro Guide
Authors: Larry Ullman
Venue:  (2007)

It hasn't taken Web developers long to discover that when it comes to creating dynamic, database-driven Web sites, MySQL and PHP provide a winning open source combination. Add this book to the mix, and there's no limit to the powerful, interactive Web sites that developers can create. With step-by-step instructions, complete scripts, and expert tips to guide readers, veteran author and database designer Larry Ullman gets right down to business: After grounding readers with separate discussions of first the scripting language (PHP) and then the database program (MySQL), he goes on to cover security, sessions and cookies, and using additional Web tools, with several sections devoted to creating sample applications. This guide is indispensable for intermediate- to advanced level Web designers who want to replace their static sites with something dynamic. In this edition, the bulk of the new material covers the latest versions of both technologies: PHP 6 (due out in 2008) and MySQL 5 (available now). The book's publication date is likely to beat the official release of PHP 6, making it one of the first books available on the subject.
A Primal-Dual Approximation Algorithm for Partial Vertex Cover: Making Educated Guesses
Authors: Juli&#x00e1;n Mestre
Venue: Algorithmica (2009)

We study the partial vertex cover problem. Given a graph G=(V,E), a weight function w:V&#x2192;R +, and an integer s, our goal is to cover all but s edges, by picking a set of vertices with minimum weight. The problem is clearly NP-hard as it generalizes the well-known vertex cover problem. We provide a primal-dual 2-approximation algorithm which runs in O(nlog&#x2009;n+m) time. This represents an improvement in running time from the previously known fastest algorithm. Our technique can also be used to get a 2-approximation for a more general version of the problem. In the partial capacitated vertex cover problem each vertex u comes with a capacity k u . A solution consists of a function x:V&#x2192;&#x2115;0 and an orientation of all but s edges, such that the number of edges oriented toward vertex u is at most x u k u . Our objective is to find a cover that minimizes &#x2211;v&#x2208;V x v w v . This is the first 2-approximation for the problem and also runs in O(nlog&#x2009;n+m) time.
FlexCore: Utilizing Exposed Datapath Control for Efficient Computing
Authors: Martin Thuresson, Magnus Själander, Magnus Björk, Lars Svensson, Per Larsson-Edefors, Per Stenstrom
Venue: Journal of Signal Processing Systems (2009)

We introduce FlexCore, the first exemplar of an architecture based on the FlexSoC framework. Comprising the same datapath units found in a conventional five-stage pipeline, the FlexCore has an exposed datapath control and a flexible interconnect to allow the datapath to be dynamically reconfigured as a consequence of code generation. Additionally, the FlexCore allows specialized datapath units to be inserted and utilized within the same architecture and compilation framework. This study shows that, in comparison to a conventional five-stage general-purpose processor, the FlexCore is up to 40% more efficient in terms of cycle count on a set of benchmarks from the embedded application domain. We show that both the fine-grained control and the flexible interconnect contribute to the speedup. Furthermore, according to our VLSI implementation study, the FlexCore architecture offers both time and energy savings. The exposed FlexCore datapath requires a wide control word. The conducted evaluation confirms that this increases the instruction bandwidth and memory footprint. This calls for efficient instruction decoding as proposed in the FlexSoC framework.
Similarity-driven software reuse
Authors: Daniel Bildhauer, Tassilo Horn, Jurgen Ebert
Venue: Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models (2009)

The case-based approach to software reuse in the ReDSeeDS project is based on similarity of requirement specifications. This paper describes the approach for similarity computation and its application in the ReDSeeDS engine. Similarity is determined by a combined approach which uses methods from information retrieval as well as graph similarity measures.
Stability analysis of a time delayed SIR epidemic model with nonlinear incidence rate
Authors: Ram Naresh, Agraj Tripathi, J. M. Tchuenche, Dileep Sharma
Venue: Computers Mathematics with Applications (2009)

Stability of SIR models has been studied extensively within the framework of disease epidemiology. We formulate a nonlinear mathematical model to study the role of nonlinear incidence rates and the effect of time delay in a nonlinear logistically growing time delayed SIR model with variable population size. The existence and stability of the possible equilibria are examined in terms of a certain threshold condition @?"0, the basic reproduction number. For mathematical tractability, the stability of the endemic equilibrium is shown using Lyapunov functional approach with linear incidence rate. Numerical simulations are carried out to investigate the influence of the key parameters on the spread of the disease, to support the analytical conclusion and illustrate possible behavioral scenarios of the model.
Mining comparative genomic hybridization data
Authors: Sanjay Ranka, Tamer Kahveci
Venue:  (2008)

Numerical and structural chromosomal imbalances are one of the most prominent features of neoplastic cells. Thousands of (molecular-) cytogenetic studies of human neoplasias have searched for insights into genetic mechanisms of tumor development and the detection of targets for pharmacologic intervention. It is assumed that repetitive chromosomal aberration patterns reflect the supposed cooperation of a multitude of tumor relevant genes in most malignant diseases. One method for measuring genomic aberrations is Comparative Genomic Hybridization (CGH). CGH is a molecular-cytogenetic analysis method for detecting regions with genomic imbalances (gains or losses of DNA segments). CGH data of an individual tumor can be considered as an ordered list of discrete values, where each value corresponds to a single chromosomal band and denotes one of three aberration statuses (gain, loss and no change). Along with the high dimensionality (around 1000), a key feature of the CGH data is that consecutive values are highly correlated. In this research, we have developed novel data mining methods to exploit these characteristics. We have developed novel algorithms for feature selection, clustering and classification of CGH data sets consisting of samples from multiple cancer types. We have also developed novel methods and models for understanding the progression of cancer. Experimental results on real CGH datasets show the benefits of our methods as compared to existing methods in the literature.
New Verification of Reactive Requirement for Lyee Method
Authors: Osamu Arai, Hamido Fujita
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

Software development in general lacks richness in expressing appropriately the requirement, as well related supportive tools. Despite the advances in this field, the solutions have still not overcome and the proposed way of thinking is far from resolving the problems on software development and maintenance. Recently, a new promising methodology, called Lyee, has been proposed. It aims to generate programs automatically from user requirement. Program structure in terms of Lyee was formalized. However, when requirement and operation are not correct, Lyee program may not perform correctly. Especially, when requirements are reactive type, the validation mechanism have not proposed yet to show correctness or appropriateness of the running requirement. For this purpose, in this paper, the structure of Lyee program with multi SF is linked to process model. The properties that requirement and operation should have are described as a proposition in terms of temporal logic and are verified by such logic. Fairness property of excursion of program is used. New verification of reactive requirement for Lyee Method puts together as a design rule.
Editorial
Authors: Vicenç Torra, Josep Domingo-Ferrer
Venue: Transactions on Data Privacy (2008)

Welcome to the first issue of the Transactions on Data Privacy ! The aim of this peer reviewed journal is to provide an international forum for researchers on all topics related to data privacy technologies. TDP has been created with the ambition of becoming soon a privacy journal indexed in all major scientific databases. A volume of The Transactions on Data Privacy will be published every year. Each volume consists on three issues. The journal will publish original and high quality papers. TDP welcomes archival research papers, comprehensive reviews, authoritative tutorials, short notes and comprehensive book reviews. All papers will be peer-reviewed. The journal will accept submissions from multiple disciplines related to the various aspects of data privacy (e.g. statistics, cryptography, database technology, data communication, etc.). Regarding the application papers, contributions to solving privacy problems in the main application areas (e.g. official statistics, electronic commerce and Internet, healthcare, telecommunications, etc.) are welcome. Papers can be theoretical or applied. TDP starts its publication under the sponsorship of the IIIA-CSIC (Artificial Intelligence Research Institute of the Spanish Higher Research Council), the UNESCO Chair in Data Privacy and the Catalan Association of Artificial Intelligence (an ECCAI member). This first issue includes three papers. The inaugural paper by Lane, Heus, and Mulcahy is a position paper on data access and data privacy. The second paper by Muralidhar and Sarathy is about a perturbative method to protect numerical microdata. The third paper by Smith and Elliot is about the protection of tabular data (aggregated data). In the next issues of this year, papers on synthetic data generation, $k$-anonymity, and software for data protection are scheduled.
Control application for eLearning system
Authors: Krzysztof Tokarz, Piotr Jedrychowski
Venue: Proceedings of the 2nd conference on European computing conference (2008)

This paper presents the concept of the eLearning system developed at the Silesian University of Technology. The system consists of three parts: streaming server, control application and presentation application. The system is similar to videoconference with capability of using audio, video and text messages channels in both directions, from teacher to students and reverse but it has been designed to allow implementation of features needed by handicapped persons. Teacher can present the lecture in traditional classroom with concurrent transmission to remote students using the Internet. In this paper the description of whole system and control application has been presented.
A persistent cross-platform class objects container for C++ and wxWidgets
Authors: Michal Bližňák, Tomáš Dulík, Vladimír Vašek
Venue: WSEAS Transactions on Computers (2009)

This paper introduces a new open-source cross-platform software library written in C++ programming language which is able to serialize and deserialize hierarchically arranged class instances and their data members via XML files. The library provides easy and efficient way for processing, storing and managing complex object-oriented data with relationships between object instances. The library is based on mature cross-platform toolkit called wxWidgets and thus can be successfully used on many target platforms such as MS Windows, Linux or OS X. The library is published under open source licence and can be freely utilised in both open source and commercial projects. In this article, we describe the inner structure of the library, its key algorithms and principles and also demonstrate its usage on a set of simple examples.
Do Performance Goals Lead Students to Game the System?
Authors: Ryan Shaun Baker, Ido Roll, Albert T. Corbett, Kenneth R. Koedinger
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Students approach the learning opportunity offered by intelligent tutoring systems with a variety of goals and attitudes. These goals and attitudes can substantially affect students' behavior within the tutor, and how much the student learns. One behavior that has been found to be associated with poorer learning is gaming the system, where a student attempts to complete problems and advance through an educational task by systematically taking advantage of properties and regularities in the system used to complete that task. It has been hypothesized that students game the system because of performance goals. In this paper, however, we find that the frequency of gaming the system does not correlate to a known measure of performance goals; instead, gaming is correlated to disliking computers and the tutor. Performance goals, by contrast, are shown to be associated with working slowly and avoiding errors, and are found to not be correlated to differences in learning outcomes.
Visualization for information exploration and analysis
Authors: John Stasko
Venue: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (2008)

Making sense of data becomes more challenging as the data grows larger and becomes more complex. If a picture truly can be worth a thousand words, then clever visualizations of data should hold promise in helping people with sense-making tasks. I firmly believe that visual representations of data can help people to better explore, analyze, and understand it, thus transforming the data into information. In this talk, I will explain how visualization and visual analytics help people make sense of data and I will provide many such examples. I also will describe my present research into visualization for investigative analysis. This project explores how visual analytics can help investigators examine a large document collection in order to discover embedded stories and narratives scattered across the documents in the collection.
From Belief Change to Preference Change
Authors: Jérôme Lang, Leendert van der Torre
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most natural: preferences evolving after some new fact has been learned. We define a family of such preference change operators, parameterized by a revision function on epistemic states and a semantics for interpreting preferences over formulas. We list some natural properties that this kind of preference change should fulfill and give conditions on the revision function and the semantics of preference for each of these properties to hold.
Experimental Researches on Development of Pupils' Advanced Cognitions in PRIME Environments
Authors: Zhou Yueliang, Lianghui Wang, Xiuqin Lin
Venue: Proceeding of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding (2006)

ICT application in education has become one of the most attractive topic discussed in modern educational theory and practice. This paper try to verify the effect of ICT application in education, especially in development of students' advanced cognitive abilities, by confirmative experiments in online learning support system named PRIME. After data analysis, the paper gets the conclusions that the PRIME improves students' learning achievement by affect the students' advanced cognitive abilities, and the students' advanced cognitive abilities, as intermediate variables, play very important roles on the performances of students, where PRIME affects their learning.
Development of a computational cognitive architecture for intelligent virtual character
Authors: Pak-San Liew, Ching-Ling Chin, Zhiyong Huang
Venue: Computer Animation and Virtual Worlds (2009)

A development of a computational cognitive architecture for the simulation of intelligent virtual characters is described in this paper. By specializing and adapting from an existing structure for a situated design agent, we propose three process models&mdash;reflexive, reactive and reflective&mdash;which derive behavioural models that underlie intelligent behaviours for these characters. Various combinations of these process models allow intelligent virtual characters to reason in a reflexive, reactive and-or reflective manner according to the retrieval, modification and reconstruction of their memory contents. This paper offers an infrastructure for combining simple reasoning models, found in crowd simulations, and highly deliberative processing models or reasoning, found in &lsquo;heavy&rsquo; agents with high-level cognitive abilities. Intelligent virtual characters simulated via this adapted architecture can exhibit system level intelligence across a broad range of relevant tasks. To demonstrate the usefulness of the proposed architecture, we describe the effect of the reflexive, reactive and reflective processes on a virtual character in our virtual tour application. Copyright &copy; 2009 John Wiley & Sons, Ltd. The paper proposes a development of a computational cognition architecture for deriving behavioural models through three process models &ndash; reflexive, reactive and reflective, hence providing the infrastructure for virtual characters to build up a broad range of intellectual capabilities with processes that ranges from highly reactive to highly deliberative. The effect of the three process models is demonstrated in an implementation of a virtual tour application &ndash; &bull;TOWN.
Pick-a-bundle: a novel bundling strategy for selling multiple items within online auctions
Authors: Ioannis A. Vetsikas, Alex Rogers, Nicholas R. Jennings
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

In this paper, we consider the design of an agent that is able to autonomously make optimal bundling decisions when selling multiple heterogeneous items within existing online auctions. We show that while bundling the items together into a single lot is effective at reducing listing costs, it also results in a loss in auction revenue. To address this loss we introduce a novel bundling strategy, that we call pick-a-bundle, that can be implemented within any existing auction format. We show, mainly using simulations, that this new bundling strategy generates greater expected revenue than the complete bundle of all items, and, by inducing additional competition between bidders, it usually generates greater expected revenue than using separate auctions for each item. In order for our agent to accurately and efficiently calculate its expected revenue when using our new strategy, we derive a novel polynomial time algorithm for calculating the probability distributions of the sum of the top order statistics of i.i.d. variables drawn from any arbitrary distribution. Furthermore, we include in our analysis the strategic behaviour, in terms of bid shading, that the buyers may consider in our new auction format.
Research on modeling and design of rotation and translation ultrasonic motors
Authors: Gheorghe Amza, Zoia Apostolescu, Oana Chivu, Mihaiela Iliescu
Venue: Proceedings of the 8th WSEAS international conference on Signal processing, robotics and automation (2009)

The paper presents the analytical and finite element method for modeling of a linear and rotating ultrasonic motor.
Palm Vein Verification System Based on SIFT Matching
Authors: Pierre-Olivier Ladoux, Christophe Rosenberger, Bernadette Dorizzi
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

We present in this communication a new biometric system based on the use of hand veins acquired by an infrared imager. After the preprocessing stage and binarization, the vein image is characterized by specific patterns. One originality of the proposed system is to use SIFT descriptors for the verification process. The developed method only necessitates a single image for the enrollment step allowing a very fast verification. The experimental results on a database containing images of 24 individuals acquired after two sessions show the efficiency of the proposed method.
On the complexity of the planar edge-disjoint paths problem with terminals on the outer boundary
Authors: Werner Schw&#x00e4;rzler
Venue: Combinatorica (2009)

It is shown that both the undirected and the directed edge-disjoint paths problem are NP-complete, if the supply graph is planar and all edges of the demand graph are incident with vertices lying on the outer boundary of the supply graph. In the directed case, the problem remains NP-complete, if in addition the supply graph is acyclic. The undirected case solves open problem no. 56 of A. Schrijver&#x2019;s book Combinatorial Optimization.
How to Cheat at Deploying and Securing RFID
Authors: Frank Thornton
Venue: How To Cheat (2007)

RFID is a method of remotely storing and receiving data using devices called RFID tags. RFID tags can be small adhesive stickers containing antennas that receive and respond to transmissions from RFID transmitters. RFID tags are used to identify and track everything from Exxon EZ pass to dogs to beer kegs to library books. For security professionals needing to get up and running fast with the topic of RFID, this How to Cheat approach to the topic is the perfect "just what you need to know" book! * For most business organizations, adopting RFID is a matter of when* The RFID services market is expected to reach $4 billion by 2008 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
Electronic structure of oxygen vacancies in La2O3, Lu2O3 and LaLuO3
Authors: Ka Xiong, John Robertson
Venue: Microelectronic Engineering (2009)

This paper presents first principles calculations of the energy levels of the oxygen vacancy in La"2O"3, Lu"2O"3 and LaLuO"3. The levels lie above the Si gap when aligned using the known band offsets. In hexagonal La"2O"3, Lu"2O"3 and LaLuO"3, oxygen vacancies with 4 neighbours have similar properties to those in HfO"2, where they are the main cause of trapping instability. Oxygen vacancies with 6 neighbours have no negative charged state so that they are less important for charge trapping.